[논문 리뷰] A view on transport theory from noncommutative geometry

Francesco D’Andrea, Pierre Martinetti|arXiv (Cornell University)|2009. 06. 06.

Advanced Neuroimaging Techniques and Applications인용 수 8

한 줄 요약

이 논문은 최적 운반 이론의 워셔스타인 거리와 비가환 기하학의 스펙트럼 거리 사이의 깊은 연결을 수립하며, 완전한 리만 스피너 다양체에서 이 두 거리가 일치함을 증명한다. 볼록 다양체에 대해 경계를 도출하고, R^n에서 일반화된 가우시안 웨이브 패킷에 대해 명시적인 거리를 계산하며, 비가환 설정인 표준 모형에서는 메트릭이 영이 아닌 대각선 비용 함수를 요구함을 드러낸다. 이는 상대성 이론적 열역학 흐름과 유사하다.

ABSTRACT

We discuss the relation between the Wasserstein distance of order 1 between probability distributions on a metric space, arising in the study of Monge-Kantorovich transport problem, and the spectral distance of noncommutative geometry. Starting from a remark of Rieffel on compact manifolds, we first show that on any - i.e. non-necessary compact - complete Riemannian spin manifolds, the two distances coincide. Then, on convex manifolds in the sense of Nash embedding, we provide some natural upper and lower bounds to the distance between any two probability distributions. Specializing to the Euclidean space $R^n$, we explicitly compute the distance for a particular class of distributions generalizing Gaussian wave packet. Finally we explore the analogy between the spectral and the Wasserstein distances in the noncommutative case, focusing on the standard model and the Moyal plane. In particular we point out that in the two-sheet space of the standard model, an optimal-transport interpretation of the metric requires a cost function that does not vanish on the diagonal. The latest is similar to the cost function occurring in the relativistic heat equation.

연구 동기 및 목표

• 최적 운반 이론과 비가환 기하학, 특히 스펙트럼 거리 사이의 관계를 탐색한다.
• 스펙트럼 거리와 1차 워셔스타인 거리가 어떤 조건에서 일치하는지 규명한다.
• 콤���트 다양체에서의 리에플의 관찰을 비콤팩트이지만 완전한 리만 스피너 다양체로 확장한다.
• 네쉬 임bedding의 관점에서 볼록 다양체에서 스펙트럼 거리의 행동을 상한과 하한 경계를 통해 분석한다.
• 이 대응의 비가환 공간, 특히 표준 모형과 모일 평면에서의 함의를 조사한다.

제안 방법

• 비가환 기하학의 스펙트럼 거리 공식을 사용하며, 리프시츠 관측 가능량에 대한 기댓값 차이의 상한을 통해 정의된다.
• 메트릭 공간 위의 확률 측도 사이의 1차 워셔스타인 거리를 정의하기 위해 몽헤-칸토로비치 운반 문제를 적용한다.
• 디랙 연산자와 스펙트럼 트리플렛을 활용하여 완전한 리만 스피너 다양체에서 두 거리가 동치임을 증명한다.
• 메트릭 구조의 기하학적·해석적 성질을 이용해 볼록 다양체에서 거리의 상한과 하한을 유도한다.
• 유클리드 공간 R^n에서 일반화된 가우시안 웨이브 패킷의 클래스에 대해 스펙트럼 거리를 명시적으로 계산한다.
• 비가환 케이스를 분석하기 위해 스펙트럼 거리를 운반 메트릭과 비교하며, 표준 모형의 이중층 공간에서 대각선 상의 비용 함수가 영이 아님을 강조한다.

실험 결과

연구 질문

• RQ1 완전한 리만 스피너 다양체에서 비가환 기하학의 스펙트럼 거리는 1차 워셔스타인 거리와 일치하는가?
• RQ2 네쉬 임베딩의 관점에서 볼록 다양체에서 스펙트럼 거리에 대해 의미 있는 상한과 하한을 도출할 수 있는가?
• RQ3 R^n에서 일반화된 가우시안 웨이브 패킷의 스펙트럼 거리의 명시적 값은 무엇인가?
• RQ4 비가환 공간, 예를 들어 표준 모형에서 최적 운반 해석의 메트릭은 어떻게 행동하는가?
• RQ5 표준 모형의 이중층 공간에서 스펙트럼 메트릭에 요구되는 비용 함수가 상대성 이론적 운반 모델의 그것과 유사한 이유는 무엇인가?

주요 결과

• 완전한 리만 스피너 다양체에서 스펙트럼 거리와 1차 워셔스타인 거리는 일치하며, 이는 콤팩트일 필요가 없다.
• 볼록 다양체에서는 임베딩의 기하학적 제약 조건에서 유래한 자연스러운 상한과 하한이 스펙트럼 거리에 존재한다.
• 유클리드 공간 R^n에서 일반화된 가우시안 웨이브 패킷의 확률 분포 클래스에 대해 스펙트럼 거리가 명시적으로 계산된다.
• 표준 모형의 비가환 설정에서는 스펙트럼 메트릭이 대각선에서 영이 아닌 비용 함수를 요구하며, 이는 고전적 운반 가정에서의 이탈을 시사한다.
• 표준 모형의 메트릭에서 요구되는 비대칭 비용 함수는 상대성 이론적 열방정식에 나타나는 것과 구조적으로 유사하다.
• 모일 평면은 유사한 행동을 보이며, 이는 비가환 기하학과 상대성 이론적 운반 현상 사이의 더 깊은 연결을 시사한다.