哪些 Ehrhart 性质能在格多胞形运算下保持？

三类性质、八种运算、一张保持表

论文在许多具体场景中追问同一个问题：如果格多胞形 P 具有某个 Ehrhart 理论中的“好”性质，那么经过一种标准运算得到的多胞形是否也继承该性质？涉及的运算包括笛卡尔积、格并、格锥、自由和、Minkowski 和、Cayley 和、自反极对偶以及整数膨胀。性质分为三类：Ehrhart 系数正性（Ehrhart 正性与 magic 正性）、h* 多项式的系数性质（对称性、单峰性、对数凹性、超对数凹性、实根性、γ 正性），以及几何性质（生成性、整数分解性质、非常丰沛性，以及单模三角剖分、正则单模三角剖分或二次三角剖分的存在性）。

答案是刻意混合的。对每一对“运算—性质”，论文要么证明保持定理，要么构造显式反例；当某性质在一般情况下失效时，论文会寻找使其成立的充分条件或等价条件。结论部分把主要贡献描述为补全论文表 1 中的全部刻画，因此真正的结果是那张表，而不是一句口号。

Ehrhart 与 magic 正性在积和膨胀下保持

Ehrhart 正性指普通展开式 L_P(n) = c_d n^d + ... + c_1 n + c_0 中每个系数 c_i 都为正；magic 正性指二项式基展开式 L_P(n) = sum b_i n^i (n+1)^(d-i) 中每个系数 b_i 都非负。这是在不同基上的两种不同检验，论文将它们严格区分。magic 正性蕴含 Ehrhart 正性，并且依据 Brändén 的结果还蕴含 h*_P(z) 的实根性，但反过来不成立：一个单模三角形已有 h*(z) = 1，却不是 magic 正的。

对笛卡尔积而言，正性保持有一个透明的理由：L_{P x Q}(n) = L_P(n) L_Q(n)，因此 Ehrhart 正性直接传递；而 magic 基项之积 n^i (n+1)^(p-i) 乘以 n^j (n+1)^(q-j) 等于 n^{i+j} (n+1)^{p+q-i-j}，使新的 magic 系数成为非负系数乘积之和。整数膨胀表现类似：由于 L_{rP}(n) = L_P(rn)，L_{rP} 的系数为 r^j c_j，所以 rP 是 Ehrhart 正的当且仅当 P 是；论文通过把 (rn)^j (rn+1)^{d-j} 以非负系数展开到 d 次 magic 基，证明整数膨胀保持 magic 正性。

h* 多项式性质需要比正性更强的假设

h* 多项式的各项性质分化明显。标准格并保持对称性、无内部零点的对数凹性、实根性和 γ 正性，因为 h*_{P*Q}(z) = h*_P(z) h*_Q(z)，而这些性质在多项式乘法下封闭。超对数凹性在维数序和实际次数序下都保持，对称性与单峰性同时成立的条件也保持。

仅靠单峰性并不够。论文记录了一个五维多胞形 P，其 h*_P(z) = 1 + 6z + 6z^2 + 113z^3 是单峰的，而它与自身的并满足 h*_{P*P}(z) = 1 + 12z + 48z^2 + 298z^3 + 1392z^4 + 1356z^5 + 12769z^6，其中出现低谷 1392 > 1356 < 12769。笛卡尔积连更基本的性质都会失效：[0,1] 与 [0,2] 的分子都对称且 γ 正，但它们的积有 h*(z) = 1 + 3z，既不对称，因此也不是 γ 正的。另一个 52 维的积，由两个分子单峰的多胞形相乘得到，在指标 22、23、24 处的系数为 28264217617840835 > 28180199302315925 < 28214521222404290，单峰性同样失效。

几何性质在积与并下保持，但有一个例外

笛卡尔积保持生成性、非常丰沛性、整数分解性质、单模三角剖分、正则单模三角剖分和二次三角剖分；三角剖分这一步使用顶点公共排序的阶梯积构造。标准格并保持生成性、整数分解性质、单模三角剖分、正则单模三角剖分和二次三角剖分。

非常丰沛性是格并的例外：两个非常丰沛的格多胞形的并未必非常丰沛，论文给出了显式反例。整数膨胀在三角剖分方面更宽容：如果 P 具有单模、正则单模或二次三角剖分，那么对每个整数 r >= 1，rP 具有同类型的三角剖分。

自反极对偶会破坏生成性

自反极对偶是论文反例最具体的运算。论文构造了一个格多胞形 V，其格点差群恰好是 Z^3 x 2Z，即 Z^4 中指数为二的子群，因此 V 不是生成的。它的极对偶 V* 包含 0、e_1、e_2、e_3 和 (1,0,0,1)，而这些点的差生成 Z^4，因为 (1,0,0,1) - e_1 = e_4。所以 V* 是生成的而 V 不是，这证明生成性在自反极对偶下不被保持。

这一点重要，因为生成性是其他结果所依赖的几何假设之一，而该例表明它不能想当然地穿过对偶。论文的整体模式是：几何性质倾向于在加性风格的运算（积、并、膨胀）下保持，但在极对偶下可能失效，因为对偶的组合结构不受原多胞形控制。

等余次数与对称性充当保持的门槛

若干失效并非无条件。对笛卡尔积而言，积的对称性要求两个因子具有相等的余次数；论文指出 [0,1] 与 [0,2] 的余次数分别为二和一，这正是它们积的分子不对称的原因。对格并而言，没有等余次数限制，次数与余次数公式 s_{P*Q} = s_P + s_Q 和 r_{P*Q} = r_P + r_Q 使并的公式具有加性。

论文还详细处理了 h* 多项式的整数膨胀。它定义零偏移 Veronese 算子 U_r^{d+1} h(z) = (B_r(z)^{d+1} h(z))<r,0>，其中 B_r(z) = 1 + z + ... + z^{r-1}，并证明：若 h*_P 具有某一阶的超对数凹性，则 h*_{rP} 具有 d 阶（维数序）和 s_{rP} 阶（实际次数序）的超对数凹性。证明按维数分情况：维数 1 到 4 且 r >= 3 通过实根性和牛顿不等式处理，而 d >= 5 使用指数 alpha = 53/(40r) 的分数超对数凹性归一化以及分解 d+1 = 3a + 4b。

按运算而非按性质来读这张表

实际结论是：保持性是“运算—性质”这一对的属性，而不是性质本身的属性。如果你处理笛卡尔积或格并，正性和大多数几何性质是安全的，但积的对称性需要等余次数，而且即使两个因子都单峰，积的单峰性也可能失效。如果你处理自反极对偶，不要假设生成性会保持。如果你处理整数膨胀，正性和三角剖分的存在性都保持，而 h* 多项式的问题归结为一种 Veronese 型提取，其答案取决于维数，以及你是在维数序还是实际次数序下衡量超对数凹性。

论文自身的定位指向同一优先级：结论部分说主要贡献是补全表 1 中的刻画，并希望这能指导后续工作，包括构造猜想的反例。有两个公开问题被标注为这些结果尚未解决：Oda 光滑性问题，即每个光滑格多胞形是否都具有整数分解性质；以及 Gal 猜想，即具有二次三角剖分的 Gorenstein 格多胞形是否具有 γ 正的 h* 多项式。论文中的非整数分解性质的 Minkowski 和 Cayley 构造并未解决 Oda 问题，因为这些构造输出的光滑性尚未被确立，这也是保持表在哪里结束、新工作必须从哪里开始的最清晰信号。

本文引用的文献