Quantum Wasserstein distance and its relation to several types of fidelities

두 개의 서로 다른 양자 상태 사이의 "거리"를 측정하려고 상상해 보세요. 고전 세계에서는 두 개의 모래 더미 (서로 다른 물질 분포를 나타냄) 가 있을 때, "워asserstein 거리"는 한 더미에서 다른 더미로 모래를 옮기는 데 필요한 최소한의 일을 의미합니다. 이는 두 가지가 얼마나 다른지를 말해주는 매우 유용한 방법입니다.

양자 세계에서는 상황이 까다로워집니다. 양자 상태는 고체 모래 더미가 아니라 확률의 구름과 같습니다. 과학자들은 이러한 양자 구름 사이의 "거리"를 측정하는 여러 가지 방법을 고안해 냈지만, 종종 이러한 구름을 단일하고 분리 불가능한 전체로 취급하는 복잡한 수학을 사용합니다.

G´eza T´oth와 J´ozsef Pitrik이 쓴 이 논문은 간단하지만 심오한 질문을 던집니다: 만약 우리가 이러한 양자 구름을 분리 불가능한 전체로 취급하는 것을 멈추고, 대신 단순하고 분리된 조각들의 집합으로 본다면 어떻게 될까요?

일상적인 비유를 사용하여 그들의 발견을 다음과 같이 정리해 보겠습니다:

1. 두 가지 주요 접근법: "통째로 된 케이크" 대 "분리된 조각"

저자들은 양자 거리의 기존 정의들을 살펴보았습니다.

"통째로 된 케이크" 접근법: 일부 정의는 두 양자 상태가 복잡하게 얽힌 방식으로 연결되어 있다고 가정합니다 (자르지 못하는 케이크와 같습니다). 이것이 표준적이고 복잡한 방식입니다.
"분리된 조각" 접근법: 저자들은 "만약 거리 계산에 '분리 가능한' 상태만을 사용하도록 강제한다면 어떨까요?"라고 물었습니다. 분리 가능한 상태를 서로 붙어 있지만 서로 붙어 있지 않은 두 개의 케이크로 생각하세요. 그들은 단순히 독립적인 조각들의 단순한 혼합물일 뿐입니다.

2. 큰 발견: 점들을 연결하다

저자들은 수학이 이러한 "분리된 조각"을 사용하도록 강제할 때, 복잡하고 서로 다르게 보이는 많은 거리 공식들이 실제로 동일한 것이라는 것을 발견했습니다.

비유: 케이크를 만드는 세 가지 다른 레시피가 있다고 상상해 보세요. 하나는 "밀가루", 다른 하나는 "밀 가루", 또 다른 하나는 "분쇄된 곡물"을 요구합니다. 소리는 다르게 들립니다. 하지만 밀가루, 밀 가루, 분쇄된 곡물이 모두 같은 재료에 대한 다른 이름일 뿐임을 깨닫는다면, 세 가지 레시피가 실제로는 정확히 같은 케이크를 만들고 있다는 것을 알게 됩니다.
결과: 이 논문은 여러 가지 다른 양자 거리 공식이 "분리 가능한" 상태로 단순화될 때 수학적으로 동일함을 증명합니다. 이는 이전에는 관련이 없어 보였던 양자 물리학의 서로 다른 분야들을 연결합니다.

3. "자기 자신과의 거리" 미스터리

고전 물리학에서 물체와 그 자체 사이의 거리는 항상 0 입니다. 집에서 집까지 거리를 재면 0 마일입니다.

그러나 일부 양자 정의에서는 상태와 그 자체 사이의 거리가 0 이 아닙니다. 마치 당신의 집이 자기 자신으로부터 5 마일 떨어져 있다고 말하는 것과 같습니다.

이 논문은 "분리된 조각" 방법을 사용하면 두 가지 유형의 결과를 얻을 수 있음을 보여줍니다:
1. 0 이 아닌 자기 자신과의 거리: 상태가 자기 자신으로부터 "멀다" (이는 시스템의 변화에 대한 민감도를 측정하는 "양자 피셔 정보"와 관련이 있습니다).
2. 0 인 자기 자신과의 거리: 상태가 자기 자신과 완벽하게 가깝다 (이는 "Trace Distance"와 "SWAP-fidelity"와 관련이 있습니다).

