[論文レビュー] On finite sequences satisfying linear recursions

Noam D. Elkies|ArXiv.org|May 1, 2001

Coding theory and cryptography参考文献 2被引用数 6

ひとこと要約

本稿は、有限体上の線形再帰を満たす有限列を、線形および多項式代数を用いて研究し、ハンケル行列の構造とそのランク条件に注目する。フーリエ解析的公式を導出し、エントリ分布にやや緩い条件が課された場合に、ランダムなハンケル行列が特異である確率が $1/q$ に収束することを示す。特に $q$ が平方数のとき、$ Vert\hat{\mu}\rVert_1 < q^{1/2}$ であるという境界が最適であることを示している。

ABSTRACT

For any field k and any integers m,n with 0 &lt;= 2m &lt;= n+1, let W_n be the k-vector space of sequences (x_0,...,x_n), and let H_m be the subset of W_n consisting of the sequences that satisfy a degree-m linear recursion, that is, for which there exist a_0,...,a_m in k, not all zero, such that sum(a_i x_{i+j}, i=0..m) = 0 holds for each j=0,1,...,n-m. Equivalently, H_m is the set of (x_0,...,x_n) such that the (m+1)-by-(n-m+1) matrix with (i,j) entry x_{i+j} (i=0..m, j=0..n-m) has rank at most m. We use elementary linear and polynomial algebra to study these sets H_m. In particular, when k is a finite field of q elements, we write the characteristic function of H_m as a linear combination of characteristic functions of linear subspaces of dimensions m and m+1 in W_n. We deduce a formula for the discrete Fourier transform (DFT) of this characteristic function, and obtain some consequences. For instance, if the 2m+1 entries of a square Hankel matrix of order m+1 are chosen independently from a fixed but not necessarily uniform distribution mu on k, then as m-&gt;infty the matrix is singular with probability approaching 1/q provided the DFT of mu has l_1 norm less than sqrt(q). This bound sqrt(q) is best possible if q is a square.

研究の動機と目的

• 有限体 $k$ 上で次数 $m$ の線形再帰を満たす長さ $n+1$ の列の特徴付けを、ハンケル行列のランク条件を用いて行う。
• 体 $k$ がサイズ $q$ の有限体であるとき、このような列の集合 $H_m$ の特性関数を分析する。
• $W_n$ 内の次元 $m$ および $m+1$ の線形部分空間を用いて、$H_m$ の特性関数の離散フーリエ変換の公式を導出する。
• エントリが $k$ 上の分布 $\mu$ に従って独立同分布に選ばれるとき、$(m+1) \times (m+1)$ 階のランダムなハンケル行列が特異である確率の漸近的確率を求める。
• 特異確率が $1/q$ に収束するための条件 $ Vert\hat{\mu}\rVert_1 < q^{1/2}$ が、なぜ鋭いかを確立する。

提案手法

• 列の空間 $W_n$ を、2変数 $Y,Z$ における次数 $n$ の斉次多項式の空間 $V_n$ の双対空間として表現する。
• 多項式乗算を用いて、$Q \in V_m$ に対し線形写像 $M_n(Q): V_{n-m} \to V_n$ を定義し、それらをハンケル行列のランク条件に関連付ける。
• $H_m$ の特性関数を、$W_n$ 内の次元 $m$ および $m+1$ の線形部分空間の特性関数の線形結合として表現する。
• 離散フーリエ変換の技術を用いて、$\mu$ が独立同分布に従うときの $H_m$ 内の列の分布を分析する。
• $\ell^1$-ノルム $ Vert\hat{\mu}\rVert_1$ を、特異確率が $1/q$ からどれほど逸脱するかを制御する主要パラメータとして用いる。
• $q$ が平方数のとき、$k$ の二次部分体 $k_0$ 上の一様分布を用いた反例を構成することで、$\rVert\hat{\mu}\rVert_1 < q^{1/2}$ という境界が最適であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 サイズ $q$ の有限体 $k$ 上で、$k$ 上の分布 $\mu$ に従って独立同分布に選ばれるエントリを持つ、$(m+1) \times (m+1)$ 階のランダムなハンケル行列が特異である確率の漸近的確率は何か？
• RQ2 $\mu$ のフーリエ変換の $\ell^1$-ノルムが、特異確率が $1/q$ に収束するレートにどのように影響するか？
• RQ3 $\rVert\hat{\mu}\rVert_1 < q^{1/2}$ という条件が、$m \to \infty$ のとき特異確率が $1/q$ に収束するための必要十分条件であるか？
• RQ4 $\rVert\hat{\mu}\rVert_1 < q^{1/2}$ の境界を緩めても、依然として特異確率が $1/q$ に収束するか？
• RQ5 次数 $m$ の線形再帰を満たす列の集合 $H_m$ の構造は何か？また、$W_n$ 内の部分空間を用いて代数的にどのように記述できるか？

主な発見

• 本稿は、$\#H_m = q^{2m}$ を証明しており、これは有限体サイズ $q$ 上で次数 $m$ の線形再帰を満たす列の集合のサイズを確認している。
• $k$ 上の分布 $\mu$ に従って独立同分布に選ばれる $x_0, \dots, x_{2m}$ に対して、ハンケル行列 (3) が特異である確率は、$m \to \infty$ のとき $\rVert\hat{\mu}\rVert_1 < q^{1/2}$ の条件下で $1/q$ に収束する。
• 境界 $\rVert\hat{\mu}\rVert_1 < q^{1/2}$ は最適である：もし $\mu$ が $k$ の二次部分体 $k_0$ 上の一様分布であれば、$\rVert\hat{\mu}\rVert_1 = q^{1/2}$ であり、特異確率は $1/q$ ではなく $q^{-1/2}$ である。
• 本稿は、$W_n$ 上でのフーリエ解析的技術と線形代数を用いて、$\#H_m = q^{2m}$ の新しい証明を提供する。
• $\rVert\hat{\mu}\rVert_1 < q^{1/2}$ の条件下で、近似 $\Pi_m(\mu_0,\dots,\mu_n) \approx q^{2m - (n+1)}$ の誤差項は指数的に減少し、定理2で明示的な境界が与えられる。
• 任意の分布 $\mu$ が部分体や一点にのみ支持されていない限り、$m \to \infty$ のとき特異確率が $1/q$ に収束するという予想を提示する。これは、条件 $\rVert\hat{\mu}\rVert_1 \geq q^{1/2}$ であっても、その条件を緩められる可能性を示唆している。