非二元の定重み符号・定組成符号の上限を改善
Envelopes of upper bounds for nonbinary constant-weight and constant-composition codes
この論文をやさしく読む
ひとことで言うと
記号の出現数や重みを制限した誤り訂正符号について、作れる符号の最大規模の上限を、既存の評価を組み合わせて改善する研究です。
何に役立つ？
符号の設計で、どこまで大きな符号が理論上可能かを判断する限界評価に役立ちます。
この研究の面白いところ
異なる記号組成へ上限を移す操作を相互情報量と最適輸送で表し、符号率の単峰性やシュール凹性まで導いています。
どこまで分かった？
上限の改善であり、その規模を実現する符号の構成を示したという意味ではありません。要旨には数値改善の具体的な幅や全パラメータの一覧はありません。
v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
既存の評価から符号の大きさの上限を導くことは、Elias、Bassalygo、Levenshteinの先駆的な結果にさかのぼる、符号理論の古典的な手法である。本研究では、二元および非二元の定重み符号を含む符号について、Bassalygo–Elias不等式とLevenshtein不等式を包含し、一定の一般化を与える枠組みを調べる。 異なる記号組成の間で上限を移す際の漸近的なコストを相互情報量で表し、情報理論的な最適輸送の定式化を得る。任意の組成間の最適な置換輸送コストを、優越順序におけるそれらの最小共通上界を使って決定する。対称な定重み組成に限定すると、明示的な輸送プロファイルが得られる。副次的な結果として、相対重みの関数としての漸近的な定重み符号率の単峰性を確立する。 得られる閉包作用素が冪等であり、外側のBassalygo–Elias平均化の前に輸送を適用しても、同じ入力から得られる制約なしの上限は変わらないことを証明する。また、上限が閉包作用素の固定点となるための必要十分条件を確立する。漸近符号率関数はそれ自身の上限であり固定点でもあるため、定組成符号率関数のシュール凹性が導かれる。 最後に、二元・非二元の定重み符号と定組成符号について既存の上限を整理し、輸送の枠組みの中で最適化した包絡へ統合して、理論的および数値的に改善された上限を得る。
v1の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-20（UTC）
- 最新改訂
- 2026-09-20 · v1
- 査読・掲載
- 査読状況未確認
更新履歴
- v1 2026-09-20 この版を読む
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
Deriving upper bounds on code size from existing bounds is a classical approach in coding theory, dating back to the seminal results of Elias, Bassalygo, and Levenshtein. We study a framework encompassing the Bassalygo--Elias and Levenshtein inequalities for binary and nonbinary (constant-weight) codes and provides certain generalizations. The asymptotic cost of transferring a bound between different symbol compositions is expressed in terms of mutual information, yielding an information-theoretic optimal transport formulation. We determine the optimal permutation-transport cost between arbitrary compositions in terms of their least common majorant in the majorization order. Specializing to symmetric constant-weight compositions yields explicit transport profiles. As a byproduct, we establish unimodality of the asymptotic constant-weight rate as a function of the relative weight. We prove that the resulting closure operators are idempotent and that applying transport before outer Bassalygo--Elias averaging leaves the unrestricted bound obtained from the same input unchanged. We also establish necessary and sufficient conditions for an upper bound to be a fixed point of the closure operator. Since the asymptotic rate function is an upper bound for itself and it is a fixed point, we conclude the Schur concavity of the constant-composition rate function. Finally, we survey existing upper bounds for binary and nonbinary constant-weight and constant-composition codes, combine them into optimized envelopes within the transport framework, and obtain improved theoretical and numerical bounds.
著者のコメント
39 pages, 3 figures
arXiv ID: 2609.23869 ／ 要約の誤りについて