통계적 제한 등거리 성질과 무작위 사전의 휴이거 반원 분포

본 논문은 불일치 사전에 대한 통계적 제한 등거리 성질(SRIP)을 소개하고, 이는 정규직교 기저들의 합집합으로 구성된 모든 불일치 사전에 대해 일반적으로 적용 가능함을 보인다. 특히, 적절히 표준화된 그램 행렬의 고유값들이 1 주변에서 휴이거 반원 분포를 따르는 것을 증명한다. 이 결과는 유한 조화 해석에서 자연스럽게 발생하는 다양한 사전에 적용되며, 특히 Applebaum-Howard-Searle-Calderbank가 제기한 Heisenberg 사전의 RIP에 대한 설명을 제공한다. 논문은 디지털 신호를 유한 체 \(F_p\) 위의 복소 함수로 생각하고, 이 공간 \(H = C(F_p)\)는 내적 \(h f, g i = \sum_{t \in F_p} f(t)g(t)\)을 갖는 차원이 \(p\)인 힐베르트 공간임을 설명한다. 사전 \(D\)는 이 공간의 벡터 집합이며, 그 크기는 힐베르트 공간의 차원보다 커질 수 있다. 논문은 제한 등거리 성질(RIP)에 대해 정의하고, 이를 통계적 버전인 SRIP로 확장한다. RIP는 사전 \(D\)가 특정 조건을 만족하는 부분집합 \(S \subset D\)에 대해 일정 범위 내에서 등거리성을 유지하도록 하는 성질이다. 이 논문에서는 이 성질이 무작위 사전에 대해 알려져 있음을 언급하며, 결정론적 구조를 갖는 사전을 찾는 문제를 제기한다. 논문은 세 가지 유형의 불일치 사전을 소개한다: Heisenberg 사전 \(D_H\), 오실레이터 사전 \(D_O\) 및 확장된 오실레이터 사전 \(D_EO\)이다. 이들 사전은 각각 Heisenberg 군, 유한 심플렉틱 군 \(SL_2(F_p)\) 및 Jacobi 군을 사용하여 구성된다. 논문의 주요 결과는 SRIP 성질과 고유값 분포에 대한 통계적 분석이다. 특히, 사전 \(D\)가 정규직교 기저들의 합집합으로 구성된 경우, 부분 집합 \(S \subset D\)에 대해 그램 행렬의 고유값들이 1 주변에서 휴이거 반원 분포를 따르는 것을 보인다.