[논문 리뷰] On the orthogonal rank of Cayley graphs and impossibility of quantum round elimination

Jop Briët, Jeroen Zuiddam|arXiv (Cornell University)|2016. 08. 22.

Quantum Computing Algorithms and Architecture참고 문헌 11인용 수 6

한 줄 요약

이 논문은 해밍 거리가 적어도 n/2인 정점 간에 간선이 있는 초입방체 {0,1}^n 위의 카일리 그래프의 직교 랭크에 대해 지수적 하한을 확립한다. 푸리에 분석과 로바스-세타 함수를 이용하여, 대칭적 직교 임베딩이 지수적 차원 이하로는 달성할 수 없음을 증명함으로써, 정확한 양자 통신 복잡도에서 양자 라운드 제거의 불가능성에 대한 추측을 해결한다.

ABSTRACT

After Bob sends Alice a bit, she responds with a lengthy reply. At the cost of a factor of two in the total communication, Alice could just as well have given the two possible replies without listening and have Bob select which applies to him. Motivated by a conjecture stating that this form of "round elimination" is impossible in exact quantum communication complexity, we study the orthogonal rank and a symmetric variant thereof for a certain family of Cayley graphs. The orthogonal rank of a graph is the smallest number $d$ for which one can label each vertex with a nonzero $d$-dimensional complex vector such that adjacent vertices receive orthogonal vectors. We show an exp$(n)$ lower bound on the orthogonal rank of the graph on $\{0,1\}^n$ in which two strings are adjacent if they have Hamming distance at least $n/2$. In combination with previous work, this implies an affirmative answer to the above conjecture.

연구 동기 및 목표

• 정확한 양자 통신 복잡도에서 라운드 제거가 불가능하다는 추측을 다루는 것.
• 해밍 거리 ≥ n/2인 초입방체 {0,1}^n에서 유도된 카일리 그래프의 직교 랭크와 대칭적 직교 랭크를 조사하는 것.
• 이러한 그래프의 직교 임베딩에 필요한 최소 차원에 대한 하한을 확립하여 추측을 해결하는 것.
• 스펙트럼 및 조화 분석 기법을 사용하여 그래프의 구조와 임베딩 제약 조건을 분석하는 것.

제안 방법

• 군 (ℤ₂)ⁿ 위에서 정의된 카일리 그래프 H₂ⁿ(d)를 정의하며, 적어도 d개의 좌표에서 다름을 가진 정점 간에 간선을 둔다.
• 직교 랭크의 하한을 확보하기 위해 쌍대성과 보완 그래프를 이용하여 로바스-세타 함수를 이완으로 사용한다.
• 불리안 큐브 위의 푸리에 분석을 적용하여 세타 함수를 고중량 집합에 대한 제약 조건이 없는 음이 아닌 푸리에 계수로 재표현한다.
• 카우치–반더몬드 항등식과 이항계수의 추정을 통해 후보 함수의 감쇠를 제어한다.
• 보흐너의 정리를 이용하여 행렬에 대한 최적화 문제를 오직 차이에만 의존하는 함수로 축소한다.
• 이중 함수 g(0)의 최대값에 상한을 도출함으로써, ξ(G) ≥ 2ⁿ / ϑ(G)를 통해 직교 랭크에 대한 하한을 확보한다.

실험 결과

연구 질문

• RQ1 카일리 그래프 H₂ⁿ(n/2)의 직교 랭크가 n에 대해 지수 함수로 하한을 가질 수 있는가?
• RQ2 이 그래프에 대해 대칭적 직교 임베딩이 지수적 차원 이하로 존재할 수 있는가?
• RQ3 직교 랭크에 대한 지수적 하한이 정확한 양자 통신 복잡도에서 양자 라운드 제거의 불가능성을 암시하는가?
• RQ4 H₂ⁿ(n/2)의 보완 그래프에 대해 로바스-세타 함수의 渐近 행동은 어떠한가?
• RQ5 푸리에 분석 기법을 사용하여 이러한 카일리 그래프의 최소 임베딩 차원에 대한 날카운 하한을 유도할 수 있는가?

주요 결과

• 그래프 H₂ⁿ(n/2)의 직교 랭크 ξ(G)는 어떤 ε > 0 과 상수 c에 대해 exp(εn − c) 이상임을 보여, 지수적 하한을 확립한다.
• 대칭적 직교 랭크 ξ_sym(G) 역시 exp(εn − c) 이상임을 보여, 대칭 임베딩이 지수적 차원 이하로는 달성되지 않음을 시사한다.
• 그래프 H₂ⁿ(n/2)의 로바스-세타 함수 ϑ(G)는 2⁻(εn−c) 이하임을 보여, 쌍대성에 의해 ϑ(Ḡ) ≥ 2^(εn−c) 를 유도한다.
• 세타 함수 이완에서 이중 함수 g(0)의 최대값은 이항계수 추정과 카우치–반더몬드 항등식을 통해 2⁻(εn−c) 이하로 상한이 제시된다.
• 분석 결과, 지수적 차원 이하의 대칭적 직교 임베딩이 존재하지 않음을 확인하여, 양자 라운드 제거에 대한 추측을 해결한다.
• 이 결과는 정확한 양자 통신 모델에서 통신 라운드를 제거하는 것이 상수 배수의 통신 증가로는 보완될 수 없음을 암시하며, 양자 라운드 제거의 불가능성을 확인한다.