On the discrete Heine-Shephard problem for four lattice polygons

这是一份关于论文《ON THE DISCRETE HEINE-SHEPHARD PROBLEM FOR FOUR LATTICE POLYGONS》（四个格点多边形的离散海涅 - 谢泼德问题）的详细技术总结。

1. 研究背景与问题定义

背景：

• 混合体积与海涅 - 谢泼德问题 (Heine-Shephard Problem)： 该问题旨在描述由凸体（convex bodies）的混合体积（mixed volumes）构成的“体积多项式”空间。对于 $n$ 个凸体，其 Minkowski 和的体积是一个关于缩放系数的 $d$ 次齐次多项式，其系数即为混合体积。海涅和谢泼德分别解决了 $n=3, d=2$ 和 $n=2, d \ge 3$ 的情况，描述了这些多项式系数必须满足的不等式条件。
• 代数几何联系： 在代数几何中，根据 BKK 定理，两个由具有特定牛顿多边形（Newton polytopes）的拉格朗日多项式定义的曲线在 $(\mathbb{C}^*)^2$ 中的交点数等于它们牛顿多边形混合面积的两倍。
• 连续情形 vs. 离散情形： 对于平面（$d=2$）中的任意凸体，四个凸体的六个混合面积 $v_{ij}$ 完全由非负性及三个Plücker 型不等式（Plücker-type inequalities）刻画：
  $$v_{12}v_{34} + v_{13}v_{24} \ge v_{14}v_{23}$$
  及其轮换形式。
• 核心问题： 当限制凸体为格点多边形（lattice polytopes，顶点在 $\mathbb{Z}^2$ 上）时，除了上述 Plücker 型不等式和 $2v_{ij} \in \mathbb{Z}_{\ge 0}$ 的整数性条件外，是否存在额外的算术约束？即，是否所有满足 Plücker 不等式的非负整数六元组都能由四个格点多边形实现？

2. 主要贡献与核心发现

本文的主要结论是：在格点多边形的离散设定下，Plücker 型不等式的刻画是不完备的。

• 反例存在性： 作者证明了 Plücker 型不等式定义的区域的内部（interior）包含一些整数多项式，它们无法由任何四个格点多边形实现。
• 算术约束： 这种不可实现性源于格点多边形混合面积之间额外的算术约束（arithmetic constraints），这些约束在连续情形（任意凸体）中不存在。
• 边界情形： 相反，Plücker 集合的边界点（即至少一个 Plücker 不等式取等号的情况）总是可以由格点多边形（甚至可以是退化的格点线段）实现。

3. 方法论与技术工具

为了揭示这些算术约束，作者引入了一个关键工具——离散图（Discrete Diagram）。

3.1 离散图 $\Phi$

作者研究了映射 $\phi: \mathcal{P}(\mathbb{Z}^2) \times \mathcal{P}(\mathbb{Z}^2) \to \mathbb{Z}^3$，将一对格点多边形 $(P, Q)$ 映射到三元组：
$$(w_u(P), V(P, Q), w_u(Q))$$
其中：

• $w_u(P)$ 是 $P$ 在方向 $u$（$u$ 为素向量）上的格宽（lattice width）。
• $V(P, Q)$ 是归一化混合面积（normalized mixed area），对于格点多边形，$V(P, Q) = 2v(P, Q)$ 是整数。

3.2 离散图的性质分析

作者通过分析固定格宽 $w_1, w_2$ 时混合面积 $V$ 的可能取值，发现了以下现象（定理 4.5）：

1. 间隙（Gap）： 对于给定的 $w_1, w_2$，混合面积 $V$ 不能取某些小整数值。具体地，若 $d = \gcd(w_1, w_2)$，则 $V$ 不能取 $1, \dots, \alpha-1$ 之间的值（其中 $\alpha = \min\{d, w_1/d, w_2/d\}$）。
2. 半群结构（Semigroup）： 大于某个阈值的值可以通过 $m_1 \frac{w_1}{d} + m_2 \frac{w_2}{d}$ 的形式生成。
3. 饱和性（Saturation）： 存在一个阈值 $\beta$，使得所有大于等于 $\beta$ 的整数都是可实现的。

