The Schrödinger problem on metric graphs

기술 요약: 메트릭 그래프 상의 슈뢰딩거 문제 (The Schrödinger Problem on Metric Graphs)

문제 정의
본 논문은 두 관측된 분포 $\mu_0$와 $\mu_1$ 사이에서 독립적인 가스 입자의 가장 가능성 있는 진화를 찾는 확률적 보간 문제인 메트릭 그래프 상의 슈뢰딩거 문제를 조사한다. 본 연구는 이 문제가 메트릭 그래프라는 특정한 기하학적 설정 내에서 최적 운송(Optimal Transport, OT)과 맺고 있는 관계를 확립하는 데 중점을 둔다. 리만 다양체나 $RCD^*(K, N)$ 공간에서는 포괄적인 이론이 존재하지만, 메트릭 그래프는 매끄러움(smoothness)의 결여와 강력한 합성적 하한 곡률(strong synthetic lower curvature bounds)의 부재로 인해 독특한 과제를 안고 있다. 저자들은 이 공간에서의 슈뢰딩거 문제에 대한 정적(static) 및 동적(dynamic) 정식화를 엄밀하게 도출하고, 이들의 동등성을 증명하며, 정규화 매개변수가 소멸함에 따라 이들이 제곱 와서스타인 거리(squared Wasserstein distance)로 수렴함을 분석하는 것을 목표로 한다.

방법론
저자들은 다음과 같은 분석적 기법과 수치적 방법을 결로 결합하여 사용한다:

1. 정적 분석 및 $\Gamma$-수렴 ($\Gamma$-Convergence):

   • 정적 슈뢰딩거 문제는 엔트로피 최적 운송(EOT) 문제로 재정식화된다. 참조 측도(reference measure)는 메트릭 그래프 상의 열 핵(heat kernel) $h_{\beta/2}$로 선택된다.
   • $\beta \to 0$일 때 EOT 문제가 정적 칸토로비치 최적 운송 문제로 $\Gamma$-수렴함을 증명하기 위해, 저자들은 [CDPS17]에서 차용한 "블록 근사(block approximation)" 기법을 활용한다.
   • 결정적으로, 저자들은 그래프 구조로 인해 표준적인 이차 거리(quadratic distance)와는 다른 비용 함수를 다루기 위해 열 핵에 대한 가우시안 상한 및 하한(열 세미그룹 성질과 경로 합 공식을 통해 유도됨)을 활용한다.

2. 동적 정식화 및 동등성:

   • 연속 방정식의 약해(weak solutions)에 대한 최소화 문제로 모델링된 동적 버전의 슈뢰딩거 문제(DSP)가 도출된다. 이 범함수는 운동 에너지 항과 피셔 정보(Fisher information) 항(엔트로피 정규화로부터 발생)을 포함한다.
   • 정적($S\beta$) 정식화와 동적(DSP) 정식화 사이의 동등성은 열 흐름 세미그룹을 이용한 특정 해를 구성함으로써 확립된다. 이는 열 핵을 통해 시간 의존적 밀도를 정의하고, 이들이 그래프 정점(vertex)에서의 연속 방정식 및 결합 조건을 만족함을 검증하는 과정을 포함한다.
   • 저자들은 (동적 설정에서의 회복 수열(recovery sequences) 구축을 용이하게 하는) 강력한 곡률 경계의 부재를 해결하기 위해, 회복 수열 자체가 아닌 참조 측도로 규제 요구 사항을 전환한다.

3. 존재성 및 일반화:

   • 변분법의 직접법(direct method of the Calculus of Variations)을 사용하여 동적 문제의 해의 존재성을 증명한다. 밀도가 유계가 아닐 수 있는 경우를 처리하기 위해, 저자들은 함수 $\Psi(u, v) = |v|^2/2u$에 기반한 수정된 작용 범함수(action functional)를 사용하여 싱귤러 측도(singular parts of measures)를 포함하도록 범함수를 확장한다.
   • 해 집합의 콤팩트성은 횔더 추정치(Hölder estimates)와 메트릭 그래프 상의 열 핵의 성질을 사용하여 확립된다.

