Transcendence degrees of fields generated by exponentials of products

Heinrich Massold

REVIEW 3 major objections 3 minor 6 references

Transcendence degrees of fields generated by exponentials of products

T0 review · 3 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read The paper claims an unconditional lower bound T ≥ floor(sqrt((min(m,n)+1)/2)) for the transcendence degree of fields generated by exponentials of products, and reduces the stronger conjectured bound to a torus-intersection conjecture.

desk verdict The advertised unconditional bound is false at m=n=1, but the conditional reduction to Conjecture 1.1 is a separate, potentially sound contribution that deserves referee attention. read the letter →

arxiv 2506.01123 v1 pith:XCHJL37I submitted 2025-06-01 math.NT

Heinrich Massold This is my paper

classification math.NT MSC 11J8511J9114L10

keywords transcendencedegreealgebraicindependenceexponentialsofproductssplittorispecialsubvarietieslinearoverQgenericitylowerbounds

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper studies the field Q({exp(θ_i κ_j)}) generated by exponentials of products of two tuples of real numbers, each linearly independent over Q, and asks how many algebraically independent numbers it contains. Its central aim is a lower bound on the transcendence degree T in terms of the tuple lengths m and n: the paper claims an unconditional weak estimate T ≥ floor(sqrt((min(m,n)+1)/2)), and it shows that the stronger conjectured estimate T ≥ mn/(m+n) − 1 would follow from a separate conjecture about special subvarieties of split tori. The argument works through genericity parameters that measure how far short integer combinations of the entries stay from zero, and reduces the desired transcendence bound to a harmonic-mean condition on those parameters. A sympathetic reader would care because the strong estimate has been open, and any unconditional lower bound, even with square-root growth, is a step toward it.

What carries the argument

The load-bearing invariant is gen(θ,η), the largest number ν such that no nonzero short integer combination of ν entries of θ comes exponentially close to 0 in the sense log|...| ≫ −D^η; a bituple (θ,κ) is (μ,ν,η)-generic when analogous lower bounds hold for products of combinations. The engine is the harmonic-mean criterion of Proposition 2.2: gen(θ,η)gen(κ,η)/(gen(θ,η)+gen(κ,η)) > η forces T ≥ η−1. Around this, the paper constructs auxiliary polynomials with controlled degree and height whose zeros approximate the point (exp(θ_i κ_j)), and feeds them into the algebraic-independence criterion stated as Proposition 1.7 to convert approximation quality into transcendence-degree lower bounds. For the strong conditional result, the machinery is the theory of s-special subvarieties of split tori, where special means contained in an algebraic subgroup of codimension tied to the dimension.

What would settle it

Check the tuple $m=n=1$, $\theta=(1)$, $\kappa=(\log 2)$. Both tuples are linearly independent over $\mathbb{Q}$, but $\exp(1\cdot\log 2)=2$ is algebraic, so $T=0$. The claimed bound of Corollary 1.6 gives $T\ge \lfloor\sqrt{(1+1)/2}\rfloor=1$. This single computation settles the corollary as stated: it is false, and it locates the failure in the parameter inequality $\nu\le (n-t)/\max(t-1,1)$, which for $n=1$, $t=1$ reads $\nu\le 0$.

Watch

Extended reading notes

Core claim

Let θ=(θ_1,...,θ_m) and κ=(κ_1,...,κ_n) be real tuples, each linearly independent over Q, and let T = trdeg_Q Q({exp(θ_i κ_j)}). The paper's main numeric result, stated as Corollary 1.6, is the lower bound T ≥ floor(sqrt((min(m,n)+1)/2)). This is meant to follow from Theorem II.2, which says: if regular tuples admit parameters μ≤m, ν≤n with μν/(μ+ν)>t, μ≤(m−t)/max(t−1,1), and ν≤(n−t)/max(t−1,1), then T≥t. The paper also proves Theorem I, showing that Conjecture 1.1 (a finiteness statement for special subvarieties inside irreducible subvarieties of split tori) implies Conjecture 1.3, which contains the strong estimate T ≥ mn/(m+n)−1. The proof additionally supplies a general Proposition 2.2: if gen(θ,η)gen(κ,η)/(gen(θ,η)+gen(κ,η)) > η, then T ≥ η−1.

Load-bearing premise

The unconditional bound stands on the assumption that whole-number parameters μ, ν can always be chosen so that μν/(μ+ν)>t while μ≤(m−t)/max(t−1,1) and ν≤(n−t)/max(t−1,1); for n=1 and t=1 no such choice exists, since the last inequality reads ν≤0.

Editorial extensions

If this is right

