[논문 리뷰] The Relationship Between Discrete and Continuous Entropy in EPR-Steering Inequalities

James Schneeloch|arXiv (Cornell University)|2013. 12. 09.

Molecular Junctions and Nanostructures참고 문헌 1인용 수 3

한 줄 요약

이 논문은 EPR-스티어링 부등식의 맥락에서 이산적이고 연속적인 엔트로피 간의 엄밀한 수학적 연결을 수립하여, 이산 측정이 연속 변수 EPR-스티어링 부등식을 유도하고 실험적으로 검증하는 데 어떻게 사용될 수 있는지 보여준다. 주요 기여는 공간적 자유도 간 통계적 독립성 가정 없이도 성립하는 강화된 스티어링 부등식 (20)을 제시한 것으로, 국소적 은폐 상태 모델의 실험적 위반에 대한 강건성을 향상시킨다.

ABSTRACT

This document expands upon the relationship between discrete and continuous entropy given in (Phys. Rev. Lett. 110 130407), \Violating Continuous Variable Einstein-Podolsky-Rosen Steering with Discrete Measurements". We provide a detailed derivation for the inequality relating the continuous conditional entropy to its discrete approximation, and show how this connection works between discrete and continuous entropic quantities in general. In addition, we use this connection to show how to derive the continuous variable Einstein-Podolsky-Rosen steering inequality with discrete measurements as seen in (Phys. Rev. Lett. 110 130407), and make an additional comment which strengthens this result.

연구 동기 및 목표

• 양자 정보 이론에서 이산적 엔트로피와 연속적 엔트로피 간의 관계를 체계화하는 것, 특히 EPR-스티어링 시나리오에 초점 맞추어.
• 연속 변수 시스템에서 이산 측정이 연속 조건부 엔트로피를 어떻게 근사하는지에 대한 엄밀한 유도를 제공하는 것.
• 이전 연구에서 유도된 EPR-스티어링 부등식을 공간적 자유도 간 통계적 독립성 가정 없이 강화하는 것.
• 이산 측정 결과를 사용하여 연속 변수 EPR-스티어링을 더 강건하게 실험적으로 검증할 수 있도록 하는 것.
• 다차원 시스템에서 엔트로피 불확정성 원리와 EPR-스티어링 간의 관계를 명확히 하는 것.

제안 방법

• 연속 조건부 엔트로피와 그 이산 근사 간의 기본 부등식 $ h(y|x) \leq H(Y|X) + \log(\Delta y) $ 를 유도하여 연결한다.
• 연속 엔트로피를 이산 측정 창 간 조건부 엔트로피로 분해하여 $ h(x) $, $ H(X) $, 창 크기 $ \Delta x $ 를 연결한다.
• 제닝스 부등식과 엔트로피의 볼록성(concavity)을 적용하여 이산 바구니 내 조건부 분포의 엔트로피를 경계한다.
• 다중 변수에 대해 연관 엔트로피, 공동 엔트로피, 조건부 엔트로피를 포함한 엔트로피 연결을 확장한다.
• 다차원 스티어링 부등식의 기초로 엔트로피 불확정성 원리 $ h(\vec{x}) + h(\vec{k}) \geq n\log(\pi e) $ 를 적용한다.
• 다양도 간 통계적 독립성 가정 없이도 성립하는 최종 스티어링 부등식 $ H(\vec{X}_B|\vec{X}_A) + H(\vec{K}_B|\vec{K}_A) \geq \sum_{i=1}^n \log\left(\frac{\pi e}{\Delta x_{Bi}\Delta k_{Bi}}\right) $ 를 유도한다.

실험 결과

연구 질문

• RQ1 EPR-스티어링 실험에서 이산 측정은 연속 조건부 엔트로피를 어떻게 근사할 수 있는가?
• RQ2 연속 변수 양자 시스템 맥락에서 이산 엔트로피와 연속 엔트로피 간의 정확한 수학적 관계는 무엇인가?
• RQ3 연속 변수에서 유도된 EPR-스티어링 부등식을 오직 이산 측정 결과만을 사용해 엄밀하게 유도할 수 있는가?
• RQ4 다차원 EPR-스티어링 부등식에서 공간적 자유도 간 통계적 독립성 가정이 필요한가?
• RQ5 이러한 가정을 제거함으로써 EPR-스티어링 부등식의 강도를 높일 수 있는가?

주요 결과

• 논문은 부등식 $ h(y|x) \leq H(Y|X) + \log(\Delta y) $ 를 유도하여, 연속 조건부 엔트로피가 측정 해상도에 따라 변하는 사항에 비해 이산 조건부 엔트로피에 의해 상한으로 제한됨을 보여준다.
• 기본 엔트로피 연결 $ h(x) = \sum_{\ell} P(X_\ell) h_\ell(x) + H(X) $ 가 확립되어, 바이닝을 통한 이산 및 연속 엔트로피 간의 연결이 가능해진다.
• 유도된 스티어링 부등식 (20) 은 공간적 자유도 간 통계적 독립성 가정 없이도 성립하므로, 그 물리적 의미가 더욱 강화된다.
• 부등식 $ h(\vec{x}^B|\vec{x}^A) + h(\vec{k}^B|\vec{k}^A) \geq n\log(\pi e) $ 는 엔트로피 불확정성 원리에 기반해 일반적으로 성립함을 보였다.
• 이산 스티어링 부등식 (20) 은 이전에 생각했던 것보다 더 강력하며, 독립성 가정에 의존하지 않는다.
• 이산과 연속 엔트로피 간의 연결은 상호정보량으로 자연스럽게 확장되며, $ h(x:y) \geq H(X:Y) $ 를 만족하고, $ h(\vec{x}|\vec{y}) \leq H(\vec{X}|\vec{Y}) + \log\left(\prod_{i=1}^n \Delta x_i\right) $ 를 통해 다변수 시스템으로 일반화된다.