[논문 리뷰] On finite sequences satisfying linear recursions

Noam D. Elkies|ArXiv.org|2001. 05. 01.

Coding theory and cryptography참고 문헌 2인용 수 6

한 줄 요약

이 논문은 유한체 위에서 선형 재귀를 만족하는 유한 수열을 선형 및 다항식 대수를 사용하여 연구하며, 헨켈 행렬의 구조와 그 질량 조건에 초점을 맞춘다. 푸리에 해석 공식을 유도하여 랜덤한 헨켈 행렬이 특이행렬일 확률을 구하고, 입실론 분포에 대한 약한 조건 하에서 $1/q$로 수렴함을 보이며, $q$가 제곱수일 경우 $ \|\hat{\mu}\|_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$의 수열을 헨켈 행렬의 질량 조건을 사용하여 특성화하는 것.
• 크기 $q$인 유한체 $k$일 때, 이러한 수열의 집합 $H_m$의 특성 함수를 분석하는 것.
• 공간 $W_n$ 내에서 차수 $m$과 $m+1$인 선형 부분공간을 사용하여 $H_m$의 특성 함수에 대한 이산 푸리에 변환 공식을 유도하는 것.
• 입력값이 $k$ 위의 분포 $\mu$에서 i.i.d.로 선택된 랜덤한 $(m+1) \times (m+1)$ 헨켈 행렬이 특이행렬일 확률의 渐近적 확률을 결정하는 것.
• 특이행렬 확률이 $1/q$로 수렴하기 위한 조건 $\|\hat{\mu}\|_1 < q^{1/2}$의 날카로움을 확립하는 것.

제안 방법

• 수열의 공간 $W_n$을 두 변수 $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$에서 i.i.d.로 선택된 수열의 $H_m$ 내 분포를 분석하는 것.
• $\ell^1$-노름 $\|\hat{\mu}\|_1$을 사용하여 특이행렬 확률이 $1/q$에서 벗어나는 정도를 제어하는 핵심 매개변수로 사용하는 것.
• 입력값이 $q$가 제곱수일 때, $k$의 이차부체 위에서 균일분포를 사용하여 반례를 구성함으로써 $\|\hat{\mu}\|_1 < q^{1/2}$ 조건이 최적임을 증명하는 것.

실험 결과

연구 질문

• RQ1 크기 $q$인 유한체 $k$ 위에서 분포 $\mu$에서 i.i.d.로 선택된 입력값을 가진 랜덤한 $(m+1) \times (m+1)$ 헨켈 행렬이 특이행렬일 확률의 渐近적 확률은 무엇인가?
• RQ2 분포 $\mu$의 푸리에 변환의 $\ell^1$-노름이 특이행렬 확률이 $1/q$로 수렴하는 속도에 어떻게 영향을 미치는가?
• RQ3 $\|\hat{\mu}\|_1 < q^{1/2}$ 조건이 특이행렬 확률이 $m \to \infty$일 때 $1/q$로 수렴하기 위해 필수적이고 충분한가?
• RQ4 $\|\hat{\mu}\|_1 < q^{1/2}$ 조건을 더 약화시켜도 여전히 특이행렬 확률이 $1/q$로 수렴하는가?
• RQ5 차수 $m$의 선형 재귀를 만족하는 수열의 집합 $H_m$의 구조는 무엇이며, $W_n$의 부분공간을 통해 어떻게 대수적으로 기술할 수 있는가?

주요 결과

• 논문은 $\#H_m = q^{2m}$임을 증명하여, 크기 $q$인 유한체 위에서 차수 $m$의 선형 재귀를 만족하는 수열의 집합 크기를 확인한다.
• 분포 $\mu$에서 선택된 i.i.d. 입력값 $x_0, \dots, x_{2m}$에 대해, $\|\hat{\mu}\|_1 < q^{1/2}$ 조건 하에서, 식 (3)의 헨켈 행렬이 특이행렬일 확률은 $m \to \infty$일 때 $1/q$로 수렴함을 보인다.
• 조건 $\|\hat{\mu}\|_1 < q^{1/2}$는 최적이다: $\mu$가 $k$의 이차부체 $k_0$ 위에서 균일분포일 경우, $\|\hat{\mu}\|_1 = q^{1/2}$이며 특이행렬 확률은 $1/q$가 아니라 $q^{-1/2}$이다.
• 논문은 $W_n$ 위에서의 푸리에 기반 기법과 선형대수를 사용하여 $\#H_m = q^{2m}$에 대한 새로운 증명을 제공한다.
• 조건 $\|\hat{\mu}\|_1 < q^{1/2}$ 하에서, 근사식 $\Pi_m(\mu_0,\dots,\mu_n) \approx q^{2m - (n+1)}$의 오차 항은 지수적으로 감소하며, 이에 대한 명시적 경계는 정리 2에 제시되어 있다.
• 모든 부분체나 단일점에 지지되지 않는 분포 $\mu$에 대해, $m \to \infty$일 때 특이행렬 확률이 $1/q$로 수렴할 것임을 제안하는 추측을 제기한다. 이는 조건 $\|\hat{\mu}\|_1 \geq q^{1/2}$일지라도 조건을 완화시킬 수 있음을 시사한다.