삼각군 길이 스펙트럼 연구

초록

본 논문은 초평면 위의 푸시안 삼각군 (p,q,r) 에 대해 가장 짧은 폐곡선들의 길이, 즉 길이 스펙트럼의 초기 구간을 체계적으로 계산한다. 트레이스 공식과 기본 도메인 구조를 이용해 (2,3,7), (2,3,8), (3,4,4) 등 대표적인 비산술·산술 삼각군의 최소 길이와 그 중복도를 명시적으로 도출하고, 결과를 기존의 마르코프·펜로즈 스펙트럼과 비교한다.

상세 분석

논문은 먼저 푸시안 삼각군 Γ(p,q,r) 을 PSL(2,ℝ) 의 이산군으로 정의하고, 그 기본 삼각형 Δ(p,q,r) 의 내각을 π/p, π/q, π/r 로 설정한다. 이때 Γ 은 Δ 의 반사군을 두 번 취한 것이므로, 군의 원소는 삼각형의 변을 따라 반사·회전 연산의 조합으로 표현된다. 길이 스펙트럼 L(Γ) 은 Γ 의 비자명 원소 γ 에 대해 ℓ(γ)=2 arccosh(|tr γ|/2) 로 정의되며, 이는 폐지오메트리에서 폐곡선의 최소 길이와 일치한다.

저자는 트레이스 공식 tr(AB)=tr A·tr B−tr(AB^{-1}) 을 반복 적용해, 기본 생성원 x, y, z (각각 π/p, π/q, π/r 에 대응) 의 조합으로 이루어진 단어들의 트레이스를 전산적으로 계산한다. 특히, 길이가 짧은 원소는 짧은 단어에 해당하므로, 길이 ≤ L₀ (예: L₀≈3) 인 원소를 찾기 위해 깊이‑우선 탐색을 수행한다. 탐색 과정에서 중복을 방지하기 위해 Γ 의 중심화 C(Γ) 와 대칭군 D₆ (삼각형의 대칭군)을 활용해 동치 클래스를 식별한다.

주요 결과는 다음과 같다. 첫째, (2,3,7) 군에서는 최소 길이 ℓ₁≈0.531 (트레이스 ≈ 1.14) 와 두 번째 최소 길이 ℓ₂≈0.862 (트레이스 ≈ 1.38) 가 각각 하나의 원소에 대응한다. 둘째, (2,3,8) 군에서는 ℓ₁≈0.587, ℓ₂≈0.913 이 관측되며, ℓ₂는 두 개의 서로 다른 원소가 동일한 길이를 갖는 다중성을 보여준다. 셋째, (3,4,4) 군과 같은 대칭성이 높은 경우, 최소 길이는 ℓ₁≈0.764 이며, 이 길이는 네 개의 원소가 공유한다.

또한, 저자는 이러한 초기 스펙트럼이 마르코프 수열 M 과의 관계를 통해 산술적 의미를 가질 수 있음을 논한다. (2,3,7) 군은 유명한 (2,3,7) Hurwitz 곡면과 동형이며, 그 최소 길이는 Hurwitz 곡면의 가장 짧은 폐곡선과 일치한다는 점을 확인한다. 마지막으로, 길이 스펙트럼의 성장률을 추정하기 위해 Selberg trace formula의 첫 항을 이용해 N(L)≈e^{L}/L 형태의 비대칭적 증가를 보이며, 초기 구간에서 관측된 실제 데이터와 좋은 일치를 보인다.

이와 같이 논문은 전통적인 이론적 접근과 현대적인 컴퓨터 실험을 결합해, 푸시안 삼각군의 길이 스펙트럼 초기 구조를 명확히 규명하고, 그 결과를 기존의 대수기하학·동역학 연구와 연결시킨다.