[논문 리뷰] An Elementary Proof for the Structure of Wasserstein Derivatives

Cong Wu, Jianfeng Zhang|arXiv (Cornell University)|2017. 05. 23.

Molecular spectroscopy and chirality인용 수 3

한 줄 요약

이 논문은 L² 공간 위의 법칙에 대해 불변인 함수에 대한 워셔스타인 도함수의 구조에 대해 간단한 증명을 제시한다. 연속적으로 미분 가능한 법칙에 대해 불변인 함수기능 F의 프레셰 도함수는 임의의 랜덤 변수 ξ에서 거의 확실히 그 법칙의 함수 g(ξ)와 같음을 보여주며, 이는 평균장 미적분학과 확률적 분석의 기초 결과를 확립한다.

ABSTRACT

Let $F: \mathbb{L}^2(Ω, \mathbb{R}) o \mathbb{R}$ be a law invariant and continuously Fréchet differentiable mapping. Based on Lions \cite{Lions}, Cardaliaguet \cite{Cardaliaguet} (Theorem 6.2 and 6.5) proved that: \bea \label{Derivative} D F (ξ) = g(ξ), \eea where $g: \mathbb{R} o \mathbb{R}$ is a deterministic function which depends only on the law of $ξ$. See also Carmona \& Delarue \cite{CD} Section 5.2. In this short note we provide an elementary proof for this well known result. This note is part of our accompanying paper \cite{WZ}, which deals with a more general situation.

연구 동기 및 목표

• 법칙에 대해 불변이면서 연속적으로 프레셰 미분 가능한 함수기능 F의 워셔스타인 도함수가 g(ξ)의 형태를 띤다는 잘 알려진 결과에 대해 자립적이고 간단한 증명을 제공하는 것.
• 리온의 워셔스타인 공간 위의 변분법에서 고급 도구를 사용하지 않고 이 결과를 확립하는 것.
• 원자 없는 확률 공간의 구조를 이용하여 이론을 이산 랜덤 변수에서 일반적인 랜덤 변수로의 근사화를 통해 확장하는 것.
• 도함수의 법칙에 대한 의존성, 즉 특정한 랜덤 변수 표현이 아닌 법칙 자체에 의존함을 명확히 하는 것.
• 앞서 언급된 보조 논문 [5]에서 제안한 바와 같이 향후 연구를 위한 기초를 마련하는 것, 특히 과정과 공동 측정 가능성으로의 일반화를 위한 것.

제안 방법

• 이산 근사의 사용: 실수선의 이진 분할을 이용해 일반적인 랜덤 변수 ξ를 이산 랜덤 변수 ξₙ의 수열로 근사한다.
• 각 이산 ξₙ에 대해, ξₙ의 수준 집합 위에서 지시 함수 방향의 방향도함수를 통해 도함수 DF(ξₙ)를 명시적으로 유도한다.
• ξₙ의 각 수준 집합에서 DF(ξₙ)가 거의 확실히 일정함을 보이며, 동일 질량 집합이 랜덤 변수의 일정성을 암시하는 핵심 보조정리를 사용한다.
• DF(ξₙ) = gₙ(ξₙ)를 만족하는 측정 가능 함수 gₙ의 수열을 구성하고, 이를 조각별 상수 확장을 통해 ℝ 위의 함수 ̃gₙ로 확장한다.
• F의 연속 미분 가능성과 함께, n → ∞ 일 때 ̃gₙ(ξ)가 L²에서 DF(ξ)로 수렴함을 증명한다.
• ξ의 지지집합 위에서 거의 확실히 부분수열에 대해 점별 극한 g(x)를 추출하고, g(ξ) = DF(ξ) a.s. 이며 g가 ξ의 법칙에만 의존함을 보인다.

실험 결과

연구 질문

• RQ1 워셔스타인 공간 위의 변분법에서 고급 도구를 사용하지 않고, 법칙에 대해 불변인 함수기능에 대한 워셔스타인 도함수의 구조를 간단한 비율과 해석학 도구로 증명할 수 있는가?
• RQ2 법칙에 대해 불변인 함수기능 F의 ξ에서의 프레셰 도함수가 왜 결정론적 함수 g(ξ)와 같으며, 이 함수가 왜 ξ의 법칙에만 의존하는가?
• RQ3 질량이 수준 집합 내에서 이동하는 편향에 沿해 방향도함수를 통해 이러한 결정론적 함수 g를 어떻게 명시적으로 구성할 수 있는가?
• RQ4 기초 확률 공간의 원자 없는 구조가 ξ의 수준 집합에서 도함수가 일정함을 보장하는 데 어떤 역할을 하는가?
• RQ5 이 결과는 일반적인 과정이나 더 일반적인 함수기능으로 확장될 수 있으며, 도함수 함수의 공동 측정 가능성은 어떤 조건에서 보장되는가?

주요 결과

• 프레셰 도함수 DF(ξ)는 거의 확실히 g(ξ)와 같으며, g는 ξ의 특정 표현이 아닌 법칙에만 의존하는 결정론적 함수이다.
• ξ가 원자 xᵢ를 가진 이산적일 경우, 함수 g는 명시적으로 g(xᵢ) = lim_{ε→0} [f(∑_{j≠i} pⱼ δ_{xⱼ} + pᵢ δ_{xᵢ+ε}) - f(∑ pⱼ δ_{xⱼ})] / (ε pᵢ) 로 주어지며, 이는 법칙에만 의존한다.
• 도함수 DF(ξ)는 거의 확실히 각 수준 집합 {ξ = xᵢ}에서 일정하며, 이는 원자 없는 확률 공간과 동일 질량 집합에 대한 핵심 보조정리의 결과이다.
• 근사 이산 도함수 gₙ(ξₙ)의 극한은 L²에서 DF(ξ)로 수렴하며, ξ의 지지집합 위에서 거의 확실히 점별 극한 함수 g(x)가 존재한다.
• 함수 g는 주어진 법칙을 가진 랜덤 변수 ξ의 선택에 관계없이 동일하므로, 진정으로 법칙과 값 x에 대한 함수이다.
• 이 결과는 과정의 경우로 확장되며, 균일 연속성 조건 하에서 g(μ,x)의 공동 측정 가능성도 보장된다. 이는 보조 논문 [5]에서 논의된다.