[논문 리뷰] On the role of Convexity in Isoperimetry, Spectral-Gap and Concentration

Emanuel Milman|ArXiv.org|2007. 12. 26.

Geometric Analysis and Curvature Flows참고 문헌 74인용 수 6

한 줄 요약

이 논문은 유클리드 공간 내 볼록 도메인에서 체거의 등주 부등식, 스펙트럴 갭, 지수적 농도, 尾 꼬리 감쇠 간의 정량적 동치성을 확립하며, 이들이 차원에 무관한 유일한 상수들에 의해 상호 동치임을 보여준다. 주요 기여는 볼록성과 CD(0,∞) 곡률-차원 조건 하에서 등주 프로파일의 볼록성과 오목성에 의해 기하학적, 함수적, 확률적 부등식을 통합하는 프레임워크를 제공하는 것이다.

ABSTRACT

We show that for convex domains in Euclidean space, Cheeger's isoperimetric inequality, spectral gap of the Neumann Laplacian, exponential concentration of Lipschitz functions, and the a-priori weakest requirement that Lipschitz functions have \emph{arbitrarily slow} uniform tail-decay, are all quantitatively equivalent (to within universal constants, independent of the dimension). This substantially extends previous results of Maz'ya, Cheeger, Gromov--Milman, Buser and Ledoux. As an application, we conclude a sharp quantitative stability result for the spectral gap of convex domains under convex perturbations which preserve volume (up to constants) and under maps which are ``on-average'' Lipschitz. We also provide a new characterization (up to constants) of the spectral gap of a convex domain, as one over the square of the average distance from the ``worst'' subset having half the measure of the domain. In addition, we easily recover and extend many previously known lower bounds on the spectral gap of convex domains, due to Payne--Weinberger, Li--Yau, Kannan--Lovász--Simonovits, Bobkov and Sodin. The proof involves estimates on the diffusion semi-group following Bakry--Ledoux and a result from Riemannian Geometry on the concavity of the isoperimetric profile. Our results extend to the more general setting of Riemannian manifolds with density which satisfy the $CD(0,\infty)$ curvature-dimension condition of Bakry-Émery.

연구 동기 및 목표

• 볼록 도메인에서 등주, 스펙트럴 갭, 농도 부등식 간의 정량적 동치성을 확립하기.
• 체거, 마즈야, 그로모프-밀먼, 부저, 레두크의 고전적 결과들을 통합된 프레임워크로 확장하기.
• 스펙트럴 갭을 '가장 나쁜' 측도의 절반 부분집합으로부터의 평균 거리의 제곱의 역수로 새롭게 특성화하기.
• 볼록 체적 유지 변형과 평균 리프시츠 맵에 대해 스펙트럴 갭의 날카운 안정 경계를 증명하기.
• CD(0,∞) 곡률-차원 조건을 만족하는 밀도를 가진 리만 다양체로 결과를 일반화하기.

제안 방법

• 박크리-레두크의 방법에 따라 열 흐름과 등주를 연결하기 위해 확산 준군에 대한 추정을 활용한다.
• 리만 기하학에서 CD(0,∞) 조건 하에서 등주 프로파일의 오목성에 관한 결과를 적용한다.
• '가장 나쁜' 절반 측도 부분집합을 통해 평균 거리로 스펙트럴 갭을 특성화하는 개념을 활용한다.
• 유일한 상수들에 의해 체거의 부등식, 스펙트럴 갭, 농도가 등가임을 활용하여 주요 동치 결과를 도출한다.
• 유클리드 공간의 결과를 매끄럽고 양의 밀도를 가진 리만 다양체로 확장한다.
• 밀도가 있는 다양체에서 등주 최소화자의 존재성과 정칙성에 기반하며, 현재 이론과 그루터의 정칙성 결과에 의존한다.

실험 결과

연구 질문

• RQ1 볼록 도메인에서 체거의 등주 부등식, 스펙트럴 갭, 지수적 농도는 정량적으로 동치인가?
• RQ2 스펙트럴 갭은 '절반 측도'의 집합으로부터의 평균 거리로 특성화될 수 있는가?
• RQ3 체적을 유지하는 볼록 변형에 대해 스펙트럴 갭의 안정성은 어떠한가?
• RQ4 밀도가 CD(0,∞) 조건을 만족하는 리만 다양체에서 기능적 부등식들은 어떻게 관련되는가?
• RQ5 등주 프로파일의 오목성은 기하학적 및 기능적 부등식 간의 동치를 어느 정도 암시하는가?

주요 결과

• 볼록 도메인에서 체거의 등주 부등식, 스펙트럴 갭, 지수적 농도, 느린 尾 꼬리 감쇠는 모두 유일한 상수들에 의해 정량적으로 동치이다.
• 볼록 도메인의 스펙트럴 갭은 상수들에 의해 '가장 나쁜' 절반 측도 부분집합으로부터의 평균 거리의 제곱의 역수로 특성화된다.
• 볼록 체적 유지 변형과 '평균적으로' 리프시츠인 맵에 대해 스펙트럴 갭에 대해 날카운 정량적 안정성 결과를 확보하였다.
• CD(0,∞) 곡률-차원 조건 하에서 등주 프로파일 $ I $ 는 $[0,1]$ 에서 오목하며, 이는 주요 동치 결과를 가능하게 한다.
• 패이크-웨이너버, 리-야오, 칸난-로바스-시몬وفي츠, 보브코프, 소딘의 알려진 스펙트럴 갭 하한 경계를 복원하고 확장한다.
• 결과는 유클리드 경우를 일반화하여 밀도가 CD(0,∞) 조건을 만족하는 리만 다양체의 더 넓은 설정에서도 성립한다.