[논문 리뷰] Quantum complementarity: A novel resource for unambiguous exclusion and encryption

Chung-Yun Hsieh, Roope Uola외 1명|arXiv (Cornell University)|2023. 09. 21.

Quantum Mechanics and ApplicationsPhysics and Astronomy인용 수 3

한 줄 요약

이 논문은 $\eta$-비확인적 배제를 새로운 양자정보 작업으로 도입하여, 양자 보완성(complementarity)이 비확인적 상태 배제와 암호화 이점 달성에 운영적 자원으로 기능할 수 있음을 보여준다. 또한 측정 보완성이 유한한 불확실성 범위 내에서 오차 없이 암호화를 가능하게 하며, 보완성과 측정 불가측성, 양자 스티어링 사이의 연결 고리를 확립한다.

ABSTRACT

Complementarity is a phenomenon explaining several core features of quantum theory, such as the well-known uncertainty principle. Roughly speaking, two objects are said to be complementary if being certain about one of them necessarily forbids useful knowledge about the other. Two quantum measurements that do not commute form an example of complementary measurements, and this phenomenon can also be defined for ensembles of states. Although a key quantum feature, it is unclear whether complementarity can be understood more operationally, as a necessary resource in some quantum information task. Here we show this is the case, and relates to a novel task which we term $η$-unambiguous exclusion. As well as giving complementarity a clear operational definition, this also uncovers the foundational underpinning of unambiguous exclusion tasks for the first time. We further show that a special type of measurement complementarity is equivalent to advantages in certain encryption tasks. Finally, our analysis suggest that complementarity of measurement and state ensemble can be interpreted as strong forms of measurement incompatibility and quantum steering, respectively.

연구 동기 및 목표

• 양자 보완성을 특정한 양자정보 작업과 연관지켜 운영적 자원으로 정의하기 위해, 특히 $\eta$-비확인적 배제 작업을 통해 이를 실현한다.
• 측정 보완성과 상태 집합의 보완성이 암호화 작업에서의 이점 달성에 자원으로 기능함을 보여준다.
• 운영적 작업을 통해 보완성이 양자 스티어링과 측정 불가측성의 기초적 역할을 명확히 한다.
• 배제 프로토콜에서 오차 확률과 불확실성의 한계를 유도하여 보완성의 운영적 의미를 체계화한다.
• 측정 어셈블리가 보완적이어야만 오차 없는 암호화가 가능함을 보여주며, 보완성과 보안 이점 사이의 직접적 연결 고리를 확립한다.

제안 방법

• $\eta$-비확인적 배제 작업을 도입: 플레이어는 $(n+1)$-결과 POVM을 사용하여 집합에서 선택되지 않은 상태를 배제해야 하며, 최대 $\eta$ 확률로 라운드를 포기할 수 있다 (즉, $Q_{\emptyset} \leq \eta\mathbb{I}$).
• 측정 보완성을 조건 $\mathrm{tr}(M\rho)$로 정의한다. 모든 $x$에 대해 모든 결과 확률 $P(a_x|x,\rho)$를 동시에 비자명한 상태 의존 하한 $\ell(\rho) = \mathrm{tr}(M\rho)$로 둘러싸는 것은 불가능하며, 이는 $M=0$이어야만 가능하다.
• 운영적 작업을 통해 오차 없는 암호화를 위한 필요 및 충분 조건을 도출한다: 모든 $b$에 대해 $\mathrm{tr}(E_{a_*|0}P_b) + \mathrm{tr}(E_{b|1}(\mathbb{I}-P_b)) = 0$이며, 이는 $E_{a_*|0}$와 $E_{b|1}$ 사이에 정규직교된 지지부를 의미한다.
• 트레이스 거리 이중성을 적용하여, 측정 연산자 간의 정규직교 지지부가 존재할 경우 $E_{a_*|0} = 0$임을 보이며, 이는 보완성이 성립하지 않는 한 모순이 된다.
• 서로 수직인 기저($|0\rangle,|1\rangle$와 $|+\rangle,|-\rangle$)를 갖는 두 큐비트 예제를 분석하여, 오차 없는 배제를 위해 필요한 최소 불확실성 $\eta_{\text{min}} = 2/(1+\sqrt{2}) \approx 0.828$를 계산한다.
• 반정형 프로그래밍을 통해 불가측성 증거 $\mathrm{IW}(\mathbf{E})$의 상한을 도출하며, $1 - \mathrm{IW}(\mathbf{E}) \leq \frac{w^n C_{\text{POVM}}}{d}$를 보여주어 보완성과 불가측성 사이의 연결 고리를 확립한다.

실험 결과

연구 질문

• RQ1 양자 보완성을 특정한 양자정보 작업을 통해 운영적으로 정의할 수 있는가?
• RQ2 측정 보완성이 비확인적 배제 및 암호화 작업에서 자원적 이점을 제공하는가?
• RQ3 측정 어셈블리의 보완성은 측정 불가측성과 양자 스티어링과 어떻게 관련되어 있는가?
• RQ4 주어진 보완적 측정 어셈블리에서 오차 없는 비확인적 배제를 달성하기 위해 필요한 최소 불확실성 $\eta$는 얼마인가?
• RQ5 암호화의 운영적 이점은 측정 어셈블리의 보완성 정도와 정량적으로 연결될 수 있는가?

주요 결과

• 양자 보완성은 오차 없는 비확인적 배제를 달성하기 위한 필수 자원으로 운영적으로 정의되며, 이 작업은 최대 $\eta$ 확률로 라운드를 포기할 수 있다.
• 측정 어셈블리 $\mathbf{E}$가 보완적임은, 모든 $x$에 대해 $E_{a_x|x} \geq M \Rightarrow M=0$를 만족할 때만 성립하며, 이는 비자명한 상태 의존 하한 $\ell(\rho)$로 모든 결과 확률을 동시에 둘러싸는 것이 불가능함을 의미한다.
• 오차 없는 암호화는 측정 어셈블리가 보완적이어야만 가능하며, $E_{a_*|0}$와 $E_{b|1}$ 간의 비직교 지지부를 가정할 경우 발생하는 모순을 통해 이를 입증한다.
• 서로 수직인 기저를 갖는 예제에서 최소 불확실성은 $\eta_{\text{min}} = 2/(1+\sqrt{2}) \approx 0.828$이며, 이는 성공 확률 약 $0.2929$로 오차 없는 배제를 가능하게 한다.
• 불가측성 증거 $\mathrm{IW}(\mathbf{E})$는 $\frac{w^n C_{\text{POVM}}}{d}$로 상한이 존재하며, 이는 보완성과 측정 불가측성 사이의 정량적 연결 고리를 보여준다.
• 측정 어셈블리의 보완성은 측정 불가측성과 운영적으로 동치이며, 상태 집합의 보완성은 양자 스티어링에 해당함을 보여주며, 기초적인 연결 고리를 확립한다.