평면 에뮬레이터 그래프의 새로운 특성

초록

본 논문은 평면 커버와 달리 평면 에뮬레이터가 가질 수 있는 그래프들의 범위를 조사하고, 기존의 프로젝트 평면 임베딩 가설이 성립하지 않음을 여러 새로운 구성과 함께 증명한다. 또한 주요 금지 마이너들을 포함한 다수의 그래프가 평면 에뮬레이터를 가짐을 보이며, 부분적인 특성화 결과도 제시한다.

상세 분석

논문은 먼저 평면 커버와 평면 에뮬레이터의 정의를 명확히 구분한다. 평면 커버는 각 원본 정점에 정확히 두 개의 복제 정점이 존재하도록 하는 전단사 사상이며, 평면 에뮬레이터는 전사 사상만을 요구한다는 점에서 더 일반적이다. 기존 연구에서는 두 개념이 사실상 동등하다고 여겨졌지만, 2008년 Rieck‑Yamashita의 반례가 등장하면서 이 가정이 깨졌다. 저자들은 이 반례를 확장하여 프로젝트 평면에 포함되지 않는 32개의 금지 마이너 중 대부분이 평면 에뮬레이터를 가짐을 보인다. 특히 K₁,₂,₂,₂와 K₄,₅−4K₂ 같은 복잡한 그래프에 대해 작은 평면 에뮬레이터를 직접 구성한다.

핵심 기술은 다음과 같다. 첫째, 평면 에뮬레이터는 마이너 폐쇄성을 가진다(정점·간선 삭제와 수축이 가능). 둘째, Y‑Δ 변환(3차 정점을 삼각형으로 교체)도 보존된다. 이를 이용해 고차 정점을 낮은 차수의 정점들로 분해하고, 필요한 경우 정점을 분할하거나 병합하여 평면성을 유지한다. 셋째, 두 개의 서로 독립적인 k‑그래프(즉, K₄ 혹은 K₂,₃의 서브디비전)를 동시에 포함하는 그래프는 평면 에뮬레이터가 존재하지 않음이 증명된다. 이는 금지 마이너 중 19개에 대한 부정 결과를 도출한다.

또한 저자들은 새로운 구성법을 제시한다. 예를 들어 K₁,₂,₂,₂의 경우, 각 파트에 대응하는 정점들을 3개씩 복제하고, 이들 사이에 적절히 교차하지 않는 평면 연결을 만든다. 이와 유사하게 K₇−C₄, D₃, E₅ 등은 기존에 알려진 커버 부정 사례와 달리, 정점 복제와 경로 재배치를 통해 평면 에뮬레이터를 얻을 수 있다. 이러한 구성은 평면 커버와는 전혀 다른 구조적 자유도를 보여준다.

마지막으로, 저자들은 현재까지 알려진 평면 에뮬레이터의 구조적 특성을 정리하고, 향후 연구 방향을 제시한다. 특히, 평면 에뮬레이터가 존재하는 그래프군을 완전히 특성화하기 위해서는 새로운 마이너 기반의 금지 집합을 찾아야 하며, 현재 알려진 32개의 금지 마이너 중 아직 에뮬레이터 존재 여부가 미확정인 K₄,₄−e에 대한 추가 연구가 필요함을 강조한다.