고정 스펙트럼에서 최대 얽힘 혼합 상태는 존재하지 않는다

초록

본 논문은 두 큐비트 시스템에서 스펙트럼이 고정된 경우, 순수 상태를 제외한 모든 랭크(2, 3, 4)에서 “최대 얽힘 상태”(MEMS)가 존재하지 않음을 증명한다. 이를 위해 LOCC의 완화된 변환 집합인 SEP와 NE 맵을 이용해 선형계획법으로 변환 가능성을 분석하고, 기존 연구에서 제시된 특정 스펙트럼에 대한 부정 결과를 일반화한다. 결과적으로 고정 스펙트럼 내에서 보편적인 최대 얽힘 상태는 존재하지 않으며, 얽힘 최적화는 스펙트럼에 따라 과업 의존적으로 달라져야 함을 시사한다.

상세 분석

이 연구는 두 큐비트 시스템 D = ℂ²⊗ℂ²에서 스펙트럼 λ = (λ₁,λ₂,λ₃,λ₄) (내림차순 정렬)으로 정의된 집합 S(λ) = {ρ∈D | eig(ρ)=λ} 내에 “최대 얽힘 상태”가 존재하는지를 탐구한다. 기존 문헌에서는 순수 상태(λ = (1,0,0,0))에 대해서만 전역적인 최대 얽힘 상태 |Φ⁺⟩가 존재함을 알고 있다. 최근 PRL 133, 050202(2024)에서는 랭크‑2 경우 중 특정 스펙트럼 (λ,1‑λ,0,0) (λ∈(2/3,1))에 대해 NE(Non‑Entangling) 맵을 이용해 최대 얽힘 상태가 존재하지 않음을 보였다.

본 논문은 그 결과를 크게 두 축으로 확장한다. 첫 번째는 SEP(separable) 맵을 이용한 접근이다. SEP는 LOCC보다 넓은 변환 클래스이지만, 여전히 양자 얽힘을 생성하지 못한다. 저자들은 MEMS라 불리는 후보 상태 ρ_λ = ∑_{i=1}^4 λ_i ξ_i (여기서 ξ₁=Φ₁, ξ₂=|01⟩⟨01|, ξ₃=Φ₂, ξ₄=|10⟩⟨10|)와 동일 스펙트럼을 갖는 임의의 상태 σ를 비교한다. SEP 변환 가능성을 판단하기 위해 PPT(Positive Partial Transpose) 조건과 양자 상대 엔트로피 등의 불변량을 활용한다. 그 결과, 랭크‑2와 랭크‑3 경우(즉, λ₄=0이면서 λ₂≠0인 경우)에서는 어떤 σ도 SEP를 통해 ρ_λ에서 얻을 수 없으며, 따라서 S(λ) 내에 전역적인 최대 얽힘 상태가 존재하지 않음을 증명한다.

두 번째 축은 기존 연구와 동일한 NE 맵을 활용하되, 변환 가능성을 선형계획(LP) 형태로 정형화한다. NE 맵은 “입력이 분리 가능하면 출력도 분리 가능”이라는 조건만을 만족하므로 가장 관대한 변환 클래스이다. 저자들은 ρ_λ→σ 변환을 위한 LP의 제약식으로 (i) 스펙트럼 보존, (ii) 출력이 분리 가능해야 함, (iii) Kraus 연산자의 텐서곱 구조를 반영한 선형 제약을 도입한다. LP를 수치적으로 해결함으로써, 랭크‑4(전 완전한) 경우에도 λ₁>λ₂>λ₃>λ₄인 대부분의 스펙트럼에 대해 변환이 불가능함을 확인한다. 특히, λ₁‑λ₃‑2√(λ₂λ₄) > 0인 “얽힘이 존재하는” 영역에서는 MEMS가 유일한 후보였음에도 불구하고, NE 변환이 차단되는 구간이 넓게 존재한다는 점을 발견했다.

핵심적인 기술적 통찰은 다음과 같다. (1) SEP와 NE는 각각 LOCC보다 엄격히 넓은 집합이지만, 두 경우 모두 특정 스펙트럼에 대해 변환 불가능성을 보이는 것이 가능하다. (2) 변환 불가능성은 단순히 한 개의 얽힘 측정값이 다르다는 것이 아니라, 변환 전후의 양자 상태가 서로 다른 “LOCC 불변량”(예: PPT 조건, 상대 엔트로피, 스펙트럼 순서)들을 동시에 만족하지 못함을 의미한다. (3) 선형계획을 통한 NE 변환 검증은 기존에 복잡한 비선형 최적화 문제를 회피하고, 전산적으로 광범위한 스펙트럼을 탐색할 수 있게 한다.

결과적으로, 순수 상태를 제외한 모든 고정 스펙트럼 집합 S(λ)에서는 보편적인 “최대 얽힘 상태”가 존재하지 않으며, 얽힘 최적화는 특정 작업(예: 텔레포테이션, 상태 구별 등)에 맞춰 개별적으로 설계해야 함을 강조한다. 이는 양자 통신·컴퓨팅 프로토콜 설계 시, 장치가 생성할 수 있는 스펙트럼을 사전에 고려하고, 그에 맞는 맞춤형 얽힘 자원을 선택해야 함을 시사한다.