[논문 리뷰] Distance-regular graph with large a1 or c2

Jack H. Koolen, Jongyook Park|arXiv (Cornell University)|2010. 08. 06.

Finite Group Theory Research참고 문헌 12인용 수 4

한 줄 요약

이 논문은 큰 $a_1$ 또는 $c_2$를 가진 거리 정규 그래프를 분류하며, 지름이 3 이상인 경우 이러한 그래프—유한한 예외를 제외하고는 타일러 그래프, 지름 3인 이분 그래프, 또는 선 그래프임을 보여준다. 주요 결과는 이전의 $c_2 > \frac{1}{2}k$에 대한 경계를 확장하고, $a_1 \geq \frac{1}{2}k - 1$인 그래프를 분류하며, 존슨 그래프 $J(7,3)$와 7-입방체의 반으로 나뉜 그래프가 유일한 비선형, 비타일러 예외임을 규명한다.

ABSTRACT

In this paper, we study distance-regular graphs $Γ$ that have a pair of distinct vertices, say x and y, such that the number of common neighbors of x and y is about half the valency of $Γ$. We show that if the diameter is at least three, then such a graph, besides a finite number of exceptions, is a Taylor graph, bipartite with diameter three or a line graph.

연구 동기 및 목표

• 인접한 정점의 공통 이웃 수($a_1$)가 차수의 절반보다 한 개 작거나 그 이상인 거리 정규 그래프를 분류하는 것.
• 이전의 $c_2 > \frac{1}{2}k$인 그래프에 대한 결과를 확장하며, 특히 큰 $c_2$를 가진 그래프의 분류를 수행하는 것.
• 고정된 정점에서 거리가 2인 정점 수인 $k_2 \leq \frac{3}{2}k$ 조건을 분석하는 것.
• 특히 타일러 그래프와 선 그래프의 맥락에서 이러한 조건을 만족하는 그래프가 무한히 존재하는지 여부를 규명하는 것.
• 다각형과 타일러 그래프를 제외하고 $\varepsilon > 0$에 대해 $k_2 \leq (2 - \varepsilon)k$를 만족하는 거리 정규 그래프가 유한한 수만 존재함을 증명하는 것.

제안 방법

• 큰 $a_1$ 또는 $c_2$를 가진 거리 정규 그래프의 구조를 제약하기 위해 교차 배열 분석과 고유값 경계를 사용한다.
• 보세-메스너 대수와 고유값의 교차 성질을 적용하여 최대 고유값의 중복도 $m_1$에 대한 경계를 유도한다.
• 두 번째로 큰 고유값 $\theta_1$를 추정하기 위해 식 $\theta_1 \geq \min\{a_1 + 1, a_3\}$을 활용한다.
• $k_2 \leq \frac{3}{2}k$ 조건을 도입하여 거리가 2인 정점 수를 제한함으로써 $v$와 $k$에 대한 경계를 도출한다.
• 컴퓨터 검증을 통해 $k \leq 1127$인 경우에 대해 $m_1 < \frac{1}{2}k$, $\theta_1 = \frac{b_1}{2} - 1$, $k_2 \leq \frac{3}{2}k$ 조건을 만족하는 타당한 교차 배열을 점검한다.
• 브로우어, 코헨, 뉴마이어(1989)의 정리 4.4.11 및 5.3.2와 같은 거리 정규 그래프 이론의 기존 결과를 적용하여 불가능한 구성 요소를 제거한다.

실험 결과

연구 질문

• RQ1 지름이 3 이상이고 $a_1 \geq \frac{1}{2}k - 1$인 거리 정규 그래프 중 선 그래프와 타일러 그래프 이외에 존재하는 그래프는 무엇인가?
• RQ2 지름이 3 이상이고 $c_2 > \frac{1}{2}k$인 거리 정규 그래프의 구조는 어떻게 되는가?
• RQ3 다각형과 타일러 그래프를 제외하고 지름이 3 이상이고 $k_2 \leq \frac{3}{2}k$인 거리 정규 그래프가 유한한 수 이외에도 무한히 존재하는가?
• RQ4 이러한 그래프의 존재를 제한하는 고유값과 중복도 제약 조건은 무엇인가?
• RQ5 비선형 그래프와 비타일러 그래프를 포함하는 $a_1 \geq \frac{1}{2}k - 1$인 그래프의 분류를 확장할 수 있는가?

주요 결과

• 지름이 3 이상인 경우, $a_1 \geq \frac{1}{2}k - 1$인 거리 정규 그래프는 선 그래프, 타일러 그래프, 존슨 그래프 $J(7,3)$, 또는 7-입방체의 반으로 나뉜 그래프일 수 있다.
• 존슨 그래프 $J(7,3)$는 차수 $k = 12$와 $k_2 = 35$를 가지며, 조건을 만족하는 유일한 비선형, 비타일러 그래프이다.
• 7-입방체의 반으로 나뉜 그래프는 $k = 12$와 $k_2 = 35$를 가지며, 분류에서 유일한 비선형, 비타일러 그래프이다.
• 지름이 3인 거리 정규 그래프에 대해 $k_2 \leq \frac{3}{2}k$, $m_1 < \frac{1}{2}k$, $k \leq 1127$ 조건을 만족하는 타당한 교차 배열은 존재하지 않는다.
• 분석 결과, $m_1 < \frac{1}{2}k$와 $\theta_1 = \frac{b_1}{2} - 1$ 조건을 만족하는 그래프의 경우 $k \leq 1127$이며, 철저한 컴퓨터 검색을 통해 이러한 그래프는 존재하지 않는다.
• 특히 $\varepsilon > 0$에 대해 $k_2 \leq (2 - \varepsilon)k$를 만족하는 경우, 다각형과 타일러 그래프를 제외하고 지름이 3 이상인 거리 정규 그래프는 유한한 수만 존재한다.