평면 접기 그래프의 실현과 연결성 연구

초록

이 논문은 평면으로 완전히 접을 수 있는 종이 접기 패턴을 그래프 형태로 모델링한다. 내부 정점의 차수가 2보다 큰 짝수인 경우에만 트리를 실현할 수 있음을 증명하고, 무한한 종이 모델에서 모든 접힌 선을 하나의 무한점에 연결했을 때 그래프는 반드시 2-정점 연결성과 4-간선 연결성을 가져야 함을 보인다.

상세 분석

본 연구는 종이 접기의 그래프 이론적 측면을 두 단계로 나누어 분석한다. 첫 번째 단계는 ‘트리 실현 문제’이다. 저자는 종이를 무한 평면으로 가정하고, 트리의 잎을 무한히 뻗는 레이(ray)로 표현한다. 이때 각 내부 정점에 모이는 크레세(접힌 선)의 수는 마에카와 정리(Maekawa’s theorem)에 의해 짝수여야 한다. 또한, 카와사키 정리(Kawasaki’s theorem)에 의해 각 정점 주변의 각도 합이 π가 되도록 배치되어야 한다. 이러한 기하학적 제약을 만족하려면 내부 정점의 차수가 2보다 큰 짝수여야 함을 보인다. 저자는 귀납적 구성법을 제시해, 차수가 2k( k≥2)인 정점들을 중심으로 적절한 ‘웨지(wedge)’를 삽입하고, 각 레이를 그 웨지의 중앙에 두어 서로 겹치지 않게 만든다. 이 과정에서 각 웨지는 3차원으로 살짝 들어올려 접힌 상태를 만들 수 있음을 보이며, 결과적으로 모든 내부 정점이 짝수 차수를 갖는 트리는 ‘절단 그래프(truncated graph)’ 형태로 전역 평면 접기가 가능함을 증명한다.

두 번째 단계는 일반 그래프에 대한 연결성 제한이다. 무한 평면 모델에서는 모든 무한 레이가 하나의 가상의 무한점 ∞에 연결된다. 이때 그래프는 ∞를 포함한 평면 임베딩을 가지며, 각 면은 볼록 다각형이 된다. 저자는 ∞를 제외한 어떤 정점 집합이 그래프를 분리하려면 최소 네 개 이상의 다른 정점이 필요함을 보인다. 이는 2-정점 연결성(두 정점을 제거해도 그래프가 연결된 상태 유지)과 4-간선 연결성(두 개의 간선을 제거해도 그래프가 연결된 상태 유지)이라는 두 가지 강력한 제약으로 귀결된다. 증명은 반증적 방법으로, 만약 2-정점 연결성이 깨지면 ∞와 연결된 레이가 하나만 남아 마에카와 정리를 위반하게 되고, 4-간선 연결성이 깨지면 특정 정점 주변의 각도가 π를 초과하거나 미만이 되어 카와사키 정리를 위배한다는 논리 전개를 따른다.

또한, 저자는 ‘지역 평면 접기(local flat folding)’와 ‘전역 평면 접기(global flat folding)’를 구분한다. 지역 접기는 각 점 근처에서만 등거리 변환(이동·회전·반사)으로 정의되며, 자기 교차를 허용한다. 반면 전역 접기는 ε-근접 임베딩을 통해 3차원 공간에 실제로 삽입 가능한 형태를 요구한다. 이 구분은 트리 실현에서 중요한데, 단순히 평면에 그린 트리라 하더라도 카와사키 각도 조건을 만족하지 않으면 전역 접기가 불가능함을 보여준다.

결과적으로, 이 논문은 (1) 내부 정점이 짝수 차수를 갖는 트리는 전역 평면 접기가 가능하고, (2) 무한 평면 모델에서 접기 패턴 그래프는 반드시 2-정점 연결성과 4-간선 연결성을 가져야 함을 엄격히 증명한다. 이는 기존의 단일 정점 접기 이론을 다중 정점 상황으로 확장하고, 그래프 연결성 관점에서 종이 접기 패턴의 구조적 한계를 제시한다는 점에서 의미가 크다.