양자 우월성의 증거: BQP가 다항식 계층을 벗어날 수 있을까?

이 논문은 양자 컴퓨팅 이론의 오랜 난제인 BQP(유계 오류 양자 다항 시간)와 고전 다항식 계층(PH)의 관계를 탐구합니다. 저자들은 양자 컴퓨터가 PH 전체를 벗어난 문제를 해결할 수 있다는 증거를 제시하며, 이 문제를 회로 복잡도, 의사난수성, 푸리에 분석과 연결짓습니다. 논문의 내용은 크게 두 가지 주요 결과로 구성됩니다. 첫째, 'FBQP' (관계 문제 버전의 BQP)가 'FBPP^PH' (관계 문제 버전의 BPP^PH)에 포함되지 않는 오라클 A의 존재를 증명합니다. 이는 '푸리에 피싱' 문제를 통해 이루어집니다. n개의 무작위 부울 함수에 대해, 각 함수의 푸리에 계수 제곱이 평균보다 현저히 큰 n개의 출력 문자열을 찾는 이 문제는 양자 알고리즘으로는 효율적으로 해결 가능하지만, PH 수준에서는 어렵습니다. 이 증명의 핵심은 AC0 회로의 하한(특히 Majority 함수 계산의 어려움)을 활용하며, 만약 PH가 이 양자 문제를 모방할 수 있다면 Majority 계산으로의 비결정론적 환원이 가능해져 모순에 이른다는 논리입니다. 이 결과로부터 오라클이 없는 실제 세계에서도 양자 대수 시간에 풀리지만 비균일 AC0 회로로는 풀 수 없는 관계 문제가 존재함을 보이는 부수적 결과도 얻습니다. 둘째, '푸리에 체킹'이라는 새로운 블랙박스 결정 문제를 소개하고, 이 문제가 BQP에 속하지만 PH에 속하지 않을 것이라는 강력한 증거를 제시합니다. 이 문제는 주어진 두 함수가 완전히 무작위인지, 아니면 서로 푸리에 변환 관계에 가까운지 판별하는 것입니다. 저자들은 'forrelated' 분포가 O(k²/2^(n/2))-almost k-wise independent임을 증명합니다. 즉, k개의 질문에 대한 답변만으로는 두 경우를 거의 구별할 수 없다는 의미입니다. 이로부터 저자들은 "almost k-wise independent 분포는 PH를 속인다"는 '일반화된 리니얼-니산 추측'을 공식화합니다. 이 추측은 20년 만에 Braverman에 의해 증명된 원래 Linial-Nisan 추측(AC0는 polylog 독립성에 속는다)의 자연스러운 확장이며, 만약 증명된다면 BQP ⊄ PH를 보이는 오라클을 구성하는 결정적인 도구가 될 것입니다. 논문은 결론에서 이 연구가 BQP와 PH의 분리 문제를 회로 복잡도 이론의 최전선으로 끌어왔다고 평가하며, 일반화된 리니얼-니산 추측의 증명이 핵심 과제임을 강조합니다. 이는 양자 계산의 고전 모델 상대적 능력에 대한 이해를 깊게 할 뿐만 아니라, 소-depth 회로의 한계에 대한 근본적인 통찰을 제공할 것으로 기대됩니다.