[論文レビュー] 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

ひとこと要約

この論文は、1 + hₖ* tᵏ の形をした二項式である h*-多項式を持つ d 次元格子単体を分類し、素数 p に対して SL(d+1, ℂ) の位数 pʳ の有限アーベル部分群と関連付ける。符号理論と一般化されたベルヌーイ数の非消滅定理を用いて、hₖ* + 1 = pʳ の場合、特に p = 2（ボニソリの定理を介して）および 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 次元格子単体を分類すること。
• このような単体と、素数 p に対して SL(d+1, ℂ) の位数 pʳ の有限アーベル部分群との間の対応を確立すること。
• 符号理論を用いて、これらの部分群を 𝔽ₚ 上の定数重み符号として分析すること。
• ボニソリの定理による既知の p = 2 の場合を越えて、奇数の素数 p > 2 に対しても分類を拡張すること。
• 奇数の特徴 χ: 𝔽ₚʳ* → ℂ* に対して一般化されたベルヌーイ数 B₁,χ⁽ʳ⁾ が非消滅することを示し、これを主要な技術的道具とする。

提案手法

• ∑λᵢvᵢ ∈ M かつ ∑λᵢ ∈ ℤ を満たす対角行列 diag(e²πiλ₀, ..., e²πiλ_d) 全体からなる SL(d+1, ℂ) の部分群 GΔ を定義する。
• h*-係数 hₖ* を、GΔ において ∑λᵢ = k を満たす元の個数と関連付ける。
• トレース写像 Tr: 𝔽ₚʳ → 𝔽ₚ を用いて、GΔ を長さ d+1、定数重みの線形符号としてモデル化する。
• p = 2 の場合、定数重みを持つ線形符号のボニソリの分類を適用して、対応する多面体を分類する。
• p > 2 の場合、𝔽ₚʳ* 上の奇数の特徴 χ に関連する一般化されたベルヌーイ数 B₁,χ⁽ʳ⁾ の非消滅性を用いて、符号の構造を制約する。
• トレース分解と特徴和の恒等式を用いて、符号の内積構造を分析し、多面体の h*-多項式に制約を導く。

実験結果

リサーチクエスチョン

• RQ1 どの d 次元格子単体が、1 < k < (d+1)/2 を満たす形の二項式 1 + hₖ* tᵏ である h*-多項式を持つのか？
• RQ2 このような単体は、素数 p に対して SL(d+1, ℂ) の位数 pʳ の有限アーベル部分群を用いてどのように分類できるか？
• RQ3 符号理論は、p = 2 および p > 2 の場合に、これらの部分群の分類にどのように寄与するか？
• RQ4 𝔽ₚʳ* 上の奇数の特徴 χ に対して一般化されたベルヌーイ数 B₁,χ⁽ʳ⁾ は、このような符号および多面体の存在をどのように制約するか？
• RQ5 𝔽ₚʳ 上のトレース形式 Tr(ab) が非退化であるための条件は何か？ また、これは定数重み符号の分類をどのように支援するか？

主な発見

• 1 < k < (d+1)/2 を満たす h*-多項式 1 + hₖ* tᵏ を持つすべての d 次元格子単体は、同型を除いて完全に分類されている。
• p = 2 の場合、分類は 𝔽₂^{d+1} 内の定数重み線形符号のボニソリの分類に帰着され、このような多面体の完全なリストが得られる。
• p > 2 の場合、奇数の特徴 χ: 𝔽ₚʳ* → ℂ* に対して一般化されたベルヌーイ数 B₁,χ⁽ʳ⁾ が非消滅することに依存しており、これは非自明な符号の存在を保証する。
• このような単体 Δ に付随する群 GΔ ⊆ SL(d+1, ℂ) は (ℤ/pℤ)ʳ に同型であり、その構造はトレース形式 Tr: 𝔽ₚʳ → 𝔽ₚ によって決定される。
• GΔ において ∑λᵢ = k を満たす元の個数は正確に hₖ* に等しく、これは 𝔽ₚʳ 上の特徴和を用いて計算される。
• 分類により、このような多面体が存在するのは hₖ* + 1 = pʳ を満たす素数 p および r ≥ 1 のときであり、多面体が錐でない（つまり、GΔ 内にすべての λᵢ が非ゼロである）ための必要十分条件が得られる。