[논문 리뷰] Entropies, convexity, and functional inequalities

Djalil Chafaï|arXiv (Cornell University)|2002. 11. 06.

Mathematical Approximation and Integration참고 문헌 28인용 수 105

한 줄 요약

이 논문은 $\Phi$-Sobolev 부등식의 통합 프레임워크를 제안하며, $\Phi$-엔트로피를 통해 Poincaré 및 로그-소볼레프 부등식을 일반화하고, 텐서화, 컨볼루션, 유계 변형에 대한 안정성을 확립한다. 주요 기여는 초수렴성 확산, 로그-볼록 측도, 위너 공간, 포아송 공간 등과 같은 넓은 범주에서 $\Phi$에 대한 단순한 볼록성 조건 하에 이러한 부등식이 성립하는 측도의 클래스를 규명한 것이다. 증명은 본질적으로 볼록 해석학에 기반한다.

ABSTRACT

Our aim is to provide a short and self contained synthesis which generalise and unify various related and unrelated works involving what we call Phi-Sobolev functional inequalities. Such inequalities related to Phi-entropies can be seen in particular as an inclusive interpolation between Poincare and Gross logarithmic Sobolev inequalities. In addition to the known material, extensions are provided and improvements are given for some aspects. Stability by tensor products, convolution, and bounded perturbations are addressed. We show that under simple convexity assumptions on Phi, such inequalities hold in a lot of situations, including hyper-contractive diffusions, uniformly strictly log-concave measures, Wiener measure (paths space of Brownian Motion on Riemannian Manifolds) and generic Poisson space (includes paths space of some pure jumps Levy processes and related infinitely divisible laws). Proofs are simple and relies essentially on convexity. We end up by a short parallel inspired by the analogy with Boltzmann-Shannon entropy appearing in Kinetic Gases and Information Theories.

연구 동기 및 목표

• Poincaré 및 로그-소볼레프 부등식을 $\Phi$-Sobolev 부등식의 단일 프레임워크를 통해 통합하고 일반화한다.
• 텐서화, 컨볼루션, 유계 변형에 대한 $\Phi$-Sobolev 부등식의 안정성을 확립한다.
• 초수렴성 확산, 균일하게 로그-볼록 측도, 위너 공간, 포아송 공간 등과 같은 넓은 측도의 클래스에서 $\Phi$에 대한 최소한의 볼록성 조건 하에 이러한 부등식이 성립함을 규명한다.
• $\Phi$-엔트로피가 함수적 부등식에서 수행하는 역할을 명확히 하고, 운동 이론 및 정보 이론에서 볼츠만-샤논 엔트로피와의 유사성을 밝힌다.

제안 방법

• $\Phi$-엔트로피를 $\mathbf{Ent}_{\mu}^{\Phi}(f) = \int \Phi(f)\,d\mu - \Phi(\int f\,d\mu)$로 정의하여 분산과 샤논 엔트로피를 일반화한다.
• 마코프 과정과 관련된 딜레르드 형식을 기술하기 위해 무한소 생성자 $\mathbf{L}$ 과 카르레 두 샹지 $\Gamma$ 를 사용한다.
• $\Phi$의 볼록성 조건 하에 $\mathbf{Ent}_{\mu}^{\Phi}(f) \leq C \cdot \int \Gamma(f,f)\,d\mu$ 형태의 $\Phi$-Sobolev 부등식을 수립한다.
• 곱 측도의 구조를 통해 텐서화에 대한 안정성을 증명하고, 로그-볼록성과 볼록성을 이용해 컨볼루션에 대한 안정성을 확보한다.
• 특정 설정에 적용: 초수렴성 확산, 리만 다양체 위의 위너 공간, 순수 점프 레비 과정과 관련된 포아송 공간.
• 볼츠만-샤논 엔트로피와의 유사성을 도출하며, 볼록 쌍대 함수와 최대 엔트로피 원리의 역할을 강조한다.

실험 결과

연구 질문

• RQ1 $\Phi$에 어떤 조건이면 $\Phi$-Sobolev 부등식이 Poincaré와 로그-소볼레프 부등식 사이를 보간하는가?
• RQ2 기본 측도의 텐서화, 컨볼루션, 유계 변형에 대해 $\Phi$-Sobolev 부등식은 어떻게 행동하는가?
• RQ3 어느 정도의 볼록성 조건 하에, 확산, 브라운 운동, 또는 레비 과정과 같은 다양한 확률 과정이 $\Phi$-Sobolev 부등식을 만족하는가?
• RQ4 $\Phi$-엔트로피는 샤논 엔트로피 및 볼츠만-샤논 엔트로피의 성질을 어느 정도 상속하는가? 특히 부분합성과 최대 엔트로피 원리 측면에서.

주요 결과

• 모든 균일하게 엄격하게 로그-볼록 측도에서 $\Phi$에 대한 미약한 볼록성 조건 하에 $\Phi$-Sobolev 부등식이 성립하며, 기존 결과를 일반화한다.
• 부등식은 텐서화에 대해 안정적이다: 한 성분에 대해 성립하면 동일한 상수를 가진 곱 측도에서도 성립한다.
• 리만 다양체 위의 브라운 운동(위너 공간)에 대해서도 $\Phi$-Sobolev 부등식은 동일한 $\Phi$의 볼록성 조건 하에 성립한다.
• 순수 점프 레비 과정과 관련된 포아송 공간에서도 부등식이 성립하여, 점프 과정으로의 프레임워크 확장을 이룬다.
• $\Phi$가 볼록이면 $\Phi$-엔트로피 기능은 그 인자에 대해 볼록이며, $\Phi$가 엄격히 볼록이면 $f$가 $\mu$-거의확실하게 상수일 때에만 0이 된다.
• 이 프레임워크는 최대 엔트로피 원리를 복원한다: 선형 제약 조건 하에서 $\mathbf{H}^{\Phi}$는 볼츠만-지브스형 측도에서 최댓값을 가지며, 밀도는 $\widehat{\Phi}$의 양의 쌍대 함수의 역함수로 주어진다.