푸리에와 순환 행렬은 강직하지 않다

초록

이 논문은 임의의 아벨 군 G와 함수 f:G→ℂ에 대해 행렬 M₍ₓ,ᵧ₎=f(x−y) 로 정의되는 G‑순환 행렬이 복소수 체계와 |G|와 서로소인 유한체 위에서 모두 Valiant‑rigid 하지 않음을 증명한다. 특히 복소수 푸리에 변환(DFT) 행렬, 순환 행렬, Toeplitz 행렬이 모두 Valiant의 회로 하한 접근법에 사용할 수 없을 정도로 비강직함을 보이며, 기존 결과를 일반 아벨 군으로 확장한다.

상세 분석

본 연구는 행렬 강직성(matrix rigidity)의 정의를 재검토하고, “정규‑강직성”(regular‑rigidity)이라는 약화된 개념을 도입한다. 정규‑강직성은 각 행·열마다 제한된 수의 원소만 바꾸어도 목표 랭크 이하로 낮출 수 있는지를 묻는다. 저자들은 이 개념을 이용해 “준다항식‑비강직”(quasipolynomially non‑rigid, QNR)이라는 강도 높은 비강직성을 정의하고, QNR이면 Valiant‑rigid 하지 않음을 보인다.

핵심 기술은 다음과 같다. 첫째, 일반화된 Walsh‑Hadamard(GWH) 행렬 H_{d,n}을 도입하고, 이 행렬이 거의 전부 낮은 랭크로 근사될 수 있음을 보인다(정리 1.8). 이는 기존의 2‑진 Walsh‑Hadamard 결과를 d‑진으로 일반화한 것으로, 복소수 체계에서만 성립한다. 둘째, GWH 행렬이 DFT 행렬의 텐서곱 형태임을 이용해, 특정 “잘‑인수분해된”(well‑factorable) 크기 N의 DFT_N 행렬을 여러 개의 GWH‑형 서브블록으로 분해한다. 여기서 “잘‑인수분해”는 N이 서로 다른 소수들의 곱이며, 각 소수 p_i−1에 큰 소수 거듭제곱이 존재하지 않는 경우를 말한다. 이러한 구조적 분해를 통해 각 서브블록에 정리 1.8을 적용하고, 전체 행렬의 랭크와 변경된 원소 수를 합산해 DFT_N이 QNR임을 증명한다(정리 1.11).

세 번째 단계에서는 모든 N에 대해 비강직성을 확장한다. N′이 N보다 크게 작지 않을 때(N′>N/(log N)^2) DFT_{N′}를 적절히 스케일링·임베딩하여 N‑차 순환 행렬 안에 끼워 넣는다. 순환 행렬은 DFT 행렬에 의해 동시에 대각화되므로, 순환 행렬이 비강직이면 그 안에 포함된 DFT_{N′}도 비강직임을 Lemma 2.21을 통해 전이한다. 결과적으로 모든 크기의 DFT 행렬이 QNR임을 얻는다.

또한, G‑순환 행렬을 일반 아벨 군 G에 대해 정의하고, G를 직접곱으로 분해하는 구조(모든 유한 아벨 군은 사이클릭 군들의 직교곱) 를 이용해 위의 결과를 전파한다. 복소수 체계뿐 아니라, |G|와 서로소인 유한체 F_q에서도 동일한 비강직성을 보인다(정리 1.4, 6.2, 8.5).

마지막으로, 순환·Toeplitz·DFT 행렬이 비강직함을 보임으로써, 이전에 Goldreich‑Tal이 제시한 “비자명하게 강직한” Toeplitz 행렬과는 달리 Valiant‑rigid 수준에 미치지 못함을 강조한다. 이는 대칭성이 높은 행렬(특히 아벨 군 대칭)에서는 강직성을 기대하기 어렵다는 중요한 교훈을 제공한다. 저자들은 비아벨 군(예: 비가환 군)의 대칭을 갖는 행렬이 강직성 후보가 될 가능성을 제시하며, 향후 연구 방향을 제시한다.