A universal bound in the dimensional Brunn-Minkowski inequality for log-concave measures

기술적 요약: 로그-볼록 측도에 대한 차원 브룬-민코프스키 부등식에서의 보편적 상한

문제 제기
본 논문은 로그-볼록 측도에 대한 차원 브룬 - 민코프스키 추측을 다룬다. 르베그 측도에 대한 고전적인 브룬 - 민코프스키 부등식은 볼록 집합의 민코프스키 평균의 부피가 $|\lambda K + (1-\lambda)L|^{1/n} \geq \lambda |K|^{1/n} + (1-\lambda)|L|^{1/n}$을 만족한다고 명시하지만, 임의의 짝수 로그 - 볼록 확률 측도 $\mu$와 대칭 볼록 집합 $K, L$에 대해서는 유사한 부등식이 성립할 것이라고 추측된다:
$$\mu(\lambda K + (1-\lambda)L)^{1/n} \geq \lambda \mu(K)^{1/n} + (1-\lambda)\mu(L)^{1/n}.$$
가드너 (Gardner) 와 즈바비치 (Zvavitch) 가 제안하고 콜레안티 (Colesanti), 리브슈츠 (Livshyts), 마르실리에티 (Marsiglietti) 가 추가로 연구한 이 추측은 여전히 완전한 일반성 하에서 해결되지 않은 상태이다. 본 논문은 모든 짝수 로그 - 볼록 측도와 대칭 볼록 집합에 대해 $\mu(\lambda K + (1-\lambda)L)^p \geq \lambda \mu(K)^p + (1-\lambda)\mu(L)^p$가 성립하도록 하는 지수 $p$에 대한 보편적 하한을 확립하는 것을 목표로 한다.

방법론
저자는 측도 $d\mu = e^{-V}dx$와 관련된 가중 라플라시안 연산자 $L u = \Delta u - \langle \nabla u, \nabla V \rangle$의 스펙트럼 성질을 활용하는 $L^2$ 방법(콜레스니코프와 밀만의 방법으로 알려져 있음) 을 사용한다. 핵심 전략은 다음과 같다:

1. 명제 4.1 (KL [39]): 민코프스키 합의 측도의 볼록성을 함수 $u$의 헤세 행렬과 연산자 $L$을 포함하는 스펙트럼 부등식과 연결하는 기준이다. 구체적으로, $\|\nabla^2 u\|^2$와 $Lu$를 포함하는 특정 부등식이 성립하면 원하는 브룬 - 민코프스키 유형의 부등식이 따라온다.
2. 명제 4.2: 대칭 부분집합 $A \subset K$에 대해 $(\int_A Lu d\mu)^2$의 관점에서 $\int_K \|\nabla^2 u\|^2 d\mu$에 대한 하한을 확립하는 핵심 기술적 보조정리이다. 이 하한은 제한된 측도의 퐁카레 상수 $C_{poin}(K, \mu)$와 포텐셜 $V$의 기하학에 의존한다.
3. 퐁카레 상수 추정: 본 논문은 대칭 볼록 집합으로 제한된 등방성 로그 - 볼록 측도에 대한 $C_{poin}(K, \mu)$의 상한을 유도한다. 이는 다음에 의존한다:
   • 로그 - 볼록 측도 이론의 기법 (클라라트, 밀만).
   • 측도의 집중성에 관한 KLS 추측에 대한 최근의 진전 (천 [33], 리 - 벤팔라 [47], 엘단 [24]).
   • 큰 측도 부분집합에서 포텐셜 $V$의 기울기에 관한 기하학적 보조정리 (보조정리 4.4, 4.5).
4. 특정 측도 분석: 특정 클래스의 측도 (예: $e^{-\|x\|_p^p}$) 의 경우, 저자는 일반적인 퐁카레 상한과 모멘트에 대한 특정 추정 (보조정리 4.8) 및 스케일링 성질을 결합하여 지수를 정제한다.

주요 기여 및 결과

• 정리 A (보편적 상한): $\mathbb{R}^n$ 위의 임의의 짝수 로그 - 볼록 확률 측도 $\mu$와 임의의 대칭 볼록 집합 쌍 $K, L$에 대해, 부등식이 다음 지수로 성립한다:
  $$c_n = n^{-4-o(1)}.$$
  여기서 $o(1)$은 $n \to \infty$일 때 0 으로 수렴하는 양의 항을 나타낸다. 이는 추측된 지수 $1/n$을 향한 중요한 진전을 의미한다.

• 정리 1.1 (곱형 측도): $d\mu(x) = e^{-\|x\|_p^p} dx$ ($p \in [1, 2]$) 형태의 측도에 대해 지수는 다음과 같이 개선된다:
  $$A(n, p) = \frac{c(p)}{n (\log n)^{\frac{2-p}{p}}}.$$

• 정리 1.2 (회전 불변 측도): $d\mu(x) = e^{-|x|^p/p} dx$ ($p \geq 1$) 형태의 회전 불변 측도에 대해 지수는 다음과 같다:
  $$C(p) n^{-2}.$$
  더 나아가, $p \in [1, 2]$인 특정 경우 지수는 $C n^{-1-o(1)}$로 개선될 수 있으며, 이는 추측된 $1/n$ 속도에 근접한다.

• 정리 1.4 (균일하게 엄격하게 로그 - 볼록 측도): 본 논문은 집합의 측도가 1 에 가까워질 때 ($a \to 1$) 최적 지수 $p_s(\mu, a)$의 거동을 조사한다. $\mu$가 균일하게 엄격하게 로그 - 볼록 측도 (즉, $\nabla^2 V \geq k_1 I$) 일 때, $a \to 1$이면 $p_s(\mu, a) \to \infty$임을 증명한다. 이는 에르하르트 부등식으로 인해 지수가 발산하는 가우스 경우와 $1/n$에서 일정하게 유지되는 르베그 경우와 대조된다.

의의 및 주장
본 논문은 지수에 대한 보편적인 다항식 상한 ($n^{-4-o(1)}$) 을 확립함으로써 차원 브룬 - 민코프스키 추측에 대한 진전을 이룬다고 주장한다. 반면, 이전 결과들은 특정 클래스의 측도 (예: 무조건부 몸체) 에만 국한되거나 더 강한 가정 (예: 구 근처의 회전 불변성) 을 요구했다.

저자는 특정 클래스의 측도, 특히 회전 불변성이나 곱 구조를 가진 측도에 대해 상한이 개선된다고 지적한다. 이 연구는 퐁카레 부등식, 브라스캄프 - 리에프 부등식, 그리고 고차원 볼록체의 기하학 사이의 상호작용에 크게 의존한다.

본 논문은 명시적으로 주석 1.3 에서 코르데로 - 에라스퀸과 로템 [21] 의 후속 결과가 정리 1.2 를 함의한다고 언급하고 있지만, 현재 연구는 일반적인 짝수 로그 - 볼록 측도에 대한 최초의 보편적 상한을 제공하며 정리 A 와 1.1 에서 다루는 클래스에 대한 특정 상한을 확립한다고 밝힌다. 이러한 결과는 $L^2$ 방법을 사용하여 도출되었으며, 대칭성을 가진 일반 로그 - 볼록 측도의 설정으로 콜레스니코프와 밀만의 작업을 확장한 것이다.