[논문 리뷰] Low-Sensitivity Functions from Unambiguous Certificates

Shalev Ben-David, Pooya Hatami외 1명|DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)|2016. 05. 23.

Complexity and Algorithms in Graphs참고 문헌 42인용 수 6

한 줄 요약

이 논문은 민감도와 일방적인 모호하지 않은 인증 복잡도(UC_min) 사이의 새로운 연결을 도입함으로써, 새로운 질의 복잡도 분리 결과를 도출한다. UC_min 기반의 구성과 기존의 케시트 함수를 사용하여, 결정론적/확률적/양자 질의 복잡도와 민감도 사이에 거듭제곱 3의 분리, 그리고 인증 복잡도와 민감도 사이에 거듭제곱 2.22의 분리를 달성한다. 이러한 결과는 트리 민감도에 관한 추측을 반증하고, 통신 복잡도에 대한 하한을 향상시킨다.

ABSTRACT

We provide new query complexity separations against sensitivity for total Boolean functions: a power $3$ separation between deterministic (and even randomized or quantum) query complexity and sensitivity, and a power $2.22$ separation between certificate complexity and sensitivity. We get these separations by using a new connection between sensitivity and a seemingly unrelated measure called one-sided unambiguous certificate complexity ($UC_{min}$). We also show that $UC_{min}$ is lower-bounded by fractional block sensitivity, which means we cannot use these techniques to get a super-quadratic separation between $bs(f)$ and $s(f)$. We also provide a quadratic separation between the tree-sensitivity and decision tree complexity of Boolean functions, disproving a conjecture of Gopalan, Servedio, Tal, and Wigderson (CCC 2016). Along the way, we give a power $1.22$ separation between certificate complexity and one-sided unambiguous certificate complexity, improving the power $1.128$ separation due to Göös (FOCS 2015). As a consequence, we obtain an improved $Ω(\log^{1.22} n)$ lower-bound on the co-nondeterministic communication complexity of the Clique vs. Independent Set problem.

연구 동기 및 목표

• 민감도가 다른 질의 복잡도 측정치와 다항적으로 관련되어 있는지 여부라는 오랫동안 미해결된 문제를 해결하기 위해.
• 결정론적, 확률적, 양자 질의 복잡도와 같은 기본적인 복잡도 측정치와 민감도 사이의 더 강력한 분리를 확립하기 위해.
• 클리크 대 독립집합 문제의 공존 비결정론적 통신 복잡도에 대한 하한을 향상시키기 위해.
• GSTW16가 제기한 트리 민감도와 양자 질의 복잡도 사이의 관계에 관한 추측을 반증하기 위해.
• 일방적인 비모호한 인증 복잡도(UC_min)가 민감도 및 기타 측정치로의 다리 역할을 할 수 있는지 탐색하기 위해.

제안 방법

• 민감도와 관련된 인증 복잡도의 변형인 일방적인 비모호한 인증 복잡도(UC_min)를 도입하고 분석한다.
• 모든 함수 가족에 대해 D(f) = ~Ω(UC_min(f)^{1+α})이면 D(f) = ~Ω(s(f)^{2+α})임을 보여주는 핵심 정리를 수립하여 UC_min과 민감도를 연결한다.
• ABK15의 케시트 함수를 활용하여 UC_min가 낮은 함수를 구성함으로써 민감도 대비 높은 양자 질의 복잡도를 갖는 함수를 도출한다.
• Göös의 구성(즉, C(f) ≥ UC_min(f)^1.128)을 활용하여 인증 복잡도와 민감도 사이의 분리를 향상시킨다.
• 블록에 대한 가중 평균을 적용하여 UC_min와 평균 차수의 함수로 랜덤라이즈드 인증 복잡도를 유계로 제한한다.
• 분수 가중치를 사용한 쌍대 증거 방법을 적용하여 RC(f)를 UC_min과 민감도 관련 매개변수의 함수로 유계로 제한한다.

실험 결과

연구 질문

• RQ1 민감도와 인증 복잡도 사이에 초제곱 분리가 달성될 수 있는가?
• RQ2 비모호한 인증 복잡도를 활용하여 민감도와 다른 질의 복잡도 측정치 사이의 더 강력한 분리를 달성할 수 있는가?
• RQ3 UC_min와 민감도 사이의 관계를 활용하여 양자 질의 복잡도 하한을 향상시킬 수 있는가?
• RQ4 GSTW16의 추측처럼 트리 민감도와 양자 질의 복잡도 사이에 제곱 관계가 성립하는가?
• RQ5 이러한 기법을 사용하여 클리크 대 독립집합 통신 복잡도 문제에 대해 더 강력한 하한을 도출할 수 있는가?

주요 결과

• 논문은 결정론적, 확률적, 양자 질의 복잡도와 민감도 사이에 거듭제곱 3의 분리를 달성하여 D(f) = ~Ω(s(f)^3)임을 보였다.
• 인증 복잡도와 민감도 사이에 거듭제곱 2.22의 분리를 확립하여 C(f) = Ω(s(f)^2.22)임을 입증했다.
• GSTW16의 추측을 반증하여 트리 민감도와 양자 질의 복잡도 사이에 제곱 분리를 보였으며, Q(f) = ~Ω(ts(f)^2)임을 보였다.
• 인증 복잡도와 일방적인 비모호한 인증 복잡도 사이의 분리를 거듭제곱 1.22 수준으로 향상시켜 Göös의 이전 결과인 1.128를 초월했다.
• UC_min가 분수 블록 민감도에 의해 하한이 있음을 증명하여, 이 방법을 통해 블록 민감도와 민감도 사이에 초제곱 분리를 이룰 수 없음을 규명했다.
• 향상된 분리는 클리크 대 독립집합 문제에 대한 공존 비결정론적 통신 복잡도에 대해 Ω(log^1.22 n)의 하한을 이끌어냈다.