저자들은 이러한 두 가지 다른 결과가 "분리된 조각" 수학을 설정하는 두 가지 약간 다른 방식에서 비롯됨을 보였습니다.

4. "마법 거울" (Fidelity)

양자 물리학에서 가장 유명한 도구 중 하나는 Fidelity라고 불립니다. 이는 두 양자 상태 사이의 "유사성 점수"와 같습니다. 점수가 1 이면 동일하고, 0 이면 완전히 다릅니다.

저자들은 이 점수를 계산하는 놀라운 새로운 방법을 발견했습니다. 그들은 "유사성 점수"(구체적으로 Uhlmann-Jozsa fidelity 의 제곱근) 가 상태를 "분리된 조각"으로 분해할 수 있는 모든 가능한 방법을 살펴보고 가장 잘 맞는 것을 찾아서 계산할 수 있음을 증명했습니다.

비유: 두 개의 복잡한 그림이 얼마나 비슷한지 알고 싶다고 상상해 보세요. 전체 캔버스를 보는 대신 두 그림 모두를 수천 개의 작고 분리된 붓질로 분해합니다. 그런 다음 그림 A 의 붓질을 그림 B 의 가장 잘 맞는 붓질과 짝지어 보려고 합니다. 저자들은 이를 완벽하게 수행하면 가장 복잡하고 고차원적인 방법과 정확히 같은 유사성 점수를 얻는다는 것을 증명했습니다.

5. 삼각형 규칙

기하학에서 "삼각형 부등식"은 A 지점에서 B 지점으로 가고, 그 다음 B 에서 C 로 갈 때, 총 거리는 A 에서 C 로 직접 가는 것보다 짧을 수 없다고 말합니다. (세 번째 지점에 멈추면서 단축할 수는 없습니다).

저자들은 이러한 새로운 "분리 가능한" 거리 측정 중 일부에 대해 이 규칙이 상태 중 하나가 "순수한" 상태일 때 (피아노의 단일하고 맑은 음과 같은 단순하고 혼합되지 않은 상태) 성립함을 증명했습니다. 상태가 엉망인 혼합물인 경우 규칙을 증명하기는 더 어렵지만, 그들은 그곳에서도 아마도 성립할 것이라는 강력한 증거를 발견했습니다.

6. 큐비트 (이준위 시스템) 의 특별한 경우

가장 간단한 양자 시스템 (동전처럼 앞면, 뒷면, 또는 둘 다의 혼합이 될 수 있는 큐비트라고 불리는) 의 경우, 저자들은 완벽한 일치를 발견했습니다.

그들은 큐비트의 경우 "분리 가능한" 거리 측정치가 표준 "유사성 점수"(Fidelity) 와 정확히 같음을 보였습니다.
비유: 작은 단순한 물체의 경우, 복잡한 "모래를 옮기는 데 필요한 일" 공식이 단순한 "얼마나 닮았는가" 공식과 정확히 같다는 것을 발견한 것과 같습니다.

요약

이 논문은 본질적으로 통합 프로젝트입니다. "양자 거리"에 대한 여러 복잡하고 고차원적인 정의를 취하여 "분리 가능한 상태"(단순하고 얽히지 않은 조각) 라는 렌즈를 통해 바라보면, 이들이 몇 가지 기본적이고 동일한 개념으로 수렴됨을 보여줍니다.

그들은 양자 워asserstein 거리(수송 비용) 를 양자 Fidelity(유사성 점수) 와 연결했습니다.
그들은 간단한 시스템 (큐비트) 의 경우 이러한 개념들이 수학적으로 동일함을 보였습니다.
그들은 복잡한 양자 상태를 더 단순하고 분리 가능한 부분으로 분해함으로써 이러한 거리를 계산하는 새로운, 더 간단한 방법을 제공했습니다.

