감도와 블록감도 사이의 새로운 2/3 분리

초록

본 논문은 부울 함수 f에 대해 감도 s(f)와 블록감도 bs(f) 사이의 최선의 차이를 기존 ½ s² + ½ s에서 2⁄3 s² − 1⁄3 s 로 개선한다. OR‑합성 전략을 이용해 g 함수를 설계하고, 이를 n번 OR으로 합성한 f를 분석해 위 관계를 증명한다. 또한 s₀(g)=1인 경우 이 결과가 최적임을 보인다.

상세 분석

논문은 먼저 감도(sensitivity)와 블록감도(block‑sensitivity)의 정의를 복습하고, 두 복합도 사이의 오래된 열린 문제—즉 bs(f) 가 s(f)의 다항식으로 제한되는가—를 소개한다. 기존 최선의 예시는 Rubinstein이 만든 bs = ½ s²와 Virza가 제시한 bs = ½ s² + ½ s이다. 저자들은 OR‑합성 구조를 일반화하여, f(x₁,…,x_{n,m}) = ∨{i=1}^{n} g(x{i,1},…,x_{i,m}) 형태의 함수를 고려한다. Lemma 1을 통해 s₀(f)=n·s₀(g), s₁(f)=s₁(g), bs₀(f)=n·bs₀(g)임을 증명함으로써, 상위 OR이 감도와 블록감도에 미치는 영향을 정확히 파악한다.

핵심 구성은 파라미터 k∈ℕ에 대해 n = 2(2k+1)개의 변수로 정의된 g를 만든다. g는 “패턴 P_j”라 불리는 특정 2‑비트 쌍이 1이고, 그 주변 2k개의 비트가 모두 0인 경우에만 1을 출력한다. 이때 s₁(g)=3k+2, s₀(g)=1, bs₀(g)=2k+1을 만족한다. 위 Lemma을 n = 3k+2 로 설정해 OR‑합성을 적용하면 최종 함수 f는 (4k+2)(3k+2)개의 변수를 갖고, s(f)=3k+2, bs(f)=(3k+2)(2k+1)이다. 따라서
\