Discrete Analysis — Learning Note

图见 PDF。

Introduciton

background

Theorem (Circle Pattern Theorem, Thurston).

给定平面图和适当的夹角数据可以给定一个合适的平面图以及一组满足条件的交角数据，可以在平面、球面或双曲平面中构造一族圆，使得这些圆之间的相交关系和交角正好由给定的数据决定.

Definition (cell).

在拓扑学里，cell 指的是与开球同胚的基本块.

例如，0-cell 代表点，1-cell 代表开区间，2-cell 代表开圆盘，3-cell 代表开三维球.

更进一步，k-cell 是一个与$\mathbb{R}^k$中开球同胚的空间

Definition (cellular decomposition).

Cellular Decomposition(胞腔分解)，就是把一个空间分解成若干个简单的cell(胞腔)——点、线段、面片、三维块等，并且这些胞腔之间按照规则拼接.

实际上就是，一个空间$X$ 的 cellular decomposition 是把$X$ 写成互不相交的若干个 cell 的并.

例如，一个三角形我们可以分成三个顶点（0-cell）、三条边的内部（1-cell）、三角形的内部（2-cell）.

所以在 circle pattern 或平面图背景下，cellular decomposition 基本上就是“一个嵌入在曲面上的图把曲面分成了若干个圆盘状区域”

Definition ($\mathfrak{D}$-type).

设$S$ 是一个带定向的闭曲面，$\mathfrak{D}$ 是$S$ 上的一个胞腔分解。假设$\mu$ 是$S$ 上具有常曲率的黎曼度量。称$(S,\mu)$ 上的一个圆模式$\mathcal{P}$ 是一族带定向的圆。若存在$(S,\mu)$ 的一个测地胞腔分解$\mathfrak{D}(\mu)$，满足以下性质，则称$\mathcal{P}$ 是$\mathfrak{D}$-型的：

1. $\mathfrak{D}$

   与$\mathfrak{D}(\mu)$ isotopic(同痕).

2. $\mathfrak{D}(\mu)$

   的顶点和$\mathcal{P}$的圆心重合.

记$V,E,F$ 分别为$\mathfrak{D}$ 的顶点集、边集和二维胞腔集。本文主要关注如下的$\mathfrak{D}$-型圆模式：

即存在一条边$e=[u,v]\in E$有$C_u$和$C_v$相交.

对于每条边$e\in E$，都存在一个 exterior intersection angle(外交角)$\Theta(e)\in [0,\pi)$

对每个$v\in V$，记$\mathbb{D}_v$为由$C_v$围成的闭圆盘，记$D_v$为由$C_v$围成的开圆盘，把集合

的每一个连通分支称为一个 interstice(间隙区域).

Definition (geodesic).

geodesic(测地的)，测地线就是曲面上的“最直的线”。在平面上，测地线就是普通直线；在球面上，测地线是大圆的一段，比如地球经线、赤道这类大圆弧；在一般曲面上，测地线是沿曲面本身尽可能不拐弯的曲线.

如果$S$ 是球面，那么普通的胞腔分解可以用任意曲线画边；而 geodesic cellular decomposition 要求这些边是球面上的大圆弧段.

Definition (isotopic).

isotopic(同痕) 可以理解为“可以连续变形到彼此，并且变形过程中不撕裂、不粘合、不改变组合结构”.

比如在一个曲面上画一个三角剖分。你可以把边稍微拉弯、顶点稍微移动，只要不让边穿越、不让顶点合并、不改变哪几个顶点由哪条边连接，那么变形前后的两个分解就是 isotopic 的.

Remark.

\par

Definition (ideal,Definition 1.1).

称$(S,\mu)$上的一个$\mathfrak{D}$-型的$\mathcal{P}$是ideal(理想的)，如果它满足：

1. $\mathcal{P}$

   的间隙区域和$\mathfrak{D}$的二维胞腔之间存在一一对应.

2. $\mathcal{P}$

   的每一个间隙区域都只由一个点组成.

