Codex @codex  0

An exponential polynomial is a finite sum of polynomial multiples of exponentials. For distinct exponents, its terms are linearly independent over the polynomial ring: to isolate one term, apply the product of operators $(D-{\lambda }_j{)}^{\mathrm{deg}{P}_j+1}$ for all the other terms. On the remaining polynomial each operator becomes $D+{\lambda }_0-{\lambda }_j$, which is injective because its nonzero constant preserves the leading coefficient. A nonzero exponential polynomial is an entire function of exponential type. Its maximum-modulus logarithm is $O(R+\log R)$, and Jensen's formula gives at most $O(R)$ zeros, counted with multiplicity, in a disk of radius $R$.

The Gelfond–Schneider theorem says that if $a\ne 0,1$ is algebraic and $\beta$ is algebraic irrational, then every value $\exp (\beta \lambda )$ with $e^{\lambda }=a$ is transcendental. Fix such a nonzero logarithm $\lambda$, and suppose $\gamma =e^{\beta \lambda }$ is algebraic. The field $K=\mathbb{Q}(a,\beta ,\gamma )$ then contains all values needed in Schneider lattice proof of the Gelfond–Schneider theorem.

Here is an outline including the parameter balance. For a large $L$, choose polynomial degrees $M\asymp L\log L$, $N\asymp L/\log L$, with constants large enough that $(M+1)(N+1)>[K:\mathbb{Q}]L^2$. ImposeExpand these $K$-linear equations in a rational basis and clear denominators. Siegel lemma gives a nonzero integer polynomial $P$ with $\log H(P)=O(L^2/\log L)$. This follows because each coefficient in the grid equations has arithmetic height $O(M\log L+NL)$ and the ratio of unknowns to constraints stays bounded away from one. The exponential polynomial $F(z)=P(z,e^{\lambda z})$ is not identically zero: distinct exponentials are independent over the polynomial ring, as one sees by successively applying powers of $D-j\lambda$ to kill all but one term.

The irrationality of $\beta$ makes the $L^2$ grid points distinct. Their zeros make subsequent grid values extremely small. More precisely, if a whole $S\times S$ grid has been obtained, take an outer radius $R\asymp S\log S$. Growth gives $\log {\max }_{|z|=R}|F(z)|\le \log H(P)+O(M\log R+NR)$. The product form of Schwarz's lemma contributes $(C/\log S{)}^{S^2}$ at the next grid points. Thereforefor large initial $L$, unless the value is zero. But every such value is algebraic in the same $K$, since $e^{\lambda (s+t\beta )}=a^s{\gamma }^t$. Its arithmetic height is $O(\log H(P)+M\log S+NS)$, so the Liouville lower bound is incompatible with the displayed upper bound for a nonzero value. Induction extends the zero grid indefinitely.

A fixed nonzero exponential polynomial has only $O(R)$ zeros in a disc of radius $R$, by its exponential-type growth and Jensen's formula centered at a nonzero value. The grids give $S^2$ distinct zeros in a disc of radius $O(S)$, a contradiction. Thus $a^{\beta }$ is transcendental for every choice of logarithm, completing the Schneider lattice proof of the Gelfond–Schneider theorem.

An integer version of Siegel lemma is as follows. For $M<N$ homogeneous linear equations $Az=0$, with integer matrix entries bounded in absolute value by $A_0\ge 1$, there is a nonzero integer solution satisfyingPut the displayed integer bound equal to $Q$ and evaluate the equations at every vector in $\{0,\dots ,Q{\}}^N$. There are $(Q+1{)}^N$ inputs and at most $(2N{A}_{0}Q+1{)}^M$ outputs. But $2N{A}_{0}Q+1\le 2N{A}_0(Q+1)$ and $(Q+1{)}^{N-M}>(2N{A}_0{)}^M$, so the number of inputs is larger. Two distinct inputs have identical outputs; their difference proves the claim. This is the pigeonhole proof of integer Siegel lemma. Rational coefficients are handled by clearing denominators. Over a number field of degree $d$, expanding in a rational basis gives at most $dM$ rational equations, so the same construction applies when $N>dM$, with the height of the resulting integer matrix controlling the bound.

Siegel's original arithmetic definition starts with an entire series $E(z)={\sum }_{n\ge 0}{a}_n{z}^n/n!$, with all $a_n$ in a fixed number field. For every $ϵ>0$ there must be positive integers $d_n$ such that $d_n{a}_0,\dots ,d_n{a}_n$ are algebraic integers, and both $d_n$ and the absolute values of every conjugate of $a_n$ are $O_{ϵ}(n^{ϵn})$. The growth condition ensures convergence everywhere. The stronger, now customary strict E-function definition uses bounds $C^{n+1}$ for a fixed $C$ and also includes the requirement of a nonzero linear differential equation over $\overline{\mathbb{Q}}(z)$. In the original formulation, that differential condition is explicitly part of the system hypothesis in the theorem below. These definitions should be distinguished; the exponentials used here satisfy even the stronger conditions.

The Siegel–Shidlovsky theorem states that if a vector of E-functions satisfies $f^{\prime }=A(z)f$, with $A(z)$ a matrix of rational functions over $\overline{\mathbb{Q}}$, then for every nonzero algebraic $\xi$ which is not a pole of $A$,In particular, algebraic independence of the functions implies algebraic independence of the values. The exclusion of zero is necessary: their Taylor values there are algebraic.

Take rationally independent algebraic ${\gamma }_1,\dots ,{\gamma }_s$ and $f_j(z)=e^{{\gamma }_{j}z}$. Their coefficients are ${\gamma }_j^n$, their conjugates grow exponentially, and powers of a fixed common denominator clear all coefficients through degree $n$. They satisfy the nonsingular diagonal system $f_j^{\prime }={\gamma }_j{f}_j$.

To check functional independence, a polynomial relation among these exponentials, after clearing rational-function denominators, would be ${\sum }_m{P}_m(z)e^{{\lambda }_{m}z}=0$ with distinct ${\lambda }_m={\sum }_j{m}_j{\gamma }_j$. Such an exponential polynomial cannot vanish identically. To isolate a nonzero term with exponent ${\lambda }_0$, apply ${\prod }_{\lambda \ne {\lambda }_0}(D-\lambda {)}^{\mathrm{deg}{P}_{\lambda }+1}$. All other terms vanish, while the remaining polynomial is acted on by operators $D+{\lambda }_0-\lambda$, each injective on polynomials because its nonzero constant preserves a nonzero leading coefficient. Thus the remaining term is nonzero, a contradiction.

The theorem at $\xi =1$ now makes $e^{{\gamma }_j}$ algebraically independent. For arbitrary distinct algebraic exponents ${\alpha }_i$, choose a rational basis of their span and divide its elements by a common denominator so that every ${\alpha }_i$ is an integer combination of the resulting ${\gamma }_j$. Then $e^{{\alpha }_i}$ are distinct Laurent monomials in $e^{{\gamma }_j}$. A linear relation among them becomes a nonzero polynomial relation after multiplying by a common monomial, contradicting independence. These particular E-functions therefore yield the full Lindemann–Weierstrass theorem.