일 라미다 임베디드 그래프와 비순환 에지 선택 가능성

본 논문은 (1, λ) 임베디드 그래프라는 새로운 그래프 클래스를 정의하고, 이 클래스에 대해 두 가지 주요 결과를 제시한다. 첫 번째는 그래프의 변 수와 정점 수 사이의 선형 관계, 즉 4‑linear성을 모든 가능한 오일러 특성 λ에 대해 증명하는 것이다. 이를 위해 저자는 먼저 최소 교차 수를 갖는 임베딩을 가정하고, 교차점마다 네 개의 보조 변을 추가한 뒤 하나의 변을 삭제해 교차가 없는 그래프 G*를 만든다. Euler 공식과 면‑변 관계를 이용해 교차 수와 정점 수 사이에 cr(G) ≤ v(G) − λ 라는 부등식을 얻는다. 이어서 girth g가 주어졌을 때 e(G) ≤ 2g − 2·(v − λ) 라는 일반적인 상한을 도출한다. 특히 g ≥ 3이면 e(G) ≤ 4v − 8, 즉 4‑linear임을, g ≥ 4(삼각형이 없는 경우)이면 e(G) ≤ 3v − 8, 즉 3‑linear임을 얻는다. 이 결과는 기존에 알려진 1‑플래너 그래프가 e ≤ 4v − 8이라는 사실을 일반 표면(λ ≤ 2)으로 확장한다. 두 번째 주요 결과는 (1, λ) 임베디드 그래프에 대한 비순환 에지 리스트 색칠(acyclic edge choosability) 상한이다. 기존 연구에서는 2‑linear 그래프가 Δ + 6 색, 3‑linear 그래프가 2Δ + 29 색으로 비순환 에지 색칠이 가능함을 보였으며, 저자는 이를 4‑linear 그래프에 대해 리스트 색칠까지 확장한다. 핵심 정리는 다음과 같다: 만약 그래프 G가 모든 부분 그래프 G′에 대해 e(G′) ≤ 4v(G′) − 1을 만족하면, G는 리스트 크기 K = 3Δ(G) + 70인 경우 비순환 에지 색칠이 가능하다. 증명은 최소 반례 기법과 충전‑재분배 방법을 결합한다. 먼저 최소 반례 G를 가정하고, δ(G) ≥ 4임을 보인다(3 이하의 차수를 가진 정점이 존재하면 부분 그래프에 대한 귀납적 색칠 확장이 가능함을 이용). 그 다음, δ(G) ≥ 4인 그래프는 반드시 9가지 구조(C1~C9) 중 하나를 포함한다는 보조 정리를 증명한다. 이 구조들은 정점의 차수와 이웃 정점들의 차수 조합을 제한한다(예: 차수 7인 정점이 차수 19 이하인 이웃 6개와 연결되는 경우 등). 각 구조에 대해, 해당 정점이나 변을 제거한 뒤 부분 그래프에 대한 비순환 리스트 색칠이 존재함을 귀납적으로 가정하고, 남은 변에 대해 가능한 색 리스트의 크기를 하한 계산한다. 계산은 각 인접 정점이 차지할 색의 수와 리스트 크기 K를 비교하여, 언제나 K보다 작지 않음을 보인다. 따라서 최소 반례가 존재할 수 없으며, 모든 (1, λ) 임베디드 그래프(λ = 1, 2)는 K = 3Δ + 70 리스트로 비순환 에지 색칠이 가능함을 얻는다. 결과적으로, 논문은 (1, λ) 임베디드 그래프가 4‑linear이며, λ = 1, 2인 경우에는 Δ에 선형적으로 의존하는 3Δ + 70 리스트 색으로 비순환 에지 색칠이 가능함을 보인다. 이는 1‑플래너 그래프와 토러스 위의 그래프에 대한 기존 색칠 상한을 일반화하고, 리스트 색칠까지 확장한 최초의 결과이다. 또한 충전‑재분배와 최소 반례 접근법을 결합한 증명 전략은 향후 더 복잡한 임베딩 제한이나 높은 차수 그래프에 대한 색칠 문제에도 적용될 가능성을 제시한다.