[论文解读] All cyclic p-roots of index 3, found by symmetry-preserving calculations

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

graph theory and CDMA systems参考文献 7被引用 9

一句话总结

本文提出一种保持对称性的方法，显式计算所有满足 $p \equiv 1 \pmod{6}$ 的素数 $p$ 的指数 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}$ 的素数 $p$ 的指数 3 循环 $p$-根，同时保持系统内在对称性。
• 将用于指数 2 双单位模序列的方法扩展至更复杂的指数 3 情况，其中对称性更为复杂。
• 为指数 3 的简单循环 $p$-根的系数提供显式公式，避免标准 Gröbner 基方法中固有的对称性损失。
• 建立当 $p \to \infty$ 时解的 $L^2$-范数的统一有界性，证明 $\sqrt{p}\|c^{(j)}\|$ 对 $j=1,2,3$ 均保持有界。
• 通过连续性与泰勒近似，验证解在临界角附近（特别是 $\theta = \pi/6$）的渐近行为。

提出的方法

• 该方法利用乘法群 $\mathbb{Z}_p^*$ 的群结构，将其分解为模 $p$ 的立方剩余的陪集 $G_0, G_1, G_2$。
• 定义转移数 $n_{ik}(d)$，表示满足 $b \in G_i$ 且 $b+d \in G_k$ 的 $b \in \{1,\dots,p-1\}$ 的个数，这些数编码了系统的对称性。
• 通过指数 3 结构，将循环 $p$-根的 $p$ 个方程组约化为关于系数 $c_0, c_1, c_2$ 的三个对称方程。
• 作者利用符号计算（MAPLE、MATHEMATICA）推导出解 $c^{(1)}, c^{(2)}, c^{(3)}$ 关于 $p$、$A = 2\sqrt{p}\cos(3\theta)$ 和 $B = 2\sqrt{p}\sin(3\theta)/\sqrt{27}$ 的闭式表达式。
• 通过平方根的泰勒展开进行渐近分析，估算 $\sqrt{p}\|c^{(j)}\|$ 在大 $p$ 下的增长，证明其有界性。
• 对 $\sqrt{p}/c^{(3)}$ 在 $p \to \infty$ 时的极限应用连续性论证，表明对所有 $j$ 有 $|l_j| \leq 2$，从而反驳任何无界性的假设。

实验结果

研究问题

• RQ1 如何在代数计算过程中始终保持指数 3 循环 $p$-根系统的对称性，避免标准 Gröbner 基方法中出现的结构损失？
• RQ2 当 $p \equiv 1 \pmod{6}$ 时，所有指数 3 循环 $p$-根的显式代数公式是什么，其表达式如何用 $p$ 和三角参数表示？
• RQ3 当 $p \to \infty$ 时，解向量 $c^{(j)}$ 的 $L^2$-范数是否一致有界？若是，其精确界限是什么？
• RQ4 解在 $\theta = \pi/6$ 附近的渐近行为如何？这如何影响 $\sqrt{p}\|c^{(j)}\|$ 的增长？
• RQ5 能否使用单一解析框架，对所有满足 $p \equiv 1 \pmod{6}$ 的素数 $p$，统一参数化解集？

主要发现

• 所有指数 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$ 均保持有界，最坏情况下的增长受三角与代数估计的控制。