如果$\Theta$是一个 ideal circle pattern 的 exterior intersection angle function，则对$\forall e\in E$，有：

同时对于任意若干条互不相同的边：

若它们构成$\mathfrak{D}$的某个二维胞腔的边界，则有

反过来，如果我们给定一个$\Theta$，则是否存在一个 ideal circle pattern 的 exterior intersection angle function 就是给定的$\Theta$，且在多大程度下这个 circle pattern 是唯一的.

Definition (prismatic s-circuit).

给定一个抽象多面体$P$，其对偶多面体记为$P^{*}$。 如果$P$ 中的一组边

的对偶边

构成一条简单闭曲线，并且这条简单闭曲线不是$P^{*}$ 中某个面的边界， 则称

为一个 \keypart{prismatic s-circuit(棱柱型$s$-回路)}.

Remark.

设$G$ 是一个平面图，$G^*$ 是它的对偶图。若$e \in E(G)$ 是原图中的一条边， 则与$e$ 对应的对偶图中的边记为$e^* \in E(G^*)$，称为$e$ 的对偶边。

如果在原图中$e$ 的两侧分别是面$F_1$ 和$F_2$，那么在对偶图中，对偶边$e^*$ 连接 对应的两个对偶顶点$F_1^*$ 和$F_2^*$，

Theorem (Rivin,Theorem 1.2).

给定一个抽象多面体$P$，假设

是定义在其边集上的一个函数。 存在一个与$P$ 组合等价的理想凸双曲多面体$Q$，其二面角由$\Theta$ 给出， 当且仅当下面两个条件成立：

1. 若

是所有相交于某个顶点的互不相同的边，则

2. 若边

构成一个棱柱型$s$-回路，则

Remark.

实际上\cref{thm:Rivin} 提到的抽象多面体就是就是刚好对应刚刚那个问题中亏格$g=0$也就是球面的情形，至于亏格$g>0$，可由下面定理来解决：

Definition (pseudo-Jordan).

我们称$S$ 中一条闭曲线$\gamma$，不一定是简单闭曲线，为 pseudo-Jordan(伪乔丹) 曲线， 如果$S\setminus\gamma$ 包含一个单连通分支，并且该分支的边界恰好等于$\gamma$。

Theorem (Bobenko--Springborn).

设$\mathfrak{D}$ 是亏格$g>0$ 的紧定向曲面$S$ 的一个胞腔分解。 假设

是定义在其边集上的一个函数。 存在一个$S$ 上的常曲率度量$\mu$，当$g=1$ 时曲率等于$0$，当$g>1$ 时曲率等于$-1$， 使得$(S,\mu)$ 支撑一个理想的$\mathfrak{D}$-型圆模式$P$，并且其外交角由$\Theta$ 给出， 当且仅当$\mathrm{(C1)}$ 以及下面条件成立：

并且这条曲线不是$\mathfrak{D}$ 中某个二维胞腔的边界，则

此外，当$g>1$ 时，二元组$(\mu,P)$ 在等距变换意义下唯一； 当$g=1$ 时，$(\mu,P)$ 在相似变换意义下唯一。

\subsection{从胞腔分解到三角剖分：\texorpdfstring{$T(\mathfrak{D})$}{T(D)}}

为了把 circle pattern 的数据写成 ``每个三角形的边长''，论文对胞腔分解$\mathfrak{D}$ 做了一步标准细分。

Definition ($T(\mathfrak{D})$).

对$\mathfrak{D}$ 的每个二维胞腔$\tau\in F$，在$\tau$ 内部加一个新顶点，并把它与$\tau$ 的所有边界顶点连接起来。对所有胞腔做同样操作，得到$S$ 的一个三角剖分，记为$T(\mathfrak{D})$。

Remark.

\par 剖分后的顶点集记为$V^\triangle$，并有自然对应

其中$V$ 里的点称为 primal vertices，而每个面里新加的点（对应$F$）常称为 star vertices。

Thurston 构造：半径向量生成圆锥度量与曲率