저자들은 이 논문에서 의학적 응용이나 미래 기술에 대해 논의하지 않았습니다. 그들의 목표는 순수하게 이러한 서로 다른 양자 차이 측정 방법들 사이의 수학적 관계를 명확히 하는 것이었습니다.

기술적 요약: 양자 와세르슈타인 거리와 여러 유형의 충실도 간의 관계

문제 제기
본 논문은 양자 최적 수송의 핵심 개념인 양자 와세르슈타인 거리에 대한 정의의 난립을 다룹니다. 문헌에는 양자 채널에 기반한 접근법 (De Palma 와 Trevisan), 정적 해석 (Golse, Mouhot, Paul, Caglioti), 그리고 SWAP 연산자 또는 반대칭 비용을 포함하는 비용 함수에 기반한 다양한 접근법이 존재합니다. 주요 과제는 이러한 서로 다른 정의들이 근본적으로 관련되어 있는지, 아니면 통합될 수 있는지를 규명하는 것입니다. 구체적으로, 저자들은 이러한 거리 정의에서의 최적화를 모든 물리적 이분 양자 상태의 집합에서 **분리 가능 상태 (separable states)**의 부분 집합으로 제한했을 때 얻어지는 양들을 조사합니다. 본 논문은 이러한 접근법들을 연결하고, 이들이 기본 유형으로 축소되는지 확인하며, 충실도 (fidelities) 와 양자 피셔 정보와 같은 확립된 양자 정보 측정치와의 관계를 탐구합니다.

방법론
저자들은 일반 상태 대신 분리 가능 상태에 대한 최적화를 수행함으로써 양자 와세르슈타인 거리의 여러 정의를 체계적으로 분석합니다. 방법론은 다음과 같습니다:

정의의 재구성: 기존 정의 (예: De Palma-Trevisan 유형, SWAP-충실도 기반) 를 취하고 제약 집합을 분리 가능 이분 양자 상태 ( $\varrho_{12} \in \text{Sep}$ ) 만 포함하도록 수정합니다.
볼록 지붕 (Convex Roof) 분석: 결과적으로 얻어지는 양들을 혼합 상태의 순수 곱 상태 (pure product states) 앙상블로 분해하는 최적화로 표현합니다. 이는 볼록 및 오목 지붕의 수학적 구조를 활용합니다.
해석적 증명: 새로운 분리 가능 상태 기반 양들과 Uhlmann-Jozsa 충실도, Bures 거리, 슈퍼충실도 (superfidelity) 와 같은 표준 측정치 사이의 등식과 부등식을 증명합니다.
특수 사례 분석: 상태 중 하나가 순수 상태인 경우, 관측 가능량의 완전한 집합 ($SU(d) $의 생성자) 을 사용하는 경우, 그리고 큐비트 시스템 ($ d=2$) 에 대한 특정 시나리오를 분석합니다.
수치적 검증: 두 큐비트의 경우 양의 부분 전치 (PPT) 상태 집합이 분리 가능 상태 집합과 일치한다는 사실을 활용하여 정확한 수치 해를 얻을 수 있는 반정부호 프로그래밍 (SDP) 을 사용하여 무작위 상태에 대한 이러한 거리를 계산합니다.

주요 기여 및 결과

접근법의 통합: 본 논문은 분리 가능 상태에 대한 최적화가 두 가지 주요 범주의 양으로 이어진다는 것을 보여줍니다:
1. 표준 De Palma-Trevisan 비용 함수에 기반한 것으로, 이는 0 이 아닌 자기 거리 (self-distance) 를 가질 수 있습니다.
2. 자기 거리를 뺀 수정된 비용 함수에 기반한 것으로, 이는 0 인 자기 거리를 산출합니다.
  저자들은 관측 가능량의 완전한 집합에 대해, 분리 가능 상태에 최적화된 수정된 De Palma-Trevisan 거리가 분리 가능 상태에 최적화된 추적 거리 (trace distance) 와 SWAP-충실도에 기반한 거리와 같음을 증명합니다.
