Folded optimal transport and its application to separable quantum optimal transport

이 논문은 초코테트 이론(Choquet theory)을 사용하여 비용 함수를 극단적인 경계에서 전체 볼록 집합으로 확장함으로써 고전적 최적 운송을 일반화하고, 순수 상태로부터 유도된 밀도 행렬에 대한 분리 가능한 양자 와서스테인 거리를 구축할 수 있게 하는 통합 프레임워크인 "폴디드 최적 운송(folded optimal transport)"을 소개한다.

핵심

개요: 단순한 것에서 복잡한 것으로의 이동

상상해 보세요. 여러분에게 순수하고 완벽한 재료(소금 한 알, 물 한 방울, 혹은 순수한 색깔과 같은 것)가 있습니다. 물리학의 세계에서는 이를 "순수 상태(pure states)"라고 부릅니다. 또한 이러한 재료들의 혼합물(소금과 후추를 섞은 한 꼬집, 혹은 회색조와 같은 것)도 있습니다. 이것들은 "혼합 상태(mixed states)"라고 불립니다.

이 논문은 근본적인 질문을 던집니다. 만약 우리가 하나의 순수한 재료에서 다른 순수한 재료로 이동하는 데 드는 "거리"나 "비용"을 알고 있다면, 한 혼합물에서 다른 혼합물로 이동하는 비용은 어떻게 계산할 수 있을까?

보통 고전 물리학(사과 상자를 옮기는 것과 같은 경우)에서는 혼합물이 단순히 단순한 평균값이기 때문에 이 작업이 쉽습니다. 하지만 양자 물리학에서는 상황이 이상해집니다. 혼합물은 "얽힐(entangled)" 수 있기 때문입니다(일상생활에는 존재하지 않는 방식으로 서로 뒤엉키는 현상). 이로 인해 혼합물을 이동시키는 수학적 계산은 매우 어려워집니다.

이 논문은 이 문제를 해결하기 위해 **"접힌 최적 운송(Folded Optimal Transport)"**이라는 새로운 수학적 도구를 소개합니다.

---

비유 1: "접힌" 지도

볼록 집합(convex set)(두 점 사이의 선을 그었을 때 선이 집합 내부에 머무는 모양)을 접힌 지도라고 생각해 봅시다.

• 가장자리: 이 지도의 "극단적 경계(extreme boundary)"는 순수 상태를 나타냅니다. 이들은 도형의 모서리들입니다.
• 중앙: 도형의 내부는 혼합 상태를 나타냅니다. 이들은 단지 모서리들의 조합일 뿐입니다.

표준 수학에서는 한 지점의 중앙에서 다른 지점으로 이동하려면 보통 새로운 규칙을 만들어내야 합니다. 하지만 이 논문은 이렇게 말합니다. "새로운 규칙을 만들지 마세요. 그냥 모서리들을 보세요."

이 방법은 다음과 같이 작동합니다:

1. 들어 올리기(Lift): 혼합 상태를 가져와서 그것이 만들어질 수 있는 모든 가능한 방식, 즉 순수한 모서리들로 다시 "펼친다(unfolding)"고 상상해 보세요.
2. 운송(Transport): 표준 규칙을 사용하여 순수한 모서리들 사이를 이동하는 비용을 계산합니다.
3. 접기(Fold): 지도를 다시 "접습니다." 혼합 상태를 이동시키는 비용은 그것을 구성하는 기저의 순수한 모서리들을 이동시키는 가장 저렴한 방법입니다.

저자들은 이를 **"접힌 최적 운송"**이라고 부릅니다. 왜냐하면 복잡한 혼합 상황을 가져와서, 그것을 단순한 가장자리로 펼치고, 수학적 계산을 수행한 뒤, 다시 접기 때문입니다.

비유 2: "최단 경로" vs "직접 경로"

이 논문은 이 접힌 세계에서 거리를 측정하는 두 가지 방식을 구분합니다.

