Relations between different definitions of the quantum Wasserstein distance for qubits

본 논문은 Golse 등 및 De Palma와 Trevisan이 정의한 큐비트의 양자 워터스타인 거리가 비용 함수가 단일 연산자를 포함할 때 일치함을 보여주며, 이는 이러한 상황에서 자기 거리가 위그너-야나세 편향 정보와 같음을 시사한다.

핵심

두 개의 서로 다른 양자 상태 사이의 '거리'를 측정하려고 한다고 상상해 보세요. 고전 세계에서는 모래 더미를 새로운 형태로 옮기고 싶을 때, '워asserstein 거리'(종종 지구 이송 거리라고 불림) 는 첫 번째 형태에서 두 번째 형태로 알갱이를 옮기는 데 필요한 최소한의 일량을 의미합니다. 두 형태가 동일하다면 필요한 일량은 0 입니다.

하지만 양자 세계에서는 상황이 이상해집니다. 양자 상태는 흐릿하고 확률적이며 '얽힘' 상태가 될 수 있기 때문입니다. 이로 인해 물리학자들은 이 양자 거리를 계산하는 여러 가지 서로 다른 방법을 고안해 냈습니다. 이러한 서로 다른 방법들을 동일한 신비로운 섬을 매핑하려는 서로 다른 지도 제작 팀들로 생각해보세요. 그들은 모두 서로 다른 도구와 규칙을 사용하므로 종종 약간 다른 지도를 만들어냅니다.

이 논문은 두 가지 특정 지도 제작 팀에 관한 것입니다:

1. GMPC 팀: Golse, Mouhot, Paul, Caglioti 가 이끄는 팀.
2. DPT 팀: De Palma 와 Trevisan 이 이끄는 팀.

두 팀 모두 두 개의 양자 상태 (이를 '상태 A'와 '상태 B'라고 부르겠습니다) 사이의 거리를 측정하려고 합니다. 그들은 두 상태를 최소한의 '비용'으로 연결하는 특별한 '다리'(결합이라고 불리는 수학적 객체) 를 찾습니다. 그러나 그들은 '비용'을 약간 다르게 정의합니다.

큰 발견: 단일 큐비트에서는 일치합니다

이 논문의 저자, 게자 토트 (Géza Tóth) 와 요제프 피트릭 (József Pitrik) 은 가장 간단한 양자 시스템인 큐비트에 집중했습니다. 큐비트는 앞면, 뒷면, 또는 둘 다의 흐릿한 혼합 상태가 될 수 있는 단일 양자 동전으로 생각할 수 있습니다.

그들은 간단한 질문을 던졌습니다: 우리가 단일 큐비트만 다루고 하나의 특정 '규칙'(하나의 연산자) 에 기반하여 거리를 측정한다면, 이 두 다른 팀이 동일한 답을 얻을까요?

답은 '예'입니다.

이 논문은 단일 큐비트의 경우, 거리를 측정하는 데 하나의 규칙만 사용한다면 GMPC 지도와 DPT 지도가 동일함을 증명합니다. 양자 거리의 두 가지 서로 다른 정의가 하나로 수렴합니다.

왜 이것이 놀라운가요? ('자기-거리' 퍼즐)

고전 세계에서는 한 점에서 자기 자신까지의 거리는 항상 0 입니다. 파리에 서 있다면 파리에서 파리까지의 거리는 0 입니다.

하지만 양자 세계에서는 상태가 0 이 아닌 '자기-거리'를 가질 수 있습니다. 이는 현재 흐릿한 상태의 양자 동전을 정확히 동일한 흐릿한 상태로 옮기려고 해도 여전히 일정한 '일량'이 든다고 말하는 것과 같습니다.

이 논문은 흥미로운 연결점을 강조합니다:

• DPT 팀은 이미 이 '자기-거리'가 수학적으로 **위그너 - 야나세 비대칭 정보 (Wigner-Yanase skew information)**라는 양과 같다는 것을 발견했습니다. 이는 해당 특정 규칙에 대해 상태 내부에 숨겨진 '양자 불확실성'이나 '정보'의 정도를 측정하는 것이라고 생각해보세요.
• 저자들이 두 팀이 단일 큐비트에서 일치함을 증명했기 때문에, 이제 다음과 같이 말할 수 있습니다: GMPC 팀의 '자기-거리' 또한 이 위그너 - 야나세 비대칭 정보와 같습니다.

마법 같은 트릭: 모든 것을 실수로 만들기

