다중 아벨 군 라벨 그래프에서 사이클에 대한 통합 에르되시‑포사 정리

초록

이 논문은 그래프의 간선에 여러 아벨 군 라벨을 부여하고, 각 군에서 특정 원소들을 피하는 사이클(허용 사이클)들에 대해 에르되시‑포사 정리와 같은 패킹‑히팅 이중성을 언제 가질 수 있는지를 완전히 규명한다. 주요 결과는 (1) ℓ과 z에 대한 모듈러 사이클의 이중성 조건을 정확히 제시한 정리 1.1, (2) 단일 군에서 허용값 집합이 만족해야 할 두 가지 대수적 조건을 제시한 정리 1.2, (3) 다중 군에 대해 각 군마다 유한한 금지 집합을 제외한 값들을 허용값으로 잡을 때 이중성이 성립함을 보이는 정리 1.3, 그리고 (4) 고정된 유향 표면에 내장된 그래프에 대해 에스처 벽(Escher wall) 방해 요소가 사라지므로 조건이 완화된 정리 1.5 등을 포함한다. 또한 구조적 방해 그래프(벽과 경로 집합)의 정의와 그들이 어떻게 패킹을 제한하고 히팅 집합을 크게 만들 수 있는지를 상세히 분석한다.

상세 분석

본 연구는 에르되시‑포사 정리의 “패킹‑히팅” 이중성을 사이클에 추가적인 제약을 부여한 상황으로 일반화한다는 점에서 이론적 깊이가 크다. 기존 문헌에서는 홀수 사이클, S‑사이클, (S₁,S₂,…)-사이클 등 각각의 제약에 대해 별도 결과가 알려져 있었지만, 저자들은 이를 하나의 통합 프레임워크로 묶어 ‘다중 아벨 군 라벨링’이라는 개념으로 재구성한다. 핵심 아이디어는 각 간선에 Γ₁, …, Γ_m 라는 아벨 군값을 할당하고, 사이클의 전체 라벨값이 각 군에서 미리 정해진 ‘금지 집합’ Ω_j 를 피하도록 하는 것이다. 이렇게 하면 ℓ(mod z) 사이클, S‑사이클, 길이 제한 사이클 등 다양한 제약을 동일한 수학적 구조 안에 포함시킬 수 있다.

정리 1.1은 ℓ와 z에 대한 완전한 조합적 조건을 제시한다. 첫 번째 조건은 2가 z의 소인수에 포함될 경우 ℓ이 해당 소인수의 배수이어야 함을 요구하고, 두 번째 조건은 서로 다른 세 소인수에 대해 ℓ이 모두 그 소인수의 배수가 되지 못하도록 하는 ‘삼중 금지’ 조건이다. 이 두 조건이 동시에 만족될 때만 ‘에르되시‑포사 함수 f(k)’가 존재해 k개의 서로 정점-분리 사이클 또는 O(f(k)) 크기의 히팅 집합을 보장한다.

정리 1.2와 1.3은 대수적 관점에서 허용값 집합 A가 만족해야 할 두 가지 핵심 성질을 도출한다. (1) 모든 a∈A에 대해 2a가 생성하는 부분군 ⟨2a⟩와 A가 교차하지 않아야 하며, (2) 세 원소 a,b,c가 동시에 A와 교차하지 않을 경우, 그 중 어느 두 원소가 생성하는 부분군도 A와 교차하지 않아야 한다. 이 조건이 깨지면 ‘에스처 벽’ 형태의 구조적 방해 그래프를 구성해 패킹을 2개 이하로 제한하고 히팅 집합을 임의로 크게 만들 수 있다. 특히 정리 1.3은 각 군마다 유한한 금지 집합 Ω_j 를 지정하고, 그 외 모든 값은 허용값으로 두었을 때 위 두 대수적 조건이 자동으로 만족됨을 보인다. 따라서 다중 군 라벨링에서도 동일한 에르되시‑포사 이중성이 성립한다는 강력한 일반화를 제공한다.

구조적 방해물(Definition 3.2, Theorem 3.3)은 ‘벽(wall)’과 그 주변에 배치된 ‘교차(crossing)’, ‘중첩(nested)’, ‘연속(series)’ 경로 집합으로 이루어진 복합 그래프이다. 각 경로 집합은 최소한 하나의 경로를 포함해야 허용 사이클이 될 수 있게 설계되며, 경로 집합들의 배치 방식(예: 교차 집합의 개수가 홀수, 혹은 연속 집합이 일부만 존재 등)에 따라 사이클이 허용되는지 여부가 결정된다. 이러한 방해물은 실제로 허용 사이클의 최대 패킹을 2개 이하로 제한하고, 히팅 집합의 최소 크기를 임의로 크게 만들 수 있음을 정리 3.3에서 증명한다.

표면 제한을 고려한 정리 1.5는 고정된 컴팩트 오리엔터블 표면에 내장된 그래프에서는 무한히 큰 에스처 벽을 삽입할 수 없으므로 조건 (1)의 ‘2가 포함된 경우 ℓ≡0(mod p₁)’가 완화된다. 대신 ℓ이 p₁ 또는 z/p₁의 배수이면 여전히 이중성이 유지된다. 이는 표면 위에서의 사이클 동형류(ℤ₂‑동류) 문제와도 연결되어, 표면 위 그래프에 대한 새로운 에르되시‑포사 결과를 제공한다.

전체적으로 이 논문은 기존에 개별적으로 다루어졌던 여러 사이클 제약을 하나의 대수적·구조적 프레임워크 안에 통합하고, 그에 따른 필요충분 조건을 정확히 규명함으로써 그래프 이론과 조합 최적화 분야에 중요한 이정표를 세운다.