1 플래너 그래프에서 완전 부분그래프를 배제한 경우의 스펙트럴 반경 최적화

초록

본 논문은 1-플래너 그래프에서 K₃, K₄, K₅를 금지했을 때 스펙트럴 반경이 최대가 되는 그래프를 완전히 규명한다. K₃‑금지에서는 K_{2,n‑2}가, K₄‑금지에서는 2K₁ + C□{n‑2}가, K₅‑금지에서는 제한된 소수의 후보 그래프군이 최적임을 보인다. 핵심은 모든 극대 그래프가 K{2,n‑2}를 스패닝 서브그래프로 포함한다는 보조정리와 1‑플래너 그래프의 구조적 제한을 활용한 퍼론 벡터 분석이다.

상세 분석

논문은 스펙트럴 Turán 문제를 1‑플래너 그래프라는 평면 그래프의 일반화된 클래스에 적용한다. 먼저 Brualdi–Solheid 문제와 그 변형인 스펙트럴 Turán 문제를 정의하고, 기존 연구에서 평면 그래프에 대해 K₂ + P_{n‑2}가 최적임을 언급한다. 1‑플래너 그래프는 최대 4n‑8개의 간선을 가질 수 있고, 7‑degenerated, K_{3,7}‑free라는 중요한 구조적 특성을 가진다. 이러한 특성을 바탕으로 Lemma 2.7을 증명하는데, 이는 “극대 그래프 G∈SPEX₁(n,H) (H∈{K₃,K₄,K₅})는 충분히 큰 n에 대해 K_{2,n‑2}를 스패닝 서브그래프로 포함한다”는 내용이다. 증명은 퍼론 벡터 x를 이용해 λ(G)≥√(2n‑4)임을 보이고, x의 최대 성분이 1인 정점을 x라 두어 차수 d(x)와 또 다른 정점 w의 차수를 하한으로 잡는다. Lemma 2.6에서 제시된 ε‑정밀도 추정(ε≤1/21000)을 이용해 d(x),d(w)≥(1‑O(ε))n을 얻는다. 이후 A=N(x)∩N(w), B=V{x,w}∪A 로 분할하고, B가 비어 있지 않으면 1‑플래너 그리기와 교차 구조를 이용해 모순을 도출한다. 결국 B=∅이므로 G는 K_{2,n‑2}와 동일한 차수를 갖는 두 정점 x,w와 나머지 정점들의 완전 이분 구조를 가진다.

이 기본 구조 위에 각 H에 대한 구체적인 제한을 추가한다.

• K₃‑금지 경우: K_{2,n‑2} 자체가 K₃‑free이며, 스펙트럴 반경이 √(2n‑4)로 최대이므로 S​PEX₁(n,K₃)={K_{2,n‑2}}.
• K₄‑금지 경우: K_{2,n‑2}에 추가적인 간선을 넣어 K₄를 만들지 않도록 해야 한다. 저자들은 C□{n‑2} (짝수 n에서는 C{n/2}□K₂, 홀수 n에서는 한 정점을 분할해 얻는 변형)와 두 개의 고립 정점 2K₁을 결합한 2K₁ + C□{n‑2}가 유일한 극대 그래프임을 보인다. 여기서는 x와 w가 서로 인접하지 않으며, A는 C□{n‑2}의 정점 집합으로서 각 정점이 최대 4개의 이웃만을 갖는 구조임을 확인한다.
• K₅‑금지 경우: 구조가 더 복잡해져 두 종류의 후보군이 등장한다. 짝수 n에서는 (i) 2K₁ + C_{2,n‑2} (C_{2,n‑2}는 C_n에 2-스텝 간선을 추가한 그래프)와 (ii) K₂ + QPₙ (QPₙ은 P_{2+ n}에서 삼각형을 모두 파괴하도록 n/2개의 간선을 삭제한 그래프) 중 하나가 될 수 있다. 홀수 n에서는 2K₁ + C_{2}^{‑n‑2}와 K₂ + G (G∈P_{2}^{n‑2})가 후보가 된다. 이때 각 후보 그래프는 모두 K₅를 포함하지 않으며, 1‑플래너 조건을 만족하도록 교차 수를 조절한다.

핵심 기법은 “두 번째 특성 방정식 방법”(second characteristic equation method)이라 불리는 퍼론 벡터와 라플라시안 형태의 부등식 활용이다. 이를 통해 그래프의 전체 차수 분포와 스펙트럴 반경 사이의 정밀한 관계를 도출하고, 후보 그래프군을 제한한다. 또한, 1‑플래너 그래프가 K_{3,7}‑free임을 이용해 삼각형이 과도하게 생성되는 경우를 배제한다. 전체적으로 논문은 스펙트럴 Turán 문제를 1‑플래너 그래프에 성공적으로 적용했으며, 특히 K₃, K₄, K₅ 금지 조건에 대한 완전한 해답을 제공한다.