If Theorem II.2's hypotheses are met, the transcendence degree bound $T\ge t$ is unconditional and yields Corollary 1.6's numerical bound $\lfloor\sqrt{(\min(m,n)+1)/2}\rfloor$.
If Conjecture 1.1 is proved, Theorem I implies Conjecture 1.3, including the strong estimate $T\ge mn/(m+n)-1$ for real tuples.
Proposition 2.2 shows that partial genericity is enough: even when the tuples are not fully generic, the harmonic-mean condition on their genericity parameters forces a transcendence-degree lower bound.
The second part of Corollary 1.6 gives an explicit lower bound for fields generated by $\exp(\zeta^{m}),\ldots,\exp(\zeta^{n-m})$ with transcendental $\zeta$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Our reading: the n=1 case is not a harmless edge case; the corollary's formula is numerically wrong for m=n=1 (T=0 vs claimed 1), so any repair must either restrict the theorem to n≥2 or replace the parameter choice.
Our reading: the same parameter obstruction propagates to the second part of Corollary 1.6 for small n, since it inherits the same inequality via the same proof.
Our reading: a natural testable repair is to prove the small cases n=1,2 directly (the t=1 case is already known) and then use Theorem II.2 only for n large enough; this would keep the square-root shape.
Our reading: because the strong bound is conditional on Conjecture 1.1, the paper's most durable contribution may be the reduction itself, which converts a transcendence problem into a geometric finiteness statement about subvarieties of split tori.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

First thing you should know: the counterexample in the stress-test is real. Corollary 1.6 claims T ≥ floor(sqrt((min(m,n)+1)/2)) for all linearly independent real tuples. Take m=n=1, θ=1, κ=log2. The hypotheses hold and the field is Q, so T=0<1. The proof picks t=1, μ=ν=1, which fails the harmonic-mean condition μν/(μ+ν)>t and also violates ν≤(n-t)/max(t-1,1)=0. So the paper's central advertised result, the weaker unconditional bound, is false as stated.

That said, the paper is not worthless. The reduction in Theorem I — Conjecture 1.1 implies Conjecture 1.3 — appears to be new and is independent of the false corollary. If it is correct, it is a meaningful route to the conjectured lower bound. The appendix gives a full proof of Proposition 2.2, generalizing a result from LNM 1752; that looks like real work. The estimates under genericity hypotheses (Theorem II.1) may also be salvageable if the parameter issue is fixed.

The soft spots are proportionate: the false corollary is load-bearing, the proof has a concrete parameter mistake, and the paper leans on an unpublished same-author result [Ma] for Theorem 3.2, which is a verification burden. The appendix also has some typos and the notation in Lemma 2.1 uses 'regular' where 'generic' seems intended, but those are minor.

My take: this should not be accepted as is. The main advertised result is false, so the paper as written has to be rejected or overhauled. But the conditional reduction and the appendix techniques are worth a serious look. I would send it to a referee to check Theorem I carefully, with the expectation of heavy revision — the author needs to either remove Corollary 1.6 or fix the parameter choice, and then clearly separate the conditional results from any unconditional claims. If the reduction verifies, a revised version would be a solid contribution.

Referee Report

3 major / 3 minor

Summary. The manuscript studies the transcendence degree T of the field Q({exp(θ_i κ_j)}) generated by exponentials of products of entries of two tuples θ and κ. It formulates a conjecture on special subvarieties of split tori (Conjecture 1.1), proves a conditional implication (Theorem I) from that conjecture to a set of transcendence statements (Conjecture 1.3), and claims an unconditional estimate (Corollary 1.6) of the form T ≥ floor(sqrt((min(m,n)+1)/2)) when both tuples are real and linearly independent over Q. The proof technique combines Philippon's criterion, a notion of (μ,η)-generic and (μ,η)-special tuples, and an induction using a regularity theorem quoted from an unpublished paper [Ma]. An appendix supplies a generalized proof of a proposition on exponentials under generic hypotheses. The central advertised unconditional result is false as stated.

Significance. If true, Corollary 1.6 would be a notable unconditional step toward the conjectured bound T ≥ mn/(m+n) − 1. The paper's conditional reduction (Theorem I) is a legitimate implication, and the appendix gives a detailed proof of a generalized Philippon-type proposition; these are useful components. However, the main advertised result is false, and this is not a matter of presentation or a missing reference but a concrete counterexample at the smallest admissible parameters. The current manuscript cannot be accepted as a proof of the claimed unconditional estimate.

major comments (3)

