[论文解读] Lattice polytopes, finite abelian subgroups in $\SL(n,\C)$ and coding theory

Victor V. Batyrev, Johannes Hofscheier|arXiv (Cornell University)|Sep 20, 2013

Coding theory and cryptography参考文献 3被引用 6

一句话总结

本文将 h*-多项式为 1 + hₖ* tᵏ 形式的 d 维格点单体进行分类，其中 hₖ* 为整数，k 满足 1 < k < (d+1)/2，将其与 SL(d+1, ℂ) 中阶为 pʳ 的有限阿贝尔子群（p 为素数）相联系。通过编码理论与广义伯努利数的非零性定理，本文在 hₖ* + 1 = pʳ 的条件下对这类多面体给出了完整分类，尤其针对 p = 2（利用 Bonisoli 定理）和 p > 2（利用奇特征标与迹形式）的情形。

ABSTRACT

We consider $d$-dimensional lattice polytopes $Δ$ with $h^*$-polynomial $h^*_Δ=1+h_k^*t^k$ for $1 2$, the main technical tool in the classification of these linear codes is the non-vanishing theorem for generalized Bernoulli numbers $B_{1,χ}^{(r)}$ associated with odd characters $χ:\F_q^* o\C^*$ where $q=p^r$. Our result implies a complete classification of all lattice polytopes whose $h^*$-polynomial is a binomial.

研究动机与目标

• 对 h*-多项式为二项式 1 + hₖ* tᵏ 且满足 1 < k < (d+1)/2 的 d 维格点单体进行分类。
• 建立此类单体与 SL(d+1, ℂ) 中阶为 pʳ 的有限阿贝尔子群（p 为素数）之间的对应关系。
• 利用编码理论将这些子群建模为 𝔽ₚ 上的常权码。
• 将分类结果从已知的 p = 2 情形（通过 Bonisoli 定理）推广至奇素数 p > 2 的情形。
• 证明广义伯努利数 B₁,χ⁽ʳ⁾ 对于 𝔽ₚʳ* 上的奇特征标 χ: 𝔽ₚʳ* → ℂ* 的非零性，作为关键技术工具。

提出的方法

• 定义子群 GΔ ⊆ SL(d+1, ℂ)，由对角矩阵 diag(e²πiλ₀, ..., e²πiλ_d) 构成，其中 ∑λᵢvᵢ ∈ M 且 ∑λᵢ ∈ ℤ。
• 将 h*-系数 hₖ* 与 GΔ 中满足 ∑λᵢ = k 的元素个数建立联系。
• 利用迹映射 Tr: 𝔽ₚʳ → 𝔽ₚ，将群 GΔ 建模为长度为 d+1、具有常权的 𝔽ₚ 上的线性码。
• 当 p = 2 时，应用 Bonisoli 对常权线性码的分类结果，对相应多面体进行分类。
• 当 p > 2 时，利用与 𝔽ₚʳ* 上奇特征标 χ 相关的广义伯努利数 B₁,χ⁽ʳ⁾ 的非零性，约束码的结构。
• 通过迹分解与特征和恒等式，分析码的内积结构，进而推导出多面体 h*-多项式所受的约束。

实验结果

研究问题

• RQ1 哪些 d 维格点单体的 h*-多项式为 1 + hₖ* tᵏ 且满足 1 < k < (d+1)/2？
• RQ2 如何通过 SL(d+1, ℂ) 中阶为 pʳ 的有限阿贝尔子群（p 为素数）对这些单体进行分类？
• RQ3 编码理论在 p = 2 和 p > 2 情形下对这些子群的分类中起到何种作用？
• RQ4 𝔽ₚʳ* 上奇特征标 χ 的广义伯努利数 B₁,χ⁽ʳ⁾ 如何约束此类码与多面体的存在性？
• RQ5 𝔽ₚʳ 上的迹形式 Tr(ab) 在何种条件下保证非退化性，并支持常权码的分类？

主要发现

• 所有满足 h*-多项式为 1 + hₖ* tᵏ 且 1 < k < (d+1)/2 的 d 维格点单体均已按同构关系完全分类。
• 当 p = 2 时，分类归约为 Bonisoli 对 𝔽₂^{d+1} 中常权线性码的分类，从而给出此类多面体的完整列表。
• 当 p > 2 时，分类依赖于广义伯努利数 B₁,χ⁽ʳ⁾ 对于奇特征标 χ: 𝔽ₚʳ* → ℂ* 的非零性，该性质保证了非平凡码的存在。
• 与单体 Δ 关联的群 GΔ ⊆ SL(d+1, ℂ) 同构于 (ℤ/pℤ)ʳ，其结构由迹形式 Tr: 𝔽ₚʳ → 𝔽ₚ 决定。
• GΔ 中满足 ∑λᵢ = k 的元素个数恰好为 hₖ*，该计数通过 𝔽ₚʳ 上的特征和计算得出。
• 分类结果表明，此类多面体仅在 hₖ* + 1 = pʳ（p 为素数，r ≥ 1）时存在，且当且仅当 GΔ 中无 λᵢ 为零时，该多面体不是锥体。