[논문 리뷰] Complex Hadamard Matrices and Strongly Regular Graphs

Ada Chan|arXiv (Cornell University)|2011. 02. 28.

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

한 줄 요약

이 논문은 강한 정규 그래프 인접 대수에서 실수 헤르무드 매트릭스에 대한 고테일스와 시델의 고전적 결과를 복소 헤르무드 매트릭스로 확장하며, 이러한 매트릭스가 존재하는 데 있어 세 가지 새로운 매개변수 가족을 규명한다. 또한 완전 그래프의 거리 정규 커버 중에서 복소 헤르무드 매트릭스를 유도할 수 있는 것은 오직 세 가지에 불과하며, 이 매트릭스들은 노무라 대수의 차원이 낮아(dim=2) 디플라의 구성 방식으로 유래되지 않음을 증명한다.

ABSTRACT

Over forty years ago, Goethals and Seidel showed that if the adjacency algebra of a strongly regular graph $X$ contains a Hadamard matrix then $X$ is either of Latin square type or of negative Latin square type. We extend their result to complex Hadamard matrices and find only three additional families of parameters for which the strongly regular graphs have complex Hadamard matrices in their adjacency algebras. Moreover we show that there are only three distance regular covers of the complete graph that give complex Hadamard matrices.

연구 동기 및 목표

• 강한 정규 그래프의 인접 대수에서 실수 헤르무드 매트릭스에 대한 고테일스와 시델의 결과를 복소 경우로 일반화하는 것.
• 강한 정규 그래프의 모든 매개변수를 분류하여, 그 인접 대수에 복소 헤르무드 매트릭스가 포함되는지 여부를 규명하는 것.
• 완전 그래프의 어떤 거리 정규 커버가 복소 헤르무드 매트릭스를 유도하는지 규명하는 것.
• 구성된 복소 헤르무드 매트릭스가 디플라의 일반화된 텐서곱 구성 방식에서 유래되는지 조사하는 것.
• 발견된 복소 헤르무드 매트릭스와 관련된 노무라 대수의 구조를 분석하는 것.

제안 방법

• 논문은 특정 직교 조건을 포함하는 행렬 원소 합에 기반한 유형 II 매트릭스를 사용한다.
• 모든 원소가 단위 원 위에 있는 복소 헤르무드 매트릭스를 유형 II 매트릭스로 특성화하며, $ W\overline{W}^T = nI $ 를 만족한다.
• 강한 정규 그래프의 인접 대수 프레임워크를 적용하여 후보 매트릭스를 $ W = I + xA(X) + yA(\overline{X}) $ 로 표현한다.
• 그래프 매개변수와 고유값에 기반한 방정식 시스템을 풀어 이러한 매트릭스가 유형 II가 되기 위한 필요 및 충분 조건을 유도한다.
• 노무라 대수 $ \mathcal{N}_W $ 의 구조를 분석하기 위해 내적 $ \langle Y_{\alpha\beta}, Y_{\gamma\alpha} \rangle $ 을 계산한다.
• 레마 4.4를 사용하여 내적 값이 모든 $ \gamma \neq \alpha, \beta $ 에 대해 비영이면 $ \dim \mathcal{N}_W = 2 $ 라고 결론내리며, 이는 비-디플라 기원을 시사한다.

실험 결과

연구 질문

• RQ1 기존의 라틴 스퀘어 및 음의 라틴 스퀘어 유형을 초월하여, 어떤 강한 정규 그래프의 매개변수가 인접 대수에 복소 헤르무드 매트릭스를 포함하는가?
• RQ2 완전 그래프의 거리 정규 커버 중에서 복소 헤르무드 매트릭스를 유도하는 것은 몇 개인가? 그들의 구조적 성질은 무엇인가?
• RQ3 최근에 구성된 복소 헤르무드 매트릭스가 디플라의 일반화된 텐서곱 구성 방식에서 유래되는가?
• RQ4 이 복소 헤르무드 매트릭스와 관련된 노무라 대수 $ \mathcal{N}_W $ 의 차원은 얼마인가?
• RQ5 내적 $ \langle Y_{\alpha\beta}, Y_{\gamma\alpha} \rangle $ 의 실수부가 영이 아닐 경우, $ \mathcal{N}_W = \mathrm{span}\{I, J\} $ 를 증명하는 데 사용될 수 있는가?

주요 결과

• 논문은 강한 정규 그래프가 인접 대수에 복소 헤르무드 매트릭스를 포함하는 데 있어 세 가지 새로운 매개변수 가족을 규명하였으며, 고테일스와 시델의 결과를 확장한다.
• 완전 그래프의 거리 정규 커버 중에서 복소 헤르무드 매트릭스를 유도하는 것은 오직 세 가지에 불과하며, 이들은 완전히 분류되어 있다.
• 구성된 복소 헤르무드 매트릭스에 대해 노무라 대수 $ \mathcal{N}_W $ 의 차원은 2이며, 이는 디플라의 일반화된 텐서곱 구성 방식으로 유래되지 않음을 시사한다.
• 페테르센 그래프의 선 그래프에서 복소 헤르무드 매트릭스가 존재함을 확인하였으며, 이는 디플라 유형이 아니다.
• 모든 $ \gamma \neq \alpha, \beta $ 에 대해 내적 $ \langle Y_{\alpha\beta}, Y_{\gamma\alpha} \rangle $ 의 실수부가 영이 아니며, 이는 $ \mathcal{N}_W = \mathrm{span}\{I, J\} $ 를 강제한다.
• 매개변수 $ (4\theta^2-1, 2\theta^2, \theta^2, \theta^2) $ 와 $ (4\theta^2+4\theta+2, 2\theta^2+\theta, \theta^2-1, \theta^2) $ 에 대해 구성된 매트릭스는 복소 헤르무드 매트릭스이며, $ \dim \mathcal{N}_W = 2 $ 를 만족한다.