분할된 발톱 Y를 금지하는 그래프의 완전한 구조 규명

초록

본 논문은 7개의 정점으로 이루어진 분할된 클로(Y)를 서브그래프 혹은 마이너로 포함하지 않는 모든 유한·무한 그래프를 정확히 기술한다. 주요 결과는 두 가지 경우만 가능함을 보인다: (a) 정점 수가 6 이하인 그래프에 잎 복제를 허용한 경우, 혹은 (b) ‘비드(bead)’를 일렬로 연결하거나 순환시켜 만든 스파이크드 스트랜드·넥클레이스(가족 B)이다. 또한 Y의 모든 부분트리 T에 대해 동일한 금지 구조를 제시하고, Turán 수, 경로폭, 성장 상수와의 연관성을 논의한다.

상세 분석

논문은 먼저 Y를 정의한다. Y는 클로 K₁,₃의 각 변을 정확히 한 번씩 분할해 얻는 7‑정점 트리이며, 차수가 3인 정점이 하나뿐이다. 차수가 3 이하인 트리는 서브그래프, 위상 마이너, 일반 마이너가 서로 동치이므로 Y를 금지한다는 것은 세 관계 모두에서 동일한 제약을 의미한다. 저자들은 VCD‑마이너(정점 수축·삭제 마이너)와의 연관성을 통해 연구 동기를 제시한다. 특히, 라인 그래프 L(H)에서 K₁,₃‑VCD‑마이너를 금지하려면 H가 Y를 서브그래프에 포함하지 않아야 함을 보인다.

핵심 구조는 ‘비드(bead)’와 이를 ‘스트링(strung)’하는 방식이다. 비드는 네 종류(K₄, K₂,₁,₁, K₁,₁, t₁ (t₁≥0), K₂, t₂ (t₂≥2))로 정의되며, 각각 하나 혹은 두 개의 ‘주(primary)’ 정점을 갖는다. 비드를 주 정점끼리 동일하게 식별하면 일련의 비드가 선형(‘스트랜드’) 혹은 순환(‘넥클레이스’) 형태의 그래프가 된다. 여기서 ‘스파이크드’는 주 정점이 두 개의 비드에 속할 때 추가적인 잎(펜던트 엣지)을 허용한 변형이다. 이러한 구조를 포함하는 모든 그래프를 가족 B라 정의한다.

또 다른 중요한 개념은 ‘클론’이다. 두 비인접 정점이 동일한 이웃 집합을 가질 때 이를 클론이라 하고, 잎을 복제하는 연산을 통해 정점 수를 늘릴 수 있다. 이때 클론 클래스는 잎 복제에 의해 무한히 확장될 수 있다.

정리 1.2는 다음과 같이 요약된다. 연결 그래프 G가 Y‑마이너 프리라면, G는 (a) 정점 ≤6인 그래프에 잎 복제를 적용한 형태이거나, (b) 가족 B에 속하는 스파이크드 스트랜드·넥클레이스이다. 증명은 가장 긴 경로 P를 선택하고, P의 ‘포인티니스(끝점이 잎인지 여부)’를 기준으로 경우를 나눈다. P가 짧은 경우(ℓ≤4)에는 직접적인 구조 분석을 통해 위 두 경우 중 하나임을 보이고, ℓ≥5인 경우에는 ‘코드(chord)’, ‘베이(vee)’, ‘2‑코드’ 등의 개념을 도입해 P와 외부 정점 집합 Lᵢ의 관계를 정밀히 조사한다. 주요 보조 정리(예: Lemma 2.1~2.13)는 Lᵢ가 독립 집합이며, 서로 겹치지 않으며, 특정 코드를 가질 경우 Lᵢ의 특정 인덱스가 비어 있어야 함을 증명한다. 이러한 제약을 종합하면 결국 비드를 연결한 형태가 강제되며, 필요에 따라 잎 복제(클론)만이 남는다.

또한 논문은 Y의 모든 부분트리 T에 대해 동일한 금지 구조를 기술한다. 부분트리마다 허용되는 비드 종류와 연결 방식이 제한되며, 그 결과는 ‘스파이크드 스트랜드·넥클레이스’의 특수화된 형태가 된다. 무한 그래프에 대해서는 동일한 구조가 무한히 반복되는 경우와, 무한 클론 클래스를 포함하는 경우로 나뉜다.

마지막으로, 저자들은 이 구조적 결과를 Turán 수(특정 트리를 포함하지 않는 그래프의 최대 변수 수), 경로폭(pathwidth), 그리고 특정 트리를 마이너로 금지한 그래프 군의 성장 상수와 연결한다. 특히, Y‑마이너 프리 그래프는 경로폭이 일정 상수 이하이며, 성장 상수도 제한된 형태를 가진다. 이러한 관찰은 보다 일반적인 트리 마이너 금지 문제에 대한 새로운 접근법을 제시한다.

전체적으로, 논문은 Y라는 작은 트리 금지 조건이 그래프 구조를 극히 제한한다는 점을 정밀히 증명하고, 이를 통해 VCD‑마이너, Turán 이론, 파라미터적 그래프 이론 사이의 다리 역할을 수행한다.