양자·고전 통신 복합성의 최적 직접합 및 프라이버시 트레이드오프

초록

이 논문은 일방향 및 동시 메시지 전달 모델에서 양자와 고전 통신 복합성에 대한 최적 직접합 정리를 증명하고, 다라운드 프로토콜에 대해 프라이버시 손실과 통신량 사이의 트레이드오프를 제시한다. 메시지 압축 기법과 Substate 정리를 활용해 새로운 라운드 소거 보조정리를 얻으며, 이를 통해 셀 프로브 모델의 하한을 양자 설정으로 확장한다. 또한 뉴먼의 공개 코인 감소 기법이 양자 프로토콜에선 적용될 수 없음을 보이며, 정확한 원격 상태 준비(ERSP) 문제에 대한 상한도 제시한다.

상세 분석

논문은 먼저 관계 f⊆X×Y×Z에 대해 일방향 공개 코인 고전 모델 R¹,pub와 일방향 얽힘 보조 양자 모델 Q¹,pub의 직접합 성질을 정확히 증명한다. 구체적으로 ε,δ∈(0,½)이며 ε+δ<½일 때, R¹,pub,ε(f⊕m)≥Ω(δ³·m·R¹,pub,ε+δ(f))와 Q¹,pub,ε(f⊕m)≥Ω(δ³·m·Q¹,pub,ε+δ(f))가 성립한다. 이는 기존 결과에서 라운드 수에 대한 의존성을 크게 완화한 것으로, 메시지 압축 정리를 핵심 도구로 사용한다. 고전 일방향 압축에서는 Alice의 메시지에 대한 상호 정보가 k 이하이면 O(k)비트 길이의 결정론적 프로토콜로 변환한다. 양자 일방향 압축에서는 사전 얽힘을 허용하고, 동일한 상호 정보 한계 하에 클래식 메시지 길이 O(k)비트의 양자 프로토콜을 구성한다. 이때 Substate 정리(양자 및 고전 버전)가 핵심적인 정보‑이론적 불평등을 제공한다.

라운드 소거 보조정리에서는 t라운드 양자 프로토콜 P가 첫 번째 메시지 길이 ℓ₁, 두 번째 메시지 길이 ℓ₂라면, Bob이 먼저 시작하는 (t‑1)라운드 프로토콜 P′을 구성하고 첫 메시지 길이를 ℓ₂·2^{O(ℓ₁/k)}로 줄인다. 이는 ℓ₁≪ℓ₂인 경우에 특히 유용하며, 기존의 셀 프로브 하한(예: Hamming 큐브 상의 근사 최근접 이웃 탐색, 전임자 검색)들을 양자 셀 프로브 모델에 그대로 적용하게 만든다.

프라이버시 트레이드오프 부분에서는 사전 얽힘이 없는 양자 프로토콜에 대해 Alice와 Bob의 프라이버시 손실(k_A, k_B)을 정의하고, 다라운드 프로토콜을 단일 짧은 메시지로 압축한다. 구체적으로 k_A가 작을 때 전체 통신을 k_A·2^{O(k_B)} 비트 길이의 클래식 메시지로 대체할 수 있음을 보인다. 고전 경우에도 동일한 구조가 성립한다. 이러한 결과는 프라이버시 손실이 낮은 프로토콜이 반드시 높은 통신 비용을 요구한다는 강력한 상관관계를 드러낸다.

마지막으로, 뉴먼 기법을 양자 설정에 일반화하려는 시도가 불가능함을 보인다. 저자는 특정 1라운드 양자 Equality 프로토콜을 통해, 사전 얽힘 양을 상수 배 이상 감소시킬 수 없음을 증명한다. 또한 Exact Remote State Preparation 문제에 대해 O(log |Z|) 비트의 상한을 제시하여, 기존 양자 상태 전송 결과와 일관된 효율성을 확보한다.