[논문 리뷰] Mahler's method in several variables I: The theory of regular singular systems

Boris Adamczewski, Colin Faverjon|arXiv (Cornell University)|2018. 09. 13.

semigroups and automata theory참고 문헌 21인용 수 4

한 줄 요약

이 논문은 선형 정칙 특이 시스템에 대한 Mahler 방법의 다변수 확장 기법을 개발하며, 대수적 수체 위의 대수적 점에서의 Mahler 함수 값 간의 대수적 관계가 $\overline{\mathbb{Q}}(\mathbf{z})$ 위에서 함수 자체 간의 대수적 관계로 올라갈 수 있음을 증명한다. 또한, 그들의 기저 행렬 변환이 충분히 다를 경우, 서로 다른 시스템과 관련된 Mahler 함수 값이 대수적으로 독립적이며, 이는 이전의 일변수 결과를 일반화하고 자동기계 이론 및 밑수 전개 문제에의 적용을 위한 기초를 마련한다.

ABSTRACT

This is the first part of a work devoted to the study of linear Mahler systems in several variables from the perspective of transcendence and algebraic independence. We prove two main results concerning systems that are regular singular at the origin. Our interest in Mahler's method comes from the possible applications of these results to old problems involving automata theory and which concern the expansion of both natural numbers and real numbers in integer bases. In particular, problems which involve finite automata and base change. Such applications are studied in Part II of this work.

연구 동기 및 목표

• 다양한 변수에서 정칙 특이 선형 Mahler 시스템의 이론을 초월성 및 대수적 독립성 관점에서 종합적으로 개발하기 위해.
• 클래식한 Nesterenko–Shidlovskii–Beukers–André 올림 원리의 다변수 설정으로의 일반화를 위해.
• 다른 행렬 변환과 관련된 Mahler 함수 값의 대수적 독립성 결과를 확립하기 위해.
• 유한 자동기계와 밑수 변화를 포함하는 자동기계 이론 및 밑수 전개 문제에의 적용을 위한 이론적 기초를 마련하기 위해.
• Mahler 함수 값의 독립성에 관한 van der Poorten의 오랜 추측을 다루며, 산발적인 예제를 넘어서는 첫 번째 일반적 프레임워크를 제공하기 위해.

제안 방법

• 저자들은 다변수에서의 정칙 특이 시스템을 정의하며, 이는 분지된 유리형 게이지 변환을 통해 상수 역행렬 시스템으로 동치화된 시스템으로 정의된다.
• 해결책의 구조와 그들의 대수적 관계를 분석하기 위해, Mahler 시스템의 가족과 다변수 지수 다항식에 기반한 추상적 프레임워크를 도입한다.
• 평가된 다항식의 행동을 제어하기 위해, 평가 이론과 체 $\mathbb{L}$의 체계화를 활용한 새로운 소멸 정리를 개발한다.
• 반복적인 함수 관계와 계수 $\tau_{j,\mathbf{k}}$의 구조를 이용하여, 특정 점에서의 소멸이 전체 함수의 소멸을 이끌어내는 데 의존한다.
• 해석적 게이지 변환을 사용하여 일반적인 경우를 더 단순한 경우로 줄이며, 수렴성과 대수적 구조를 정밀하게 제어한다.
• 이론을 적용하여, 서로 다른 Mahler 함수 값 간의 대수적 관계 이상수는 각각의 시스템 내부의 순수한 관계에 의해 생성되며, 이는 서로 다른 시스템 간의 관계가 비어 있음을 의미한다.

실험 결과

연구 질문

• RQ1 대수적 수체 위에서의 다변수 Mahler 함수 값 간의 대수적 관계는 $\overline{\mathbb{Q}}(\mathbf{z})$ 위에서 함수 자체 간의 유사한 대수적 관계로 올라갈 수 있는가?
• RQ2 다른 행렬 변환과 관련된 Mahler 함수 값이 대수적 수체의 점에서 어떤 조건에서 대수적으로 독립적인가?
• RQ3 고전적인 Nesterenko–Shidlovskii 올림 원리는 정칙 특이 Mahler 시스템의 다변수 설정으로 얼마나 일반화될 수 있는가?
• RQ4 정칙 특이 시스템의 구조는 어떤 식으로 Mahler 함수 가족의 독립성 결과를 도출하는 데 사용될 수 있는가?
• RQ5 이 이론은 유한 자동기계와 밑수 변화를 포함하는 자동기계 이론 문제에 적용될 수 있는가?

주요 결과

• 정칙 특이 Mahler 시스템의 값 $f_1(\boldsymbol{\alpha}), \ldots, f_m(\boldsymbol{\alpha})$ 간의 동차 대수적 관계는 $\overline{\mathbb{Q}}$ 위에서 정의될 수 있으며, 이는 $\overline{\mathbb{Q}}(\mathbf{z})$ 위에서 함수 $f_1(\mathbf{z}), \ldots, f_m(\mathbf{z})$ 간의 동일한 대수적 관계로 올라간다.
• 다른 시스템과 관련된 Mahler 함수 값 간의 대수적 관계 이상수는 각 개별 시스템 내부의 순수한 대수적 관계에 의해 생성되며, 이는 시스템 간 관계가 비어 있음을 의미한다.
• 기저 행렬 변환이 충분히 다를 경우 독립성 결과가 성립하며, 이는 Nishioka와 Masser의 이전 산발적 결과를 일반화한다.
• 이론은 분지된 유리형 게이지 변환을 통해 상수 역행렬 시스템으로 동치화된 시스템에 적용되며, 이러한 클래스는 정칙 특이로 불린다.
• 결과들은 다변수 Mahler 시스템에서 초월성 및 대수적 독립성 연구를 위한 기초 프레임워크를 제공하며, 자동기계 이론 및 밑수 전개 문제에 대한 함의를 지닌다.
• 논문은 정칙 특이 시스템에 대해 Shidlovskii 유형 정리의 다변수 해석을 확립하며, 미분 및 차분 방정식에서 알려진 결과를 Mahler 설정으로 확장한다.