그들은 어떻게 이를 증명했을까요? 그들은 교묘한 수학적 '마법 트릭'을 사용했습니다.

양자 상태와 규칙 (연산자) 이 허수수를 포함하는 복잡한 언어로 쓰여 있다고 상상해 보세요. 저자들은 단일 큐비트의 경우, 모든 숫자가 '실수'(허수 부분이 없음) 가 되도록 전체 시스템을 회전시킬 수 있음을 보였습니다 (지구본을 회전시키는 것처럼).

모든 것이 '실수'가 되면, 두 팀이 사용하는 서로 다른 정의들이 수학적으로 동일함이 드러납니다. 이는 한 사람은 청사진을, 다른 사람은 3D 모델을 사용하여 건물을 설명하는 두 사람이 사실은 건물의 같은 면을 보고 있음을 깨닫게 되면 정확히 동일한 구조를 설명하고 있음을 깨닫는 것과 같습니다.

이것이 논문의 나머지 부분에 무엇을 의미할까요?

저자들은 스핀 사슬(긴 양자 자석 줄) 을 연구하는 물리학자들에게 실용적인 결과를 지적합니다. 단일 큐비트의 경우 두 거리 정의가 동일함이 이제 알려졌기 때문에, 물리학자들은 이러한 자기 시스템의 에너지를 계산하기 위해 한 팀의 더 간단한 공식을 사용할 수 있습니다. 구체적으로, 그들은 시스템의 최소 에너지를 위그너 - 야나세 비대칭 정보와 연관시킬 수 있으며, 일반적으로 수학을 복잡하게 만드는 복잡한 '전치' 연산을 걱정할 필요가 없습니다.

요약

• 문제: 물리학자들은 양자 세계에서 거리를 측정하는 두 가지 다른 방법을 가지고 있었으며, 그들이 일치하는지 명확하지 않았습니다.
• 해결책: 가장 간단한 양자 객체 (단일 큐비트) 와 단일 측정 규칙에 대해 두 방법은 정확히 동일합니다.
• 결과: 이는 어떤 수학적 정의를 사용하든 양자 상태가 자기 자신으로 이동하는 '비용'이 양자 정보의 근본적인 측정치 (위그너 - 야나세 비대칭 정보) 임을 확인시켜 줍니다.
• 한계: 이 일치는 단일 큐비트와 단일 연산자에 대해 구체적으로 증명되었습니다. 이 논문은 복잡하고 다중 큐비트 시스템이나 여러 연산자에 대해서도 이것이 성립한다고 주장하지 않습니다.

간단히 말해, 이 논문은 가장 간단한 경우에 대해 양자 수송의 두 가지 서로 다른 언어를 통합하여, 그들이 사실은 같은 것을 말하는 서로 다른 방식임을 보여줍니다.

기술 요약

기술적 요약: 큐비트에 대한 양자 와asserstein 거리의 서로 다른 정의들 간의 관계

문제 제기
양자 최적 수송 분야는 서로 다른 물리적 해석 (예: 준고전적 극한, 자유 확률, 동역학적 해석, 또는 양자 채널 형식주의) 에 기반하여 양자 와asserstein 거리의 여러 가지 명확히 구분된 정의를 생성해 왔습니다. 두 가지 주목할 만한 정의는 다음과 같습니다:

1. GMPC 거리: Golse, Mouhot, Paul, Caglioti (GMPC) 에 의해 정의되었으며, 고정된 주변분포를 가진 이분자 상태에 대한 비용 함수의 최적화에 기반합니다.
2. DPT 거리: De Palma 와 Trevisan (DPT) 에 의해 정의되었으며, 이 또한 이분자 상태 (결합) 에 대한 최적화에 기반하지만 행렬 전치를 포함하는 다른 비용 함수를 활용합니다.

DPT 정의에 대한 자기-거리 (상태와 자신 사이의 거리) 가 Wigner–Yanase 비대칭 정보의 합과 같다는 것은 알려져 있었으나, GMPC 와 DPT 정의 간의 관계는 불명확한 채로 남아 있었습니다. 구체적으로, 이 두 정의가 일반적인 양자 상태에 대해 일치하는지, 그리고 만약 그렇다면 어떤 조건 하에서 일치하는지 알려지지 않았습니다. 이전 결과들은 분리가능성 기반의 양자 와asserstein 거리가 두 정의 모두에 대한 상한선 역할을 한다는 것을 확립했으나, 직접적인 동등성은 증명되지 않았습니다.

