[논문 리뷰] A note on the convex infimum convolution inequality

Naomi Feldheim, Arnaud Marsiglietti외 2명|arXiv (Cornell University)|2015. 05. 01.

Functional Equations Stability Results참고 문헌 10인용 수 6

한 줄 요약

이 논문은 Maurey의 일차원 볼록 최소값 병합 부등식을 만족하는 대칭 측도를 특성화하며, 이러한 측도가 제품 측도 하에서 볼록 집합과 리프시츠 함수에 대해 이중 수준의 Talagrand형 농도를 유도함을 보여준다. 핵심 결과는 볼록 성질 (τ)의 텐서화가 혼합 노름에서 가우시안 및 지수 꼬리와 함께 강력한 농도를 유도함을 나타낸다.

ABSTRACT

We characterize the symmetric measures which satisfy the one dimensional convex infimum convolution inequality of Maurey. For these measures the tensorization argument yields the two level Talagrand's concentration inequalities for their products and convex sets in $\mathbb{R}^n$.

연구 동기 및 목표

• R 위의 대칭 Borel 확률 측도 중 일차원 볼록 최소값 병합 부등식(성질 (τ))을 만족하는 것을 특성화하기 위해
• 이 특성화를 R^n 위의 제품 측도로 확장하고 볼록 집합에 대한 농도 부등식을 도출하기 위해
• 이러한 측도 하에서 볼록 집합과 리프시츠 함수에 대해 이중 수준의 Talagrand형 농도 부등식을 수립하기 위해
• 성질 (τ)가 Poincaré 부등식을 만족하지 않는 측도일지라도 Poincaré보다 더 강력한 농도를 유도함을 보여주기 위해

제안 방법

• 비음수 비용 함수 φ를 사용한 볼록 최소값 병합 부등식(성질 (τ))을 적용하며, 이를 다음과 같이 정의한다: (f□φ)(x) = inf_y {f(y) + φ(x−y)}
• 제품 측도 μ = μ₁ ⊗ … ⊗ μₙ에 대해 성질 (τ)의 텐서화를 적용하여, φ(x) = ∑φ₀(xᵢ/C_τ) 형태로 부등식을 유지한다
• 부등식 μ(A + B_φ(t)) ≥ 1 − e^{-t}/μ(A)를 통해 볼록 집합의 농도를 도출하며, 여기서 B_φ(t) = {x : φ(x) ≤ t}이다
• x = y + z로 분해하여 |y|₂ ≤ √(2t)C_τ 및 |z|₁ ≤ 2tC_τ를 만족시키며, 이를 통해 x ∈ √(2t)C_τB₂ⁿ + 2tC_τB₁ⁿ임을 도출한다
• 리프시츠 함수에 대한 중앙값 기반 농도 한계를 적용하여, A = {f ≤ Medₐf} 및 B = {f < Medₐf − r} 형태의 볼록 집합을 통해 尾 확률 추정을 유도한다
• 지수 꼬리 한계를 증명한다: 1-리프시츠 함수 f에 대해 μ(|f − Medₐf| > r) ≤ 2 exp(−1/8 min{r/b, r²/a²})이며, a, b는 비용 함수 φ와 관련된다

실험 결과

연구 질문

• RQ1 R 위의 어떤 대칭 측도가 일차원 볼록 최소값 병합 부등식(성질 (τ))을 만족하는가?
• RQ2 성질 (τ)는 제품 측도 하에서 어떻게 텐서화되어 R^n에서 농도를 유도하는가?
• RQ3 로그-소볼레브 또는 Poincaré 부등식 대신 성질 (τ)를 사용하여 볼록 집합에 대해 이중 수준의 Talagrand형 농도를 수립할 수 있는가?
• RQ4 리프시츠 함수의 정확한 꼬리 한계는 무엇인가? 이는 볼록 최소값 병합 부등식을 만족하는 측도 하에서 성립한다.
• RQ5 성질 (τ)는 Poincaré 부등식보다 더 강력한 농도를 유도하는가? 특히 로그-볼록이 아니거나 원자 측도일 경우 어떻게 되는가?

주요 결과

• 논문은 일차원 볼록 최소값 병합 부등식을 만족하는 대칭 측도를 완전히 특성화하며, 이는 부등식의 최적 상수가 유한하고 Muckenhoupt 유형 조건과 관련되어 있음을 보여준다
• 이러한 측도에 대해 성질 (τ)의 텐서화는 이중 수준의 농도를 유도한다: μ(A + 6√tB₂ⁿ + 9tB₁ⁿ) ≥ 1 − e^{-t}/μ(A), 이는 Talagrand의 결과를 일반화한다
• 볼록 집합의 농도는 최소값 병합 부등식을 통해 도출되며, 이를 통해 μ(A + B_φ(t)) ≥ 1 − e^{-t}/μ(A)를 얻는다. 여기서 B_φ(t)는 비용 함수의 하위레벨 집합이다
• 1-리프시츠 함수 f에 대해 중앙값 이탈은 μ(|f − Medₐf| > r) ≤ 2 exp(−1/8 min{r/b, r²/a²})를 만족하며, a, b는 비용 함수 φ에 따라 달라진다
• 이 방법은 Poincaré 부등식보다 더 강력한 농도를 유도한다. 성질 (τ)는 √t와 t 항 모두에서 지수 감소를 보이며, Poincaré 부등식은 √t 항만을 포함한다
• 결과는 Poincaré 부등식을 만족하지 않는 측도, 예를 들어 순수 원자 측도일지라도, 볼록 최소값 병합 부등식을 만족하면 적용 가능하다