[논문 리뷰] Equitable 2-partitions of Johnson graphs with the second eigenvalue

Konstantin Vorob’ev|arXiv (Cornell University)|2020. 03. 24.

Graph theory and applications참고 문헌 4인용 수 4

한 줄 요약

이 논문은 $w \geq 4$ 및 $n \geq 2w$ 인 Johnson 그래프 $J(n,w)$의 정당한 2분할을 연구하며, 이분할의 몫행렬에 두 번째 고유값 $\lambda_2(n,w) = (w-2)(n-w-2) - 2$ 가 포함된 경우에 초점을 맞춘다. $n > 2w$ 일 때는 그러한 분할이 존재하지 않음을 증명하고, $n = 2w$ 이며 $w \geq 7$ 인 경우에 대해 등가성 이외로 모든 분할을 완전히 분류하며, 두 개의 새로운 무한한 가족의 분할을 발견한다. 이 접근법은 고유함수 분석, 부분 차분 연산자 및 지지 구조에서 유도된 블록 디자인에 대한 조합적 제약 조건을 통합한다.

ABSTRACT

We study equitable 2-partitions of the Johnson graphs J(n,w) with a quotient matrix containing the eigenvalue lambda_2(w,n) = (w-2)(n-w-2)-2 in its spectrum. For any w>=4 and n>=2w, we find all admissible quotient matrices of such partitions, and characterize all these partitions for w>=4, n>2w, and for w>=7, n = 2w, up to equivalence.

연구 동기 및 목표

• Johnson 그래프 $J(n,w)$의 정당한 2분할을 몫행렬에 두 번째 고유값 $\lambda_2(n,w)$ 를 포함하는 경우로 분류하기.
• $n > 2w$ 및 $n = 2w$ 인 경우에 대해 이러한 분할의 존재성과 구조를 규명하기.
• $w \geq 7$, $n = 2w$ 인 경우에 대해 실현 가능한 모든 몫행렬을 식별하고, 등가성 이외로 분할을 특성화하기.
• $w=3$ 인 경우에 대한 기존 결과를 초월하여 정당한 분할의 분류를 확장하고, 고유값 제약 조건을 통해 Delsarte 추측의 함의를 다루기.

제안 방법

• Johnson 그래프의 $\lambda_i(n,w)$-고유함수를 사용하고, 부분 차분 연산자 $f_{j_1,j_2}$ 를 적용하여 차원을 감소시키며, $J(n-2,w-1)$ 에서 고유함수를 유도한다.
• Lemma 1 및 Lemma 2 을 적용하여 고유함수의 구조와 그 부분 차분의 성질을 분석하고, 고유함수가 식별적으로 0이 되는 경우를 파악한다.
• 고유함수의 지지 구조를 활용하고, $BD(g)$ 및 $SBD(g)$ 라는 블록 디자인을 정의하여 비영 부분 차분의 분포를 분석한다.
• 영, $f_1$-등가, $f_2$-등가 부분 차분의 개수인 $k_0, k_1, k_2$ 를 포함하는 방정식 시스템 (1) 을 유도하여 가능한 구성의 제약 조건을 설정한다.
• 부등식 $bc \leq \left(\frac{b+c}{2}\right)^2$ 와 Lemma 5 를 활용하여 비영 부분 차분의 수를 유계화하고, 조합적 제약 조건을 위반하는 구성은 제거한다.
• Proposition 3 을 적용하여 $BD(g)$ 에서 큰 블록 크기와 기존 구성 간의 연결을 맺고, 작은 블록 크기의 경우 모순을 이용하여 부정확한 해를 배제한다.

실험 결과

연구 질문

• RQ1 $n > 2w$ 일 때, 몫행렬에 $\lambda_2(n,w)$ 를 포함하는 Johnson 그래프 $J(n,w)$ 의 정당한 2분할이 존재하는가?
• RQ2 $n = 2w$ 이고 $w \geq 4$ 인 경우에 대해 이러한 분할의 실현 가능한 몫행렬는 무엇인가?
• RQ3 $w \geq 7$, $n = 2w$ 일 때, 이러한 모든 분할을 등가성 이외로 완전히 특성화할 수 있는가?
• RQ4 기존에 알려진 구성 이외에 새로운 무한한 가족의 정당한 2분할이 존재하는가?

주요 결과

• $w \geq 4$ 이고 $n > 2w$ 일 때, 몫행렬에 $\lambda_2(n,w)$ 를 포함하는 Johnson 그래프 $J(n,w)$ 의 정당한 2분할은 존재하지 않는다.
• $n = 2w$ 이고 $w \geq 7$ 일 때, 모든 이러한 정당한 2분할은 Construction 1–4 에 의해 생성된 것들과 등가이며, 각각 $b = 3w-2$, $b = 2w$, $b = 2w$, $b = 3w$ 를 갖는다.
• $n = 2w$ 이고 $w \geq 7$ 인 경우에 대해 두 개의 새로운 무한한 가족의 정당한 2분할을 발견하였으며, 이는 각각 $b = 3w-2$ 와 $b = 3w$ 와 대응된다.
• $w = 8$ 일 때, $b=16$, $c=14$ 인 유일한 가능한 해는 모순을 유도하므로 비구성적 분할은 배제된다.
• $w = 7$ 일 때, 유일한 일관된 해는 $b=14$, $c=12$ 이며, $SBD(g) = \{7,7\}$ 또는 $\{8,6\}$ 이다. 이 두 경우 모두 알려진 구성과 등가일 경우에만 모순이 발생하지 않는다.
• $w \in \{4,5,6\}$ 일 때, 가능한 모든 몫행렬가 기존의 구성에 속함을 보여주어 작은 $w$ 에서의 완전성을 확인한다.