[논문 리뷰] Geodesic of minimal length in the set of probability measures on graphs

Wilfrid Gangbo, Wuchen Li외 1명|arXiv (Cornell University)|2017. 12. 26.

Geometry and complex manifolds참고 문헌 12인용 수 8

한 줄 요약

이 논문은 대칭 함수 $ g $ 를 통해 유도된 몽헤–칸토로비치 거리계를 이용하여 가중치가 부여된 그래프 위의 확률단체에서 최단 길이의 지오데식을 계산하는 프레임워크를 수립한다. 경계를 횡단하는 지오데식의 경우에도, 파oincaré 함수를 도입하고 BV-값을 가진 쌍대 변수를 사용하여 특이성을 다루어, 미분기하학적 이론이 적용되지 않는 경우에도 최소화자를 특성화하기 위해 해밀턴–자비 방정식계를 사용한다. 이는 그래프 위의 평균장 게임에의 응용을 가능하게 한다.

ABSTRACT

We endow the set of probability measures on a weighted graph with a Monge--Kantorovich metric, induced by a function defined on the set of vertices. The graph is assumed to have $n$ vertices and so, the boundary of the probability simplex is an affine $(n-2)$--chain. Characterizing the geodesics of minimal length which may intersect the boundary, is a challenge we overcome even when the endpoints of the geodesics don't share the same connected components. It is our hope that this work would be a preamble to the theory of Mean Field Games on graphs.

연구 동기 및 목표

• 대칭 함수 $ g $ 를 사용하여 확률단체 위에 거리계를 정의함으로써 그래프 위의 최적 운반 이론을 수립하는 것.
• 고전적 매끄러운 이론이 다루지 못하는, 지오데식이 확률단체의 경계를 횡단하는 경우에도 최단 길이의 지오데식을 특성화하는 것.
• 해밀턴함수의 강한 강제성 부족 문제를 해결하기 위해 쌍대 공식화와 BV-값을 가진 라그랑주 승수를 사용하는 것.
• 경계 영향을 받는 이산적 환경으로의 최적 운반 이론 확장을 통해 그래프 위의 평균장 게임에 기초를 마련하는 것.
• 일반화된 해밀턴–자비 체계를 사용하여 최소화자에 대한 필요 및 충분 조건을 수립하는 것, 이는 특이성과 절대연속 성분을 포함한다.

제안 방법

• 대칭 함수 $ g $ 로부터 유도된 해밀턴함수 $ \mathcal{H}_g $ 를 포함하는 작동 원리의 최소화를 통해 확률단체 $ \mathcal{P}(G) $ 위에 거리계 $ \mathcal{W}_g $ 를 정의하는 것.
• $ \mathcal{H}_g $ 의 강제성 부족 문제를 회피하기 위해 작동 함수의 쌍대 공식화를 사용하여 최소화자의 존재를 보장하는 것.
• 확률측도의 내부 및 경계 행동을 특성화하기 위해 파인카레 함수 $ \gamma_P $ 를 도입하여 특정 조건 하에서 유한한 에너지를 보장하는 것.
• 라그랑주 승수를 표현하기 위해 BV-값을 가진 쌍대 변수 $ \lambda $ 를 사용하고, 그 도함수를 절대연속 및 특이 성분으로 분해하는 것.
• $ \dot{\lambda}^{\text{abs}} $, $ \lambda^{\text{sing}} $, 그리고 그래프 발산 $ \nabla_G\lambda $ 를 포함하는 일반화된 해밀턴–자비 체계를 통해 최소화자에 대한 필요 및 충분 조건을 유도하는 것.
• BV 및 $ L^2 $ 공간에서의 약한 수렴과 강한 수렴을 이용하여 최대화 수열에서 한계 $ \lambda^* $ 를 추출하고, 경계 조건과의 일致성을 보장하는 것.

실험 결과

연구 질문

• RQ1 지오데식이 경계를 횡단하는 경우, 가중치가 부여된 그래프의 확률단체에서 최단 길이의 지오데식을 어떻게 정의하고 계산할 수 있는가?
• RQ2 해밀턴함수가 강제성이 없을 경우, 작동 함수의 최소화자가 존재하기 위한 조건은 무엇인가?
• RQ3 BV-값을 가진 쌍대 변수를 사용하여 경계 횡단 지오데식을 포함한 그래프에 대해 해밀턴–자비 체계를 어떻게 확장할 수 있는가?
• RQ4 파인카레 함수 $ \gamma_P $ 는 운반 거리계의 정(regularity)과 유한성 특성에 어떤 역할을 하는가?
• RQ5 BV 함수를 통한 쌍대 공식화로는 이산적 그래프에서의 최적 운반 이론의 전체적인 구조, 특히 특이성과 경계 영향을 받는 경로까지 복원할 수 있는가?

주요 결과

• 최소 작동 $ \mathcal{W}_g^2(\rho^0, \rho^1) $ 가 유한함은 파인카레 함수 $ \gamma_P(\rho^0), \gamma_P(\rho^1) > 0 $ 인 것과 동치이며, 이는 유한 에너지 지오데식의 존재를 보장한다.
• 작동을 최소화하는 곡선 $ (\rho, m) $ 에 대한 필요 및 충분 조건은 $ \lambda \in \text{BV}_{\text{loc}}(0,1; \mathbb{R}^n) $ 가 존재하고, 식 (6.11)–(6.13)을 만족하는 것이다. 이는 $ \dot{\lambda} $ 의 절대연속 및 특이 성분을 포함한다.
• 쌍대 변수 $ \lambda $ 는 거의 모든 곳에서 $ H(\dot{\lambda}^{\text{abs}}, \nabla_G\lambda) \leq 0 $ 이고, $ \nu $-거의 모든 곳에서 $ H_0(d\lambda^{\text{sing}}/d\nu) \leq 0 $ 를 만족하여 최적성을 보장한다.
• 최대화 수열의 한계 $ \lambda^* $ 는 $ (\lambda^*(1), \rho^1) - (\lambda^*(0), \rho^0) = \mathcal{A}(\rho^*, m^*) $ 를 만족하며, 이는 쌍대 변수와 작동 값 사이의 연결 고리를 제공한다.
• 증명 과정에서 $ L^2_{\text{loc}} $, $ \text{BV}_{\text{loc}} $ 및 약한-* 수렴이 확립되어, 유계 변동 곡선의 공간에 최소화자가 존재함을 보장한다.
• 특이 측도와 BV 쌍대 변수를 사용하여 고전적 최적 운반 이론을 경계 횡단이 가능한 그래프로 확장함으로써, $ \mathcal{H}_g $ 의 비강제성 문제를 극복한다.