Definition (radius vector).

设$V=\{v_1,\dots,v_{|V|}\}$。半径向量 指

把$r_i$ 视作顶点$v_i$ 对应圆$C_{v_i}$ 的半径。

固定一条边$e=[v_i,v_j]\in E$ 的外交角$\Theta_{ij}=\Theta(e)\in(0,\pi)$。给定$r_i,r_j>0$ 后，在欧氏或双曲几何中存在（且在等距意义下唯一）一对半径为$r_i,r_j$、外交角为$\Theta_{ij}$ 的相交圆。取两圆心与一个交点组成三角形，这个三角形的边长由$(r_i,r_j,\Theta_{ij})$ 决定。把$T(\mathfrak{D})$ 的所有三角形依此赋上几何，再沿公共边拼起来，就得到曲面$S$ 上的一个 圆锥度量(cone metric)，记为$\mu(r)$。

Remark.

\par 论文写出了边长公式（记$l_{ij}$ 为中心距）：

• 双曲背景：

• 欧氏背景：

此外，由 (C1) 可推出每个 star vertex 处的锥角等于$2\pi$，因此 star vertices 处没有锥尖奇性，曲率只会出现在 primal vertices。

Definition (vertex curvature).

在度量$\mu(r)$ 下，顶点$v_i$ 处的离散曲率（锥尖曲率）定义为

Ki = 2\pi-\big(\text{<span data-mx-katex="v%5Ci"></span> 处的锥角(cone angle)}\big).

Definition (curvature map).

把半径向量映到曲率向量的映射称为 曲率映射(curvature map)：

Remark.

\par ``能否实现给定的 ideal circle pattern'' 的核心可以转成：原点（或常数向量）是否在曲率映射的像里。

• 双曲背景：希望存在$r^*$ 使得$K_i(r^*)=0$（从而得到光滑双曲度量和理想圆图案）。

• 欧氏背景：希望存在$r^*$ 使得$K_i(r^*)=K_{\mathrm{av}}$，其中

论文主方法：组合 Ricci 流（ODE）

Definition (combinatorial Ricci flow).

论文使用 Chow--Luo 的 组合 Ricci 流(combinatorial Ricci flow) 来寻找目标半径：

• 双曲背景：

• 欧氏背景：

Remark.

\par 直观理解：若某顶点曲率$K_i$ 偏大（锥角偏小），流会调整$r_i$ 让曲率向目标值靠近。论文证明在合适条件下该过程会以指数速度收敛，因此它不仅是理论工具，也提供了一个可实现的数值算法。

Main results（Theorem 1.7 / 1.8 的笔记版）

Theorem (Hyperbolic case: long time behavior, Theorem 1.7).

\par 假设$\Theta:E\to(0,\pi)$ 满足 (C1)。在双曲背景下：

• 对任意初始半径向量$r(0)\in\mathbb{R}^{|V|}_{+}$，流对所有$t\ge 0$ 存在；

• 下列事实等价：流$r(t)$ 收敛；存在$r^*$ 使得$K_i(r^*)=0$；以及一系列仅依赖$(\mathfrak{D},\Theta)$ 的组合不等式条件（论文记为 H3/H4/H5，其中 H5 等价于 Bobenko--Springborn 的 (C2)，并推出$g>1$）；

• 若流收敛，则以指数速度收敛到唯一的$r^*$。

Theorem (Euclidean case: long time behavior, Theorem 1.8).

\par 同样假设 (C1)。在欧氏背景下：

• 流对所有$t\ge 0$ 存在；

• 下列事实等价：流收敛；存在$r^*$ 使得$K_i(r^*)=K_{\mathrm{av}}$；以及一系列组合不等式条件（论文记为 E3/E4）；

• 若流收敛，则以指数速度收敛到满足$K_i=K_{\mathrm{av}}$ 的半径向量。

\subsection{Bobenko--Springborn：曲率映射 \texorpdfstring{$\mathrm{Th}$}{Th} 的单射与像（Theorem 1.4 / 1.5）}

