pith. sign in

arxiv: 2604.03745 · v1 · submitted 2026-04-04 · 🧮 math.NT · math.DS

On higher dimensional integrality and multiplicative dependence in semigroup algebraic dynamics

Jorge Mello , Yu Yasufuku This is my paper

Pith reviewed 2026-05-13 17:11 UTC · model grok-4.3

classification 🧮 math.NT math.DS
keywords multiplicative dependencesemigroup orbitsintegral pointsalgebraic dynamicsVojta conjectureDiophantine geometryhigher-dimensional dynamicsNorthcott theorem
0
0 comments X

The pith

Non-density of integral points in semigroup orbits implies sparse multiplicative dependence in higher dimensions.

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

The paper proves that if integral points fail to be dense inside a semigroup orbit coming from algebraic dynamics, then the points inside that orbit exhibit only sparse multiplicative dependence relations. This is presented as a higher-dimensional and semigroup-level extension of earlier theorems by Bérczes, Ostafe, Shparlinski and Silverman, themselves generalizations of the classical Northcott and Siegel finiteness theorems. The authors further show that the required non-density of integral points is a consequence of Vojta's conjecture, giving a conditional but uniform control over orbit structure across dimensions. A reader cares because the result supplies a mechanism that turns non-density assumptions into concrete sparsity statements about algebraic relations in dynamical orbits.

Core claim

If the set of integral points is non-dense in a semigroup orbit, then multiplicative dependence among points of the orbit is sparse. This holds in arbitrary dimension for semigroup actions and is shown to follow from Vojta's conjecture.

What carries the argument

The implication mapping non-density of integral points inside the semigroup orbit to sparsity of multiplicative dependence relations among orbit points.

If this is right

  • Extends Northcott-Siegel finiteness statements from one dimension and groups to semigroups in any dimension.
  • Under Vojta's conjecture the integral points in such orbits are automatically sparse in the multiplicative sense.
  • Supplies a uniform dynamical criterion for controlling algebraic dependence inside orbits.
  • Links integrality questions directly to the structure of the multiplicative group generated by orbit points.

Where Pith is reading between the lines

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

  • The same non-density hypothesis might be used to bound the number of solutions to related Diophantine equations inside orbits.
  • Techniques could transfer to unlikely-intersection problems by limiting the dimension of multiplicative subgroups inside orbits.
  • If the non-density can be verified in additional families without Vojta, unconditional sparsity statements would follow immediately.

Load-bearing premise

Integral points are non-dense inside the semigroup orbits under consideration.

What would settle it

An explicit semigroup orbit in which integral points remain non-dense yet multiplicative dependence relations are dense would contradict the claimed implication.

read the original abstract

We study multiplicative dependence of points in semigroup orbits in higher dimensions. More specifically, we show that the non-density of integral points in semigroup orbits implies sparsity of multiplicative dependence in orbits. This can be viewed as a semigroup dynamical and a higher dimensional version of recent results by B\'{e}rczes, Ostafe, Shparlinski and Silverman, which in turn can be viewed as a generalization of theorems of Northcott and Siegel. We also confirm that the non-density hypothesis of integral points in orbits is implied by Vojta's conjecture.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript proves that the non-density of integral points in semigroup orbits in higher dimensions implies sparsity of multiplicative dependence in those orbits. It also confirms that Vojta's conjecture implies the non-density hypothesis. This is presented as a higher-dimensional semigroup version of results by Bérczes, Ostafe, Shparlinski and Silverman, generalizing theorems of Northcott and Siegel.

Significance. If the central implication holds, the work provides a natural extension of Northcott–Siegel type theorems to semigroup actions and higher dimensions, with the conditional link to Vojta's conjecture serving as a clear strength. The conditional framing avoids overclaiming and aligns with the existing literature on arithmetic dynamics.

major comments (2)
  1. [Theorem 1.2] Theorem 1.2 (main implication): the derivation of sparsity from non-density relies on height comparisons along orbits; the manuscript should explicitly state whether the resulting sparsity bound is effective (i.e., computable from the data of the semigroup and the variety) or merely existential, as this affects the strength of the result.
  2. [Section 4] Section 4 (Vojta reduction): the argument that Vojta's conjecture yields non-density of integral points in the orbit is sketched but omits the precise application of the conjecture to the auxiliary varieties or schemes constructed from the semigroup generators; a short paragraph detailing the height inequality obtained from Vojta would make the reduction load-bearing and verifiable.