[Corollary 1.6] Corollary 1.6 is false as stated. Take m=n=1, θ_1=1, κ_1=log 2. Both singletons are linearly independent over Q and regular in the sense of §1.1, so the hypotheses hold; but exp(1·log 2)=2, hence Q({exp(θ_i κ_j)})=Q and T=0, while the corollary asserts T≥floor(sqrt(2/2))=1. The proof fails already in its parameter choice: with t=floor(sqrt((n+1)/2))=1 and μ=ν=2t^2−1=1, the condition μν/(μ+ν)>t of Theorem II.2 becomes 1/2>1, and the condition ν≤(n−t)/max(t−1,1) becomes 1≤0. For t≥2 the proof also uses the wrong lower bound on n: it claims m≥n≥(ν−1)(t−1)−1, but the actual requirement from Theorem II.2 is n≥ν(t−1)+t; for example, with n=7, t=2 and ν=7, the required inequality ν≤(n−t)/max(t−1,1)=5 fails. Thus the advertised unconditional estimate is not established.
[Theorem II.1 / §3.2] The proof of Theorem II.1 for t≥3 relies on Theorem 3.2, which is quoted as a 'mainly technical generalization' of [Ha] and is said to be proved in the unpublished paper [Ma] ('To appear'). Since [Ma] is not available to the reader, the central induction step in Theorem II.1—and hence the route to Corollary 1.6—is not self-contained. Even if the counterexample to Corollary 1.6 were repaired by restricting to larger n, this dependence would remain a serious verification burden.
[Proposition 2.2 / Appendix A.3] Proposition 2.2 is stated for tuples 'linearly independent over Q' without the word 'real', but the proof in Appendix A.3 uses the fact that the imaginary part of (Θ̄_k)_{iaj} is zero (the sentence before Eq. (4)) in order to write z_{iaj}=exp(x_{iaj}) with control on Im x_{iaj}. That fact holds only when the exponents θ_i κ_j are real. If the proposition is intended only for real θ and κ, the statement should say so; if it is intended for complex regular tuples, the proof is incomplete at this point.

minor comments (3)

[Definition 1.2] Definition 1.2 contains several typographical errors: '|r| ≤ r' should be '|r| ≤ R'; '∈∈ Cn be regular Q' should be '∈ Cn be regular'; and in the definition of '(μ,ν,η)-special' the second 'l ∈ Zµ' should be 'r ∈ Zν'.
[Proof of Theorem II.2] In the first case of the proof of Theorem II.2, the text reads 'If gen(θ,t) ≥ μ and gen(θ,t) ≥ ν'; the second inequality should be 'gen(κ,t) ≥ ν'. The intention is clear from the symmetric argument, but the formula as printed is not the stated hypothesis.
[Corollary 1.6, second part] The second part of Corollary 1.6 is misprinted and grammatically unclear: with m,n∈Z, the set {exp(ζ^m), exp(ζ^{m+1}), ..., exp(ζ^{n−m})} and the subsequent choices θ=(ζ^{[m/2]}, ..., ζ^{(n−m)−[n−m/2]}) and κ=(ζ^{m−[m/2]}, ..., ζ^{[n−m/2]}) do not match the statement and should be rewritten.

Circularity Check

1 steps flagged · score 4.0 of 10

No definitional circularity; the main circularity burden is that the unconditional Theorem II and Corollary 1.6 rest on Theorem 3.2, which is deferred to an unpublished same-author paper [Ma].

self citation load bearing [Section 3, Theorem 3.2 and its proof; Section 4, proof of Theorem II.2 (t ≥ 3 case)]
"This result is a mainly technical generalization of [Ha], Corollary 3 and can be found in [Ma]. ... By Theorem 3.2, there is a proper Zariski closed subset ¯X that contains all s-special subvarietes of X."

The unconditional proof of Theorem II.2, which is the basis for the advertised Corollary 1.6, reaches a key step by invoking Theorem 3.2. That theorem is not proved in the paper; its proof is said to 'be found in [Ma]', where [Ma] is an unpublished paper by the same author, listed as 'To appear'. The paper therefore does not supply an independent proof of the main geometric input needed to derive the contradistinction from T(Θ)=t−1. This is load-bearing self-citation: the central unconditional claim depends on an unverified, same-author manuscript rather than on a derivation contained in, or externally verified by, the present paper.

full rationale

The paper is not circular in the sense of defining its conclusion into its hypotheses. Theorem I is an honest conditional reduction of Conjecture 1.3 to Conjecture 1.1. Proposition 2.2 is an analytic transcendence-criterion argument, and the generic/special definitions are not simply renamed versions of the target transcendence degree. The main circularity concern is narrower: Theorem II.2's proof for t ≥ 3 depends essentially on Theorem 3.2, whose proof is outsourced to the same-author unpublished work [Ma]. Because Corollary 1.6 is derived from Theorem II.2, the paper's central unconditional claim rests on that self-citation. That warrants a score of 4 rather than 0. Separately, and independently of circularity, the proof of Corollary 1.6 contains a concrete arithmetic failure: for m=n=1, the stated hypotheses hold for θ=(1), κ=(log 2), but the required parameter condition ν≤(n−t)/max(t−1,1) is impossible, and the claimed transcendence degree bound is false. This is a correctness defect, not a circularity defect; it does not change the circularity score.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The central claim rests on published external tools and on one unpublished theorem by the same author. No free parameters or invented entities appear.