1. "접힌 칸토로비치(Folded Kantorovich)" 거리 (직접 경로):
   혼합된 모래 더미(상태 A)를 다른 모래 더미(상태 B)로 옮기고 싶다고 가정해 봅시다. 여러분은 모래 더미 A의 모든 모래 알갱이를 살펴보고, 총 이동 거리를 최소화하기 위해 모래 더미 B의 어떤 알갱이와 짝을 맞출지 찾습니다.

   • 문제점: 때때로 A에서 B로 가는 직접적인 경로를 택하면 수학적으로 딱 맞아떨어지지 않을 때가 있습니다. 만약 A → B → C로 이동한다면, A에서 C까지의 비용이 C에서 B까지의 비용과 A에서 B까지의 비용의 합과 같지 않을 수 있습니다. 이는 마치 삼각형 부등식(가장 짧은 경로가 직선이라는 규칙)이 깨진 지도와 같습니다. 이를 **준거리(semi-distance)**라고 합니다.

2. "접힌 바세슈타인(Folded Wasserstein)" 거리 (최선의 경로):
   이 깨진 삼각형 규칙을 고치기 위해, 저자들은 이렇게 제안합니다. "좋습니다, 직접 경로가 이상하다면 우회로를 허용합시다."
   A에서 C로 가고 싶은데 직접 경로가 너무 비싸거나 문제가 있다면, A → B → C와 같은 우회 경로를 이용할 수 있습니다. 여러분은 전체 체인의 비용을 계산하고, 가장 저렴한 체인을 선택합니다.

   • 결과: 이는 우리가 일상생활에서 사용하는 거리(예: 도시 간 운전 거리)와 똑같이 작동하는 완벽하고 신뢰할 수 있는 **거리(metric)**를 만들어냅니다.

양자 응용: 가분성(Separable) vs 얽힘(Entangled)

이 논문은 이를 양자 역학에 구체적으로 적용합니다.

• 문제: 양자 물리학에서 입자들은 "얽힐" 수 있습니다. 즉, 입자들이 일반적인 논리를 거스르는 방식으로 연결될 수 있다는 뜻입니다. 두 양자 상태 사이의 거리를 계산하는 것은 이 기이한 얽힘 관계까지 고려해야 하므로 계산적으로 매우 힘든 작업입니다.
• 해결책 (가분적 운송): 저자들은 "가분적(Separable)" 양자 운송에 집중합니다. 이는 입자들이 서로 이상하게 얽혀 있지 않고, 그저 단순한 혼합물인 경우만을 고려한다는 의미입니다.
• 결과: 저자들은 자신들의 "접힌" 방법을 사용하여, 오직 순수 상태 사이의 거리만을 바탕으로 양자 상태(밀도 행렬) 사이의 거리를 측정하는 새롭고 신뢰할 수 있는 방법을 성공적으로 만들어냈습니다.

그들은 자신들의 새로운 "접힌 바세슈타인" 거리가 다음과 같다는 것을 발견했습니다:

• 신뢰할 수 있음: 기하학의 모든 규칙(삼각형 부등식)을 따릅니다.
• 연속성: 양자 상태의 작은 변화는 거리의 작은 변화로 이어집니다.
• 과거와의 연결성: 이 방법은 다른 과학자들(Beatty와 Stilck-França)이 제안한 이전 방법과 매우 유사하지만, 저자들의 "접힌" 접근 방식은 그것이 왜 작동하는지를 설명하고 수학적 결함을 수정합니다.

놀라운 연결 고리: 준고전적 가교(Semiclassical Bridge)

논문은 멋진 "유레카"의 순간으로 끝을 맺습니다. 저자들은 물리학자 Golse와 Paul이 양자 상태를 고전 물리학과 비교하기 위해 사용한 유명하고 복잡한 공식(Golse–Paul 비용)이 사실은 자신들의 "접힌 최적 운송"의 특수한 사례라는 것을 보여줍니다.

단순히 말하자면: 그들은 매우 복잡한 양자 공식이 사실은 단순한 비용 함수의 특정한 형태의 "접기"라는 것을 발견했습니다. 이는 세 가지 서로 다른 세계를 통합합니다:

1. 고전적 (확률 구름의 이동)
2. 준고전적 (양자와 고전 사이의 가교)
3. 양자적 (얽힘이 없는 양자 상태의 이동)

요약

이 논문은 새로운 물리 법칙이나 새로운 기계를 발명한 것이 아닙니다. 대신, 새로운 수학적 렌즈를 발명했습니다.

