[논문 리뷰] Communication Complexity Lower Bounds by Polynomials

Harry Buhrman, Ronald de Wolf|ArXiv.org|1999. 10. 12.

Quantum Computing Algorithms and Architecture참고 문헌 29인용 수 10

한 줄 요약

이 논문은 다항식 방법을 사용하여 통신 복잡도의 하한을 설정하며, 무한한 사전 양자 얽힘을 가진 양자 통신에서 랭크-로그 추측이 성립함을 증명한다. 몇몇 함수 클래스에 대해 양자와 고전적 통신 복잡도가 다항식적으로 동치임을 보이며, 정확한 프로토콜에 대해 강력한 하한을 제공하고, 오차가 제한된 설정에서는 더 약한 하한을 제공한다.

ABSTRACT

The quantum version of communication complexity allows the two communicating parties to exchange qubits and/or to make use of prior entanglement (shared EPR-pairs). Some lower bound techniques are available for qubit communication complexity, but except for the inner product function, no bounds are known for the model with unlimited prior entanglement. We show that the log-rank lower bound extends to the strongest model (qubit communication + unlimited prior entanglement). By relating the rank of the communication matrix to properties of polynomials, we are able to derive some strong bounds for exact protocols. In particular, we prove both the "log-rank conjecture" and the polynomial equivalence of quantum and classical communication complexity for various classes of functions. We also derive some weaker bounds for bounded-error quantum protocols.

연구 동기 및 목표

• 가장 강력한 양자 통신 모델, 즉 큐비트 통신과 무한한 사전 얽힘을 포함한 경우에도 랭크-로그 하한 기법을 확장하기 위해.
• 통신 행렬의 랭크와 이를 표현하는 다항식의 차수 사이의 관계를 조사하기 위해.
• 특정 함수 클래스에 대해 양자와 고전적 통신 복잡도가 다항식적으로 동치인지 판단하기 위해.
• 다항식 방법을 사용하여 정확한 프로토콜에 대해 강력한 하한을 도출하고, 오차가 제한된 설정에서는 더 약한 하한을 도출하기 위해.

제안 방법

• 함수를 표현하는 다변수 다항식의 차수와 통신 행렬의 랭크를 연결한다.
• 랭크 기반의 추론를 통해 다항식 차수를 대체로 사용하여 통신 복잡도의 하한을 유도한다.
• 무한한 양자 얽힘을 가진 양자 환경에 대해 랭크-로그 추측을 적용하여, 다항식 표현 하에 이 추측이 성립함을 보여준다.
• 대부분의 대수적 복잡도 이론과 양자 정보 이론의 기법을 활용하여 통신 행렬의 구조를 분석한다.
• 얽힘과 큐비트 교환을 포함한 양자 연산 하에서 다항식의 행동을 분석한다.
• 함수의 다항식 차수와 행렬 랭크를 기반으로 기능을 분류하여 복잡도 하한의 계층을 수립한다.

실험 결과

연구 질문

• RQ1 랭크-로그 하한 기법이 무한한 사전 얽힘을 가진 양자 통신으로까지 확장되는가?
• RQ2 다항식 차수를 사용하여 정확한 양자 프로토콜의 통신 복잡도를 특성화할 수 있는가?
• RQ3 특정 함수 클래스에 대해 양자와 고전적 통신 복잡도가 다항식적으로 동치인가?
• RQ4 다항식 방법이 오차가 제한된 양자 통신 복잡도를 유한하게 제한하는 데서 가지는 한계는 무엇인가?
• RQ5 얽힌 환경에서 통신 행렬의 랭크는 표현 다항식의 차수와 어떻게 관련되어 있는가?

주요 결과

• 무한한 사전 얽힘을 가진 양자 통신에서 랭크-로그 추측이 성립하며, 이는 고전적 결과를 가장 강력한 양자 모델으로 확장한 것이다.
• 정확한 프로토콜의 경우, 다항식 차수와 행렬 랭크를 사용하여 강력한 하한을 증명하며, 이 경우에서 랭크-로그 추측이 확인된다.
• 대칭 함수와 낮은 랭크를 가진 함수를 포함한 몇몇 함수 클래스에 대해 양자와 고전적 통신 복잡도가 다항식적으로 동치임을 입증한다.
• 오차가 제한된 양자 프로토콜에 대해 다항식 방법을 사용하여 더 약한 하한을 도출하였지만, 이 영역에서는 정확한 등가성은 여전히 열려있다.
• 통신 행렬의 랭크는 최소 차수 다항식이 함수를 표현하는 데에 있어 밀접하게 연관되어 있으며, 이는 새로운 복잡도 하한을 가능하게 한다.
• 결과적으로 다항식 방법이 무한한 얽힘 조건 하에서도 양자 통신 복잡도 분석에 강력한 도구임을 보여준다.