유한 순환군 SGB‑그래프의 위상 지수와 스펙트럼 특성 연구

초록

본 논문은 순환군 (C_{pq}, C_{p^{2}q}, C_{p^{2}q^{2}}) (단, (p,q)는 서로 다른 소수) 에 대해 부분군 생성 이분 그래프 (\mathcal{B}(G))의 구조를 명시하고, 첫·두 번째 자르덱 지수, 라디컬·아톰‑본드·컨넥티비티 등 다양한 차수 기반 위상 지수를 구한다. 또한 그래프의 인접·라플라시안·부호양 라플라시안 스펙트럼과 에너지를 계산해 Hansen‑Vukićević와 E‑LE 추측을 검증한다.

상세 분석

논문은 먼저 기존 연구에서 정의된 부분군 생성 이분 그래프 (\mathcal{B}(G))의 정점 집합을 (G\times G)와 부분군 집합 (L(G))의 합집합으로 두고, 두 정점 ((a,b))와 (H)가 인접하려면 (H=\langle a,b\rangle)이어야 함을 상기한다. 이 정의를 바탕으로 저자들은 순환군 (C_{pq}, C_{p^{2}q}, C_{p^{2}q^{2}})에 대해 (\mathcal{B}(G))를 별개의 별 그래프들의 불연속 합으로 정확히 분해한다. 예를 들어 (C_{pq})의 경우 (\mathcal{B}(G)=K_{2}\sqcup K_{1,p^{2}-1}\sqcup K_{1,q^{2}-1}\sqcup K_{1,p^{2}q^{2}-p^{2}-q^{2}+1}) 형태가 된다. 이러한 분해는 각 부분군의 차수 (\deg_{\mathcal{B}(G)}(H))를 직접 계산하게 해 주며, 차수 제곱의 합을 통해 첫 자르덱 지수 (M_{1})와 두 번째 자르덱 지수 (M_{2}=M_{1}-|G|^{2})를 얻는다. 논문은 각 경우에 대해 복잡한 다항식 형태의 (M_{1},M_{2})를 제시하고, (|L(G)|M_{2}-|G|^{4}>0)임을 증명함으로써 Hansen‑Vukićević 추측 (\displaystyle M_{2}|E|\ge M_{1}|V|)이 성립함을 확인한다.

다음 단계에서는 라디컬, 아톰‑본드, 기하‑산술, 조화, 합-연결도 등 5가지 추가 차수 기반 지수를 기존 정의에 따라 계산한다. 여기서도 (\deg_{\mathcal{B}(G)}(H))가 별 그래프의 중심 정점에 해당하므로, 각 지수는 별 그래프의 차수와 개수만을 이용해 간단히 표현된다.

스펙트럼 분석에서는 (\mathcal{B}(G))가 별 그래프들의 직합이므로 인접 행렬, 라플라시안, 부호양 라플라시안의 고유값을 각각 별 그래프의 고유값 집합의 합으로 구한다. 특히 (K_{1,m})의 인접 스펙트럼은 ({ \sqrt{m}, -\sqrt{m}, 0^{(m-1)}})이며, 라플라시안 스펙트럼은 ({0, m+1, 1^{(m-1)}}) 등으로 알려져 있다. 이를 이용해 전체 그래프의 에너지, 라플라시안 에너지, 부호양 라플라시안 에너지 등을 명시적으로 계산한다. 계산 결과는 모든 경우에 대해 (\mathcal{B}(G))가 하이퍼에너지, L‑하이퍼에너지, Q‑하이퍼에너지, CN‑하이퍼에너지 중 어느 것도 아니며, 동시에 E‑LE 추측 (\mathcal{E}(G)\le \mathcal{LE}(G))을 만족함을 보여준다.

전체적으로 논문은 군론적 구조와 그래프 이론을 결합해 복합적인 위상 지수와 스펙트럼을 정확히 구하고, 기존의 두 유명한 추측을 새로운 그래프 클래스에 대해 검증한다는 점에서 의미가 크다. 특히 별 그래프들의 직합이라는 간단한 구조를 이용해 복잡한 다항식 형태의 결과를 도출한 방법은 다른 군‑그래프 연구에도 적용 가능할 것으로 보인다.