4. 수치적 조사:

   • 증강 라그랑주 정식화(augmented Lagrangian formulations)에 기반한 프라이멀-듀얼(primal-dual) 알고리즘이 동적 문제를 해결하기 위해 제안된다. 이 방법은 밀도의 그래디언트를 위한 보조 변수를 도입하는 혼합 정식화를 사용한다.
   • 이산화는 내부 점들에 대해서는 중앙 차분 몫(central difference quotients)을 사용하고, 정점에서는 편측 차분(one-sided differences)을 사용하여 시간 대칭 구조를 보존한다.

주요 기여 및 결과

• 정적 동등성 및 수렴: 본 논문은 메트릭 그래프 상의 정적 슈뢰딩거 문제가 수정된 비용 함수를 가진 엔트로피 최적 운송 문제와 동등함을 증명한다. 또한, 이 정적 엔트로피 문제가 $\beta \to 0$일 때 정적 칸토로비치 문제(제곱 와서스타인 거리)로 $\Gamma$-수렴함을 확립한다.
• 동적 동등성: 저자들은 메트릭 그래프 상의 슈뢰딩거 문제를 위한 베남-브레니에(Benamou-Brenier) 유형의 동적 정식화를 엄밀하게 도출한다. 유계인 초기 및 최종 데이터를 갖는 경우, 정적 및 동적 정식화가 동등하며 동적 문제가 유일한 최소해를 가짐을 증명한다.
• 최솟값의 수렴: 정적-동적 동등성과 정적 $\Gamma$-수렴의 결과로서, 동적 슈뢰딩거 문제의 최소값은 제곱 와서스타인 거리로 수렴하며, 최소해들은 와서스타인 측지선(Wasserstein geodesics)으로 수렴한다.
• 곡률 결핍 처리: 본 논문은 중요한 이론적 차이점을 강조한다. $\Gamma$-수렴이 정적 정식화에 대해서는 성립하지만, 저자들은 메트릭 그래프에서 (추가적인 상수가 없는) 날카로운 와서스타인 수축 추정치의 부재로 인해 동적 정식화에 대한 $\Gamma$-수렴은 직접적으로 따르지 않는다는 점을 언급한다. 대신, 최솟값의 수렴은 정적-동적 동등성을 통해 달성된다.
• 일반 데이터에 대한 존재성: 동적 정식화는 (유계 밀도 가정을 제거하여) 더 일반적인 초기 및 최종 데이터를 갖도록 확장되었으며, 이 더 넓은 환경에서의 해의 존재성이 증명되었다.
• 수치적 검증: 스타형 그래프(star-shaped graphs)에 대한 수치 실험은 $\beta \to 0$일 때 동적 슈뢰딩거 해가 와서스타인 측지선으로 수렴함을 보여준다. 실험 결과는 $\beta > 0$일 때 피셔 정보의 평활화 효과(정점에서의 연속성)를 보여주며, 이는 표준 최적 운송 측지선의 불연속적인 성질과 대조를 이룬다.

의의
본 논문은 기존의 연구가 $RCD^*(K, N)$ 공간에 국한되었던 공백을 메우며, 메트릭 그래프 상의 슈뢰딩거 문제에 대한 최초의 포괄적인 그림을 제공한다. 이는 강력한 합성적 곡률 조건의 실패에도 불구하고, 정적 및 동적 슈뢰딩거 문제 사이의 근본적인 관계와 최적 운송과의 연결 고리를 엄밀하게 확립할 수 있음을 보여준다. 본 연구는 곡률 경계의 부재를 보완하는 데 있어 열 핵의 정규성이 수행하는 구체적인 역할을 명확히 하며, 비매끄러운 메트릭 공간에서 이러한 문제들을 해결하기 위한 견고한 수치적 프레임워크를 제공한다.