[論文レビュー] On $m$-dimensional toric codes

John B. Little, Ryan Schwarz|ArXiv.org|Jun 29, 2005

Coding theory and cryptography参考文献 7被引用数 10

ひとこと要約

本稿では、有限体上の $m$ 次元トーリック符号の最小距離を計算するための、初等的で行列式に基づく手法を提示する。特に長方形型の多面体と単体に対して有効である。unimodular同値な多面体は単項同値な符号をもたらすことを証明し、2次元トーリック符号の同値性に基づく分類が可能になる。また、小さな次元において非同値な符号を区別するための明示的な重み列挙式を提供する。

ABSTRACT

Toric codes are a class of $m$-dimensional cyclic codes introduced recently by J. Hansen. They may be defined as evaluation codes obtained from monomials corresponding to integer lattice points in an integral convex polytope $P \subseteq \R^m$. As such, they are in a sense a natural extension of Reed-Solomon codes. Several authors have used intersection theory on toric surfaces to derive bounds on the minimum distance of some toric codes with $m = 2$. In this paper, we will provide a more elementary approach that applies equally well to many toric codes for all $m \ge 2$. Our methods are based on a sort of multivariate generalization of Vandermonde determinants that has also been used in the study of multivariate polynomial interpolation. We use these Vandermonde determinants to determine the minimum distance of toric codes from rectangular polytopes and simplices. We also prove a general result showing that if there is a unimodular integer affine transformation taking one polytope $P_1$ to a second polytope $P_2$, then the corresponding toric codes are monomially equivalent (hence have the same parameters). We use this to begin a classification of two-dimensional toric codes with small dimension.

研究の動機と目的

• トーリック符号の最小距離を計算するより初等的で代数的な手法を開発し、高度な代数的幾何学に依存しないようにすること。
• 多変数多項式補間技術を用いて、2次元を超える任意の $m \geq 2$ の場合へのトーリック符号の解析を拡張すること。
• 幾何学的および代数的不変量を用いて、2次元トーリック符号を単項同値性の意味で分類すること。
• Magmaを用いて計算された重み列挙式を用いて、同じ $n$ と $k$ のパラメータを持つ非同値なトーリック符号を区別すること。
• 長方形型多面体および単体から得られるトーリック符号の最小距離に対する明示的な公式を提供すること。

提案手法

• 著者らは、トーリック符号の標準生成行列における部分行列のランクを解析するため、バーデルモンド行列式の多変数一般化を用いる。
• ${\mathbb{F}}_q^*$ の点のポーズ集合（poised set）を同定し、バーデルモンド行列式が非ゼロとなる点で、フルランクが保証され、最小距離の下界が得られる。
• この手法は長方形型多面体および単体から得られるトーリック符号に適用可能であり、行列式がゼロでない条件から、正確な最小距離の公式が得られる。
• 主な理論的道具は、整数アフィン変換によるunimodular同値な多面体 $P_1$ と $P_2$ の間で、対応するトーリック符号 $C_{P_1}$ と $C_{P_2}$ が単項同値であることを示す証明である。
• 分類のため、著者らは先行研究のMagmaコードを用いて重み列挙式 $W_C(x) = \sum A_i x^i$ を計算し、係数を比較して符号を区別する。
• 特に最小距離に近い重みの符号語を、$c(x-a)(y-b)$ や $d(x-a)(y-bx-c)$ のような多項式形で分析し、出現回数を数える。

実験結果

リサーチクエスチョン

• RQ1 $m$ 次元における長方形型多面体または単体から構成されたトーリック符号の最小距離は何か？
• RQ2 交差理論や代数的幾何学に依存せずに、トーリック符号の最小距離をどのように計算できるか？
• RQ3 2つのトーリック符号がいつ単項同値となるか？その定義多面体にどのような幾何的条件が要求されるか？
• RQ4 同じ $n$ と $k$ のパラメータを持つトーリック符号は、重み列挙式を用いて区別できるか？
• RQ5 2次元トーリック符号において、最小距離のわずか上回る重みを持つ符号語の構造は何か？

主な発見

• 長方形型多面体から得られるトーリック符号の最小距離は、$m \geq 2$ に対して正確に $(q-1)^m - 2(q-1)^{m-1}$ に等しく、非ゼロとなる多変数バーデルモンド行列式から導出される。
• 単体から得られるトーリック符号の最小距離は $(q-1)^m - (q-1)^{m-1}$ に等しく、再び行列式に基づく解析によって確認された。
• unimodular同値な多面体は単項同値なトーリック符号をもたらし、格子変換を用いて2次元符号の同値性に基づく分類が可能になる。
• $\mathbb{F}_q$ 上の $C_{P_5^{(3)}}$, $C_{P_5^{(4)}}$, $C_{P_5^{(5)}}$, および $C_{P_5^{(6)}}$ の重み列挙式は、$q = 7, 8, \dots, 23$ に対してすべて相異なるため、非同値であることが証明された。
• $q > 23$ の場合、$C_{P_5^{(6)}}$ には重み $(q-1)^2 - (2q-3)$ の符号語は存在しないが、$C_{P_5^{(3)}}$ および $C_{P_5^{(4)}}$ には存在する。これは、より多くの根を持つ可約多項式の存在による。
• $C_{P_5^{(3)}}$ における重み $(q-1)^2 - (2q-3)$ の符号語の数は $3(q-1)^3$、$C_{P_5^{(4)}}$ では $(q-1)^3$、$C_{P_5^{(6)}}$ でも $(q-1)^3$ であり、$C_{P_5^{(5)}}$ にはこのような符号語は存在しない。