On the Algebraic Independence of $E$- and $G$-Functions, II: An Effective Version

TL;DR

This paper develops a criterion to determine algebraic independence among certain $E$- and $G$-functions within a specific class of power series solutions to differential equations with Frobenius structure over a $p$-adic field.

Contribution

It introduces an effective criterion for algebraic independence of $E$- and $G$-functions in a new class of $p$-adic differential solutions, extending previous theoretical results.

Findings

Established a criterion for algebraic independence.

Proved algebraic independence of specific $E$- and $G$-functions.

Connected algebraic independence with Frobenius structures in $p$-adic analysis.

Abstract

Let $K$ be a finite extension of $\mathbb{Q}_p$ that is totally ramified over $\mathbb{Q}_p$. The set $\mathcal{M}\mathcal{F}(K)$ consists of power series in $1+zK[[z]]$ that are solutions of differential operators in $K(z)[d/dz]$ equipped with strong Frobenius structure and satisfying maximal order multiplicty (MOM) condition at zero. It turns out that this set contains an interesting class of $E$- and $G$-functions. In this work, we provide a criterion for determining the algebraic independence, over the field of analytic elements, of elements belonging to $\mathcal{M}\mathcal{F}(K)$. As an illustration of this criterion, we show the algebraic independence of some $E$- and $G$-functions over the field of analytic elements.