양자 워셀스테인 거리에서 n‑큐빗 상태공간의 등거리 변환은 위거 대칭이다

초록

본 논문은 대칭 전송 비용(파울리 연산자의 모든 텐서곱)으로 정의된 양자 워셀스테인 거리에 대해 n‑큐빗 상태공간의 모든 등거리 변환을 규명한다. 주요 결과는 이러한 등거리 변환이 정확히 위거 대칭, 즉 어떤 유니터리 혹은 안티유니터리 연산자 U에 대해 ρ↦U ρ U† 형태로 표현되는 변환뿐이라는 것이다.

상세 분석

논문은 먼저 양자 최적 수송 이론의 배경을 소개하고, 특히 De Palma‑Trevizan이 제시한 양자 커플링과 비용 연산자 C_A 를 이용해 양자 워셀스테인 거리 D_A 를 정의한다. 여기서 관심 대상은 n‑큐빗 시스템 H=ℂ^{2^n} 위의 관측량 집합 A가 모든 파울리 연산자 σ_m(i) (m∈{0,1,2,3}, i=1,…,n)의 텐서곱으로 이루어진 경우이다. 이 경우 비용 연산자는
C_sym,n = Σ_{m∈{0,1,2,3}^n} (⊗{i=1}^n σ{m(i)} ⊗ I – I ⊗ ⊗{i=1}^n σ{m(i)}^T)^2
이며, Proposition 2를 통해 C_sym,n 이 2^{2n+1}·I – 2^n·|I⟩⟨I| 형태의 투영 연산자임을 보인다. 따라서 C_sym,n 은 모든 파울리 텐서곱을 공통 고유벡터로 갖는 동시에 고유값이 두 종류(0과 양의 상수)만을 가진다.

이러한 스펙트럼 구조는 등거리 변환 Φ가 고유공간을 보존해야 함을 의미한다. 특히, 순수 상태 |ψ⟩⟨ψ| 사이의 거리 D_sym,n 은 해당 상태들의 파울리 기대값 벡터 v(ψ)∈ℝ^{4^n} 사이의 유클리드 거리와 정확히 일치한다(정규화 상수 차이 제외). 따라서 Φ가 거리 보존이면 v(ψ)를 보존하는 선형(또는 반선형) 변환이어야 하며, 이는 결국 파울리 연산자들의 알제브라를 보존하는 자동사상에 해당한다.

Wigner의 정리에 의해, 파울리 연산자들의 전체 집합을 보존하는 모든(반)선형 자동사상은 유니터리 혹은 안티유니터리 연산자 U에 의해 구현된다. 즉, Φ(ρ)=U ρ U† 형태가 필요하고 충분함을 보인다. 논문은 또한 비가역적·비연속적 등거리 변환이 존재하지 않음을, 거리 자체가 진정한 메트릭이 아니더라도 스펙트럼 구조가 강력한 제약을 가함을 강조한다.

결과적으로, n‑큐빗 시스템에 대해 대칭 전송 비용을 사용한 양자 워셀스테인 거리의 등거리군은 정확히 위거 군(Wigner group)이며, 이는 고전적인 위거 정리의 양자 최적 수송 버전이라고 볼 수 있다.