정규 그래프에서의 부분그래프 포장과 완전 서브디비전 포장

초록

본 논문은 두 가지 주요 결과를 제시한다. 첫째, 임의의 양분 그래프 (H)와 상수 (c>0)에 대해, 차수가 (\lfloor cn\rfloor)인 충분히 큰 정규 그래프 (G)는 상수 (C=C(H,c))개의 정점만 남기고 (H)-포장을 할 수 있음을 보인다. 둘째, 임의의 그래프 (F)와 상수 (c>0)에 대해, 차수가 (\lfloor cn\rfloor)인 정규 그래프는 모든 정점을 서로 겹치지 않는 (F)의 서브디비전으로 완전히 포장할 수 있음을 증명한다. 핵심 기법은 확장자(익스팬더)의 균형 맞추기, 강인(expander) 그래프 이론, 정규성 정리와 블로우‑업 정리를 결합한 새로운 방법이다.

상세 분석

이 연구는 정규 그래프에서의 부분그래프 포장 문제에 대한 장기 미해결 질문을 완전히 해결한다. 기존에 쿠른·오슈스가 제시한 “선형 차수 (c n)을 갖는 정규 그래프는 거의 완전한 (H)-포장을 제공한다”는 정리는, (H)가 양분 그래프이고 부분집합 크기가 불균형한 경우에만 알려져 있었다. 저자들은 모든 양분 그래프 (H)에 대해, 차수가 (\lfloor cn\rfloor)인 정규 그래프가 상수 (C)개의 정점만 남기고 (H)-포장을 할 수 있음을 보이며, 이는 차수와 정규성 조건이 없으면 일반적으로 불가능함을 보이는 반례와 함께 최적성을 논한다.

핵심 기술은 먼저 그래프를 소수의 강인(expander) 서브그래프로 분할하는 구조적 분해이다. 이때 Gruslys–Letzter의 분해 결과와 Kühn·Lo·Osthus·Staden의 해밀턴 사이클 기법을 활용한다. 각 익스팬더는 ‘거의 이분 그래프’ 혹은 ‘비이분 그래프’ 형태가 될 수 있는데, 저자들은 새로운 “균형 맞추기” 절차를 도입해 불균형한 파트 크기를 작은 (K_{t,t})-포장을 제거함으로써 균형 잡힌 이분 익스팬더 혹은 완전히 비이분 익스팬더로 변환한다.

그 후, 균형 잡힌 경우에는 정규성 정리를 적용해 초정규(super‑regular) 쌍을 얻고, 이를 블로우‑업 정리로 완전한 (K_{t,t})-포장으로 전환한다. 비이분 경우에는 먼저 축소 그래프에서 완전한 분수 매칭을 찾아 짝과 홀 사이클을 구성하고, 이를 기반으로 초정규 쌍을 재구성한다. 남은 불균형을 해소하기 위해 또 다른 작은 (K_{t,t})-포장을 설계해 파트 크기를 정확히 (t)의 배수로 맞춘 뒤, 블로우‑업 정리를 적용한다.

두 번째 주요 결과인 모든 그래프 (F)에 대한 서브디비전 완전 포장은 위의 익스팬더 균형 기법에 더해, 각 익스팬더 내부에서 작은 선형 포레스트 (H)를 이용해 균형을 맞춘 뒤, 두 개의 (F)-서브디비전을 삽입하고 남은 정점을 흡수(absorption)하는 전략을 사용한다. 여기서는 강인 그래프의 ‘짧은 경로 연결성’ 특성을 활용해 제한된 정점 집합을 회피하면서 필요한 경로를 구성한다.

전체적으로, 정규성, 강인 확장성, 정규성 정리, 블로우‑업 정리라는 네 가지 강력한 도구를 새로운 균형 맞추기와 흡수 기법과 결합함으로써, 이전에 20년간 풀리지 않았던 두 개의 핵심 문제를 해결했다. 또한, 결과의 필요조건(정규성, 선형 차수, (H)의 양분성 등)을 명확히 제시해 한계도 정밀히 파악하였다.