The character of ideal circle patterns

TL;DR

This paper introduces a new, simpler criterion based on a character $\

Contribution

It presents a novel character $\\mathcal{L}(\ ext{D},\\Phi)$ that simplifies the verification of ideal circle pattern existence on surfaces.

Findings

New character-type criteria for circle pattern existence

Simpler verification compared to previous criteria

Application to curvature image set description

Abstract

Let $S$ be an oriented closed surface with a cellular decomposition $\mathcal{D}$ and a weight $\Phi\in(0, \pi)$. It is crucial to determine when $S$ supports an ideal $\mathcal{D}$-type circle pattern $\mathcal{P}$ with the exterior intersection angles given by $\Phi$. Rivin, Bobenko-Springborn and Ge-Hua-Zhou provided perfect solutions and gave wonderful criteria for the existence and uniqueness of ideal circle patterns. However, all criteria established by Rivin, Bobenko-Springborn and Ge-Hua-Zhou are extremely difficult to verify for the given cellular decomposition $\mathcal{D}$ and the weight $\Phi$. In this paper, we introduce the character $\mathcal{L}(\mathcal{D},\Phi)$ depends only on the data of the weighted cellular decomposition $(\mathcal D, \Phi)$ on $S$, and give some quite simple criteria for the existence of ideal circle patterns realizing $(\mathcal{D},\Phi)$. It seems that our character-type criteria are the first conditions totally different from criteria of Rivin, Bobenko-Springborn and Ge-Hua-Zhou, and provide more easily verifiable criteria. Our new character-type theorems may be of some independent interest. As an application, we give a new descriptions of the curvature image set $\mathbf{K}(\mathbb{R}^N_{>0})$. To approach our results, we shall use the combinatorial Ricci flows with ideal circle patterns introduced by Ge-Hua-Zhou as a fundamental tool. The main difficulty in the proof of our results is to establish the compactness of the solution to the flows. To circumvent the difficulty, we borrow the techniques developed by Ge and his collaborators.