[논문 리뷰] Variational principles for circle patterns

Boris Springborn|arXiv (Cornell University)|2003. 12. 18.

Geometric and Algebraic Topology참고 문헌 28인용 수 13

한 줄 요약

이 논문은 원의 반지름에 기반한 볼록 변분 원리에 의해 일정 곡률 표면 위의 원 패턴에 대한 존재성 및 유일성 정리를 수립한다. 레지오 변환을 통해 새로운 변분 원리를 유도하며, Colin de Verdière, Brägger, Rivin, Leibon의 기존 기능들에 연결하고, 시각화를 위한 계산 구현을 제공하며, 다면체 실현 가능성에 대한 Steinitz 정리에의 적용을 포함한다.

ABSTRACT

A Delaunay cell decomposition of a surface with constant curvature gives rise to a circle pattern, consisting of the circles which are circumscribed to the facets. We treat the problem whether there exists a Delaunay cell decomposition for a given (topological) cell decomposition and given intersection angles of the circles, whether it is unique and how it may be constructed. Somewhat more generally, we allow cone-like singularities in the centers and intersection points of the circles. We prove existence and uniqueness theorems for the solution of the circle pattern problem using a variational principle. The functionals (one for the euclidean, one for the hyperbolic case) are convex functions of the radii of the circles. The analogous functional for the spherical case is not convex, hence this case is treated by stereographic projection to the plane. From the existence and uniqueness of circle patterns in the sphere, we derive a strengthened version of Steinitz' theorem on the geometric realizability of abstract polyhedra. We derive the variational principles of Colin de Verdière, Brägger, and Rivin for circle packings and circle patterns from our variational principles. In the case of Brägger's and Rivin's functionals. Leibon's functional for hyperbolic circle patterns cannot be derived directly from our functionals. But we construct yet another functional from which both Leibon's and our functionals can be derived. We present Java software to compute and visualize circle patterns.

연구 동기 및 목표

• 주어진 교차 각도와 콘 유사 특이점을 갖는 표면 위의 원 패턴의 존재성 및 유일성을 확립하기 위해.
• 유클리드 기하학과 쌍곡 기하학에서 원의 반지름에 기반한 볼록 함수기반의 변분 프레임워크를 개발하기 위해.
• 구면 기하학의 경우 비볼록성으로 인해 직접적인 함수기반을 사용할 수 없으므로, 정상 투영을 통해 변분 접근법을 확장하기 위해.
• 레지오 변환을 이용해 공통된 변분 기반에서 알려진 기능들( Colin de Verdière, Brägger, Rivin, Leibon)을 통합하고 유도하기 위해.
• Java 소프트웨어를 기반으로 한 계산 도구를 제시하여 유도된 변분 원리에 기반한 원 패턴의 구성 및 시각화를 수행하기 위해.

제안 방법

• 유클리드 및 쌍곡 기하학의 경우 원의 반지름에 대한 볼록 기능을 정의하고, 임계점이 원 패턴 문제의 해에 대응하도록 한다.
• 구면 기하학의 경우 직접적인 기능이 반지름 기반으로 볼록이 아니므로, 정상 투영을 사용한다.
• 유클리드, 쌍곡, 구면 기능에 레지오 변환을 적용하여 반지름 대신 각도로 표현된 새로운 변분 원리를 도출한다.
• 기하학적으로 변환된 기능들을 3차원 쌍곡 공간 내의 쌍곡 다면체 부피로 해석한다.
• Leibon의 기능과 저자의 쌍곡 기능을 모두 유도할 수 있는 새로운 기능을 구성하고, Leibon 기능의 역 레지오 변환을 통해 새로운 변분 원리를 도출한다.
• 유도된 변분 원리에 기반한 원 패턴의 계산 및 시각화를 수행하기 위해 Java 기반 소프트웨어 시스템을 구현한다.

실험 결과

연구 질문

• RQ1 일정 곡률 표면 위에서 주어진 교차 각도를 갖는 원 패턴이 존재하고 유일할 조건은 무엇인가?
• RQ2 유클리드 및 쌍곡 원 패턴에 대해 원의 반지름에 기반한 볼록 함수기반의 변분 원리를 구성할 수 있는가?
• RQ3 비볼록인 구면 기능은 어떻게 다루며, 정상 투영은 이 맥락에서 어떤 역할을 하는가?
• RQ4 기존의 기능들(예: Brägger, Rivin, Leibon)이 얼마나 통합된 변분 기반에서 유도될 수 있는가?
• RQ5 레지오 변환된 기능들의 기하학적 해석은 무엇인가, 특히 쌍곡 다면체 부피 측면에서 어떻게 설명되는가?

주요 결과

• 유클리드 및 쌍곡 기하학의 경우, 볼록 변분 원리에 기반해 주어진 교차 각도와 콘 유사 특이점을 갖는 원 패턴의 존재성 및 유일성이 증명된다.
• 구면 기하학의 경우 정상 투영을 통해 다루어지며, 이는 추상 다면체의 기하적 실현 가능성에 대한 Steinitz 정리의 강화된 형태 유도를 가능하게 한다.
• Brägger 및 Rivin의 기능들은 저자의 유클리드 기능에 레지오 변환을 적용하여 도출되며, 변환된 변수는 반지름 대신 각도이다.
• 레지오 변환된 쌍곡 및 구면 기능들은 기하학적으로 3차원 쌍곡 공간 내의 다면체 부피로 해석된다.
• 저자의 쌍곡 기능과 Leibon의 기능을 모두 통합하는 새로운 기능이 구성되었으며, Leibon 기능의 역 레지오 변환을 통해 새로운 변분 원리가 유도된다.
• 이론적 프레임워크에 기반한 원 패턴의 계산 및 시각화를 위한 Java 소프트웨어 구현이 제공된다.