DFT 대각화의 새로운 해법: 소수 차원에서의 정준 기저

초록

본 논문은 소수 차원 $p\equiv1\pmod4$ 인 경우에 대해, Gurevich‑Hadani 방식으로 DFT의 고유벡터를 명시적 식으로 제시하고, 이를 통해 DFT를 대각화하는 정준 기저를 구성한다.

상세 분석

본 연구는 유한 히스테리안 군과 Weil 표현을 이용해 이산 푸리에 변환(DFT)의 고유공간 구조를 정밀히 분석한다. 먼저 $N=p$(소수)이며 $p\equiv1\pmod4$인 경우, 가우스 합 $G(\chi)=\sum_{x\in\mathbb{F}_p}\chi(x)e^{2\pi i x/p}$가 실수값을 갖는 특성을 이용한다. 여기서 $\chi$는 레전드 기호이며, $G(\chi)=\sqrt{p}$ 혹은 $-\sqrt{p}$ 로 평가된다. 논문은 이러한 가우스 합을 기반으로 “chirp” 형태의 복소수 시퀀스 $v_k(j)=\frac{1}{\sqrt{p}},\omega^{\frac{a}{2}j^2+ bj}$ (여기서 $\omega=e^{2\pi i/p}$, $a,b\in\mathbb{F}p$) 를 정의하고, 이들이 DFT 연산자 $F$의 고유벡터임을 증명한다. 특히 $a$는 비제곱원소, $b$는 임의의 원소로 선택함으로써 $p-1$개의 서로 직교하는 고유벡터 집합을 얻는다. 이때 고유값은 $\lambda{a,b}= \chi(a),\omega^{-b^2 a^{-1}}$ 로 명시적으로 주어지며, $a$와 $b$의 조합에 따라 $+1$ 혹은 $-1$ 등 네 가지 복소 단위값을 취한다. 이러한 결과는 기존의 대칭성 기반 대각화(예: circulant 행렬의 고전적 고유벡터)와는 달리, 유한 체 위의 대수적 구조를 직접 활용한다는 점에서 혁신적이다. 또한, 논문은 고유벡터를 정규화하고, 전체 고유공간을 완전한 직교 기저로 구성함으로써 DFT를 정확히 대각화하는 방법을 제시한다. 이 과정에서 Weil 표현의 불변성, 히스테리안 군의 중앙 확장, 그리고 가우스 합의 위상 정보가 핵심적인 역할을 한다. 결과적으로, $p\equiv1\pmod4$인 소수 차원에서는 DFT가 실수 대칭 행렬이 아니라 복소 단위 행렬로 표현되며, 이를 통해 신호 처리 및 양자 알고리즘에서 효율적인 변환 구현이 가능함을 시사한다.