컨퍼런스 그래프와 확장 그래프의 곡률 및 국소 매칭 연구

초록

본 논문은 컨퍼런스 그래프(파라미터 (4γ+1, 2γ, γ−1, γ))에 대한 Lin‑Lu‑Yau 곡률의 정확한 값을 제시하고, 이를 일반적인 amply regular 그래프에 확대한다. 핵심은 공통 이웃을 세어 얻는 이차 다항식과 Hall 정리를 이용한 국소 완전 매칭 존재 증명이다. 결과적으로 Bonini 등(2019)의 곡률 추측을 증명하고, Paley 그래프에 대한 새로운 수론적 잔여 결과도 도출한다.

상세 분석

논문은 먼저 Lin‑Lu‑Yau 곡률 κ(x,y)의 일반적인 상한 2+αd(α는 인접 정점 쌍의 공통 이웃 수)를 정리 1.1을 통해 제시한다. 이 상한이 정확히 달성되려면 인접 정점 x와 y의 주변 집합 Nₓ와 Nᵧ 사이에 완전 매칭이 존재해야 함을 Hall 정리와 연결한다. 저자는 이 조건을 만족시키는 충분조건을 파라미터 (n,d,α,β)만으로 기술한다.

특히 정리 1.3에서는 n < 3d−2α라는 크기 제한 하에 세 가지 경우를 제시한다.
(1) β=α+1이며 d > α+q₆α+1⁄4+3⁄2인 경우, 여기서 q₆은 6에 대한 정수 상수이다.
(2) β≥α+2이고 d≥(3/2)β+½·√(4α²−3β²+28β)인 경우.
(3) β≥2√3·α+7인 경우.

이 세 조건은 모두 d > α+2를 보장하고, 따라서 Nₓ와 Nᵧ의 크기가 최소 2가 된다. 이후 저자는 Nₓ의 임의 부분집합 S에 대해 이웃 집합 Γ_{Nᵧ}(S)의 크기가 |S| 이상임을 보이기 위해, 각 정점 v∈S가 Nᵧ와 갖는 연결 수를 ℓ이라 두고 Lemma 3.3을 이용해 v가 ∆{xy}, P{xy}에 갖는 이웃 수를 식으로 전개한다. 이때 공통 이웃 수 β와 α 사이의 관계식이 중요한 역할을 하며, 이를 통해 ℓ이 너무 작을 경우 모순이 발생함을 증명한다.

특히 경우 1에서는 β−1=α가 되므로 v가 ∆{xy}에 전부 연결되고, n<3d−2α 조건으로부터 |P{xy}|≤d−α−1임을 이용해 ℓ이 0인 상황을 배제한다. 경우 2·3에서는 β가 α보다 충분히 크므로 β−1>α가 되어 ∆_{xy}에 대한 연결이 불가능함을 보인다. 결국 모든 경우에 Hall 조건이 만족되어 Nₓ와 Nᵧ 사이에 완전 매칭이 존재함을 확인한다.

이 매칭 존재는 곡률 상한이 정확히 달성됨을 의미하고, 따라서 κ(x,y)=2+αd가 모든 인접 쌍에 대해 성립한다. 컨퍼런스 그래프는 α=γ−1, β=γ, d=2γ이므로 조건 (1)에서 γ>6이면 바로 적용되고, γ≤6인 작은 경우는 섹션 3에서 직접 검증한다.

또한 Paley 그래프 P(n) (n=4γ+1이 소수 거듭제곱)에서 위 결과를 적용하면, 임의의 인접 정점 x,y와 충분히 큰 부분집합 S⊂GF(n)에서 특정 두 원소 w,z를 선택해 차이가 제곱·비제곱 패턴을 만족시키는 수론적 명제가 도출된다(정리 1.5). 이는 기존의 이차 잔여 이론과 연결되는 흥미로운 부가 결과이다.

전반적으로 저자는 파라미터 관계만을 이용해 복잡한 라플라시안 스펙트럼이나 전이 행렬을 직접 계산하지 않고도 곡률과 매칭을 다루는 새로운 조합론적 방법을 제시한다. 이 방법은 기존에 알려진 강한 정규 그래프(예: 4×4 Rook’s graph, Shrikhande 그래프)와의 비교에서도 차이를 명확히 보여주며, 향후 더 일반적인 amply regular 그래프나 비정규 그래프에 대한 곡률 연구에 적용 가능성을 열어준다.