이중 균형 집합 조건으로 본 이중형식 그래프의 새로운 특성

초록

본 논문은 이중형식 그래프 (H_q(D,N-D)) (조건 (N>2D\ge 6,;q\neq2))에 대해 기존의 균형 집합 조건(BSC)을 전면 강화한 새로운 형태를 제시한다. 두 정점 (x,y) 사이 거리 (k;(2\le k\le D-1)) 에 대해 정의된 6개의 균등 파티션 (O_i)와 그 대칭 파티션 (O’_i)에 대해, 모든 (i=1,\dots,6) 에 대해 (E\widehat{O_i}-E\widehat{O’_i})가 (E\hat x-E\hat y)의 스칼라 배임을 보인다. 이를 바탕으로 서브스페이스 (S)와 그 대칭·반대칭 부분, 그리고 Norton 대수와의 관계를 상세히 분석한다.

상세 분석

논문은 먼저 거리정규 그래프 (Γ) 의 기본 개념과, 특히 Q‑다항성 및 원시 아이디포턴트 (E) (두 번째 큰 고유값에 대응) 를 정리한다. 이후 (H_q(D,N-D)) 를 구체적인 매개변수와 함께 소개하고, 이 그래프가 Q‑다항적이며 자체-자기쌍대임을 이용해 dual eigenvalue (\theta_i^*) 와 기본적인 교차수식(5)을 도출한다. 핵심은 두 정점 (x,y) 사이 거리 (k) 에 대해 (y)-partition ({O_i}_{i=1}^6)와 (x)-partition ({O’i}{i=1}^6) 를 정의하고, 이 파티션이 균등(equitable)함을 보이는 것이다. 기존 BSC는 (i=1,6) 에서만 (E\widehat{O_i}-E\widehat{O’i}) 가 (E\hat x-E\hat y)의 배임을 요구했지만, 저자들은 모든 (i) 에 대해 동일한 관계가 성립함을 증명한다. 이를 위해 각 (O_i) 에 대해 보정벡터 (O_i^\vee=\widehat{O_i}-\lambda_i\hat x) 를 정의하고, (\sum{i=1}^6 E O_i^\vee=0) 를 이용해 서브스페이스 (S=\operatorname{Span}{E\widehat{O_i}}=\operatorname{Span}{E\widehat{O’_i}}) 를 구성한다.

(S) 를 대칭 부분 (\operatorname{Sym}(S)=\operatorname{Span}{E O_i^\vee}) 와 반대칭 부분 (\operatorname{ASym}(S)=\operatorname{Span}{E\hat x-E\hat y}) 로 직교 직합한다. 두 직교 기저 ({h_j}_{j=1}^6) 와 ({h’j}{j=1}^6) 를 도입하고, 각 쌍의 차가 다시 (E\hat x-E\hat y) 의 배임을 보인다. 여기서 (\mu_j) 를 이용해 (h_j^\vee = h_j-\mu_j\hat x = h’_j-\mu_j\hat y) 를 정의하고, (h_1^\vee=0,;h_6^\vee=h_6=h’_6) 임을 확인한다.

다음 단계에서는 Norton 대수 (\star) 를 (E V) 위에 정의하고, (E\hat x, E\hat y) 가 (S) 를 닫는 작용을 한다는 사실을 증명한다. 특히 (\operatorname{ASym}(S)\star\operatorname{ASym}(S)\subseteq\operatorname{Sym}(S)), (\operatorname{Sym}(S)\star\operatorname{ASym}(S)\subseteq\operatorname{ASym}(S)) 등 대수적 구조를 상세히 기술한다. 중요한 결과는 (\omega:=h_6^\vee) 가 (\operatorname{Sym}(S)) 에 속하고, (E\hat x\star\omega=E\hat y\star\omega=-\frac{q}{|X|},\omega) 라는 고유값 관계를 갖는다는 점이다.

(\omega) 의 직교 여공간 (\omega^\perp) 를 정의하고, (\omega^\perp) 가 ({E\hat y, E\hat x\star E\hat y, E\hat x\star(E\hat x\star E\hat y),\dots}) 로 생성됨을 보인다. 이는 반복적인 Norton 곱을 통해 모든 원소가 (\operatorname{Span}{E\hat x-E\hat y}) 로 귀결되는 “b‑balanced set condition” 을 형식화한 정리 1.1 로 귀결된다.

결과적으로, 저자들은 기존 BSC 를 전면 강화함으로써 (H_q(D,N-D)) 가 매우 강한 대칭성을 가지고 있음을 보였으며, 이는 그래프의 거리 구조, Q‑다항성, 그리고 Norton 대수 사이의 깊은 연관성을 새롭게 조명한다. 또한, 마지막 장에서 제시된 열린 문제는 이 강화된 조건을 다른 Q‑다항 거리정규 그래프에 일반화할 가능성을 제시한다.