서명 그래프의 최소 고유값 제한에 따른 구조와 적분 가능성

본 논문은 서명 그래프 (G,σ)의 최소 고유값 λ_min을 고정하고, 최소 차수가 충분히 큰 경우 그래프가 어떤 구조적 특성을 갖는지를 연구한다. 서론에서는 서명 그래프와 그 스위칭 동등성, 인접 행렬 정의를 소개하고, 기존 무부호 그래프에 대한 Hoffmann의 구조 정리와 Kim 등(2015)의 결과를 서명 그래프로 확장하는 필요성을 제시한다. 첫 번째 주요 정리인 Theorem 1.1은 λ ≤ −1에 대해, λ_min ≥ λ인 그래프는 특정 스위칭-프리 집합 {eK(0)₂ᵗ, eK(−)₂ᵗ, (K_{t+1},−), (K_{1,t},+)}을 포함하지 않는다(스위칭 프리). 이는 λ가 커질수록 t(λ) 가 커지는 함수이며, 인터레이싱 정리를 이용해 증명한다. Theorem 1.3은 보다 정밀한 구조를 제공한다. 최소 차수가 d_λ 이상이면, 그래프는 유도 부분그래프 N₁,…,Nᵣ 로 분해될 수 있다. 각 Nᵢ는 스위칭 후 양의 그래프가 (⌊λ²+2λ+2⌋)-plex이며, 정점당 포함되는 Nᵢ의 수는 ⌊−λ⌋ 이하이다. 또한 Nᵢ와 Nⱼ의 교집합은 최대 4⌊−λ⌋−4개의 정점으로 제한되고, 남은 그래프 G′의 최대 차수는 d_λ−1 이하이다. 이 정리는 무부호 그래프에 대한 Kim·Lee·Park·Suen(2015)의 결과를 서명 그래프에 그대로 적용한 형태이며, 증명은 라티스 이론과 스위칭 자유성에 기반한다. 다음으로 λ가 (−1−√2,−1] 구간에 있을 때의 특수한 결과가 제시된다. Theorem 1.5(이전 연구)와 Theorem 1.6을 결합해, 최소 차수가 충분히 크면 λ_min ≥ −2이며 그래프는 1‑integrable임을 보인다. 여기서 1‑integrable는 정수 행렬 N이 존재해 A+⌈−λ_min⌉I = NᵀN 를 만족한다는 의미이며, 이는 A+2I가 {0,±1} 행렬의 전치와 곱으로 표현될 수 있음을 뜻한다. 이 결과는 Hoffmann이 무부호 그래프에 대해 제시한 “일반화된 라인 그래프”와 동일한 라티스 구조를 서명 그래프에 적용한 것이다. Theorem 1.8(Belardo 등, 2022)은 λ_min ≥ −2인 연결된 서명 그래프는 2‑integrable이며, 정점 수가 121 이상이면 1‑integrable임을 추가한다. 이는 Theorem 1.6의 강력한 확장으로, 라티스 차원과 정수 행렬의 구조적 제약을 더 세밀히 분석한다. 논문의 후반부에서는 F₃‑가중 완전 그래프(가중치가 {0,±1})와 서명 그래프 사이의 대응 관계를 정리하고, Ramsey 이론을 이용해 스위칭‑프리 조건을 보장하는 최소 정점 수 R(m,s,t)를 정의한다. Lemma 2.2와 Lemma 2.3을 통해 (+1)-클리크와 (−1)-클리크 사이의 이웃 관계를 정량화하고, 이러한 결과를 서명 그래프의 스위칭‑프리 성질과 연결한다. 마지막으로, Section 5와 6에서는 Theorem 1.1(ii)와 Theorem 1.3의 증명을 상세히 전개하고, Theorem 1.6의 증명을 위해 Hoffmann 서명 그래프와 연관된 라티스 구조를 구축한다. 전체적으로 논문은 최소 고유값 구간에 따라 두 가지 서로 다른 구조적 현상—밀집 부분그래프 분해와 정수 라티스 적분 가능성—을 체계적으로 밝히며, 기존 무부호 그래프 이론을 서명 그래프에 성공적으로 일반화한다.