[논문 리뷰] Operationally-Motivated Uncertainty Relations for Joint Measurability and the Error-Disturbance Tradeoff

Joseph M. Renes, Volkher B. Scholz|arXiv (Cornell University)|2014. 02. 26.

Probabilistic and Robust Engineering Design참고 문헌 9인용 수 7

한 줄 요약

이 논문은 유한 차원 양자 시스템에서 연속 측정 가능성과 오차-왜곡 상호작용의 상호보완성에 대한 새로운 하이젠베르크 유형의 불확정성 원리를 운영적 프레임워크를 사용하여 유도한다. 오차와 왜곡은 실제 측정 장치와 이상적 장치 간의 구분 가능성 확률로 정량화되며, 비가환 관측량은 높은 정밀도로 동시에 측정하거나 최소한의 왜곡을 일으키며 측정될 수 없다는 것을 증명한다.

ABSTRACT

We derive new Heisenberg-type uncertainty relations for both joint measurability and the error-disturbance tradeoff for arbitrary observables of finite-dimensional systems. The relations are formulated in terms of a directly operational quantity, namely the probability of distinguishing the actual operation of a device from its hypothetical ideal, by any possible testing procedure whatsoever. Moreover, they may be directly applied in information processing settings, for example to infer that devices which can faithfully transmit information regarding one observable do not leak any information about conjugate observables to the environment. Though intuitively apparent from Heisenberg's original arguments, only more limited versions of this statement have previously been formalized.

연구 동기 및 목표

• 양자 정보 처리 작업에 직접 적용 가능한 연속 측정 가능성과 오차-왜곡에 대한 불확정성 원리를 수립하기 위해.
• 오차와 왜곡을 운영적으로 정의하여 어떤 실험에서라도 실제 장치의 행동이 이상적 행동과 구분될 수 있는 확률로 정의하기 위해.
• 관측량의 비가환성에 기반하여, 두 비가환 관측량이 얼마나 잘 동시에 측정될 수 있는지 또는 측정 과정에서 얼마나 많은 왜곡이 발생하는지에 대한 정량적 경계를 설정하기 위해.
• 특히 측정 과정에서 환경으로의 정보 유출에 관해 하이젠베르크의 원초적 논증에서 도출된 기초적 통찰을 강화하는 프레임워크를 제공하기 위해.
• 암호학적 및 양자 정보 응용 분야에 대해 수학적으로 엄밀하고 운영적으로 의미 있는 불확정성 원리를 도출하기 위해.

제안 방법

• 실제 측정 장치와 이상적 측정 장치를 나타내는 양자 채널 간의 가시성 차이를 측정하기 위해 다이아몬드 노름을 사용한다.
• 관측량 X를 측정하는 오차는 실제 장치와 가상의 이상 측정 채널 간의 다이아몬드 노름 거리로 정의한다.
• 관측량 Z에 대한 왜곡은 Z의 고유상태에 작용할 때 고정 출력 채널을 모방할 수 있는 장치의 능력으로 정의한다.
• 스티네스프링 표현의 연속성에 의해, 관측량의 비가환성에 기반한 오차와 왜곡의 경계를 도출한다.
• 정수형 프로그래밍의 이중성 원리를 활용하여 순차적 측정 채널과 고정 출력 채널 간의 다이아몬드 노름 거리의 상한을 구한다.
• 다이아몬드 노름의 삼각 부등식과 채널 조합, 단조성 성질을 조합하여 불확정성 원리를 유도한다.

실험 결과

연구 질문

• RQ1 정보 처리 작업에 직접 관련된 방식으로 양자 측정의 오차와 왜곡을 어떻게 정량화할 수 있는가?
• RQ2 한 관측량을 측정하는 정확도와 비가환 관측량에 가해지는 왜곡 사이의 근본적인 상호보완성은 무엇인가?
• RQ3 두 비가환 관측량의 연속 측정 가능성은 이상적 행동으로부터의 운영적 가시성 측도로 경계지을 수 있는가?
• RQ4 한 관측량을 충실하게 측정하는 측정 장치가 공액 관측량에 대한 정보를 환경으로 유출하는 정도는 어느 정도인가?
• RQ5 암호학적 응용 분야, 특히 키 분배를 초월하여 적용 가능한 운영적으로 의미 있는 불확정성 원리를 어떻게 도출할 수 있는가?

주요 결과

• 연속 측정 가능성에 대한 불확정성 원리는, 관측량 간의 비가환성이 높을수록 두 비가환 관측량을 측정하는 데서 오차가 동시에 작을 수 없음을 보여주며, 이는 측정 장치의 운영적 가시성으로 정량화된다.
• 오차-왜곡 상호작용 원리는, 장치가 관측량 X를 오차 ε_X로 측정한다면, 관측량 Z에 가해지는 왜곡이 1 - δ(Q_X∘Q_Z^♮, F) 이하로 경계됨을 증명한다. 여기서 δ는 고정 출력 채널까지의 다이아몬드 노름 거리이다.
• 정량적 경계가 도출된다: √(2ε_X) + η_Z ≥ 1 - max_z ∑_x {1/d - |⟨φ_x|ϑ_z⟩|²}_+, 오차, 왜곡, X와 Z 기저 간의 겹침을 연결한다.
• 이 프레임워크는 한 관측량에 대한 정보를 충실하게 전달할 수 있는 장치는 동시에 공액 관측량에 대한 정보를 환경으로 유출시킬 수 없다는 것을 암시한다.
• 유도된 불확정성 원리는 운영적으로 의미가 있으며, 암호학적 보안 분석을 포함한 양자 정보 프로토콜 분석에 직접 적용 가능하다.
• 결과는 스티네스프링 표현의 연속성과 정수형 프로그래밍의 이중성에 기반하여 유도되었으며, 연속 측정 가능성과 오차-왜곡에 대한 통합적인 기초를 제공한다.