minor comments (2)
  1. [Introduction] The citation to the Bérczes–Ostafe–Shparlinski–Silverman paper is given only by author names in the abstract and introduction; the full bibliographic reference should appear in the bibliography section.
  2. [Section 2] Notation for the semigroup S and the orbit O(x) is introduced gradually; a consolidated notation table or early definition paragraph would improve readability in higher-dimensional settings.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and for the helpful suggestions. We address the major comments point by point below and have incorporated clarifications into the revised version.

read point-by-point responses

  1. Referee: [Theorem 1.2] Theorem 1.2 (main implication): the derivation of sparsity from non-density relies on height comparisons along orbits; the manuscript should explicitly state whether the resulting sparsity bound is effective (i.e., computable from the data of the semigroup and the variety) or merely existential, as this affects the strength of the result.

    Authors: We thank the referee for highlighting this point. The proof of Theorem 1.2 derives the sparsity bound via explicit height comparisons along the semigroup orbits, with the constants depending computably on the semigroup generators, the variety, and the embedding. We have added a remark immediately after the statement of Theorem 1.2 to explicitly record that the resulting bound is effective. revision: yes

  2. Referee: [Section 4] Section 4 (Vojta reduction): the argument that Vojta's conjecture yields non-density of integral points in the orbit is sketched but omits the precise application of the conjecture to the auxiliary varieties or schemes constructed from the semigroup generators; a short paragraph detailing the height inequality obtained from Vojta would make the reduction load-bearing and verifiable.

    Authors: We agree that the reduction benefits from greater explicitness. We have inserted a new paragraph in Section 4 that identifies the auxiliary schemes built from the semigroup generators and states the precise height inequality furnished by Vojta's conjecture on these schemes, from which non-density of integral points follows directly. revision: yes

Circularity Check

0 steps flagged

No significant circularity; implication is conditional and independent

full rationale

The paper proves that non-density of integral points in semigroup orbits implies sparsity of multiplicative dependence, framed explicitly as a conditional result generalizing Northcott-Siegel and Bérczes-Ostafe-Shparlinski-Silverman theorems by other authors. It separately notes that Vojta's conjecture implies the non-density hypothesis but asserts no unconditional statements. No equations reduce by construction to fitted inputs, no self-definitional loops appear in orbit or dependence definitions, and no load-bearing uniqueness theorems or ansatzes are imported via self-citation. The logical skeleton remains an implication whose validity rests on height estimates and orbit definitions that are not shown to collapse into the conclusion itself.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; no free parameters or invented entities are mentioned. Relies on standard results from number theory and dynamics plus Vojta's conjecture as a domain assumption.

axioms (1)
  • domain assumption Vojta's conjecture implies non-density of integral points in orbits
    Explicitly stated in the abstract as a confirmation.

