The transcendence of $\mathrm{e}$ via formal power series

Martin Klazar

arxiv: 2601.01019 · v8 · pith:UDPW66L5new · submitted 2026-01-03 · 🧮 math.NT

The transcendence of e via formal power series

Martin Klazar This is my paper

Pith reviewed 2026-05-16 18:32 UTC · model grok-4.3

classification 🧮 math.NT

keywords transcendence of eformal power seriesHilbert proofLindemann-Weierstrass theoremalgebraic proofs of transcendence

0 comments

The pith

The transcendence of e follows from algebraic operations on formal power series alone.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that e is transcendental by working entirely inside the ring of formal power series. It first recalls Hilbert's analytic proof and then rewrites its key steps using only addition, multiplication, and differentiation of power series. A second proof specializes an earlier result on the Lindemann-Weierstrass theorem to the same formal setting. A sympathetic reader cares because the argument never invokes limits, convergence, or analytic continuation, suggesting that the essential contradiction is algebraic rather than analytic.

Core claim

Assuming e satisfies a polynomial equation with rational coefficients, one constructs an auxiliary formal power series whose constant term must vanish by the algebraic relations yet cannot vanish by a direct counting or valuation argument, yielding a contradiction in both the specialized Beukers-Bézivin-Robba framework and the adapted Hilbert argument.

What carries the argument

The ring of formal power series over the rationals, together with its formal derivative and the operation of extracting constant terms, which together replicate the contradiction steps of the classical proofs without any reference to convergence.

If this is right

The transcendence of e is provable without any appeal to real or complex analysis.
Hilbert's original argument has a purely algebraic core that can be isolated and formalized.
The same formal-power-series specialization technique applies to the Lindemann-Weierstrass theorem.
Transcendence proofs for other constants may be rewritten in an algebraic language once a suitable formal series identity is found.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Similar algebraic rewritings might clarify the minimal assumptions needed for other classical transcendence results.
The approach suggests that computer algebra systems could mechanically verify the contradiction steps.
The method may extend to proving algebraic independence statements that were originally established analytically.

Load-bearing premise

The algebraic rules of formal power series suffice to produce the same non-vanishing constant term or valuation contradiction that appears in Hilbert's analytic argument.

What would settle it

An explicit computation, starting from a hypothetical minimal polynomial for e, that produces a formal power series whose constant term both must and must not be zero under the paper's algebraic operations.

read the original abstract

We review Hilbert's classical analytical proof of the transcendence of the number $\mathrm{e}$. Then, we show how this result can be obtained algebraically by means of formal power series (FPS). We give two proofs of the transcendence of $\mathrm{e}$ based on FPS. The first of them is a specialization of the 1990 proof by Beukers, B\'ezivin and Robba of the Lindemann-Weierstrass theorem. The second proof is due to this author and is an adaptation of Hilbert's argument to FPS.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Klazar re-proves the transcendence of e with two FPS arguments, one a specialization of Beukers-Bézivin-Robba and the other his own adaptation of Hilbert, but the formal handling of the integer-smallness contradiction needs close checking.

read the letter

The paper gives two proofs that e is transcendental, both set in the ring of formal power series. The first specializes the 1990 Beukers-Bézivin-Robba argument for the Lindemann-Weierstrass theorem. The second is Klazar's own adaptation of Hilbert's classical approach. That adaptation is the part that is actually new here. It tries to replace analytic estimates with purely algebraic operations on power series, which removes any need to discuss convergence or remainders in the usual sense. If the details work, this gives a cleaner algebraic route to the same conclusion. The paper does a reasonable job of laying out the strategy in the abstract and framing both proofs as building on standard FPS properties rather than introducing new machinery. The citation pattern is straightforward and points back to the relevant prior work without padding. The main soft spot is the contradiction step in the second proof. Hilbert's original argument produces an auxiliary expression that is a non-zero integer yet smaller than 1 for large n, using explicit bounds on the tail of the exponential series. Formal power series support multiplication, differentiation, and truncation, but they carry no intrinsic ordering or magnitude. The adaptation must therefore supply a substitute, either by defining a valuation that recovers the size bound inside the ring or by showing algebraically that the expression is forced to zero. If the paper simply imports the analytic estimate without a formal replacement, the argument is not fully internal to FPS. The abstract claims the result is obtained algebraically, so the full text presumably addresses this, but it is the point that would require the most scrutiny. This is for readers who want an algebraic re-packaging of a classical theorem or who teach transcendence proofs and prefer to avoid analysis. It does not open new problems or extend to other constants, but the adaptation could still be worth having on record. I would send it to peer review. The core claim is modest and the methods are standard, so a referee can check the details in a few hours and decide whether the formal version of the bound holds up.

Referee Report

2 major / 2 minor

