[논문 리뷰] Non-Additivity of the Entanglement of Purification (Beyond Reasonable Doubt)

Jianxin Chen, Andreas Winter|arXiv (Cornell University)|2012. 06. 06.

Quantum Information and Cryptography참고 문헌 23인용 수 10

한 줄 요약

이 논문은 정규화된 엔트랑글먼트 오브 퍼포지션(EoP)과 반데르발트 엔트로피의 차이 $E_P^\infty(\rho) - S(\rho)$의 볼록성 증명을 통해 EoP의 비가산성을 강력한 증거로 제시한다. 두 큐비트 워너 상태에 대한 수치 분석을 통해 $E_P^\infty(W(0.005)) < E_P(W(0.005))$임을 보이며, 이는 비가산성을 시사한다. 정규화된 값에 대한 기준 상한은 0.9663이며, 수치적 추정치는 단일 복사본 EoP가 이를 초과함을 시사하여, 비가산성이 의심할 여지 없이 강력히 나타난다.

ABSTRACT

We demonstrate the convexity of the difference between the regularized entanglement of purification and the entropy, as a function of the state. This is proved by means of a new asymptotic protocol to prepare a state from pre-shared entanglement and by local operations only. We go on to employ this convexity property in an investigation of the additivity of the (single-copy) entanglement of purification: using numerical results for two-qubit Werner states we find strong evidence that the entanglement of purification is different from its regularization, hence that entanglement of purification is not additive.

연구 동기 및 목표

• 혼합 상태에서의 총 상관관계를 측정하는 양자정보이론의 핵심 척도인 엔트랑글먼트 오브 퍼포지션의 가산성 여부를 조사하기 위해.
• 정규화된 엔트랑글먼트 오브 퍼포지션($E_P^\infty$)이 단일 복사본 엔트랑글먼트 오브 퍼포지션($E_P$)과 동일한가를 판단하기 위해, 이는 한 방향 LOCC 하에서의 엔트랑글먼트 비용에 대한 단일식 공식을 암시할 수 있다.
• 정규화된 $E_P^\infty$를 유계화하기 위한 엄밀한 분석적 프레임워크를 제공하기 위해, $E_P^\infty - S(\rho)$의 볼록성 특성을 활용하기 위해.
• 두 큐비트 워너 상태에 대해 $E_P(\rho)$와 $E_P^\infty(\rho)$의 행동을 수치적으로 탐색하여 잠재적인 비가산성을 탐지하기 위해.

제안 방법

• 지속적인 프로토콜을 구성하여 국소 작용과 사전 공유 양자 얽힘을 사용하여 상태를 준비함으로써, $E_P^\infty(\rho) - S(\rho)$가 $\rho$에 대해 볼록임을 증명한다.
• 정규화된 $E_P^\infty - S$의 볼록성을 비가산성 탐지에 대한 충분조건으로 사용: 만약 $E_P(\rho) - S(\rho)$가 볼록이 아니라면, $E_P^\infty(\rho) \neq E_P(\rho)$임을 의미한다.
• 지역 최소값을 타당한 상한으로 사용하여, 워너 상태 $W(\theta)$에 대해 $E_P(\rho)$의 상한을 수치 최적화를 통해 계산한다.
• 기준 설정: $\rho = W(0)$와 $\rho = W(0.01)$에 볼록성 부등식을 적용하여 $E_P^\infty(W(0.005)) \leq 0.9663$을 유도한다.
• 수치적 추정치 $E_P(W(0.005)) \gtrsim 0.99$를 상한 0.9663과 비교하여 비가산성을 유추한다.
• 호로데cki와 피아니(2012)의 단일성 정리를 활용하여 엔트랑글먼트 오브 퍼포지션의 비가산성이 밀도 코딩에서의 양자 이점의 비가산성과 연결된다.

실험 결과

연구 질문

• RQ1 엔트랑글먼트 오브 퍼포지션은 가산적인가, 즉 모든 이분기 혼합 상태에 대해 $E_P(\rho \otimes \sigma) = E_P(\rho) + E_P(\sigma)$가 성립하는가?
• RQ2 정규화된 $E_P^\infty(\rho) - S(\rho)$의 볼록성은 엔트랑글먼트 오브 퍼포지션의 비가산성을 탐지하는 데 사용될 수 있는가?
• RQ3 두 큐비트 워너 상태에 대해, 작은 $\theta$에서 $E_P^\infty(W(\theta))$는 $E_P(W(\theta))$와 엄격히 다를까?
• RQ4 최소한의 $n$은 얼마인가, 즉 $\frac{1}{n}E_P(\rho^{\otimes n}) < E_P(\rho)$가 성립하는가, 그리고 이를 추정할 수 있는가?
• RQ5 엔트랑글먼트 오브 퍼포지션의 비가산성은 밀도 코딩에서의 양자 이점의 비가산성을 암시하는가?

주요 결과

• $E_P^\infty(\rho) - S(\rho)$는 $\rho$에 대해 볼록함을 증명하여, 비가산성을 탐색하는 강력한 분석 도구를 확립한다.
• 수치 결과는 $E_P(W(0.01)) \leq 0.9226$이며, $E_P(W(0)) = 1$임을 보여, 볼록성 테스트의 기준을 제공한다.
• 볼록성에 기반하여 $E_P^\infty(W(0.005)) \leq 0.9663$의 상한이 도출되었으며, 이는 $W(0)$와 $W(0.01)$의 평균을 사용하여 유도되었다.
• 수치적 추정치는 $E_P(W(0.005)) \gtrsim 0.99$임을 보여주며, 이는 상한 0.9663을 초과하므로 $E_P^\infty(W(0.005)) < E_P(W(0.005))$임을 암시한다.
• 이로 인해 엔트랑글먼트 오브 퍼포지션의 비가산성에 대한 강력한 수치적 증거를 확보하였으며, 이는 심각한 수치 오류가 아닌 한 의심할 여지가 없다.
• 결과적으로 이는 일부 워너 상태에서 밀도 코딩의 양자 이점이 비가산적임을 암시하며, 호로데cki와 피아니(2012)에서 제기된 질문을 해결한다.