Rank Distribution and Dynamics of Gram Matrices from Binary m-Sequences with Applications to LCD Codes

以下は、論文「Rank Distribution and Dynamics of Gram Matrices from Binary M-Sequences with Applications to LCD Codes（2 元 m 系列から得られるグラム行列のランク分布とダイナミクス、および LCD コードへの応用）」の詳細な技術的要約である。

1. 問題提起

本論文は、2 元最大長系列（m 系列）の理論における根本的なギャップに取り組んでいる。m 系列は、その古典的性質（平衡性、ラン分布、理想的な自己相関）についてはよく理解されているが、状態ベクトルによって形成されるグラム行列の観点から見た構造的な振る舞いは、依然としてほとんど未開拓の領域である。

具体的には、著者らは、周期 $2^n - 1$ の m 系列から取り出された長さ $t$ の $n$ 個の連続する部分系列から構成される $n \times t$ 観測行列 $G_t$ によって形成されるグラム行列の族 $\{G_t G_t^\top \mid 1 \le t \le 2^n - 1\}$ を調査する。核心的な問いは以下の通りである：

1. ランク分布：これらグラム行列のランクは、可能なすべての長さ $t$ に対して、どのような正確な分布を示すか？
2. ランクのダイナミクス：$t$ が周期的に増加するにつれて、ランクはどのように進化するか？ランク不足状態には安定性や不安定性のパターンが存在するか？
3. 応用：これらのランクの性質は、特に線形相補双対（LCD）コードを特定する際に、穿孔された巡回単純化コードのハル分布をどのように特徴づけるか？

2. 手法

著者らは、組合せ論的問題を代数的数え上げ問題へと変換するために、高度に洗練された代数的ツールの融合を採用している。

• 拡大体への持ち上げ：$\mathbb{F}_2$ 上で直接二元行列 $G_t G_t^\top$ を分析するのではなく、著者らは問題を拡大体 $\mathbb{F}_{2^n}$ へと持ち上げる。m 系列のトレース表現（$s_t = \text{Tr}_{\mathbb{F}_{2^n}/\mathbb{F}_2}(\lambda \alpha^t)$）を利用することで、観測行列 $G_t$ をヴァンデルモンド行列と対角行列の積に因数分解する。これにより、$G_t G_t^\top$ のランクは、$x = \alpha^t$ である $\mathbb{F}_{2^n}[x]$ 上の対称行列 $M(x)$ のランクに帰着される。
• 半線形表現：特異行列（行列式がゼロの行列）を特徴づけるために、著者らはガロア群の半線形表現を利用する。特異行列 $M(x)$ の核には、成分がフロベニウス軌道（$c, c^2, c^4, \dots$）を形成するベクトルが含まれることを証明する。これにより、特異性の条件を特定の有理関数と結びつけることができる。
• 有理関数の標準表現：重要な理論的ブレイクスルーは、特異パラメータ $x$ の集合と、$u(z)$ がその逆多項式 $\tilde{u}(z)$ と互いに素である多項式であるような、$\frac{z^k \tilde{u}(z)}{u(z)}$ の形の特定の有理関数の集合との間の全単射を確立することである。
• ベズー行列：特異行列のランクは、多項式のベズー行列を用いて明示的に決定される。$M(x)$ のランクは、$x$ の標準表現から得られる $u$ と $k$ を用いて $\deg(u) + |k|$ に等しいことが示される。
• 母関数：互いに素の条件（$\gcd(u, \tilde{u}) = 1$）を満たす多項式の数え上げは、母関数を用いて行われ、これによりランク分布の閉形式の導出が可能となる。

3. 主要な貢献と結果

A. グローバルなランク分布（定理 1.1）

本論文は、グラム行列 $G_t G_t^\top$ に対して特定のランク $k$ を与える $t$ の値の個数に関する完全かつ明示的な式を提供する：

• ランク 0：1 場合。
• ランク 1：2 場合。
• ランク $k$（$2 \le k \le n-1$）：$2^{k-1}$ 場合。
• ランク $n$（フルランク）：$2^{n-1} - 2$ 場合。
• 意義：これは、許容される $t$ の値の約半分がフルランクのグラム行列をもたらすことを証明する。

B. ローカルなランクダイナミクス（定理 1.2 および 1.3）

著者らは、ランク関数 $r_n(t)$ の明確な動的挙動を明らかにする：

• フルランクの持続：一度ランクが $n$（フルランク）に達すると、少なくとも 1 つのステップ先まで持続する。$r_n(t) = n$ ならば、$r_n(t+1) = n$ である。
• 不足状態の不安定性：ランク不足状態は厳密に不安定である。$r_n(t) < n$ ならば、$r_n(t+1) \neq r_n(t)$ である。次のステップでは、ランクは必ず変化する（増加または減少）。
• 局所最小値：論文は、ランク関数における局所最小値の個数を数え上げ、$n$ に基づく式を提供する。

C. 符号理論への応用（第 5 節）

これらの結果は、観測行列によって生成される穿孔された巡回単純化コードの族 $\{C_t\}$ に適用される。

• ハル分布：$\dim(\text{Hull}(C_t)) = n - \text{rank}(G_t G_t^\top)$ という関係を用いて、著者らはハル次元の正確な分布を導出する。
• LCD コード：コードが LCD であるとは、そのハル次元が 0 であること（すなわち、グラム行列がフルランクであること）を意味する。本論文は、長さ $t$（$n \le t \le 2^n-1$）の穿孔された単純化コードの族において、正確に$2^{n-1} - 2$ 個の LCD コードが存在することを証明する。
• 自己直交コード：この族には、完全長の巡回単純化コードである、正確に 1 つの自己直交コードが存在する。

4. 意義と影響

• 新たな構造的洞察：この研究は、m 系列内に以前は未知であった深い代数的構造を明らかにし、ゴールンブの古典的性質を超えて、行列論的な特徴づけへと移行させた。
• アルゴリズム的有用性：明示的なランク分布と LCD コードの同定は、符号理論の応用において極めて重要である。LCD コードは、サイドチャネル攻撃に対する耐性と、量子誤り訂正における有用性のために高く評価されている。
• 理論的枠組み：ガロア半線形表現、ベズー行列、および有理関数の数え上げを組み合わせた手法は、他の系列族や異なる体上のコードの研究に適応できる強力なツールキットを提供する。
• 未解決問題：論文は、$q$ 元 m 系列（特に $q=3$ および $q=5$）に関する未解決問題を提起して結論付けており、観察されたパターンが他の有限体にも一般化される可能性を示唆し、さらなる研究を招いている。

要約すると、本論文は系列設計と行列理論の間のギャップを埋め、m 系列から導出されたグラム行列のランク特性を厳密に特徴づけ、これらの知見を LCD コードの構築の最適化に直接応用している。