[논문 리뷰] Cyclic p-roots of prime lengths p and related complex Hadamard matrices

Uffe Haagerup|ArXiv.org|2008. 03. 18.

graph theory and CDMA systems참고 문헌 9인용 수 30

한 줄 요약

이 논문은 모든 소수 $ p $에 대해 $ \mathbb{C}^p $ 내에서 중복도를 고려한 순환 $ p $-근의 수가 정확히 $ \binom{2p-2}{p-1} $임을 증명한다. 이 결과는 복소해석학과代수기하학의 도구, 특히 체보타레프의 정리와 정칙 사상의 중복도 이론을 사용하여, 푸리에 변환과 곱역수를 포함하는 방정식계의 해와 순환 $ p $-근 사이의 대응관계를 통해 확립된다.

ABSTRACT

In this paper it is proved, that for every prime number p, the set of cyclic p-roots in C^p is finite. Moreover the number of cyclic p-roots counted with multiplicity is equal to (2p-2)!/(p-1)!^2. In particular, the number of complex circulant Hadamard matrices of size p, with diagonal entries equal to 1, is less or equal to (2p-2)!/(p-1)!^2.

연구 동기 및 목표

• 소수 $ p $에 대해 중복도를 고려한 순환 $ p $-근의 수가 $ \binom{2p-2}{p-1} $와 일치한다는 랄프 프뢰버그의 추측을 해결하는 것.
• 순환 $ p $-근과 푸리에 변환 및 곱역수를 포함하는 $ 2p-2 $개의 방정식으로 이루어진 시스템의 해 사이의 일대일 대응을 수립하는 것.
• 푸리에 행렬의 부분행렬이 비특이적임을 보여주는 체보타레프의 정리를 활용하여 소수 $ p $에 대해 순환 $ p $-근의 유한성을 증명하는 것.
• 적절한 정칙 사상의 중복도 이론을 적용하여 중복도를 고려한 해의 수를 계산하고, 문제를 선형대수 계산으로 환원하는 것.
• 크기가 $ p $이고 대각성분이 1인 복소 순환 헤르미트 행렬의 수가 $ \binom{2p-2}{p-1} $ 이하로 제한됨을 보여주는 것.

제안 방법

• 모든 $ x, y \in \mathbb{C}^p $에 대해 $ x_0 = y_0 = 1 $를 만족하는 경우, 순환 $ p $-근과 시스템 $ x_j y_j = 1 $, $ \hat{x}_j \hat{y}_{-j} = 1 $ ($ 1 \leq j \leq p-1 $)의 해 사이의 전단사 대응을 수립하는 것.
• 1926년 체보타레프의 정리를 사용하여 소수 $ p $일 때 $ p \times p $ 푸리에 행렬의 모든 정사각형 부분행렬이 비특이적임을 보여, 해 집합이 유한함을 보장하는 것.
• 적절한 정칙 사상의 고립된 영점의 중복도 이론을 적용하여, 중복도를 고려한 해의 수를 선형화된 시스템의 해의 수와 동일시하는 것.
• 수의 세기를 줄이기 위해 선형방정식계 $ x_j y_j = 0 $, $ \hat{x}_j \hat{y}_{-j} = 0 $를 풀이하여 정확히 $ \binom{2p-2}{p-1} $개의 해를 얻으며, 각 해는 중복도 1을 가짐.
• 푸리에 기반 시스템에서 원래 순환 $ p $-근 시스템으로의 변환 과정에서 중복도가 유지됨을 증명하여 계산의 타당성을 보장하는 것.
• 아핀 변환과 정칙 사상의 부분다양체로의 제한을 사용하여 제한된 사상 $ \sigma_E $의 중복도가 $ \binom{2k}{k} $임을 보여, 결과를 색인 집합의 부분집합으로 일반화하는 것.

실험 결과

연구 질문

• RQ1 소수 $ p $에 대해 중복도를 고려한 순환 $ p $-근의 수가 $ \binom{2p-2}{p-1} $과 같은가?
• RQ2 푸리에 행렬의 부분행렬이 비특이적이라는 사실로부터 소수 $ p $에 대해 순환 $ p $-근의 유한성이 유도되는가?
• RQ3 순환 $ p $-근 시스템의 해의 중복도를 방정식의 선형화된 형태를 통해 계산할 수 있는가?
• RQ4 순환 $ p $-근과 푸리에 역변환 시스템 $ x_j y_j = 1 $, $ \hat{x}_j \hat{y}_{-j} = 1 $의 해 사이에 일대일 대응이 존재하는가?
• RQ5 크기가 $ p $이고 대각성분이 1인 복소 순환 헤르미트 행렬의 최대 개수는 얼마이며, 이는 순환 $ p $-근의 수와 어떻게 관련되는가?

주요 결과

• 모든 소수 $ p $에 대해 $ \mathbb{C}^p $ 내에서 중복도를 고려한 순환 $ p $-근의 수는 정확히 $ \binom{2p-2}{p-1} $이며, 이는 프뢰버그의 추측을 확인하는 결과이다.
• 모든 소수 $ p $에 대해 순환 $ p $-근의 집합은 유한하며, 이는 푸리에 행렬의 부분행렬이 비특이적임을 보여주는 체보타레프의 정리로부터 유도된 결과이다.
• 크기가 $ p $이고 대각성분이 1인 복소 순환 헤르미트 행렬의 수는 $ \binom{2p-2}{p-1} $ 이하이며, 이는 순환 $ p $-근과의 일대일 대응으로 인해 성립한다.
• 순환 $ p $-근 시스템의 해의 중복도는 푸리에 기반 시스템으로의 변환 과정에서도 유지되며, 이는 선형대수적 계산을 통한 수의 세기 가능성을 보장한다.
• 방정식계 $ x_j y_j = 0 $, $ \hat{x}_j \hat{y}_{-j} = 0 $는 정확히 $ \binom{2p-2}{p-1} $개의 해를 가지며, 각 해는 중복도 1을 가지며, 이는 핵심적인 수의 세기 기법이 된다.
• 크기가 $ k $인 색인 집합의 부분집합에 대해, 단순 색인 $ k $을 가진 순환 $ p $-근의 수(중복도 포함)는 $ \binom{2k}{k} $이며, 이는 주요 결과를 일반화하는 것이다.