[논문 리뷰] An Almost Constant Lower Bound of the Isoperimetric Coefficient in the KLS Conjecture

Yuansi Chen|arXiv (Cornell University)|2020. 11. 27.

Markov Chains and Monte Carlo Methods참고 문헌 21인용 수 7

한 줄 요약

이 논문은 KLS 추측에서 등周율 계수에 대한 거의 일정한 하한을 확립하며, 이전의 차원 의존성 d^{-1/4}을 d^{-o_d(1)}으로 향상시킨다. 반정적 마르팅글레의 이론과 이토 미적분을 기반으로 한 정교화된 확률적 국소화 기법을 사용하여, 渐近적으로 보편 상수에 수렴하는 차원에 의존하는 하한을 도출한다. 이는 기존의 최선의 하한을 크게 강화하며, 보르하인의 슬라이싱 추측과 박막 껍질 추측과 같은 관련 추측들에서도 개선된 결과를 암시한다.

ABSTRACT

We prove an almost constant lower bound of the isoperimetric coefficient in the KLS conjecture. The lower bound has the dimension dependency $d^{-o_d(1)}$. When the dimension is large enough, our lower bound is tighter than the previous best bound which has the dimension dependency $d^{-1/4}$. Improving the current best lower bound of the isoperimetric coefficient in the KLS conjecture has many implications, including improvements of the current best bounds in Bourgain's slicing conjecture and in the thin-shell conjecture, better concentration inequalities for Lipschitz functions of log-concave measures and better mixing time bounds for MCMC sampling algorithms on log-concave measures.

연구 동기 및 목표

• 고차원 확률과 기하학 전반에 걸쳐 영향을 미치는 KLS 추측에서 등周율 계수에 대한 현재까지의 최선의 하한을 향상시키는 것.
• 로그-볼록 측도에서 체거 등周율 계수에 대한 거의 일정한 하한을 달성하는 데 오랫동안 지속된 과제를 해결하는 것.
• 엘단과 리–벤팔라의 확률적 국소화 방법을 정교화하여 더 날카운 차원 의존성 하한을 도출하는 것.
• 새로운 하한이 보르하인의 슬라이싱 추측과 박막 껍질 추측을 포함한 관련 추측들에서 개선된 정량적 결과를 암시하는지 보여주는 것.
• 차원에 의존하는 하한을 도출하여 渐近적으로 보편 상수에 수렴하게 하며, 이는 이전의 d^{-1/4} 의존성보다 향상된 것.

제안 방법

• 시간에 따라 변화하는 평균과 공분산 과정을 갖는 확률적 미분 방정식(SDE)을 기반으로 한 정교화된 확률적 국소화 기법을 사용한다.
• 이토의 미적분을 적용하여 밀도, 평균, 공분산 행렬, 공분산 행렬의 트레이스 기능이 시간에 따라 어떻게 변화하는지 유도한다.
• 공분산 행렬의 거듭제곱과 항등행렬의 곱의 트레이스를 포함하는 텐서 모멘트 부등식을 적용한다.
• 잠재 함수를 도입하고, 새로운 트레이스 부등식을 적용하여 이차 변동성과 모멘트 항의 성장을 통제한다.
• 차원과 로그 인자 간의 상충을 균형 잡는 데 사용되는 매개변수 ℓ를 사용하여 등周율 계수에 대한 재귀적 하한을 유도한다.
• 최적의 渐近적 차원 의존성 d^{-o_d(1)}을 달성하기 위해 ℓ = ⌈(log d / log log d)^{1/2}⌉로 선택한다.

실험 결과

연구 질문

• RQ1 KLS 추측에서 등周율 계수 하한의 차원 의존성이 d^{-1/4}를 초월하여 향상될 수 있는가?
• RQ2 고차원에서 등방성 로그-볼록 측도에 대한 체거 등周율 계수에 대한 가장 날카운 하한은 무엇인가?
• RQ3 확률적 국소화 방법을 정교화하면 등周율 계수에 대한 결과 하한에 어떤 영향을 미치는가?
• RQ4 KLS 하한을 향상시키는 것이 보르하인의 슬라이싱 추측과 박막 껍질 추측과 같은 관련 추측들에서 하한을 얼마나 향상시키는가?
• RQ5 최적의 매개변수 조정을 통해 확률적 국소화 프레임워크를 이용해 거의 일정한 하한을 달성할 수 있는가?

주요 결과

• 논문은 ψ(p) ≥ 1 / [c·ℓ(log d + 1)]^{ℓ/2} d^{16/ℓ} √ρ(p) 형태의 하한을 확립하며, 이는 이전의 d^{-1/4} 의존성으로 이루어진 최선의 하한을 향상시킨다.
• ℓ = ⌈(log d / log log d)^{1/2}⌉로 선택함으로써, 하한은 ψ(p) ≥ 1 / d^{c′ (log log d / log d)^{1/2}} √ρ(p) 형태가 되며, 이는 어떤 d^{-c''} 하한보다 渐近적으로 더 낫다.
• d → ∞일 때 (log log d / log d)^{1/2} → 0이므로, 하한은 보편 상수에 수렴하며, 이는 차원에 대해 거의 일정하다.
• 이 결과는 박막 껍질 상수와 슬라이싱 상수에 대한 개선된 상한을 암시하며, 이는 이전에 d^{1/4} 의존성을 지녔다.
• 분석은 확률적 국소화 방법이 고차 모멘트 부등식과 트레이스 항등식을 체계적으로 활용하여 정교화될 수 있음을 확인한다.
• 증명은 대칭 행렬에 대한 새로운 트레이스 부등식과 국소화 과정을 지배하는 SDE에 대한 이토 공식의 정교한 적용에 의존한다.