[논문 리뷰] Quantum Advantage on Information Leakage for Equality

Juan Miguel Arrazola, Dave Touchette|arXiv (Cornell University)|2016. 07. 26.

Wireless Communication Security Techniques참고 문헌 10인용 수 3

한 줄 요약

이 논문은 동일성 함수를 계산하는 고전적 프로토콜에 대해 동시 메시지 전송(SMP) 모델에서 정보 泄露의 유한 크기 하한을 설정하며, 실용적인 양자 우월성을 입증한다. 통신 복잡도의 개선과 마르코프 부등식 및 뉴먼 유형의 추론을 통해 정보 泄露와 연결함으로써, 저자들은 현실적인 입력 크기에서 고전적 프로토콜보다 양자 프로토콜이 지수적으로 낮은 정보 泄露를 달성할 수 있음을 보여준다.

ABSTRACT

We prove a lower bound on the information leakage of any classical protocol computing the equality function in the simultaneous message passing (SMP) model. Our bound is valid in the finite length regime and is strong enough to demonstrate a quantum advantage in terms of information leakage for practical quantum protocols. We prove our bound by obtaining an improved finite size version of the communication bound due to Babai and Kimmel, relating randomized communication to deterministic communication in the SMP model. We then relate information leakage to randomized communication through a series of reductions. We first provide alternative characterizations for information leakage, allowing us to link it to average length communication while allowing for shared randomness (pairwise, with the referee). A Markov inequality links this with bounded length communication, and a Newman type argument allows us to go from shared to private randomness. The only reduction in which we incur more than a logarithmic additive factor is in the Markov inequality; in particular, our compression method is essentially tight for the SMP model with average length communication.

연구 동기 및 목표

• 고전적 프로토콜에 대한 정보 泄루의 유한 크기 하한을 설정하여 渐近적 양자 우월성과 실용 가능성 사이의 격차를 메우기.
• 실제 비점근적 입력 크기에서 양자 프로토콜이 고전적 프로토콜보다 정보 泄루 측면에서 뛰어나다는 것을 입증하기.
• 새로운 감소법을 통해 SMP 모델에서 통신 복잡도와 정보 泄루 사이의 엄밀한 연결 고리를 제공하기.
• 특히 사적 난수를 사용하는 랜덤화 프로토콜에 대해 기존의 SMP 모델 통신 복잡도 하한을 개선하기.
• 정보 泄루가 SMP 모델에서 의미 있고 날카로운 프라이버시 측정기준임을 입증하며, 평균 통신 비용과 로그 인자까지 일치시킴.

제안 방법

• SMP 모델에서 랜덤화와 결정론적 통신 복잡도 사이의 관계를 기반으로 한 Babai-Kimmel 통신 하한의 유한 크기 개선을 유도한다.
• 공유 난수(앨리스/찰리 및 백업/찰리 간 쌍)를 고려한 평균 길이 통신으로 정보 泄루를 재정의한다.
• 마르코프 부등식을 적용하여 평균 길이 통신 하한을 유한 길이 통신으로 전환하며, 로그 인자 추가 페널티만 발생시킨다.
• 공유 난수를 가진 프로토콜을 사적 난수를 가진 등가 프로토콜로 전환하는 뉴먼 유형의 추론을 사용하여 오차 및 통신 하한을 유지한다.
• Harsha 등이 제시한 단일 메시지 압축 결과를 활용하여 통신 비용과 정보 泄루 사이의 날카로운 감소를 가능하게 한다.
• 모든 감소를 통합하여 고전적 정보 泄루를 개선된 통신 하한과 연결하며, 로그 인자까지 날카로운 상한을 보여준다.

실험 결과

연구 질문

• RQ1 동일성 함수를 계산하는 고전적 SMP 프로토콜에 대해 정보 泄루의 유한 크기 하한을 설정할 수 있는가?
• RQ2 고전적 SMP 프로토콜에서 정보 泄루는 입력 크기와 어떻게 상관관계를 가지며, 이는 유한 영역에서 정량화될 수 있는가?
• RQ3 실용적 입력 크기에서 양자 프로토콜이 고전적 프로토콜보다 증명 가능한 낮은 정보 泄루를 달성할 수 있는가?
• RQ4 공유 난수를 가진 SMP 모델에서 정보 泄루는 평균 통신 비용과 얼마나 날카롭게 관련되어 있는가?
• RQ5 이 맥락에서 평균 길이 통신에서 유한 길이 통신으로 전환할 때 발생하는 최소 추가 페널티는 얼마인가?

주요 결과

• 논문은 동일성 함수를 계산하는 고전적 SMP 프로토콜에 대해 정보 泄루의 유한 크기 하한을 설정하며, 이는 입력 크기 $ n $ 과 제곱 관계로 증가함을 보여주며, 즉 $ \Omega(n^2) $ 이다.
• 개선된 통신 복잡도 하한은 $ CC_{priv}(EQ_n, \varepsilon) \geq 2\sqrt{g_3(\varepsilon)n} - g_3(\varepsilon) - 6 $ 를 유도하며, 이는 이전 하한보다 한 단계 이상 뛰어나다.
• 정보 泄루가 공유 난수를 가진 평균 통신 비용과 날카롭게 관련되어 있음을 입증하였으며, 최대 로그 인자 추가 오차로만 다를 수 있다.
• 마르코프 부등식 단계에서만 유의미한 페널티가 발생하며, 이는 SMP 모델에서의 압축 방법이 본질적으로 날카로운 것임을 시사한다.
• 양자 프로토콜, 예를 들어 양자 지문 기반 프로토콜은 정보 泄루가 약 $ \log n $ 수준이며, 이는 $ n $ 이 유한할 경우 고전적 프로토콜의 $ \Omega(n^2) $ 하한보다 지수적으로 낮아, 실용적인 양자 우월성을 입증한다.
• 분석을 통해 정보 泄루가 SMP 모델에서 강력하고 의미 있는 프라이버시 측정기준임을 확인하였으며, 통신 비용과 일치하며, 양자 프로토콜과의 공정한 비교를 가능하게 한다.