[논문 리뷰] On global Hölder estimates for optimal transportation

Alexander V. Kolesnikov|arXiv (Cornell University)|2008. 10. 28.

Point processes and geometric inequalities참고 문헌 13인용 수 4

한 줄 요약

이 논문은 잠재 함수의 약한 볼록성 및 성장 조건 하에서, 로그-볼록 확률 측도 간의 최적 운반 지도에 대해 전역 헬더 연속성 추정을 수립한다. 잠재 함수 $ V $ 의 이阶 차 분할 몫과 $ W $ 의 볼록성 모듈러스에 대한 가정 하에, 운반 지도 $ T $ 는 차원에 영향을 받지 않는 상수를 가진 전역 $ \frac{p+1}{q+1} $-헬더 연속성을 보이며, 카파렐리의 리프시츠 결과를 더 넓은 헬더 영역으로 확장한다.

ABSTRACT

We generalize a well-known result of L. Caffarelli on Lipschitz estimates for optimal transportation $T$ between uniformly log-concave probability measures. Let $T : \R^d o \R^d$ be an optimal transportation pushing forward $μ= e^{-V}dx$ to $ν= e^{-W}dx$. Assume that 1) the second differential quotient of $V$ can be estimated from above by a power function, 2) modulus of convexity of $W$ can be estimated from below by $A_q |x|^{1+q}$, $q \ge 1$. Under these assumptions we show that $T$ is globally Hölder with a dimension-free coefficient. In addition, we study optimal transportation $T$ between $μ$ and the uniform measure on a bounded convex set $K \subset \R^d$. We get estimates for the Lipschitz constant of $T$ in terms of $d$, ${diam(K)}$ and $D V, D^2 V$.

연구 동기 및 목표

• 최적 운반 지도에 대한 카파렐리의 리프시츠 추정을 전역 헬더 연속성 프레임워크로 일반화하기.
• 잠재 함수의 성장 및 볼록성 조건 하에서, 균일한 로그-볼록 측도 간 최적 운반 지도에 대해 차원에 영향을 받지 않는 헬더 정규성 수립하기.
• 운반 지도의 헬더 정규성에 기반해 목표 측도에 대한 농도 불등식 유도하기.
• 유계 볼록 집합 $ K $ 위의 균일 측도로의 최적 운반의 리프시츠 상수를 차원과 직경에 따라 분석하기.

제안 방법

• 잠재 함수 $ V $ 의 이阶 차 분할 몫에 대한 조건 도입: $ 0 \leq p \leq 1 $ 에 대해 $ V(x+y) + V(x-y) - 2V(x) \leq A_p |y|^{p+1} $.
• 잠재 함수 $ W $ 의 볼록성 모듈러스에 하한 설정: $ q \geq 1 $ 에 대해 $ W(x+y) + W(x-y) - 2W(x) \geq A_q |y|^{q+1} $.
• 운반 지도 $ T = \nabla\varphi $ 와 밀도 $ \mu = e^{-V}dx $, $ \nu = e^{-W}dx $ 간의 관계를 몽주-암페르 방정식 $ \rho_2(\nabla\varphi) \det D^2\varphi = \rho_1 $ 을 통해 기술.
• 완전 비선형 PDE 이론의 사전 추정, 특히 몽주-암페르 방정식 해에 대한 헬더 추정을 적용.
• 함수 $ b(t) $ 와 $ \delta(t) $ 를 도입해 $ W $ 의 볼록성과 성장을 정량화하고, 볼록 쌍대 함수 $ b^* $ 를 통해 함수 불등식 유도.
• 탈라그란드 유형 및 수정 로그-소볼레프 유형 불등식을 적용해 목표 측도 $ \nu $ 의 농도 성질 도출.

실험 결과

연구 질문

• RQ1 잠재 함수 $ V $ 와 $ W $ 가 어떤 조건을 만족할 경우 최적 운반 지도 $ T $ 는 전역 헬더 연속성이 성립하는가?
• RQ2 만약 $ V $ 가 이阶 차 차분에 대해 거듭제곱형 상한을 만족하고 $ W $ 가 볼록성 모듈러스에 하한을 가지면, $ T $ 의 차원에 영향을 받지 않는 헬더 정규성이 확립될 수 있는가?
• RQ3 잠재 함수의 성장 매개수 $ p $ 와 $ q $ 에 따라 헬더 지수는 어떻게 최적화되는가?
• RQ4 운반 지도 $ T $ 의 헬더 추정은 목표 측도 $ \nu = e^{-W}dx $ 에 대한 농도 불등식으로 어떻게 이어지는가?
• RQ5 유계 볼록 집합 $ K \subset \mathbb{R}^d $ 위의 균일 측도로의 최적 운반의 리프시츠 상수는 무엇인가? 이는 $ d $ 와 $ \text{diam}(K) $ 에 따라 어떻게 척도화되는가?

주요 결과

• 가정 $ V(x+y)+V(x-y)-2V(x) \leq A_p |y|^{p+1} $ 과 $ W(x+y)+W(x-y)-2W(x) \geq A_q |y|^{q+1} $ 이 $ 0 \leq p \leq 1 \leq q $ 에 대해 성립할 경우, 최적 운반 지도 $ T $ 는 상수 $ p, q, A_p, A_q $ 에만 의존하는 전역 $ \frac{p+1}{q+1} $-헬더 연속성을 가진다.
• 측도 $ \nu = e^{-W}dx $ 가 $ W(x+y)+W(x-y)-2W(x) \geq C_\beta |y|^{2\beta} $ 를 만족하고 $ \beta \geq 1 $ 이면, 모든 $ r > 0 $ 에 대해 농도 불등식 $ \nu(B_r) \geq 1 - e^{-C|r|^{2\beta}} $ 이 성립하며, 상수 $ C $ 는 $ \beta, C_\beta $ 에만 의존한다.
• 표준 가우시안 측도에서 유계 볼록 집합 $ K \subset \mathbb{R}^d $ 위의 균일 측도로의 최적 운반은 어떤 전연 상수 $ C $ 에 대해 $ C \sqrt{d} \cdot \text{diam}(K) $-리프시츠이다.
• 볼록 함수 $ W $ 에 대해, 가우시안 측도에서 $ \nu = e^{-W}dx $ 로의 최적 운반 $ T = \nabla\varphi $ 는 $ |\nabla\varphi(x) - \nabla\varphi(y)| \leq 8 \delta^{-1}(4|x-y|^2) $ 를 만족한다. 여기서 $ \delta(t) = \inf_{\|y\| \geq t} \{ W(x+y) + W(x-y) - 2W(x) \} $ 이다.
• 측도 $ \nu $ 는 모든 $ r > 0 $ 에 대해 농도 불등식 $ \nu(B_r) \geq 1 - \frac{1}{2} \exp\left( -\frac{1}{8} \delta(r/8) \right) $ 을 만족하며, $ B $ 는 $ \nu(B) \geq 1/2 $ 인 임의의 집합이다.
• 모든 $ r > 0 $ 에 대해 농도 추정 $ \nu(A_r) \geq 1 - 2e^{-2\tilde{b}(r/2)} $ 이 성립한다. 여기서 $ \tilde{b} $ 는 $ b(t) = \inf_{\|y\| \geq t} \{ W(x+y) - W(x) - \langle \nabla W(x), y \rangle \} $ 의 최대 볼록 하한이다.