[논문 리뷰] 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)|2014. 09. 12.

graph theory and CDMA systems참고 문헌 8인용 수 11

한 줄 요약

이 논문은 $2k-1$ 차수의 복소 대칭 컨퍼런스 행렬의 무한한 가족을 구성한다. 여기서 $2k = p^\alpha + 1$, $p$는 홀수 소수이고 $\alpha \geq 0$이며, 이는 $\mathrm{GF}(p^\alpha)$ 위에서 레지오드 샘플의 새로운 응용을 통해 이루어진다. 이러한 행렬들로부터, $\mathbb{R}^{2k-1}$에서 파arameter $\lambda = \frac{1}{2k-2}$를 가진 최대 $2k-1$개의 등거리 등기울기 평면의 존재를 증명하며, 이는 오랜 기간 동안 미해결이었던 홀수 차원 유클리드 기하학의 빈자리 문제를 해결한다.

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}$에서의 등거리 등기울기 평면 문제 사이의 연결 고리를 설정하기 위해.
• 실수 대칭 및 반대칭 경우를 초월하여, 복소 대칭 홀수 차수 컨퍼런스 행렬 이론을 확장하기 위해.
• 더블링 구조를 통해 복소 하다마드 행렬과 실르베스터 역직교 행렬을 생성하는 새로운 방법을 제공하기 위해.

제안 방법

• 홀수 소수 $p$와 $\alpha \geq 0$에 대해 $2k = p^{{\alpha}} + 1$인 유한체 $\mathrm{GF}(p^{{\alpha}})$ 위에서 레지오드 샘플을 사용하여 차수 $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$에 대해 $\mathbb{R}^{2k-1}$에 고정된 각도 매개변수 $\lambda$를 가진 등거리 등기울기 평면의 최대 개수는 얼마인가?
• 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$의 5중조합에 대응하는 시벨레 행렬은 정규형이다. 이와 더불어, 이 구조에서 유도된 고차수의 시벨레 행렬들은 블록 회전과 순열을 통해 정규형으로 변환될 수 있다.
• 이 방법은 기존의 구성법을 넘어서, 차수 $2(2k-1)$의 새로운 복소 하다마드 행렬을 더블링 공식을 통해 생성한다.
• 실수 대칭 컨퍼런스 행렬이 존재하지 않는 경우(예: $k=11,17,23,29,33,35,39,43,47$)에도 결과가 그대로 유지되며, 이는 이러한 경우에 복소 대칭 컨퍼런스 행렬의 존재를 시사한다.