[논문 리뷰] Orthogonal maximal abelian *-subalgebras of the 6x6 matrices

Kyle A. Beauchamp, Remus Nicoară|ArXiv.org|2006. 09. 03.

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

한 줄 요약

이 논문은 차수 6의 새로운 일파rameter 비등가, 비아핀 변환 복소 하단드 매트릭스 가중치를 구성하며, 이는 $M_6(\mathbb{C})$ 내에서 직교적인 최대 아벨 $^*$-부대수(MASAs)를 유도한다. 핵심 기여는 $\theta$로 매개변수화된 비아핀 가중치 가중치로, 이는 차수 6에 대해 처음으로 그러한 가중치 가중치를 제공하며, 비에르크-프로베르그 매트릭스의 고립성 문제를 해결한다. 이는 이 매트릭스가 이 가중치 가중치 내에 포함되어 있음을 보여주며, 동시에 차수 9, 10, 11에 대해 새로운 고립된 하단드 매트릭스를 제시한다.

ABSTRACT

We construct new pairs of orthogonal maximal abelian $*$-subalgebras of $M_6(\mathbb C)$, by classifying all self-adjoint complex Hadamard matrices of order 6. In particular, we exhibit a non-affine one-parameter family of non-equivalent Hadamard matrices of order 6. In the last part of the paper we present other previously unknown examples of complex Hadamard matrices of higher orders.

연구 동기 및 목표

• 차수 6의 자기수반 복소 하단드 매트릭스를 등가성에 대해 분류하는 것.
• 비등가 복소 하단드 매트릭스의 새로운 일파라미터 가중치 가중치를 구성하는 것, 이는 비아핀 특성을 가짐.
• 비에르크-프로베르그 순환 6근 매트릭스 $C_6^{(0)}$ 가 차수 6의 모든 하단드 매트릭스 중에서 고립되어 있는지 여부를 규명하는 것.
• 대칭성과 수치적 검색 방법을 사용하여 차수 9, 10, 11의 새로운 복소 하단드 매트릭스 예를 제시하는 것.
• 서브팩터 이론의 맥락에서 하단드 매트릭스의 스펜 조건, 결함, 고립성 간의 관계를 조사하는 것.

제안 방법

• 유니타리성과 자기수반 조건에서 유도된 방정식계를 해결하여 차수 6의 자기수반 복소 하단드 매트릭스를 분류하는 것.
• 입력값에 대해 $y = e^{i\theta}$와 함께 삼각함수 및 대수적 표현을 사용하여 일파라미터 가중치 $H(\theta)$를 구성하는 것, $x, t, z$ 는 루트와 유리함수로 정의된다.
• 수치적 검색을 위해 매트릭스 $f(H)$ 를 사용하여 하단드 조건을 코딩한 함수의 국소 최소값을 찾는 것, 대칭성과 고정된 대각성분을 적용한다.
• 새로운 매트릭스의 고립성을 확인하기 위해 [Ni]에서 제시된 스펜 조건을 적용하는 것, 이는 기존 가중치 가중치와 등가가 아님을 보장한다.
• 대각성분을 1 또는 -1로 고정하여 강력한 대수적 제약 조건을 부여하여 해 공간을 단순화하는 것.
• 기존 가중치 가중치(예: $F_9^{(4)}$, 순환 매트릭스)와의 비교를 통해 등가성과 독창성을 확인하는 것.

실험 결과

연구 질문

• RQ1 차수 6의 비아핀 일파라미터 가중치 가중치 복소 하단드 매트릭스가 존재하는가? 존재한다면 명시적으로 구성할 수 있는가?
• RQ2 비에르크-프로베르그 매트릭스 $C_6^{(0)}$ 는 차수 6의 모든 복소 하단드 매트릭스 중에서 고립되어 있는가, 아니면 연속적인 가중치 가중치에 속하는가?
• RQ3 대칭성과 수치적 검색을 통해 차수 9, 10, 11의 새로운 고립된 복소 하단드 매트릭스를 구성할 수 있는가?
• RQ4 하단드 매트릭스의 결함과 고립성 간의 관계는 무엇이며, 0의 결함이 고립성을 의미하는가?
• RQ5 새로운 매트릭스는 스펜 조건을 만족하는가? 이는 서브팩터 이론에서 그들의 역할에 어떤 함의를 갖는가?

주요 결과

• 차수 6의 새로운 비아핀 일파라미터 가중치 가중치 복소 하단드 매트릭스를 구성하였으며, $\theta \in [-\pi, -\arccos(( -1 + \sqrt{3})/2)] \cup [\arccos(( -1 + \sqrt{3})/2), \pi]$ 에 대해 매개변수화되었으며, $y = e^{i\theta}$ 와 $y$ 의 유리함수를 통해 입력값이 정의된다.
• 행렬 $H(\theta)$ 는 비에르크-프로베르그 순환 6근 매트릭스 $C_6^{(0)}$ 와 등가인 행렬을 포함하고 있으며, 이는 $C_6^{(0)}$ 이 고립되어 있지 않음을 보여주며, 이 질문에 대한 부정적 답변을 제시한다.
• 차수 9의 행렬 $H_9$ 는 스펜 조건을 만족하고, $F_9^{(4)}$ 의 4파라미터 가중치 가중치와 등가가 아니므로 복소 하단드 매트릭스 중에서 고립되어 있다.
• 차수 9의 행렬 $BN_9$ 는 결함 2를 가지며, 이는 비등가 하단드 매트릭스의 비자명한 가중치 가중치에 속할 수 있음을 시사한다.
• 차수 10의 행렬 $BN_{10}$ 은 스펜 조건을 만족하므로 고립되어 있으며, $\mathbb{Q}[( -1 + i\sqrt{15})/4]$ 내의 입력값을 가지며, 알려진 순환 또는 아핀 가중치 가중치와 등가가 아니다.
• 차수 11의 두 개의 새로운 고립된 매트릭스 $N_{11}$ 과 $N'_{11}$ 이 구성되었으며, 둘 다 스펜 조건을 만족하고, $x = \frac{3}{4} - i\frac{\sqrt{7}}{4}$ 인 $\mathbb{Q}(x)$ 의 이차 확장 내에 입력값을 가진다.