[논문 리뷰] On the signed graphs with two distinct eigenvalues

Farzaneh Ramezani|arXiv (Cornell University)|2015. 11. 10.

Graph theory and applications참고 문헌 6인용 수 9

한 줄 요약

이 논문은 허다드 행렬과 콫퍼런스 행렬을 사용하여 정규 이분할 부호 그래프의 무한한 가닥을 구성하며, 정규 라만두잔 그래프의 명시적 구성으로 이어진다. 주요 기여는 정규 수직 행렬과 2-리프를 통해 라만두잔 그래프를 생성하는 방법으로, 스펙트럼 성질이 보완 및 서명 변환 하에 유지됨을 보여준다.

ABSTRACT

We consider signed graphs, i.e, graphs with positive or negative signs on their edges. We construct some families of bipartite signed graphs with only two distinct eigenvalues. This leads to constructing infinite families of regular bipartite Ramanujan graphs.

연구 동기 및 목표

• 조합 설계를 사용하여 정확히 두 개의 서로 다른 고유값을 가진 부호 그래프를 구성하는 것.
• 정규 수직 행렬과 라만두잔 그래프 사이의 연결 고리를 설정하는 것.
• 2-리프와 스펙트럼 성질을 이용하여 정규 라만두잔 그래프의 명시적 구성 제공하는 것.
• 완전 그래프를 초월하여 이분할 및 정규 구조로 두 고유값 부호 그래프 이론을 확장하는 것.

제안 방법

• 대칭 수직 부호 행렬 $ C $ 를 사용하여 $ CC^t = \alpha I $ 를 만족시키며, 이는 부호 그래프의 인접 행렬을 정의한다.
• 이분할 그래프를 모델링하기 위해 블록 행렬 형식 $ C^* = \begin{pmatrix} O & C \\ C^t & O \end{pmatrix} $ 을 생성하기 위해 $ * $-연산을 적용한다.
• 서명을 통해 2-리프를 적용하여 기존 그래프와 부호 인접 스펙트럼의 스펙트럼을 합친 새로운 그래프를 생성한다.
• 스펙트럼 보완: $ G $ 가 $ k $-정규 라만두잔 그래프이고 $ k \leq n/2 $ 라면, 이의 이분할 보완 $ G_b^c $ 도 라만두잔이다.
• 칵퍼런스 행렬 $ Co_n $ 과 허다드 행렬 $ H_n $ 의 성질을 활용하여 두 고유값을 가진 양호한 서명을 구성한다.
• 논문 [8] 의 결과를 적용하여 2-리프 $ \tilde{G}_s $ 의 스펙트럼은 $ A(G) $ 와 $ A^s $ 의 스펙트럼의 합집합임을 보이며, 이는 라만두잔 성질의 전이를 가능하게 한다.

실험 결과

연구 질문

• RQ1 정확히 두 개의 서로 다른 고유값을 가진 부호 그래프로부터 정규 라만두잔 그래프의 무한한 가닥을 구성할 수 있는가?
• RQ2 정규 수직 부호 행렬에 어떤 조건이 성립해야 그에 대응하는 그래프가 라만두잔이 되는가?
• RQ3 2-리프와 스펙트럼 보완이 이분할 부호 그래프에서 라만두잔 성질을 어떻게 유지하는가?
• RQ4 칵퍼런스 행렬과 허다드 행렬은 두 고유값 부호 그래프의 양호한 서명을 구성하는 데 어떤 역할을 하는가?
• RQ5 이분할 설정에서 그래프 보완을 통해 라만두잔 성질이 물려받을 수 있는가?

주요 결과

• 논문은 정확히 두 개의 서로 다른 고유값을 가진 부호 그래프를 사용하여 정규 라만두잔 그래프의 무한한 가닥을 구성한다.
• 순서 $ n $ 의 대칭 수직 부호 행렬 $ C $ 가 $ CC^t = \alpha I $ 를 만족하고 $ \alpha \geq 2 $ 이며, $ \frac{1}{4}(k-1)^2 + k + 2 \leq n $ 를 만족하는 경우, 여기서 $ k = n - 1 - \alpha $ 이면, 기저 그래프 $ G $ 는 라만두잔 그래프이다.
• $ k \geq 2 $ 인 $ kC_4 $ 의 이분할 보완은 고유값 $ \pm(2k-2), (\pm 2)^{k-1}, 0^{2k} $ 를 가진 라만두잔 그래프이다.
• 만약 $ C $ 가 수직 부호 행렬이고 $ C^* $ 의 기저 그래프가 라만두잔이면, $ C^* $ 는 양호한 서명이 된다. 즉, 이는 라만두잔 2-리프를 유도한다.
• 라만두잔 그래프 $ G $ 의 양호한 서명 $ s $ 를 사용한 2-리프는 라만두잔 그래프 $ \tilde{G}_s $ 를 생성하며, 스펙트럼 경계 $ \lambda_2 \leq 2\sqrt{d-1} $ 가 유지된다.
• 명시적 구성이 제공된다: $ K_{n,n} $ 에 서명 $ H_n^* $ 를 적용하면 고유값 $ \pm n, \pm\sqrt{n}^n, 0^{2n-2} $ 이며, $ K_{n,n} \setminus M $ 에 $ Co_n^* $ 를 적용하면 고유값 $ \pm(n-1), \pm\sqrt{n-1}^n, \pm 1^{n-1} $ 이다.