초월함수의 대수·산술 속성 알고리즘

초록

본 논문은 유리 파라미터를 갖는 초월함수에 대해 p‑adic 평가, 소수별 감소 가능성 판정, 그리고 모듈러 p에서의 소멸다항식(annihilating polynomial) 계산을 자동화하는 알고리즘을 제시한다. 핵심은 Christol의 이론을 기반으로 한 zigzag 함수와 drifted valuation을 이용해 p‑adic 밸류에이션을 효율적으로 구하고, 이를 통해 소수 집합을 결정하며, 최종적으로 모듈러 p에서의 대수성을 증명한다. 모든 절차는 SageMath 구현으로 제공된다.

상세 분석

논문은 먼저 초월함수 H(α,β;x)=∑ₖ (α₁)ₖ…(αₙ)ₖ/(β₁)ₖ…(βₘ)ₖ·xᵏ 를 정의하고, 파라미터가 모두 유리수이며 음의 정수가 아닌 경우에 한정한다. 핵심 기술은 p‑adic valuation valₚ(·) 를 k‑번째 계수에 대해 정확히 계산하는 방법이다. 이를 위해 저자들은 “zigzag 함수” w_r(k)를 도입한다. w_r(k)는 k와 파라미터 α_i, β_j의 pʳ 나머지를 비교해 증가·감소를 기록하는 정수값 함수이며, w_r(k+ pʳ)=w_r(k)+(n−m) 라는 주기성을 가진다. Lemma 2.1에 의해 valₚ(h_k)=∑_{r≥1} w_r(k) 가 성립하고, 이는 로그ₚ(k) 정도의 유한한 항만 필요함을 보인다.

다음 단계에서는 drifted valuation valₚ,ν(h(x))=min_k{valₚ(h_k)+νk} 를 정의하고, ν≥ν₀:= (m−n)/(p−1) 일 때만 의미가 있다. 여기서 σ_r(k)=νk+∑{s≤r} w_s(k) 로 부분합을 두고, σ_r(k+pʳ)=σ_r(k)+(ν−ν₀)pʳ+ν₀ 라는 변환식을 얻는다. 구간 I{r,i}=