[논문 리뷰] Schmidt balls around the identity

Lieven Clarisse|arXiv (Cornell University)|2005. 12. 01.

Quantum Information and Cryptography인용 수 5

한 줄 요약

이 논문은 순수 상태가 항등원과 혼합될 때 얼마나 많은 얽힘을 유지하는지 측정하기 위해 슈미트 강성도와 무작위 슈미트 강성도를 도입한다. 이러한 측정치에 대해 날카운 상한과 하한을 제공하며, 무작위 슈미트-2 강성도의 상한을 통해 단순한 정련 가능성 기준을 도출한다. 또한 두 가지 추측을 제기한다: 하나는 항등원 중심의 슈미트 수 $n$ 공의 최대 반경에 관한 것이고, 다른 하나는 수치적 증거와 해석적 유도를 바탕으로 한 순수 상태에 대한 최적 슈미트 위저의 존재성에 관한 것이다.

ABSTRACT

Robustness measures as introduced by Vidal and Tarrach [PRA, 59, 141-155] quantify the extent to which entangled states remain entangled under mixing. Analogously, we introduce here the Schmidt robustness and the random Schmidt robustness. The latter notion is closely related to the construction of Schmidt balls around the identity. We analyse the situation for pure states and provide non-trivial upper and lower bounds. Upper bounds to the random Schmidt-2 robustness allow us to construct a particularly simple distillability criterion. We present two conjectures, the first one is related to the radius of inner balls around the identity in the convex set of Schmidt number n-states. We also conjecture a class of optimal Schmidt witnesses for pure states.

연구 동기 및 목표

• 순수 상태에 대한 슈미트 강성도와 무작위 슈미트 강성도를 정의하고 분석하여 얽힘 측정치로 활용하는 것.
• 이 강성도 측정치에 대한 비자명한 상한과 하한을 확립하는 것.
• 무작위 슈미트-2 강성도의 상한을 바탕으로 단순한 정련 가능성 기준을 도출하는 것.
• 상태 공간 내 항등원 중심의 슈미트 수 $n$ 상태로 이루어진 공의 최대 반경을 추측하는 것.
• 수치적 및 해석적 증거에 기반하여 필터링 연산을 통해 기초 위저를 변형하여 얻어진 순수 상태에 대한 최적 슈미트 위저의 클래스를 제안하는 것.

제안 방법

• 표준 강성도의 일반화로써 슈미트 강성도를 도입하여, 어떤 상태가 분리 가능해지기 위해 필요한 최소한의 슈미트 수 $n$ 상태와의 혼합을 측정한다.
• 무작위 슈미트 강성도를 정의하여, 어떤 상태의 슈미트 수를 $n$으로 낮추기 위해 필요한 항등원 연산과의 최소 혼합을 측정하며, 이를 항등원 중심의 슈미트 공 생성과 연결한다.
• 순수 상태의 슈미트 분해를 활용하여 강성도를 슈미트 계수 $a_i$로 표현하고, 표준 및 무작위 강성도에 대한 정확한 표현식을 유도한다.
• 얽힘 위저 이론을 적용하여 강성도를 추적 기능과 연결하고, 필터링 연산과 대각 행렬을 통해 후보 최적 위저를 구성한다.
• 정규화된 슈미트 수 $n+1$ 위저를 사용하여 무작위 슈미트 강성도의 하한을 유도하며, 정규화 조건이 있는 계수 $a_i$에 대한 최대화 문제를 도출한다.
• 수치 최적화를 활용하여 하한 표현식을 평가하고, 작은 차원에서 특정 변환에 대해 불변성을 확인함으로써 최적 위저의 추측을 뒷받침한다.

실험 결과

연구 질문

• RQ1 순수 이변량 상태에 대한 무작위 슈미트 강성도의 가장 날카운 상한과 하한은 무엇인가?
• RQ2 무작위 슈미트-2 강성도가 단순하고 효과적인 정련 가능성 기준을 도출할 수 있도록 어떻게 경계를 설정할 수 있는가?
• RQ3 항등원 중심의 슈미트 수 $n$ 상태로 이루어진 공의 최대 반경은 무엇이며, 이는 얽힘의 구조와 어떻게 관련되는가?
• RQ4 순수 상태에 대한 보편적인 최적 슈미트 위저 클래스가 존재하는가? 그리고 이러한 위저는 기초 위저에 대한 필터링 연산을 통해 구성될 수 있는가?
• RQ5 무작위 슈미트 강성도의 하한 표현식에서의 최대화 문제는 슈미트 계수만을 사용하여 해석적으로 해결할 수 있는가?

주요 결과

• 순수 상태 $|\psi\rangle = \sum_i a_i |ii\rangle$의 표준 강성도 $R_s(\psi)$와 일반화된 강성도 $R_g(\psi)$는 서로 같으며, $R_s(\psi) = (\sum_i a_i)^2 - 1$로 주어지며, 이 경계를 달성하는 명시적인 분리 가능 상태 $\rho_s$가 존재한다.
• 순수 상태의 무작위 강성도 $R_r(\psi)$는 두 번째로 큰 슈미트 계수의 곱인 $a_1 a_2$로 정확히 주어진다.
• 무작위 슈미트-2 강성도에 대한 상한은 단순한 정련 가능성 기준을 이끌어낸다: $\rho^{T_B}$가 고유값 $\lambda \leq -1/14$를 가질 경우, $\rho$는 정련 가능하다.
• 논문은 항등원 중심의 슈미트 수 $k+1$ 공의 최대 반경 $\beta$에 대해 $\beta \leq 2(2k^2 - 1)$라는 추측을 제기하며, 이는 $2k \otimes 2k$ 차원에서 최대 얽힘 상태와 혼합함으로써 등호가 달성될 수 있음을 보여준다.
• 필터링 및 대각 연산을 통해 유도된 위저 클래스는 현재 알려진 바 중 가장 날카운 하한을 제공하며, 저자들은 이들이 계수 $a_i$에 대한 최대화를 통해 $R_{rn}(\psi)$의 정확한 값을 도출할 수 있다고 추측한다. ($\sum a_i^2 = 1$ 조건 하에)
• $d=3,4$ 및 $n=2,3$에 대한 수치 결과는, 대각 행렬 $A$를 사용한 위저 클래스 $(A\otimes A)W_{n+1}(A\otimes A)^\dagger$가 충분함을 시사하며, 더 일반적인 $A,B$는 위저 성능을 향상시키지 못할 것임을 시사한다.