등방성 로그볼록 확률 측정의 최대 주변 길이 상수

초록

본 논문은 n 차원 유클리드 공간에서 등방성 로그볼록 확률 측정 μ의 최대 주변 길이 상수 Γ(μ)를 연구한다. 기존에 알려진 O(n²) 상한을 개선하여 모든 등방성 로그볼록 측정에 대해 Γ(μ) ≤ C·n^{3/2} (C는 절대 상수)임을 증명한다. 또한 대칭성이나 1-조건부 대칭성 등 추가 구조적 가정 하에서는 선형 O(n) 상한을 얻는다. 주요 아이디어는 초수준 집합 R_t(μ)의 기하학적 특성과 인반경·최소폭 사이의 관계를 이용한 영역 분할, 그리고 Steinhagen 부등식과 로그볼록 밀도에 대한 정규화 추정이다.

상세 분석

이 연구는 고차원 확률 기하학에서 “주변 길이”라는 개념을 로그볼록 측정에 일반화한 뒤, 그 최댓값의 차원 의존성을 정밀히 분석한다. 먼저 μ의 μ‑주변 길이 μ⁺(∂A)를 정의하고, Γ(μ)=sup_{convex A} μ⁺(∂A)라 두었다. 등방성(log‑concave) 조건은 평균이 원점이고 공분산이 단위 행렬인 것을 의미하며, 이는 기존의 가우시안 사례와 직접 비교할 수 있게 한다.

주요 정리 1.1은 모든 등방성 로그볼록 μ에 대해 Γ(μ) ≤ C·n^{3/2}임을 보인다. 증명은 두 단계로 나뉜다. 첫 단계에서는 중심을 포함하는 볼록 집합 A에 대해 “팽창 부등식”(dilation inequality)을 이용해 μ⁺(∂A)를 A의 부피, 인반경 r(A), 그리고 A 내부에서의 밀도 비율 max_{A}f / f(x_A)와 연결한다. 여기서 x_A는 A의 인볼 중심이다. 두 번째 단계에서는 초수준 집합 R_t(μ)= {x: f(x) ≥ e^{-t}‖f‖∞}의 구조를 활용한다. 등방성 로그볼록 밀도는 t≈cn 정도에서 거의 전체 질량을 포함하고, 인반경이 절대 상수 이하임을 보인다. 따라서 A가 R{6n}(μ) 안에 있으면 로그 항이 O(n) 수준으로 제한되어 μ⁺(∂A) ≤ C·√n·n = C·n^{3/2}이 된다.

전체 공간을 다루기 위해 A를 R_{6n}(μ) 내부와 외부로 분할한다. 외부 부분은 R_t(μ) 자체의 경계와 비교함으로써 선형 O(n) 정도의 기여만을 남긴다. 내부 부분은 앞서 얻은 O(n^{3/2}) 추정이 적용된다. 두 기여를 합치면 전체 상한이 O(n^{3/2})가 된다.

대칭적인 경우(Γ^{(s)}(μ))에는 인볼이 원점에 고정되고 최소폭이 인반경의 두 배가 되므로 Steinhagen 부등식이 √n이 아닌 상수 계수를 제공한다. 결과적으로 Γ^{(s)}_n ≤ 4n이라는 선형 상한을 얻는다.

추가적인 구조적 가정 하에서는 더 강한 결과가 도출된다. 예를 들어, K가 등방성 볼록 몸체이면 μ_K의 최대 주변 길이는 L_K·S(K)와 정확히 일치한다. 여기서 L_K는 등방성 상수이며, S(K)는 표면적이다. 정규 단순체에 대해 이 식이 정확히 성립함을 보이며, 이는 O(n) 상한이 최적임을 의미한다. 1-조건부 대칭(1‑unconditional) 측정에 대해서는 로그볼록 밀도의 좌우 대칭성을 이용해 Γ(μ) ≤ √2·n을 얻는다. 1차원 경우에는 Γ(μ) ≤ 2가 최적이며, 제품 측정에 대해서는 각 성분의 L^∞ 노름을 곱한 형태의 상한 Γ(μ) ≤ 2·n·∏k‖g_k‖∞이 성립한다.

이 논문은 기존의 O(n²) 상한을 크게 개선하고, 특히 대칭성이나 제품 구조와 같은 자연스러운 가정 하에서는 선형 상한을 달성한다는 점에서 고차원 로그볼록 측정의 주변 길이 이론에 중요한 진전을 제공한다. 또한 초수준 집합 R_t(μ)의 정밀한 부피·반경 추정이 고차원 기하학과 확률론 사이의 교차점에서 유용한 도구가 될 수 있음을 보여준다.