방법론
저자들은 단일 큐비트 시스템 (단일 큐비트 상태) 과 비용 함수 내 단일 연산자 ($N=1$) 에 대해 제곱된 GMPC 거리 $D_{GMPC}^2(\varrho, \sigma)$와 제곱된 DPT 거리 $D_{DPT}^2(\varrho, \sigma)$ 간의 관계를 조사합니다.

그들의 방법론의 핵심은 Lemma 1에 요약된 유니타리 변환 논거에 의존합니다. 저자들은 임의의 단일 큐비트 에르미트 연산자 $H$와 임의의 단일 큐비트 밀도 행렬 $\varrho$에 대해, 변환된 연산자 $H' = UHU^\dagger$와 변환된 상태 $\varrho' = U\varrho U^\dagger$가 모두 실수 행렬이 되는 유니타리 연산자 $U$가 존재함을 증명합니다.

이 보조정리를 사용하여 저자들은 두 거리를 정의하는 최적화 문제들이 서로 매핑될 수 있음을 보여줍니다. 그들은 비용 함수의 구조 맥락에서 실수 행렬에 대한 전치 연산이 항등 연산과 동등하다는 성질을 활용함으로써, DPT 공식화에서 전치의 존재로 인해 차이가 발생했던 정의들 간의 간극을 연결합니다.

주요 기여 및 결과

1. 큐비트에 대한 동등성: 이 논문의 주요 결과 (Theorem 1) 는 단일 큐비트 상태 $\varrho$와 $\sigma$ 및 단일 연산자 $H_1$에 대해 두 접근법으로 정의된 제곱 거리가 동일함을 확립합니다:
   $$D_{DPT}^2(\varrho, \sigma) = D_{GMPC}^2(\varrho, \sigma)$$
   이 등식은 특정 상태 부분집합뿐만 아니라 큐비트에 대해 일반적으로 성립합니다.

2. 자기-거리에 대한 함의: 이 동등성의 직접적인 결과로서, GMPC 정의에 대한 자기-거리 ($N=1$인 경우) 가 Wigner–Yanase 비대칭 정보 $I_\varrho(H_1)$와 같음이 보입니다. 이는 GMPC 거리가 DPT 정의에서 발견된 양자 추정 이론과의 심오한 연결을 공유함을 확인시켜 줍니다.

3. 스핀 사슬 에너지 관계: 저자들은 스핀 사슬 계산에 대한 결과를 유도합니다. 그들은 단일 연산자 $H_1$과 주어진 주변분포를 가진 강자성 모델의 바닥 상태 에너지가 다음 공식을 통해 Wigner–Yanase 비대칭 정보와 직접적으로 관련될 수 있음을 보여줍니다:
   $$\min_{\varrho_{12}} \text{Tr}[-(H_1 \otimes H_1)\varrho_{12}] = I_\varrho(H_1) - \langle H_1^2 \rangle_\varrho$$
   주목할 점은 이 공식은 행렬 전치를 요구하지 않으므로, 큐비트에 대한 에너지 최소화와 비대칭 정보 간의 연결을 단순화한다는 것입니다.

의의 및 주장
이 논문은 단일 비용 연산자를 가진 큐비트라는 구체적이지만 근본적인 사례에서 양자 와asserstein 거리의 두 가지 주요 정의 간의 모호성을 해결했다고 주장합니다. 그들의 동등성을 증명함으로써, 이 연구는 이 영역에 대한 정적 해석 (GMPC) 과 양자 채널 해석 (DPT) 을 통합합니다.

저자들은 이 결과가 양자 와asserstein 거리를 양자 물리학과 추정 이론의 근본적인 양, 특히 Wigner–Yanase 비대칭 정보와 연결한다고 강조합니다. 그들은 고전적 최적 수송에서 자기-거리는 항상 0 이지만, 양자 경우의 0 이 아닌 자기-거리 (비대칭 정보와 같음) 는 양자 최적 수송의 독특한 특징임을 지적합니다. 이 논문은 큐비트와 단일 연산자로 범위를 겸손하게 제한하며, $N \geq 2$이거나 고차원 시스템의 경우 관계가 다를 수 있으며 양자 피셔 정보와 관련된 이전의 상한선들이 여전히 관련이 있음을 인정합니다. 이 연구는 새로운 실험 설정을 제안하기보다는 기존 정의들의 이론적 지형을 명확히 합니다.