이 논문의 핵심은 이렇습니다: "복잡하고 혼합된 것들(양자 상태와 같은) 사이의 거리를 측정하고 싶다면, 그 혼합물을 직접 측정하려 하지 마세요. 그것들을 순수한 구성 요소로 펼치고, 거기서 거리를 측정한 뒤, 그 결과를 다시 접으세요."

이를 통해 저자들은 고전 확률, 준고전 물리학, 그리고 특정 유형의 양자 물리학에서 작동하는 통합되고 신뢰할 수 있는 프레임워크를 구축했으며, 양자 상태를 "이동"시키는 수학을 훨씬 더 명확하고 일관되게 만들었습니다.

기술 요약

기술 요약: 폴디드 최적 운송(Folded Optimal Transport)과 분리 가능한 양자 최적 운송에 대한 응용

문제 정의
본 논문은 볼록 집합의 극단 경계(순수 상태)에 정의된 비용 함수 또는 거리를 전체 집합(혼합 상태)으로 확장하는 데 따르는 과제를 다룹다. 고전적 최적 운송에서 상태 공간은 확률 측도들의 심플렉스(simplex)이며, 극단 경계는 디락 질량(Dirac masses)에 해당한다. 표준 와서스타인 거리(Wasserstein distance)는 기저 공간의 메트릭을 측도 공간으로 자연스럽게 확장한다. 그러나 양자 설정에서 상태 공간은 밀도 행렬(연산자의 볼록 집합)로 구성되며, 극단 경계는 순수 상태(랭크-1 투영 연산자)에 해당한다. 볼록 구조를 존중하면서 순수 상태로부터의 메트릭을 확장하는 의미 있는 "양자 와서스타인 거리"를 정의하는 것은 다양한 경쟁적 정식화(예: 비분리형 vs. 분리 가능한 결합)와 함께 열린 문제였다. 본 연구의 구체적인 동기는 초합체 이론(Choquet theory)을 사용하여 경계로부터 혼합 상태로 거리를 확장하는 일반적인 프레임워크를 제공함으로써, 특히 얽힘을 고려하지 않는 "분리 가능한(separable)" 경우를 다루는 데 있다.

방법론
저자는 초합체 이론과 표준 최적 운송 도구에 기반한 **폴디드 최적 운송(Folded Optimal Transport)**이라는 일반적인 수학적 구성을 도입한다. 방법론은 세 단계로 진행된다:

1. 초합체 이론을 통한 볼록성 식별: 본 논문은 초합체-비숍-드 릴루(Choquet–Bishop–De Leeuw) 정리를 활용하여, 컴팩트 볼록 집합 $C$를 극단 경계 $E$ 상의 라돈 확률 측도들의 집합을 동일한 무게중심을 공유하는 동치 관계로 몫을 취한 집합($C \cong P(E)/\sim$)과 동일하게 식별한다.
2. 리프팅(Lifting) 및 글루잉(Gluing):
   • 리프팅: 극단 경계 $E$에 정의된 거리 $d$를 표준 와서스타인-$p$ 거리($W_p$)를 사용하여 확률 측도 공간 $P(E)$로 리프팅한다.
   • 글루잉: 리프팅된 거리는 동치류에 대한 최소화를 통해 볼록 집합 $C$로 다시 투영된다. 이를 통해 "폴디드 칸토로비치 준거리(folded Kantorovich semi-distance)" $\bar{D}_p$가 생성된다.
   • 몫 구성(Quotienting): $\bar{D}_p$가 결여할 수 있는 삼각 부등식(하가법성)을 보장하기 위해, 저자는 몫 거리인 폴디드 와서스타인 의사거리(folded Wasserstein pseudo-distance) $D_p$를 정의한다. 이는 $C$ 내의 두 점을 연결하는 가능한 모든 체인(chain)에 대해 $\bar{D}_p$ 비용의 합을 최소화하는 과정을 포함한다.
3. 양자 시스템에 대한 적용: 이 일반적인 구성은 $C$가 밀도 행렬의 집합 $S_1^+$이고 $E$가 순수 상태의 집합 $P_H$인 유한 차원 양자 설정에 적용된다. 이렇게 생성된 거리를 양자 폴디드 와서스타인 거리라고 명명한다.

