几何学

热带几何

用热带运算 $\oplus=\min$ 与 $\otimes=+$ 替换普通的加法与乘法，会把多项式曲线变成分段线性的图形；其源头可追溯到最短路径算法，其前沿则通向计数几何与非阿基米德几何中的未解难题。

直观从普通算术到热带算术

设想每一次"加法"都意味着在两个价格中挑选更便宜的那个，每一次"乘法"都意味着把沿某条路线的费用加总。在添加了 $+\infty$ 的数集上定义两个新运算：热带加法 $a \oplus b = \min(a, b)$ 与热带乘法 $a \otimes b = a + b$ 。热带多项式就是把普通多项式里每个 $+$ 读成 $\oplus$ 、每个 $\times$ 读成 $\otimes$ 所得到的式子。由于 $\otimes$ 只是加法，像 $x^{\otimes 3}$ （即 $x$ 与自身热带相乘三次）这样的单项式就变成了 $3x$ ，整个多项式也就坍缩成有限多个线性函数的最小值。它的"零点集"不再是一条光滑曲线，而是使这一最小值同时被至少两个线性分支取得的点集——也就是一个拐角，或者说一张分段线性图。

为什么叫"热带"？这个名字是为了纪念伊姆雷·西蒙（Imre Simon，1943–2009），一位出生于匈牙利的巴西计算机科学家，他从20世纪70年代末开始率先在理论计算机科学中研究 min-plus 代数。他在自动机理论领域的法国同事们创造了"热带"这个形容词，以此友好地致意西蒙定居的圣保罗——地处南回归线以南——用斯特姆费尔斯和斯派尔后来的话说，这"没有更深的含义"。当数学家们意识到在 min-plus 半环上做代数几何会产生一套丰富而真正几何化的理论时，这个名字就此沿用下来。

例题: 手动计算一个热带多项式的值

考虑一元热带多项式 $p(x) = \min(2x + 3,\ x + 1,\ 2)$ ，它来自普通多项式 $2 \otimes x^{\otimes 2} \oplus 1 \otimes x \oplus 2$ （ $x^2, x, x^0$ 的系数分别为 $2, 1, 2$ ）。求 $p(1)$ 。

解答

将 $x = 1$ 代入这三条线性分支： $2(1) + 3 = 5$ ， $1 + 1 = 2$ ，以及常数分支 $2$ 。热带值就是这三个数的普通最小值： $p(1) = \min(5, 2, 2) = 2$ 。请注意第二条与第三条分支之间出现了相等（ $2 = 2$ ）——这恰好就是分段线性图上的一个拐点，它是根的热带类比。

大学热带半环与热带曲线

定义: 热带半环

热带半环（采用 min-plus 约定）是集合 $\mathbb{T} = \mathbb{R} \cup \{+\infty\}$ 配上热带加法 $a \oplus b = \min(a, b)$ 与热带乘法 $a \otimes b = a + b$ 。它是一个半环而非环： $\oplus$ 与 $\otimes$ 都满足交换律、结合律，且 $\otimes$ 对 $\oplus$ 满足分配律，但除 $+\infty$ 外没有元素存在加法逆元（不存在数 $x$ 使得对有限的 $a$ 有 $\min(a, x) = +\infty$ ）。加法单位元是 $+\infty$ （因为 $\min(a, +\infty) = a$ ），乘法单位元是 $0$ （因为 $a + 0 = a$ ）。（文献中同样常见对偶的 max-plus 约定，即 $\oplus = \max$ ；两者通过 $x \mapsto -x$ 相互对应；本页始终采用 min-plus 约定。）

