[论文解读] Infinite family of equi-isoclinic planes in Euclidean odd dimensional spaces and of complex symmetric conference matrices of odd orders

Boumediene Et-Taoui|arXiv (Cornell University)|Sep 12, 2014

graph theory and CDMA systems参考文献 8被引用 11

一句话总结

该论文通过在有限域 $\mathrm{GF}(p^\alpha)$ 上对勒让德符号的创新应用，构建了奇数阶 $2k-1$ 的无穷复对称会议矩阵，其中 $2k = p^\alpha + 1$，$p$ 为奇素数且 $\alpha \geq 0$。由此，证明了在 $\mathbb{R}^{2k-1}$ 中存在最大数量的 $2k-1$ 个等角同构平面，其参数 $\lambda = \frac{1}{2k-2}$，从而解决了欧几里得几何中奇数维空间长期存在的空白。

ABSTRACT

A n-set of equi-isoclinic planes in R^r is a set of n planes spanning R^r each pair of which has the same non-zero angle arccos(sqrt(lambda)). We prove that for any odd integer k such that 2k=p^alpha+1, p odd prime, alpha non-negative integer the maximum number of equi-isoclinic planes with angle arccos(sqrt(1/(2k-2))) in R^(2k-1) is equal to 2k-1. The solution of this geometric problem is obtained by the construction of complex conference matrices of order 2k-1.

研究动机与目标

• 为解决长期悬而未决的关于奇数维欧几里得空间中等角同构平面最大数量的问题。
• 构建奇数阶复对称会议矩阵，此类矩阵此前在该维度下未被证明存在。
• 建立此类矩阵存在性与 $\mathbb{R}^{2k-1}$ 中等角同构平面几何问题之间的联系。
• 将会议矩阵理论从实对称和斜对称情形扩展至复对称奇数阶领域。
• 通过加倍构造法，提供生成复 Hadamard 矩阵与 Sylvester 逆正交矩阵的新方法。

提出的方法

• 利用有限域 $\mathrm{GF}(p^{{\alpha}})$ 上的勒让德符号，构造阶为 $2k-1$ 的复对称会议矩阵，其中 $2k = p^{{\alpha}} + 1$，$p$ 为奇素数，$\alpha \geq 0$。
• 通过满足 $\Re(\omega_0^2) = \frac{2-k}{k-1}$ 的单位复数 $\omega_0$ 定义矩阵元素，确保矩阵满足 $CC^* = (n-1)I_n$。
• 利用 $\mathrm{GF}(p^{{\alpha}})$ 上雅可比斯特拉定理的类比，确保矩阵元素生成有效的会议矩阵结构。
• 证明所构造的阶为 $2k-1$ 的复对称会议矩阵，可在 $\mathbb{R}^{2k-1}$ 中生成 $2k-1$ 个等角同构平面，其角度参数 $\lambda = \frac{1}{2k-2}$。
• 使用加倍构造 $H_{2n} = \begin{pmatrix} C_n + I_n & C_n^* - I_n \\ C_n - I_n & -C_n^* - I_n \end{pmatrix}$ 生成阶为 $2(2k-1)$ 的复 Hadamard 矩阵。
• 建立矩阵变换（单位复数对行/列的缩放）与关联 Seidel 矩阵中块旋转之间的等价性，保持几何与代数结构不变。

实验结果

研究问题

• RQ1 复对称会议矩阵的奇数阶是否存在？若存在，其阶数需满足何种数论条件？
• RQ2 在奇数 $k$ 的 $\mathbb{R}^{2k-1}$ 中，对于固定角度参数 $\lambda$，最多可嵌入多少个等角同构平面？
• RQ3 是否存在一种构造方法，可将实对称矩阵的 Paley 构造推广至复对称奇数阶会议矩阵？
• RQ4 这些矩阵与复 Hadamard 矩阵及逆正交矩阵理论有何关联？
• RQ5 Seidel 矩阵的等价性是否可用于对奇数维空间中等角同构平面构型的合同类进行分类？

主要发现

• 对于任意满足 $2k = p^\alpha + 1$ 的奇整数 $k \geq 3$，其中 $p$ 为奇素数且 $\alpha \geq 0$，存在阶为 $2k-1$ 的复对称会议矩阵。
• 在 $\mathbb{R}^{2k-1}$ 中，角度参数 $\lambda = \frac{1}{2k-2}$ 的等角同构平面的最大数量恰好为 $2k-1$，即 $v_{\frac{1}{2k-2}}(2, 2k-1) = 2k - 1$。
• 此类矩阵的构造依赖于在 $\mathrm{GF}(p^\alpha)$ 上对勒让德符号的创新应用，与 Paley 构造不同。
• 在 $\mathbb{R}^5$ 中，五元组的关联 Seidel 矩阵处于标准形式，而更高阶的 Seidel 矩阵可通过块旋转与置换变换为标准形式。
• 该方法通过加倍公式生成了新的阶为 $2(2k-1)$ 的复 Hadamard 矩阵，扩展了已知构造。
• 即使在实对称会议矩阵不存在的情况下（例如 $k=11,17,23,29,33,35,39,43,47$），结果依然成立，表明这些情况下复对称会议矩阵的存在性。