양자와 고전 통신 복합 문제의 복잡도 동등성

초록

이 논문은 모든 부울 함수 f에 대해, 입력 x와 y에 대해 f(x∧y)와 f(x∨y) 두 값을 동시에 계산하는 통신 문제의 양자와 고전 유한오차 복잡도가 다항식 정도로 서로 제한됨을 증명한다. 또한 양자 복잡도는 고전 결정적 복잡도와 f의 블록 감도 사이에도 다항식 관계가 있음을 보이며, 사전 얽힘이 허용돼도 결과가 변하지 않는다.

상세 분석

본 연구는 통신 복합 문제의 양자‑고전 복잡도 관계에 대한 오래된 개방문제를 변형하여 접근한다. 기존 문헌에서는 단일 연산인 AND(∧)에 대해서만 f(x∧y)의 양자와 고전 복잡도가 다항식적으로 관련될지를 묻고 있었지만, 이를 직접 해결하기는 현재까지 어려움이 남아 있었다. 저자들은 대신 두 연산 AND와 OR을 동시에 고려하는 문제, 즉 입력 (x,y) 에 대해 (f(x∧y), f(x∨y)) 쌍을 출력하도록 요구하는 통신 모델을 도입한다. 이 모델은 원래 문제보다 강력한 요구조건을 갖지만, 그에 따라 구조적 대칭성을 활용할 수 있다.

핵심 아이디어는 f의 블록 감도(block sensitivity, bs(f))와 결정적 통신 복잡도 D(f) 사이의 알려진 관계를 양자 통신 복잡도 Q(f)와 연결시키는 것이다. 저자들은 먼저 f의 입력을 적절히 파티션하여 각 파티션이 AND와 OR 연산에 대해 독립적인 블록을 형성하도록 설계한다. 그런 다음, 양자 프로토콜에서 사용되는 표준 아마추어-베리시티 기법과 상호 정보량 분석을 결합해, 양자 메시지의 길이가 O(poly(bs(f), log |Dom|)) 로 제한됨을 보인다. 여기서 |Dom|은 입력 길이 n을 의미한다.

또한, 고전 확률적 프로토콜에 대해는 기존의 Yao의 최소-극대 원리를 적용해, 동일한 파티션 구조를 이용하면 오류 확률 ε 이하로 만들기 위해 필요한 통신량이 O(poly(bs(f))) 로 상한될 수 있음을 증명한다. 중요한 점은 이 상한이 사전 얽힘(entanglement)이 허용된 경우에도 동일하게 유지된다는 점이다. 즉, 양자 얽힘이 추가적인 이점을 제공하지 못한다는 강력한 부정 결과를 얻는다.

마지막으로, 저자들은 Q(f)와 D(f) 사이에 Q(f)=O(poly(D(f))) 를 보이는 반대 방향의 관계도 구축한다. 이는 기존에 알려진 “양자 ≤ 고전” 관계를 강화한 형태이며, 특히 블록 감도가 결정적 복잡도보다 크게 차이날 때도 다항식 범위 내에서 양자와 고전 복잡도가 일치함을 의미한다. 전체 증명은 복합 함수의 구조적 특성을 이용한 다중 단계 압축 기법과, 양자 정보 이론에서의 상호 정보량 보존 원리를 정교하게 결합한 것이 특징이다. 이러한 접근법은 향후 다른 복합 통신 문제에도 적용 가능성을 시사한다.