주요 기여 및 결과

• 통합 프레임워크: 본 논문은 볼록 집합이 심플렉스인 경우 표준 최적 운송이 이 프레임워크의 특수한 사례임을 입증하여, 고전적, 준고전적(semiclassical), 그리고 분리 가능한 양자 최적 운송을 단일 개념인 폴디드 최적 운송 아래 통합한다.
• 메트릭 성질:
  • 본 논문은 원래의 경계 거리 $d$가 노름(norm)에 대해 하한 조건($d(x,y) \geq \|x-y\|$)을 만족할 경우, 폴디드 와서스타인 거리 $D_p$가 볼록 집합 $C$ 상의 진정한 거리(삼각 부등식을 만족하는)임을 증명한다.
  • $D_p$는 볼록 집합 상의 자연스러운 위상을 유도하며, 특정 조건(측지선 경계 및 $p>1$) 하에서 생성된 공간은 측지 공간(geodesic space)이 된다.
  • 거리 $D_p$는 볼록 집합 상의 노름 거리를 상계(upper-bound)한다.
• Beatty–Stilck-França와의 관계: 본 논문은 Beatty–Stilck-França 준거리(알려진 분리 가능한 양자 운송 메트릭)가 정확히 폴디드 칸토로비치 준거리 $\bar{D}_p$와 동치임을 보여준다.
  • 핵심 발견은 Beatty–Stilck-França 준거리가 폴디드 와서스타인 거리($D_p$)와 일치할 때만 진정한 거리라는 것이다.
  • 본 논문은 Beatty–Stilck-França 준거리의 하가법성을 위한 충분 조건을 제공한다.
• 최적 계획의 유한 지지(Finite Support): 선형 계획법 이론을 활용하여, 저자는 폴디드 칸토비치 준거리를 위한 최적 표현 운송 계획이 존재하며 유한한 지지를 가짐을 증명한다. 구체적으로, 차원이 $d$인 양자 상태에 대해 최적 계획은 최대 $2d^2 - 1$개의 원자를 갖는다.
• 준고전적 연결: 본 논문은 양자 밀도 행렬과 고전적 확률 밀도를 비교하는 데 사용되는 Golse–Paul 준고전적 비용이 폴디드 칸토비치 비용으로 재정식화될 수 있음을 보여준다.

의의 및 주장
본 논문은 양자 운송을 볼록 덮개(convex roof) 및 초합체 표현(Choquet representation)의 관점에서 프레임링함으로써, "분리 가능한 양자 최적 운송"에 대한 엄밀한 이론적 토대를 제공한다고 주장한다. 주요 의의는 다음과 같다:

1. 관계 명확화: 서로 다른 양자 운송 정식화들 사이의 관계를 규명하며, 특히 Beatty–Stilck-França 준거리를 더 넓은 볼록 덮개 및 초합체 표현 이론과 연결한다.
2. Beatty–Stilck-França 준거리의 메트릭 상태 해결: 이 준거리가 체인 최소화를 통해 삼각 부등식을 강제하는 폴디드 와서스타인 거리와 일치할 때만 진정한 거리임을 보여줌으로써 그 메트릭 성격을 규명한다.
3. 통합: 고전적 운송, Golse–Paul 준고전적 비용, 그리고 분리 가능한 양자 운송을 모두 포괄하는 단일 수학적 언어(폴디드 최적 운송)를 제공하며, 이것들이 이질적인 이론이 아니라 경계 메트릭을 볼록 집합으로 확장하는 특정 사례임을 시사한다.

저자는 Beatty–Stilck-França 준거리가 계산 가능(유한 지지 계획을 통해)한 반면, (삼각 부등식을 보장하는) 폴디드 와서스타인 거리 $D_p$는 직접 계산하기가 덜 명확하다고 언급하면서도, 두 거리가 일치하는 조건들을 제시한다. 본 연구는 새로운 실험 프로토콜을 제안하는 것이 아니라 기존 양자 운송 메트릭의 수학적 정의와 성질을 정교화하는 데 목적이 있다.