[논문 리뷰] All cyclic p-roots of index 3, found by symmetry-preserving calculations

Göran Björck, Uffe Haagerup|ArXiv.org|2008. 03. 17.

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

한 줄 요약

이 논문은 소수 $p \equiv 1 \pmod{6}$에 대해 인덱스 3인 모든 순환 $p$-근을 대칭을 유지하는 방식으로 명시적으로 계산하는 방법을 제시한다. 군론적 구조와代수기하학을 활용하여, 세제곱 잔여물의 작용을 이용하고 MAPLE 및 MATHEMATICA와 같은 기호 계산 도구를 활용함으로써, 이중단위근 수열의 복소계수에 대한 닫힌 형태의 해를 도출한다. 이는 $p \to \infty$일 때 해의 $L^2$-노름이 유계임을 증명하며, 테일러 전개와 渐近 분석을 통해 명시적인 균일한 유계성을 확립한다.

ABSTRACT

When using a Groebner basis to solve the highly symmetric system of algebraic equations defining the cyclic p-roots, one has the feeling that much of the advantage of computerized symbolic algebra over hand calculation is lost through the fact that the symmetry is immediately ``thrown out'' by the calculations. In this paper, the problem of finding (for all relevant primes p) all cyclic p-roots of index 3 is treated with the symmetry preserved through the calculations. Once we had found the relevant formulas, using MAPLE and MATHEMATICA, the calculations could even be made by hand. On the other hand, with respect to a straightforward attack with Groebner basis, it is not even clear how this could be organized for a general p. In other terminologies, our results involve listings of all bi-unimodular sequences constant on the cosets of the group G_0 of cubic residues, or equivalently all circulant complex Hadamard matrices related to G_0. The corresponding problem for bi-unimodular sequences of index 2 was solved by the first named author in 1989 and shortly after solved independently by de la Harpe and Jones in the case p = 1 (mod 4) and by Munemasa and Watatani in the case p = 3 (mod 4).

연구 동기 및 목표

• 소수 $p \equiv 1 \pmod{6}$에 대해 인덱스 3인 모든 순환 $p$-근을 체계적으로 계산하여, 시스템의 기본 대칭성을 유지한다.
• 인덱스 2의 이중단위근 수열에 사용된 접근을 더 복잡한 인덱스 3의 경우로 확장하여, 대칭성이 더욱 복잡한 경우를 다룬다.
• 기본 순환 $p$-근의 계수에 대한 명시적 공식을 제공하여, 표준 그레브너 기저 방법에서 발생하는 대칭 손실을 피한다.
• 해의 $L^2$-노름이 $p \to \infty$일 때 유계임을 증명하며, $j=1,2,3$에 대해 $\sqrt{p}\|c^{(j)}\|$가 유계임을 보인다.
• 연속성과 테일러 근사에 의해, 특히 $\theta = \pi/6$ 근처의 임계 각도에서 해의 점근적 행동을 검증한다.

제안 방법

• 승법군 $\mathbb{Z}_p^*$의 군 구조를 사용하여, $p$ 모듈로의 세제곱 잔여물의 코셋 $G_0, G_1, G_2$로 분해한다.
• 전이 수 $n_{ik}(d)$를 정의하여, $b \in \{1,\dots,p-1\}$ 중에서 $b \in G_i$, $b+d \in G_k$를 만족하는 수의 개수를 세며, 이는 시스템의 대칭성을 암시한다.
• 인덱스 3의 구조를 통해 순환 $p$-근을 위한 $p$개의 방정식이 계수 $c_0, c_1, c_2$에 대한 세 개의 대칭 방정식으로 축소된다.
• 저자들은 기호 계산(MAPLE, MATHEMATICA)을 사용하여, $p$, $A = 2\sqrt{p}\cos(3\theta)$, $B = 2\sqrt{p}\sin(3\theta)/\sqrt{27}$에 대한 $c^{(1)}, c^{(2)}, c^{(3)}$의 닫힌 형태 표현을 유도한다.
• 큰 $p$에 대해 $\sqrt{p}\|c^{(j)}\|$의 성장률을 추정하기 위해 제곱근의 테일러 전개를 활용한 점근 분석을 사용하여, 그 유계성을 증명한다.
• 연속성 추론을 통해 $p \to \infty$일 때 $\sqrt{p}/c^{(3)}$의 극한을 분석하여, 모든 $j$에 대해 $|l_j| \leq 2$임을 보이며, 유계성에 대한 가정과 모순됨을 증명한다.

실험 결과

연구 질문

• RQ1 인덱스 3인 순환 $p$-근 시스템의 대칭성을 표준 그레브너 기저 방법에서 발생하는 구조 손실을 피하면서 기호 계산 전반에 걸쳐 어떻게 유지할 수 있는가?
• RQ2 소수 $p \equiv 1 \pmod{6}$일 때, $p$와 삼각함수 매개변수에 대해 모든 인덱스 3 순환 $p$-근에 대한 명시적 대수 공식은 무엇인가?
• RQ3 $p \to \infty$일 때 해 벡터 $c^{(j)}$의 $L^2$-노름이 유계인지, 만약 그렇다면 그 날카운 유계성은 무엇인가?
• RQ4 $\theta = \pi/6$ 근처에서 해의 점근적 행동은 어떠하며, 이는 $\sqrt{p}\|c^{(j)}\|$의 성장에 어떤 영향을 미치는가?
• RQ5 모든 소수 $p \equiv 1 \pmod{6}$에 대해 단일 분석 프레임워크를 사용하여 해 집합을 균일하게 매개변수화할 수 있는가?

주요 결과

• 모든 인덱스 3 순환 $p$-근은 대칭을 유지하는 감소를 통해 명시적으로 계산되며, $\theta$에 따라 매개변수화된 세 가닥의 해 가닥으로 표현된다.
• $p \geq 31$일 때, $\sqrt{p}\|c^{(1)}\|$는 $\sqrt{2.25} = 1.5$ 이하로 유계이며, 이는 수치적 및 해석적으로 검증되었다.
• $p < 10000$일 때 $\sqrt{p}\|c^{(2)}\|$는 $4.1$ 이하로 유계이며, $p > 10000$일 때는 개선된 추정에 따라 $\sqrt{10.17} \approx 3.19$ 이하로 유계이다.
• $p \to \infty$일 때 $\sqrt{p}/c^{(3)}$의 극한이 $(-2\cos\theta_0, -2\sin(\theta_0 - \pi/6), 2\sin(\theta_0 + \pi/6))$로 나타남을 보여, 모든 $j$에 대해 $|l_j| \leq 2$임을 증명한다.
• $p = 7, 13, 19$일 때 $\sqrt{p}\|c^{(1)}\| < 3$임을 증명하였으며, $p \geq 31$일 때는 $< 1.5$의 유계성이 유지됨을 확인하여 균일성을 확인한다.
• 분석을 통해 $\sqrt{p}\|c^{(j)}\|$가 모든 $j$에 대해 유계임을 확인하였으며, 최악의 성장률은 삼각함수 및 대수적 추정에 의해 통제됨을 보였다.