Submitted:
27 August 2026
Posted:
28 August 2026
You are already at the latest version
Abstract
We develop an exact "mantissa" formalism for the binary expansions of natural numbers, in which the gap structure between consecutive ones is encoded by a sequence of fractional parts \(\sigma_j\in(0,1]\). Within this formalism we prove a sharp threshold dichotomy: the next binary gap equals 1 precisely when \(\sigma_j\le \kappa\), where \(\kappa=2-\log_2 3\approx 0.41504\). For \(M=3^n\) we obtain rigorous consequences: an exact characterization of the leading run of ones in terms of \(\{n\log_2 3\}\), whence, by Weyl equidistribution, the asymptotic density of \(n\) whose expansion begins with \(m\) ones equals \(-\log_2(1 - 2^{-m})\), and, by effective bounds for linear forms in logarithms, the leading run has length \(O(\log n)\); and a proof that the trailing run of ones always has length 1 or 2. On the trajectory side, we give an exact decomposition of Collatz iterations, a lemma describing precisely how a block of trailing ones is consumed, and a conditional contraction criterion: if the total 2-adic valuation accumulated along \(M\) odd steps satisfies \(Q_M\ge\beta M\) with \(\beta>\log_2 3\), the trajectory contracts at an explicit exponential rate; conversely, any divergent trajectory must keep \(Q_M\) below \(M\log_2 3+\log_2 X_0\) for every \(M\). The heuristic self-correcting dynamics of the mantissas, together with computations up to \(n=5000\) and valuation statistics over 2000 random trajectories, supports the conjecture that the density of ones in the binary expansion of \(3^n\) tends to \(1/2\); we state this precisely as a conjecture and delimit exactly which steps remain open. We then prove the average-case form of the density statement: for every fixed \(j\ge3\) the \(j\)-th low-order bit of \(3^n\) equals 1 for exactly half of the exponents \(n\) in each period \(2^{j-1}\) (the exceptional positions \(j=0,1,2\) balance to the same mean, so the lowest \(J\) bits carry exactly \(J/2\) ones on average), and the bit at fixed offset \(j\) from the top carries ones with density \(\mu_j\to1/2\) at rate \(2^{-j}\), with \(\mu_1=\kappa\). Thus the outer \(O(\log n)\) digits provably obey the density-\(1/2\) law, and the conjecture is reduced to the middle range of the expansion. We further determine the dispersion and the full asymptotic law of the digit counts in these windows: in the low window the numbers of zeros and of ones each follow an exactly binomial law \(1+\mathrm{Bin}(J-2,\tfrac12)\) over every period—mean \(J/2\), variance \((J-2)/4\), Hoeffding tails, Gaussian local limit—while in the top window the variance equals \(W/4-c_*+O(W2^{-W})\) with \(c_*=0.2399227044\ldots\), and the normalized count of zeros satisfies a central limit theorem. Finally, we identify the natural invariant measure of the gap dynamics itself: in tail coordinates the dynamics is an induced binary shift preserving Lebesgue measure (invariant \(\sigma\)-density \(2^{1-\sigma}\ln2\)), under which the gaps are i.i.d. geometric \(\tfrac12\); for almost every mantissa the density of zeros is \(1/2\) with Gaussian fluctuations of variance \(D/4\), and the density conjecture becomes precisely the assertion that the mantissas of \(3^n\) are typical for this measure—a statement strongly supported by the data (Kolmogorov–Smirnov distance 0.0116 at \(n=2000\)). Moreover, we prove that at every fixed depth \(j\) the interior mantissa \(\sigma_j\) is equidistributed over \(n\), with its law converging to the invariant law at the exponential rate \(2^{-j}/\ln2\); that the gaps decorrelate over \(n\) \((|\operatorname{Cov}(\delta_i,\delta_j)|\le36\cdot2^{-|j-i|})\); and that, consequently, for all \(n\) outside a set of density \(O(1/(\eta^2K))\) the leading segment spanned by the first \(K\) gaps has density of ones within \(\eta\) of \(1/2\). This yields the density conjecture as an asymptotic law on the outer ranges: with windows \(J(n),K(n)\to\infty\) of logarithmic length at both ends of the expansion, the set of \(n\) whose outer segments have ones-density \(\tfrac12+O(\eta)\) has natural density 1. The genuinely open regime is thereby isolated as depths growing linearly with \(n\)—a barrier of the same nature as the classical \(\times2,\times3\) rigidity problems.
Keywords:
1. Literature Review
1.1. Historical and Biographical Context
- Biography of Lothar Collatz [1]: Lothar Collatz (1910–1990) was a German mathematician known for his contributions to numerical analysis. He proposed the conjecture in 1937 while working on graph theory. The problem asks whether the orbit starting from any positive integer M always reaches 1. Despite his 238 publications on numerical methods, this deceptively simple conjecture became his best-known legacy. The conjecture has been verified for all starting values up to () [34], yet it remains open.
- Lagarias’ survey [4]: This survey describes generalizations of the conjecture, equivalent formulations (e.g., the Syracuse map on odd integers), and open questions such as the existence of cycles other than .
1.2. Theoretical Advances
- Terras [19]: Introduced the stopping-time formalism and proved that the set of N whose trajectory eventually drops below N has natural density 1; the parity vector of the first k steps is determined exactly by , and all parity vectors occur equally often.
- Tao [2]: For any function , almost all orbits (in logarithmic density) attain a minimum value below : orbits are “almost bounded” for almost all N.
- Krasikov–Lagarias [44]: Density bounds for the set of integers reaching 1, via systems of difference inequalities.
- Weyl [46]: Equidistribution of the fractional parts for irrational (here ), which governs the leading mantissa of .
- Baker [20]: Effective lower bounds for linear forms in logarithms; in particular with effectively computable , which we use to bound the leading run of ones in .
- Stewart [21]: The strongest known rigorous results on digits of exponential sequences; e.g., the number of nonzero digits of (in any base) grows at least like . The distance between this bound and the conjectured density measures the difficulty of the digit problem.
1.3. Binary Representations of Powers of 3
- MathOverflow question [28]: On the longest run of ones () in the binary expansion of . Simulations up to show (with an observed maximum of about 24); coin-tossing models predict .
- Cook’s blog [29]: A visualization of the binary expansions of as a grid whose boundary has slope ; local structures and “semi-chaos” are observed.
- Wolfram Research [30]: Regularities in the subsequences and 2-adic convergence; the p-adic perspective.
1.3.1. Examples of Binary Expansions
1.4. Statistical Properties and Computation
- Sinai [32]: Ergodic properties of the Syracuse map and statistical regularity of long orbits.
2. Introduction
- An exact mantissa formalism (Section 4): a recurrence and a closed, non-recursive formula for , and a sharp threshold dichotomy (Theorem 4.3): the gap following the j-th one equals 1 exactly when , where
- Rigorous run bounds for (Section 5): the leading run of ones is characterized exactly by the position of in an explicit interval; Weyl equidistribution then gives the exact asymptotic density of exponents n whose expansion opens with m ones, and Baker’s theory gives the effective bound for the leading run. The trailing run of ones equals 2 for odd n and 1 for even n.
- Exact trajectory analysis (Section 8): the classical decomposition , a lemma describing exactly how a block of k trailing ones is consumed by k steps , the correct residue classification of the 2-adic valuation , and a conditional contraction criterion (Theorem 8.17): accumulated valuation with forces contraction at rate . We also show that no unconditional bound of the form can hold (Remark 8.18), which delimits precisely where the difficulty of the conjecture lies.
- The density conjecture and the invariant measure (Section 6): we conjecture that the density of ones in the binary expansion of tends to , and we identify the exact dynamical framework behind it: in tail coordinates the gap dynamics is an induced binary shift preserving Lebesgue measure, with invariant -density , under which the gaps are i.i.d. geometric and, for almost every mantissa, the density of zeros is with Gaussian fluctuations of variance (Theorem 6.3). Conjecture 6.1 is thereby reduced, exactly, to the typicality of the measure-zero family of mantissas of (Corollary 6.24); we explain why the known rigorous techniques (Weyl for the leading digit, congruences for the trailing digits, Stewart’s bounds for the digit count) do not yet reach this typicality.
- Average-case density: rigorous results (Section 7): we prove the n-averaged form of the density statement at both ends of the expansion. For every fixed , the bit of at low-order position j is periodic in n with period and equals 1 for exactly half of each period (Theorem 7.2); the three exceptional positions (: always 1; : equal to the parity of n; : always 0) balance so that the lowest J bits carry exactly ones on average. At the top, the bit at fixed offset j carries ones with density given in closed form, with and (Theorem 7.3). Beyond the means, we determine the dispersion and the asymptotic law of the measure of the digit counts: in the low window the counts of zeros and ones follow an exactly binomial law with variance and a Gaussian local limit (Theorem 7.4); in the top window the variance is and the normalized counts satisfy a central limit theorem (Theorem 7.7), proved via an exponential memory-loss lemma for the mantissa digits (Lemma 7.6). Conjecture 6.1 is thereby reduced to the middle range of the expansion.
- Numerical experiments (Section 9): computations up to confirming the dichotomy with zero violations, the density drift toward , the logarithmic growth of the longest run, and valuation statistics over random trajectories matching the geometric model .
3. Preliminaries and Method
- Self-correcting dynamics (informal).
4. The Mantissa Formalism
4.1. Direct Non-Recursive Relation
5. Runs of Ones: Rigorous Bounds
5.1. A Run of Ones Forces a Small Mantissa
5.2. The Leading Run of : Exact Characterization
- 1.
- (Density; Weyl) The set of n for which opens with at least m ones has natural density
- 2.
- (Effective bound; Baker) There are effectively computable constants such that the leading run of satisfies
- 1.
- The leading ones-run of has length and the zeros-run following the leading one has length , where ; hence the records of the leading structure over occur exactly at the one-sided best-approximation denominators of α—the convergents and semiconvergents—with sizes , the side (ones vs. zeros) alternating with the parity of the convergent.
- 2.
- Verification: at the leading ones-run is 15 against ; at the post-leading zeros-run is 14 against ; at the ones-run is 9 against ; the full record list over is —convergents and semiconvergents only. The large partial quotients of α (23, then 55) are directly visible as the long plateaus between records ().
- 3.
- Consequently, the effective irrationality theory of α and the leading-run bound of Theorem 5.3(2) are the same statement in two languages: (Baker–Feldman) ⇔ leading structure . The binary expansion of the single constant —through its continued fraction—literally writes the extremal top of every .
5.3. The Trailing Run of
5.4. Pointwise Bounds: Both Binary Digits Occur Unboundedly Often
- A worked example: five binary digits, and the limit of local methods.
- 1.
- ;
- 2.
- and ;
- 3.
- and .
- 1.
- If for all large n—as is proved for the leading run (Theorem 5.3(2)), predicted for all runs by the coin model, and confirmed by all data (longest run 21 for , against )—then pointwise, a far stronger conclusion than the ineffective of Theorem 5.14.
- 2.
- Conversely, small digit counts force long runs: forces , and forces ; the two digits are linked exactly as the block structure dictates.
- 3.
- The route has an intrinsic limit worth stating honestly: a density bound via (3) alone would need , i.e., uniformly bounded runs—false already for (runs of length 2 are frequent). Quantitatively, the two-sided envelope (with ) collapses toward only as : at the realistic it gives , at it gives , and even at the impossibly perfect only —never . The extremal inequality (3) is tight only for expansions packed into maximal runs; reaching a positive proportion requires the statistical structure (most runs short), not merely a bound on the longest one, and note also that by the identity the two digits admit only one independent estimate: any lower bound on the zeros is automatically an upper bound on the ones, so the pointwise programme needs exactly one positive-proportion lower bound per digit. Thus the pointwise ladder is: block count (S-units, no rate) → longest interior run ( conjectured, only the leading case proved) → zeros → full density (statistical, open).
Block-by-Block Effective Bounds: Iterating Baker Through the Expansion
- 1.
- If the bits of above the position t form the integer D (a prefix of length ), then the maximal run (of ones or of zeros) starting at position has length
- 2.
- Consequently, the k-th maximal block of the expansion (counted from the top) has length at most , for as long as this is smaller than .
- 3.
-
Consequently, the number of blocks satisfies , and therefore, by Proposition 5.23,matching Stewart’s effective rate for the ones [21] and upgrading the ineffective of Theorem 5.14. With Matveev’s explicit constants the bound may be made completely explicit:
6. The Density Conjecture
- An exact reformulation.
- Heuristic support.
6.1. The Invariant Measure of the Gap Dynamics
- 1.
-
Lebesgue measure on is invariant for the map of Lemma 6.2. In the σ-coordinate the invariant density isUnder this measure the gaps are i.i.d. with the exact geometric law ; in particular , , and exactly.
- 2.
- For Lebesgue-almost every , the digit string generated by the dynamics satisfies: the gap frequencies converge to ; the densities of zeros and of ones among the first D digits converge to ; and the count of zeros obeys the central limit theorem
- 3.
- Under the invariant measure, the probability that a run of at least ones starts at a given index is . By Lemma 5.1 this event is contained in , whose invariant measure is : the two computations agree in order of magnitude, exhibiting run compression as the geometric-decay mechanism behind the run statistics.
- 1.
- (All digits from one point) and : every digit of below the leading one is read off the doubling orbit of the single point .
- 2.
- (Blocks as threshold visits) : the number of blocks is the number of visits of the induced orbit to —equivalently, of the mantissa orbit to , since .
- 3.
- (Zeros as sojourn time) : the count of zeros is the total sojourn time of the doubling orbit in .
- 1.
- (Counts and gaps are one object) at every step, and at the end : Conjecture 6.1 says precisely that the balance walk of every ends at .
- 2.
- (Runs are the walk’s monotone strokes) Maximal ones-runs are the maximal descents of W (longest descent longest interior run ); zeros-blocks are its up-jumps of size .
- 3.
- (The budget binds them) Every descent of W is bounded by the potential at its start (Remark 5.2): the count dynamics is chained to the gap dynamics through the tail budget.
- 4.
- (Diffusive, not ballistic) Under the invariant law the increments are centered with variance 2 (measured and ), and with the decorrelation of Theorem 6.28 the walk is diffusive: observed range over 1573 steps, against the diffusive scale . In walk form, the density conjecture reads: the balance walk of every power of three is diffusive—it never turns ballistic.
- 1.
-
(Every long run enters through the gate) A maximal run of equal digits beginning at digit position corresponds to the orbit passing, one doubling step before the run, exponentially close to the single point :The digit type records the side of the approach, and crossing the gate is precisely the carry involution of Remark 5.29.
- 2.
- (Separation: the gate is visited deeply only in isolation) Two passages at depth are at least doubling steps apart: if and , then lies within of 0, not of .
- 3.
- (Reformulation) Consequently the longest run satisfies : the entire pointwise run problem is the depth of the single deepest passage of the doubling orbit of by the point , and the uniform run conjecture states that this orbit never comes closer than to within steps.
- 1.
-
(Binary expansions of ) For ,the latter being the digitwise complement of the former: the two sides of the gate carry the same information in complementary code.
- 2.
- (Dynamical renewal) If the orbit passes the gate at signed distance (), then the entire future of the orbit is the doubling orbit of (zeros side) or its digit complement (ones side): the deviation from the gate becomes, literally, the remaining tape. In particular the run length is , and the post-run future is governed by the lower-order digits of ϵ.
- 3.
- (Arithmetic form; nesting) At gate time k, with , the deviation is the odd integer , and the remaining digits of are exactly the binary digits of (zeros side) or of (ones side). The gates nest—each later deviation integer is a sub-block of the earlier one—and the target states that all these nested odd integers satisfy .
- 1.
-
(Gumbel law for each record) The longest ones-run satisfiesa discretized Gumbel law with location and scale . Verified in the band (): empirical against predicted at .
- 2.
- (Equality of laws by symmetry) obeys the identical law, by the involution ι of Remark 6.15.
- 3.
-
(Logistic law for the difference) and are asymptotically independent (their deep events are supported on disjoint rare sets; Chen–Stein), soup to discretization—the logistic law with scale ; in particular , measured .
- 1.
- the binary tape of is the digitwise complement of the tape of (same length );
- 2.
- consequently and , and the runs swap type with identical lengths—in particular and ;
- 3.
- therefore Conjecture 6.1 is equivalent to the statementa power of three and its bitwise complement carry asymptotically equally many ones.
- 1.
-
(Fourier form) By the Fejér expansion ,so the conjecture is the cancellation of the Weyl sums of the lacunary system at the point .
- 2.
-
(Exact spectrum) f is an eigenfunction of the transfer operator of the doubling map: . Hence the correlations are exactly geometric,verified numerically ( against ).
- 3.
-
(Solution for almost every seed) By the CLT and the law of the iterated logarithm for lacunary series (Salem–Zygmund, Erdos–Gál), for Lebesgue-a.e. seedi.e., (12) is solved: with the sharp constant. Measured over the seeds of : has mean and standard deviation against the predicted .
- 1.
- (Periodicity in n) is periodic in n with period (Lemma 7.1).
- 2.
-
(Exact mean over a period) Averaging over one full period,(verified for : ). The biases are summable, , so the n-average of is bounded: on average over n the digit count carries no drift, .
- 3.
- (The size of the barrier) Over a range , only the terms with —that is, —are averaged over full periods; the remaining terms have periods exceeding the entire range and are invisible to any averaging over n. Since , the proportion of terms accessible to n-averaging is : for , 31 terms out of .
6.2. Equidistribution of the Interior Mantissas over n
- 1.
- the limiting law over n of exists and has density ; in particular has density (equivalently, is uniform), and the gap has the law of the uniform model;
- 2.
- : the law of converges to the invariant (Lebesgue) law exponentially fast in j, and correspondingly the law of converges to the invariant density ;
- 3.
-
consequently, for every ,so on n-average the mean of the first J gaps is for every J: the averaged density- law holds across any fixed number of leading gaps.
6.3. Concentration: Almost All n Have Density- Leading Segments
6.4. The Density Conjecture as an Asymptotic Law: the Outer Ranges
- 1.
- (Bottom; exact combinatorics) Let with . Then
- 2.
-
(Top; quantitative Weyl) There is an effective constant such that, with ,so the leading segment of digits has ones-density within η of outside a set of n of vanishing density.
- 3.
- (Combined law) Consequently, with these growing windows, the set of n for which both outer segments—the lowest bits and the leading block spanned by gaps—have ones-density within η of has natural density 1. In this sense the density conjecture holds as an asymptotic law on the outer ranges of length ; Conjecture 6.1 itself is the same statement with windows of length .
- What is rigorous, and what is missing.
7. Average-Case Density: Rigorous Results
- Relation to the literature.
7.1. Low-Order Bits: Exact Density
- 1.
- and for all ; if and only if n is odd.
- 2.
- For every fixed , the sequence is periodic with period and equals 1 for exactly values of n in each period. In particular, the natural density of is exactly .
- 3.
-
For every fixed ,i.e., the lowest J bits of carry on average exactly ones.
7.2. Top Bits: Density
7.3. Dispersion and the Asymptotic Law of the Digit Counts
- 1.
-
(Exact binomial law) For every ,and the count of zeros obeys the same law: . Equivalently, under the uniform measure on the period, and are both distributed exactly as .
- 2.
- (Dispersion) Exactly,
- 3.
- (Tails) For every , the density of n with (equally, ) is at most .
- 4.
-
(Asymptotic law of the measure) By the de Moivre–Laplace local limit theorem, uniformly for ,so the normalized counts and both converge in distribution to as .
- 1.
- (Pointwise, from the linked estimates) for every n.
- 2.
- (Low window: exact mean) For each interior position , , the density of n for which a maximal run of ones starts at bit i is exactly (the pattern occupies exactly-uniform bits, Theorem 7.2); hence the expected number of interior long runs in the lowest J bits equals exactly, with explicitly computable edge corrections from the deterministic bits .
- 3.
- (Global law) On n-average the same rate governs the whole expansion: the mean of over is for , against the prediction . Across n the counts follow a Poisson mixture with parameter (the observed overdispersion, e.g. vs. mean at , is fully explained by the variation of across the sample); for a fixed window the Poisson approximation is provable by the Chen–Stein method from the exact uniformity of the low bits.
- 1.
-
(Mean) and , whereis given by an explicitly convergent series (Theorem 7.3).
- 2.
- (Mean, in closed form) with
- 3.
-
(Dispersion) , wherethe series converging geometrically since .
- 4.
-
(Central limit theorem: asymptotic law of the measure of the count of zeros) As ,i.e., the natural-density measure of converges to for every x.
8. Trajectory Analysis via the Operators and
- Definitions.
- 1.
- is odd for , and ;
- 2.
-
the first primitive steps are , i.e., each of the k odd steps has valuation , andwhich is even; the trajectory then continues with pure divisions.
- 1.
- (Archimedean projection.) , and the size drifts by per block: this is the world of Section 8—thresholds, excess, descent.
- 2.
- (Two-adic projection.) The exit valuation is the 2-adic distance from the cofactor to the point ; along orbits the cofactor equidistributes ( frequencies over 12000 blocks), which is the shift of the Bernstein–Lagarias conjugacy [40] in block form.
- 1.
- (Bounded channels.) If , the valuation is bounded and periodic in n: e.g. for it takes only the values with period 4.
- 2.
- (Resonant channels.) If or —that is, lies in the closure of the powers of 3 in —the valuation is unbounded: it equals the 2-adic distance from to , spiking along the sparse n solving the discrete-logarithm congruences. For spikes up to occur already for .
- 1.
-
( Contraction) Let . If every terminal segment of the window has average valuation at least β, i.e.thenan exponential contraction in the number of odd steps. (For the heuristic value the additive constant is 1.)
- 2.
-
( Necessary condition for divergence) Unconditionally ; hence any trajectory that never falls below 1 (in particular any divergent trajectory) must satisfyThus divergence requires the accumulated valuation to stay below the line of slope , while the heuristic (and empirical) slope is 2.
8.1. Almost-Sure Descent: the Asymptotic Law on the Collatz Side
- 1.
- the leading run of ones of obeys the interval criterion of Theorem 5.3 with in place of , hence has density and length along the orbit;
- 2.
- the top-bit densities of Theorem 7.3 apply to trajectory values, and by Weyl equidistribution the leading digits obey Benford’s law—confirmed here: over 400 trajectories the leading decimal digits occur with frequencies , , , , , , , , against Benford’s (the Benford behaviour of orbits is a known empirical observation; here it follows from the transfer).
- 1.
- (Exact transfer of the low-bit theorem) For every the residues are exactly equidistributed over the coset , each value attained once per period —multiplication by the odd permutes , so Lemma 7.1 transfers verbatim (verified for ).
- 2.
- (But the model does not predict the valuations) The valuation predicted by the model, , agrees with the true in of 5984 trials—indistinguishable from the chance level . Step by step the agreement is at and then : the correspondence is destroyed after a single step.
- (A)
- Density of zeros in the value , averaged over n: theorem (Section 7).
- (B)
- Density of zeros in the trailing words of trajectories, averaged over : theorem (Lemma 8.19), and it is exactly what makes and yields almost-sure descent (Theorem 8.21).
- (C)
- Density of zeros in the trailing words along one fixed orbit:open—and this is the only one that implies .
8.2. The Density–Operator Line: Synthesis
- density.
- applying the density.
- the operator T.
- What the line delivers, and what it does not.
- 1.
- the first primitive steps carry x to , which is even (verified over random odd x);
- 2.
-
with , the next odd value is , and the block ratio isThe underlying identity is due to Böhm and Sontacchi [10]; the substitution , which conjugates the odd step to , is likewise classical, and the descent threshold is the Terras–Everett–Crandall condition [4,19] in block form. What is added here is only the bookkeeping: the pairing of with the exit valuation j, which is what makes the criterion readable off the binary word.
- 3.
- statistically: , , , and the mean block drift is bits, i.e. bits per odd step—the constant of Proposition 8.49 recovered from the operator side.
- 1.
- (One trailing one forces descent) exactly—this is the criterion in block form. For the growth probabilities are .
- 2.
- (The trailing length is memoryless) for : the next block’s trailing length is independent of the current one, with the invariant mean 2 and . A long trailing run does not beget another.
- 3.
- (The extremal family collapses at once) For with k odd one has , , so the block grows—but the next value has , forcing descent at the very next block. Verified for : always . The worst-case family can grow once and is then compelled to fall.
- 4.
- (Growth runs are short) In real orbits the longest run of consecutive growing blocks has mean , median 3 and observed maximum 10 (over 3000 trajectories).
- 1.
- (Half descend immediately) —exactly the density of the criterion of Proposition 8.51. The mean is , the median 1, the observed maximum 92.
- 2.
-
(Geometric ladder height) The drop is geometric in bits:measured for against ; hencea Pareto law of index 1—the exact mirror of the excursion maximum of Proposition 8.24. The ascent and the descent of a Collatz trajectory obey the same tail exponent, in opposite directions.
- 3.
-
(Number of stages) The mean drop is bits, so the trajectory reaches 1 throughsuccessive first-descent stages ( for ), each a fresh instance of the same problem.
- 1.
- the zero-density of the current value stays at throughout the descent: mean , standard deviation —the multiplication by 3 and the divisions preserve the balance, they do not degrade it;
- 2.
-
consequently, with for the length after t odd steps (),i.e. the number of zeros falls linearly at exactly half the rate of the length: measured slope per odd step against the predicted .
- 1.
- (Each criterion is a finite congruence condition) depends only on (Lemma 8.19), so is a computable union of residue classes; membership is decidable from finitely many trailing digits of x, and implies for x large.
- 2.
- (The simplest case is half of all integers) : here , hence —one Syracuse step suffices, for a set of density .
- 3.
-
(Exact coverage densities) Computed over all odd residues mod , the density of x first descending at step k isfor , with cumulative coverage ; the residual is covered at later steps.
- 4.
- (Reformulation) The Collatz conjecture is equivalent to the assertion that these explicit congruence criteria exhaust the odd integers: . Each individual criterion is pointwise and verifiable; the conjecture is that the union leaves nothing out.
- 1.
- (Equivalence with criticality) This is precisely the statement of Proposition 8.24: the Cramér root equals 1 if and only if the identity observable is (essentially) a martingale. Empirically over random odd values.
- 2.
-
(Sharp maximal inequality) By Doob’s inequality for the nonnegative submartingale,so the Pareto-1 tail of Proposition 8.24 is not merely a heuristic but a theorem within the model, with constant 1. Measured against over 6000 trajectories: for —inside the bound throughout, and within Monte-Carlo error of saturating it.
- 3.
- (Why it stops there) A nonnegative martingale converges almost surely, and here the log-drift sends in the model—but a.s. convergence of the model neither identifies the limit as the cycle for a given , nor transfers from the model to every integer: the martingale is not uniformly integrable (its mean stays while its values collapse), which is the probabilistic signature of the same criticality. Second-moment methods give the exact variance of Proposition 6.19 and the resulting CLT/LIL, again for almost every seed. Both methods therefore reach the boundary of Remark 8.22 and stop at it.
9. Numerical Experiments
- Dichotomy.
- Density of ones.
- Quantitative density estimates.
- Runs.
- Gap statistics.
- Interior equidistribution over n.
- Positions of long runs.
- Decorrelation and concentration.
- Average-case density.
- Dispersion.
- Almost-sure descent.
- Valuation statistics.
10. A Programme for the Pointwise Bound
- The target.
- Gate form: there are effective such that for all and all , .
- Round-number form: for every round number with .
- Linear-form form:uniformly in the height of Q, for the structured family prefixes of .
- The value of C: an accounting.
- The minimal target.
For every odd , .
- 1.
- 2.
-
The converse is false. The least witness isyet . Here and , which is what carries the value back above the start. There are 145 odd with such a discrepancy at some , among them
- 1.
- (Persistent unit blocks are fatal.) If all but finitely many blocks of an orbit have , the orbit descends below any bound: a block has drift bits. Hence a counterexample contains infinitely many blocks with .
- 2.
-
(No finite reduction exists: an explicit family of disguises.) For every the integerhas its first B blocks exactly equal to the fully starving pattern —each block climbing bits, the perfect counterexample behavior. This phase is proved for every B (induction below). Whether afterwards descends is a different matter: it is verified for (descent after odd steps), and is not provable in general by the methods of this paper—after the phase the value is , a generic integer, and proving its descent for every B is an instance of the conjecture itself. The logical force of the family is therefore a dichotomy, and it needs no descent claim: either some never descends, in which case is false outright; or every descends, in which case membership in any finite behavioral class—any property of the first B blocks, for any B—is exhibited by an integer that is not a counterexample, so no such class can certify counterexample-hood, and no inequality quantified over finitely many blocks can imply . In both horns the conclusion stands: the remaining step is irreducibly a statement about all infinitely many blocks at once. By Terras uniformity the same construction exists for every finite block pattern, not only the starving one.
- The dichotomy: bounded counterexamples are Diophantine, unbounded ones are statistical.
- Portrait of a counterexample, and what any proof must use.
Any proof of must use the fact that is a rational integer—equivalently, that its binary expansion is finite—since this is the only property separating from the nonempty 2-adic exceptional set.
- Pointwise versus averaged: an exact ledger.
- A no-go: density plus the operator cannot suffice.
- What a forcing estimate must satisfy.
- The quantitative target.
There are effective constants such that every odd admits an with .
- The obstruction to , measured.
- 1.
- (The bad set is nonempty in ; classical) By compactness of (equivalently König’s lemma on the infinite tree), : there exist 2-adic integers whose trajectories never descend. This is not new: the map extends to and is topologically conjugate to the shift via the parity-vector homeomorphism of Bernstein–Lagarias [40], under which non-descending 2-adics correspond to shift-generic sequences and are therefore abundant; the quantitative density decay of the level sets is the stopping-time analysis of Applegate–Lagarias [41]. We record the tree computation only to exhibit the growth constant explicitly. Moreover is a Cantor set of Hausdorff dimensionuncountable, though of Haar measure zero.
- 2.
- (Reformulation of ; a repackaging, not a theorem) The conjecture is exactlyno rational integer lies in this Cantor set. Since positive integers are precisely the 2-adics with finitely many nonzero digits, asks that a positive-dimensional Cantor set, defined by a dynamical condition, avoid an arithmetically defined countable subset.
- The hierarchy.
- The termination bound: integrality at the gate.
- Route A: structured linear forms.
- Route B: effective m-term S-units (state of the art).
- Route B (continued).
- Route C: effective rigidity.
- Route D: verification plus a future threshold theorem.
- The conservation identity.
- Summary.
11. Discussion and Conclusions
Appendix A. Taylor Error Bounds
References
- O’Connor, J.J.; Robertson, E.F. Lothar Collatz. MacTutor History of Mathematics, University of St Andrews, 2006. Available: https://mathshistory.st-andrews.ac.uk/Biographies/Collatz/.
- Tao, T. Almost all Collatz orbits attain almost bounded values. Forum Math. Pi 2022, 10, e12. doi:10.1017/fmp.2022.8.
- Garner, L.E. On the Collatz 3n+1 algorithm. Proc. Amer. Math. Soc. 1981, 82, 19–22.
- Lagarias, J.C. The 3x+1 Problem and Its Generalizations. Amer. Math. Monthly 1985, 92, 3–23. doi:10.1080/00029890.1985.11971528.
- Pegg, E., Jr. Conjecture that a(n)/n→log3/(2log2)=0.792481…, comment of 5 December 2002 on OEIS sequence A011754 (number of ones in the binary expansion of 3n). https://oeis.org/A011754.
- Ren, X.; Roettger, C. Ternary digits of powers of two. arXiv:2511.03861, 2025.
- Fuchs, M. Digital expansion of exponential sequences. J. Théor. Nombres Bordeaux 2002, 14, 477–487.
- Dupuy, T.; Weirich, D.E. Bits of 3n in binary, Wieferich primes and a conjecture of Erdos. J. Number Theory 2016, 158, 268–280.
- Senge, H.G.; Straus, E.G. PV-numbers and sets of multiplicity. Period. Math. Hungar. 1973, 3, 93–100.
- Böhm, C.; Sontacchi, G. On the existence of cycles of given length in integer sequences like xn+1=xn/2 if xn even, and xn+1=3xn+1 otherwise. Atti Accad. Naz. Lincei Rend. 1978, 64, 260–264.
- Akin, E. Why is the 3x+1 problem hard? In Chapel Hill Ergodic Theory Workshops; Contemp. Math. 356; AMS: Providence, RI, 2004; pp. 1–20.
- Tao, T. The Collatz conjecture, Littlewood–Offord theory, and powers of 2 and 3. Blog post, 25 August 2011. https://terrytao.wordpress.com/2011/08/25/.
- Diaconis, P. The distribution of leading digits and uniform distribution mod 1. Ann. Probab. 1977, 5, 72–81.
- Berger, A.; Hill, T.P. A basic theory of Benford’s law. Probab. Surv. 2011, 8, 1–126.
- Flatto, L.; Lagarias, J.C.; Pollington, A.D. On the range of fractional parts {ξ(p/q)n}. Acta Arith. 1995, 70, 125–147.
- Gyory, K. Some recent applications of S-unit equations. Astérisque 1992, 209, 17–38.
- Bassily, N.L.; Kátai, I. Distribution of the values of q-additive functions on polynomial sequences. Acta Math. Hungar. 1995, 68, 353–361.
- Mauduit, C.; Rivat, J. La somme des chiffres des carrés. Acta Math. 2009, 203, 107–148.
- Terras, R. A stopping time problem on the positive integers. Acta Arith. 1976, 30, 241–252.
- Baker, A. Transcendental Number Theory; Cambridge University Press: Cambridge, UK, 1975.
- Stewart, C.L. On the representation of an integer in two different bases. J. Reine Angew. Math. 1980, 319, 63–72.
- Kuipers, L.; Niederreiter, H. Uniform Distribution of Sequences; Wiley: New York, NY, 1974.
- Evertse, J.-H. On sums of S-units and linear recurrences. Compositio Math. 1984, 53, 225–244.
- Waldschmidt, M. Open Diophantine problems. Mosc. Math. J. 2004, 4, 245–305.
- Calegari, F.; Dimitrov, V.; Tang, Y. Arithmetic holonomy bounds and effective Diophantine approximation. Proc. ICM 2026, to appear; arXiv:2510.04156.
- Furstenberg, H. Disjointness in ergodic theory, minimal sets, and a problem in Diophantine approximation. Math. Systems Theory 1967, 1, 1–49. doi:10.1007/BF01692494.
- Bourgain, J.; Lindenstrauss, E.; Michel, P.; Venkatesh, A. Some effective results for ×a×b. Ergodic Theory Dynam. Systems 2009, 29, 1705–1722.
- Sequences of 1s in binary expression of powers of 3. MathOverflow, 2024, Question 479499. Available: https://mathoverflow.net/questions/479499.
- Cook, J.D. Powers of 3 in binary. 2021. Available: https://www.johndcook.com/blog/2021/04/28/powers-of-3-in-binary/.
- Wolfram Research. Regularity versus Complexity in the Binary Representation of 3n. 2009. Available: https://wpmedia.wolfram.com/sites/13/2018/02/18-3-6.pdf.
- Allouche, J.P.; Shallit, J. Automatic Sequences: Theory, Applications, Generalizations; Cambridge University Press: Cambridge, UK, 2003.
- Sinai, Y.G. Statistical properties of the 3x+1 problem. Adv. Soviet Math. 1993, 16, 1–22.
- Barina, D. Convergence verification of the Collatz problem. J. Supercomput. 2021, 77, 2681–2688. doi:10.1007/s11227-020-03368-5.
- Barina, D. Improved verification limit for the convergence of the Collatz conjecture. J. Supercomput. 2025. doi:10.1007/s11227-025-07337-0.
- Steiner, R.P. A theorem on the Syracuse problem. In Proc. 7th Manitoba Conf. Numerical Mathematics, 1977; pp. 553–559.
- Simons, J.; de Weger, B.M.M. Theoretical and computational bounds for m-cycles of the 3n+1 problem. Acta Arith. 2005, 117, 51–70.
- Bennett, M.A.; Bugeaud, Y.; Mignotte, M. Perfect powers with few binary digits and related Diophantine problems. Ann. Sc. Norm. Super. Pisa Cl. Sci. 2013, 12, 941–953; and Math. Proc. Cambridge Philos. Soc. 2013, 153, 525–540 (Part II).
- Dimitrov, V.S.; Howe, E.W. Powers of 3 with few nonzero bits and a conjecture of Erdos. Rocky Mountain J. Math. 2025, 55, 45–61; arXiv:2105.06440.
- Corvaja, P.; Zannier, U. Finiteness of odd perfect powers with four nonzero binary digits. Ann. Inst. Fourier (Grenoble) 2013, 63, 715–731.
- Bernstein, D.J.; Lagarias, J.C. The 3x+1 conjugacy map. Canad. J. Math. 1996, 48, 1154–1169.
- Applegate, D.; Lagarias, J.C. Lower bounds for the total stopping time of 3x+1 iterates. Math. Comp. 2003, 72, 1035–1049.
- Conway, J.H. Unpredictable iterations. In Proc. Number Theory Conference (Univ. Colorado, Boulder), 1972; pp. 49–52.
- Korec, I. A density estimate for the 3x+1 problem. Math. Slovaca 1994, 44, 85–89.
- Krasikov, I.; Lagarias, J.C. Bounds for the 3x+1 problem using difference inequalities. Acta Arith. 2003, 109, 237–258. doi:10.4064/aa109-3-4.
- Everest, G.; van der Poorten, A.; Shparlinski, I.; Ward, T. Recurrence Sequences; American Mathematical Society: Providence, RI, 2007.
- Weyl, H. Über die Gleichverteilung von Zahlen mod. Eins. Math. Ann. 1916, 77, 313–352. doi:10.1007/BF01475864.



