[논문 리뷰] On the maximal perimeter of isotropic log-concave probability measures

Silouanos Brazitikos, Apostolos Giannopoulos외 2명|arXiv (Cornell University)|2026. 02. 03.

Point processes and geometric inequalities인용 수 0

한 줄 요약

한 줄 요약: 이 논문은 R^n에서 등방성 로그-쌍향 분포의 최대 둘레 상수의 상한을 개선하여 Gamma_n ≤ C n^{3/2}를 보이고, 추가 구조적 가정하에서 여러 샤프하거나 거의 샤프한 선형(bound)을 확립한다.

ABSTRACT

We study the maximal perimeter constant of isotropic log-concave probability measures on $\mathbb{R}^n$. For a measure $μ$, this quantity, denoted by $Γ(μ)$, is defined as the supremum of the $μ$-perimeter over all convex bodies and measures the largest possible boundary contribution of convex sets with respect to $μ$. Let $$Γ_n := \sup\{Γ(μ) : μ ext{ is an isotropic log-concave probability measure on } \mathbb{R}^n\}.$$ We prove that $Γ_n \leqslant Cn^{3/2}$, where $C>0$ is an absolute constant. This result improves the previously known $O(n^2)$ upper bound. Under additional structural assumptions, we obtain sharp linear bounds of order $O(n)$.

연구 동기 및 목표

• 고차원 등방성 로그-쌍향 분포의 극값 둘레 특성을 동기부여하고 정량화합니다.
• R^n에서 등방성 로그-쌍향 분포에 대한 mu(scale) 둘레 상수 Gamma(mu)를 정의하고 연구합니다.
• Gamma_n의 일반적 상한을 개선하고 추가 구조 가정하에서 샤프하거나 선형(bound)을 탐구합니다.
• 둘레 bound를 등치면 기하와 레벨세트 기하 및 등방성 설정에서의 내접반경/최소 폭 개념과 연결합니다.

제안 방법

• mu-퍼리미터를 mu^+(∂A)로 정의하여 사용자경계 변화를 유도하며 유클리드 확대로부터의 일차 변화로 정의합니다.
• 밀도의 초-레벨 셋으로서 R_t(mu)를 정의하고 이들의 볼록성 및 내접반경 특성을 분석합니다.
• 내접반경과 최대 밀도 값을 이용한 팽창 기반의 둘레 상한을 도출합니다(레마 4.3).
• Steinhagen의 부등식을 사용하여 최소 폭과 내접반경을 연결하고 대칭 케이스에서 선형 bound를 얻고 일반 케이스에서 개선된 bound를 얻습니다.
• 밀도 레벨에 따라 경계를 분해하고 고밀도 영역과 꼬리 영역의 기여를 레벨-세트 분석으로 구분합니다(정리4.9).
• 컨벡스-레벨-세트 측정치를 위한 Livshyts의 프레임워크를 활용하여 레벨 t에서 최적화하고 전역적으로 n^{3/2} bound를 얻습니다(정리 4.9).

실험 결과

연구 질문

• RQ1 R^n에서 등방성 로그-쌍향 분포에 대해 볼록체에 대한 mu-퍼리미터의 최대값은 무엇인가?
• RQ2 등방성 로그-쌍향 분포에 대해 알려진 O(n^2) 상한을 개선할 수 있는가?
• RQ3 어떤 구조적 가정 하에서 Gamma(mu)에 대해 선형(O(n)) bound를 얻을 수 있는가?
• RQ4 대칭(또는 1-대칭) 제약은 최대 둘레 상수에 어떤 영향을 미치는가?
• RQ5 레벨-세트 기하학과 내접반경/최소 폭은 mu-퍼리미터를 제어하는 데 어떤 역할을 하는가?

주요 결과

• R^n에서 등방성 로그-쌍향 분포에 대해 Gamma_n ≤ C n^{3/2}로 이전의 O(n^2) bound를 개선합니다.
• 대칭 최대 둘레 상수에 대해 Gamma_n^{(s)} ≤ 4 n입니다.
• 등방성 볼록껍질 K에 대한 균일 분포의 경우 Gamma(mu_K) = L_K S(K), Gamma(mu_K) ≤ sqrt(n/(n+2)) n (선형적 in n).
• mu가 1-무조건적이고 등방성인 경우 Gamma(mu) ≤ sqrt(2) n입니다.
• 1차원에서 Gamma(mu) ≤ 2이며, 한쪽 지수분포에 대한 샤프성 결과가 있습니다.
• mu = ⊗_{k=1}^n mu_k이고 밀도Bounds가 있는 경우 Gamma(mu) ≤ 2 sum_k ||g_k||_∞이며 1D 등방성인 경우 이는 Gamma(mu) ≤ 2n를 제공합니다.
• table_headers:[]
• table_rows:[]