关键洞察： 这种“间隙”现象是导致四个多边形混合面积无法实现某些整数组合的根本原因。

4. 主要结果详解

4.1 三个多边形的情况 ($n=3$)

• 结论： 对于三个格点多边形，不存在额外的算术约束。任何非负整数三元组 $(v_{12}, v_{13}, v_{23})$ 都可以由三个格点多边形实现（命题 3.1）。

4.2 四个多边形的情况 ($n=4$)

作者定义了离散 Plücker 集合 $Pl_{4,2}(\mathbb{Z})$（满足 Plücker 不等式的非负整数六元组）和可实现集合 $V^{sf}_{4,2}(\mathbb{Z})$。

• 边界点的可实现性（第 6 节）：

  • 定理 6.2： $Pl_{4,2}(\mathbb{Z})$ 的每一个边界点（即至少一个 Plücker 不等式取等号）都属于 $V^{sf}_{4,2}(\mathbb{Z})$。
  • 构造方法： 这些边界点可以通过四个格点线段（lattice segments）实现。证明利用了数论中的中国剩余定理（Chinese Remainder Theorem）来构造满足线性方程组的格点坐标。

• 内部点的不可实现性（第 8 节）：

  • 定理 8.1： 构造了一个无限族的内部点，它们满足所有 Plücker 不等式（严格不等），但不属于 $V^{sf}_{4,2}(\mathbb{Z})$。
  • 构造示例： 设 $a, b \in \mathbb{N}$ 且 $d = \gcd(a, b) > 1$。取 $v_{12}=1, v_{13}=a, v_{14}=b, v_{23}=ac, v_{24}=bc$，以及 $v_{34}=r$。如果 $0 < r < \min\{d, a/d, b/d\}$，则该点不可实现。
  • 证明逻辑：
    1. 若 $v_{12}=1$，根据命题 2.3，$P_1$ 或 $P_2$ 必须是素线段（primitive segment）或全等的单模三角形。
    2. 若 $P_1$ 是素线段，则 $v_{13}$ 和 $v_{14}$ 必须分别是 $P_3$ 和 $P_4$ 在垂直于 $P_1$ 方向上的格宽。
    3. 根据第 4 节关于离散图的结论（定理 4.5 的间隙性质），当格宽为 $a$ 和 $b$ 且 $\gcd(a,b)=d$ 时，混合面积 $v_{34}$ 不能取 $0$到$\min{d, a/d, b/d}$ 之间的值。
    4. 由于构造的 $r$ 落在这个“间隙”内，因此不存在这样的格点多边形。

• 可实现族（第 7 节）：

  • 作者也展示了 Plücker 集合内部存在大量可实现的点。例如，如果两个相邻坐标为 1，则所有满足 Plücker 不等式的整数点都是可实现的。这表明不可实现点只是内部的一个特定子集，而非全部。

5. 意义与影响

1. 离散几何的算术性质： 本文揭示了格点多边形的几何性质不仅受凸性（几何不等式）约束，还受到深刻的数论（算术）约束。混合面积不仅仅是几何量，其整数性带来了额外的“间隙”限制。
2. 对 BKK 定理应用的修正： 在涉及 $(\mathbb{C}^*)^2$ 中曲线交点计数的问题中，如果限制牛顿多边形为格点多边形，则可能的交点组合（混合面积）比连续情形（任意凸体）要少。
3. 海涅 - 谢泼德问题的离散版本： 本文为离散版本的 Heine-Shephard 问题提供了第一个非平凡的反例（$n=4, d=2$），表明离散情形下的可行域是连续可行域的一个真子集，且其边界结构更为复杂。
4. 方法论创新： 引入“离散图”（Discrete Diagram）作为研究混合面积与格宽关系的工具，为未来研究更高维或更多多边形的混合体积问题提供了新的视角。

总结：
这篇论文证明了在平面格点多边形的背景下，描述混合面积可能性的 Plücker 型不等式是不充分的。虽然边界情况总是可实现的，但在不等式定义的区域内，存在由格宽和最大公约数决定的算术“空洞”，使得某些整数混合面积组合无法由任何格点多边形实现。这一发现深刻揭示了离散几何中算术约束对几何可行性的限制。