[논문 리뷰] Quadratic Wasserstein metrics for von Neumann algebras via transport plans

Rocco Duvenhage|arXiv (Cornell University)|2020. 12. 07.

Algebraic structures and combinatorial models인용 수 9

한 줄 요약

이 논문은 운반 계획을 이용하여 von Neumann 대수의 충실한 정규 상태 공간 위에 이차 워샤르슈타인 거리계를 수립한다. 이는 Tomita-Takesaki 이론과 이중모듈러의 상대적 텐서곱을 활용한다. 주요 기여는 대수의 유한 생성일 때 $ W_2(\mu,\nu) = 0 $ 이면 $ \mu = \nu $ 임을 증명함으로써, 거리가 진정한 거리계임을 보장하는 것이다. 이는 이전의 비가환 최적 운반 이론에서 운반 계획 접근법이 거리계를 도출하지 못했던 오랜 문제를 해결한다.

ABSTRACT

We show how one can obtain a class of quadratic Wasserstein metrics, that is to say, Wasserstein metrics of order 2, on the set of faithful normal states of a von Neumann algebra $A$, via transport plans, rather than through a dynamical approach. Two key points to make this work, are a suitable formulation of the cost of transport arising from Tomita-Takesaki theory and relative tensor products of bimodules (or correspondences in the sense of Connes). The triangle inequality, symmetry and $W_{2}(μ,μ)=0$ all work quite generally, but to show that $W_{2}(μ,ν)=0$ implies $μ=ν$, we need to assume that $A$ is finitely generated.

연구 동기 및 목표

• 운반 계획을 사용하여 고전적 이차 워샤르슈타인 거리계의 비가환 대체를 동적 공식화가 아닌 방식으로 개발하기.
• 이전의 비가환 운반 계획 접근법에서 $ W_2(\mu,\mu) \neq 0 $ 가 되어 진정한 거리계를 도출하지 못했던 문제를 해결하기.
• 모든 $ W_2(\mu,\nu) = 0 $ 이면 $ \mu = \nu $ 임이 보장되는 조건을 수립하여 거리계가 진정한 거리계임을 보장하기.
• Tomita-Takesaki 이론과 이중모듈러의 상대적 텐서곱(Connes의 대응)을 사용하여 운반 비용을 정의하는 데 핵심 도구로 활용하기.
• 비충실 상태로의 프레임워크 확장 및 무한 또는 유계가 아닌 생성자로의 일반화 탐색하기.

제안 방법

• Tomita-Takesaki 이론의 모듈러 연산자 $ S_\nu $ 를 사용하여 상태 $ \mu $ 와 $ \nu $ 사이의 운반 비용을 $ c = \sum_{l=1}^n |k_l \otimes 1 - 1 \otimes (S_\nu k_l^* S_\nu)|^2 $ 로 정의한다.
• 이중모듈러의 상대적 텐서곱(Connes의 대응)을 사용하여 운반 계획의 대수적 구조를 기반으로 하는 순환 표현을 구성한다.
• 운반 계획 $ \omega $ 에 대해 에너지 함수수 $ I(\omega) = \| \pi_\mu^\omega(k^\zeta)\Omega - \pi_\nu^\omega(k^\eta)\Omega \|_{\oplus \omega}^2 $ 를 정의하여 고전적 $ L^2 $ 비용을 일반화한다.
• 조건부 기대와 상대적으로 독립적인 쌍용을 통해 운반 계획을 구성하며, 특히 $ \omega = \delta_\nu \circ (E \odot \text{id}_{A'}) $ 를 사용하여 조건부 기대 $ E $ 를 사용하고 $ \mu \circ E = \mu $ 를 만족시킨다.
• 기반 이중모듈러 표현의 구조와 모듈러 자기동형군을 이용하여 삼각 부등식과 대칭성을 증명한다.
• von Neumann 대수 $ A $ 가 유한 생성일 경우, 조건부 기대의 유일성과 상태의 충실성에 기반하여 $ W_2(\mu,\nu) = 0 \Rightarrow \mu = \nu $ 를 확립한다.

실험 결과

연구 질문

• RQ1 운반 계획을 통해 비가환 이차 워샤르슈타인 거리계를 구성할 수 있으며, 모든 거리계 공리, 특히 $ W_2(\mu,\nu) = 0 \Rightarrow \mu = \nu $ 를 만족할 수 있는가?
• RQ2 Tomita-Takesaki 이론과 Connes의 대응을 사용하여 비가환 운반에 대해 물리적으로 의미 있는 비용 함수를 정의할 수 있는가?
• RQ3 왜 이전의 비가환 확률 운반 계획 접근법은 진정한 거리계를 도출하지 못했으며, 이를 수정하기 위해 필요한 구조적 가정은 무엇인가?
• RQ4 von Neumann 대수의 유한 생성성이 $ W_2(\mu,\nu) = 0 \Rightarrow \mu = \nu $ 라는 거리계 성질을 보장하는 데 어떤 역할을 하는가?
• RQ5 이 프레임워크는 비충실 상태나 유계가 아닌 생성자로 일반화될 수 있으며, 이는 거리계의 구조에 어떤 영향을 미치는가?

주요 결과

• 제안된 워샤르슈타인 거리 $ W_2 $ 는 모든 충실한 정규 상태에 대해 삼각 부등식과 대칭성을 만족한다.
• 모든 충실한 정규 상태 $ \mu $ 에 대해 $ W_2(\mu,\mu) = 0 $ 이 성립하며, 이는 거리계의 요구 조건을 충족한다.
• 핵심 결과는 $ W_2(\mu,\nu) = 0 \Rightarrow \mu = \nu $ 가 성립하는 것은 유한 생성된 von Neumann 대수 $ A $ 인 경우에 한하여 성립함을 보여준다.
• 비용 함수는 Tomita-Takesaki 이론의 모듈러 연산자 $ S_\nu $ 를 통해 정의되어, 비가환성을 고려한 상태에 따라 비용이 달라지는 방식으로 정의된다.
• 조건부 기대 $ E $ 를 사용하여 운반 계획 $ \omega $ 를 구성할 수 있으며, $ \mu|_F = \nu|_F $ 라면 $ I(\omega) = 0 $ 이 되어 $ W_2(\mu,\nu) = 0 $ 를 유도한다.
• 비충실 상태의 경우, 지지 프로젝션으로 제한하여 편의 거리 $ \rho $ 를 정의할 수 있으나, $ \rho(\zeta,\eta) = 0 $ 이지만 $ \zeta \neq \eta $ 일 수 있어 충실성 없이선 거리계 성질이 성립하지 않음을 보여준다.