라플라시안 페어 전이와 토탈 그래프: 완전·아주 좋은 전이의 새로운 경계

초록

본 논문은 정규 그래프 G의 토탈 그래프 𝒯(G)에서 라플라시안 완전 페어 전이(LP‑PST)가 발생하지 않는 충분조건을 제시하고, r>2이며 r+1이 G의 라플라시안 고유값이 아닐 때 라플라시안 아주 좋은 페어 전이(LP‑PGST)가 무한히 많은 경우에 존재함을 증명한다. 특히 완전 그래프 Kₙ(n>3)의 토탈 그래프에서도 LP‑PST가 불가능함을 보인다.

상세 분석

논문은 라플라시안 행렬 L_G의 스펙트럼을 이용해 양자 전이 현상을 정의한다. 두 정점 a, b에 대한 페어 상태는 e_a‑e_b 로 표현되며, 전이 행렬 U_G(t)=exp(−i t L_G) 를 통해 시간 t 에서의 전이 확률을 계산한다. 완전 페어 전이(LP‑PST)는 어떤 t₀>0 에서 |(e_a‑e_b)ᵀU_G(t₀)(e_c‑e_d)|=1 이 되는 경우이며, 아주 좋은 페어 전이(LP‑PGST)는 임의의 ε>0 에 대해 이러한 t가 존재함을 의미한다.

핵심 이론은 Chen‑Godsil의 정리(정리 2.1)로, LP‑PST가 일어나려면 (i) 두 페어 상태가 라플라시안 강하게 코스펙트럴(strongly cospectral)이어야 하고, (ii) 해당 고유값들이 정수이거나 특정 형태의 이차 정수여야 하며, (iii) 고유값들의 차이와 √Δ 의 짝수·홀수성 조건을 만족해야 한다.

총 그래프 𝒯(G)의 라플라시안 스펙트럼은 기존 그래프 G의 고유값 θ_j 를 이용해 θ_j^± = r+2+2θ_j ± √{(r+2)²−4θ_j²} 로 구성된다(정리 2.5). 이때 r 은 G의 정규 차수이다. 논문은 비이분 그래프와 이분 그래프 각각에 대해 θ_j^+ ∈ Φ_ab ⇔ θ_j^- ∈ Φ_ab 와 같은 대칭성을 Lemma 3.1, 3.2 로 증명한다. 이를 바탕으로, a,b가 G의 정점(또는 변)인 경우 강한 코스펙트럴 조건을 만족시키면서도 고유값들의 정수·이차 정수 형태가 동시에 충족될 수 없음을 보인다. 특히 r>2이고 r+1이 G의 라플라시안 고유값이 아닐 때, θ_j^± 가 모두 정수가 될 수 없으며, 이차 정수 형태라 하더라도 파라미터 y⁺, y⁻ 의 짝수·홀수 조건이 깨진다. 결과적으로 Theorem 3.4‑3.6 은 𝒯(G)에서 LP‑PST가 불가능함을 증명한다.

LP‑PGST 부분에서는 Kronecker 근사정리(정리 2.3)와 √Δ 의 Q-선형 독립성(보조정리 2.4)을 활용한다. 고유값 차이들의 비정수 비율이 존재하면, 임의의 ε 에 대해 적절한 시간 t 를 선택해 전이 확률을 1에 가깝게 만들 수 있다. 논문은 r>2, r+1∉Spec(L_G) 이면서 G 가 충분히 큰 고유값을 갖는 경우(예: 순환 그래프 C_n, 특정 라디얼 그래프 등) θ_j^± 중 최소 하나가 이차 정수 형태를 띠고, 다른 하나는 정수이므로 위의 근사정리를 적용할 수 있음을 보인다. 따라서 무한히 많은 정규 그래프 G 에 대해 𝒯(G) 가 LP‑PGST 를 만족한다는 결론을 얻는다.

마지막으로, 완전 그래프 Kₙ (n>3) 에 대해 r=n−1 이고 r+1=n 가 라플라시안 고유값이 되므로, 앞서 증명한 부정 결과와 별도로 직접적인 대수적 계산을 통해 𝒯(Kₙ) 에서도 LP‑PST 가 불가능함을 확인한다.

이러한 결과는 라플라시안 기반 양자 전이 연구에서 토탈 그래프 구조가 전이 가능성에 미치는 영향을 명확히 규명하고, 완전·아주 좋은 전이의 존재 여부를 판단하는 새로운 스펙트럴 기준을 제공한다.