[논문 리뷰] Values of E-functions are not Liouville numbers

Stéphane Fischler, Tanguy Rivoal|arXiv (Cornell University)|2023. 01. 03.

Advanced Topics in Algebra인용 수 1

한 줄 요약

이 논문은 E-함수의 대수적 점에서의 값에 대한 정량적 선형 독립성 척도를 수립하며, Shidlovskii의 정리가 유리계수와 특이점 이외의 경우로 확장된다. 이러한 값들이 Jamison 수가 되지 않음을 증명함으로써, 개선된 E-연산자 이론과 갈루아 강하 기법을 사용하여 오랫동안 미해결이었던 문제를 해결한다.

ABSTRACT

Shidlovskii has given a linear independence measure of values of $E$-functions with rational Taylor coefficients at a rational point, not a singularity of the underlying differential system satisfied by these $E$-functions. Recently, Beukers has proved a qualitative linear independence theorem for the values at an algebraic point of $E$-functions with arbitrary algebraic Taylor coefficients. In this paper, we obtain an analogue of Shidlovskii's measure for values of arbitrary $E$-functions at algebraic points. This enables us to solve a long standing problem by proving that the value of an $E$-function at an algebraic point is never a Liouville number. We also prove that values at rational points of $E$-functions with rational Taylor coefficients are linearly independent over $\overline{\mathbb{Q}}$ if and only if they are linearly independent over $\mathbb{Q}$. Our methods rest upon improvements of results obtained by André and Beukers in the theory of $E$-operators.

연구 동기 및 목표

• E-함수의 임의의 대수적 계수로 확장된 Shidlovskii의 정량적 선형 독립성 척도를 확장하는 것.
• E-함수 값의 디오판틴 근사에서 평가점 z₀에 대한 비특이성 조건을 제거하는 것.
• E-함수 값이 Jamison 수가 될 수 있는지 여부라는 오랜 미해결 문제를 해결하는 것.
• 갈루아 강하 기법을 사용하여 유리수 위의 선형 독립성과 수체 위의 선형 독립성 사이의 기준을 설정하는 것.

제안 방법

• André와 Beukers의 E-연산자에 관한 개선된 결과를 적용하여 미분계수의 해의 성장률을 제어한다.
• 갈루아 강하 추론을 사용하여 유리수 위의 선형 종속성과 수체 위의 종속성 간의 관계를 규명한다.
• Bertrand-Beukers의 다중도 추정을 활용하여 E-함수 값의 선형형식에 대한 효과적인 하한을 도출한다.
• 갈루아 켤레를 통한 노름 기반 하한을 도입하며, 이는 대수적 수에 대한 Liouville의 방법과 유사하다.
• 수체 K의 계수를 가진 E-함수의 벡터를 구성하여 정리 1을 균일하게 적용한다.
• f(z₀)를 근사하는 문제를 새로운 척도를 사용하여 선형형식 λ₁f₁(z₀) + ⋯ + λₙfₙ(z₀)의 바ounds로 환원한다.

실험 결과

연구 질문

• RQ1 대수적 점에서의 E-함수 값이 Jamison 수가 될 수 있는가?
• RQ2 임의의 수체 위에서 비특이성 가정 없이도 유효한 E-함수 값에 대한 정량적 선형 독립성 척도가 존재하는가?
• RQ3 대수적 점에서의 E-함수 값에 대해 Q 위의 선형 독립성과 수체 위의 선형 독립성이 동치인가?
• RQ4 Shidlovskii 척도는 유리계수와 특이점 이외의 경우로 확장될 수 있는가?

주요 결과

• 모든 대수적 점에서의 E-함수 값은 Jamison 수가 아니며, 이는 오랫동안 미해결이었던 문제를 해결한다.
• 모든 수체 K, 대수적 점 z₀ ∈ K, 계수가 K에 속하는 E-함수 벡터 f에 대해 선형형식 Λ = ∑λⱼfⱼ(z₀)는 임의의 ε > 0에 대해 |Λ| > cH⁻ᵈᴺᵈ⁺¹⁻ᵝ를 만족한다. 여기서 H = max|λⱼ|이다.
• 상수 c > 0는 ε, K, z₀, 그리고 E-함수 벡터에 대해 효과적으로 의존하지만, 명시적으로 계산되지는 않는다.
• 유리수 위에서의 E-함수 값의 선형 독립성은 임의의 수체 K 위에서의 선형 독립성과 동치이다.
• 이 증명 기법은 Liouville의 방법을 일반화하며, 대수적 정수를 E-함수 값으로, 노름을 갈루아 평균으로 대체한다.
• 이 결과는 임의의 수체에 대해 Beukers의 정량적 선형 독립성 정리의 첫 번째 효과적 정량적 형태를 확립한다.