[論文レビュー] New bounds for codes over Gaussian integers based on the Mannheim distance

Minjia Shi, Xuan Wang+2 more|arXiv (Cornell University)|Mar 26, 2026

Coding theory and cryptography被引用数 0

ひとこと要約

論文はガウス整数上の符号に対するマンハイム距離の類似物を古典的境界に対して導出し、マンハイム球充填境界を導出、自己対称コードを分析し、ガウス整数剰余環のマンハイム距離のためのデコodingアルゴリズムを提案します。

ABSTRACT

We study linear codes over Gaussian integers equipped with the Mannheim distance. We develop Mannheim-metric analogues of several classical bounds. We derive an explicit formula for the volume of Mannheim balls, which yields a sphere packing bound and constraints on the parameters of two-error-correcting perfect codes. We prove several other useful bounds, and exhibit families of codes meeting these bounds for some parameters, thereby showing that these bounds are tight. We also discuss self-dual codes over Gaussian integers and obtain upper bounds on their minimum Mannheim distance for certain parameter regions using a Mannheim version of the Macwilliams-type identity. Finally, we present decoding algorithms for codes over Gaussian integer residue rings. We give examples showing that certain errors which are not correctable under the Hamming metric become correctable under the Mannheim metric.

研究の動機と目的

• Gaussian integersを用いたQAM様 signalingに対するエラーチェックの動機づけをマンハイム距離で行う。
• マンハイム距離版本の球充填境界など古典境界を導出し、厳密性の条件を特定する。
• マンハイム距離の下での自己対称コードを調査し、距離の上界を得る。
• マンハイム距離の下でのGaussian整数剰余環上のコードのデコードアルゴリズムを開発する。

提案手法

• Gaussian整数剰余環 ϖ_p または ϖ_p に対して、Gaussian primes ιcπ=a+bi で p=a^2+b^2 の場合、マンハイム重みとマンハイム距離を定義する。
• 体積 V_{π}(s,n) と重み列挙関係を用いてマンハイム metric の球充填境界の類推を確立する。
• MacWilliams型恒等式のマンハイム版を用いて一般コードと自己対称コードの最小マンハイム距離の上界を導出する。
• d_{π}(n,k) のような界がHamming境界とどのように関係するかを証明し、境界を満たす例を構築して厳密性を示す。
• マンハイム距離の下でのGaussian整数剰余環上のコードに対するデコードアルゴリズムを提示する。

実験結果

リサーチクエスチョン

• RQ1 長さ n、次数 k に対して達成可能な最大の最小マンハイム距離 d_{π}(n,k) は何か。
• RQ2 マンハイム距離の境界（球充填境界や自己対称コード境界を含む）は、ガウス整数設定における古典的なHamming/Lee境界とどのように比較されるか。
• RQ3 マンハイム距離ベースの境界が厳密になるのはいつで、それを達成する構成は何か。
• RQ4 マンハイム距離コードのデコード戦略として、ガウス整数剰余環上で有効なのは何か。
• RQ5 マンハイム測度は、異なる素数合同 (p ≡ 3 mod 4 vs 1 mod 4) に対してLee/Hamming測度とどのように関連するか。

主な発見

• 論文はマンハイム球充填境界を導出し、2誤り訂正可能なマンハイム完全部コードの存在の必要条件を含む最小候補パラメータを提供する。
• マンハイム距離の類推を含むいくつかの境界を確立し、これらの境界値がGaussian素数 ιπと対応する p に依存することを示し、p ≡ 3 mod 4 と p ≡ 1 mod 4 のケースでの具体的結果を示す。
• 自己対称コードの最小マンハイム距離の上界を、MacWilliams型恒等式のマンハイム版を用いて得て、F_{13}およびF_{17}の特定長さの領域的制限を例として示す。
• マンハイム距離とLee/Hamming距離の関係を証明し、特定のパラメトリック領域（例：単純コードベースの例）で境界の厳密性を示す構成を提供する。
• Gaussian整数剰余環上のマンハイム距離デコードアルゴリズムを開発し、マンハイムで訂正可能だがHammingでは訂正できない誤りの例を示す。