Dependencies

A metric is called a circle pattern metric provided its curvature is identically zero at each vertex.

We call \(K_v (r) := 2π − a_v (r)\) the curvature at the vertex \(v\) with respect to \(r\)

the combinatorial Ricci flow, which is a family of metrics \(\{ r (t)\} _{t \in [0, T)}\) that satisfies

Let \((T, \Theta )\) be a weighted triangulation of a surface \(S\) of nonpositive Euler characteristic such that \(\phi (U) \leq 0\) holds for any \(U \subset V\) and \(Z_{T}:=\{ z \in V \mid \) there exists a proper subset \(Z\) of \(V\) such that \(z \in Z\) and \(\phi (Z)=0\} \) is nonempty. Then for any metric \(r\) on \((T, \Theta )\), the combinatorial Ricci flow \(\{ r (t)\} _{t \geq 0}\) with initial data \(r\) does not converge on \(\mathbb {R}_{{\gt}0}^{V}\) at infinity. However

Holds for any vertex \(v\).

On the one hand, for \(\chi (S)=0,\{ r (t)\} _{t \geq 0}\) does not converge on \(\mathbb {R}_{\geq 0}^{V}\) at infinity. However if we fix an arbitrary \(v \in V \backslash Z_{T}\), then the limit

Exists for any \(u \in V\), where \(Z_{T}=\left\{ z \in V \mid \rho _{z}=0\right\} \) holds and \(\left(\rho _{u}\right)_{u \in V \backslash Z_{T}}\) is a unique circle pattern metric with normalization \(\rho _{v}=1\) on a certain weighted triangulation with vertices \(V \backslash Z_{T}\).

On the other hand, for \(\chi (S){\lt}0,\{ r (t)\} _{t \geq 0}\) converges on \(\mathbb {R}_{\geq 0}^{V}\) at infinity, where we have \(Z_{T}=\left\{ z \in V \mid \lim _{t \rightarrow \infty } r_{z}(t)=0\right\} \) holds and the limit of \(\left(r_{v}(t)\right)_{v \in V \backslash Z_{T}}\) at infinity is a unique circle pattern metric on a certain weighted triangulation with vertices \(V \backslash Z_{T}\).

We 1call \(r=\left(r_{v}\right)_{v \in V} \in \mathbb {R}_{{\gt}0}^{V}\) a metric on ( \(\left. T, \Theta \right)\) and define the length \(\ell (e ; r)\) of an edge \(e\) with endpoints \(v, u\) with respect to \(r\) by

Which determines the angle at each vertex in triangles of \((T, \Theta )\). The cone angle \(a_{v}(r)\) at the vertex \(v\) with respect to \(r\) is the sum of each angle at \(v\) in all triangles of \((T, \Theta )\) having \(v\) as one of the vertices.

For any nonempty proper subset \(U\) of \(V\) that

Where \(\tau _{U}\) is the \(C W\) -subcomplex of \(T\), consisting of all cells whose vertices are contained in \(U\), and \(f \in \operatorname {Lk}(U)\) is an element in \(F\) such that one vertex \(v (f)\) in \(f\) belongs to \(U\) and neither of the endpoints of the edge \(e_{v (f)}^{f}\) in \(f\) opposite \(v (f)\) belongs to \(U\).

Let \((T, \Theta )\) be a weighted triangulation of a surface \(S\) of nonpositive Euler characteristic. The following conditions (I), (II), and (III) are equivalent to each other.

(I) There exists a unique circle pattern metric up to a scalar multiple if \(\chi (S)=0\)

(II) It holds for any nonempty proper subset \(U\) of \(V\) that

Where \(\tau _{U}\) is the \(C W\) -subcomplex of \(T\), consisting of all cells whose vertices are contained in \(U\), and \(f \in \operatorname {Lk}(U)\) is an element in \(F\) such that one vertex \(v (f)\) in \(f\) belongs to \(U\) and neither of the endpoints of the edge \(e_{v (f)}^{f}\) in \(f\) opposite \(v (f)\) belongs to \(U\).

(III) Given any metric \(r\) on \((T, \Theta )\), the combinatorial Ricci flow with initial data \(r\) exists for all time and converges on \(\mathbb {R}_{{\gt}0}^{V}\) at infinity.

A weighted triangulation \((T, \Theta )\) is a triangulation equipped with a weight \(\Theta : E → [0, \pi /2]\).