| n | Binary representation |
|---|---|
| 1 | 11 |
| 2 | 1001 |
| 3 | 11011 |
| 4 | 1010001 |
| 5 | 11110011 |
| 6 | 1011011001 |
| 7 | 100010001011 |
| 8 | 1100110100001 |
| 9 | 100110011100011 |
| 10 | 1110011010101001 |
| eliminated by | |||
|---|---|---|---|
| 0 | 1 | 4 | Theorem 5.18 () |
| 1 | 3 | 3 | |
| 2 | 9 | 3 | |
| 3 | 27 | 1 | parity (5.4) |
| 4 | 17 | 3 | — (survives) |
| 5 | 51 | 1 | |
| 6 | 25 | 2 | |
| 7 | 11 | 2 | — (survives) |
| 8 | 33 | 3 | |
| 9 | 35 | 2 | |
| 10 | 41 | 2 | |
| 11 | 59 | 0 | saturation |
| 12 | 49 | 2 | |
| 13 | 19 | 2 | |
| 14 | 57 | 1 | |
| 15 | 43 | 1 |
| n | longest run of ones | |||
|---|---|---|---|---|
| 10 | 16 | 9 | 0.5625 | 3 |
| 100 | 159 | 85 | 0.5346 | 5 |
| 500 | 793 | 406 | 0.5120 | 9 |
| 1000 | 1585 | 758 | 0.4782 | 7 |
| 2000 | 3170 | 1574 | 0.4965 | 10 |
| 5000 | 7925 | 3899 | 0.4920 | 13 |
| n range | M | mean dev. | s.d. | max|dev| / | |
|---|---|---|---|---|---|
| 90–110 | 158 | / | |||
| 450–550 | 791 | / | |||
| 900–1100 | 1584 | / | |||
| 1900–2100 | 3169 | / | |||
| 3900–4100 | 6339 | / |
| d | 1 | 2 | 3 | 4 | 5 | 6 |
|---|---|---|---|---|---|---|
| empirical , | 0.4997 | 0.2537 | 0.1208 | 0.0534 | 0.0394 | 0.0140 |
| geometric | 0.5000 | 0.2500 | 0.1250 | 0.0625 | 0.0313 | 0.0156 |
| uniform- model | 0.4150 | 0.2630 | 0.1520 | 0.0825 | 0.0431 | 0.0220 |
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2026 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license.