符号の同値性と自己同型計算の多項式時間での関係
Code Equivalence and Automorphism Problems for Codes
この論文をやさしく読む
ひとことで言うと
符号の同値性判定と自己同型群の計算問題が、多項式時間でどう結び付くかを示す。
何に役立つ？
線形符号の対称性を求めるアルゴリズムの複雑さを比較する基礎になる。
この研究の面白いところ
要素数、軌道分割、生成集合という異なる計算を同値性問題へ結び付ける。
どこまで分かった？
結果は任意の線形符号で成り立つ理論的な帰着であり、実装速度の実験ではない。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
符号の同値性問題の計算複雑性を調べ、符号に関する複数の自己同型計算問題と多項式時間で同値であることを示す。対象となる問題は、符号の置換自己同型群について、要素数を求めるACOUNT、軌道分割を求めるAPART、生成集合を求めるAGENである。置換による符号の同値性問題PCEとこれら各問題の間に、決定的な多項式時間の帰着を与える。探索版PCEからAGENへは、オラクルを一度だけ呼ぶ帰着も含まれる。また、線形符号の同値性問題LCEと、符号の単項自己同型群に関する対応する問題の間にも同様の帰着を示す。これらの帰着は任意の線形符号で機能する。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-21 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-21 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
We study the complexity of the Code Equivalence problem and show that it is polynomially equivalent to several computational automorphism problems for codes. These problems ask for the cardinality (ACOUNT), an orbit partition (APART), and a generating set (AGEN) for the permutation automorphism group of a code. We present deterministic, polynomial-time reductions between Permutation Code Equivalence (PCE) and each of these problems, including a one-shot reduction from search-PCE to AGEN that makes a single oracle call. We present similar reductions between Linear Code Equivalence (LCE) and analogous problems for the monomial automorphism group of a code. All of our reductions work for any linear codes.
arXiv ID: 2609.25483 ／ 要約の誤りについて