로그볼록 측정의 최적 인피멈 컨볼루션 부등식

본 논문은 “인피멈 컨볼루션 부등식”(Infimum Convolution inequality, 이하 IC)이라는 새로운 개념을 도입하여, 확률 측정 μ와 비용 함수 ϕ 사이의 (τ) 성질을 최적화한다. (τ) 성질은 모든 유계 측정 함수 f에 대해 ∫e^{f⊞ϕ} dμ·∫e^{-f} dμ ≤1 을 만족하는데, 이는 Maurey가 지수형 측정에 대해 제시한 농도 결과의 근본적인 원리이다. 저자들은 ϕ를 가능한 가장 큰 볼록 함수인 Λ⋆μ로 선택함으로써, (τ)와 동등한 최적 부등식을 얻는다. 여기서 Λμ(v)=log∫e^{⟨v,x⟩}dμ(x)이며, Λ⋆μ는 그 Legendre 변환이다. Λ⋆μ는 대편차 이론에서 흔히 등장하는 “율-함수”이며, μ의 모든 선형 함수에 대한 순간생성함수를 포괄한다. 논문은 먼저 (τ)와 IC 사이의 기본 관계를 정리한다. 텐서화(Prop. 2.2)와 전이(Prop. 2.3)를 이용해, 개별 측정이 (τ)를 만족하면 그 텐서곱도 (τ)를, 선형 변환을 적용한 측정도 (τ)를 만족한다는 사실을 보인다. 이어서 ϕ가 반경별 비감소하는 경우, 농도 부등식(2)–(5)와 (τ) 사이의 역관계를 제시한다. 특히, Cheeger 불평등을 이용해 작은 t 구간에서의 농도 추정과, 대규모 t 구간에서의 두 단계 농도 부등식(6)을 연결한다. 핵심 정의(2.13)에서는 μ가 IC(β) 를 만족한다는 것을 “(μ, Λ⋆μ(·/β)) 가 (τ)를 만족한다”는 형태로 정의한다. 이때 β는 스케일 상수이며, 텐서화와 전이를 통해 제품 측정에서도 동일한 β를 유지한다(Prop. 2.14). 또한, IC를 등가적으로 표현하는 식(13)을 제시하여, 모든 비어 있지 않은 집합 V⊂ℝ^{n+1}에 대해 ∫e^{f⊞ψ_V} dμ ≤ sup_{v∈V} e^{v₀}∫e^{β⟨x,ṽ⟩} dμ 가 성립함을 보인다. 여기서 ψ_V는 V에 대한 상한 함수이며, 이는 Λ⋆μ와 직접 연결된다. 다음으로, 로그볼록 측정에 대한 IC의 존재를 증명한다. 로그볼록성은 μ의 밀도가 e^{-V(x)} 형태이며 V가 볼록함을 의미한다. 저자들은 1차원에서 Maurey의 결과를 텐서화하여 n차원 로그볼록 제품 측정이 IC를 만족함을 보인다(Cor. 2.19). 비제품 예로는 ℓₚⁿ 구의 균등 측정 μ_{p,n}을 다룬다. p≥1에 대해, 두 구간(p≤2, p≥2)으로 나누어 증명을 전개한다. p≤2 구간에서는 Cheeger 불평등과 기존 두 단계 농도 부등식(6)을 결합해 μ_{p,n}이 IC(β) 를 만족함을 보인다(섹션 5.2). p≥2 구간에서는 새로운 로그‑소벨 부등식(Theorem 5.31)을 증명하고, 이를 이용해 IC를 얻는다(섹션 5.3). 이 과정에서 Bₙ^p의 기하학적 특성(볼의 부피, 표면적)과 전이 정리를 정교히 활용한다. IC가 성립하면 강력한 농도 결과가 즉시 도출된다. Corollary 3.10은 IC가 L_p-중심체(L_p‑centroid bodies)와 연관된 최적 농도 부등식을 제공함을 보인다. Proposition 3.12은 약·강 모멘트 비교를, Proposition 3.15은 Klartag의 중앙극한정리와 Paouris의 꼬리 추정(∥X∥₂ ≥ t·E∥X∥₂ ⇒ P(∥X∥₂≥t) ≤ exp(−c t))을 각각 도출한다. 특히, IC를 통해 얻은 농도는 기존 방법보다 상수가 최적에 가깝고, 측정의 로그볼록성만으로도 이러한 고급 결과를 얻을 수 있음을 강조한다. 마지막으로, 논문은 IC가 로그볼록 측정 전반에 보편적으로 적용될 가능성을 제시한다. 비로그볼록 측정에 대한 확장, 더 일반적인 비용 함수(예: 비대칭, 비볼록)와의 관계, 그리고 고차원 기하학적 구조(예: 고차원 복합체)와의 연결을 향후 연구 과제로 남긴다. 전체적으로, 저자들은 IC라는 새로운 도구를 통해 농도 이론, 대편차, 로그‑소벨, 그리고 중심극한정리 사이의 깊은 연관성을 밝히며, 로그볼록 측정과 ℓₚⁿ 구에 대한 이해를 크게 확장한다.