무한 평면 정칙 그래프에 대한 오일러 공식의 형식적 유사체

초록

이 논문은 모든 꼭짓점의 차수가 6보다 큰 무한 평면 정삼각형 메쉬 그래프를 연구합니다. 유한 그래프의 오일러 공식(v-e+f=1)을 무한 그래프로 확장하기 위해, 볼록 조합론적 디스크의 반복적 확장으로 얻은 수열에 오일러 합을 적용하여 ‘형식적’ 꼭짓점 수, 변 수, 면 수를 정의합니다. 이렇게 정의된 세 양이 고전적인 오일러 공식을 만족함을 증명하여, 무한 그래프에 대한 조합론적 오일러 공식의 유사체를 제시합니다.

상세 분석

이 논문의 핵심 방법론은 발산하는 수열에 유한한 값을 할당하는 ‘오일러 합’ 기법을 조합론적 그래프 이론에 창의적으로 적용한 것입니다. 차수 r>6인 무한 정삼각형 메쉬는 쌍곡평면에서 등변삼각형으로 구성될 수 있으나 유클리드 평면에서는 무한 그래프가 됩니다. 저자들은 이 무한 그래프의 크기를 세기 위해, 임의의 볼록 조합론적 디스크(내부가 채워진 순환) G0에서 시작하여, 현재 그래프와 꼭짓점을 공유하는 모든 면을 추가하는 ‘확장’ 연산 T를 반복 적용합니다. 이 과정에서 n번째 확장 시 새롭게 추가되는 꼭짓점(v_n), 변(e_n), 면(f_n)의 수를 세는 수열을 생성합니다.

키 보조정리(Lemma 2, 3)는 확장 과정에서 그래프의 볼록성이 유지되며, 경계 꼭짓점의 차수는 3 또는 4로 고정됨을 보입니다. 이를 통해 v_n, e_n, f_n 수열이 모두 동일한 2계 선형 점화식 x_{n+2} = (r-4)x_{n+1} - x_n 을 만족함을 증명합니다(Proposition 1). 이 점화식은 일반적으로 발산하는 수열을 생성하지만, 논문은 이 수열의 생성함수를 유리함수로 표현한 후 t=1에서의 값을 취하는 오일러 합을 적용합니다. 그 결과, 초기 디스크 G0의 모양(경계 길이 t, 경계 차수 합 d)에 의존하지 않고 오직 메쉬의 차수 r만으로 결정되는 보편적 형식적 값들을 얻습니다(Theorem 1).

가장 놀라운 결과는 이렇게 얻은 ‘수’ v_M = -6/(r-6), e_M = -3r/(r-6), f_M = -2r/(r-6)이 정확히 v_M - e_M + f_M = 1 이라는 오일러 공식을 만족한다는 점입니다(Corollary 1). 이 값들은 전통적인 집합의 기수(cardinality)가 아니며, r>6이므로 음의 유리수라는 점에서 ‘형식적’입니다. 이는 무한 그래프의 위상적 불변량을 유한한 값으로 정규화하는 수학적 장치로서, 물리학의 카시미르 효과 계산에서 발산 급수를 정규화하는 것과 유사한 철학을 지닙니다. 이 연구는 무한 이산 구조에 대한 조합론적 분석에 새로운 계산 도구를 제공하며, 기하학적 그래프 이론과 해석적 수열 보간법의 교차점을 보여줍니다.