[논문 리뷰] A Counterexample to the Generalized Linial-Nisan Conjecture

Alekseev, Yaroslav, Göös, Mika외 5명|arXiv (Cornell University)|2011. 10. 27.

Complexity and Algorithms in Graphs참고 문헌 18인용 수 13

한 줄 요약

이 논문은 깊이-세 단계의 AC0 회로를 구성함으로써 일반화된 린이-니산(Generic Linial-Nisan, GLN) 추측을 반증한다. 이 회로는 정수 리스트에 대한 전사성 함수를 사용하여 균일 분포와 거의 k-번씩 독립적인 분포 사이를 상수 편향으로 구분할 수 있다. 이 반례는 BQP와 PH 사이의 오рак루 분리가 GLN 접근법을 통해 가능하지 않음을 시사하지만, 동시에 Linial-Mansour-Nisan의 푸리에 근사 결과가 저지방 다항식 측면에서 향상될 수 없음을 보여주며, 무작위 오라클에 대해 Π²_p가 P^NP에 포함되지 않는다는 것을 확률 1로 증명한다.

ABSTRACT

Aaronson (STOC 2010) conjectured that almost k-wise independence fools constant-depth circuits; he called this the generalised Linial-Nisan conjecture. Aaronson himself later found a counterexample for depth-3 circuits. We give here an improved counterexample for depth-2 circuits (DNFs). This shows, for instance, that Bazzi’s celebrated result (k-wise independence fools DNFs) cannot be generalised in a natural way. We also propose a way to circumvent our counterexample: We define a new notion of pseudorandomness called local couplings and show that it fools DNFs and even decision lists.

연구 동기 및 목표

• 일반화된 린이-니산(GLN) 추측을 반증하기 위해, 거의 k-번씩 독립적인 분포가 상수 깊이 회로에 의해 균일 분포와 구분되지 않는다는 것을 주장한 바 있다.
• GLN 추측이 BQP와 PH 사이의 오라클 분리를 증명하는 데 사용될 수 없음을 보여주기 위해.
• Linial-Mansour-Nisan의 AC0 함수 근사 결과가 저지방 다항식을 사용해 강화될 수 없음을 보여주기 위해.
• 무작위 오라클에 대해 Π²_p가 P^NP에 포함되지 않는다는 것을 확률 1로 확립하기 위해, 오랜 동안 미해결이었던 PH가 무작위 오라클 기반으로 무한함을 증명하는 데의 진전을 이끌기 위해.

제안 방법

• 입력 리스트의 N개의 정수들이 [M]에 전사적인지 여부를 확인하는 부울 함수 fSurj를 정의하며, 이를 이진수로 인코딩하여 부울 문제로 변환한다.
• fSurj를 계산하기 위해 깊이-세 단계의 AC0 회로를 사용하며, 입력 리스트에 대한 교차하는 기댓값을 통해 전역적 성질을 표현한다.
• 균일 분포와 통계적으로 유사하지만, fSurj 회로에 의해 상수 편향으로 구분 가능한 거의 k-번씩 독립적인 n비트 문자열에 대한 분포를 설계한다.
• 무작위 입력의 이미지 크기 분포에 대한 확률적 분석을 통해 균일 분포와 거의 k-번씩 독립적인 분포 하에서의 기댓값을 비교한다.
• 코시-슈바르츠 부등식과 계승의 감쇠 특성을 활용하여, 회로의 편향과 근사 다항식의 지방성 및 차수 간의 관계를 유도한다.
• GLN 추측과 저지방 삼중 다항식 간의 이중성 원리를 활용하여, 어떤 저지방, 저차수 다항식도 fSurj를 L² 노름에서 잘 근사할 수 없음을 증명한다.

실험 결과

연구 질문

• RQ1 이미 BQP와 PH 사이의 오라클 분리를 암시한다고 여겨졌던 바, 깊이-세 단계의 AC0 회로에 대해 GLN 추측이 성립할 수 있는가?
• RQ2 Parity와 같은 함수에서의 통찰과는 반대로, AC0에서 계산 가능한 함수 중 평균 블록 감도가 높은 함수를 구성할 수 있는가?
• RQ3 AC0 함수의 저차수 다항식 근사 결과가, 근사 다항식이 저지방이어야 한다는 조건으로 강화될 수 있는가?
• RQ4 GLN의 반례 존재가, 무작위 오라클 기반으로 PH가 무한함을 확률 1로 암시하는가?
• RQ5 AC0에서 계산 가능한 함수는 저차수 다항식으로 근사될 수 있지만, 저지방, 저차수 다항식으로는 근사될 수 없는가?

주요 결과

• GLN 추측은 깊이-세 단계의 AC0 회로에 대해 잘못됨: 특정 회로가 정수 리스트의 전사성 문제를 계산하며, 균일 분포와 e^O(k/n)-거의 k-번씩 독립적인 분포 사이를 상수 편향으로 구분할 수 있다.
• 반례는 무작위 오라클 기반으로 Π²_p가 P^NP에 포함되지 않는다는 것을 확률 1로 암시하며, 이는 PH가 무작위 오라클 기반으로 무한함을 증명하는 데 있어 처음으로 비트리비어 진전을 이룬다.
• 깊이-세 단계의 AC0 회로로 계산 가능한 부울 함수 fSurj가 존재하며, 이에 대해 어떤 L²-근사 다항식 p도 deg(p) × fat(p) = Ω(n / log²n)를 만족함을 보여, 저지방 근사는 부적절하다.
• Linial-Mansour-Nisan의 AC0 함수에 대한 저차수 다항식 근사 결과는 지방성 측면에서 향상될 수 없다: 어떤 함수도 저차수, 저지방 다항식으로 잘 근사될 수 없다.
• fSurj의 평균 블록 감도는 Ω(n / log n)이며, 이는 AC0 함수가 일반적으로 AC0 외부의 함수(예: Parity)와 관련된 블록 감도 성질을 띌 수 있음을 보여준다.
• 이 결과는 원래 GLN 추측이 높은 깊이에서는 실패했지만, 깊이-두 회로에 대해서는 여전히 성립할 수 있음을 암시하며, 깊이-두 GLN 추측을 통해 BQP가 AM에 속하지 않음을 증명할 가능성은 열려 있다.