[논문 리뷰] A Majority Lemma for Randomised Query Complexity

Joshua Brody, Jae Tak Kim외 2명|arXiv (Cornell University)|2020. 07. 10.

Complexity and Algorithms in Graphs참고 문헌 14인용 수 3

한 줄 요약

이 논문은 k개의 함수의 XOR에 대한 랜덤화 질의 복잡도에 대해 강력한 직접합 정리(Strong Direct Sum Theorem)를 확립하며, XOR ◦g의 복잡도가 k에 대해 선형적으로 증가함을 증명하여, 간단한 성공률 증폭 전략의 bound와 일치시킨다. 이는 Blais와 Brody의 추측을 해결하고, Ben-David 등이 제기한 열린 문제에 답변함으로써, Rε(XOR ◦g) = Θ(k log k · R(g))를 만족하는 전체 함수 g가 존재함을 보여준다.

ABSTRACT

We study hardness amplification in the context of two well-known "moderate" average-case hardness results for AC⁰ circuits. First, we investigate the extent to which AC⁰ circuits of depth d can approximate AC⁰ circuits of some larger depth d + k. The case k = 1 is resolved by Håstad, Rossman, Servedio, and Tan’s celebrated average-case depth hierarchy theorem (JACM 2017). Our contribution is a significantly stronger correlation bound when k ≥ 3. Specifically, we show that there exists a linear-size AC⁰_{d + k} circuit h : {0, 1}ⁿ → {0, 1} such that for every AC⁰_d circuit g, either g has size exp(n^{Ω(1/d)}), or else g agrees with h on at most a (1/2 + ε)-fraction of inputs where ε = exp(-(1/d) ⋅ Ω(log n)^{k-1}). For comparison, Håstad, Rossman, Servedio, and Tan’s result has ε = n^{-Θ(1/d)}. Second, we consider the majority function. It is well known that the majority function is moderately hard for AC⁰ circuits (and stronger classes). Our contribution is a stronger correlation bound for the XOR of t copies of the n-bit majority function, denoted MAJ_n^{⊕ t}. We show that if g is an AC⁰_d circuit of size S, then g agrees with MAJ_n^{⊕ t} on at most a (1/2 + ε)-fraction of inputs, where ε = (O(log S)^{d - 1} / √n)^t. To prove these results, we develop a hardness amplification technique that is tailored to a specific type of circuit lower bound proof. In particular, one way to show that a function h is moderately hard for AC⁰ circuits is to (a) design some distribution over random restrictions or random projections, (b) show that AC⁰ circuits simplify to shallow decision trees under these restrictions/projections, and finally (c) show that after applying the restriction/projection, h is moderately hard for shallow decision trees with respect to an appropriate distribution. We show that (roughly speaking) if h can be proven to be moderately hard by a proof with that structure, then XORing multiple copies of h amplifies its hardness. Our analysis involves a new kind of XOR lemma for decision trees, which might be of independent interest.

연구 동기 및 목표

• 랜덤화 질의 복잡도에 대한 XOR 함수의 강력한 직접합 정리 수립.
• Blais와 Brody의 XOR ◦g의 복잡도에 관한 추측 1 해결.
• Ben-David 등이 제기한 열린 문제 1에 대한 답변: Rε(XOR ◦g) = Ω(k log k · R(g))를 만족하는 전체 함수 g의 존재성.
• 확률론적 및 정보이론적 기법을 사용하여 XOR ◦g에 대한 분포 기반 강력한 직접합 결과 증명.
• XOR의 k개 인스턴스를 계산할 때, 간단한 성공률 증폭 전략이 渐近적으로 최적임을 보여냄.

제안 방법

• 분포 기반 강력한 직접합 보조정리 증명: Dμkδ,ε(XOR ◦g) = Ω(k Dμδ′,ε′(g))이며, 여기서 δ′ = Θ(1) 및 ε′ = Θ(ε/k).
• 하나의 입력에 대한 랜덤화 알고리즘의 성공률을 k개의 입력에 대한 개별 함수 질의 성공률과 연결하기 위해 하이브리드 추론과 입력 분포에 대한 확률적 분석을 사용.
• 분석에서 중단 및 오류 확률를 제어하기 위해 마르코프 부등식과 조건부 확률 한계를 적용.
• 원래 알고리즘 A가 k개의 입력에서 동작하도록 모의하는 수정된 알고리즘 A′을 도입하며, 특정 실패 조건에서 중단하여 오류 및 중단 비율을 제한.
• 리프 기반 분석을 통해 각 리프를 정확성과 일관성에 따라 '좋음' 또는 '나쁨'으로 분류.
• 표준 성공률 증폭 기법을 활용하여 Rε/k(g)와 R12ε′/k(g)를 연결함으로써 점근적 bound를 완성.

실험 결과

연구 질문

• RQ1 XOR ◦g의 랜덤화 질의 복잡도는 k에 대해 선형적으로 증가하는가? 이는 간단한 성공률 증폭 전략과 일치하는가?
• RQ2 랜덤화 질의 복잡도 모델에서 XOR에 대해 강력한 직접합 정리를 수립할 수 있는가?
• RQ3 Rε(XOR ◦g) = Ω(k log k · R(g))를 만족하는 전체 함수 g가 존재하는가?
• RQ4 XOR ◦g의 분포 기반 복잡도는 최악의 경우 복잡도를 날카롭게 하한으로 제시하는가?
• RQ5 분포 기반 질의 복잡도와 확률론적 리프 분석을 사용하여 강력한 직접합 정리를 증명할 수 있는가?

주요 결과

• 논문은 Rε(XOR ◦g) = Ω(k Rε/k(g))를 증명하여, Blais와 Brody의 추측을 확인함.
• 논문은 랜덤화 질의 복잡도 모델에서 XOR에 대해 강력한 직접합 정리를 수립함.
• 논문은 Rε(XOR ◦g) = Ω(k log k · R(g))를 만족하는 전체 함수 g를 구성함으로써, Ben-David 등이 제기한 열린 문제에 답변함.
• 분석은 다음과 같은 분포 기반 강력한 직접합 보조정리에 기반함: Dμkδ,ε(XOR ◦g) = Ω(k Dμδ′,ε′(g))이며, δ′ = Θ(1) 및 ε′ = Θ(ε/k).
• 최종 복잡도 bound를 유도하기 위해 리프 행동과 중단 확률에 대한 확률론적 한계를 사용함.
• 결과적으로, XOR의 k개 인스턴스를 계산할 때 간단한 성공률 증폭 전략이 점근적으로 최적임을 보여줌.