충실도와의 관계:
- Uhlmann-Jozsa 충실도: Uhlmann-Jozsa 충실도의 제곱근, $\sqrt{F(\varrho, \sigma)}$ 는 분리 가능 상태에 대한 최적화로 표현될 수 있음이 증명되었습니다 (정리 1). 구체적으로, 이는 분해 내 순수 상태들의 중첩 (overlap) 에 대한 볼록 지붕입니다.
- SWAP-충실도: 분리 가능 상태에 최적화된 SWAP-충실도, $F_{S,sep}$ 는 순수 상태들의 제곱 중첩에 대한 볼록 지붕임이 밝혀졌습니다.
- 큐비트 등식: 큐비트 ( $d=2$ ) 의 경우, 저자들은 분리 가능 상태에 최적화된 SWAP-충실도가 Uhlmann-Jozsa 충실도와 정확히 같음을 증명했습니다 ( $F_{S,sep} = F$ ). 이는 큐비트에 대해 Uhlmann-Jozsa 충실도와 슈퍼충실도가 같다는 사실의 결과입니다.
삼각 부등식: 본 논문은 세 상태 중 하나가 순수 상태인 특정 경우에 대해, 분리 가능 상태 최적화에 기반한 수정된 양자 와세르슈타인 거리에 대해 삼각 부등식이 성립함을 증명합니다. 이는 순수 상태에 대한 거리가 삼각 부등식을 만족한다는 사실을 활용하고 볼록 지붕 구조를 통해 이를 확장함으로써 확립되었습니다.
양자 피셔 정보와의 연결: 분리 가능 상태 최적화된 De Palma-Trevisan 거리의 자기 거리는 양자 피셔 정보 (QFI) 와 관련이 있음이 밝혀졌습니다. 단일 연산자의 경우, 자기 거리는 $F_Q/4$ 와 같습니다. 본 논문은 Wigner-Yanase 편향 정보, QFI, 그리고 자기 거리들 사이의 관계를 규정한 경계들을 확립합니다.
다른 발산 (Divergences) 과의 관계: 저자들은 새로운 분리 가능 상태 기반 거리들을 Bures 거리, 슈퍼충실도, 그리고 다양한 양자 발산 (Jensen, Bregman, Tsallis) 과 연결하는 경계들을 유도하였으며, 이러한 거리들이 종종 이러한 다른 양들에 대한 상한 또는 하한으로 작용함을 보였습니다.

의의 및 주장
본 논문은 분리 가능 상태로 제한되었을 때 다양한 양자 와세르슈타인 거리 정의들이 종종 동일한 양으로 축소됨을 보여줌으로써, 이를 이해하기 위한 통합된 프레임워크를 제공한다고 주장합니다.

양자 와세르슈타인 거리와 양자 피셔 정보 사이의 직접적인 연결을 확립하여, 최적 수송 이론과 양자 계측학을 연결합니다.
Uhlmann-Jozsa 충실도가 분리 가능 상태에 대한 최적화로 공식화될 수 있음을 보여줌으로써, 이 근본적인 측정치에 대한 새로운 관점을 제시합니다.
큐비트의 경우 분리 가능 상태 SWAP-충실도가 Uhlmann-Jozsa 충실도와 같다는 결과는 2-레벨 시스템에 대한 이러한 거리들의 계산을 단순화합니다.
순수 상태를 포함하는 경우에 대한 삼각 부등식의 증명은 이러한 양들의 거리와 유사한 성질을 지지하지만, 논문은 임의의 혼합 상태에 대한 일반적인 삼각 부등식은 여전히 열린 질문이며 (수치적 증거는 지원되지만 모든 경우에 대해 엄밀하게 증명되지는 않음) 라고 지적합니다.

저자들은 이러한 발견들이 분리 가능 상태의 기하학을 통해 많은 거리 측정치들이 근본적으로 연결되어 있음을 밝혀냄으로써, 최적 수송, 얽힘 이론, 양자 계측학과 같은 겉보기에 무관한 양자 물리학 분야들을 연결한다고 결론지었습니다.