거리정규 그래프의 β 파라미터 선형 경계와 고전 파라미터 분류

초록

본 논문은 고전 파라미터 ((D,b,\alpha,\beta))를 갖는 거리정규 그래프에서 (\beta)가 (r=1+b+\dots+b^{D-1})에 비례하면 그래프가 반드시 Grassmann 그래프 혹은 bilinear forms 그래프임을 보인다. 기존의 (β\ge C,r^{2}) 조건을 (β\ge C_{1},r) 로 완화하고, 이를 바탕으로 가능한 그래프 종류를 정리한 정리 1을 제시한다.

상세 분석

논문은 먼저 거리정규 그래프의 고전 파라미터 정의와 메츠치(Metsch)의 기존 결과를 재조명한다. 메츠치는 (\beta)가 (r^{2})에 비례할 때 그래프가 Grassmann 혹은 bilinear forms 그래프가 된다고 증명했으며, 이때 (\alpha)가 정수이며 (\alpha\le b)라는 가정이 핵심이었다. 저자들은 이 가정을 없애고 (\beta)에 대한 선형 경계만으로도 동일한 결론을 얻을 수 있음을 보인다. 핵심 아이디어는 그래프가 기하학적(geometric) 임을 먼저 증명하는 것이다. 이를 위해 Delsarte 클리크와 그 크기 제한을 이용해 클리크의 크기가 (\beta+1)와 같을 경우 클리크가 Delsarte 클리크가 됨을 보이고, 그런 클리크들이 각 변을 유일하게 포함하는 구조가 부분선형공간(partial linear space)의 점-선 그래프와 동형임을 확인한다.

다음으로 저자들은 PLS(γ) 와 SPLS(c,s) 라는 두 가지 구조적 성질을 도입한다. PLS(γ)는 모든 두 정점 사이에 최소 γ개의 공통 클리크가 존재함을 의미하고, SPLS(c,s)는 클리크의 크기와 선의 수가 일정한 패턴을 따르는 것을 뜻한다. 이 두 성질을 만족하면 그래프가 기하학적이라는 충분조건을 얻으며, 이는 메츠치가 사용한 “점-선 공간” 접근법을 일반화한 것이다.

그 후, 표준 시퀀스와 Delsarte 경계를 이용해 최소 고유값 (\theta_{\min}=-r)에 대한 클리크 크기 제한을 정확히 (\beta+1) 로 도출한다. 여기서 (\phi_j = 1+\alpha