SageMath에서 초지수함수의 대수·산술 특성

초록

이 논문은 SageMath에 구현된 알고리즘을 소개한다. 유리수, 유한체, p‑adic 체 위에서 정의되는 초지수함수의 대수성, 전역 유계성, p‑adic 밸류에이션 및 최소다항식 등을 자동으로 판단·계산할 수 있다. 특히 Christol의 전역 유계 판정, Beukers‑Heckman·Caruso‑Fürnsinn의 대수성 판정, 좋은 환원 소수 판정, 섹션 연산과 Dwork 관계, 소수별 p‑curvature와 annihilating ORE 다항식 등을 구현하였다.

상세 분석

논문은 초지수함수  nF_m(α,β;x)  를 SageMath의 심볼릭 링과 다항식·멱급수 링 위에 객체화함으로써, 기존의 수치·기호 계산을 넘어선 대수·산술적 특성 분석을 가능하게 만든다.
첫 번째 핵심은 전역 유계성(Globally Bounded)과 대수성(Algebraic)의 완전한 분류를 알고리즘으로 구현한 점이다. Christol의 기준을 기반으로 소수 d (모든 파라미터의 최소공배수)와 소수 Δ 에 대한 소수점 부분의 상대적 위치를 검사해 is_globally_bounded() 와 is_algebraic() 메서드가 true/false 를 반환한다. 정수 차이가 존재하는 경우는 Caruso‑Fürnsinn‑Yurkevich의 확장판을 적용한다.
두 번째로는 “좋은 환원 소수” (good reduction primes) 를 결정한다. 초지수함수의 계수 분모와 소수 p 의 서로소 여부는 파라미터의 d 에 대한 합동 클래스에만 의존한다는 이론을 이용해, good_reduction_primes() 가 해당 합동 클래스와 예외 소수를 집합 형태로 반환한다.
세 번째는 유한체 F_p 위에서의 섹션 연산과 Dwork 관계를 구현한 부분이다. 섹션 연산 section(r)_ 은 f(x) 의 r‑섹션을 계산하고, 이를 다시 초지수함수 형태로 표현한다. Dwork 관계 dwork_relation() 은 F_p