assumptions (3)

standard math Philippon's criterion (Proposition 1.7) and Waldschmidt's lemma (A.4) are valid.
Used to convert approximation estimates into transcendence degree bounds; both are cited to published sources.
standard math Theorems from [LNM 1752] (Proposition A.1 and Lemma A.2) and [Mau] are valid.
Used in the appendix and in the t=1 base case.
ad hoc to paper Theorem 3.2 from [Ma] holds and applies to the varieties considered in Theorem II.
This is the key structural result for special subvarieties; it is cited only as an unpublished same-author paper 'To appear' and is not proved in this preprint.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Transcendence degrees of fields generated by exponentials of products." pith.science (2026). https://pith.science/paper/XCHJL37I

@misc{pith2026250601123,
  author       = {Pith},
  title        = {Pith review of: Transcendence degrees of fields generated by exponentials of products},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XCHJL37I}},
  note         = {Machine review of arXiv:2506.01123}
}

abstract

Let $\theta=(\theta_1,\ldots,\theta_m) \in \R^m, \kappa=(\kappa_1,\ldots,\kappa_n) \in \R^n$ be two tuples of real numbers each linearly independent over $\Q$, and $T$ the transcendence degree of the field generated by $\{\exp(\theta_i \kappa_j) | i=1,\ldots,m, \; j=1,\ldots,n \}$ over $\Q$. The estimate $T \geq \frac{mn}{m+n} -1$ has been conjectured for some time but could only be proved under additional hypotheses for $\theta$ and $\kappa$. This paper proves a weaker estimate for $T$ while also reducing the strong estimate to a prominent conjecture on intersections of subvarieties of split tori with subgroups.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages

[1]

International Mathematics Research Notices, Volume 2009, Issue 5, 2009, Pages 860–886,

P.\@ Habegger: On the bounded height conjecture. International Mathematics Research Notices, Volume 2009, Issue 5, 2009, Pages 860–886,

work page 2009
[2]

Springer Lecture Notes 1752

Introduction to algebraic independence theory. Springer Lecture Notes 1752

work page
[3]

To appear

H.\@ Massold: Intersections of subvarietes of _m^n with algebraic subgroups. To appear

work page
[4]

Mathematische Annalen, Volume 341, pages 789–824, (2008)

G.\@ Maurin: Courbes alg\'ebrique et \'equations multiplicatives. Mathematische Annalen, Volume 341, pages 789–824, (2008)

work page 2008
[5]

hautes \'etudes sci.\@ publ.\@ math\'ematiques 64 (1986), 5-52

P.\@ Phillippon: Crit\`eres pour l'ind\'ependance alg\'ebriques, Inst. hautes \'etudes sci.\@ publ.\@ math\'ematiques 64 (1986), 5-52

work page 1986
[6]

M.\@ Waldschmidt: Transcendance et exponentielles en plusieurs variables, Invent.\@ Math.\@ 63/1, (1981), 97-127

work page 1981

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.

[1] [1]

International Mathematics Research Notices, Volume 2009, Issue 5, 2009, Pages 860–886,

P.\@ Habegger: On the bounded height conjecture. International Mathematics Research Notices, Volume 2009, Issue 5, 2009, Pages 860–886,

work page 2009

[2] [2]

Springer Lecture Notes 1752

Introduction to algebraic independence theory. Springer Lecture Notes 1752

work page

[3] [3]

To appear

H.\@ Massold: Intersections of subvarietes of _m^n with algebraic subgroups. To appear

work page

[4] [4]

Mathematische Annalen, Volume 341, pages 789–824, (2008)

G.\@ Maurin: Courbes alg\'ebrique et \'equations multiplicatives. Mathematische Annalen, Volume 341, pages 789–824, (2008)

work page 2008

[5] [5]

hautes \'etudes sci.\@ publ.\@ math\'ematiques 64 (1986), 5-52

P.\@ Phillippon: Crit\`eres pour l'ind\'ependance alg\'ebriques, Inst. hautes \'etudes sci.\@ publ.\@ math\'ematiques 64 (1986), 5-52

work page 1986

[6] [6]

M.\@ Waldschmidt: Transcendance et exponentielles en plusieurs variables, Invent.\@ Math.\@ 63/1, (1981), 97-127

work page 1981