$n$ 个变量的热带多项式是有限多个 $\otimes$ -单项式的 $\oplus$ -和，即形如 $p(x) = \bigoplus_{\alpha \in S} c_\alpha \otimes x^{\otimes \alpha} = \min_{\alpha \in S} \big(c_\alpha + \alpha \cdot x\big)$ 的函数 $p : \mathbb{R}^n \to \mathbb{R}$ ，其中 $S$ 是指数向量 $\alpha \in \mathbb{Z}^n$ 组成的有限集， $c_\alpha \in \mathbb{R}$ 。这样的 $p$ 都是有限多个整数斜率仿射线性函数的逐点最小值，因而分段线性且凹。由 $p$ 定义的热带超曲面（当 $n = 2$ 时称为热带曲线）就是它的拐角轨迹 $V(p) = \{x \in \mathbb{R}^n : \text{the minimum in } p(x) \text{ is attained by at least two terms}\}$ ——恰好就是 $p$ 不是线性的那些点的集合，是"多项式取零"的热带类比。

p(x) = \bigoplus_{\alpha \in S} c_\alpha \otimes x^{\otimes \alpha} = \min_{\alpha \in S} \big(c_\alpha + \alpha \cdot x\big)

$n$ 个变量的热带多项式是有限多个 $\otimes$ -单项式的 $\oplus$ -和，即形如 $p(x) = \bigoplus_{\alpha \in S} c_\alpha \otimes x^{\otimes \alpha} = \min_{\alpha \in S} \big(c_\alpha + \alpha \cdot x\big)$ 的函数 $p : \mathbb{R}^n \to \mathbb{R}$ ，其中 $S$ 是指数向量 $\alpha \in \mathbb{Z}^n$ 组成的有限集， $c_\alpha \in \mathbb{R}$ 。这样的 $p$ 都是有限多个整数斜率仿射线性函数的逐点最小值，因而分段线性且凹。由 $p$ 定义的热带超曲面（当 $n = 2$ 时称为热带曲线）就是它的拐角轨迹，即至少有两条线性分支同时取得最小值的点集： $V(p) = \{x \in \mathbb{R}^n : |\{\alpha \in S : c_\alpha + \alpha \cdot x = p(x)\}| \ge 2\}$ ——恰好就是 $p$ 不是线性的那些点的集合，是"多项式取零"的热带类比。

例题: 热带直线

考虑两个变量中最简单的、所有系数都为 $0$ 的 $1$ 次热带多项式 $q(x, y) = x \oplus y \oplus 0 = \min(x, y, 0)$ 。求它的拐角轨迹（即它所定义的热带曲线），并描述每一项各自取胜的三个区域。

解答

三条线性分支分别是 $x$ 、 $y$ 与 $0$ 。两两比较：当 $x < y$ 且 $x < 0$ 时， $x$ 是唯一的最小值；当 $y < x$ 且 $y < 0$ 时， $y$ 是唯一的最小值；当 $x > 0$ 且 $y > 0$ 时， $0$ 是唯一的最小值。拐角轨迹——即两条分支打平的地方——恰好由从原点发出的三条射线组成：射线 $\{x = y \le 0\}$ （方向 $(-1,-1)$ ，此处 $x$ 分支与 $y$ 分支打平）、射线 $\{x = 0,\ y \ge 0\}$ （方向 $(0,1)$ ，此处 $x$ 分支与常数分支打平）、以及射线 $\{y = 0,\ x \ge 0\}$ （方向 $(1,0)$ ，此处 $y$ 分支与常数分支打平）。这个三叉图形——有时被戏称为"奔驰"曲线——就是热带直线：普通直线的热带类比。

\sum_{j=1}^{k} w_j v_j = 0

定理: 平衡条件

设 $p$ 是二元热带多项式， $v$ 是其热带曲线 $V(p)$ 的一个顶点。设与 $v$ 相邻的 $V(p)$ 的各条边具有本原整数方向向量 $v_1, \dots, v_k \in \mathbb{Z}^2$ （每个都指向远离 $v$ 的方向）以及正整数权重 $w_1, \dots, w_k$ 。则 $\sum_{j=1}^{k} w_j v_j = 0$ 。

