[논문 리뷰] Improved Hölder and reverse Hölder inequalities for correlated Gaussian random vectors

Wei-Kuo Chen, Nikos Dafnis외 1명|arXiv (Cornell University)|2013. 06. 11.

Point processes and geometric inequalities참고 문헌 23인용 수 3

한 줄 요약

이 논문은 공분산 행렬 비교 기반의 대수적 기준을 도입하여 상관된 가우시안 랜덤 벡터의 함수 곱에 대해 향상된 헬더 및 역헬더 부등식을 수립한다. 주요 기여는 고전적 헬더 및 역헬더 부등식을 일반화하고, 기존 결과인 가우시안 하이퍼컨트랙티비티와 프레코파-라인들러 부등식을 복원하며, 가우시안 측도에 대한 기하학적 브라스앰프-라이브 부등식을 통해 두 분야를 통합하는, 공분산에 의존하는 날카운 부등식을 제공한다.

ABSTRACT

We propose algebraic criteria that yield sharp Hölder types of inequalities for the product of functions of Gaussian random vectors with arbitrary covariance structure. While our lower inequality appears to be new, we prove that the upper inequality gives an equivalent formulation for the geometric Brascamp-Lieb inequality for Gaussian measures. As an application, we retrieve the Gaussian Hypercontractivity as well as its reverse and we present a generalization of the sharp Young and reverse Young inequalities. From the latter, we recover several known inequalities in literatures including the Prékopa-Leindler and Barthe inequalities.

연구 동기 및 목표

• 상관된 가우시안 랜덤 벡터의 함수 곱의 기대값에 대해 고전적 헬더 부등식을 초월하는 개선된 이면 경계를 유도하는 것.
• 전체 공분산 행렬 T와 블록 대각 행렬 P = diag(p₁T₁₁, ..., pₘTₘₘ) 간의 비교를 기반으로 한 대수적 기준을 설정하여 헬더 유형 부등식이 성립하는 조건을 규명하는 것.
• 상한 부등식 (1.4)가 가우시안 측도에 대한 기하학적 브라스앰프-라이브 부등식과 동치임을 보여, 분석 분야의 두 주요 영역을 통합하는 것.
• 가우시안 하이퍼컨트랙티비티, 역하이퍼컨트랙티비티, 날카운 얀 및 역양 부등식과 같은 기존 부등식을 복원하고 일반화하는 것.
• 유도된 경계를 활용하여 가우시안 설정에서 엔트로피 부등식과 함수 부등식의 새로운 프레임워크를 제시하는 것.

제안 방법

• 행렬 부등식 조건 제안: T ≤ P (여기서 P = diag(p₁T₁₁, ..., pₘTₘₘ)) 이면, pᵢ > 1 이면 𝔼[∏fᵢ(Xᵢ)] ≤ ∏(𝔼fᵢ(Xᵢ)^{pᵢ})^{1/pᵢ} 를 만족한다.
• 테스트 함수 fᵢ(xᵢ) = exp(⟨αᵢ, xᵢ⟩) 를 사용하여, 부등식 조건 T ≤ P 와 T ≥ P 가 각각 상한 및 하한 경계가 항상 성립하기 위한 필요충분조건임을 보인다.
• 라그랑주 승수법과 가우시안 모멘트 계산을 적용하여, 부등식이 성립하기 위한 임계 조건 (T − P) ≥ 0 또는 ≤ 0 을 유도한다.
• Lᵖ 노름을 p = 1 에서 미분하여 엔트로피 부등식으로 일반화함으로써, 적분, 노름, 엔트로피를 포함하는 삼항 연속 부등식을 도출한다.
• 피부니의 정리와 변수 변경을 사용하여 다변량 가우시안 함수의 Lᵖ 노름을 엔트로피 표현식과 연결한다.
• 공분산 구조를 포함한 결정인자 보정 항이 있는 가중치 합과의 조합으로 국소 분포의 엔트로피를 bound하는 새로운 엔트로피 부등식 (6.15) 를 유도한다.

실험 결과

연구 질문

• RQ1 공분산 행렬 T 와 지수 pᵢ 가 어떤 조건일 때 기대값 𝔼[∏fᵢ(Xᵢ)] 이 고전적 부등식을 초월하는 헬더 유형 상한 경계를 만족하는가?
• RQ2 공분산 행렬 T 가 블록 대각 행렬 P = diag(p₁T₁₁, ..., pₘTₘₘ) 와 상대적으로 어떤 구조를 가지는가에 따라 상한 또는 하한 부등식이 성립하는가?
• RQ3 향상된 헬더 부등식이 가우시안 측도에 대한 기하학적 브라스앰프-라이브 부등식과 동치임을 입증할 수 있는가?
• RQ4 이 새로운 부등식 프레임워크가 가우시안 하이퍼컨트랙티비티 및 프레코파-라인들러 부등식과 같은 기존 결과를 어느 정도 복원하거나 일반화할 수 있는가?
• RQ5 유도된 엔트로피 부등식 (6.15) 에서 결정인자와 엔트로피 항의 역할은 무엇이며, 이들은 가우시안 벡터의 종속성 구조를 어떻게 반영하는가?

주요 결과

• 상한 부등식 (1.4) 는 전체 공분산 행렬 T 가 T ≤ P = diag(p₁T₁₁, ..., pₘTₘₘ) 를 만족할 때에만 성립하며, 개선된 헬더 경계를 위한 날카운 행렬 기반 기준을 제공한다.
• 역부등식 (1.5) 는 T ≥ P 일 때에만 성립하며, fᵢ 가 거의 확실히 비상수이고 T ≫ P 이면 엄밀한 부등식이 성립한다.
• 상한 부등식 (1.4) 는 가우시안 측도에 대한 기하학적 브라스앰프-라이브 부등식과 동치이며, 기능적 부등식과 기하학적 부등식 간의 깊은 연결을 확립한다.
• 이 프레임워크는 m = 2 이고 p₁, p₂ 가 헬더 조건을 만족할 때 가우시안 하이퍼컨트랙티비티 및 그 역을 특수한 경우로 포함한다.
• 이 방법은 날카운 양 및 역양 부등식의 일반화를 이끌어내며, 이는 프레코파-라인들러 및 바르테 부등식을 특수한 경우로 포함한다.
• 새로운 엔트로피 부등식 (6.15) 가 도출되었으며, 이는 국소 분포의 엔트로피가 개별 엔트로피의 가중치 합과 공분산 구조를 포함한 결정인자 보정 항으로 bound됨을 보여준다.