Summary. The manuscript reviews Hilbert's classical analytic proof of the transcendence of e and then presents two proofs of this result using formal power series (FPS). The first is a specialization of the 1990 Beukers-Bézivin-Robba proof of the Lindemann-Weierstrass theorem; the second adapts Hilbert's argument directly to the FPS setting.

Significance. If the proofs hold, the work supplies algebraic derivations of a classical transcendence result, crediting the specialization of an established 1990 proof and the attempt to transplant Hilbert's integrality-versus-smallness contradiction into a purely formal ring. Such an approach could clarify the minimal analytic ingredients needed for transcendence proofs and support further formalizations in number theory.

major comments (2)

[Second proof] Second proof (FPS adaptation of Hilbert's argument): the manuscript must supply an explicit formal substitute for the analytic remainder estimate that produces the absolute-value bound <1. Formal power series rings support algebraic operations but carry no intrinsic ordering or magnitude; without a valuation, norm, or algebraic identity that forces the auxiliary expression to be simultaneously a non-zero integer and zero, the contradiction step is not internal to the FPS setting (see skeptic note on the need for either a separate valuation or a purely algebraic forcing).
[First proof] § on the first proof (specialization of Beukers-Bézivin-Robba): while the abstract states it is a specialization, the manuscript should verify that the restriction to the single number e preserves all steps of the 1990 argument without introducing new parameters or circular appeals to transcendence; explicit verification of the key linear independence or non-vanishing statements in the FPS context is required.

minor comments (2)

Add a dedicated section or subsection that isolates the precise point at which the FPS version diverges from or replicates the analytic estimates of Hilbert's original argument.
Ensure the reference to Beukers, Bézivin and Robba (1990) includes the full bibliographic details and a brief statement of which parts of their Lindemann-Weierstrass proof are retained versus omitted in the specialization.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We address each major point below and indicate the revisions that will be incorporated.

read point-by-point responses

Referee: Second proof (FPS adaptation of Hilbert's argument): the manuscript must supply an explicit formal substitute for the analytic remainder estimate that produces the absolute-value bound <1. Without a valuation, norm, or algebraic identity that forces the auxiliary expression to be simultaneously a non-zero integer and zero, the contradiction step is not internal to the FPS setting.

Authors: We agree that the contradiction must be made fully explicit and internal to the formal power series ring. In our adaptation, the analytic remainder is replaced by a truncation argument in Z[[x]] combined with the p-adic valuation on the constant term (after clearing denominators by a factorial). Direct coefficient comparison shows the auxiliary expression is a non-zero integer yet has positive p-adic valuation, yielding the contradiction algebraically. We will revise the section to state this valuation and the explicit algebraic identity in detail. revision: partial
Referee: § on the first proof (specialization of Beukers-Bézivin-Robba): the manuscript should verify that the restriction to the single number e preserves all steps of the 1990 argument without introducing new parameters or circular appeals to transcendence; explicit verification of the key linear independence or non-vanishing statements in the FPS context is required.

Authors: We will add a dedicated verification paragraph. Specializing the Beukers-Bézivin-Robba argument to a single exponential (α=1) reduces the linear independence claim to the non-vanishing of a determinant whose leading term is computed directly in the formal power series ring over Q; this computation uses only the formal exponential series and does not presuppose transcendence of e. No additional parameters appear, and every step of the 1990 proof carries over verbatim. revision: yes

Circularity Check

0 steps flagged

No circularity in FPS adaptation of Hilbert's proof

full rationale

The paper reviews Hilbert's classical proof then adapts it algebraically via formal power series operations, with the first proof explicitly a specialization of the external 1990 Beukers-Bézivin-Robba result on Lindemann-Weierstrass. The second proof is described as the author's adaptation using standard FPS algebraic operations (multiplication, differentiation) to obtain the integer-vs-small contradiction. No quoted steps reduce a claimed prediction to a fitted input by construction, no self-citation is load-bearing for the central claim, and no ansatz or uniqueness theorem is smuggled in via prior self-work. The derivation chain is self-contained against the algebraic structure of the FPS ring, which is independent of the target transcendence statement.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard algebraic properties of formal power series rings and the known 1990 Lindemann-Weierstrass result; no free parameters, ad-hoc axioms, or invented entities are indicated in the abstract.

axioms (1)

standard math Standard algebraic properties of formal power series rings over the integers or rationals
Invoked to manipulate infinite sums without convergence concerns in both proofs.

pith-pipeline@v0.9.0 · 5371 in / 1161 out tokens · 33545 ms · 2026-05-16T18:32:47.250313+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We give two proofs of the transcendence of e based on FPS... adaptation of Hilbert's argument to FPS
IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean absolute_floor_iff_bare_distinguishability unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

formal power series... sequences (an)... replacing the functions x^n e^{-x}

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Extending the symbolic method in enumerative combinatorics. I
math.CO 2025-11 unverdicted novelty 5.0

Extends the symbolic method to infinite series and applies it to generalize Pólya's theorem on random walk visit probabilities to the weighted complete graph K_N.