[논문 리뷰] Bourgain's slicing problem and KLS isoperimetry up to polylog

Bo’az Klartag, Joseph Lehec|arXiv (Cornell University)|2022. 03. 29.

Advanced Combinatorial Mathematics인용 수 6

한 줄 요약

이 논문은 스토하스틱 로컬라이제이션과 스펙트럴 분석을 통해 얇은 껍질 상수와 편성 상수 사이의 관계를 정교화하여, 차원에 대해 다항로그 인자까지 Bourgain의 슬라이싱 문제와 KLS 등지의 등지화 추측이 참임을 입증한다. 핵심 결과는 $\sigma_n \leq C(\log n)^4$ 및 $\psi_n \leq C'(\log n)^5$의 유계를 확보함으로써, 두 추측을 다항로그 인자까지 해결한다.

ABSTRACT

We prove that Bourgain's hyperplane conjecture and the Kannan-Lovász-Simonovits (KLS) isoperimetric conjecture hold true up to a factor that is polylogarithmic in the dimension.

연구 동기 및 목표

• 차원에 대해 다항로그 인자까지 Bourgain의 슬라이싱 문제와 KLS 등지화 추측이 참임을 입증하는 것.
• 등지화된 로그-준연속 측도에 대한 얇은 껍질 상수 $\sigma_n$ 과 등지화 상수 $\psi_n$ 에 대한 기존 최고의 유계를 향상시키는 것.
• 스토하스틱 로컬라이제이션과 스펙트럴 기법을 통해 편성 상수, 얇은 껍질 상수, KLS 추측 간의 관계를 정교화하는 것.
• Chen의 최근 유계 $L_n \leq C_1 \exp(C_2 \sqrt{\log n \cdot \sqrt{\log \log(3n)}})$ 에 비해 지수적 제약에서 다항로그 제약으로의 양적 개선을 제공하는 것.

제안 방법

• 등지화된 로그-준연속 측도 $\mu$ 를 시간에 따라 변화하는 오르nstain-ühlenbeck 과정을 통해 가족 $\mu_t$ 로 매핑하는 파arameter $t$ 를 가진 스토하스틱 로컬라이제이션을 활용한다.
• 좌표 함수의 분산을 제어하기 위해 $H^{-1}$-노름 부등식을 적용하여 $\mathrm{Var}_\mu(f) \leq 4 \sum_{i=1}^n \|x_i\|_{H^{-1}(\mu)}^2$ 의 유계를 이끌어낸다.
• 좌표 함수의 스펙트럴 측도 하에서 고유값 분포를 추적하기 위해 스펙트럴 질량 함수 $F(\lambda) = \frac{1}{n} \sum_{i=1}^n \nu_{x_i}([0,\lambda])$ 를 도입한다.
• 유계 $F(\lambda) \leq C\left(\frac{1}{n}\mathbb{E}|a_t|^2 + \frac{\lambda}{t}\right)$ 의 항들을 균형 잡기 위해 $t$ 에 대한 시간에 따라 변화하는 최적화를 시행하여 $F(\lambda) \leq \tilde{C}\lambda^{4/5} t_1^{-3/5}$ 를 이끌어낸다.
• 유계 $\sigma_\mu^2 \leq 4 \int_{\lambda_1}^\infty \frac{F(\lambda)}{\lambda^2} d\lambda$ 를 사용하여 $\sigma_\mu^2 \leq C t_1^{-4/5}$ 를 유도하며, 여기서 $t_1 = (C \kappa_n^2 \log n)^{-1}$ 이다.
• 이 유계를 Eldan의 부등식 $\psi_n \leq \tilde{C} \sigma_n \log n$ 와 결합하여 $\psi_n \leq C'(\log n)^5$ 를 도출한다.

실험 결과

연구 질문

• RQ1 스라이싱 문제와 KLS 추측은 차원에 대해 다항로그 인자까지 해결될 수 있는가?
• RQ2 등지화된 로그-준연속 측도에 대해 얇은 껍질 상수 $\sigma_n$ 에 대한 최고의 양적 유계는 무엇인가?
• RQ3 스토하스틱 로컬라이제이션과 스펙트럴 분석을 통해 편성 상수와 등지화 상수의 유계를 어떻게 향상시킬 수 있는가?
• RQ4 얇은 껍질 상수 $\sigma_n$ 과 등지화 상수 $\psi_n$ 간의 격차는 다항로그 인자까지 줄일 수 있는가?

주요 결과

• 논문은 등지화된 로그-준연속 측도의 얇은 껍질 상수에 대해 $\sigma_n \leq C(\log n)^4$ 를 입증하여 이전의 유계를 향상시켰다.
• 등지화 상수에 대해 $\psi_n \leq C'(\log n)^5$ 를 증명하여 KLS 추측이 다항로그 인자까지 확인됨을 보였다.
• Bourgain의 슬라이싱 문제에 대해 $L_n \leq C(\log n)^4$ 의 유계를 도출하였으며, 이는 체적 1인 모든 볼록체가 $(n-1)$-체적 최소 $1/L_n$ 을 갖는 초평면 절단을 가짐을 보여준다.
• 저자들은 스토하스틱 로컬라이제이션과 스펙트럴 분석의 새로운 응용을 통해 편성 상수와 얇은 껍질 상수 간의 관계를 정교화함으로써 이를 달성하였다.
• Chen의 최근 유계 $L_n \leq C_1 \exp(C_2 \sqrt{\log n \cdot \sqrt{\log \log(3n)}})$ 에 비해 지수적 제약에서 다항로그 제약으로의 전환을 통해 유의미한 개선을 이뤘다.
• 예상 가능한 향상 방향으로는 $H^{-1}$-부등식의 강화 또는 스펙트럴 질량 추정치 $F(\lambda)$ 의 정교화를 제시한다.