흐름 비판 그래프와 3‑흐름 확장의 새로운 경계

초록

본 논문은 Lovász 등(2018)의 “6‑연결 그래프는 무-영(0) 3‑흐름을 갖는다”는 정리를 일반화한다. 한 정점 z의 인접 간선에 임의의 흐름을 지정해도, 또 다른 고차수 정점 x가 존재하고 x와 z 사이에 작은 절단이 없으면 그 흐름을 전체 그래프의 무-영 3‑흐름으로 연장할 수 있음을 보인다. 이를 바탕으로 흐름‑비판 그래프(모든 비자명한 정점 집합을 수축하면 3‑흐름이 존재)들의 최소 구조를 생성하고, 차수가 7 이상인 정점이 하나뿐인 경우 그래프의 밀도 상한 |E| ≤ 3|V|‑5 를 증명한다. 또한 Li 등(2020)의 두 밀도 추측을 부분적으로 강화한다.

상세 분석

논문은 먼저 흐름‑비판 그래프의 정의를 정밀히 다듬는다. 그래프 G가 무‑영 3‑흐름을 갖지 않으면서, 모든 비자명한 정점 집합 P에 대해 수축 그래프 G/P는 무‑영 3‑흐름을 갖는다면 G를 흐름‑비판이라 부른다. 이 정의는 기존의 연결‑흐름‑비판 개념을 일반화하여, 부분 그래프의 연결성을 강제하지 않는다. 핵심 도구는 “캔버스”(G, z)와 그 주변에 정의된 프리플로우이다. 정점 z의 인접 간선에 임의의 방향과 흐름값을 미리 지정하면, 이를 전체 그래프의 흐름으로 확장할 수 있는지 여부를 조사한다. 여기서 τ(A)라는 함수가 등장하는데, 이는 정점 집합 A의 차수와 경계값 β(A)의 조합으로 정의되며, τ(A)의 부호와 절댓값이 흐름 연장의 가능성을 판단하는 기준이 된다.

Lovász 등(2018)의 정리(정리 1.12)는 deg(z) ≤ 4 + |τ(z)|인 경우, 모든 비어 있지 않은 A⊂V{z}에 대해 deg(A) ≥ 4 + |τ(A)|이면 z 주변의 프리플로우가 전체 흐름으로 연장된다고 주장한다. 이 논문은 이 조건을 완화한다. z의 차수를 제한하지 않고, 대신 그래프에 또 다른 고차수 정점 x가 존재하고, x와 z 사이에 크기 ≤ 3인 절단이 없다는 추가 가정을 둔다. 이러한 가정 하에, 모든 프리플로우가 연장됨을 보이는 새로운 정리를 증명한다. 증명은 크게 네 단계로 구성된다. 첫째, 캔버스를 부분 순서에 따라 최소 반전 구조로 정리하고, 둘째, x 주변에 작은 절단이 없음을 이용해 그래프를 적절히 분해한다. 셋째, 최소 “키가 큰” 캔버스는 x‑동형(x‑homogeneous)임을 보이며, 마지막으로 그런 최소 캔버스가 존재하지 않음을 귀류법으로 보여준다.

이와 동시에 흐름‑비판 캔버스를 생성하는 연산들을 정의한다. 정점 삽입, 다중 간선 추가, 작은 절단을 없애는 “스플릿” 연산 등이 포함되며, 각각이 흐름‑비판성을 보존한다는 레마를 증명한다. 이러한 연산을 이용해 모든 최소 반례가 존재하지 않음을 보이고, 따라서 주 정리를 얻는다.

또한, 흐름‑비판 그래프의 밀도 상한을 연구한다. 차수 ≥ 7인 정점이 하나뿐인 경우, 정리 1.6에 의해 |E| ≤ 3|V| − 5 가 성립한다. 이 결과는 Li 등(2020)의 두 밀도 추측을 부분적으로 강화한다. 첫 번째 추측은 |E| ≤ 3|V| − 8 이었으나, 여기서는 차수 제한을 완화해 더 강한 상한을 얻는다. 두 번째 추측은 n₃(차수 3인 정점 수)를 포함한 복합식이었으나, 본 논문의 방법론을 적용하면 n₃가 적은 경우에도 동일한 상한을 적용할 수 있다.

전반적으로 논문은 흐름‑비판 그래프의 구조적 특성을 깊이 파악하고, 작은 절단과 고차수 정점의 존재가 흐름 연장에 결정적 역할을 한다는 새로운 통찰을 제공한다. 이는 3‑흐름 추측을 5‑연결 그래프까지 일반화하는 데 필요한 핵심 아이디어를 제시하며, 향후 그래프 이론에서 흐름‑색칠 이중성 연구에 중요한 발판이 될 것이다.