[논문 리뷰] Spectral gaps, symmetries and log-concave perturbations

Franck Barthe, Bo’az Klartag|arXiv (Cornell University)|2019. 07. 03.

Point processes and geometric inequalities참고 문헌 33인용 수 8

한 줄 요약

이 논문은 $ℝ^n$ 상에서 로그볼록 확률 측도에 대한 파oincaré 상수의 치수 의존적 상한을 확립하며, 특히 $ℝ^n$ 상에서 대칭 지수 측도의 로그볼록 변형조차도 파oincaré 상수가 치수에 대해 최대 로그적으로 증가함을 보여준다. 핵심 결과는 $1 \leq p \leq 2$ 에 대해 $p$-노름과 짝수 볼록 퍼텐셜을 갖는 측도에 대해 일반적인 상한 $C_P(\mu) \leq C(\log n)^{(2-p)/p}$ 를 제시하며, 이는 $Â𝕃_p^n$ 절단에 대한 KLS 추측에 대한 부분적인 진전을 확인한다.

ABSTRACT

We discuss situations where perturbing a probability measure on $\mathbb{R}^n$ does not deteriorate its Poincaré constant by much. A particular example is the symmetric exponential measure in $\mathbb{R}^n$, even log-concave perturbations of which have Poincaré constants that grow at most logarithmically with the dimension. This leads to estimates for the Poincaré constants of $(n/2)$-dimensional sections of the unit ball of $\ell_p^n$ for $1 \leq p \leq 2$, which are optimal up to logarithmic factors. We also consider symmetry properties of the eigenspace of the Laplace-type operator associated with a log-concave measure. Under symmetry assumptions we show that the dimension of this space is exactly $n$, and we exhibit a certain interlacing between the "odd" and "even" parts of the spectrum.

연구 동기 및 목표

• 측도 $\nu^{n,Q}$ 의 파oincaré 상수가 $L^1$-노름과 비음수 이차형식 $Q$ 를 조합한 경우, 치수에 대해 균일하게 유계임을 규명하는 것.
• 측도가 라플라스 분포의 곱으로 간소화되는 경우 $Q=0$ 일 때 파oincaré 상수가 최대가 되는지 조사하는 것.
• $\ell_p^n$-형 노름과 짝수, 볼록 퍼텐셜을 갖는 측도에 대해 치수 의존적 상한을 확립하는 것, 특히 $1 \leq p < 2$ 에 대해.
• 짝수, 로그볼록 측도와 관련된 라플라스 유형 연산자의 스펙트럼 구조를 분석하며, 홀수 및 짝수 고유함수의 교차 구조와 고유공간 차원에 초점을 맞추는 것.

제안 방법

• $\ell_p^n$-노름에 대해, 측도의 수준 집합의 파oincaré 상수와의 관계를 맺기 위해 Kolesnikov-Milman 비교 기법을 사용한다.
• 원래 밀도 $\rho$ 의 매끄럽고 로그볼록 근사 $\rho_k$ 를 구성하기 위해 최소화 합성과 미세화를 통한 국소화 기법을 적용하며, $L^1$ 수렴과 거의 모든 곳에서의 점별 수렴을 보장한다.
• Jensen의 부등식과 커플라션 성질을 활용하여 근사 과정에서 볼록성과 리프시츠 정규성을 유지한다.
• 짝수, 로그볼록 측도의 경우, 파oincaré 상수는 오직 홀수 테스트 함수만을 사용하여 특성화될 수 있음을 증명하며, 변분 문제를 홀수 부분공간으로 축소한다.
• $\psi(x) = -\log \rho(x)$ 가 볼록이며 선형 하한 $\psi(x) \geq A|x| - B$ 를 만족함을 이용하여 근사 밀도의 尾 꼬리 감쇠를 제어한다.
• Lebesgue의 수렴정리에 의해 근사 밀도 $\rho_k$ 를 포함하는 적분의 수렴성을 정당화하고 원래 측도 $\rho$ 의 적분으로의 수렴을 보장한다.

실험 결과

연구 질문

• RQ1 $L^1$-노름과 비음수 이차형식 $Q$ 를 갖는 측도 $\nu^{n,Q}$ 의 파oincaré 상수가 $Q$ 에 관계없이 치수에 대해 균일하게 유계일 수 있는가?
• RQ2 대칭 지수 측도(즉, $Q=0$)의 파oincaré 상수가 이러한 모든 변형 중에서 최대인가?
• RQ3 $1 \leq p \leq 2$ 에 대해 $\|x\|_p^p$ 와 짝수, 볼록 퍼텐셜을 갖는 측도의 파oincaré 상수의 최적의 치수 의존성은 무엇인가?
• RQ4 대칭성과 로그볼록성은 관련 라플라스 유형 연산자의 스펙트럼 구조에 어떻게 영향을 미치며, 특히 홀수 및 짝수 고유값의 교차 구조는 어떻게 되는가?
• RQ5 $\ell_p^n$-절단의 파oincaré 상수는 어느 정도로 유계로 간주될 수 있으며, 이는 KLS 추측이 로그 인자까지 확인되는가?

주요 결과

• $ℝ^n$ 상에서 밀도 $e^{-\|x\|_p^p - F(x)}$ 를 갖는 측도 $\mu$ 에 대해, $F$ 가 짝수이고 볼록일 경우, $1 \leq p \leq 2$ 에 대해 유일한 상수 $C$ 를 사용해 $C_P(\mu) \leq C(\log n)^{(2-p)/p}$ 를 만족한다.
• $p=2$ 일 경우, 이 상한은 $C_P(\mu) \leq C$ 로 단순화되며, 치수에 무관하게 유지되며, 가우시안 유형 측도에 대한 알려진 결과와 일치한다.
• $n$ 차원의 $\ell_p^n$-절단 $B_p^n \cap E$ 상의 균일 측도의 파oincaré 상수는 $c(\kappa) \cdot \log^{2/p}(n) \cdot \sup_{\theta \neq 0} \int_E \langle x, \theta/|\theta| \rangle^2 d\lambda_{B_p^n \cap E}(x)$ 로 유계이며, 여기서 $\kappa = \dim(E)/n$ 이다.
• 짝수, 로그볼록 측도의 경우, 파oincaré 상수는 $\lambda_P(\mu) = \inf_{f \text{ odd}} \frac{\int |\nabla f|^2 d\mu}{\mathrm{Var}_\mu(f)}$ 를 통해 홀수 함수로만 정의될 수 있으며, 이는 스펙트럼 갭을 포착하기 위해 홀수 함수만으로도 충분함을 보여준다.
• 짝수 함수는 스펙트럼에서 크게 뒤처지지 않으며, 대칭 하에 홀수 및 짝수 스펙트럼 부분의 균형 잡힌 교차가 이루어짐을 시사한다.
• 저자는 주어진 로그볼록 밀도 $\rho$ 에 대해, 지지집합에서 국소 균일 수렴과 $L^1$ 수렴을 보장하는 매끄럽고 로그볼록인 근사 $\rho_k$ 의 수열을 구성하며, 이는 적분과 파oincaré 상수 추정의 수렴을 가능하게 한다.