[논문 리뷰] Lower Bound for entanglement cost of antisymmetric states

Toshiyuki Shimono|ArXiv.org|2002. 03. 08.

Quantum Mechanics and Applications참고 문헌 3인용 수 5

한 줄 요약

이 논문은 구축된 사상 Λ를 통해 감소 밀도 행렬의 고유값 구조를 분석하여 이원적 d-레벨 양자 시스템에서 반대칭 상태의 얽힘 비용에 하한을 설정한다. 얽힘 비용이 최소 log₂(d/(d−1)) 엑비트임을 증명하며, 삼중 상태의 얽힘 비용이 1 엑비트인지 여부에 대한 열린 문제를 해결하고, d=3일 때 이 하한이 엄밀하게 0.585 엑비트 이상임을 보여준다.

ABSTRACT

This report gives a lower bound of entanglement cost for antisymmetric states of bipartite d-level systems to be log_2 (d/(d-1)) ebit (for d=3, E_c >= 0.585...). The paper quant-ph/0112131 claims that the value is equal to one ebit for d=3, since all of the eigenvalues of reduced matrix of any pure states living in N times tensor product of antisymmetric space is not greater than 2^(-N) thus the von Neumann entropy is not less than N, but the proof is not true. Hence whether the value is equal to or less than one ebit is not clear at this moment.

연구 동기 및 목표

• 삼중 시스템에서 반대칭 상태의 얽힘 비용이 1 엑비트인지 또는 그 이하인지 여부에 대한 열린 문제를 해결하기 위해.
• 이원적 d-레벨 시스템에서 반대칭 상태의 얽힘 비용에 엄밀한 하한을 제공하기 위해.
• 이전 연구에서 d=3일 때 반대칭 상태의 감소 밀도 행렬의 모든 고유값이 ≤2⁻ᴺ임을 주장한 잘못된 증명을 수정하기 위해.
• 새로운 Λ 사상의 분석과 그 성질을 활용하여 임의의 d에 대해 일반적인 하한을 확립하기 위해.
• 얽힘 형성과 얽힘 비용 계층 구조를 통해 渐近적 얽힘 비용을 명확히 하기 위해.

제안 방법

• 논문은 반대칭 부분공간 H₋에 대한 밀도 행렬을 한 부분계의 감소 밀도 행렬로 매핑하는 선형 사상 Λ를 정의한다.
• 쌍대 사상 Λ†를 도입하고, 사상의 연산자 노름을 분석하여 감소 밀도 행렬의 최대 고유값을 유계화한다.
• 핵심 단계는 H₋^⊗N에 속한 순수 상태로부터 유도된 감소 밀도 행렬의 최대 고유값이 (d−1/d)^N 이하임을 증명하는 것으로, 이는 구축된 사상 Λ와 그 양의 성질을 활용한다.
• 완전히 양의 연산자(CP) 사상의 개념을 도입하고, Choi-Jamiołkowski 이sovism을 적용하여 사상의 노름에 대한 유계를 검증한다.
• 양자 엔트로피의 볼록성과 엽합의 정의를 사용하여 혼합 상태로의 유계 확장을 수행한다.
• 엽합의 얽힘 형성 비용의 한 계열당 극한을 취하여 渐近적 얽힘 비용을 유도하며, 최종 하한을 도출한다.

실험 결과

연구 질문

• RQ1 삼중 시스템에서 반대칭 상태의 얽힘 비용이 이전에 주장한 바와 같이 1 엑비트인가?
• RQ2 d-레벨 시스템에서 반대칭 상태의 얽힘 비용에 대한 올바른 하한은 무엇인가?
• RQ3 왜 이전 연구에서 d=3일 때 감소 밀도 행렬의 고유값이 모두 ≤2⁻ᴺ임을 주장한 증명이 잘못되었는가?
• RQ4 반대칭 부분공간의 구조적 성질을 활용하여 임의의 d에 대해 얽힘 비용에 대한 일반적인 하한을 도출할 수 있는가?
• RQ5 d=3일 때 반대칭 상태의 얽힘 비용이 0.585 엑비트를 초과하는가? 그리고 이 하한은 엄밀한가?

주요 결과

• H₋^⊗N에 지지된 임의의 혼합 상태의 얽힘 비용은 N·log₂(d/(d−1)) 엑비트 이상으로 유계화된다.
• d=3일 경우 이는 log₂(3/2) ≈ 0.58496 엑비트의 하한을 제공하며, 이는 1 엑비트보다 엄밀히 작다.
• 이전 주장에서 d=3일 때 삼중 반대칭 상태의 감소 밀도 행렬의 모든 고유값이 ≤2⁻ᴺ임을 주장한 데 대해, 최대 고유값이 1/3 > 1/4인 반례를 제시함으로써 오류를 규명한다.
• 하한은 H₋^⊗N에 속한 임의의 순수 상태의 감소 밀도 행렬의 최대 고유값이 ≤(d−1/d)^N 임을 증명함으로써 도출된다.
• 결과적으로, d=3일 때 반대칭 상태의 얽힘 비용이 1 엑비트가 아니며, 오히려 1 엑비트 이하임을 확인한다.
• 일반적인 하한 log₂(d/(d−1)) 엑비트는 모든 d≥2에 대해 유효하며, 특정 상태에서의 渐近적 극한에서 이 하한이 달성됨으로써 엄밀함을 입증한다.