[논문 리뷰] A problem around Mahler functions

Boris Adamczewski, Jason P. Bell|arXiv (Cornell University)|2013. 03. 08.

Mathematical Dynamics and Fractals참고 문헌 18인용 수 7

한 줄 요약

이 논문은 Loxton과 van der Poorten의 오랫동안 남아 있던 추측을 증명한다: 특성 0인 체 위의 형식적 멱급수 중에서 서로 곱셈적으로 독립적인 정수 $k$와 $ε$에 대해 각각 $k$-Mahler 및 $ε$-Mahler 함수 방정식을 만족하는 것은 반드시 유리함수여야 한다. 증명은 대수기하학, 비율 이론, 그리고 무한곱의 점근적 분석을 결합하여 원주율의 근에서의 특이점을 제거하고 문제를 수체로 환원하며, 궁극적으로 디오판틴 추측과 Mahler 함수의 구조에 관한 깊이 있는 결과에 기반한다.

ABSTRACT

Let $K$ be a field of characteristic zero and $k$ and $l$ be two multiplicatively independent positive integers. We prove the following result that was conjectured by Loxton and van der Poorten during the Eighties: a power series $F(z)\in K[[z]]$ satisfies both a $k$- and a $l$-Mahler type functional equation if and only if it is a rational function.

연구 동기 및 목표

• 1980년대 Loxton과 van der Poorten이 제기한, 다수의 Mahler 유형 함수 방정식을 만족하는 멱급수의 구조에 관한 추측을 해결하기 위해.
• 정확한 이분법을 확립하기 위해: 곱셈적으로 독립적인 $k$, $ε$에 대해 $k$-Mahler 및 $ε$-Mahler 방정식을 동시에 만족하는 멱급수는 반드시 유리함수여야 한다.
• 반복적인 함수 합성의 선형 종속성 구조를 분석하여 Mahler의 초월성 이론과 옴모타 이론, 대수기하학을 연결하기 위해.
• 무한곱의 점근적 추정과 Becker 함수를 사용하여 원주율에서 Mahler 함수의 특이점을 제거하기 위해.
• 일반적인 특성 0인 체의 경우를 수체의 경우로 환원하기 위해 대수적 환원 기법과 소수 이상의 존재 정리들을 활용하기 위해.

제안 방법

• 기저 체 $K$가 수체가 되도록 가정하기 위해, $K(z)$ 위에서의 선형 종속성 분석을 통해 문제를 다루는 기법을 적용한다. 이는 $k$-Mahler 함수를 특징짓는다.
• 대수적 독립성과 전문화의 논증을 사용하여 기저 체 $K$가 수체가 되도록 환원하는 기법을 적용한다.
• 원주율을 포함하는 무한곱의 점근적 추정을 사용하여 Mahler 함수의 성장과 특이성을 제어한다.
• Becker의 $k$-정규 함수 이론과 그 생성함수를 활용하여 원주율 근처에서 Mahler 함수의 행동을 분석한다.
• Chebotarev의 밀도 정리와 수체에서의 소수 이상 존재 정리를 적용하여 유리성을 탐지하는 보조 이상을 구성한다.
• 이러한 도구들을 조합하여, 곱셈적으로 독립적인 $k$, $ε$에 대해 두 방정식을 동시에 만족하는 멱급수가 존재할 경우 그 계수들이 일정 계수를 가진 선형 재귀를 만족해야 하며, 이는 유리함수임을 의미함을 보인다.

실험 결과

연구 질문

• RQ1 다른 $k$-Mahler 및 $ε$-Mahler 함수 방정식을 모두 만족하는 멱급수가 언제 유리함수로 되는가?
• RQ2 곱셈적으로 독립적인 $k$, $ε$에 대해 두 개의 다른 Mahler 방정식의 해집합의 교차는 대수적으로 특징지을 수 있는가?
• RQ3 원주율에서의 특이성은 Mahler 함수의 유리성에 방해가 되는가?
• RQ4 무한곱과 Becker 함수의 점근적 추정은 어떻게 Mahler 급수의 해석적 행동을 제어하는 데 사용될 수 있는가?
• RQ5 특성 0인 임의의 체 위에서의 일반적인 경우는 Mahler 함수 이론에서 수체의 경우로 얼마나 깊이 환원될 수 있는가?

주요 결과

• 곱셈적으로 독립적인 정수 $k$, $ε$에 대해 $k$-Mahler 및 $ε$-Mahler 함수 방정식을 모두 만족하는 멱급수 $F(z) \in K[[z]]$는 반드시 유리함수여야 한다.
• 증명은 $\{F(z^{k^i})\}$와 $\{F(z^{\ell^j})\}$가 $K(z)$ 위에서 선형 종속이면, $F(z)$의 계수들이 일정 계수를 가진 선형 재귀를 만족해야 한다는 것을 보여준다.
• 수체의 정수환에서 유리성의 여부를 비율 이론적 논증을 통해 탐지하는 소수 이상의 수열을 저자들이 구성한다.
• 형태 $\prod_{n \geq 1} (1 - \zeta_n^{m})$의 무한곱에 대한 점근적 추정이 원주율 근처에서 Mahler 함수의 성장을 제어하는 데 사용된다.
• 원주율에서의 특이점 제거는 공동 함수 방정식에 의해 생성함수의 특이 부분이 반드시 사라져야 한다는 것을 보여서 달성된다.
• 수체의 경우로의 환원은 전문화 논증과 수체에서 특정 분할 행동을 갖는 소수 이상의 존재를 이용하여 이루어진다.