[논문 리뷰] M\\'ethode de Mahler, transcendance et relations lin\\'eaires : aspects effectifs

Boris Adamczewski, Colin Faverjon|arXiv (Cornell University)|2016. 10. 28.

Meromorphic and Entire Functions참고 문헌 3인용 수 11

한 줄 요약

이 논문은 대수적 점에서 q-마라 함수의 값의 대수적 또는 초월적 성격을 결정하고, 이러한 값들 사이의 선형 관계를 계산하는 효과적인 알고리즘을 제시한다. 필리폰의 초월성 기준을 바탕으로, 저자는 f(α)가 k(α) 안에서 대수적인지 또는 초월적인지를 결정하는 계산 방법을 개발하였으며, 여러 q-마라 함수 값이 α에서 선형 종속 관계를 가지는 Q̄ 위에서의 기저를 명시적으로 계산할 수 있다.

ABSTRACT

This note deals with some effective results in Mahler's method. In a recent work, we used a theorem of Philippon to show that given a Mahler function $f(z)$ in ${\\bf k}\\{z\\}$, where ${\\bf k}$ denotes a number field, and an algebraic number $\\alpha$ in the domain of holomorphy of $f$, the number $f(\\alpha)$ is either transcendental or belongs to ${\\bf k}(\\alpha)$. We describe here an effective procedure to decide if such a number is transcendental or not. More generally, given several Mahler functions $f_1(z),\\cdots,f_r(z)$ and an algebraic number $\\alpha$ in the domain of holomorphy of these functions, we show how to effectively determine a basis of the vector space of $\\overline{\\mathbb Q}$-linear relations between $f_1(\\alpha),\\cdots,f_r(\\alpha)$.

연구 동기 및 목표

• 주어진 q-마라 함수 f(z)와 복소수 절댓값이 1보다 작은 대수적 점 α에 대해 f(α)가 대수적인지 초월적인지 결정하는 알고리즘 방법을 개발하는 것.
• 동일한 대수적 점 α에서 여러 q-마라 함수 f₁(α), ..., fr(α)의 값들 사이의 Q̄-벡터 공간에서의 선형 종속 관계의 기저를 명시적으로 계산하는 것.
• 주어진 q-마라 함수가 만족하는 최소 비동차 마라 방정식을 계산하는 효과적인 알고리즘을 제공하는 것.
• 계수들이 수체 k에 속하는 q-마라 함수를 다루는 구조적 프레임워크를 구축하여, 초월성과 선형 관계의 알고리즘적 결정 가능성을 보장하는 것.

제안 방법

• 필리폰의 초월성 기준을 활용하여 결정 문제를 체 확장 k(α) 내에서의 대수성 여부 확인 문제로 환원하는 것.
• 마라 방정식 (1)에서 유도된 재귀 관계를 알고리즘적으로 해결하여 f(z)의 테일러 계수를 유한한 절단까지 계산하는 것.
• 계수 다항식의 함의를 기반으로 k 위에서의 선형 방정식계를 풀어 최소 비동차 마라 방정식을 계산하는 것.
• 선형 재귀 관계 이론과 로랑 급수 전개를 적용하여 마라 방정식의 해공간 차원을 결정하는 것.
• 시스템의 q-마라 함수에 대해 행렬 재귀 관계 (2)를 사용하고, 행렬 A(z)의 함의에 따라 의존하는 범위까지의 k에 대해 계수 벡터 f_k를 알고리즘적으로 결정하는 것.
• 계수 행렬의 함의에 의해 결정되는 임계 인덱스에서 재귀를 절단하여 유한 차원의 해공간을 구성하는 것.

실험 결과

연구 질문

• RQ1 주어진 q-마라 함수 f(z)와 복소수 절댓값이 1보다 작은 대수적 점 α에 대해, f(α)가 대수적인지 초월적인지 알고리즘적으로 결정할 수 있는가?
• RQ2 여러 q-마라 함수 f₁(z), ..., fr(z)에 대해, Q̄-벡터 공간에서의 선형 관계 ∑λᵢfᵢ(α) = 0의 기저를 효과적으로 계산할 수 있는가?
• RQ3 주어진 q-마라 함수가 만족하는 최소 비동차 마라 방정식을 알고리즘적으로 결정할 수 있는가?
• RQ4 q-마라 방정식의 해공간에 포함된 자유 매개변수의 수에 대한 효과적인 상한은 무엇이며, 이를 어떻게 계산할 수 있는가?

주요 결과

• 0 < |α| < 1 인 대수적 점 α에 대해, q-마라 함수 f(z) ∈ k{z}의 값 f(α)는 초월적이거나 체 확장 k(α)에 속하며, 이 두 경우 중 어느 쪽인지 알고리즘적으로 결정할 수 있다.
• 마라 시스템의 재귀적 구조를 활용하여, f₁(α), ..., fr(α) 사이의 Q̄-벡터 공간에서의 선형 종속 관계 기저를 효과적으로 계산할 수 있다.
• q-마라 방정식 (1)의 해공간 차원은 최대 1 + ν₀/(q−1) 이하이며, 여기서 ν₀는 주어진 계수 다항식 p₀(z)의 함의이다. 이 상한은 효과적이다.
• 시스템의 q-마라 함수 (2)에 대해, k > ⌊−ν/(q−1)⌋ 인 f_k는 k ≤ ⌊−ν/(q−1)⌋ 인 초기 계수 f_k에 의해 유일하게 결정된다. 여기서 ν는 행렬 A(z)의 최소 함의이다.
• 주어진 q-마라 함수에 대해 최소 비동차 마라 방정식은 수체 k 위에서의 유한 선형 방정식계를 풀어 알고리즘적으로 계산할 수 있다.
• 제시된 알고리즘들은 효과적이고 구조적이며, 다항식 산술, 함의 분석, 수체 위에서의 선형 대수학 외에는 추가적인 가정 없이만 기반을 두어, 초월성과 선형 관계의 결정 가능성을 보장한다.