[論文レビュー] 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

ひとこと要約

本稿は、$p$ を奇素数、$\alpha \geq 0$ とし、$2k = p^\alpha + 1$ であるような奇数次元 $2k-1$ の複素対称会議行列の無限族を構成する。これは、有限体 $\mathrm{GF}(p^\alpha)$ 上でのリーマン記号の新規応用に基づく。この行列から、$\mathbb{R}^{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}$ 内の等長曲面平面という幾何的問題との関係を確立すること。
• 会議行列の理論を実対称および実反対称の場合にとどまらず、複素対称の奇数次元領域へと拡張すること。
• 倍加構成を用いて、複素ヘルミート行列およびシルベスター逆直交行列を生成する新しい手法を提供すること。

提案手法

• 有限体 $\mathrm{GF}(p^{{\alpha}})$ 上でのリーマン記号を用いて、$2k = p^{{\alpha}} + 1$、$p$ を奇素数、$\alpha \geq 0$ とし、$2k-1$ 次の複素対称会議行列を構成する。
• 行列の成分を、$\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}$ 内に角度パラメータ $\lambda = \frac{1}{2k-2}$ の $2k-1$ 個の等長曲面平面を生成することを証明する。
• 倍加構成 $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)$ 次の複素ヘルミート行列を生成する。
• 行列変換（単位複素数による行・列スケーリング）と関連するシルベスター行列におけるブロック回転との間の同値性を確立し、幾何的・代数的構造を保存する。

実験結果

リサーチクエスチョン

• RQ1 奇数次元における複素対称会議行列は存在可能であり、そのような行列が存在するための数論的条件は何か？
• RQ2 奇数 $k$ に対して、固定された角度パラメータ $\lambda$ を持つ等長曲面平面を $\mathbb{R}^{2k-1}$ に埋め込む最大数は何か？
• RQ3 実対称行列のペイリー構成を一般化した、奇数次元における複素対称会議行列の構成法は存在するか？
• RQ4 これらの行列は、複素ヘルミート行列および逆直交行列の理論とどのように関係しているか？
• RQ5 シルベスター行列の同値性は、奇数次元空間における等長曲面平面配置の合同類を分類するために利用可能か？

主な発見

• 任意の奇数 $k \geq 3$ で、$2k = p^\alpha + 1$ を満たし、$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)$ 上でのリーマン記号の新規応用に基づく。
• 5-重組 $\mathbb{R}^5$ における関連するシルベスター行列は正規形にあるが、この構成から得られる高次元のシルベスター行列は、ブロック回転および置換を用いて正規形に変換可能である。
• この方法により、既知の構成を拡張した、$2(2k-1)$ 次の新しい複素ヘルミート行列が得られる。
• 実対称会議行列が存在しない場合（例：$k=11,17,23,29,33,35,39,43,47$）でも、結果は依然有効であり、これらのケースに複素対称会議行列が存在することを示唆する。