[논문 리뷰] Fooling One-Sided Quantum Protocols

Hartmut Klauck, Ronald de Wolf|arXiv (Cornell University)|2012. 04. 20.

Quantum Computing Algorithms and Architecture참고 문헌 18인용 수 7

한 줄 요약

이 논문은 피로잉 세트 방법을 사용하여 한 방향 오류 허용 양자 통신 복잡도와 비결정론적 양자 통신 복잡도에 대한 새로운 하한을 확립한다. 임의의 부울 함수 f에 대해 사전 얽힘을 가진 한 방향 오류 허용 양자 통신 복잡도는 최소 (1/4)log(fool¹(f)) − 1/2이며, 상삼각형 피로잉 세트(예: 동일성, 독립성)의 경우 최소 (1/2)log(fool¹(f)) − 1/2이다. 이는 슈퍼다이너믹 코딩 덕분에 거의 최적이다. 비결정론적 양자 통신 복잡도에 대해선 NQ(f) ≥ (1/2)log(fool¹(f)) + 1을 보이며, ≈0.613log(fool¹(f))를 달성하는 일치 예시가 존재하여 1/2 계수는 거의 최적임을 시사한다.

ABSTRACT

We use the venerable "fooling set" method to prove new lower bounds on the quantum communication complexity of various functions. Let f:X x Y-->{0,1} be a Boolean function, fool^1(f) its maximal fooling set size among 1-inputs, Q_1^*(f) its one-sided error quantum communication complexity with prior entanglement, and NQ(f) its nondeterministic quantum communication complexity (without prior entanglement; this model is trivial with shared randomness or entanglement). Our main results are the following, where logs are to base 2: * If the maximal fooling set is "upper triangular" (which is for instance the case for the equality, disjointness, and greater-than functions), then we have Q_1^*(f)>=(1/2)log fool^1(f) - 1/2, which is essentially optimal by superdense coding. No super-constant lower bound for equality seems to follow from earlier techniques. * For all f we have Q_1^*(f)>=(1/4)log fool^1(f) - 1/2, which is optimal up to a factor of 2. * NQ(f)>=log \fool^1(f)/2 + 1. We do not know if the factor 1/2 is needed in this result, but it cannot be replaced by 1: we give an example where NQ(f)~0.613 log fool^1(f).

연구 동기 및 목표

• 사전 얽힘을 가진 한 방향 오류 허용 양자 통신 복잡도에 대한 새로운 하한을 피로잉 세트 방법을 사용하여 확립하기.
• 고전적 직사각형 기반 방법이 실패하는 양자 프로토콜에 대해 피로잉 세트 기법을 확장하기.
• 비결정론적 양자 통신 복잡도와 피로잉 세트 크기 사이의 관계 분석하기.
• NQ(f)의 하한에서 1/2 계수가 필수적인지 여부 또는 개선 가능 여부를 규명하기.
• 등등성과 독립성과 같은 기본 함수에 대해 사전 얽힘을 가진 양자 프로토콜의 능력 탐색하기.

제안 방법

• 고전적 피로잉 세트 방법을 한 방향 오류 프로토콜과 사전 얽힘을 가진 양자 통신 복잡도에 적응시키기.
• 크기 |F|인 1-피로잉 세트는 F의 두 개 이상의 서로 다른 쌍을 포함하는 단색 직사각형이 존재하지 않음을 의미하며, 이는 서로 다른 통신 트랜스크립트를 유도한다.
• 슈퍼다이너믹 코딩을 적용하여 Q₁*(f) ≥ (1/2)log(fool¹(f)) − 1/2 이 하한이 거의 최적임을 보여주기.
• 비결정론적 랭크(nrank(f))의 개념에 의존하며, 여기서 NQ(f) = ⌈log(nrank(f))⌉ + 1이다.
• 작은 랭크이지만 큰 피로잉 세트 크기를 가진 행렬의 텐서 곱을 사용하여 하한의 최적성 예시를 명시적으로 구성하기.
• 부등식 nrank(f)² ≥ rank(M ⊗ Mᵀ) ≥ nrank(g) ≥ nrank(I_N) = N을 사용하여 nrank(f)의 하한을 fool¹(f)에 따라 유도하기.

실험 결과

연구 질문

• RQ1 고전적 직사각형 기반 하한이 실패하는 한 방향 오류 양자 프로토콜에 대해 피로잉 세트 방법을 효과적으로 적용할 수 있는가?
• RQ2 하한 Q₁*(f) ≥ (1/4)log(fool¹(f)) − 1/2는 최적이며, 일반 함수에 대해 계수 1/4를 1/2로 개선할 수 있는가?
• RQ3 상삼각형 피로잉 세트(예: 동일성, 독립성)의 경우 하한 Q₁*(f) ≥ (1/2)log(fool¹(f)) − 1/2가 최적인가?
• RQ4 NQ(f) ≥ (1/2)log(fool¹(f)) + 1의 하한에서 계수 1/2가 필수적인가, 아니면 개선 가능한가?
• RQ5 NQ(f)가 (1/2)log(fool¹(f)) + 1보다 현저히 작은 함수를 구성할 수 있는가? 이는 계수 1/2가 최적 아님을 시사한다.

주요 결과

• 임의의 부울 함수 f에 대해 사전 얽힘을 가진 한 방향 오류 양자 통신 복잡도는 Q₁*(f) ≥ (1/4)log(fool¹(f)) − 1/2를 만족하며, 이는 요컨대 2배 요소까지 최적이다.
• 상삼각형 피로잉 세트(예: 동일성, 독립성, 크기 비교)의 경우 하한은 Q₁*(f) ≥ (1/2)log(fool¹(f)) − 1/2로 향상되며, 슈퍼다이너믹 코딩 덕분에 거의 최적이다.
• 비결정론적 양자 통신 복잡도는 NQ(f) ≥ (1/2)log(fool¹(f)) + 1를 만족하며, 이 하한은 상수 요소까지 최적이다.
• NQ(f) ≈ 0.613log(fool¹(f))를 달성하는 명시적 예시를 구성하여 하한에서 1/2 계수를 1로 대체할 수 없음을 보여준다.
• 랭크 3, 1-피로잉 세트 크기 6인 6×6 행렬은 f에 대해 fool¹(f) = 6^k 및 nrank(f) = 3^k를 유도하며, 이에 따라 NQ(f) ≤ (log 3 / log 6)log(fool¹(f)) + 1이 된다.
• 논문은 사전 얽힘을 가진 한 방향 오류 양자 프로토콜에서 동일성과 독립성에 대해 초수준 하한이 부족했던 문제를 해결하며, 피로잉 세트 방법을 통해 선형 하한을 증명한다.