[논문 리뷰] Mahler equations and rationality

Reinhard Schäfke, Michael F. Singer|arXiv (Cornell University)|2016. 05. 28.

Polynomial and algebraic computation참고 문헌 6인용 수 4

한 줄 요약

이 논문은 복소수체 위에서 서로 곱셈적으로 독립적인 정수 $p$와 $q$에 대해 $p$-Mahler 및 $q$-Mahler 방정식을 모두 만족하는 형식적 멱급수는 반드시 유리함수임을 자가 포함된 증명을 제시한다. 증명은 일致하는 Mahler 방정식 시스템을 분석하여 해의 해석적 연장과 다항식 성장률을 확립하고, 최종적으로 성장 추정과 $\mathbb{C}$ 위의 유리형 연장에 의해 유리성을 도출한다.

ABSTRACT

We give another proof of a result of Adamczewski and Bell concerning Mahler equations: A formal power series satisfying a $p-$ and a $q-$Mahler equation over ${\mathbb C}(x)$ with multiplicatively independent positive integers $p$ and $q$ is a rational function. The proof presented here is self-contained and is essentially a compilation of proofs contained in the recent preprint "Consistent systems of linear differential and difference equations", arXiv:1605.02616 [math.CA], by the same authors.

연구 동기 및 목표

• 서로 곱셈적으로 독립적인 $p$와 $q$일 때, $\mathbb{C}(x)$ 위에서 $p$-Mahler 및 $q$-Mahler 방정식을 모두 만족하는 형식적 멱급수의 유리성을 새롭고 자가 포함된 방식으로 증명하는 것.
• 일치하는 Mahler 시스템의 형식적 해가 $\mathbb{C}$ 위의 유리형 함수로 해석적 연장 가능함을 확립하는 것.
• 해가 무한대에서 다항식 성장을 보임을 보여주어 유리성을 도출하는 핵심 단계를 확보하는 것.
• 일致하는 선형 차분, $q$-차분 및 Mahler 방정식 시스템의 축소 기법을 통합하고 확장하는 것.
• Adamczewski와 Bell의 방법에서 사용하는 체타보레프의 밀도 정리 및 코브함의 정리와 같은 숫자론적 도구를 피하는 것.

제안 방법

• 곱셈적으로 독립적인 $p$와 $q$일 때, $\sigma_p(f(x)) = f(x^p)$ 및 $\sigma_q(f(x)) = f(x^q)$를 정의하여 $K = \mathbb{C}[[x]][x^{-1}]$ 위의 로렌트 급수 체에서 작용시키며, 이 연산들은 서로 가환함을 보인다.
• 해 $f(x)$의 반복 작용에 의해 생성되는 $\mathbb{C}(x)$-벡터 공간 $W$를 구성하고, 이는 $\sigma_p$ 및 $\sigma_q$에 대해 불변이며, 행렬 $A(x), B(x) \in \mathrm{GL}_n(\mathbb{C}(x))$를 통해 작용을 표현한다.
• 연산 $\sigma_p$와 $\sigma_q$의 가환성에서 유도된 일致 조건 $A(x^q)B(x) = B(x^p)A(x)$를 유도하여 시스템의 호환성을 확보한다.
• 절단 및 $p$-진 평가 추정을 통해 $0$ 근처에서 해 $g(x)$의 수렴성을 증명한다.
• 로그 리만 면 위에서의 주기성과 푸리에 급수의 성질을 이용하여, $g(x)$가 $\mathbb{C}$ 위의 유리형 함수로 해석적 연장 가능하며, 유한 개의 극만을 가짐을 보인다.
• 환영 덮개와 반복적 추정을 통해 $|x| \to \infty$일 때 $|g(x)|$의 다항식 성장을 확립하고, 이로 인해 유리성을 도출한다.

실험 결과

연구 질문

• RQ1 서로 곱셈적으로 독립적인 $p$와 $q$에 대해 두 Mahler 방정식을 만족하는 형식적 멱급수가 어떤 조건에서 유리가 되는가?
• RQ2 체타보레프의 밀도 정리나 코브함의 정리와 같은 숫자론적 도구에 의존하지 않고 이러한 해의 유리성을 확립할 수 있는가?
• RQ3 일치하는 $p$- 및 $q$-Mahler 방정식 시스템의 일치성은 그 해의 해석적 성질을 어떻게 유도하는가?
• RQ4 일치하는 Mahler 시스템의 해는 복소 평면에서 어떤 성장 및 단형성 성질을 보이는가?
• RQ5 해석적 연장과 성장 추정만으로 공통 해의 유리성을 증명할 수 있는가?

주요 결과

• 곱셈적으로 독립적인 정수 $p$와 $q$에 대해 $\mathbb{C}(x)$ 위에서 $p$-Mahler 및 $q$-Mahler 방정식을 모두 만족하는 형식적 멱급수 $f(x) \in \mathbb{C}[[x]][x^{-1}]$는 반드시 유리함수이다.
• 일치하는 시스템 $y(x^p) = A(x)y(x)$, $y(x^q) = B(x)y(x)$의 해 $g(x)$는 $0$ 근처에서 수렴한다.
• 해 $g(x)$는 $\mathbb{C}$ 위의 유리형 함수로 해석적 연장 가능하며, 유한 개의 극만을 가진다.
• 해 $g(x)$는 $|x| \to \infty$일 때 다항식 성장을 보이며, 특히 큰 $|x|$에 대해 $|g(x)| \leq L (\log|x|)^d |x|^{M/(p-1)}$를 만족하는 상수 $L, d, M > 0$가 존재한다.
• 해석적 연장과 다항식 성장의 조합은 $g(x) \in \mathbb{C}(x)^n$을 의미하므로, 원래의 해 $f(x)$는 유리함수이다.
• 이 증명은 유한체 축소나 국소-글로벌 원리에 의존하지 않으며, Adamczewski와 Bell의 방법에 대한 직접적인 해석적 대안을 제공한다.