为什么成立?

这是一条守恒律，其结构与电路节点处的基尔霍夫电流定律完全相同：在 $v$ 附近，多项式 $p$ 是在 $v$ 处取得相等的那些仿射分支的最小值，而每条边正是其中恰好两个分支保持相等之处。当你绕 $v$ 走一圈时，每穿过一条边， $p$ 的斜率就会跳变一个与 $w_j v_j$ 成比例的量；由于 $p$ 是一个良定义的连续函数，这些跳变在走完一整圈后必须相互抵消，这正是平衡方程。正是这种局部的相互抵消——而不是任意的多面体复形都具备——使得热带曲线成为真正代数意义上的曲线，即某个真实热带多项式的拐角轨迹，而不是射线与线段的任意拼凑。

证明

回顾 $p(x) = \min_{\alpha \in S}(c_\alpha + \alpha \cdot x)$ 与其牛顿多边形 $\mathrm{conv}(S)$ 的正则剖分 $\Delta_p$ 相对偶，该剖分通过将每个点 $\alpha \in S$ 提升到高度 $c_\alpha$ 、再把下凸包投影回平面而得到。 $V(p)$ 的每条边 $e$ 都与 $\Delta_p$ 的某条边 $e^*$ 对偶： $e$ 与 $e^*$ 垂直（旋转 $90^\circ$ ），且其权重 $w$ 等于 $e^*$ 的格长。 $V(p)$ 的每个顶点 $v$ 都与 $\Delta_p$ 的某个 $2$ 维胞腔（多边形） $\sigma_v$ 对偶，且与 $v$ 相邻的 $V(p)$ 的边，按相应的循环顺序，恰好对应于 $\sigma_v$ 的边界边。沿闭多边形 $\sigma_v$ 的边界走一圈，其边向量 $e_1^*, \dots, e_k^*$ 之和为零——多边形会回到出发点： $e_1^* + \cdots + e_k^* = 0$ 。旋转 $90^\circ$ 是一个线性映射 $R$ ，在固定取向的选择下，每个 $R(e_j^*)$ 都等于 $w_j v_j$ （权重 $w_j$ 是 $e_j^*$ 的格长， $v_j$ 是 $e_j^*$ 经旋转并缩放为本原向量后所得）。对 $e_1^* + \cdots + e_k^* = 0$ 两边同时施加线性映射 $R$ ，得到 $w_1 v_1 + \cdots + w_k v_k = R(0) = 0$ ，这正是平衡条件。

来验证一下上面那条热带直线的平衡条件：在原点处，三条射线的本原方向分别是 $(1,0)$ 、 $(0,1)$ 、 $(-1,-1)$ ，每条的权重都是 $1$ （因为 $q$ 的所有系数都为 $0$ ，所以牛顿三角形中每条对偶边的格长都是 $1$ ）。确实有 $1\cdot(1,0) + 1\cdot(0,1) + 1\cdot(-1,-1) = (0,0)$ ，在这个最简单的例子上验证了该定理。

进阶从形式赋值到真正的代数理论

上面的热带直线是用任意系数手工构造出来的，但最深刻的热带曲线来自对真实代数簇的热带化。设 $K$ 是一个配有赋值 $\mathrm{val} : K^* \to \mathbb{R}$ 的域——该函数满足 $\mathrm{val}(ab) = \mathrm{val}(a) + \mathrm{val}(b)$ 与 $\mathrm{val}(a+b) \ge \min(\mathrm{val}(a), \mathrm{val}(b))$ ——例如 Puiseux 级数域 $\mathbb{C}\{\!\{t\}\}$ （其中 $\mathrm{val}$ 读取 $t$ 的最低次指数）或 $p$ 进数域 $\mathbb{Q}_p$ （其中 $\mathrm{val}$ 是 $p$ 进赋值）。将 $\mathrm{val}$ 逐坐标扩展为映射 $\mathrm{trop} : (K^*)^n \to \mathbb{R}^n$ ， $\mathrm{trop}(x_1, \dots, x_n) = (\mathrm{val}(x_1), \dots, \mathrm{val}(x_n))$ 。对于一个簇 $X \subseteq (K^*)^n$ ，其热带化 $\mathrm{trop}(X)$ 定义为像 $\mathrm{trop}(X(K))$ 在 $\mathbb{R}^n$ 中的闭包。

