[논문 리뷰] Periodicity and Circle Packing in the Hyperbolic Plane

Lewis Bowen|ArXiv.org|2003. 04. 22.

Quasicrystal Structures and Properties참고 문헌 13인용 수 3

한 줄 요약

이 논문은 이sovmetry-불변 확률측도의 공간에서 반경 $ r $-원판 포장에 대해 주기적인 원판 포장—즉, 유한지름 대칭군을 갖는 것—이 조밀하다는 것을 증명한다. 핵심 결과는 이러한 포장의 Supremum 밀도가 어떤 이sovmetry-불변 측도로도 달성 가능한 최대 밀도와 일치하며, 이 최대 밀도 함수는 반경에 대해 연속적으로 변한다는 것이다.

ABSTRACT

We prove that given a fixed radius $r$, the set of isometry-invariant probability measures supported on ``periodic'' radius $r$-circle packings of the hyperbolic plane is dense in the space of all isometry-invariant probability measures on the space of radius $r$-circle packings. By a periodic packing, we mean one with cofinite symmetry group. As a corollary, we prove the maximum density achieved by isometry-invariant probability measures on a space of radius $r$-packings of the hyperbolic plane is the supremum of densities of periodic packings. We also show that the maximum density function varies continuously with radius.

연구 동기 및 목표

• 초기 기초 문제를 해결하기 위해, 초등 기하학적 공간에서의 밀도 정의 부족과 최적 포장의 존재 문제를 다룸.
• 이sovmetry-불변 확률측도가 초등 기하학적 평면에서 반경 $ r $-원판 포장에 대해 주기적 포장의 조밀한 부분집합을 포함함을 보임.
• 모든 이sovmetry-불변 측도에 대해 달성 가능한 최대 밀도가 주기적 포장의 밀도 Supremum으로서 실현됨을 확립함.
• 최대 밀도 함수가 반경 $ r $ 에 대해 연속적임을 증명함으로써, 유클리드 기하학에서의 결과를 쌍곡 기하학으로 확장함.

제안 방법

• 쌍곡 평면에서 반경 $ r $-원판 포장의 공간에 대한 이sovmetry-불변 확률측도를 분석하기 위해 에르고딕 이론 프레임워크를 사용함.
• Nevo와 Stein의 에르고딕 이론 결과를 적용하여, $ \mu $-거의 모든 포장에 대해 밀도가 존재하고 기준점에 독립적임을 보임.
• 측도 $ \mu $ 의 밀도를 원점이 포함된 포장의 $ \mu $-측도로 정의함으로써 공간 전반에서 일관성을 확보함.
• 이sovmetry-불변 측도의 공간이 약한* 위상에서 컴act임을 활용하여 최적의 밀도를 갖는 측도의 존재를 보장함.
• 콤���트 부분집합에서의 균일 수렴 위상 구조를 활용하여 포장 수열의 수렴성과 밀도 행동을 분석함.
• 쌍곡 기하학의 결과, 특히 유한 체적 완전 쌍곡 다양체와 분지 덮개의 존재를 적용하여 연속성 및 밀도 논증을 확장함.

실험 결과

연구 질문

• RQ1 이sovmetry-불변 확률측도의 공간에서 주기적인 반경 $ r $-원판 포장의 집합은 쌍곡 평면에서 조밀한가?
• RQ2 모든 이sovmetry-불변 측도에 대해 반경 $ r $-원판 포장의 최대 밀도가 주기적 포장의 밀도 Supremum과 같은가?
• RQ3 최대 밀도 함수 $ D(r) $ 는 쌍곡 평면에서 반경 $ r $ 에 대해 연속적인가?
• RQ4 최적의 밀도가 단일 주기적 포장으로는 달성되지 않더라도, 항상 주기적 포장의 극한으로서 실현될 수 있는가?
• RQ5 밀도의 행동이 유클리드 공간과 비교해 볼 때, 동형변환과 불변성 측면에서 어떻게 다를까?

주요 결과

• 주기적인 반경 $ r $-원판 포장에 지지된 이sovmetry-불변 확률측도의 집합은 쌍곡 평면에서 모든 그러한 측도의 공간에 조밀하다.
• 어떤 이sovmetry-불변 측도로도 달성 가능한 반경 $ r $-원판 포장의 최대 밀도는 주기적 포장의 밀도 Supremum과 동일하다.
• 최대 밀도 함수 $ D(r) $ 는 반경 $ r $ 에 대해 연속적으로 변하며, 반경 변화에 따른 최적 포장 밀도의 안정성을 보장한다.
• 모든 $ r $ 에 대해, 최적 밀도로 수렴하는 주기적 포장의 수열이 존재한다. 단, 그 중 어떤 하나의 포장도 최대 밀도를 달성하지 못할 수 있다.
• 이sovmetry-불변 확률측도 $ \mu $ 에 대해 $ \mu $-거의 모든 포장에서 포장의 밀도는 기준점에 독립적으로 잘 정의되어 있다.
• 이 프레임워크는 원추 포장(horoball packings)으로까지 확장되며, $ r \to \infty $ 일 때의 $ D(r) $ 의 연속성(즉, 무한에서의 수렴)은 유클리드 구 포장 밀도로 수렴함을 통해 확립된다.