공식의 부호 차수는 √n 이하: 조합적 증명과 양자 복합성의 연결

본 논문은 부호 차수(sign degree)라는 개념을 중심으로, Boolean 공식(formula)의 복잡도와 양자 쿼리 복잡도 사이의 미묘한 연결 고리를 밝힌다. 부호 차수 deg ∞(f)는 {−1,+1}ⁿ 상에서 함수 f와 부호가 일치하는 다항식 중 최소 차수를 의미한다. 기존 연구에서는 부호 차수가 함수의 근사 다항식 차수와 직접적인 관계가 있음을 알고 있었지만, 함수 합성에 대한 일반적인 하한은 알려지지 않았다. 논문은 먼저 부호 차수와 근사 차수를 정의하고, 이를 선형계획법(LP)의 쌍대 형태로 기술한다. Lemma 2는 deg α(f) > d 를 보이기 위해 필요한 ‘dual witness’ p의 존재 조건을 명시한다. 여기서 p는 ℓ₁‑노름이 1이고, 차수가 d 이하인 모든 캐릭터와 직교하며, f와의 내적이 (α−1)/(α+1) 혹은 1(α=∞) 이상임을 만족한다. 그 다음, Section 3에서 핵심인 합성 보조정리(Lemma 3)를 제시한다. 두 함수 f:{−1,+1}ⁿ→{−1,+1}와 g:{−1,+1}ᵐ→{−1,+1}에 대해, f∘gⁿ의 부호 차수는 deg ∞(f)·deg ∞(g) 이상이다. 증명은 f와 g 각각에 대한 dual witness p와 q를 이용한다. q는 g·μ 형태로 재표현할 수 있으며, μ≥0인 가중치 함수이다. 이를 이용해 h(x)=2ⁿ·p(g(x₁),…,g(xₙ))·∏ᵢ μ(xᵢ) 를 정의한다. h는 (i) ⟨f∘gⁿ, h⟩≥(α−1)/(α+1) (또는 1), (ii) ℓ₁‑노름이 1, (iii) 차수가 deg α(f)·deg ∞(g) 이하인 모든 캐릭터와 직교한다는 세 조건을 만족한다. 따라서 h는 deg α(f∘gⁿ) ≥ deg α(f)·deg ∞(g) 를 보이는 dual witness가 된다. 이 보조정리는 부호 차수에 대해 완전히 조밀하지는 않다. 예를 들어 ORₙ과 ANDₙ은 각각 부호 차수가 1이지만, ORₙ∘ANDₙ²의 부호 차수는 n이다. 그러나 부호 차수와 양자 쿼리 복잡도 사이의 알려진 관계를 이용하면, 이 보조정리를 통해 강력한 상한을 얻을 수 있다. Section 4에서는 Reichardt(2009)의 부정적 어드버리(negative adversary) 경계와 그 결과를 인용한다. 부정적 어드버리 ADV±(f)는 양자 쿼리 복잡도 Q(f)의 상한을 제공하고, 함수 합성에 대해 ADV±(f∘g) ≤ ADV±(f)·ADV±(g) 라는 서브멀티플리케이티브 성질을 가진다. 특히, ANDₙ과 ORₙ에 대해 ADV±=√n임을 이용하면, 크기 n인 공식에 대해 ADV±(f) ≤ √n임을 알 수 있다. Reichardt의 정리(정리 5)는 f(k) = f∘f∘…∘f (k번) 에 대해 limₖ→∞ Q(f(k))^{1/k}=ADV±(f) 라는 식을 제공한다. 이를 부호 차수 합성 보조정리와 결합하면 deg ∞(f) ≤ limₖ deg ∞(f(k))^{1/k} ≤ limₖ (2Q(f(k)))^{1/k} ≤ √n 이 된다. 즉, 크기 n인 모든 공식의 부호 차수는 √n 이하이며, 이는 기존에 알려진 O(√n·log n/ log log n) 상한에서 로그 요인을 완전히 제거한 결과이다. 마지막으로, 이 상한은 n=2^{2k}인 경우 parity 함수가 √n 차수의 부호 다항식으로 정확히 표현될 수 있음을 보여 최적임을 확인한다. 논문은 또한 양자 기법에 의존하지 않는 순수 고전적 증명의 가능성을 제시하며, 특히 비균형(극도로 한쪽으로 치우친) 공식에 대한 부호 차수와 양자 복잡도 사이의 관계를 더 깊이 탐구할 필요성을 강조한다.