将这套形式机制与真正的代数几何联系起来的最重要事实，就是热带几何基本定理：对于在具有非平凡赋值的代数闭域 $K$ 上由理想 $I$ 所定义的簇 $X = V(I) \subseteq (K^*)^n$ ， $\mathrm{trop}(X)$ 恰好等于对 $I$ 中每个多项式做热带化并取其拐角轨迹的交集所得到的集合 $V(\mathrm{trop}(I)))$ ——也就是说，（由 $X$ 的实际点构造出的）解析热带化与仅由理想构造出的纯组合热带簇是一致的。米哈伊尔·卡普拉诺夫在1990年代证明了超曲面情形（只有一个定义多项式）；对任意理想的一般陈述，连同借助格罗布纳理论与初始理想给出的完整证明，是在戴安·麦克拉根与伯恩德·斯特姆费尔斯 $2015$ 年出版的教材《Introduction to Tropical Geometry》中作为基本定理展开的，其基础是2000年代发展起来的热带格罗布纳基技术。

早在有人把这一切称为"热带"之前，计算机科学家就已经在手工做热带线性代数了。带权有向图上的全源最短路径问题正是 $(\min, +)$ 代数的教科书式实例：设 $A$ 是 $n \times n$ 矩阵， $A_{ij}$ 为从 $i$ 到 $j$ 的边权（若没有边则 $A_{ij} = +\infty$ ， $A_{ii} = 0$ ），那么热带矩阵乘法的定义与普通线性代数完全一样，只是把 $+$ 换成 $\oplus$ 、把 $\times$ 换成 $\otimes$ ： $(A \otimes B)_{ij} = \bigoplus_k \big(A_{ik} \otimes B_{kj}\big) = \min_k \big(A_{ik} + B_{kj}\big)$ 。

d_{ij}^{(k)} = \min\big(d_{ij}^{(k-1)},\ d_{ik}^{(k-1)} + d_{kj}^{(k-1)}\big)

定理: 最短路径即热带矩阵幂

设 $A$ 是无负权回路的 $n$ 顶点有向图的 $(\min,+)$ 权重矩阵。记 $A^{\otimes m}$ 为 $A$ 与自身的 $m$ 次热带矩阵乘积。则元素 $(A^{\otimes(n-1)})_{ij}$ 等于图中从 $i$ 到 $j$ 的最短路径长度。这正是 Floyd–Warshall 算法所计算的量，其递推式 $d_{ij}^{(k)} = \min\big(d_{ij}^{(k-1)},\ d_{ik}^{(k-1)} + d_{kj}^{(k-1)}\big)$ 每次引入一个中间顶点，逐步构建出 $A^{\otimes(n-1)}$ 。

为什么成立?

元素 $(A^{\otimes m})_{ij}$ 记录了从 $i$ 到 $j$ 使用**至多 $m$ 条边**的最优通路长度，因为热带矩阵乘法恰好就是"把第一段与剩余行程用加法组合起来，然后只保留最便宜的那个组合"——这正是最短路径的贝尔曼最优性原理。迭代 $n - 1$ 次就足够了，因为 $n$ 个顶点的图中最短简单路径所需的边数永远不会超过 $n - 1$ ，所以再进行热带平方也无法改进结果。

证明