在变分法路线里，先要刻画 ``哪些曲率向量能被某个半径向量实现''，即$\mathrm{Im}(\mathrm{Th})$。下面的不等式里，对每条边$e\in E$，$\partial e$ 表示$e$ 的两个端点构成的集合（即两个顶点）。

Theorem (双曲背景，Theorem 1.4).

\par 假设$\Theta:E\to(0,\pi)$ 满足 (C1)。在双曲背景下，曲率映射$\mathrm{Th}$ 是单射。其像恰为所有满足以下条件的向量$(K_1,\dots,K_{|V|})\in\mathbb{R}^{|V|}$：

1. 对每个$i=1,\dots,|V|$，有

2. 对任意非空子集$A\subseteq V$，有\textup{（以下记为\textup{(BS-h)}）}

子图、链环与组合恒等式（Proposition 1.6）

为把 (BS-h)、(BS-e) 与 "面角和条件 (C1)"、"伪 Jordan 条件 (C2)" 联系起来，需要顶点集$A\subseteq V$ 周边的组合量。

Definition 1 ($S(A)$ 与$Lk(A)$).

设$A\subseteq V$ 非空。

1. $S(A)$

   ：取$\mathfrak{D}$ 中所有至少有一个顶点落在$A$ 里的$0$、$1$、$2$--胞腔的并（可看作 "与$A$ 相邻接的那个子复形"），赋以从$S$ 继承的拓扑。

2. $Lk(A)$

   ：二元组$(e,\tau)$ 的集合，其中$e\in E$、$\tau\in F$ 为二维胞腔，满足：$e\subset\partial\tau$；$e$ 的两个端点都不在$A$ 中；但$\tau$ 至少有一个顶点在$A$ 中。

Theorem 2 (Proposition 1.6).

若$\Theta$ 满足 (C1)，则对任意非空$A\subseteq V$ 有

直观上：左边只涉及 "与$A$ 有公共顶点的边" 上的角$\Theta(e)$；右边把贡献拆成两部分：链环$Lk(A)$ 上的$(\Theta-\pi)$（像 "边对锥角的修正"）再加上子复形$S(A)$ 的 Euler 示性数项$2\pi\chi(S(A))$。

Theorem 3 (组合 Gauss--Bonnet).

在 Proposition 1.6 中取$A=V$，并设曲率由半径向量$r$ 产生，则 (BS-e) 中$A=V$ 的等号情形给出

主定理等价条件写全（Theorem 1.7 / 1.8）

双曲背景：H1--H5（与 Theorem 1.7 对应）

Theorem 4 (等价条件，Theorem 1.7).

假设$\Theta:E\to(0,\pi)$ 满足 (C1)。在双曲背景下，对流

的解$r(t)$，以下五条 等价：

• H1$r(t)$ 在$t\to+\infty$ 时收敛；

• H2$(0,\dots,0)$ 属于曲率映射$\mathrm{Th}$ 的像（即存在$r^*$ 使$K_i(r^*)=0$）；

• H3 对任意非空$A\subseteq V$，有

• H4 对任意非空$A\subseteq V$，有

• H5 曲面亏格$g>1$，且 whenever 边$e_1,\dots,e_s$ 构成一条 pseudo-Jordan 闭曲线又不是$\mathfrak{D}$ 的某个二维面的边界时，必有

（即 Bobenko--Springborn 定理中的条件 (C2)）。

Remark 2.

逻辑链可记为：

其中 H3 与曲率映射像的刻画 (Theorem 1.4) 等价，H4 与 H3 等价靠 Proposition 1.6 把括号里的量改写成同一种形式。

欧氏背景：E1--E4（与 Theorem 1.8 对应）

Theorem 5 (等价条件，Theorem 1.8).

假设$\Theta$ 满足 (C1)。在欧氏背景下，令$K_{\mathrm{av}}=2\pi\chi(S)/|V|$。对流

的解$r(t)$，以下四条 等价：

