자기유사 그래프의 그린 함수와 미분 초월성

초록

본 논문은 분기 수가 2인 대칭 자기유사 그래프에 대해, 그래프가 원점에서 여러 개의 일방향 선으로만 이루어진 별 형태가 아니면 그린 함수 G(z)가 복소수 유리함수체 ℂ(z) 위에서 미분 초월적임을 증명한다. 알제브라적 경우는 정확히 별 그래프에 한정되며, 이는 최근 Di Vizio·Fernandes·Mishna의 함수 방정식 이론을 활용한 결과이다.

상세 분석

논문은 먼저 대칭 자기유사 그래프(symmetrically self‑similar graph)의 정의를 두 가지 관점(고정점 구성과 블로업 구성)에서 제시한다. 핵심은 ‘셀(cell)’이라 불리는 유한 그래프 C와 그 경계 θC (극점)의 구조이며, 모든 셀은 서로 동형이고 Aut(Ċ) 가 θC 위에서 이중 전이(transitive)한다는 점이다. 분기 수 θ 는 θC 의 원소 개수이며, 본 연구에서는 θ=2 (즉, 셀이 두 개의 경계점만 갖는 경우)에 초점을 맞춘다.

그린 함수 G(o,o|z) 는 원점 o 에서 시작·종료하는 랜덤 워크의 전이 확률을 생성함수 형태로 집계한 것으로, 일반적으로 복소수 멱급수이며 그 수렴 반경은 셀의 전이 행렬 T 의 최대 고유값에 의해 결정된다. 셀 자체가 유한 그래프이므로 Ĝ(z) (셀 내부 그린 함수)는 유리함수이며, 전이 함수 d(z) 와 반환 함수 f(z) (둘 다 셀의 구조에서 유도된 유리함수)로 표현된다.

Krön·Teufl의 이전 연구에 따르면 전체 그래프의 그린 함수는 다음과 같은 일차 반복 함수 방정식
\