[논문 리뷰] Hyperball packings in hyperbolic $3$-space

Jenő Szirmai|arXiv (Cornell University)|2014. 05. 01.

Supramolecular Self-Assembly in Materials참고 문헌 14인용 수 9

한 줄 요약

이 논문은 코엑서 그룹 [3,3,7] 에서 유도된 절삭된 정사면체를 이용하여 3차원 하이퍼볼릭 공간에서 하이퍼볼록 패킹을 조사한다. 정규 절삭된 정사면체 내부의 국소 밀도를 분석함으로써, 밀도 ≈0.86338인 국소적으로 최적의 하이퍼볼록 패킹을 규명한다. 이는 공 및 호로볼록 패킹에 대한 Böröczky-Florian 상한값 ≈0.85328 를 초월하지만, 전역적으로 확장될 수는 없다는 점을 지적한다. 본 결과는 하이퍼볼릭 3차원 공간에서 하이퍼볼록 패킹의 새로운 국소 밀도 기록을 수립한다.

ABSTRACT

In earlier works \cite{Sz06-1}, \cite{Sz06-2}, \cite{Sz13-3} and \cite{Sz13-4} we have investigated the densest packings and the least dense coverings by congruent hyperballs (hyperspheres) to the regular prism tilings in $n$-dimensional hyperbolic space $\HYN$ ($ 3 \le n \in \mathbb{N})$. In this paper we study a large class of hyperball (hypersphere) packings in $3$-dimensional hyperbolic space that can be derived from truncated simplex tilings (e.g. \cite{S14}, \cite{MPSz}). It is clear, that in order to get a density upper bound for the above hyperball packings, it is sufficient to determine the density upper bound locally, e.g. in truncated simplices. Thus we study hyperball packings in truncated simplices, i.e. truncated tetrahedra and prove that if the truncated tetrahedron is regular, then the density of the densest packing is $\approx 0.86338$. This is larger than the Böröczky-Florian density upper bound for balls and horoballs (horospheres) \cite{B--F64} but our locally optimal hyperball packing configuration cannot be extended to the entirety of hyperbolic space $\mathbb{H}^3$. But our regular truncated tetrahedron construction, under the extended Coxeter group $[3, 3, 7]$ with top density $\approx 0.82251$, seems to be good enough (Table 1). Moreover, we show that the densest known hyperball packing, related to the regular $p$-gonal prism tilings \cite{Sz06-1}, can dually be realized by regular truncated tetrahedron tilings as well.

연구 동기 및 목표

• 하이퍼볼릭 3차원 공간 내 정규 절삭된 정사면체 내에서 합동인 하이퍼볼록 패킹의 최대 국소 밀도를 결정하는 것.
• 이러한 국소적으로 높은 밀도를 가진 구성이 하이퍼볼릭 3차원 공간에서 전역 패킹으로 확장될 수 있는지 조사하는 것.
• 하이퍼볼릭 3차원 공간에서 정규 프리즘 타일링과 절삭된 정사면체 타일링 간의 이중성 관계를 하이퍼볼록 패킹 관점에서 수립하는 것.
• 새로운 하이퍼볼록 패킹 밀도를 Böröczky-Florian 공 및 호로볼록 패킹에 대한 상한값과 비교하는 것.

제안 방법

• 하이퍼볼릭 3차원 공간의 사영 모델을 루체지안 공간 R^{1,3} 에서 활용하여 하이퍼볼록과 절삭된 정사면체를 표현한다.
• 확장된 코엑서 그룹 [3,3,7] 을 활용하여 기본 영역으로서 정규 절삭된 정사면체를 생성한다.
• 하이퍼볼릭 기하학 공식을 사용하여 하이퍼볼록 부피와 절삭된 정사면체 부피를 계산하며, 특히 계량 자료를 위한 행렬 (c^{ij}) 을 활용한다.
• 모수 p > 6 를 통해 절삭된 정사면체의 형태를 표현하는 함수 δ(𝒮ʳ(h(p))) 로 밀도 함수를 유도한다.
• 연속적인 밀도 함수를 분석하여 미적분을 통해 최댓값을 찾고, p_opt ≈ 6.13499 를 식별한다.
• 공통된 정점 도형과 기본 영역을 통해 [p,3,3] 프리즘 타일링과 [3,3,p] 절삭된 정사면체 타일링 간의 이중성을 수립한다.

실험 결과

연구 질문

• RQ1 하이퍼볼릭 3차원 공간 내 정규 절삭된 정사면체 안에서 합동인 하이퍼볼록 패킹의 최대 국소 밀도는 얼마인가요?
• RQ2 절삭된 정사면체 내에서 국소적으로 최적인 하이퍼볼록 패킹 구성은 하이퍼볼릭 3차원 공간에서 전역 패킹으로 확장될 수 있는가요?
• RQ3 새로운 하이퍼볼록 패킹의 밀도는 공 및 호로볼록 패킹에 대한 Böröczky-Florian 상한값과 비교해 보면 어떻게 되나요?
• RQ4 하이퍼볼릭 3차원 공간에서 정규 프리즘 타일링과 절삭된 정사면체 타일링 간의 관계는 하이퍼볼록 패킹 관점에서 어떻게 되나요?
• RQ5 절삭된 정사면체 내 하이퍼볼록 패킹의 밀도는 기존의 공 및 호로볼록 패킹 상한값을 초월하는가요?

주요 결과

• 하이퍼볼릭 3차원 공간 내 정규 절삭된 정사면체에서 하이퍼볼록 패킹의 최대 국소 밀도는 약 0.86338이다.
• 이 밀도는 공 및 호로볼록 패킹에 대한 Böröczky-Florian 상한값 ≈0.85328 를 초월한다.
• 밀도 함수 δ(𝒮ʳ(h(p))) 가 최댓값에 도달하는 최적의 구성은 p_opt ≈ 6.13499 에서 발생한다.
• 국소적으로 최적인 하이퍼볼록 패킹은 하이퍼볼릭 3차원 공간에서 전역 패킹으로 확장될 수 없다.
• 정규 p각형 프리즘 타일링을 통한 가장 밀도 높은 알려진 하이퍼볼록 패킹은 정규 절삭된 정사면체 타일링으로 이중적으로 실현 가능하다.
• p 가 증가함에 따라 최적의 밀도는 단조 감소하며, p → ∞ 일 때 0에 수렴한다.