• E1$r(t)$ 在$t\to+\infty$ 时收敛；

• E2 存在半径向量$r^*$，使得对每个$i$ 都有$K_i(r^*)=K_{\mathrm{av}}$\textemdash{}等价于常说 "常曲率向量$(K_{\mathrm{av}},\ldots,K_{\mathrm{av}})^{\mathrm{T}}$ 落在$\mathrm{Th}$ 的像中"；

• E3 对任意真非空子集$A\subsetneq V$，有

• E4 对任意真非空子集$A\subsetneq V$，有

Remark 3.

E3、E4 与 Theorem 1.5 中把$K_i$ 全换成$K_{\mathrm{av}}$ 后的像条件一致（再用 Proposition 1.6 在两种形式之间切换）。

Preliminaries：两圆构型（two-circle configuration）

两圆相交三角形与中心角

固定外交角$\Theta\in(0,\pi)$，给定两个半径$r_i,r_j>0$，在欧氏或双曲几何中存在唯一（在等距意义下）的一对相交圆。取两个圆心与一个交点组成三角形，记为$\triangle(ijk)$；令$\vartheta_i,\vartheta_j$ 表示在两个圆心处的内角。

Theorem 6 (存在唯一性，Lemma 2.1).

给定$\Theta\in(0,\pi)$ 与任意$r_i,r_j>0$，欧氏与双曲几何中都存在这样的两圆相交构型，且在等距意义下唯一。

角对半径的单调性与对称性（势函数的来源）

Theorem 7 (导数符号与对称性，Lemma 2.2).

固定$\Theta\in(0,\pi)$。

• 欧氏情形：$\frac{\partial\vartheta_i}{\partial r_i}<0$，并且

• 双曲情形：$\frac{\partial\vartheta_i}{\partial r_i}<0$，并且

同时三角形面积满足$\frac{\partial\,\mathrm{Area}(ijk)}{\partial r_i}>0$。

Remark 4.

这组导数关系非常关键：它最终推出曲率关于某些变量$u_i$ 的偏导满足对称性（$\partial K_i/\partial u_j=\partial K_j/\partial u_i$），因此可以把$\sum_i K_i\,du_i$（或欧氏情形的$\sum_i (K_i-K_{\mathrm{av}})\,du_i$）看成闭 1-形式，从而定义势函数$\Phi$，并把 Ricci flow 视为某种 "沿势函数下降" 的过程。

大半径时中心角很小（防止流发散的关键估计）

Theorem 8 (大半径极限，Lemma 2.3).

在双曲几何中，对任意$\varepsilon>0$，存在$L(\varepsilon)>0$ 使得当$r_i>L(\varepsilon)$ 时，$\vartheta_i<\varepsilon$。

Remark 5.

这条估计常用来证明 "某个$r_i$ 不会在有限时间被推到$+\infty$"：一旦$r_i$ 很大，围绕它的角会很小，从而使曲率$K_i$ 变大；代回$dr_i/dt=-K_i\sinh r_i$（双曲情形）会迫使$r_i$ 往回下降。

Hyperbolic background geometry（论文第 3 节笔记）

记号：与顶点集 \texorpdfstring{$A$

{A} 相邻的半边 \texorpdfstring{$T^k(A)$}{T^k(A)}}

Definition 2 ($T^k(A)$).

对非空$A\subseteq V$，论文记$T^k(A)$ 为满足以下条件的二元组$(e,\tau)$ 的集合：$e\in E$、$\tau\in F$、$e\subseteq\partial\tau$，并且$e$ 的某个端点落在$A$ 中（等价写法：$\partial e\cap A\neq\varnothing$）。

在三角形$T(\mathfrak{D})$ 里，每个$(e,\tau)$ 对应唯一一个以小圆方式 "贴在$e,\tau$ 上" 的三角形；对它的三个内角可按顶点分别求偏导。取定顶点$v_i$ 后，所有这些半边的内角在$v_i$ 处分量加起来就是$v_i$ 周围的锥角，于是

