[논문 리뷰] On Cheeger constants of hyperbolic surfaces

Thomas Budzinski, Nicolas Curien외 1명|arXiv (Cornell University)|2022. 07. 01.

Geometric and Algebraic Topology인용 수 4

한 줄 요약

이 논문은 강한 강도를 갖는 랜덤 포아송-보로노이 타일링을 사용하여, 큰 종수를 가진 폐쇄된 쌍곡면의 체거 상수에 대한 상계 $→\frac{2}{\pi} \approx 0.63$ 를 확립한다. 이 결과는 체거 상수가 히포타틱 평면의 경우 $h=1$ 과의 엄격한 격차를 보이며, 그래프 이론에서 알려진 격차와 유사하며, 이는 고종수 쌍곡면에 대해 체거 부등식이 최적의 스펙트럼 상계를 도출할 수 없음을 시사한다.

ABSTRACT

It is a well-known result due to Bollobas that the maximal Cheeger constant of large $d$-regular graphs cannot be close to the Cheeger constant of the $d$-regular tree. We prove analogously that the Cheeger constant of closed hyperbolic surfaces of large genus is bounded from above by $2/π\approx 0.63...$ which is strictly less than the Cheeger constant of the hyperbolic plane. The proof uses a random construction based on a Poisson--Voronoi tessellation of the surface with a vanishing intensity.

연구 동기 및 목표

• 큰 종수를 가진 폐쇄된 쌍곡면의 최대 체거 상수가 히포타틱 평면의 것보다 엄격히 작다는 추측을 해결하기 위해.
• 다양한 종수의 극한에서 체거 상수에 대한 정량적 상계를 확립하여, $d$-정규 그래프 이론에서 알려진 결과와 유사하게 만들기 위해.
• 고종수 쌍곡면에 대해 체거 부등식이 최적의 스펙트럼 간격을 도출할 수 없음을 보여주기 위해.
• 포아송-보로노이 타일링을 기반으로 한 확률적 방법을 개발하여 쌍곡면의 등면적 성질을 분석하기 위해.

제안 방법

• 강도가 점점 0으로 수렴하는 랜덤 포아송-보로노이 타일링을 쌍곡면에 구성하여, 히포타틱 평면의 국소 기하학을 모델링한다.
• 무의미한 보로노이 타일링의 극한 구조를 사용하여, 히포타틱 평면 내 경계 길이의 밀도를 분석한다.
• 독립 동일분포의 정규 동전 뒷면을 사용해 보로노이 세포를 랜덤으로 색칠하여, 면적이 약 절반인 랜덤 부분집합 $A_\lambda$ 를 생성한다.
• 쌍곡면의 링크에 대한 기하 확률 및 적분 추정을 사용하여 기대 경계 길이 $\mathbb{E}[|\partial A_\lambda|]$ 를 추정한다.
• 집중 및 尾부 확률 추정을 적용하여, $|A_\lambda|$ 가 면적의 절반에 가까운 경우와 $|\partial A_\lambda|$ 가 작을 확률이 양수임을 보인다.
• 마르코프 부등식을 적용하여, $\frac{2}{\pi}(1+\delta)^2/(1-\delta)$ 로 표현되는 체거 상수 $h(\mathcal{S})$ 의 상계를 유도하며, 이는 $\delta \to 0$ 일 때 $\frac{2}{\pi}$ 로 수렴한다.

실험 결과

연구 질문

• RQ1 큰 종수를 가진 폐쇄된 쌍곡면의 최대 체거 상수가 히포타틱 평면의 것보다 엄격히 작은가?
• RQ2 그래프의 경우와 마찬가지로, 큰 종수를 가진 쌍곡면의 체거 상수가 1보다 엄격히 작은 상수로 상한이 존재하는가?
• RQ3 이 체거 상수의 격차로 인해, 큰 종수를 가진 쌍곡면의 스펙트럼 간격이 체거 부등식에 의해 최적의 상한을 갖지 못하는가?
• RQ4 강도가 점점 0으로 수렴하는 랜덤 포아송-보로노이 타일링을 사용하여 쌍곡면의 등면적 상한을 도출할 수 있는가?

주요 결과

• 모든 종수 $g \geq 2$ 를 가진 폐쇄된 쌍곡면의 체거 상수는 $g \to \infty$ 의 극한에서 $\frac{2}{\pi} \approx 0.63$ 이하로 상한이 존재한다. 즉, $\limsup_{g \to \infty} \sup_{\mathcal{S} \in \mathcal{M}_g} h(\mathcal{S}) \leq \frac{2}{\pi}$ 이다.
• 이 상한은 히포타틱 평면의 체거 상수인 1보다 엄격히 작으며, 보편 덮개와 큰 유한 덮개 사이의 정량적 격차를 확립한다.
• 이 결과는 체거 상수가 1에서 멀리 떨어져 있으므로, 고종수 쌍곡면에 대해 체거 부등식이 최적의 스펙트럼 간격을 도출할 수 없음을 시사한다.
• 이 증명은 강도가 점점 0으로 수렴하는 포아송-보로노이 타일링을 기반으로 한 랜덤 구성에 의존하며, 세포의 랜덤 반색에 대한 기대 경계 길이가 작은 $\delta > 0$ 에 대해 $\frac{2}{\pi}(1+\delta)|\mathcal{S}|$ 이하로 나타남을 보였다.
• 양수 확률로 랜덤 부분집합 $A_\lambda$ 는 면적의 $1 \pm \delta$ 범위 내에 있으며, 경계 길이는 $\frac{1}{\pi}(1+\delta)^2|\mathcal{S}|$ 이하로 나타나, 최종 상한을 이끌어낸다.
• 큰 세포에서의 집중과 내재된 쌍곡측도를 사용한 자기 일관성 있는 기하 추정을 통해, 다양한 반경 간의 복잡한 상호작용을 피함으로써 방법이 간소화된다.