对 $m$ 作归纳。基础情形 $m = 1$ ： $(A^{\otimes 1})_{ij} = A_{ij}$ 显然就是至多使用一条边的最优通路长度。归纳步骤：假设对每个 $k$ ， $(A^{\otimes m})_{ik}$ 都等于至多使用 $m$ 条边从 $i$ 到 $k$ 的最短通路长度。则 $(A^{\otimes(m+1)})_{ij} = (A^{\otimes m} \otimes A)_{ij} = \min_k\big((A^{\otimes m})_{ik} + A_{kj}\big)$ 。任何一条从 $i$ 到 $j$ 且至多有 $m+1$ 条边的通路，要么本身已至多用了 $m$ 条边（由 $k = j$ 、 $A_{jj} = 0$ 这一项覆盖），要么可以拆分为一条至多 $m$ 条边、从 $i$ 到某个顶点 $k$ 的通路，再加上最后一条边 $k \to j$ ；对所有这样的 $k$ 取最小值，恰好得到 $(A^{\otimes(m+1)})_{ij}$ ，故命题对 $m + 1$ 也成立。由于不存在负权回路，最短通路无需重复经过顶点，因此每条最短路径至多使用 $n - 1$ 条边；取 $m = n - 1$ 即得 $(A^{\otimes(n-1)})_{ij}$ 恰为最短路径距离，这与 Floyd–Warshall 的递推式一致——后者通过依次固定中间顶点，而非按边数计数，来计算同一个量。

例题: 一次微小的热带矩阵平方

三个顶点 $A, B, C$ ，有向边为 $A \to B$ （权重 $4$ ）、 $B \to C$ （权重 $3$ ）、 $A \to C$ （权重 $9$ ）。其 $(\min,+)$ 权重矩阵为 $A = \begin{pmatrix} 0 & 4 & 9 \\ \infty & 0 & 3 \\ \infty & \infty & 0 \end{pmatrix}$ （行/列顺序为 $A, B, C$ ）。计算 $(A \otimes A)_{AC}$ ，并与直接边权 $9$ 比较。

解答

根据定义 $(A \otimes A)_{AC} = \min_k(A_{Ak} + A_{kC}) = \min\big(A_{AA}+A_{AC},\ A_{AB}+A_{BC},\ A_{AC}+A_{CC}\big) = \min(0+9,\ 4+3,\ 9+0) = \min(9, 7, 9) = 7$ 。热带平方找到了总权重为 $7$ 的两条边路线 $A \to B \to C$ ，严格优于权重为 $9$ 的直接边——这恰好就是 Floyd–Warshall 在把 $B$ 视为中间顶点时所做的最短路径更新。由于最短路径这里只用了 $2 \le n - 1 = 2$ 条边，平方一次就已经足够。

图中的点

v_i

是热带多项式的指数向量。它们的下凸包给出 Newton 多面体细分，绿色射线标出两个仿射形式取得相同最小值的热带折线轨迹。

热带几何正处在一个真正的交汇点上。每个热带多项式 $p$ 都带有一个牛顿多胞形 $\mathrm{conv}(S) \subseteq \mathbb{R}^n$ ，其系数 $c_\alpha$ 会诱导出该多胞形的一个正则剖分（把每个 $\alpha$ 提升到高度 $c_\alpha$ ，再把下侧的面投影回去）——这正是凸几何与离散几何中的多面体机制。对偶地，经典代数簇 $X$ 的热带簇 $\mathrm{trop}(X)$ 把 $X$ 真正的代数几何数据（维数、次数及其大部分相交理论）编码进一个纯组合的对象之中，这也是为什么代数几何中的许多计算都可以在热带世界里完成。而且，由于每个热带多项式都是仿射线性函数的最小值，对它求值本身就是一个小型线性规划问题：热带几何与凸、线性优化共享同一个底层的 $(\min, +)$ -线性结构，热带方法如今已直接融入线性与凸规划算法之中。

