코로나 그래프의 이차 임베딩 상수와 스펙트럼 기여도 완전 해석

초록

본 논문은 그래프 연산인 코로나 연산 (G\odot H)에 대해 이차 임베딩 상수(QEC)를 정확히 구하는 새로운 방법을 제시한다. 기존 식에 남아 있던 스펙트럼 집합 (\Gamma)를 명시적으로 기술하고, (\gamma=\max\Gamma)를 계산한다. 특히 (H)가 정규 그래프일 때 QEC를 닫힌 형태로 표현하며, QEC가 거리 행렬의 두 번째 큰 고유값과 일치하는 충분조건도 제시한다.

상세 분석

논문은 먼저 기존 연구에서 제시된 (QEC(G\odot H)=\max{\psi_H^{-1}(QEC(G)),\gamma}) 식에서 (\gamma)를 정의하는 집합 (\Gamma=\lambda(S)\cap{\lambda\in\mathbb{R}\mid\det(A_H+\lambda+2)=0})가 충분히 분석되지 않았음을 지적한다. 저자들은 (\Gamma)를 세 부분 (\Gamma_1,\Gamma_2,\Gamma_3)으로 분할하고, 각각이 언제 (\lambda(S))에 포함되는지를 정리한다. (\Gamma_1)은 기존 식의 해와 동일함을 보이고, (\Gamma_2)는 (\lambda=-2) 혹은 (QEC(G)=0)인 경우에만 기여한다. 가장 핵심적인 (\Gamma_3)는 (A_H)의 비주요 고유값 (-2-\lambda)에 대응하는 고유벡터가 전부 합이 0인 경우이며, 이를 통해 (\gamma_3=\max{\lambda\mid (A_H+2+\lambda)x=0,\ \langle\mathbf1,x\rangle=0}) 로 표현한다. 정규 그래프 (H)에 대해서는 (A_H)가 행합 (\kappa)를 갖는 특성을 이용해 (\gamma_3=-2-\min\operatorname{ev}(A_H)) 로 간단히 계산한다. 또한 (\gamma_2)는 (QEC(G)=0) 혹은 (-2)가 (A_H)의 고유값일 때 0, 그 외에는 (-\infty)가 된다. 최종적으로 저자들은
\