A nonlinear version of the $\alpha$-Kakutani equidistribution problem

Ignacio Rojas

arxiv: 2605.16156 · v2 · pith:XW6MLPEVnew · submitted 2026-05-15 · 🧮 math.DS

A nonlinear version of the α-Kakutani equidistribution problem

Ignacio Rojas This is my paper

Pith reviewed 2026-05-19 18:35 UTC · model grok-4.3

classification 🧮 math.DS

keywords Kakutani equidistributionnonlinear contractionsinterval splittingLebesgue measurenonlattice conditionthermodynamic regularitydynamical systems

0 comments

The pith

Nonlinear families of C^{1+ε} contractions equidistribute interval endpoints according to Lebesgue measure when nonlattice and thermodynamic regularity conditions hold.

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

This paper extends classical equidistribution results for endpoints generated by interval-splitting procedures to a nonlinear setting. It considers repeated splitting driven by a finite or countable family of C^{1+ε} contractions rather than linear maps. The central result establishes that the endpoints fill the interval uniformly with respect to Lebesgue measure, provided the family satisfies nonlattice and thermodynamic regularity assumptions. A sympathetic reader would care because the work enlarges the scope of known procedures while retaining the uniform distribution property.

Core claim

We extend results of Kakutani, Adler and Flatto, Smilansky, and Pollicott and Sewell on the equidistribution of endpoints generated by interval-splitting procedures. We study a nonlinear version of the problem generated by a finite or countable family of C^{1+ε} contractions and prove Lebesgue equidistribution under suitable nonlattice and thermodynamic regularity assumptions.

What carries the argument

The nonlinear interval-splitting procedure generated by a family of C^{1+ε} contractions, whose endpoints' distribution is controlled by the nonlattice condition and thermodynamic regularity to yield equidistribution.

Load-bearing premise

The family of contractions must satisfy the nonlattice condition together with thermodynamic regularity assumptions.

What would settle it

Construct a family of C^{1+ε} contractions that meets all hypotheses except the nonlattice condition and check whether the generated endpoints fail to become equidistributed with respect to Lebesgue measure.

read the original abstract

In this work, we extend results of Kakutani; Adler and Flatto; Smilansky; Pollicott and Sewell on the equidistribution of endpoints generated by interval-splitting procedures. We study a nonlinear version of the problem generated by a finite or countable family of $\mathcal{C}^{1+ \varepsilon}$ contractions and prove Lebesgue equidistribution under suitable nonlattice and thermodynamic regularity assumptions.

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

This extends the classical Kakutani equidistribution to nonlinear C^{1+ε} contractions using thermodynamic formalism and distortion estimates.

read the letter

This paper proves Lebesgue equidistribution of endpoints generated by finite or countable families of C^{1+ε} contractions on the interval, provided they meet nonlattice and thermodynamic regularity conditions. That is the core result, and it directly generalizes the linear cases from Kakutani, Adler-Flatto, Smilansky, and Pollicott-Sewell. The new element is the nonlinear setting together with the handling of countable families via a uniform contraction bound and summability condition that keeps the transfer operator well-defined. The proof route goes through thermodynamic formalism to control pressure and equilibrium states, followed by distortion estimates to reach equidistribution. That chain looks internally consistent once the assumptions are granted, with no obvious gaps or circular steps in the outline. The countable case is managed without extra inventions, which is a plus. The assumptions themselves are standard for this style of work but do limit applicability; checking nonlattice behavior or regularity for concrete maps can take extra effort, though the paper states them plainly as hypotheses rather than claiming they hold automatically. No load-bearing flaws appear in the logical structure. This is for people already working on interval maps, ergodic theory, or thermodynamic formalism in dynamical systems. A reader comfortable with those tools will follow the argument without trouble and can judge how far the conditions reach in examples. It has a clear statement, a coherent proof strategy, and enough substance to deserve referee time rather than a desk rejection. I would send it out for review.

Referee Report

0 major / 3 minor

Summary. The manuscript extends classical equidistribution results of Kakutani, Adler-Flatto, Smilansky, and Pollicott-Sewell to a nonlinear setting. It considers finite or countable families of C^{1+ε} contractions generating an interval-splitting procedure and proves that the endpoints are equidistributed with respect to Lebesgue measure, assuming nonlattice conditions together with thermodynamic regularity. The argument proceeds via thermodynamic formalism to control pressure and equilibrium states, followed by distortion estimates.

Significance. If the derivation holds, the result meaningfully generalizes equidistribution theorems to nonlinear contractions, broadening their scope within interval dynamics and ergodic theory. The treatment of the countable case via uniform contraction bounds and summability conditions to keep the transfer operator well-defined is a clear technical strength, as is the explicit reliance on standard thermodynamic assumptions rather than ad-hoc constructions.

minor comments (3)

Abstract: the domain of the contractions (presumably the unit interval) is not stated explicitly, which would aid immediate readability.
§2 (or wherever the nonlattice condition is defined): a one-sentence reminder of how the condition reduces to the classical linear case would help readers connect to the cited prior works.
§4 (countable case): the summability hypothesis is used to guarantee the transfer operator is well-defined, but a short remark on whether the same hypothesis also controls the distortion constants uniformly would clarify the estimates.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the supportive summary of our work extending Kakutani-type equidistribution results to nonlinear interval-splitting procedures. The positive assessment of the thermodynamic formalism approach and the handling of the countable case is appreciated. The recommendation for minor revision is noted. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external thermodynamic formalism and prior equidistribution results

full rationale

The paper extends classical equidistribution theorems (Kakutani, Adler-Flatto, etc.) to a nonlinear setting of C^{1+ε} contractions by imposing nonlattice and thermodynamic regularity conditions, then applying standard pressure/equilibrium-state control plus distortion estimates to obtain Lebesgue equidistribution. No step reduces a claimed prediction to a fitted input defined inside the paper, nor does any load-bearing premise rest on a self-citation chain; the cited prior results are independent external literature. The countable-case handling via uniform contraction and summability is a direct technical extension, not a renaming or self-definition. The logical chain remains self-contained once the stated assumptions are granted.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof rests on domain assumptions standard in thermodynamic formalism for dynamical systems; no free parameters or new entities are introduced in the abstract.

axioms (2)

domain assumption Nonlattice assumption on the contractions
Invoked to ensure equidistribution holds for the nonlinear splitting procedure.
domain assumption Thermodynamic regularity assumptions
Required to apply thermodynamic formalism tools to the family of maps.

pith-pipeline@v0.9.0 · 5579 in / 1100 out tokens · 60010 ms · 2026-05-19T18:35:07.538048+00:00 · methodology

A nonlinear version of the α-Kakutani equidistribution problem

Core claim

What carries the argument

Load-bearing premise

What would settle it

discussion (0)