pith-pipeline@v0.9.0 · 5380 in / 1039 out tokens · 46770 ms · 2026-05-13T17:11:40.888209+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

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

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.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [1]

    Attila B´ erczes, Yann Bugeaud, K´ alm´ an Gy¨ ory, Jorge Mello, Alina Ostafe, and Min Sha, Multiplicative dependence of rational values modulo approximate finitely generated groups, Math. Proc. Cambridge Philos. Soc.177(2024), no. 1, 149–165

    work page 2024

  2. [2]

    Shparlinski, and Joseph H

    Attila B´ erczes, Alina Ostafe, Igor E. Shparlinski, and Joseph H. Silverman,Multiplicative dependence among iterated values of rational functions modulo finitely generated groups, Int. Math. Res. Not. IMRN (2021), no. 12, 9045–9082

    work page 2021

  3. [3]

    Nielsen and Isaac L

    Enrico Bombieri and Walter Gubler,Heights in Diophantine geometry, New Mathematical Monographs, vol. 4, Cambridge University Press, Cambridge, 2006

    work page 2006

  4. [4]

    Tucker,Isotriviality, integral points, and primitive primes in orbits in characteristicp, Algebra Number Theory17(2023), no

    Alexander Carney, Wade Hindes, and Thomas J. Tucker,Isotriviality, integral points, and primitive primes in orbits in characteristicp, Algebra Number Theory17(2023), no. 9, 1573–1594

    work page 2023

  5. [5]

    Tucker, and Umberto Zannier,Integral points in two-parameter orbits, J

    Pietro Corvaja, Vijay Sookdeo, Thomas J. Tucker, and Umberto Zannier,Integral points in two-parameter orbits, J. Reine Angew. Math.706(2015), 19–33

    work page 2015

  6. [6]

    Ferretti,Diophantine inequalities on projective varieties, Int

    Jan-Hendrik Evertse and Roberto G. Ferretti,Diophantine inequalities on projective varieties, Int. Math. Res. Not. (2002), no. 25, 1295–1330. 11

    work page 2002

  7. [7]

    Number Theory265(2024), 36–47

    Nathan Grieve and Chatchai Noytaptim,On non-Zariski density of(D, S)-integral points in forward orbits and the subspace theorem, J. Number Theory265(2024), 36–47

    work page 2024

  8. [8]

    Joseph Gunther and Wade Hindes,Integral points of bounded degree on the projective line and in dynamical orbits, Proc. Amer. Math. Soc.145(2017), no. 12, 5087–5096

    work page 2017

  9. [9]

    Silverman,Diophantine geometry: an introduction, Graduate Texts in Mathematics, vol

    Marc Hindry and Joseph H. Silverman,Diophantine geometry: an introduction, Graduate Texts in Mathematics, vol. 201, Springer-Verlag, New York, 2000

    work page 2000

  10. [10]

    Silverman,A quantitative estimate for quasiintegral points in orbits, Pacific J

    Liang-Chung Hsia and Joseph H. Silverman,A quantitative estimate for quasiintegral points in orbits, Pacific J. Math.249(2011), no. 2, 321–342

    work page 2011

  11. [11]

    Shu Kawaguchi,Canonical heights for random iterations in certain varieties, Int. Math. Res. Not. IMRN (2007), no. 7, Art. ID rnm 023, 33

    work page 2007

  12. [12]

    Yohsuke Matsuzawa,Growth of local height functions along orbits of self-morphisms on pro- jective varieties, Int. Math. Res. Not. IMRN (2023), no. 4, 3533–3575

    work page 2023

  13. [13]

    Math.25(2019), 1091–1111

    Jorge Mello,On quantitative estimates for quasiintegral points in orbits of semigroups of rational maps, New York J. Math.25(2019), 1091–1111

    work page 2019

  14. [14]

    ,On sparsity of integral points in orbits and correspondences with big pullbacks under iterates, 2025, arXiv:2501.04642v2

    work page arXiv 2025

  15. [15]

    Shparlinski, and Umberto Zannier,On multiplicative depen- dence of values of rational functions and a generalization of the Northcott theorem, Michigan Math

    Alina Ostafe, Min Sha, Igor E. Shparlinski, and Umberto Zannier,On multiplicative depen- dence of values of rational functions and a generalization of the Northcott theorem, Michigan Math. J.68(2019), no. 2, 385–407

    work page 2019

  16. [16]

    Silverman,Integer points, Diophantine approximation, and iteration of rational maps, Duke Math

    Joseph H. Silverman,Integer points, Diophantine approximation, and iteration of rational maps, Duke Math. J.71(1993), no. 3, 793–829

    work page 1993

  17. [17]

    1239, Springer-Verlag, Berlin, 1987

    Paul Vojta,Diophantine approximations and value distribution theory, Lecture Notes in Mathematics, vol. 1239, Springer-Verlag, Berlin, 1987

    work page 1987

  18. [18]

    Z.279 (2015), no

    Yu Yasufuku,Integral points and relative sizes of coordinates of orbits inP N, Math. Z.279 (2015), no. 3-4, 1121–1141

    work page 2015

  19. [19]

    ,Uniformity of quasi-integral points of bounded degree in higher-dimensional orbits, Math. Proc. Cambridge Philos. Soc.178(2025), no. 1, 15–29

    work page 2025

  20. [20]

    Marley Young,On multiplicative dependence between elements of polynomial orbits, 2024, arXiv:2402.13712. Department of Mathematics and Statistics, Oakland University, Michigan, USA Email address:jorgedemellojr@oakland.edu Department of Mathematics, School of Education, W aseda University, Tokyo, Japan Email address:yasufuku@waseda.jp

    work page arXiv 2024