同一热带模型以 Newton 多面体图展示：指数向量、下凸包多边形，以及两个仿射项相等处的 min-plus 折线绿色射线。

进阶百年成形:从自动机理论到代数几何

历史注记

min-plus 半环至少被独立发现过两次。在运筹学领域，罗伯特·弗洛伊德（ $1962$ 年6月，Algorithm 97: Shortest Path）与斯蒂芬·沃舍尔（ $1962$ 年1月，A Theorem on Boolean Matrices）在伯纳德·罗伊 $1959$ 年一篇论文的基础上，发表了如今合称为Floyd–Warshall的最短路径与传递闭包算法——事后看来，这些都是 $(\min,+)$ 矩阵幂的计算，尽管这些作者当时都没有使用这套语言。在理论计算机科学领域，伊姆雷·西蒙 $1978$ 年的论文《Limited subsets of a free monoid》引入了 min-plus 带权自动机，用以判定正则语言的有限幂性质，这正是后来以他名字命名的半环的直接前身。这两条传统各自平行发展了数十年。直到 2000年代，格里戈里·米哈尔金、伯恩德·斯特姆费尔斯、戴安·麦克拉根和大卫·斯派尔等数学家才把 min-plus 半环、牛顿多胞形与非阿基米德赋值组装成如今称为热带几何的几何理论——其中米哈尔金的《Enumerative tropical algebraic geometry in $\mathbb{R}^2$ 》（ $2005$ 年）是一座里程碑：该文证明了一条对应定理，表明通过一般位置点的复代数曲线的经典计数，可以通过对适当加权的热带曲线计数而精确得到，从而把一个原本只是组合上的趣味现象，变成了计数代数几何真正的工具。

研究热带几何的现状

研究前沿截至 2026 年

截至2026年，热带几何仍是一个活跃的交汇点，而非已经翻过的一章。有三个方向尤为突出。(1) 计数代数几何。 米哈尔金 $2005$ 年的对应定理只是众多成果中的第一个：热带曲线计数技术仍在不断推广到更高亏格、更高维的计数问题，为计算 Gromov–Witten 不变量以及其他经典方法难以直接计算的曲线计数理论提供助力。(2) 计算生物学。 由于带有分支长度的进化树本身就是一种热带/分段线性对象，系统发育树空间（如 Billera–Holmes–Vogtmann 树空间）可以自然地嵌入热带线性空间与热带格拉斯曼流形；这使研究者能够把最大似然与贝叶斯系统发育推断中一些难以处理的组合搜索，替换为热带凸性与热带中位数计算。(3) 非阿基米德几何与 Berkovich 几何。 热带化如今被理解为嵌在与非阿基米德域上簇相关联的更丰富的解析性 Berkovich 空间内部的组合骨架；目前正在进行的工作（包括 Berkovich 空间上的微分形式、位势论与 Monge–Ampère 方程，以及通过热带/Berkovich 对偶复形研究曲线模空间的最高权上同调）持续在收紧热带组合与非阿基米德解析几何之间的对应词典。未解决的问题包括把对应定理推广到更广的簇类，以及更好地理解究竟哪些热带簇真正能作为经典簇的热带化出现（即可实现性问题）。

按照本页采用的 min-plus 约定， $2 \oplus 5$ 等于多少？

由热带多项式 $p$ 所定义的热带曲线（拐角轨迹）是满足下列条件的点集："

热带曲线顶点处的平衡条件 $\sum_j w_j v_j = 0$ 之所以重要，是因为……

Floyd–Warshall 最短路径算法之所以是热带几何直接的历史先驱，是因为它本质上计算的是……

参考文献

Diane Maclagan, Bernd Sturmfels (2015). Introduction to Tropical Geometry
Grigory Mikhalkin (2005). Enumerative tropical algebraic geometry in R^2 · arXiv:math/0312530
Imre Simon (1978). Limited subsets of a free monoid · DOI:10.1109/SFCS.1978.21