[논문 리뷰] An asymptotical separability criterion for bipartite density operators

Romàn R. Zapatrin|ArXiv.org|2005. 04. 22.

Quantum Information and Cryptography참고 문헌 9인용 수 5

한 줄 요약

이 논문은 연속적 집합 방법을 사용하여 이분량자 시스템에 대한 반복적이고 점점 가까워지는 분리 가능성 기준을 제안한다. 주어진 상태 ρ가 분리 가능할 때이고 그때에만, 분리 가능한 밀도 행렬의 수열이 수렴하며, 허용 오차 κ에 대해 수렴 속도와 유한단계 결정 절차를 제공한다.

ABSTRACT

For a given density matrix $ρ$ of a bipartite quantum system an asymptotical separability criterion is suggested. Using the continuous ensemble method, a sequence of separable density matrices is built which converges to $ρ$ if and only if $ρ$ is separable. The convergence speed is evaluated and for any given tolerance parameter $κ$ an iterative procedure is suggested which decides in finite number of steps if there exists a separable density matrix $ρ_κ$ which differs from the matrix $ρ$ by at most $κ$.

연구 동기 및 목표

• 혼합된 이분량자 상태의 분리 가능성 결정 문제를 해결하기 위해, 특히 PPT 기준이 부족한 고차원 시스템에서의 문제를 다루기 위해.
• 정확한 기준이 고차원에서의 한계를 가지므로, 유한 정밀도로 분리 가능성을 결정할 수 있는 구조적이고 알고리즘적인 방법을 제공하기 위해.
• 강건한 분리 가능 상태가 반복적인 함수 반복을 통해 분리 가능한 연산자의 수열로 근사화될 수 있음을 보여주기 위해.
• 사용자가 정의한 허용 오차 κ 내에서 분리 가능성에 대한 유한단계 결정 절차를 수립하기 위해.

제안 방법

• 부분계의 힐베르트 공간에서 단위 구의 곱 위에 밀도 연산자를 연속적 분포로 표현하여, 유한한 볼록 조합을 적분으로 대체한다.
• X₀ = 0에서 시작하는 반복적 연산자 F(X) = X + λ(ρ - ∫∫ e^{⟨ϕϕ'|X|ϕϕ'⟩} |ϕϕ'⟩⟨ϕϕ'| dS_n dS'_n)를 도입한다.
• 강건한 분리 가능성을 특징짓기 위해 추적 기능 K와 벡터 방정식 ∇K = ρ를 사용하여 문제를 초월함수 방정식의 체계로 환원한다.
• 수렴 속도 평가를 위해 연산자 D를 사용한 수축 사상 분석을 수행하며, C_K와 C_A를 포함한 노름의 경계를 활용한다.
• 시스템 차원 n과 κ에 기반하여 λ와 허용 오차 κ를 달성하기 위해 필요한 반복 횟수 N의 명시적 표현을 유도한다.
• 정지 조건을 구현: ||X||₁이 2ln(C_K C_A)를 초과하면 상태는 엔트로피 상태로 선언된다.

실험 결과

연구 질문

• RQ1 유한 정밀도로 이분밀도 행렬의 분리 가능성을 결정할 수 있는 구조적 반복 방법을 개발할 수 있는가?
• RQ2 분리 가능한 연산자의 반복 수열이 ρ로 수렴하면, ρ 자체가 분리 가능하다고 할 수 있는가?
• RQ3 이러한 반복 절차의 수렴 속도는 무엇이며, 실용적 구현을 위해 경계를 설정할 수 있는가?
• RQ4 사용자 정의 허용 오차 κ 내에서 상태가 분리 가능한지 판단할 수 있는 유한단계 결정 절차를 유도할 수 있는가?
• RQ5 파rameter λ와 반복 횟수 N은 시스템 차원 n과 허용 오차 κ에 어떻게 의존하는가?

주요 결과

• 반복 수열 X_m이 ρ로 수렴하는 것은 ρ가 강건한 분리 가능일 때에만 성립하며, 이는 점점 가까워지는 분리 가능성에 대한 필요충분조건을 제공한다.
• 수렴 속도는 시스템 차원 n에 의존하는 수축 상수 C = (1 - 1/(n(n+1)))²로 정량화된다.
• 허용 오차 κ를 달성하기 위해 필요한 반복 횟수 N은 N = 2n(n+1)(ln(4ln(C_A C_K)) + ln(1/κ))로 경계가 되며, 명시적으로 n과 κ에 의존한다.
• 수렴을 보장하기 위해 λ는 1/(C_K C_A)²로 설정되며, C_K와 C_A는 K = n⁷/κ와 C_A = 2n¹⁴ n^(n⁸/κ)/κ²로부터 유도된다.
• 어느 반복 단계에서든 ||X||₁이 2ln(C_K C_A)를 초과하면 상태 ρ는 명백히 엔트로피 상태로 선언되며, 이는 유한정지 기준을 제공한다.
• 이 방법은 정확한 기준이 실패하는 고차원 시스템에서도 허용 오차 κ 내에서 분리 가능성을 결정할 수 있는 유한단계 알고리즘을 제공한다.