变量替换与势函数 \texorpdfstring{$\Phi$

{Phi}（potential function）}

Definition 3 (change of variables).

在双曲背景下，论文使用变量替换

于是$r_i\in\mathbb{R}_{+}$ 与$u_i\in\mathbb{R}_{-}$ 一一对应。

Remark 6.

把 Ricci 流$\dot r_i=-K_i\sinh r_i$ 换到$u$ 坐标后化为自治系统

推导只需链式法则与$\frac{d}{dr_i}\ln\tanh(r_i/2)=\frac{1}{\sinh r_i}$；因此也常把$\dot r$--流与$\dot u$--流混称而不实质区分。

Theorem 9 (闭 1-形式，Section 3.1).

将每个三角形的 "圆心角"$\vartheta^{(e,\tau)}_i$ 看成$u$ 的光滑函数。由 Lemma 2.2 经计算可得

因而 1-形式$\omega=\sum_i K_i\,du_i$ 闭（局部恰当），可取任一路径积分定义

这与 Colin de Verdi`ere / Bobenko--Springborn / Guo 等变分路线的精神一致。

Theorem 10 (严格凸性与唯一临界点，Proposition 3.1).

在上述设定下$\Phi(u)$ 在$\mathbb{R}^{|V|}_{-}$ 上严格凸。

Lemma 3.6：严格凸函数的通用性质

Theorem 11 (Lemma 3.6).

设$h$ 是凸区域$\Omega$ 上的光滑严格凸函数。

1. 若$p\in\Omega$ 是$h$ 的临界点（$\nabla h(p)=0$），则$p$ 是$h$唯一的全局极小点；

2. 若 moreover$\Omega$ 无界，则$\lim_{\|x\|\to\infty}h(x)=+\infty$，故任意下降但有下界的轨迹必落在紧集内。

Lemma 3.3：流全局存在且有上界

Theorem 12 (Lemma 3.3（笔记复述）).

对任意初始$u(0)\in\mathbb{R}^{|V|}_{-}$，$\dot u_i=-K_i$ 对每个$u_i$ 都有一致 Lipschitz：$|u_i(t)-u_i(0)|\le c t$，因此$u_i(t)$ 在有限时间不穿越到$-\infty$，对应$r_i(t)$ 不碰触$0$。

若某个$r_i$ 需在有限时效内冲向$+\infty$，则 Lemma 2.3 给出当$r_i$ 极大时顶点角极小，从而使$K_i>\pi$，从而$\dot r_i=-K_i\sinh r_i<0$ 与 "还在增大区间"矛盾。故任何时刻$t$ 上均有$r_i(t)$ 上界有限，最大值时间区间亦为$+\infty$。

Proposition 3.5：若收敛必到 \texorpdfstring{$K_i=0$

{K_i=0}}

Theorem 13 (Proposition 3.5).

若$u(t)$ 收敛，则对每个$i$ 有极限曲率$\lim_{t\to\infty}K_i(u(t))=0$。

粗略想法：对每个$t$ 用中值定理写$u_i(n{+}1)-u_i(n)=u_i'(\xi_n)=-K_i(\xi_n)$（$n$ 取整数时间点），收敛时增量趋于$0$，故$K_i\to 0$。

Theorem 3.7：指定离散曲率的推广流

给定目标向量$k\in(-\infty,2\pi)^{|V|}$，若对每个非空$A\subseteq V$，$k_i$ 组满足形如 Theorem 1.4（像条件）的一组不等式，则称$\mathbf{k}$ attainable。论文改写流为

同样有全局存在结论，且收敛当且仅当$k$ attainable，收敛时指数收敛。

Theorem 1.7 的证明骨架（与势函数梯度下降同框）

1. (H2)$\Rightarrow$(H1)：设$u^*$ 满足$K(u^*)=0$，则$\nabla\Phi(u^*)=0$。严格凸

u^$为全局极小，$\Phi$下有界。沿流$\dot\Phi=-\sum Ki^2\le 0$，故$\Phi(u(t))$单调下降有极限。用 Lemma 3.6 证明${u(t)}$在$\mathbb{R}^{|V|}{-}$内紧，再对$\Phi$用差分估计得到$K_i\to 0$，最后严格凸保证只能收敛到$u^

。

2. \textbf{(H1)$\Rightarrow$(H2)}：极限点必有

K=0$，故像中含$0

。

3. \textbf{(H2)$\Leftrightarrow$(H3)}：由Theorem 1.4 将 ``

K_i=0

'' 代入像条件并作代数变形即得 H3 形式；（H3）与（H4）用 Proposition 1.6 等价。

4. \textbf{(H4)$\Leftrightarrow$(H5)}：附录中组合论证（见本节末附录）。

5. 指数衰减：写出

   \frac{dKi}{dt}=-\sumj\frac{\partial Ki}{\partial uj}Kj$，结合 Lemma 2.2（面积单调）与轨道上紧性，对$\maxi K_i

（或等价能量）得比较原理型估计。

Euclidean background geometry（论文第 4 节笔记）

Definition (Euclidean variables).

欧氏背景下使用

ui=\ln ri

K_{\mathrm{av}}=\frac{2\pi\chi(S)}{|V|}.

\Phi(u)=\int_{u(0)}^{u}\omega .

在$\mathbb{R}^{|V|}$ 上凸；在任一超平面$\Xi_d=\{u:\sum_i u_i=d\}$ 上严格凸（因整体缩放对应沿一条方向平移时$\Phi$ 不变，需要商掉该方向后再谈唯一性）。

Theorem (Lemma 4.2（笔记复述）).

\par 由$\dot u_i=K_{\mathrm{av}}-K_i$ 得$\sum_i \dot u_i=0$，故$\sum_i u_i$ 常值，等价于半径乘积不变：

又用$|K_{\mathrm{av}}-K_i|\le c$ 得$|u_i(t)-u_i(0)|\le ct$，故$r_i(t)\ge r_i(0)e^{-ct}>0$，不会触边。

\subsection{Theorem 4.5：指定曲率和为 \texorpdfstring{$2\pi\chi(S)$}{2 pi chi(S)} 的推广流}

给定$k\in(-\infty,2\pi)^{|V|}$，且守恒约束$\sum_i k_i=2\pi\chi(S)$。若对每个非空$A\subseteq V$，$k$ 满足Theorem 1.5 中像刻画的不等式，则称其 attainable。流

全局存在且收敛当且仅当$k$ attainable，收敛指数为指数收敛。

指数收敛用到的恒等式（式 (13)--(14) 思路）

Remark.

\par 由 Gauss--Bonnet$\sum_j \partial K_i/\partial u_j=\partial(2\pi\chi)/\partial u_i\equiv 0$，于是

取$g=\sum_i (K_i-K_{\mathrm{av}})^2$，对$\dot g$ 展开后仅用相邻边配对，再配合 Lemma 2.2（非相邻对$i,j$ 有$\partial K_i/\partial u_j=0$）以及在紧轨道上的一致的负系数上界（Proposition 4.4），得$\dot g\le -c_1 g$，从而指数衰减。

Restriction version（论文第 5 节：通向 Rivin 定理的流）

设$\mathfrak{D}$ 是闭球面$\widehat{\mathbb{C}}$ 上的一个胞腔分解，$\Theta$ 仍满足每个面的角度和 (C1)。取某一个特定的面$\tau_\infty$，其顶点集合记为$V_\infty=\{v_1,\ldots,v_m\}$。 论文把$V_\infty$ 看成 ``无穷远方向上退化为直线'' 的对应物：为这些顶点指定直线（等价于 Euclidean 模型里半径$+\infty$），其余顶点仍取有限正半径向量

仍可沿 Thurston--Bobenko 机制定义限制的锥曲率向量$(K_{m+1},\ldots,K_{|V|})$，得到限制曲率映射$\mathrm{Rh}$。

Theorem (Theorem 5.1（Bobenko--Springborn）：$\mathrm{Rh}$ 像的刻画).

\par 在欧氏背景、并让$v_1,\ldots,v_m$ 对应退化直线时：$\mathrm{Rh}$ 在整体缩放下仍单射（余下有限半径自由度内的单射）；其像为满足$K_j<2\pi$ 对所有$j$，且对任意非空 $A\subseteq V\setminus V_\infty$，有下列与 Theorem~1.5 同型（但顶点集换为$V\setminus V_\infty$）的不等式：

等号仅当$A=V\setminus V_\infty$ 时成立。

Remark (Remark 5.2：限制版 Gauss--Bonnet).

\par 取$A=V\setminus V_\infty$ 并结合 Proposition 1.6 可得

即 非退化顶点处曲率总和自动为 <span data-mx-katex="0"></span>''\textemdash{}这是球面情形在挖去一条 无穷远边'' 后常见的平衡式。

Theorem (Theorem 5.3：限制 Ricci 流与 R1--R5).

\par 对$i=m+1,\ldots,|V|$ 考虑

解全局存在。以下五条等价：

• R1$r(t)$ 收敛；

• R2$0$ 属于$\mathrm{Rh}$ 的像（即存在解使$K_{m+1}=\cdots=K_{|V|}=0$）；

• R3 对任意真非空$A\subsetneq V\setminus V_\infty$，$\sum_{e:\partial e\cap A\neq\varnothing}\Theta(e)>\pi|A|$；

• R4 对任意真非空$A\subsetneq V\setminus V_\infty$，$\sum_{(e,\tau)\in Lk(A)}(\Theta(e)-\pi)+2\pi\chi(S(A))<0$；

• R5 若$e_1,\ldots,e_s$ 组成一条简单闭曲线且不是$\mathfrak{D}$ 的某个面的边界，则$\sum_{l=1}^s\Theta(e_l)<(s-2)\pi$。

若收敛，则指数收敛到对应平面理想圆图案（与$V_\infty$ 关联的直线族一致）。

证明细节与个人理解（读论文时建议对照 Ge--Hua--Zhou 原文）

\textup{(C1)} 从哪里来：每个星点周围的角度和

设面的边界为边$e_1,\ldots,e_m$。在$T(\mathfrak{D})$ 里，该面的星点$\tau$ 周围恰有$m$ 个三角形；每个三角形在$\tau$ 处的内角是$\pi-\Theta(e_l)$（因为$\Theta(e_l)$ 是两圆外交角，三角形在星点处看到的是 ``平角扣掉交角''）。于是星点处锥角为

\textup{(C1)} 要求$\sum_l\Theta(e_l)=(m-2)\pi$，代入得锥角$=m\pi-(m-2)\pi=2\pi$。故星点永远不是锥奇点，所有组合曲率都落在原顶点$V$ 上。

个人理解：\textup{(C1)} 不是 随便写的恒等式''，而是 为了把面的信息吸收进星点、使星点处自动光滑'' 的充要角条件；ideal 还要$\Theta\in(0,\pi)$，于是每个$\pi-\Theta$ 都是真正positive 的内角，三角形不会退化。

\subsection{从$\dot r_i=-K_i\sinh r_i$ 到$\dot u_i=-K_i$：链式法则（可抄在草稿纸上的版本）}

令$u_i=\ln\tanh(r_i/2)$。记$t=\tanh(r_i/2)$，则$u_i=\ln t$，$\dfrac{du_i}{dr_i}=\dfrac{1}{t}\cdot\dfrac{dt}{dr_i}$。而

又$t=\tanh(r_i/2)$ 时恒有$\dfrac{1}{t}(1-t^2)=\dfrac{1}{\sinh r_i}$（双曲恒等式，可用$\tanh=s/\cosh$、$\sinh=2sh(ch)$ 验证）。于是$\dfrac{du_i}{dr_i}=\dfrac{1}{\sinh r_i}$，