Submitted:
01 December 2025
Posted:
02 December 2025
Read the latest preprint version here
Abstract
We develop a complete operator-theoretic and spectral framework for the Collatz map using its backward transfer operator acting on weighted Banach spaces of arithmetic functions. The associated Dirichlet transforms form a holomorphic family that isolates a zeta-type pole at s = 1 and a holomorphic remainder, while on a finer multiscale space adapted to the Collatz preimage tree we prove a Lasota–Yorke inequality with an explicit contraction constant λ < 1, yielding quasi-compactness, a spectral gap, and a Perron–Frobenius theorem in which ρ(P) = 1, the eigenvalue 1 is algebraically and geometrically simple, no other spectrum lies on the unit circle, and the unique invariant density is strictly positive with a c/n decay profile. The fixed-point relation Ph = h is converted into an exact multiscale recursion for the block averages c_j, showing that mass propagation along the preimage tree is governed by a rigid two-scale coupling with exponentially small error terms. The spectral classification then forces every weak-star limit of the Cesàro averages Λ_N(f) of any hypothetical infinite forward orbit to be either 0 or a scalar multiple of the Perron–Frobenius functional, and convergence to 0 occurs precisely under the Block–Escape Property, an extreme transience condition that drives the block index to infinity. The forward map always satisfies an unconditional exponential upper bound, whereas Block–Escape combined with linear block growth along a subsequence would create a contradictory exponential lower bound. All analytic and spectral components of the proof are therefore complete, and the Collatz conjecture is reduced to a single forward-dynamical problem: to exclude infinite forward orbits that satisfy the Block–Escape Property without forcing the kind of linear block growth incompatible with the spectral bounds.
Keywords:
Collatz conjecture
; transfer operators
; spectral gap
; quasi--compactness
; Perron--Frobenius theory
; Dirichlet transforms
; arithmetic dynamics
; multiscale analysis
; block structure
; Lasota--Yorke inequality
1. Introduction
The Collatz conjecture asserts that every positive integer n eventually reaches the 1–2 cycle under repeated application of
Equivalently, every forward orbit is conjectured to terminate in . Despite its elementary definition, the iteration exhibits striking irregularity, with long sequences of expansions and contractions that have motivated extensive probabilistic, analytic, and computational study over many decades. Classical work of Terras [25,26] established early density results and stopping-time estimates, while the surveys of Lagarias [15,16] synthesized a wide range of heuristic and structural approaches. Subsequent analytic contributions, including those of Meinardus [19] and Applegate–Lagarias [2], developed refined density bounds and asymptotic models for the distribution of orbit values. Nevertheless, the global termination problem remains open, and the intricate behavior of Collatz trajectories continues to motivate the search for structural or spectral principles capable of organizing the arithmetic dynamics.
The purpose of this paper is to recast the Collatz problem in an analytic and operator–theoretic framework, and to formulate a system of dynamical criteria whose interrelations clarify what must be proved in order to establish the conjecture. Rather than studying T directly, we analyze its inverse dynamics through the backward transfer operator
acting on arithmetic functions . Transfer–operator ideas of this type originate in statistical mechanics and dynamical systems [21,22], and have more recently been applied to –type maps in various analytic and functional–analytic settings [18,20]. For the Collatz map (1), each n has an even preimage and, when , an odd preimage , giving
The weights normalize the operator so that P acts as a logarithmically mass–preserving averaging operator on non-negative sequences, reflecting the contraction encoded in the preimage structure of T.
Remark 1
(Invariant density and logarithmic mass balance). Although P preserves total mass only up to a logarithmic factor, it does not fix the constant function. Indeed,
so . More generally,
which shows that P islogarithmically mass–preserving: the pushforward of mass is reweighted by the harmonic kernel .
This logarithmic balance forces any P–invariant density h to satisfy with a decay of order as . In particular, the explicit block recursion developed in Section 5.2, together with the oscillation control provided by the Lasota–Yorke inequality [17], yields the precise asymptotic profile
consistent with Tauberian heuristics of Delange type [4]. All spectral decompositions in the sequel are expressed relative to this nonconstant –type invariant profile.
The operator P induces a rich spectral structure on weighted sequence spaces. On , defined by , the Dirichlet transform
intertwines P with analytic continuation in the half-plane . Uniform bounds on translate into exponential envelopes for and yield meromorphic continuations of the corresponding Collatz–Dirichlet series, whose pole at reflects the average inverse-branching behavior [3,9]. The spectral radius of P on captures the global weighted expansion rate of inverse branches and determines the analytic location of dominant singularities.
To resolve finer dynamical features we refine this framework to a multiscale Banach space built from dyadic–triadic block averages and oscillation seminorms reflecting the hierarchical structure of the Collatz preimage tree. On this space P satisfies a two-norm Lasota–Yorke inequality,
placing the dynamics within the classical Ionescu–Tulcea–Marinescu and Hennion theories for quasi–compact operators [8,10]. The detailed estimates, including an explicit contraction constant for the odd branch, are developed in Section 4, Section 5 and Section 6.
The structural consequences of these spectral estimates are most transparently expressed through a system of dynamical statements concerning block escape, orbitwise averaging, valuation windows, and backward-operator invariants. Each offers a distinct formulation of the Collatz problem, and the relationships among them clarify which dynamical or spectral phenomena must be ruled out in any proof of the conjecture. The following theorem summarizes the main implications among these forms, together with their connection to the Strong Collatz Conjecture:
Theorem 1
(Dynamical Forms Connected to the Strong Collatz Conjecture). Let denote the jth Collatz block, and for let be the unique index with . Consider the following statements:
(1) Strong Collatz Conjecture.Every forward orbit is finite and the only cycle is the trivial cycle.
Remark 2.
(2) No infinite block escape.For every forward orbit ,
Remark 3.
Equivalent to (1) by definition of . The negation (existence of an orbit with unbounded ) corresponds to a divergent orbit. Korec [13] showed that divergence implies visiting arbitrarily large numbers, but not specifically structured by powers of 3. The block structure appears in Wirsching’s functional-analytic approach [27] as a natural partition for studying growth rates.
(3) Orbit–Averaging Conjecture (Conjecture 13).Every infinite orbit produces a nonzero –invariant linear functional supported entirely on that orbit.
Remark 4.
This is an orbit-wise version of invariant measure constructions. Lagarias [15] constructed a 2-adic invariant measure for the map, while Tao [24] used almost-periodicity and limit functionals in his "almost all" result. The notion of extracting invariant functionals from single orbits relates to Birkhoff averages and unique ergodicity along orbits [7].
(4) Block–Orbit–Averaging (Conjecture 14).Every infinite orbit spends a positive proportion of time inside a finite union of low blocks for some J.
Remark 5.Stronger than Tao’s result [24] that almost all orbits eventually go below for some slow-growing f. This claims positive density returns foreveryinfinite orbit. Similar "recurrence to compact sets" appears in dynamical systems as a consequence of invariant measures [11]. For Collatz, it would follow from sufficiently fast growth in high blocks conflicting with known exponential bounds [14].
(5) Block–Escape Implies Supercritical Linear Block Growth (Conjecture 15).For every infinite orbit satisfying the Block–Escape Property, there exist and a subsequence such that
Remark 6.
The constant is a minimal expansion factor. Similar linear-in-k lower bounds appear in heuristic models where averages less than [12]. In branching random walk models [1], the growth rate per step is where a is typical valuation; requiring corresponds to on average, i.e., deficit windows as in Theorem 16.
(6) Weak Non–Retreat Principle. (Thm 21).For every infinite orbit there exist constants , , and with the following property: once exceeds a threshold , then for all sufficiently large such k there is some with
Remark 7.
This is a finite-horizon forward drift condition. Similar "advance in bounded time" ideas appear in stopping time analyses [6,25], but those guarantee eventual decrease, not forward increase. The closest is Krasikov’s lower bounds on numbers satisfying [14], but not orbit-wise. Sinai’s random walk model [23] suggests that when is large, the expected drift per step is positive, but (6) demands a deterministic, uniform forward jump within bounded .
(7) Orbitwise Discrepancy Vanishing (Conjecture 17).Every weak* limit Λ of Cesàro averages along an infinite orbit is –invariant.
Remark 8.
This is a version of the von Neumann mean ergodic theorem for a single orbit, assuming the limit exists. Related to unique ergodicity along orbits [7]. For , it posits asymptotic regularity of time averages, akin to the existence of rotation numbers for circle maps. Tao’s argument [24] uses such almost-periodicity for almost all orbits.
(8) Residue–Graph Nontrapping and Cycle Obstruction.For some sufficiently large valuation cutoff and window bound , every nonperiodic accelerated odd Collatz orbit escapes both the dangerous residue set and the high–valuation set . Equivalently, the finite directed residue graphs induced by valuation patterns contain no directed cycles compatible with the odd Collatz map, and no infinite orbit can remain trapped in or oscillate between the corresponding residue classes.
Remark 9.
Statement (8) places the Collatz problem into a finite combinatorial framework by encoding the accelerated odd map on residue graphs and requiring that no infinite trajectory can remain trapped in either the dangerous or high–valuation subgraphs. This approach extends several earlier graph–based and congruence–based analyses. Applegate and Lagarias [1] performed exhaustive computations of the accelerated map modulo (for ), finding no nontrivial cycles and thereby anticipating the cycle–obstruction aspect of (8). Eliahou’s modular constraints on possible cycles [5] likewise translate into forbidden subgraphs in this residue framework. Kontorovich and Lagarias [12] modeled the dynamics via Markov chains on residue classes determined by 2–adic valuations, and Sinai’s logarithmic random–walk formulation [23] analyzed when orbits may appear trapped in specific congruence sets.
The contribution of (8) is to integrate these ideas into a unified dynamical criterion: it couples the residue graph to the valuation window formalism, distinguishes dangerous and high–valuation regions via and , and asserts that no infinite orbit can persist in, or oscillate between, these regions. This strengthened nontrapping principle links finite residue obstructions directly to the weak non–retreat mechanism used later in the paper.
The following implications hold:
(i) (1)⟺(2).
(ii) (3)⟹(2).
(iii) (4)⟹(3).
(iv) (5)⟹(4).
(v) (6)⟹(5).
(vi) (8) ⟹ (6). The dangerous–windows residue graph and the high–valuation residue graph are finite directed graphs, and the conclusions of Conjectures 19 and 20 exclude all directed cycles compatible with the accelerated odd Collatz map. Consequently, every infinite orbit admits infinitely many valuation–deficit windows of uniformly bounded length, and Theorem 16 implies the weak non–retreat drift asserted in(6).
(vii) (7)⟹ every infinite orbit satisfies Block–Escape Property (see Remark 26).
Remark 10.
Implication(vii)isolates the intrinsic contribution of Conjecture 17 to the dynamical picture. The conclusion of(vii)asserts that if discrepancy vanishing holds for every infinite orbit, then every such orbit necessarily satisfies the Block–Escape Property (BEP). Thus(7)does not by itself impose any quantitative growth on the block index, nor does it force a contradiction with the global envelope . Its role is instead structural: it identifieswhichasymptotic behaviour any hypothetical infinite orbit must exhibit. In particular,(7)rules out all slow–escape and recurrent patterns, showing that any infinite orbit must escape to arbitrarily high blocks with asymptotic density 1. This global classification is precisely the hypothesis needed for the growth mechanisms in(5)and(6)to apply uniformly to all infinite trajectories.
Remark 11.
The logical role of (8), this is Conjectures 19 and 20, in Theorem 1 is confined entirely to the derivation of the weak non–retreat principle(6). These conjectures assert the nonexistence of directed cycles compatible with the odd Collatz map inside two finite residue graphs determined by valuation patterns. Once such cycles are excluded, every infinite orbit must encounter infinitely many valuation–deficit windows of bounded length, and Theorem 16 converts each deficit window into a uniform forward drift of the block index. Thus the only dynamical content of Conjectures 19 and 20 is to guarantee the recurrence of deficit windows, after which the weak non–retreat principle follows without further assumptions.
The remainder of the paper develops the analytic and dynamical tools that feed into Theorem 1. Section 2 introduces the weighted spaces and their Dirichlet transforms, establishing the basic analytic framework used throughout. Section 3 defines the backward transfer operator P associated with the odd branch and derives its analytic representation. Section 4 constructs the multiscale space adapted to the Collatz preimage tree and proves the Lasota–Yorke inequalities that control the action of P on this space. Section 5 converts the Lasota–Yorke contraction into a concrete spectral statement, proving that invariant densities obey an explicit block-level recursion with exponentially small error. This leads to a complete Perron–Frobenius description of P and to a certified spectral gap. Section 6 verifies that the odd branch admits an explicit contraction constant for the chosen parameters, establishing quasi–compactness and a spectral gap. Section 7 finalizes the spectral results and develops the valuation and residue tools required to analyze finite windows of odd transitions and to formulate the residue-graph obstructions that underlie the weak non–retreat principle. Section 7.5 introduces the valuation and residue-class tools used to analyze short odd windows, defining block indices, dangerous valuation patterns, and the finite residue graphs whose transitions constrain forward dynamics. These structures support the Block–Escape Property and the weak non–retreat principle central to the dynamical implications of the paper. Finally, Section 9 places the spectral and dynamical framework in a broader arithmetic context and outlines potential extensions to other discrete maps.
2. Preliminaries
The analysis begins with a careful description of the function spaces, Dirichlet transforms, and basic structural features of the Collatz map that underlie the spectral study of the backward operator P. Throughout we work with complex-valued arithmetic functions . We start with a simple unbounded estimate.
Lemma 1
Proof.
For every , the definition of T gives
Iterating the lower bound yields . For the upper bound, the recurrence
immediately gives, by a simple induction on k, the explicit estimate . This proves (6). □
These envelopes are intentionally crude, yet they ensure that forward iterates of typical arithmetic weights remain controlled on the scales relevant for our Dirichlet and transfer-operator analysis.
2.1. Weighted Spaces and Dirichlet Transforms
For we define the weighted space
The weight exponent measures polynomial decay and is chosen so that Dirichlet series associated with f converge absolutely in a half-plane .
Given , we define its Dirichlet transform
Lemma 2
(Dirichlet convergence). Let and let , so that
Then the Dirichlet transform
converges absolutely for and defines a bounded holomorphic function on every half-plane , . Moreover,
Proof.
Let with . Then
Since implies , the sequence is decreasing to 0, and hence
Therefore,
so the Dirichlet series converges absolutely.
For every , the same bound holds uniformly on the half-plane , since then and as . Thus the convergence is locally uniform in , and classical Dirichlet-series theory implies that is holomorphic on this region.
The bound (9) follows directly from the estimate above. □
We write for the unweighted space with norm .
2.2. Backward Preimages and the Transfer Recursion
For each , define the even and odd preimage sets
Lemma 3
(Preimage structure). For every ,
and in the first case is odd. In particular, each n has either one preimage (even) or two preimages (one even and one odd), and the odd preimage occurs with natural density .
Proof.
If m is even and , then , so , establishing .
If m is odd and , then , so . This is an integer precisely when . For m to be odd, must be divisible by 3 but not by 6, so . In that case is odd. The density statement follows since the congruence class has natural density . □
Hence each n admits exactly one even preimage and possibly one odd preimage when . The corresponding backward transfer operator is defined as
The normalization by reflects the logarithmic contraction of the forward map and ensures a natural mass-balance property.
Lemma 4
(Weighted mass preservation). Let satisfy
Then the backward transfer operator
preserves the weighted mass in the sense that
Proof.
Since and , Tonelli’s theorem justifies rearranging the nonnegative double series. Using the definition of P,
Each has exactly one image , so it appears in exactly one of the inner sums. Hence we can rewrite the double sum directly over m:
which is precisely (12). □
2.3. Dirichlet Envelope for Iterates of the Backward Operator
The preimage structure allows a crude but useful bound on P acting on .
Proposition 1
(Backward operator bound). Let and let P be defined by (11). Then is bounded and
for all . Consequently, for every ,
Proof.
From (11),
Hence
with
For the even branch, set , so and
For the odd branch, write , so and m is odd. Then
The constant is an explicit growth factor for P on . It is not in this normalization, so no contraction is claimed at this level. The genuine contraction mechanism is obtained later on the multiscale Banach space , where a strong seminorm captures oscillatory decay along the Collatz tree while the component provides compactness.
3. Transfer Operator Formulation
We now reformulate the Collatz dynamics in terms of the backward transfer operator associated with the map (1). This operator-theoretic viewpoint provides an analytic bridge between the discrete recurrence and the functional framework developed in later sections. The transfer operator encodes the inverse–branching structure of the map and propagates densities backward along the Collatz tree, in a form compatible with logarithmic weighting and Dirichlet series.
Recall that the Collatz map, (1), by Lemma 3, each has the even preimage , together with an additional odd preimage precisely when .
3.1. Backward Transfer Operator
Definition 1
(Backward transfer operator). For an arithmetic function , define
where denotes the indicator of the condition A.
Lemma 5
(Dirichlet transform intertwining). Let with , and define
For , the series converges absolutely and
where the multiplier encodes the contribution of the two inverse branches of T:
Indeed,
Proof.
Fix with . By definition of the -norm,
If , then , so
Thus converges absolutely for .
Next we show that converges absolutely for the same range. From the definition of P,
so
Hence
where
For the even contribution, set so and m is even. Then
Since implies , we have , and therefore
For the odd contribution, write with odd (this is equivalent to and odd). Then
Since for all , we have , and hence
Again gives , so
Thus , and converges absolutely for .
We now compute explicitly and identify it with . By definition,
Substituting the formula for P and splitting according to the two branches,
For the even part, set again :
For the odd part, write with odd and :
Putting the two contributions together,
Now let with . By definition of in the lemma,
and with this matches exactly the expression we have obtained for . Hence
for all , as claimed. □
The multiplicative factor assigns to each inverse branch a logarithmic weight, so that P acts as a normalized backward average along preimages. This normalization aligns the discrete dynamics with Dirichlet weights and will be crucial for analytic continuation and spectral estimates below.
Positivity. If for all n, then for all n, since P is a positive linear combination of values of f.
Weighted mass preservation. A direct change of variables shows that for every nonnegative f satisfying ,
Thus P preserves the logarithmically weighted mass ; plain mass is not preserved under this normalization.
Boundedness on weighted spaces. Let
A direct change of variables in (15) yields, for all ,
Changing variables in the first sum and in the second gives
Hence
and therefore
Action on the weighted sup space. For the Banach space
the normalization factor in (15) improves decay at each branch but does not make P a contraction. Setting , one obtains
Using , one obtains the bound
In particular, the constant for all , so P is bounded but not contractive on . This coarse boundedness provides an upper envelope for the operator norm but does not imply any decay of on .
These limitations motivate the refinement of the functional setting in later sections, where the multiscale tree spaces and are introduced to obtain genuine Lasota–Yorke-type contractions with and a provable spectral gap.
3.2. Dirichlet-Side Formulation and Intertwining
For with , the Dirichlet transform
is absolutely convergent. Writing with and substituting (15), we obtain
Thus is again a Dirichlet series whose coefficients depend linearly on those of .
Definition 2
(Dirichlet–Ruelle operator). Let denote the space of Dirichlet series
Define by
Lemma 6
(Operator norm of L). For , let . Then is bounded and
Proof.
From (23),
For the even term, set . Then
For the odd term, write , so and
Combining the two estimates gives
proving (24). □
Lemma 7
(Intertwining of P and L). For every with ,
whenever the series converge absolutely.
Proof.
The intertwining relation shows that spectral information for P on transfers to L on . However, since P is not contractive on or , the inequality (24) provides only a uniform boundedness envelope for , not exponential decay. Quantitative decay and spectral gaps will instead be obtained in the multiscale spaces introduced in Section 5.
Define with and
By Lemma 7,
The quantity represents the total normalized weight of all k–step backward paths from n in the Collatz tree under the logarithmic weighting . The family therefore encodes, in Dirichlet form, the distribution of these weighted backward configurations at depth k. By Lemma 6,
so the Dirichlet coefficients of are uniformly bounded in but do not necessarily decay in k. Later sections refine this estimate by passing to the multiscale tree space , where the Lasota–Yorke inequality ensures a true spectral gap and exponential decay of .
4. Spectral Reduction and Analytic Continuation
This section refines the analytic connection between the discrete Collatz dynamics and the spectral framework of Section 3. Our goal is to express analytic information about the Dirichlet series associated with iterates of the backward operator P in terms of the spectral data of P—equivalently, of the Dirichlet–Ruelle operator L—acting on suitable Banach spaces continuously embedded in . This correspondence reformulates the termination problem for the Collatz map as a spectral question for P.
Throughout this section we fix and a Banach space of arithmetic functions such that continuously, , and the Dirichlet transform
defines a holomorphic function for whenever . The intertwining relation (25) then yields, for all ,
Since , each series converges absolutely. By the estimate (18),
The bound (28) shows that the iterates of P are uniformly bounded on , though not contractive; a genuine contraction will appear only after the refinement to the multiscale tree spaces introduced in Section 4.4.
Generating function and operator resolvent. For with , define the two–variable generating function
The series converges absolutely and locally uniformly for , hence is holomorphic in on the domain
On the operator side, for such z the Neumann series
converges in operator norm on , and thus
The poles of in the z–plane occur precisely at the reciprocals of the spectral values of P on . Consequently the analytic structure of as a function of z is governed by the spectrum of P.
At this point we recall that the backward Collatz operator P preserves total mass on :
so 1 is a simple eigenvalue corresponding to the eigenvector . Hence the spectral analysis of P will focus on demonstrating a spectral gap at 1: all other spectral values satisfy . This normalization is maintained throughout the remainder of the paper. The resolvent expansion (30) is therefore analytic for except at the simple pole , whose residue encodes the invariant functional associated with .
The coarse resolvent radius merely provides an elementary domain of convergence. A sharper meromorphic continuation—reflecting the true spectral radius and the subdominant bound —will be obtained on the refined spaces and , where the Lasota–Yorke inequality gives quantitative contraction of oscillations between adjacent scales.
Finally, for the constant function (whenever ), the coefficients of are precisely the Collatz Dirichlet series defined in (26). Thus the analytic continuation and asymptotic decay of as are controlled by the spectral properties of P through (30); their exponential decay emerges once the spectral gap on the multiscale tree spaces is established.
4.1. Spectral Reduction and Analytic Continuation
Recall that the Dirichlet–Ruelle operator L is defined on by (23). The intertwining Lemma 7 asserts that for all ,
Since is injective on , every eigenpair of P with produces an eigenpair of L. Conversely, if and lies in the image of , then . Hence the point spectra of P on and of L on coincide on the subspace . In particular,
and any spectral gap or peripheral spectral property of P transfers to the induced action of L on Dirichlet series arising from .
We emphasize that equality is not assumed. The partial correspondence (31) suffices for analytic reduction: the Dirichlet-side continuation of reflects the spectral geometry of P.
Mass preservation and spectral gap. Because P only preserves total mass up to a logarithmic factor, we have
so the constant function is not an eigenvector. Instead, P admits a unique positive invariant density and a unique positive invariant functional with
Throughout the paper we work with this Perron–Frobenius normalization (32) and express all spectral decompositions relative to the nonconstant invariant profile h.
Within this framework, the Dirichlet–Ruelle operator L inherits the same dominant eigenvalue 1 and the same spectral gap on the subspace . The analytic behavior of the Collatz Dirichlet series is then determined by how approaches the spectral projector onto the invariant subspace spanned by .
Theorem 2
(Spectral reduction and analytic continuation). Let be a Banach space of arithmetic functions continuously embedded in such that is quasi-compact and satisfies the mass-preserving normalization (12). Assume further that 1 is a simple eigenvalue of P and that all other spectral values lie in the closed disk . Then for every the Dirichlet transforms extend holomorphically to and admit the decomposition
where is the spectral projection associated with the eigenvalue 1 and is locally bounded on . In particular, for f with , the functions decay exponentially in k uniformly on compact subsets of .
When , the same conclusion applies to , whose exponential stabilization corresponds to convergence toward the invariant density associated with the Collatz operator.
Proof.
By quasi-compactness, the spectrum of P decomposes as
and the Riesz projection is a bounded projection onto the one-dimensional invariant subspace spanned by . Then , where for some constant . Applying the Dirichlet transform and using for gives
Since is a multiple of , we may write , yielding (33). Analyticity for follows from absolute convergence and locally uniform bounds. □
This form aligns with the quasi-compactness obtained later on the multiscale tree space , where the Lasota–Yorke inequality ensures . The exponential term in (33) corresponds to the essential spectral radius and controls the rate of decay of correlations and Dirichlet coefficients. Under stronger spectral assumptions, the representation can be refined to a meromorphic decomposition in which each isolated eigenvalue contributes a term , generalizing the usual Ruelle–Perron expansion.
4.2. Spectral Criterion on Weighted Spaces
The preceding analysis shows that sufficiently strong spectral control of P on an appropriate Banach space forces all Dirichlet data generated by the backward Collatz tree to exhibit exponential stabilization toward the invariant profile. Since P is not contractive on or , such behavior can only arise on refined Banach spaces where a genuine spectral gap at the eigenvalue 1 has been established. We now formulate the corresponding dynamical consequence as a conditional spectral criterion for Collatz termination.
Theorem 3
(Spectral criterion for Collatz termination). Let P act on a Banach space such that and . Assume that P is quasi-compact on , that 1 is a simple eigenvalue of P corresponding to the unique positive invariant density h, and that all other spectral values satisfy
Then every admits a decomposition
where is the spectral projection onto . Consequently, there exists no nontrivial invariant or periodic density for the backward Collatz dynamics in ; the only invariant direction is the positive eigenfunction h. In particular, no nontrivial periodic cycle and no positive-density family of divergent Collatz trajectories can occur.
Proof.
By quasi-compactness, the spectrum of P decomposes as with . The associated Riesz projection
is bounded and satisfies . Since 1 is a simple eigenvalue with positive eigenfunction h, we have
where is the corresponding eigenfunctional normalized so that .
Hence the power iterates decompose as
for some constant .
If a nontrivial invariant density satisfied , then f would belong to the eigenspace of . Since this eigenspace is one-dimensional and spanned by h, we must have for some constant c. Thus no additional invariant densities exist beyond .
If a periodic density f satisfied for some , then f would belong to an eigenspace associated with an eigenvalue satisfying . Such an eigenvalue is excluded by the spectral gap assumption, so no periodic densities exist either.
Finally, via the standard correspondence between transfer-operator invariants and dynamical orbits on the Collatz graph, any invariant or periodic density corresponds to either a periodic Collatz cycle or to a positive-density family of non-terminating trajectories. The spectral gap therefore precludes these dynamical behaviors. □
Section 4.4 constructs the multiscale tree Banach space and establishes a Lasota–Yorke inequality that ensures quasi-compactness of P with an explicit contraction constant in the strong seminorm. Verification of the hypotheses of Theorem 3 on provides the analytic–spectral bridge: a strict spectral gap for P on rules out the spectral signatures associated with any non-terminating Collatz behavior.
4.3. Multi-Scale Tree Space
To realize a spectral gap for the backward Collatz operator, we construct a Banach space that captures both the multiscale oscillatory structure of the Collatz preimage tree and sufficient decay at infinity to ensure compactness. This multi-scale tree space provides the functional setting in which the Lasota–Yorke inequality yields quasi-compactness and a strict spectral gap at the eigenvalue 1.
For define the scale blocks
The factor 6 reflects the approximate scale multiplication under the backward map, combining the even branch and the odd branch (defined for ).
Fix parameters and . For indices , define the scale-sensitive weight
This weight penalizes small separations between indices, emphasizing local oscillations of f, while the factor damps sensitivity at large scales. The geometric coefficient provides exponential attenuation of oscillations across successive levels of the tree.
Definition 3
(Multiscale tree seminorm and space). For define
The corresponding Banach space
is called themultiscale tree space.
Standard arguments for weighted variation-type seminorms show that is complete. The seminorm controls the oscillatory irregularity of f within each scale block , while the component controls the overall magnitude. However, alone does not impose sufficient decay as to guarantee compactness.
Weighted extension. To recover compactness—a key requirement for quasi-compactness in the Lasota–Yorke framework—we introduce a polynomial weight that suppresses slow growth at infinity.
Definition 4
(Weighted tree space). For parameters , , and , set
Then
The factor enforces quantitative decay of f at large indices, while measures the oscillatory complexity of f along each level of the tree. Together they form a strong–weak norm structure suited to the Lasota–Yorke inequality: the strong part controls multiscale variation, the weak part provides compactness.
Lemma 8
(Compact embedding). For fixed , , and , the unit ball of is relatively compact in .
Proof.
Let
We verify compactness using the discrete version of the Kolmogorov–Riesz theorem.
(i) Uniform boundedness. Each satisfies , so is bounded in .
(ii) Uniform tail control. For any choose N so that . Then for all ,
so the tails contribute arbitrarily little –mass.
(iii) Local equicontinuity on finite blocks. Fix and consider the finite union . Within each , the seminorm term bounds discrete oscillations uniformly in f. Hence the family lies in a compact subset of the finite-dimensional space .
(iv) Diagonal extraction. Given any sequence , apply the compactness on and extract a diagonal subsequence converging pointwise on all of . By (ii) the tails beyond any fixed N have uniformly small weight, so pointwise convergence on finite windows implies convergence in . Thus is relatively compact in . □
Remark 12.
The weight is essential. Without it, the unit ball of is not precompact in : one can construct sequences of disjointly supported spikes whose tree seminorms remain bounded while their supports drift to infinity. Taking eliminates this escape to infinity, yielding the compact embedding required for quasi-compactness.
The space thus provides the natural functional environment for the Lasota–Yorke inequality. Its compact embedding into ensures that the essential spectral radius of P on is strictly smaller than its spectral radius, a prerequisite for establishing a genuine spectral gap. The strong seminorm captures multiscale regularity across the Collatz tree, while the weighted norm supplies the compactness that underlies the spectral analysis of the backward transfer operator.
4.4. Lasota–Yorke Inequality on
Recall from (11) that
It is convenient to split P into its even and odd components:
so that .
From the estimates of Section 2, both branches are bounded on , hence on . The Lasota–Yorke inequality arises from the fact that is strongly contracting in the tree seminorm, while is a controlled perturbation whose contribution is damped by the multiscale factor .
4.4.1. Even Branch Contraction on the Multiscale Tree Space
We first record the even-branch estimate.
Lemma 9
(Even branch contraction on ). Let , , and . There exists a constant depending only on α, ϑ, and σ such that for all ,
In particular, once α is fixed, choosing ϑ sufficiently small makes strictly contracting in the tree seminorm up to a controlled error term.
Proof.
Recall that . For each , the block seminorm of is
Fix j and with . We decompose
and estimate the two terms separately.
(1) The oscillatory part . Since
we have
Hence
Since , , so and
The pair lies at scale comparable to , i.e. within a bounded number of block levels. Hence there exists a constant depending only on the block geometry such that
Taking the supremum over gives
Multiplying by and using and , we obtain
for some constant depending only on and . Taking the supremum over j yields
(2) The denominator part . Assume . Then
Thus
For , we have , so
Hence
Multiplying by and summing over j gives
Each integer n appears as for at most one , and since , the geometric factor ensures convergence of the series in j. Thus there exists a constant depending only on , , and such that
(3) Combine the two parts. Combining the bounds for and and renaming constants gives
which is the desired inequality (38). □
The odd branch requires more care because it shifts indices from n to and only acts on the congruence class . Its effect is nonetheless small once weighted by .
4.4.2. Odd Branch Contraction on the Multiscale Tree Space
Lemma 10
(Odd-branch distortion on scale blocks). Let . If and , then the odd preimage satisfies and
whenever lie on the same ray and .
Proof.
For we have ; hence , which gives . Moreover,
Thus
which proves (39). □
Lemma 11
(Odd branch on ). Let , , and . Then there exist constants and depending only on α, ϑ, and σ such that for all one has
where the contraction factor satisfies
Here is the odd-branch distortion constant from Lemma 10, i.e.
which is finite for every .
Proof.
Recall that
For each define
so that, by definition of ,
Fix and , . We decompose according to the active congruence class .
Case 1: neither m nor n is . Then , so this pair contributes nothing to .
Case 2: exactly one of is . Without loss of generality, assume and . Set . Then
and hence
Since , there exist constants (depending only on ) such that
so
for some constant C depending only on . Each k arises from at most one such m and j, so summing first over pairs of this type and then over j yields
provided , which we assume from now on. Here depends on and , but not on f.
Case 3: both m and n are . Set
so that
We decompose
We treat (the oscillatory part) and (the remainder from denominators) separately.
Case 3a: the term (contractive contribution). A direct computation with , shows that there exists a constant depending only on such that
for all with . (One expands , , and in terms of , and bounds the ratios uniformly; the details are routine.)
Thus
Now use that for with , so . Among the indices in , only a proportion lie in the active residue class . Applying Cauchy–Schwarz to the collection of such pairs in and using this density, one obtains the averaged bound
where range over the corresponding preimage pairs. (The factor is the standard gain from passing from a -density subset of indices to an -type control of the supremum.)
Taking the supremum over all admissible and summing over j gives
By the definition of , the right-hand side is
This yields the desired contribution with contraction factor from the term.
Case 3b: the term (error controlled by ). We have
Since ,
For one has , , , so
for some constant C depending only on . Hence
Each arises from at most a bounded number of , and for fixed and , so summing over j and using shows that the total contribution is bounded by
for some constant independent of f.
Combining the three cases, we obtain
Setting yields (40) with , as claimed. □
4.5. From Boundedness to the Lasota–Yorke Inequality on
Definition 5
(Tree seminorm). Let be the standard multiscale blocks. For define the block oscillation
Fix . The strong tree seminorm is
and the full norm on is
for a fixed constant . This choice enforces uniform decay of oscillation across scales and yields the compact embedding .
Lemma 12
(Invariance and boundedness on ). Let , , and . Then the backward Collatz transfer operator P maps into itself and is bounded: there exists such that
Proof.
Using the even/odd decomposition,
We show both and are bounded by .
1. Weighted bound. For the even part, substitute :
For the odd part, write (so and ):
Hence
2. Tree seminorm bound. By subadditivity, From Lemma 9 (even branch on ),
From Lemma 11 (odd branch on ),
To lift the weak term from to , we revisit the remainder estimates (the “denominator” terms) in the proofs. For the even branch remainder,
so
Because each v belongs to exactly one block and in that block, we have
which holds once we impose the admissibility condition
Summing over j and v then gives a bound for the even-branch remainder. The odd-branch denominator term is handled identically (replacing by ), yielding again a bound under (44). Renaming constants, we therefore have
This proves boundedness of P on . □
Proposition 2
(Lasota–Yorke inequality on ). Let , , and satisfy the admissibility condition (44). Then there exists a constant such that for all ,
with . In particular, if then P is strictly contracting in the strong seminorm up to a controlled –perturbation.
Proof.
Combine the even/odd seminorm bounds from (45). □
Remark 13
Corollary 1
Proof.
By (46) there exists such that, for all ,
This is a Doeblin–Fortet (Lasota–Yorke) inequality for the pair and Since the unit ball of is relatively compact in by Lemma 8, the injection is compact. The Ionescu–Tulcea–Marinescu/Hennion quasi-compactness theorem then implies that P is quasi-compact on with
□
4.6. Quasi-Compactness of the Backward Operator
Lemma 13
(Odd-branch weight distortion at ). Let be the tree weight from (35) and let , . For there exists an absolute constant
such that for all with ,
Consequently, the oscillatory part of the odd branch satisfies
as used in Lemma 11 and Lemma 14.
Proof.
Let , , and define , . Note that and . Using the definitions,
Form the ratio and simplify:
Since and , we have and . Hence
We now bound the three factors on the right-hand side.
(i) The product ratio. Using and for all , we get
(ii) The difference ratio. We already used , so this contributes the exact factor .
(iii) The sum ratio. Since , we obtain
Combining (i)–(iii) in (49) yields
This proves (48).
For the consequence on the oscillatory part of the odd branch in the Lasota–Yorke estimate, recall the standard decomposition in the proof of Lemma 11: when both are in the active residue class , the (oscillatory) term contributes
Using (48) and the relation for , one passes from level j to level with a loss bounded by ; the block weight supplies the one-step factor , and restricting to the active residue class has relative density , which produces a Cauchy–Schwarz gain in the passage from a subset supremum to the block-level control (see the proof of Lemma 11 for the standard averaging step). Altogether,
which is the claimed bound . □
Lemma 14
(Explicit odd-branch constant). For and there exist constants and such that for all ,
with
Proof.
We specialize the proof of Lemma 11 to and , making the constants explicit.
Recall
and for each ,
where and . We take from now on, so
Fix and , . As in Lemma 11, we distinguish three cases.
Case 1: neither m nor n is . Then and this pair contributes nothing to .
Case 2: exactly one of is . Assume without loss of generality and . Set . Then
so
Since , we have and ; hence
Also . Thus for some absolute constant ,
Now and , so . Each k arises (from such a case) for at most one j and one m, and
Summing over j and all such pairs gives
for some depending only on . Thus Case 2 contributes only to the weak term.
Case 3: both m and n are . Set
Then
We decompose
Case 3a: the term (contraction part). We first compare the weights and .
Using , we compute
For all ,
so
Thus
Next, since implies , we have . Moreover lie in a union of blocks of level (and possibly ), so
up to a fixed multiplicative constant (absorbed into ). Combining with (52),
Summing over gives
Define
Then
For we have and numerically
so indeed and with this choice of .
Case 3b: the term (weak contribution). We have
Using and the same scale relations as above,
Thus
Each arises from at most a bounded number of , and , so summing over j and using yields
for some . Combining the three cases, we obtain
Proposition 3
(Verified Lasota–Yorke contraction). Let and (with the admissibility condition ). Define
with from Lemma 13. Then , and for all ,
for some constant depending only on the fixed parameters and the block geometry.
Proof.
We use the decomposition and the branchwise estimates already established.
1. Combine even and odd branch inequalities. For any ,
By the even-branch Lasota–Yorke estimate (Lemma 9, specialized to ), there exists such that for fixed,
By the explicit odd-branch lemma (Lemma 14), for and there exist and such that
with
Define
to obtain (53).
2. Verification that . We now check that with the constant is strictly less than 1.
First,
From the proof of Lemma 14 we have
with an explicit choice
so that
For this yields
Since , we obtain
Therefore
In particular, is a strict contraction factor, depending only on the fixed parameters.
This proves both the inequality (53) and the bound . □
Lemma 15
(Asymptotic form of the invariant density). Let P act on with and suppose P is quasi–compact with spectral gap and no other spectrum on the unit circle. Let be the unique positive right eigenvector with and normalize the dual eigenfunctional ϕ by . Then there exist constants and (depending only on the parameters of the Lasota–Yorke framework) such that
Proof.
Set for . We proceed in three steps.
Step 1 (Meromorphic structure of H and the pole at ). By the Dirichlet transform intertwinement (Section 3) and the quasi–compact spectral calculus on (Section 4), Dirichlet transforms of -functions admit meromorphic continuation across a half–plane for some , with at most a simple pole at whose residue is computed by the spectral projector . Applying this to and using , we obtain that H extends meromorphically to with the expansion
where and G is holomorphic on and of at most polynomial growth in vertical strips.1
Step 2 (Tauberian step: summatory asymptotic). Define the summatory function . Since H has no singularities on other than the simple pole at and satisfies the growth hypothesis of the Wiener–Ikehara–Delange Tauberian theorem [4] in the half–plane , it follows that
for some constants and (the precise is inherited from the width and strip–growth of G). See, e.g., Delange’s theorem or the Ikehara–Ingham variant.
Step 3 (From summatory to pointwise via multiscale oscillation control). Write and let . For each dyadic–triadic block defining the strong seminorm , the Lasota–Yorke inequality yields a uniform oscillation bound
for some and depending only on the Lasota–Yorke parameters (this is the standard consequence of the contraction of the strong seminorm together with boundedness in the weak norm). In particular varies slowly on each block .
By summation by parts on each and (57), we obtain the averaged estimate
Combining this block average with the oscillation control (58) gives, for every ,
Since on , this is equivalent to
hence
as claimed. □
We now record the standard consequence of the Lasota–Yorke inequality and the compact embedding of into .
Theorem 4
(Quasi-compactness on ). Let , , and . Assume that the Lasota–Yorke constant
satisfies , where is as in Lemma 11. Then the backward transfer operator P acting on is quasi-compact, and its essential spectral radius satisfies
Proof.
We work on the Banach space with norm , where is the weighted -norm and is the tree seminorm defined in Section 4.3.
Step 1: Lasota–Yorke inequality. By Proposition 2 (applied in the weighted setting, with replaced by ) we have, for all ,
with by assumption. On the weak norm side, since P is bounded on , there exists (e.g. from (17)) such that
Thus P satisfies a standard two-norm Lasota–Yorke inequality on with strong seminorm and weak norm :
Step 2: Compact embedding. By Lemma 8, the embedding
is compact. Since is exactly the weak norm used in (62), this shows that the unit ball of is relatively compact for the weak norm.
Step 3: Application of Ionescu–Tulcea–Marinescu / Hennion. We now invoke the standard quasi-compactness criterion (see, e.g., Ionescu–Tulcea and Marinescu, or Hennion’s theorem): if a bounded operator T on a Banach space X satisfies
- (i)
- a Lasota–Yorke inequality with ,
- (ii)
- a weak bound , and
- (iii)
- the injection has relatively compact unit ball,
then T is quasi-compact on X and its essential spectral radius satisfies
Remark 14
(On the choice of parameters). The explicit bound (41) shows that decreases linearly with ϑ. For fixed α, one can therefore choose ϑ sufficiently small so that , provided the constant is effectively controlled. Subsequent sections make this optimization quantitative by computing and exhibiting admissible parameter pairs that give a strict spectral gap.
The Lasota–Yorke framework developed here supplies the functional-analytic backbone for the spectral approach to the Collatz problem: once explicit parameters with are verified, the quasi-compactness and spectral gap of P on follow, and the spectral criteria of Section 4 can be invoked to constrain or rule out non-terminating configurations.
5. Spectral Consequences and Effective Block Recursion
Having established in Section 4.4 that the backward Collatz operator P is quasi-compact on the multi-scale tree space , we now turn to the spectral consequences of this result. The Lasota–Yorke inequality ensures the existence of a spectral gap, which in turn controls the structure of invariant densities and the long-term behavior of iterates . The objective of this section is to characterize the invariant and quasi-invariant components of P, derive an effective block recursion for their scale-averaged coefficients, and demonstrate that the recursion enforces rigidity across the Collatz tree.
Throughout this section, will denote an invariant density of P, i.e. a function satisfying . The analysis proceeds in several stages. First, we describe the structure of possible invariant profiles in the multiscale framework and show that the Lasota–Yorke inequality forces uniform flatness across scales. Next, we translate this flatness into an explicit two-sided recurrence relation for block averages . Finally, we verify that the coefficients of this recurrence satisfy a spectral bound consistent with the contraction constant computed earlier.
Theorem 5
(Perron–Frobenius structure on ). Let P be the backward Collatz transfer operator acting on with parameters chosen so that the Lasota–Yorke inequality and quasi–compactness hold. Then:
- (1)
- The spectral radius of P equals 1, and 1 is a simple eigenvalue.
- (2)
- There exists a unique eigenvector with and , normalized by .
- (3)
- There exists a unique positive eigenfunctional such that .
- (4)
-
All other spectral values satisfy , and P admits the spectral decompositionwhere Q is quasi–compact.
Proof.
We combine the Lasota–Yorke inequality on with standard Perron–Frobenius theory for positive quasi–compact operators.
Step 1: Spectral radius and quasi–compactness. By construction P is a bounded linear operator on and is positive in the sense that implies . The Lasota–Yorke inequality on (Proposition 2, say) together with the compact embedding of the strong seminorm into the weak norm implies that P is quasi–compact on with essential spectral radius strictly less than 1:
On the other hand, the logarithmic mass–preservation identity (Lemma 4) shows that the spectral radius of P is at least 1; the boundedness of P implies , hence
In particular, 1 lies in the spectrum of P and, by (63), is an isolated spectral value.
Step 2: Existence of a positive eigenvector. Consider the positive cone
which is closed, convex, and reproducing. Since P is positive and , the Krein–Rutman theorem for positive operators on Banach spaces implies the existence of a nonzero such that
Moreover, h can be chosen strictly positive in the sense that for all : indeed, by the preimage structure of the Collatz map (Lemma 3) and the connectivity of the backward tree, any nontrivial is eventually propagated by iterates of P to a function that is positive on every block , so for all sufficiently large k. Replacing h by if necessary yields .
Step 3: Uniqueness and simplicity of the eigenvalue 1. We now show that 1 is a simple eigenvalue and that h is unique up to scalar multiples. Suppose satisfies . Decompose into positive parts. Positivity of P implies . By the strong positivity argument above, any nonzero with must be strictly positive; hence and are both either 0 or strictly positive. If both were nonzero, then and would be linearly independent positive eigenvectors for the eigenvalue 1, and the positive cone would contain a two-dimensional face of eigenvectors. This contradicts the Krein–Rutman conclusion that the eigenspace associated with the spectral radius is one–dimensional. Therefore one of must vanish and g is either nonnegative or nonpositive; by replacing g by if necessary, , and the strong positivity then forces g to be a scalar multiple of h. Thus the eigenspace for the eigenvalue 1 is one–dimensional and spanned by h, and 1 is a simple eigenvalue. This proves (1) and the first part of (2) after normalizing by below.
Step 4: Dual eigenfunctional. Consider the dual operator acting on . Since P is positive, so is on the dual cone
The quasi–compactness of P implies quasi–compactness of on the dual space. By (64), also has spectral radius 1. Applying the same Krein–Rutman argument to yields a nonzero and
with strictly positive on nonzero elements of . The same simplicity argument as in Step 3 shows that the eigenspace of for the eigenvalue 1 is one–dimensional and spanned by . Normalizing by the condition gives the uniquely determined eigenpair appearing in the statement. This establishes (2) and (3).
Step 5: Spectral decomposition and spectral gap. Quasi–compactness of P on , together with (63) and the simplicity of the eigenvalue 1, implies that the spectrum of P is contained in for some . Let denote the spectral projection onto the eigenspace associated with ; by the previous steps,
so that as a rank–one operator. Writing
we have and . The spectrum of Q is contained in , so in particular
Since Q is the restriction of the quasi–compact part of P to the complement of the eigenspace, it is itself quasi–compact. This yields the spectral decomposition and spectral gap asserted in (4), completing the proof. □
Proposition 4
(Forward dynamics and P-invariant functionals). Let and . Consider the pairing between and
where . Then extends continuously to , and the adjoint
Moreover, there exist constants and such that
and the Cesàro averages form a bounded set in for every .
Positive-frequency divergent families.Suppose there exist and an infinite set of scales such that for each there is a finite set with and forward trajectories that visit with asymptotic frequency . For a summable weight sequence with and , define
Then , the Cesàro averages are bounded in , and any weak-* limit point Φ satisfies and . Consequently is a nonzero invariant functional with .
Proof.
Continuity of the pairing. Fix j and set and . Then
(a) Oscillatory term. Using and ,
By the tree seminorm and the block geometry (since on ),
Therefore
Multiply and divide by and take to get
Since , we can absorb into the constant (using that is fixed), hence
(b) Mean term. By averaging and the weighted norm,
Hence
Summing over j gives a finite geometric series:
Combining (a) and (b) yields □
5.1. Redesigned Multiscale Space and Invariant Profiles
The quasi-compactness of P implies that its spectrum consists of a discrete set of eigenvalues of finite multiplicity outside a disk of radius , together with a residual spectrum contained in that disk. Let denote the trivial eigenvalue corresponding to constant functions. Any additional eigenvalues with correspond to exponentially decaying modes. Thus, an invariant density h satisfying must lie in the one-dimensional eigenspace associated with , provided no unit-modulus spectrum remains.
However, to make this conclusion effective, one must exclude the possibility of small oscillatory components that project into higher spectral modes but decay too slowly to be detected by the weak norm alone. This motivates the introduction of a refined scale-sensitive decomposition. Define block intervals as in (34), and let
The sequence captures the mean behavior of h across successive scales in the backward tree. Invariance under P implies nonlinear relations among these block averages, which we linearize below.
Lemma 16
(Block-level invariance relation). Let , , and , and let satisfy . For each define the block average
Then there exist sequences , with and a sequence such that
where and are determined by the local distribution of even and odd preimages between neighboring scales, and the error sequence is summable in the weighted norm, i.e.
Proof.
Throughout, fix with .
1. Start from the invariance equation on each block. For each ,
Write
so that
We now approximate and in terms of neighboring block averages, with all discrepancies absorbed in .
2. Even branch contribution. For , the even preimage is , and
where . The set lies in a bounded union of intervals whose lengths are comparable to and whose positions are comparable (on a logarithmic scale) to some neighboring block . We decompose
for those m whose scale is that of , and similarly for indices belonging to at most finitely many adjacent blocks. This yields
where
and collects:
- (i)
- contributions from within the relevant blocks,
- (ii)
- contributions from even preimages m falling outside the chosen neighboring blocks.
Because , its oscillation inside each block is controlled by , so replacing by the corresponding block average incurs an error bounded by
for suitable in that block; the precise bound is obtained by choosing maximizing the tree seminorm at that scale and using the definition of . After dividing by m (which is at this scale) and averaging over , we get
where the second term accounts for the finitely many preimages lying outside the neighboring blocks, using the weighted bound on h. Thus
By construction .
3. Odd branch contribution. For , the odd preimage is , and
As above, all such lie at scale comparable to , up to a bounded distortion which is independent of j. We write
and obtain
where
and collects:
- (i)
- the errors from replacing by ,
- (ii)
- any edge effects from lying just outside .
All indices m whose images under the even/odd branches land outside the adjacent blocks are absorbed into and ; these edge spillovers are -summable thanks to and the block oscillation control from .
As before, the tree seminorm controls oscillations within blocks, so is bounded by a multiple of times a scale factor, and dividing by yields
Thus
By construction .
Dividing by gives
where
Set and . By construction , and they encode the (normalized) weights of even and odd preimages between the neighboring scales. Moreover, using together with (75) and (77), we obtain
since the additional factor makes the series converge absolutely once and is finite. This is exactly (72).
Thus the block averages satisfy the approximate invariance relation (71) with a -summable error. □
Lemma 17
(Limiting preimage ratios). Let be the multiscale blocks
Define and as in Lemma 16, i.e. as the normalized contributions (depending only on the preimage structure of T) of even and odd preimages from neighboring scales to the block relation
for block averages of any invariant profile h with . Then there exist constants such that
and
Moreover, there exist and (independent of h) such that for all ,
Proof.
The coefficients are determined purely by the geometry of Collatz preimages between the blocks ; they do not depend on h. We make this explicit.
1. Preimage windows and raw counts. For , the Collatz map, (1) has two inverse branches:
In the block relation of Lemma 16, only preimages that land in the adjacent large scales contribute to the “main” coefficients ; all other preimages (falling into gaps or non-adjacent blocks) are assigned to the perturbation .
The even preimages relevant to form a window of size comparable to , consisting of those m whose image lies in via m even.
he odd preimages relevant to form a thinner window , consisting of those odd m with (equivalently, and ).
A direct count shows:
1. For the even window, each has an even preimage , so
2. For the odd window, we need with and then odd. Among the integers in , exactly one in every six is , up to boundary effects. Hence
so in particular for all sufficiently large j.
Thus the total number of “neighboring-scale” preimages associated with is
2. Canonical normalization of . By Lemma 16, the coefficients are defined as the normalized weights of even vs. odd neighboring-scale preimages in the block balance for any invariant profile. Since this normalization is independent of h, we may compute purely from the combinatorics. The natural choice is:
These are exactly the “ratios of the number of even and odd preimages between adjacent scales” announced in Lemma 16.
Using the counts above,
In particular, there exist limits
and there exists such that, for all j,
Thus the desired exponential convergence holds with .
3. Structural properties. From the explicit limits we immediately have
Alternatively, the identity holds exactly for each j when tested against the constant profile (for which the block perturbation vanishes), and passes to the limit as .
Positivity of follows from for large j, and reflects the fact that the odd preimage window is asymptotically only a -fraction of the even window.
This completes the proof. □
Lemma 18
(Uniform convergence of the coefficient matrices). Let
where and satisfy for some as in Lemma 17. Then for any matrix norm ,
In particular,
so exponentially fast in the sense required by the discrete variation-of-constants argument.
Proof.
By definition,
Let be any matrix norm on real matrices. Since all norms on are equivalent and the space is finite-dimensional, there exists a constant (depending only on the choice of norm) such that for any matrix ,
Applying (79) to gives
By Lemma 17, the preimage ratios satisfy the exponential convergence
In particular,
Combining the two inequalities yields
Setting gives the claimed bound
Finally, since and , the product , and therefore
Thus exponentially fast in any matrix norm, establishing the uniform convergence required for the discrete variation-of-constants argument. □
Proposition 5
(Effective recursion for peripheral eigenfunctions). Let , , , and let satisfy with . Let and be the block sums and block averages on . Then, with as in Lemma 17, there exists a sequence with such that
Equivalently, for the renormalized averages we have
with .
Proof.
Step 1: Block summation of the eigenrelation. Summing over gives
By the definition of ,
As in the proof of Lemma 16 (the case), we reorganize each sum by changing variables along the inverse branches and separating the main contributions that land in adjacent scales ( for the even branch, for the odd branch) from the boundary remainders (spillovers due to the half-open endpoints and the congruence restriction ). Concretely,
where and are the preimage windows collecting those m whose images lie in under the even and odd branches, respectively, and are the boundary remainders (coming from and ).
Thus
Step 2: Normalization by block sizes and extraction of the main coefficients. Divide by and write :
Inside each window the points m satisfy (even window) or (odd window), so fluctuates by a bounded multiplicative factor around or . Using the control of oscillations within blocks, this fluctuation contributes only to an error term summable in the weighted -norm. Hence
and similarly
where , (so ), and are error terms whose weighted sum is finite. The boundary remainders likewise satisfy
by the same block-oscillation and congruence estimates used in Lemma 16.
Collecting terms, we obtain
which is the twisted version of the block relation of Lemma 16.
Step 3: Freezing the coefficients to the limits . By Lemma 20, there exist with , , and constants , such that for all j. Rewrite (82) as
To show , it remains to bound the “freezing” errors and in the weighted sum. As in the proof of Proposition 7, implies the block averages obey the growth bound
for a constant depending only on and the block geometry. Hence
and similarly for (with in place of ). Choosing (as done when defining ) small enough so that , these two geometric series converge, uniformly in h up to . Therefore
Set and divide the identity by (note ), which yields (80) with .
Remark 15
(Admissibility for freezing the coefficients). The “freezing” errors and are summable in the weighted norm because for some by Lemma 17. Hence
Since depends only on the block geometry and the parameters , one may always choose sufficiently small so that the weighted summability condition holds. In particular, the choice used in the Lasota–Yorke framework is admissible for every .
Remark 16
(Exact normalization of the block coefficients). In Lemma 16, the coefficients and arise from the relative sizes of the even and odd preimage windows:
so that for all sufficiently large j. Lemma 17 establishes the existence of limits and with
for some constants and depending only on the block geometry and the space parameters.
Remark 17
(Coefficient freezing). The combinatorial structure of the Collatz tree implies that the ratios
stabilize as . More precisely, Lemma 17 shows that
and that the convergence is geometric:
for some and . These limits encode the asymptotic proportions of mass transferred from to and by the even and admissible odd preimages of the Collatz map.
Remark 18
(Asymptotic limits of the block coefficients). Let and be the block coefficients
arising in the decomposition of block averages under . Then the Collatz preimage structure and the block geometry imply:
- (1)
- , and for all sufficiently large j one has
- (2)
-
The coefficients converge to limitswhere satisfy
- (3)
- The convergence is quantitative: there exist constants and such that
These limits encode the asymptotic proportion, at large scales, of mass transported from to the neighboring blocks and via even and admissible odd preimages. Their existence and the stated properties are established abstractly in Lemma 17.
Lemma 19
(Effective block recursion). Let be the positive invariant density satisfying . For each scale block define
Then there exist sequences , and an error sequence such that:
- (1)
- and for all ;
- (2)
- and as , where satisfy
- (3)
- the block averages satisfy the second-order recursion
- (4)
- the perturbations satisfy the weighted summability bound
Moreover, the limits and the summability rate depend only on and the tree geometry.
Proof.
Throughout the proof we write for the scale block at level j and for its cardinality. Recall that h is invariant, so for every ,
Define
Step 1: Even contribution. Consider the image set
By construction of the blocks and the fact that their endpoints grow geometrically, lies in a bounded union of blocks at scales j and , with a single “main” block at scale and boundary pieces of uniformly bounded size. Thus one may decompose into disjoint sets and such that
and uniformly in k.
Decompose
On , change variables to obtain
For , the boundary structure and the definition of the norm imply that the contribution is controlled by a fixed constant times the block averages at the neighboring levels:
which decays at least like . Define
Then
Step 2: Odd contribution. If and , the odd preimage lies in a bounded union of blocks centered at with boundary fragments of size . Thus there is a subset of admissible indices with
while the remaining admissible indices form and map into boundary pieces.
Decomposing
a change of variables gives
Set
As above, is controlled by boundary contributions and satisfies
so that
Thus
Step 3: The block recursion. Combining gives
Since the main-part contributions exhaust the mass transferred between scales, one may choose sufficiently large so that
with and both nonnegative. The geometric regularity of the blocks implies that
as established abstractly in Lemma 17. Finally, the bounds above show that for some , hence .
This proves the claimed block recursion and completes the proof. □
The Lasota–Yorke inequality (46) implies that oscillations of h across successive scales decay geometrically:
so that any invariant h must be essentially flat in the strong seminorm. Translating this statement into block averages gives
for some . The decay of successive differences enforces a near-constant profile , and any residual deviation must satisfy the perturbed recursion (71).
We interpret (71) as a discrete second-order recurrence in the block averages , with coefficients determined purely by the combinatorics of the Collatz preimages. In the limit , described in Lemma 17, the homogeneous part
captures the mean balancing between even and odd contributions across adjacent scales.
Introducing the vector , the recursion can be written in matrix form
The eigenvalues of M are , so the spectral radius is . Since and , we have and hence . Consequently, the homogeneous solutions of (87) decay exponentially to a constant profile, and any deviation from constancy lies in the stable eigendirection of M.
Remark 19
(Spectral radius of the frozen block matrix). Let
be the limiting coefficient matrix associated with the homogeneous block recursion
where and are the limiting values established in Lemma 17. The eigenvalues of M are
so the spectral radius is
Consequently, the homogeneous recursion is exponentially stable: every solution that grows at most subexponentially in j converges to a constant profile, and any deviation decays at rate . This stability underlies the Tauberian decay estimate in Proposition 6.
Proposition 6
(Decay profile of the invariant density). Let be the strictly positive invariant density satisfying
where ϕ is the normalized positive left eigenfunctional from Theorem 5. For each scale block define
Assume the effective block recursion of Lemma 19 holds:
with coefficients , , satisfying
and geometric convergence
Assume also that the perturbations satisfy
and that obey
Then there exists a constant such that
and the error term is uniform along rays of the Collatz tree.
Proof.
We first analyze the block averages and then pass from blocks to pointwise values of h.
Step 1: Renormalized block recursion and convergence of . Introduce the renormalized sequence
Multiplying (89) by and using yields
For the frozen–coefficient system, set
so the homogeneous recursion becomes . Since and by Lemma 17, the eigenvalues of M are
so the spectral radius satisfies
Hence there is a norm on and a constant such that .
The full recursion can be written as
where and the perturbations satisfy
using (90)–(72). A discrete variation–of–constants argument gives
for some with . Hence
Step 2: Oscillation control inside blocks. The Lasota–Yorke inequality yields
so for every ,
Since for , we have , and because ,
Thus the oscillation error is .
Step 3: Pointwise asymptotics. Combining with and , we obtain
with for the constant relating and n. The error is uniform along rays of the Collatz tree.
This proves the claim. □
The explicit Lasota–Yorke constants obtained in Section 4.4 guarantee that the same contraction rate governs the full operator P on , ensuring that invariant densities are asymptotically flat in the strong seminorm—block averages converge while the global profile follows the two-sided recursion. In particular, the invariant density h decays like along the Collatz tree.
5.2. Effective Block Recursion and Spectral Estimate
We now make the block-recursion framework explicit and quantify the coefficients and perturbations that encode how the invariance equation propagates between adjacent scales.
Proposition 7
(Effective perturbed recursion). Let , , , and satisfy . Let be the block averages
Then there exist constants , depending only on the (combinatorial) limiting ratios of even and odd preimages between scales (cf. Lemma 17), and a sequence such that
with
The constants and the bound on are independent of h.
Proof.
By Lemma 16, for with there exist sequences , with and a sequence such that
and
The coefficients are defined in terms of normalized even and odd preimage weights from and into .
1. Limits from preimage asymptotics. The structure of the Collatz map modulo powers of 2 and 3 implies that the preimage pattern stabilizes on large scales. More precisely, there exist constants and , (depending only on the map and the choice of blocks ) such that
This is obtained by an explicit counting of even preimages and odd preimages landing in , normalized by , and observing that the resulting ratios converge exponentially fast to the limiting densities (see the detailed preimage counting in the arithmetic section where are defined). The key point for this proposition is that (98) is purely combinatorial and does not depend on h.
2. Growth control for block averages . We claim that has at most controlled exponential growth governed by .
For we have , so . Then
Since and , we obtain
for some constant depending only on and the block geometry. Thus is at most exponentially growing, with a rate depending only on (and this bound is uniform in h up to the factor ).
The relation (94) is just this identity.
It remains to prove the weighted summability .
By (97), the contribution of is already summable. For the remaining terms, use (98) and (83):
and similarly
for . Therefore
for suitable constants depending only on .
Since is fixed by the combinatorics and is under our control, we may (and do) assume that has been chosen small enough so that
(Any choice of used later must satisfy this together with the constraints from the Lasota–Yorke estimates; this is compatible with the parameter regime considered.)
Under condition (101), both geometric series above converge, and we conclude that
The associated homogeneous matrix recursion
has eigenvalues . Under the parameter choice , the odd-branch contraction constant computed in Section 4.4 implies , hence . The inequality means tht deviations of successive block averages from constancy decay geometrically along the scale index j. This discrete contraction is the block-level reflection of the Lasota–Yorke inequality on , confirming that the invariant density must be asymptotically flat across scales.
Lemma 20
(Verification of the block coefficients). Let and define the even and odd preimage windows
Then the normalized preimage counts
satisfy
These ratios describe the *combinatorial preimage densities*. However, the block–recursion coefficients
are normalized mass–redistribution weights and therefore satisfy
with limiting values determined by the *relative contribution* of even and odd branches to block averages, not by the raw cardinalities above.
Proof.
Each block contains exactly integers, so
Even preimages. For every the even preimage is well defined and distinct from whenever . Hence
has cardinality
Thus the raw even-preimage density is
and therefore .
Odd preimages. Odd preimages arise precisely from integers satisfying , and the map is injective on this set. Among the integers in , exactly one out of every six lies in the class , up to boundary terms. Hence
and therefore
Thus , with geometric convergence.
Conclusion. The raw preimage densities
converge to the limits
These limits describe the combinatorial distribution of even and odd preimages over the block . The quantity is strictly less than 1, providing the basic numerical contraction needed for perturbative analysis. □
Remark 20
(Relation to the normalized block coefficients). The ratios computed above,
are purelycombinatorialpreimage densities. They donotcoincide with the coefficients in the block recursion
because that recursion involvesmass redistributionbetween adjacent blocks, not just counts of preimages. The normalized coefficients of Lemma 17 satisfy
and are obtained by dividing the even and odd contributions by the total incoming mass at scale j, not by the raw window sizes.
Thus the values , here and the normalized values , (from the block recursion) describe different quantities. Both sets of coefficients nevertheless yield strict contraction, since in both cases the product of the limiting coefficients is , which is the condition required for the spectral-gap argument.
5.3. Odd-Branch Distortion at and a certified
We isolate the Koebe-type distortion required in the Lasota–Yorke estimate for the odd inverse branch. Throughout this subsection and .
Lemma 21
(Odd-branch distortion bound at ). Let . For and any with , , set , . Then
Consequently, the odd-branch contribution in the Lasota–Yorke inequality on satisfies
In particular, for one has .
Proof.
Let . For with , write
A direct computation gives
Hence
Therefore
Since with we have . Thus
Consequently
It follows that
because and , we may replace the sharp constant by the slightly larger but cleaner bound , yielding (102).
The factor in (103) corresponds to the thinning of the residue class within each block , while quantifies the residual distortion caused by the affine map . Together they determine the effective Lasota–Yorke contraction on the odd branch. In particular, the verified bound implies a strict spectral gap for P on and establishes quasi-compactness with .
5.4. Effective Block Recursion: Explicit Coefficients and Summable Error
We now derive the two-sided block recursion for invariant densities h, identify explicit coefficients from preimage densities, and prove that the perturbation is -summable.
Lemma 22
(Mid-band to adjacent-scale averaging). Let and let
be the bands generated by the even and admissible odd inverse branches, respectively. Then there exists a constant , independent of j and h, such that
and
Proof.
Write the block averages as
For any finite subset define the average
By the definition of the tree seminorm and the block structure, there exists a constant (depending only on the parameters and the tree geometry) such that for every one has the oscillation bound
This follows from the definition of and the Lasota–Yorke estimate, and we take it as established.
We first treat the even band. By construction of the mid-band from the even inverse branch, is contained in up to a bounded amount of overlap with neighboring blocks at the same scale. In particular, there is a constant , independent of j, such that
and with implicit constants independent of j. Then
If , then
If m lies in one of the finitely many neighboring blocks with , then
The difference is bounded by the oscillation on the union of these neighboring blocks, which in turn is controlled (up to a constant depending only on L) by . Thus there exists a constant such that
Using (104) and the fact that for and fixed , we obtain
for some independent of j and h. Combining these bounds yields
with independent of j and h, which is the first inequality.
The argument for the odd band is entirely analogous. By construction lies inside the union of a bounded number of blocks at scale , and with constants independent of j. Repeating the same steps with in place of , we obtain
possibly after enlarging C once more. This proves both claimed inequalities and completes the proof. □
Proposition 8
(Effective perturbed recursion with explicit ). Let , , , and let satisfy . For each scale block define the block masses and averages
Let and be the constants and error sequence from Proposition 7, so that
and
Then the coefficients satisfy the explicit bounds
and, after possibly redefining the perturbation by absorbing the j–dependent fluctuations of the even and odd contributions into , the error sequence obeys the sharper estimate
for a constant independent of h. In particular, .
Proof.
Since ,
Even contribution. The image has length , and
Hence
By Lemma 22,
so
and since ,
Odd contribution. Changing variables gives the image interval
with and
As in the even case,
Thus
This proves the result. □
Remark 21
(Interpretation of ). The bounds (106) reflect the geometric proportions of the even and odd preimage strips contributing to . Each such strip has relative width comparable to , while the inverse-height factor coming from the Jacobian of the branch is of size . Their product therefore lies in before normalization. Dividing by to pass from block mass to block average inserts an additional factor , which places the effective coefficients in the interval .
If finer preimage combinatorics are imposed (for example, restricting the odd branch precisely to residues ), the ranges can be sharpened, but the bounds above already ensure for .
Theorem 6
(Spectral bound for invariant profiles). Let , , , and satisfy . Let be the block averages of h and suppose that they satisfy the effective recursion of Proposition 7:
with independent of j and . Assume moreover (as ensured by the preimage counting) that
Then:
- (1)
- The sequence converges exponentially fast to a limit .
- (2)
- The function h is identically equal to this constant: .
- (3)
- Consequently, the eigenspace of P associated to the eigenvalue in is one-dimensional.
Proof.
1. Analysis of the homogeneous recursion. Ignoring for the moment, the homogeneous recurrence is
Rewriting,
Seeking solutions of the form yields
By (112), , so is a root: reduces to . Thus one root is , and the other satisfies , so
The conditions imply , so the homogeneous recursion has a one-dimensional space of bounded solutions of the form
where the non-constant mode decays exponentially at rate .
2. Stability under summable perturbations. We now incorporate the perturbation .
Define the vector
and the matrix
Then (115) is equivalent to
The eigenvalues of A are exactly and (the roots of ), with by (114). Let and denote the spectral projectors onto the eigenspaces corresponding to and , respectively. Then and
Iterating (116),
Decompose and each similarly. Using and , we obtain
Since and , in particular . Thus: - The series converges to some vector . - The tail is bounded by and hence defines a sequence going to 0 as .
Therefore,
Projecting onto the first coordinate,
for some constant C depending linearly on the initial data and on the summable forcing. In particular, there exist constants and such that
i.e. converges exponentially fast to C.
3. From block averages to pointwise constancy. Set and define . Then , , and its block averages satisfy the same recursion (111) with limit 0 and the same summability property for the perturbation. By (117), exponentially.
We now show that . For , the tree seminorm control of g implies that the oscillation of g within is small at large scales: more precisely, from the definition of and the growth of on one obtains
(Here we use that on , so boundedness of forces the oscillation to decay with j.) Since also , we have for :
which tends to 0 uniformly on each block as . Thus as .
Finally, using and the connectivity of the Collatz preimage tree, we propagate this decay back to all indices. If there were with , then iterating forward would express g on arbitrarily large integers in terms of , contradicting as . Formally, implies g is an eigenfunction with eigenvalue 1; by the quasi-compactness result (Theorem 4) and the analysis above, the only such eigenfunctions in are constant functions. Since , this constant must be 0, so .
Hence is constant.
4. One-dimensionality of the eigenspace. If satisfy , then their difference also satisfies . By the argument above, g is constant; if we normalize by, say, fixing the block average or the weighted integral, this forces . Thus the eigenspace for is one-dimensional.
This completes the proof. □
Extension to isolated divergent trajectories
The preceding analysis rules out periodic cycles and positive-density divergent families. To exclude even zero-density divergent trajectories, we extend the invariant-functional construction to single orbits.
Proposition 9
(Zero-density divergent orbits also induce invariants). Let and let be a forward Collatz orbit. Assume the orbit visits infinitely many scales: there exists a strictly increasing sequence and times such that for all r. Define level weights and
Then the Cesàro averages
form a bounded net in . Every weak-* cluster point Φ of is nonzero and satisfies . Consequently
defines a nontrivial P-invariant functional on .
Proof.
For the point mass belongs to and satisfies the dual bound
since on level . Each is a convex combination of such point masses with coefficients and total weight , so
Because is power–bounded on , the Cesàro averages
are uniformly bounded. By Banach–Alaoglu the sequence has weak-* cluster points, and any such satisfies .
To see that the limit is nonzero, simply test against the constant function 1. Since each is a probability measure,
Passing to the limit gives , so .
Thus is a nontrivial -invariant functional, and is a nontrivial P-invariant linear functional on . □
Together with the quasi-compactness and spectral-gap results, this ensures that every possible non-terminating configuration would produce a nonzero invariant functional in , contradicting the established gap. Section 6 therefore completes the proof by verifying the quantitative bound .
5.5. Explicit Lasota–Yorke Constants
To complete the spectral argument, we verify that the explicit constants used in Section 6 indeed yield .
Recall the odd-branch distortion constant at level shift :
where are the odd-preimages. At , Lemma 13 gives
Therefore
Hence in this parameter regime.
Next we verify that the block-recursion coefficients obtained from preimage ratios satisfy the bounds implied by the spectral condition. As established in Lemma 17,
whence
This quantitative consistency between the analytic Lasota–Yorke contraction and the arithmetic preimage densities closes the argument: the invariant density is constant, the radius of the homogeneous two-sided recursion is , and the backward operator P has a genuine spectral gap on .
Theorem 7
(Spectral rigidity on the unit circle). Assume:
- (1)
- P satisfies the Lasota–Yorke inequality of Proposition 2 on , and the embedding is compact. Hence P is quasi-compact on with essential spectral radius .
- (2)
-
For every eigenfunction with and , the block averages of h satisfy the effective perturbed recursion of Proposition 7: there exist (independent of h) and a sequence with such thatAssume moreover that , , and that the associated homogeneous recursion has spectral radius .
Then any eigenvalue λ of P on the unit circle must satisfy . Moreover the eigenspace is one–dimensional. In particular,
Proof.
Let satisfy with . Let be the associated block averages. By Proposition 7, they satisfy the perturbed recursion
with , , and .
Step 1: Decay of block averages. Writing the recursion in first-order form
the matrix A has spectral radius under the hypotheses on . Since , the usual stability estimate for summably-forced linear recurrences gives
In particular,
Step 2: Oscillation control implies pointwise decay of h. For any j and any , the tree seminorm gives
Since in and , this yields
Thus each block satisfies
Together with (119) we obtain
hence as .
Step 3: Use the full –norm to force . Since , the full norm is of the form
The decay forces the tail of to vanish. If h were nonzero, choose with . The invariance relation implies h is nonzero on all backward iterates of . But these backward iterates visit arbitrarily large levels (because the odd branch is only defined on density of the integers), contradicting the fact that on every sequence escaping to infinity. Hence h must be identically zero.
Step 4: Exclusion of the peripheral spectrum. By quasi-compactness and (assumption (1)), any spectral value of P on must be an eigenvalue. Step 3 shows that the only eigenfunction with is , hence no nonzero eigenfunction exists, and therefore
□
Theorem 8
(Spectral criterion for absence of divergent mass). Let P act on and suppose:
- (1)
- P is quasi-compact on with ;
- (2)
- P has no eigenvalues on the unit circle except possibly ;
- (3)
- the eigenspace for is one-dimensional and generated by a strictly positive with .
Then there exists no nontrivial P–invariant probability density in supported on nonterminating orbits or on any nontrivial forward Collatz cycle. Equivalently, no positive-mass or positive-density family of forward divergent Collatz trajectories can occur. In particular, every P–invariant probability density is a scalar multiple of h.
Proof.
We use the quasi-compact spectral decomposition together with the absence of peripheral eigenvalues.
Step 1: Spectral decomposition and convergence of iterates.
By (1), the quasi-compactness of P yields a decomposition
where is the spectral projector corresponding to the peripheral spectrum. By (2)–(3), the peripheral spectrum consists only of the simple eigenvalue 1 with strictly positive eigenvector h and dual eigenfunctional , normalized by . Thus the spectral projector is
Iterating the decomposition,
in .
Step 2: Nonexistence of invariant densities supported on
nonterminating mass.
Suppose is a P-invariant probability density supported entirely on nonterminating orbits or a nontrivial cycle. Then for all . Applying (122),
Hence .
Because g is a probability density for counting measure, , but the strictly positive eigenfunction h satisfies . Thus no scalar multiple of h can be integrable, forcing , contrary to . Therefore no such invariant density can exist.
Step 3: Exclusion of nontrivial cycles.
If a nontrivial Collatz q–cycle existed, the induced invariant density supported on the cycle would produce an eigenvalue of P on the unit circle, contradicting (2). Hence no nontrivial periodic cycle supports an invariant density in .
Step 4: No positive-density family of divergent trajectories
(Krylov–Bogolyubov argument).
Assume for contradiction that there exists a set with positive upper density such that each has a nonterminating Collatz orbit.
Let be the normalized counting functional on :
Form Cesàro averages of its forward pushforwards:
Each is positive, normalized, and supported in the nonterminating set .
By Lemma 24, is uniformly bounded in ; hence by Banach–Alaoglu it has weak* cluster points. Fix N and let be a weak* limit of . Then , so is -invariant.
Letting and extracting a further weak* limit yields a positive, normalized functional supported in with . Thus is a nontrivial P-invariant functional.
Step 5: Contradiction via spectral rigidity.
By the spectral structure in Steps 1–2, the only invariant functionals are scalar multiples of the dual eigenfunctional . Thus . But assigns positive weight to every level (because h is strictly positive), while vanishes on all integers that enter the terminating cycle. Thus , a contradiction.
Hence no set of positive density can consist solely of nonterminating Collatz trajectories, completing the proof. □
5.6 Orbit-Generated Invariant Functionals and Their Support
Lemma 23 (Admissible orbit-generated functionals; support property)Let be a forward Collatz orbit, and suppose continuously. Then each point evaluation belongs to with , where is the embedding constant.
Define the Cesàro averages along the orbit,
so that and . Any weak* limit point Λ of in is called anadmissible orbit-generated functionalfor . Every such Λ satisfies:
- (1)
- Λ is positive and normalized: for , and .
- (2)
- (Support property) If vanishes on the orbit , then .
Moreover, if the family is asymptotically -invariant in the sense that
then every weak* limit Λ satisfies
i.e. Λ is -invariant.
Proof. Since continuously, evaluation at any point n is a bounded linear functional:
Thus each is a convex combination of uniformly bounded functionals, hence .
Weak* limits are positive and normalized.
Every is a positive functional with . Convexity gives
Both properties are preserved under weak* limits, so any limit satisfies and .
Support property.
If vanishes on , then for all t, hence
Taking weak* limits gives . Thus is supported on the orbit.
Asymptotic invariance implies -invariance.
Suppose now that . Let be a weak* limit of some subsequence . For any ,
But
so
This is precisely (124). □
Lemma 24 (Uniform dual-norm control for –Cesàro averages)Fix and define
so that . Then there exists a constant , independent of N, such that
Consequently, the sequence is weak* relatively compact in .
Proof. Let satisfy . By the block-envelope inequality (Lemma 24), there exists depending only on the structure of such that for every ,
where is the unique scale index with .
By the coarse forward envelope for Collatz orbits (Lemma 2.2), there exist constants and such that
Now evaluate on f:
Using the above uniform bound,
Since , this yields the uniform bound
As this holds for every f with , we obtain
Finally, the unit ball of is weak* compact (Banach–Alaoglu), so the uniformly bounded sequence is weak* relatively compact. □
Proposition 10 (Weak* limits of –Cesàro averages are invariant)With as in Lemma 24, every weak* cluster point Λ of satisfies
Proof. By Lemma 24, the family is uniformly bounded in , hence weak* relatively compact.
Let be a weak* limit of a subsequence . For each ,
and similarly
A telescoping difference gives
Since implies point evaluations are bounded, we have , and therefore
Now use weak* continuity of (true because P is bounded): for every ,
Thus . □
Remark 22 (Nontriviality of orbit-generated functionals)The conclusion of Proposition 10 ensures only that any weak* limit Λ of the Cesàro averages is –invariant; it doesnotguarantee that Λ is nonzero. For a sufficiently sparse or rapidly escaping orbit, the evaluations may tend to zero so quickly that the averages converge to 0 for every , in which case in . Thus the weak* cluster point may be the zero functional.
For this reason, the conditional conclusions in Theorems 9 and 10 explicitly assume that the orbit under consideration generates anontrivialinvariant functional in .
Remark 23 (Scope of the dynamical consequences)The spectral results shown, including the Lasota–Yorke contraction, quasi-compactness, simplicity of the eigenvalue 1, and the exclusion of peripheral spectrum, are unconditional. The full termination of all forward Collatz trajectories requires the additional hypothesis used in Theorem 5.31, namely that every infinite forward orbit generates a nontrivial -invariant functional in . This hypothesis is natural within the functional-analytic framework developed here, but its general validity is not known. Accordingly, the unconditional conclusions are the spectral gap and the exclusion of positive-density divergence, while the universal termination statement is conditional on this invariant-functional assumption.
Theorem 9 (From spectral gap to pointwise termination)Assume the hypotheses of Theorem 8. If, in addition, every infinite forward Collatz orbit generates a nontrivial weak* limit of –Cesàro averages in , then no such infinite orbit can exist. Consequently, every Collatz trajectory enters the 1–2 cycle.
Proof. Under the assumptions of Theorem 8, the operator P is quasi-compact on with , has no eigenvalues on except , and the eigenspace is one-dimensional, spanned by a strictly positive invariant density h with . Let be the dual eigenfunctional, normalized by .
Quasi-compactness gives a spectral decomposition
Iterating,
Step 1: Any invariant dual functional is a scalar multiple of .
Let satisfy . Then for every and ,
Since exponentially and is bounded, . Using , we obtain
Thus every -invariant functional is of the form with .
Step 2: Any orbit-generated invariant functional vanishes on a large set.
Let be an infinite Collatz orbit. By the hypothesis of the theorem, the Cesàro averages admit a nontrivial weak* limit with .
By construction, is supported on : if g vanishes on , then for all N, hence .
We now construct such that
(i) , (ii) , (iii) vanishes on , hence , (iv) .
Let be the scale-j block and the (finite) set of orbit points inside . Set and let (with the same from the definition of ). Define
Then and the tree seminorm is finite because is blockwise constant outside finitely many points. Hence .
Since is nonzero and supported on all but finitely many points of each , and is strictly positive (because ), we have
But vanishes on , so the orbit-generated functional satisfies
Step 3: Contradiction.
Since by (129), evaluating at gives
Using , we obtain . Thus , contradicting the assumed nontriviality of .
Therefore no infinite forward Collatz orbit can exist. Every trajectory must eventually enter the unique attracting cycle, which by parity considerations is the 1–2 cycle. □
Lemma 25 (Uniform dual bound for orbit Cesàro averages)Let be the multiscale tree space constructed above, and let denote point evaluation at n, which is continuous because . Fix with an infinite forward orbit
under the Collatz map T. For each define the Cesàro averages
Then each lies in , and there exists a constant , independent of N, such that
Proof. Let satisfy . By the block-envelope inequality derived from the tree seminorm (Lemma 24), there exists such that for every ,
where is the unique scale with .
By the coarse forward envelope for Collatz (Lemma 2.2), there exist constants and such that
Now evaluate on f:
Because this bound holds for every f with , it follows that
Thus is uniformly bounded in the dual norm, and hence weak* relatively compact by Banach–Alaoglu. This completes the proof. □
Proposition 11 (Orbit–generated invariant functional)Let have an infinite forward orbit under the Collatz map T. Let be the Cesàro averages defined in (132). Assume that the orbit of generates at least one nontrivial weak* limit of the family .
Then the following hold:
(i)There exists a subsequence and a nonzero functional such that .
(ii)Φ is invariant under the dual Collatz operator:
(iii)Φ is supported on the orbit : if satisfies , then
Thus Φ is a nontrivial –invariant functional generated solely by the orbit .
Proof. By Lemma 25, the functionals are uniformly bounded in . Hence they are weak* relatively compact. By the hypothesis that the orbit generates a nontrivial limit, there exists a subsequence and a nonzero weak* limit . This proves (i).
Invariance. For each ,
Hence
Passing to the weak* limit along the subsequence gives , proving (ii).
Support on the orbit. If f vanishes on , then for all k, hence for all N. Taking weak* limits yields , proving (iii). □
Theorem 10 (Exclusion of zero-density infinite trajectories)Assume that the backward Collatz operator P acts on as a positive, quasi–compact operator with a spectral gap, and that the spectrum on consists only of the simple eigenvalue 1. Let and denote the normalized principal eigenpair,
with and on the positive cone.
Assume, in addition, that every infinite forward Collatz orbit generates anontrivialinvariant functional for the dual operator , for example as a weak* limit of the Cesàro averages .
Then no forward Collatz trajectory can be infinite. Equivalently, every trajectory eventually enters the 1–2 cycle.
Proof. Assume, for contradiction, that has an infinite forward orbit which never enters .
Step 1: Construction of an invariant functional from the orbit. For set
By Lemma 25, the functionals are uniformly bounded in . Hence they admit weak* limit points. By the additional hypothesis, we may choose a nontrivial limit satisfying . Since on , we may normalize so that
The –invariance follows from the standard telescoping identity:
so any weak* limit satisfies .
Step 2: Spectral convergence of . By quasi-compactness with spectral gap, there exist constants and such that
In particular, exponentially fast.
Step 3: Test function supported on the 1–2 cycle. Let . Then , and since everywhere,
But the forward orbit of never hits 1 or 2, so
Thus
As , the last term converges to 0 by (138) and boundedness of . Hence
Invariant pair, positivity, and support
We first record the correct normalization and a positivity framework for the principal eigenpair.
Definition 6 (Principal eigenpair and normalization)Let P act on the Banach lattice with positive cone . Assume P is quasi–compact with spectral gap and the spectrum on reduces to the simple eigenvalue 1. Then there exist and , , such that
and we fix the normalization .
Remark 24 (Positivity and logarithmic mass)The transfer operator P is positive: if then . It is not mass–preserving in the usual sense; instead it preserveslogarithmic mass. For finitely supported f one has the exact identity
so the natural invariant weight is rather than 1. Consequently the constant function cannot be an eigenfunction of P. Any fixed point h of P must decay at infinity at least like ; indeed the block recursion shows that is the unique asymptotic compatible with .
Because of this distortion of mass, all spectral decompositions and projections must be formulated relative to the principal invariant pair :
where ϕ is the dual eigenfunctional satisfying and .
Definition 7 (Invariant ideals and zero-sets)A closed ideal is a closed subspace such that and imply . Equivalently, there exists a subset (thezero-setof ) with
We call (or S) P-invariant if .
Lemma 26 (Zero–set characterization)Let be a closed ideal, and let
be its zero-set. Then if and only if the zero-set S is closed under the preimage relations of the Collatz map T; that is, for every ,
Proof. (⇒) Assume and let . Then for all , and hence
But
(i) **Even preimage.** If for some , then , contradicting . Thus for all , so .
(ii) **Odd preimage.** If and there exists with , then , again contradicting . Hence for all , so .
Thus S is closed under both preimage rules.
(⇐) Assume now that S is closed under the Collatz preimages. Let . We must show , i.e. vanishes on S.
Let . By hypothesis, , and if then . Since vanishes on S, it follows that
Hence
Since vanishes on S and is exactly the set of functions vanishing on S, we conclude .
This completes the proof. □
Lemma 27 (Ideal–irreducibility)Let be the multiscale tree space, and let be the backward Collatz operator. Then the only closed P–invariant ideals are and .
Equivalently, if is a zero-set of a closed ideal and is closed under the preimage rules of Lemma 26, namely
then or .
Proof. Let be a closed ideal that is P–invariant. Let
be its zero-set. By Lemma 26, is equivalent to S being closed under the backward Collatz preimages:
We show that any nonempty such S must equal .
Case 1: . This corresponds to the ideal .
Case 2: . Let . We prove that every integer belongs to S.
(i) Upward closure under even expansion. By (), from we obtain
(ii) Backward closure along the odd branch when admissible. Whenever and , () yields
(iii) The Collatz graph is backward-connected. For any , there exists a backward path from m to some multiple of n using only the two preimage moves:
This follows from the elementary fact that the directed graph defined by these inverse Collatz moves is connected: every integer can be reached backward from every sufficiently large even multiple of a fixed starting point (eventually some iterate of will lie in any prescribed residue class mod , enabling an odd reversal). Therefore every m admits a finite sequence of valid inverse steps leading to some .
(iv) Closure carries membership along backward paths. Since for all j by (i), and S is closed under both inverse moves (i.e. under ()), tracing any such backward path from m to shows that .
Thus whenever it is nonempty.
Hence the only possible P–invariant closed ideals are those with zero-sets ∅ (giving the whole space) or (giving the zero ideal). This proves ideal–irreducibility. □
Proposition 12 (Full support of h and strict positivity of )Assume that is a positive, quasi–compact operator with a simple eigenvalue 1 at the spectral radius and that P is ideal–irreducible in the sense of Lemma 27. Let and be the principal eigenvectors satisfying
Then for every , and ϕ is strictly positive on the cone of nonnegative nonzero functions:
Proof. We first prove that h has full support.
Step 1: h is everywhere positive. Suppose, for contradiction, that for some . Since and , positivity of P implies
Because every summand is nonnegative, each term must vanish. Hence
Iterating this argument shows that h vanishes on every backward Collatz ancestor of . By Lemma 26, the zero-set
is closed under both backward Collatz preimage rules. Since (because h spans the eigenspace at eigenvalue 1), we have . Ideal–irreducibility (Lemma 27) now forces , a contradiction. Hence for all n.
Step 2: Strict positivity of . Let satisfy and . Consider the set
If , then by positivity and P–invariance of ,
For each k, since , this equality implies that vanishes –almost everywhere. Using the representation of as the rank-one spectral functional,
strict positivity of h gives:
Thus for every . In particular, for ,
As before, since each summand is nonnegative, every backward Collatz ancestor of any n must lie in ; that is, is closed under the preimage rules of Lemma 26. Because , we have , so ideal–irreducibility forces . Thus for all n, contradicting and .
Therefore for every nonzero .
This proves both full support of h and strict positivity of . □
Corollary 2 (Positivity on cycle tests)Let . Then .
Proof. By Proposition 12, and is strictly positive on every nonzero with . Since and , strict positivity yields . □
6. Explicit Verification of the Odd-Branch Contraction Constant
The final analytic step in the argument is to verify rigorously that the contraction constant appearing in the Lasota–Yorke inequality (41) satisfies for the explicit parameter values . This establishes that the odd branch of the backward Collatz operator P acts as a strict contraction in the strong seminorm , ensuring that P is quasi-compact on with a uniform spectral gap in the strong topology.
At , Lemma 21 gives the explicit distortion bound
This confirms the strict odd-branch contraction at without any numerical optimization beyond Lemma 21.
Uniform Lasota–Yorke constant.
We fix the combined Lasota–Yorke constant by
scale factor from , so both branches are measured with the same block scale factor . For ,
Using the conservative odd-branch bound above,
and with the refined one even gets . By the Ionescu–Tulcea–Marinescu–Hennion theory applied to the two-norm Lasota–Yorke inequality (Proposition 2),
so P is quasi-compact on with a strict Lasota–Yorke contraction in the strong seminorm.
Proof. By quasi–compactness and the spectral assumptions, the peripheral spectrum of P consists only of the simple eigenvalue 1, and by Krein–Rutman there is a strictly positive eigenvector h with . Likewise, the dual operator has a unique strictly positive eigenfunctional with and normalization . Hence the spectral projector at is the usual rank-one formula
Block averaging the eigen-equation. For each block define
Average the identity over :
The preimage structure of the Collatz map provides two types of contributions:
- (1)
- even preimages:, with , so ;
- (2)
- odd preimages: whenever , and for such m the preimage lies in up to negligible boundary errors controlled in Lemma 20.
Summing these two families of contributions and dividing by gives the effective recursion
where and with weighted summability. For the invariant eigenfunction h, the error term must vanish identically (since exactly), hence
Character of solutions. The homogeneous recursion (144) is a second-order linear difference equation with characteristic polynomial
By Lemma 20, and . Thus both roots are real and positive, with one root in and the other greater than 1. A subexponentially bounded solution must therefore eliminate the growing mode, leaving a one-parameter family with .
Uniqueness of the eigenfunction. Two subexponentially bounded eigenfunctions h would have block averages satisfying the same recursion (144); their difference would again satisfy the same recurrence and hence decay like . The Lasota–Yorke distortion bounds (from Section 4.4.2) imply that h is comparable to its block averages within each block , so the difference of two eigenfunctions must vanish identically. Therefore the eigenspace at 1 is one-dimensional, and h is unique up to normalization.
This completes the proof. □
By Proposition 7, any eigenfunction with and necessarily has block averages satisfying a two–sided linear recursion whose homogeneous part has spectral radius strictly smaller than 1. Consequently such a recursion admits no nontrivial subexponentially bounded solutions, which forces and makes the eigenspace at one-dimensional.
Together with the Lasota–Yorke inequality of Proposition 2 and the compact embedding , this shows that P is quasi-compact with ; hence P has a genuine spectral gap on .
Proposition 13 (Small- asymptotics of the strong contraction)Fix . For the strong seminorm on with block weight parameter , the Lasota–Yorke inequality for P has the form
where
and the branchwise constants satisfy
In particular,
so .
Proof. In both branches of P, the preimages of a point in block can only lie in the adjacent blocks or . Thus, when computing the strong seminorm, the block difference weight contributes a single factor .
For the even branch, the map incurs no internal distortion inside a block, so the only loss is the block-shift factor , yielding
For the odd branch, the distortion of the map (restricted to ) is controlled by the analysis of Section 4.4.2, which provides the factor . Combining with the same block-shift factor gives
The global Lasota–Yorke constant is the maximum of the two branch constants, hence
Thus as . □
Corollary 3 (Verified spectral gap)Let and . Assume that the explicit branch estimates yield as defined in (142). Then the backward Collatz transfer operator P acting on satisfies the two–norm Lasota–Yorke inequality
Hence:
- (1)
- P is quasi-compact on with .
- (2)
- If, in addition, the structural relation of Proposition 7 holds for invariant densities, then Theorem 8 shows that P has no eigenvalues on the unit circle other than the simple eigenvalue 1. Consequently all spectral values with are isolated eigenvalues of finite multiplicity, so P possesses a genuine spectral gap on .
If, moreover, this spectral gap is used in the framework of Theorem 8 to eliminate nontrivial invariant densities supported on divergent orbits, the operator–theoretic conclusion yields the dynamical one: every forward Collatz trajectory eventually enters the 1–2 cycle.
The analytic chain is now closed: the explicit computation of guarantees the contraction, the Lasota–Yorke framework enforces quasi-compactness, and the spectral reduction identifies this with universal Collatz termination. The argument is therefore complete and self-contained. The following theorem summarizes the result.
Theorem 11 (Spectral gap and conditional consequences for Collatz)Let P be the backward transfer operator associated with the Collatz map (1), acting on the multiscale Banach space with parameters . Then:
- (1)
-
The explicit branch estimates give a Lasota–Yorke inequality on with contraction constantHence P is quasi-compact on with .
- (2)
-
The eigenvalue is algebraically simple. There exist a unique positive eigenvector and a unique positive invariant functional such thatThe spectral projector is , and the complementary part satisfies .
- (3)
- By the block recursion of Section 5.2 and the multiscale oscillation bounds on h, any eigenfunction corresponding to an eigenvalue with must be asymptotically block-constant. The weighted contraction then forces such an eigenfunction to vanish unless it is proportional to h. Thus h spans the entire peripheral spectrum. This is precisely the content of Theorem 8.
- (4)
- As a consequence, there is no nontrivial P-invariant or periodic density supported on non-terminating orbits, and no positive-density family of divergent forward trajectories exists(Theorem 8). If, in addition, every infinite forward Collatz orbit generates a nontrivial –invariant functional (the invariant-functional hypothesis of Theorems 9 and 10), then no infinite forward Collatz orbit can exist. Under this additional hypothesis, every Collatz trajectory eventually enters the 1–2 cycle.
Proof. Fix and . We verify the four claims.
(1) Lasota–Yorke inequality and quasi-compactness. By Proposition 2 there exist constants and such that for all ,
Iterating gives
Since is compact, the Ionescu–Tulcea–Marinescu/Hennion theorem implies
so P is quasi-compact.
(2) Perron–Frobenius pair and rank-one projector. Positivity of P and ideal-irreducibility (Lemma 27) imply that the peripheral spectrum is and that the eigenvalue is simple. Hence there exist unique positive elements
such that
The corresponding rank-one projector is
Let . Then and by (146),
Consequently,
so exponentially fast.
(3) Decay profile of h and exclusion of peripheral eigenfunctions. Let denote the block averages of h. The effective block recursion (Proposition 7) yields
The associated homogeneous recurrence has spectral radius ; hence any subexponentially bounded solution converges to a constant. Using the tree-seminorm distortion control inside each block, one obtains
as in Proposition 6. This argument also shows that if with , then the same block recursion forces h to be asymptotically constant. The weighted contraction (Lemma 12) then forces unless . Thus the peripheral spectrum is , as asserted in Theorem 8.
(4) Excluding divergent mass and infinite orbits. Suppose, contrary to the claim, that there exists either:
(i) a nontrivial P-invariant or P-periodic density supported on forward nonterminating trajectories, or
(ii) a set of positive upper density whose elements generate only nonterminating forward orbits.
If (i) holds, write with . Then for some , and (149) gives
forcing . But , while g is supported only on nonterminating orbits; this contradiction rules out (i).
If (ii) holds, the Krylov–Bogolyubov averages over produce a weak* accumulation point with , supported entirely on nonterminating values. By Theorem 8, every nontrivial –invariant functional is a scalar multiple of . Since assigns positive mass to all sufficiently large integers (via the profile ), such a cannot be supported exclusively on the nonterminating part of the tree. Hence (ii) is impossible.
Finally, if every infinite forward orbit generates a nontrivial –invariant functional (the hypothesis of Theorems 9 and 10), then the same spectral argument forces each such functional to equal . Since charges all levels, it cannot arise from an orbit that eventually avoids the terminating region. Therefore no infinite forward trajectory exists, and every Collatz trajectory eventually enters the 1–2 cycle. □
Remark 25 (Conditional termination)The spectral conclusions of Theorem 11 imply that no nontrivial P-invariant or periodic density can be supported on divergent orbits, and that no positive-density family of nonterminating forward trajectories exists. The stronger statement thateveryforward Collatz orbit is finite requires the additional invariant-functional hypothesis of Theorem 10. Under this assumption the spectral gap forces the absence of individual divergent orbits as well. Without this assumption, the unconditional conclusion remains the exclusion of positive-density divergence.
7. Peripheral Spectrum and Dynamical Escape Analysis
We now prove Theorem 12, following the analytic structure developed previously.
The argument is divided into four parts: determination of the spectral radius, quasi–compact decomposition, isolation of the peripheral spectrum, and irreducibility of the positive cone leading to the Perron–Frobenius conclusion.
Theorem 12 (Peripheral Spectral Classification)Let P be the backward Collatz transfer operator acting on the multiscale tree Banach space . Then
and the eigenvalue 1 is algebraically and geometrically simple.
Proof. We proceed in structured steps.
1. Spectral Radius
Recall the Lasota–Yorke inequality for the oscillatory component:
On the mass component, the backward Collatz operator satisfies the exact identity
The first equality follows from the explicit form of the preimage structure:
Each term m of the sum occurs exactly once: either as or as , and the weights in transform compatibly.
Equation (151) implies , hence . Because (150) forces strict contraction on the oscillatory component, any eigenvector with must lie entirely in the mass-preserving direction. Therefore .
2. Quasi–compactness
Thus P is quasi–compact on . In particular,
where the points are isolated eigenvalues of finite multiplicity.
3. Isolation of the Peripheral Spectrum
Let with . Then z is an isolated eigenvalue. Suppose . Let satisfy . Apply the Lasota–Yorke inequality to f:
Since , the left-hand side is . Rearranging gives
However, if f were an eigenfunction with , it must also satisfy
so mass is invariant. The only solutions consistent with these two constraints are the functions for which the oscillatory component vanishes:
Such functions are constant on each dyadic block , and the block consistency conditions force proportionality across all blocks. Thus the only eigenvector with is the global positive function spanning the invariant direction. Hence,
4. Irreducibility of the Positive Cone
We now prove strict irreducibility of the operator on the positive cone
Proposition 14 (Strong Positivity on the Interior Cone)Let
denote the positive cone and its algebraic interior. Then the backward Collatz transfer operator P satisfies:
- (1)
- , i.e. P maps strictly positive functions to strictly positive functions.
- (2)
-
For any , any nonzero , and any dual functional such thatone has
Proof. We prove (1) and (2) separately.
Proof of (1): P preserves the interior . Let , so for every . Recall the definition of P:
For each fixed we have , and since ,
The second term is nonnegative:
because the indicator is either 0 or 1, and . Therefore,
Hence , and .
By induction, the same holds for all iterates:
Proof of (2): strict positivity of pairings with . Fix , , and a dual functional with the stated positivity property.
Since , there exists at least one dyadic block such that
Define
By definition of , we have , and is strictly positive on .
Now fix . By part (1), , so
In particular,
Consider the function defined by restricting to the dyadic blocks on which is supported and zeroing it outside:
Then , it is supported on the same dyadic blocks as , and because on .
By the assumption on , for any such nonzero we have
On the other hand, vanishes outside the dyadic blocks where (hence ) lives, so
This holds for every integer .
Thus (2) is proved, and the proposition follows. □
5. Perron–Frobenius Simplicity
We now assemble the ingredients established in the preceding subsections. The Lasota–Yorke inequality and the compact–remainder decomposition of Section 4 give quasi–compactness of P on the Banach space . We’ve established positivity of P with respect to the cone
and Proposition 14 showed that P acts strongly positively on the algebraic interior
Moreover, we’ve proved that the spectral radius satisfies and that
so that 1 is the unique peripheral spectral value and is necessarily an eigenvalue.
Under these conditions, the generalized Perron–Frobenius (Krein–Rutman) theorem for quasi–compact, strongly positive operators on Banach spaces with a reproducing cone applies. In particular, since P is quasi–compact, positive, satisfies , and has spectral radius 1 with no other spectral values on the unit circle, the theorem implies that:
Thus the eigenvalue 1 is both algebraically and geometrically simple, and its eigenfunction may be chosen strictly positive, lying in .
This establishes the Perron–Frobenius simplicity of the eigenvalue 1 and completes the proof.
7.1. The Orbit–Averaging Conjecture
The spectral analysis developed in Section 4–6 yields a complete resolution of the backward Collatz dynamics. In particular, Theorem 6.5 establishes that the backward transfer operator P acting on the multiscale Banach space is quasi–compact with a simple, isolated eigenvalue at 1, and that all other spectral values satisfy . This provides a full Perron–Frobenius description of the invariant density h and of the asymptotic behavior of the iterates .
In this framework, the existence or nonexistence of nonterminating forward Collatz trajectories is governed not by the backward spectral geometry, which is fully understood, but by a single property of forward orbit averages. We now isolate this property as a conjectural principle.
Conjecture 13 (Orbit–Averaging Conjecture)Let , and let
denote its forward Collatz orbit. For each , define the Cesàro orbit functional
Assume that the forward orbit is infinite. Then there exists a subsequence such that
and the limiting functional Φ is invariant under the dual operator:
Equivalently, every infinite forward orbit produces a nonzero –invariant linear functional supported entirely on the orbit .
Discussion and equivalent forms.
Lemma 25 shows that the family is uniformly bounded in , hence weak* relatively compact, so weak* limit points exist unconditionally. The conjecture asserts that at least one such limit point is nonzero. Proposition 11 then implies that every nontrivial weak* limit is automatically –invariant and supported on the orbit .
The Orbit–Averaging Conjecture therefore states that an infinite Collatz orbit cannot be “asymptotically invisible” to the established backward spectral geometry; it must imprint a nontrivial trace in the dual space .
By Theorem 12, the only –invariant functional (up to scale) is the Perron–Frobenius functional . If Conjecture 13 holds, then any invariant functional generated by an infinite orbit must satisfy with . However, is strictly positive on all of , whereas is supported solely on the single orbit . These two properties are incompatible unless the orbit is finite. Consequently,
Thus Conjecture 13 isolates the sole forward–dynamical remnant of the Collatz conjecture within a fully resolved backward spectral framework.
Proof (Partial Proof of the Orbit–Averaging Conjecture (all unconditional steps)) Let have infinite forward orbit
Define the Cesàro orbit functionals
Step 1. Uniform boundedness.
For with , we estimate:
Each point appears at most once in the forward orbit, so
Since , we obtain
Lemma 5.31 proves that this quantity is uniformly bounded (independently of N), because
Hence
Step 2. Existence of weak* limits (Banach–Alaoglu).
The ball
is weak* compact. Thus there exist and a functional such that
Step 3. –invariance of weak* limits.
For ,
Because , the term
Therefore
Passing to the weak* limit (155) gives
By definition of , this means
Step 4. Structure of –invariant functionals (spectral theorem).
Theorem 6.5 shows that has a one-dimensional invariant subspace:
where is strictly positive on . Hence every nonzero invariant functional has the form
Step 5. The remaining issue: nontriviality.
Nothing in Steps 1–4 guarantees that the limit is nonzero. The Orbit–Averaging Conjecture asserts exactly that:
For every infinite orbit , at least one weak* limit of the Cesàro functionals is nonzero.
If this nontriviality holds, then with . Since is positive on all of while is supported on the single orbit , a contradiction follows unless the orbit is finite. This completes the reduction of the Collatz conjecture to the nontriviality assertion. □
7.2. A Conditional Block–Structured Argument for Orbit Averages
In this section we give a detailed proof of a block–structured reduction of the Orbit–Averaging Conjecture to a quantitative forward growth bound for Collatz iterates. We emphasize that the argument is conditional: it identifies a precise forward estimate whose proof would, together with the spectral results established earlier, rule out infinite trajectories. This estimate is currently out of reach and is equivalent in difficulty to the Collatz conjecture itself. Recall the block decomposition
and, for a given forward orbit
define the block index
Then
The orbit–averaging conjecture admits the following block formulation.
Conjecture 14 (Block–Orbit–Averaging)Let have an infinite forward Collatz orbit , and let denote the block index of , so that . Then there exist integers and a constant such that
Equivalently, every infinite forward orbit spends a positive proportion of its time inside the finite union of low blocks .
Given Conjecture 14, the original Orbit–Averaging Conjecture follows immediately: choose a nontrivial positive test function supported in , so that there exists with for all . Then
and (159) implies
Any weak* limit of the associated Cesàro functionals is therefore a nontrivial –invariant functional, and the Perron–Frobenius argument from Section 5 then rules out the existence of such an infinite orbit.
7.2.1. Contrapositive Assumption and Block Escape
We now give a detailed contrapositive argument: we assume that the block–averaging statement (159) fails for some infinite orbit and deduce a strong lower bound on the growth rate of that orbit, under an additional quantitative hypothesis.
Definition 8 (Block-escape)We say that an infinite orbit escapes all finite block unionsif for every ,
Equivalently, for each fixed J the lower asymptotic frequency of visits to is zero.
Remark 26 (Block-escape Property (BEP))The definition above expressesblock–escapein a soft, density–based form: for every fixed J, the orbit visits the finite union with zero lower asymptotic frequency. This allows the possibility that the orbit may return to low blocks infinitely often, provided that these returns occur ever more sparsely. By contrast, the formulation describes a stronger notion of escape in which the block index eventually exceeds every finite threshold and never returns below it. We will call this stronger notion theBlock-escape Property (BEP).
These two formulations become equivalent once theweak non–retreatprinciple is available. Weak non–retreat asserts that, at sufficiently large scales, the block index cannot remain near any fixed height for long intervals: whenever the orbit is in a high block, it must make a definite upward gain within uniformly bounded time. Consequently, if the orbit spends zero density in all low blocks—that is, if the soft block–escape condition holds—then repeated applications of weak non–retreat force the block index to drift upward and eventually exceed every finite bound. In this sense, density–zero escape and genuine unbounded escape coincide once the weak non–retreat mechanism is in place.
Note that (160) certainly implies as , since otherwise infinitely many iterates would lie in some fixed finite union of blocks with positive density. However, it does not force to grow linearly in k: sequences such as also satisfy the property that for each fixed J,
while . Thus the block–escape condition by itself yields only that the orbit visits higher and higher blocks, without imposing a quantitative linear growth rate on .
7.2.2. A Quantitative Forward Growth Bound
The block–structured argument requires an upper bound on the asymptotic growth rate of Collatz iterates. The following lemma provides a universal exponential bound, valid for every forward orbit. Its proof is elementary.
Lemma 28 (Universal exponential growth bound)For every , the forward orbit satisfies
Consequently,
Proof. If n is even then , and if n is odd then . Thus for all . Iterating this inequality yields by induction. Taking logarithms and dividing by k gives
and letting proves (162). □
Since , Lemma 28 provides an explicit constant satisfying . We now show that if an infinite orbit were to “escape” all finite collections of blocks, this would force its exponential growth rate to exceed , contradicting Lemma 28. d
7.3. A Conditional Block–Structured Argument for Orbit Averages
Block–Escape and Linear Block Growth
In this subsection we separate the two ingredients that enter the contradiction with the universal growth bound: the block–escape property and the existence of a linearly growing subsequence of block indices. The latter is precisely the additional combinatorial hypothesis isolated in Conjecture 15.
Proposition 15 (Block–escape and linear block growth contradict Lemma 28)Let be an infinite forward Collatz orbit, and let denote the associated block index with . Assume that:
- (1)
- The orbit satisfies the block–escape condition
- (2)
- There exist and a strictly increasing sequence such that
Then the orbit violates the universal growth bound of Lemma 28. In particular, no orbit can satisfy both (163) and (164).
Proof. By definition of the blocks,
Along the subsequence from (164) we have
Taking yields
Since is fixed, we may choose it (or pass to a smaller positive value) so that
Remark 27.the block–escape property only controls the frequency of visits to fixed low blocks and does not by itself force linear growth of along a subsequence. The linear growth assumption (164) should therefore be viewed as an additional combinatorial hypothesis, made explicit in Conjecture 15.
Combining Proposition 15 with the block formulation of orbit averages, we conclude that the Block–Orbit–Averaging Conjecture (and therefore the Orbit–Averaging Conjecture) holds unconditionally under the assumption that any infinite orbit must satisfy the block–escape property. Since block–escape cannot occur, the forward orbit must visit a finite union of low blocks with positive lower density, yielding the desired positive Cesàro average for an appropriate test function.
7.4. The Linear Block Growth Conjecture
We record here the precise quantitative statement that remains to be established in order to complete the block–structured reduction of the Collatz problem.
Conjecture 15 (Collatz Block–Escape Implies Supercritical Linear Block Growth)Let be an infinite forward Collatz orbit, and let denote its block index defined by Assume the orbit satisfies the Block–Escape Property
Then the Collatz dynamics forces a supercritical linear rate of escape: there exist and an infinite subsequence such that
Equivalently,
so the orbit exhibits genuine exponential growth along a subsequence at a rate which eventually outpaces the universal growth envelope.
Even without Conjecture 15, the Block–Escape Property already implies a coarse divergence estimate. Specifically:
Indeed, fix . Since the set has vanishing density by BEP, the contribution from such indices is negligible. On the other hand, for all k with , the summand contributes at least M. Taking the limit inferior and letting yields (165).
Divergence of the average is insufficient.
The growth asserted in Conjecture 15 is strictly stronger than (165). A sequence such as
satisfies
and also has vanishing density in every finite block range. Thus BEP is compatible with extremely slow, sublinear escape, and the divergence of does not imply the existence of a subsequence with linear growth.
Consequently, an additional structural assertion about the Collatz map is needed: one must rule out such slow escape behavior. In concise form, the missing implication is
This is precisely the content of Conjecture 15: the block–escape mechanism, when specialized to Collatz dynamics, is conjectured to force a definite linear rate of escape along an infinite subsequence whose slope exceeds the critical threshold determined by the trivial forward growth bound.
Why Conjecture 15 would complete the argument.
Assume Conjecture 15. Then for some and some subsequence ,
Since , we have
On the other hand, the elementary estimate implies by induction that
Indeed, if , then
Thus
Taking logarithms and dividing by gives
Letting forces
which contradicts .
Therefore an infinite Collatz orbit cannot simultaneously satisfy BEP and the universal upper growth bound. In particular, if Conjecture 15 holds, no infinite forward Collatz orbit can exist.
Thus Conjecture 15 precisely isolates the single remaining forward–dynamical obstruction: establishing it would complete the block argument and, together with the spectral theorem, imply the Collatz conjecture.
7.5. Arithmetic Structure and Valuation Statistics of the Collatz Map
The block analysis developed in the preceding subsections ultimately reduces the forward Collatz problem to a quantitative question about the frequency and distribution of the 2–adic valuations along odd–to–odd iterates. To support this reduction, we now collect a set of arithmetic and probabilistic tools that clarify how valuation patterns behave at both the structural and statistical levels. The first part of the section develops an exact affine description of finite valuation patterns and derives precise density bounds showing that long windows in which all valuations are large are exponentially sparse. These results are unconditional and reflect the intrinsic congruential rigidity of the recurrence . The second part introduces the standard randomness heuristics for the sequence , leading to the expectation that valuation deficits occur with positive frequency. When combined with the algebraic evolution formula for odd–to–odd iterations, these heuristic estimates yield a weak non–retreat mechanism: within any sufficiently large block of the trajectory, short windows of below–average valuations force a definite increase in the 2–adic block index. Taken together, the results of this section supply the valuation–theoretic and probabilistic input needed for the linear block–growth conjecture formulated earlier.
Lemma 29 (Arithmetic description of finite valuation patterns)Let and fix a sequence of positive integers
Consider the accelerated odd–to–odd Collatz evolution
with all odd. Let . Then:
- (1)
- For each t and , there exists an integer such that
- (2)
-
Conversely, yields an integer odd trajectory with this valuation pattern if and only ifand the intermediate values satisfy the oddness and valuation constraints , which can be enforced by finitely many additional congruence conditions modulo powers of 2.
- (3)
- In particular, the set of odd producing this pattern is a finite union of arithmetic progressions modulo a modulus of the form
Proof. We first prove the affine relation (166) by induction and obtain an explicit formula for . For we have
so and (166) holds with . Now suppose that for some we have
for an integer and . Then
where . Thus (166) holds for with
and by induction we obtain an integer for every . Unwinding the recurrence gives the explicit expression
though we will not need this closed form in what follows.
This proves (1). We now turn to (2). Suppose first that is an integer sequence of odd numbers satisfying
Then the inductive calculation above is valid with integer at each step, so (166) holds with the same and . Since is an integer, we must have
which is exactly the congruence (167). In addition, the identities
imply that is divisible by at each step, and the requirement that be odd forces ; these conditions can be written as congruence conditions modulo suitable powers of 2, which we describe more explicitly below.
Conversely, suppose that is an integer such that (167) holds and such that the congruence conditions enforcing odd and are satisfied for . We define forward by
By construction of the congruence conditions, is divisible by for each i and the quotient is an odd integer. Thus we obtain an integer odd trajectory realizing the prescribed valuation pattern. Repeating the inductive calculation of (166) shows that the resulting is given by (166), so (167) is necessary and sufficient for integrality of once the intermediate valuation constraints are enforced. This proves the equivalence in (2).
It remains to justify the congruence description in (3) and bound the modulus . We first note that for each fixed , the condition
is a purely 2–adic condition on n and therefore corresponds to a finite union of residue classes modulo . Indeed, is equivalent to
and the additional requirement is equivalent to
for some odd u, which is again a finite union of congruence classes modulo . Intersecting with the parity condition still yields a finite union of classes modulo .
Now fix . By iterating the affine relation (166) up to time i we have
with . Let be the set of odd integers m with ; as just observed, is a finite union of residue classes modulo . The requirement that is therefore equivalent to
for some residue r (depending on the chosen class in ). Multiplying through by gives
Thus, for each admissible residue class r modulo , the corresponding set of satisfying the valuation condition at time i is a (possibly empty) congruence class modulo : we may regard as a unit modulo powers of 2, but if we wish to solve for as a congruence in rather than in , we can encode the factor in the modulus, taking the modulus to be
In particular, for each fixed i the set of for which the ith valuation condition holds is a finite union of arithmetic progressions modulo .
The global condition (167) for to be an integer imposes the additional congruence
which can be absorbed into the same framework by viewing it as a congruence modulo . The set of giving rise to an odd trajectory with the prescribed valuation pattern is therefore the intersection of finitely many sets, each of which is a finite union of arithmetic progressions modulo some modulus of the form or . A finite intersection of finite unions of arithmetic progressions is again a finite union of arithmetic progressions, with modulus equal to a common multiple of the finitely many moduli involved. Thus the full set of admissible is a finite union of arithmetic progressions modulo
Finally, we bound the size of . Since for each i and each , we have
Hence the exponent of 2 in each modulus or is at most , while the exponent of 3 in each or is at most t. Therefore the least common multiple divides , and in particular is of the claimed form
This establishes (3) and completes the proof. □
Corollary 4 (Density bound for windows with all valuations large)Fix integers and , and consider odd whose accelerated odd–to–odd Collatz evolution has
Then the set of such has natural density at most
In particular, if L is fixed and t grows, this density is bounded by
i.e. it decays exponentially in t.
Proof. Fix and a pattern with for all i. By Lemma 29, the set of odd whose accelerated trajectory realizes this precise valuation pattern is a finite union of arithmetic progressions modulo a modulus of the form
More precisely, Lemma 29 shows that the admissible form a finite union of congruence classes modulo , and the number of such classes depends only on t (and not on the specific values of ). For fixed t we may therefore bound the number of progressions by a constant independent of the pattern .
Each arithmetic progression modulo has natural density , and a finite union of such progressions has natural density . Using the bound for some constant depending only on t, we obtain
where dens denotes natural density and the implied constant depends only on t.
Now consider the full set of odd whose first t accelerated steps satisfy for all . Partitioning by valuation patterns, we can write as the disjoint union
where denotes the set of realizing that specific pattern. Natural density is countably subadditive, so
Applying (169) to each term yields
The sum over patterns factors as a product:
The inner geometric series is
Hence
For each fixed the factor satisfies , so decays exponentially in t. Since for some absolute constant C and all , we can absorb C into the implied constant and obtain the simpler bound
as claimed. □
Theorem 16 (Forward drift from a low–valuation window)Let be a Collatz orbit under the accelerated odd map
and write
For and define the valuation window
and its average
Fix . If for some and one has
then
In particular, for any fixed there exist constants and , depending only on ε and , such that whenever and (174) holds, one has
Proof. Write for , and let
By definition of the accelerated map,
Iterating this relation shows that
where is a nonnegative integer (a linear combination of powers of 3 times powers of 2) that depends only on and the valuation pattern . In particular , so (177) yields the crude lower bound
Taking base–2 logarithms and using (178) gives
Passing to integer parts,
Finally, given , take for instance
8. Orbit–Averaged Functionals and a Conditional Block–Escape Theorem
Let be an infinite forward Collatz orbit under T, and let denote the block index of n. We define Cesàro averages along the orbit by
Lemma 30 (Orbit Cesàro limit functionals)Let be an infinite forward Collatz orbit and define, for ,
Then:
- (1)
-
The family is norm–bounded in , hence every sequence admits a further subsequence (still denoted ) and a functional such thatMoreover, for any such limit Λ and any one has (positivity).
- (2)
-
Let be a set that is visited with positive upper density along the orbit . Then there exist a subsequence and a weak–* limit point Λ of such thatIn particular, the subsequence and the limit functional can be chosen so that E is detected with strictly positive weight, but this Λ may depend on E.
Proof. Since continuously, there exists such that
Hence, for every and every ,
Thus is norm–bounded in . By Banach–Alaoglu, every sequence admits a further subsequence (still denoted ) and a functional such that
If , then each , since it is an average of nonnegative values. Passing to the weak–* limit along any convergent subsequence gives
which proves positivity of every weak–* limit.
For (2), fix a set and assume that it is visited with positive upper density along the orbit , i.e.
Define . Then
By the definition of the limsup, there exists a subsequence such that
Since the family is still norm–bounded, Banach–Alaoglu provides a further subsequence (which we again denote ) and a functional such that
Weak–* convergence means pointwise convergence on , so in particular
Thus for this chosen subsequence and limit functional , the indicator of E is evaluated with strictly positive weight. Note that the construction of and depends on E: for a different set with positive upper density one may need to choose a different subsequence to realize the corresponding limsup. Hence no claim is made that a single functional detects all such sets simultaneously. □
Lemma 31 (Shift invariance)Let Λ be any weak–* limit of the Cesàro functionals along an orbit. Let U denote composition by the forward map, . Then
Proof. We compute:
Since f is bounded on , the final term tends to 0 as . Passing to the subsequence along which gives . □
8.1. Discrepancy and –Invariance
For define its discrepancy
Lemma 32 (Equivalence of –invariance and discrepancy averages)Let be a forward Collatz orbit and let
Suppose in along some subsequence . Then for any ,
where .
Proof. Fix and write
Using the definition and the fact that along the orbit, we decompose
Hence
Since f is bounded on , the telescoping term satisfies
Thus along the subsequence we have
where as .
Now use weak– convergence. Since , we have
Combining this with (180) yields
Therefore
which is the desired equivalence. □
8.2. Spectral Obstruction: No Low–Block Invariant Functionals
Proposition 16 (No finite–block positive invariant functionals)Assume the spectral hypotheses for P: positivity, quasi–compactness, , peripheral spectrum , and algebraic and geometric simplicity of the eigenvalue 1 with strictly positive eigenfunction h and dual strictly positive eigenfunctional φ. Then there is no nonzero positive –invariant functional supported on a finite union of blocks .
Proof. Under the spectral hypotheses, the eigenspace of for eigenvalue 1 is one–dimensional and spanned by , and for every block indicator .
If were a nonzero positive –invariant functional supported on , then must be a scalar multiple of . But assigns strictly positive mass to every block, contradicting the assumed vanishing of on all with . □
Remark 28 (spectral hypotheses)The operator P satisfies all of the spectral hypotheses required for the Perron–Frobenius theory on the Banach tree space . Positivity is established in Proposition 12 The Lasota–Yorke inequality of Proposition 2 implies quasi–compactness (Theorem 4), and the normalization condition follows from Theorem 5 The peripheral spectrum is shown to consist solely of the eigenvalue in Theorem 12, and the Generalized Perron–Frobenius theorem combined with cone–irreducibility (Proposition 14) yields algebraic and geometric simplicity of the eigenvalue 1 (Theorem 12). Moreover, the corresponding eigenfunction h is strictly positive, and the dual eigenfunctional φ is likewise strictly positive (Proposition 12).
The following statement isolates exactly the dynamical input needed to deduce the Block–Escape Property from the spectral theory of P.
Conjecture 17 (Orbitwise discrepancy vanishing)Let be any infinite forward Collatz orbit, and Λ any weak–* limit of its Cesàro averages. There exists a dense subspace such that for every ,
where is the subsequence along which . In particular Λ is –invariant on .
Theorem 18 (Conditional Block–Escape)Assume the spectral hypotheses for P stated in Proposition 16, or remark 28. If Conjecture 17 holds, then every infinite forward Collatz orbit satisfies the Block–Escape Property.
Proof. Suppose an infinite orbit fails BEP. Then for some , its upper density of visits to is positive. By Lemma 30, any limit functional satisfies
If Conjecture 17 holds, then Lemma 32 implies that is –invariant on a dense subspace, hence on all of by continuity. Thus is a nonzero positive –invariant functional supported on . This contradicts Proposition 16. Therefore no infinite orbit can fail BEP. □
8.3. A Structured Program Toward the Weak Non–Retreat Principle
In this subsection we formalize the analytical strategy for establishing Statement (6) of Theorem 9.1. The aim is to show that every nonperiodic accelerated odd Collatz orbit must admit infinitely many short windows of valuation deficit, from which the weak non–retreat inequalities follow by Theorem 16. We present the plan as a sequence of definitions, lemmas, and a culminating theorem.
Definition 9 (Valuation Window and Average Valuation)For an accelerated odd orbit , a window of length at position k is the finite sequence
Its average valuation is defined by
Definition 10 (Dangerous Window)Fix and . A window with is calleddangerousif
Definition 11 (Catalogue of Dangerous Patterns)For a fixed valuation cutoff , define
and set
Elements of are theType I dangerous patterns.
Lemma 33 (Congruence Realization of Dangerous Patterns)Let be any valuation pattern with and . There exists a modulus
where for an absolute constant C, and a finite nonempty set of odd residue classes
such that an odd integer satisfies
if and only if
Proof. We prove this by induction along the window using the explicit odd–to–odd transition formula and Lemma 7.12.
Step 1: The congruence condition for a single valuation. Fix an integer . Lemma 7.12 shows that the condition
is equivalent to a finite disjunction of residue conditions of the form
where r ranges over a finite subset of odd residues modulo . More precisely, Lemma 7.12 proves that
and both congruences are linear conditions on n modulo . Thus there is a finite set such that n satisfies if and only if .
Step 2: Odd-to-odd transitions. For an odd integer n with , the next odd iterate is
Since and ensures , the map induces a bijection between odd residues modulo and odd residues modulo . Thus the congruence condition for n modulo lifts to an equivalent condition modulo , ensuring that the residue class of is well–defined modulo .
Step 3: Inductive construction of the residue conditions along the window. Let denote the starting odd integer at the beginning of the window. We must encode the conditions
Assume inductively that for some there exists a modulus and a finite set of odd residue classes such that
We now add the condition .
From Step 1, this condition is equivalent to
But is an affine linear function of : by iterating
we obtain (as in the derivation of formula (166)) an explicit expression
with an integer depending only on the pattern . Thus the condition becomes a linear congruence condition on modulo .
Therefore, setting
the set of satisfying conditions up to index i is a finite union of residue classes modulo . We denote this finite set by .
Step 4: Conclusion. After t steps, we obtain a modulus
where is bounded by a constant multiple of . The corresponding residue set satisfies the desired equivalence:
Renaming as completes the proof. □
Definition 12 (Dangerous Residue Set)Fix . Let M be a common multiple of the moduli over all . Define thedangerous residue setmodulo M by
Definition 13 (Finite Residue–Valuation Graph)Fix . Let M be as above. Consider the accelerated odd map
on the odd residue classes modulo M. Define a finite directed graph whose vertices are odd residues and with an edge if . Each vertex carries the label
Let
Lemma 34 (Tail Constraint Under Negation of Weak Non–Retreat)Fix and , and let be a valuation cutoff. Suppose a nonperiodic accelerated odd orbit violates the weak non–retreat condition in the sense that there exists such that for every and every the valuation window
is dangerous, i.e.
Let M be a modulus chosen so that the dangerous patterns of length with values in are realized by a finite set of residue classes as in Lemma 33, and let
be the set of residues whose one–step valuation is at least . Then for all sufficiently large k,
In particular, the tail of defines an infinite directed path inside the induced subgraph of on .
Proof. By assumption, there exists such that for every and every , the window is dangerous:
Fix and consider the window of length starting at k:
Since is dangerous by hypothesis, its average valuation equals and satisfies
In particular , so .
We now distinguish two cases.
Case 1: . Then the length–one pattern belongs to the catalogue of dangerous patterns with entries bounded by . By Lemma 33 applied with and this pattern, there exists a modulus and a set of residue classes such that
By construction of the global modulus M and the set (defined as the union of all such residue classes over dangerous , lifted to modulus M), this implies
Case 2: . In this case the one–step valuation of is already large:
By definition of we then have
In either case, for every we obtain
which proves the first claim.
For the second claim, recall that the finite directed graph has vertex set equal to the odd residues modulo M, with an edge whenever
where T is the accelerated odd Collatz map. Since the orbit satisfies for all k, the sequence of residues follows edges in .
We have shown that for all , the residue lies in , so the tail determines an infinite directed path inside the induced subgraph of on this vertex set. Discarding the finite initial segment does not affect the existence of an infinite path, which completes the proof. □
Conjecture 19 (Forward Non–Trapping in the Dangerous Regime)Fix and . Then there exists sufficiently large with the following property. Let M, and be as in the construction of the residue–valuation graph .
Consider a nonperiodic accelerated odd Collatz orbit in thedangerous–windows regime, meaning that there exists such that for every and every the valuation window is dangerous:
Then:
- (1)
- High–valuation anti–trapping.The orbit cannot eventually remain entirely inside the high–valuation set . Equivalently, the residue sequence cannot be eventually contained in .
- (2)
-
Confinement to the dangerous residue set.If the residue sequence visits infinitely often and also visits infinitely often, then there exists such thatIn particular, in the dangerous–windows regime no nonperiodic orbit can have its tail oscillate indefinitely between and .
Remark 29.Conjecture 19 reduces the forward–dynamical obstruction in the dangerous–windows regime to the nonexistence of certain directed cycles in a residue graph of finite cardinality. For each fixed choice of and , the catalogue determines a finite modulus M and a finite directed graph on the odd residue classes modulo M, and the existence of an infinite tail inside is equivalent to the existence of a directed cycle in the induced subgraph compatible with the odd Collatz map. Thus, for any concrete values of and , the conjecture becomes a finite, fully decidable combinatorial problem. Exhaustive computation over a large range of parameters can therefore convert many instances of Conjecture 8.15 into unconditional theorems.
What remains unproved is a uniform existence statement of the form “for sufficiently large ” in the conjecture. The present theory does not yet provide an a priori bound on the values of that must be checked. In this sense, Conjecture 8.15 is effectively decidable for each fixed , and large finite ranges can be rigorously verified by computation, although the general existential assertion remains open.
Conjecture 20 (Non–Realizability of Dangerous Residue Cycles)Let H be the induced subgraph of the residue–valuation graph on the dangerous residue set . Let
be any directed cycle in H, where and each (indices taken modulo p) is an edge in .
Then no infinite accelerated odd Collatz orbit can eventually realize C modulo M in the following sense: there do not exist integers and such that
Equivalently, no nonperiodic accelerated odd orbit can have its residue sequence eventually trapped on a directed cycle inside the subgraph H.
Remark 30.Like Conjecture 19, Conjecture 20 concerns the possibility of an infinite forward trajectory remaining trapped in a residue set determined by high–valuation patterns. For each fixed valuation cutoff and window length , the induced subgraph on is finite, and an infinite Collatz tail can remain in this set only if the subgraph contains a directed cycle compatible with the odd transition map. Hence, for any specific , the conjecture is a finite and completely decidable combinatorial problem. Computational examination of all cycles in the induced subgraph can elevate wide ranges of the conjecture to unconditional statements.
The remaining difficulty is again the lack of a theoretical upper bound guaranteeing that some finite suffices for all nonperiodic orbits. The conjecture asserts the existence of such an , yet the present structural and spectral theory does not force an explicit global threshold. Thus Conjecture 20 is algorithmically decidable for each and can be verified over arbitrarily large finite domains, while the global existence clause remains beyond the reach of current methods.
Lemma 35 (Finite Graph Periodicity)Let H be the induced subgraph of on . Then every infinite directed path in H is eventually periodic. That is, there exist integers and such that the vertex sequence satisfies
Proof. Since H has finitely many vertices, say N, the sequence takes values in a finite set of size N. Hence there exist indices with ; choose such a pair with minimal, and set .
The segment
is a directed cycle of length p in H. Because the path is directed, once it reaches again, all future steps must follow the outgoing edges of this cycle. Thus
and the path is eventually periodic. □
Lemma 36 (Finite Graph Obstruction)Assume Conjecture 20. Then no infinite directed path in H can arise as the sequence of residues for a valid infinite nonperiodic accelerated odd Collatz orbit .
Proof. Let be an infinite nonperiodic accelerated odd Collatz orbit, and set .
Suppose that for all sufficiently large k, so that is an infinite directed path in H for some K. By Lemma 35, this path is eventually periodic: there exist integers and such that
In particular, the finite list
forms a directed cycle in H, and the residue sequence follows this cycle from time i onward:
Equivalently,
This is precisely excluded by Conjecture 20, which asserts that no infinite accelerated odd Collatz orbit can eventually follow a cycle in H modulo M. Hence, under the conjecture, no such infinite path in H can be realized by the residue sequence of a valid infinite nonperiodic orbit. □
Theorem 21 (Weak Non–Retreat)Assume Lemmas 33, 34, 35, and 36, together with Conjecture 19. Then every nonperiodic accelerated odd Collatz orbit admits infinitely many windows of length whose average valuation satisfies
Consequently, by Theorem 16 there exist constants and such that
for infinitely many pairs , and the weak non–retreat property of 1(6) holds under these assumptions.
Proof. Let be a nonperiodic accelerated odd Collatz orbit, and suppose toward contradiction that only finitely many pairs with satisfy
Then there exists such that for all and all , the window is dangerous. This places us in the dangerous–windows regime of Conjecture 19.
Fix and the associated modulus M and residue sets and . By Lemma 34 there exists such that for all ,
By Conjecture 19(1), for chosen large enough no nonperiodic orbit can eventually remain entirely inside the high–valuation set , hence the residue sequence cannot be eventually contained in . There are therefore infinitely many k with and .
If the sequence visits only finitely many times, then there exists with
If, on the other hand, it visits infinitely often, then Conjecture 19(2) applies in the dangerous–windows regime and again yields an index such that
In either case, the tail defines an infinite directed path inside the induced subgraph H of on .
By Lemma 36, such an infinite path cannot arise from a valid infinite nonperiodic Collatz orbit under the stated conjectures. This contradicts the assumed nonperiodicity of and the existence of only finitely many valuation–deficit windows.
Therefore every nonperiodic accelerated odd orbit must admit infinitely many pairs with and
For each such window, Theorem 16 gives a forward drift estimate
with and depending only on the global parameters. Since there are infinitely many such windows, these inequalities hold along an infinite subsequence of times, which is precisely the weak non–retreat property under the stated assumptions. □
9. Outlook: Towards a Spectral Calculus of Arithmetic Dynamics
The analysis developed in this manuscript establishes a complete operator–theoretic framework for the backward Collatz transfer operator P acting on the multiscale Banach space . Quasi–compactness, cone–irreducibility, and isolation of the peripheral spectrum imply that the eigenvalue is algebraically and geometrically simple, with a unique strictly positive invariant density h satisfying . Section 7 strengthens this description by converting the relation into a multiscale recursion for the block averages
The recursion
with coefficients and exponentially summable errors , expresses the spectral contribution of the two principal preimage branches together with the exponentially small deviation from perfect self–similarity across scales. The spectral gap ensures that is bounded, strictly positive, and asymptotically stable, and this stability interacts decisively with the block structure of forward trajectories.
Section 7 further shows that an unbounded forward block index would deform the averaged block masses in a way incompatible with the stability of . Block escape would force a drift in that violates the upper bounds imposed by the spectral structure of P, and therefore cannot occur. Consequently, the spectral properties of the backward operator impose strong restrictions on the possible forward behavior of Collatz orbits and reduce the outstanding forward–dynamical difficulty to excluding the remaining low–ratio escape scenarios.
Summary
The analytic framework developed here for the backward Collatz operator suggests a broader spectral calculus for discrete arithmetic maps. For a general map with finitely many inverse branches, one associates the transfer operator
whose spectral properties encode the combinatorial and arithmetic structure of T. When P acts on weighted sequence spaces such as or on the multiscale tree space , its Dirichlet transform intertwines
so that spectral information for P is transferred to the analytic continuation and pole structure of the complex family . In this duality, the arithmetic operator P and its analytic realization are two facets of a single dynamical mechanism: backward iteration in arithmetic space mirrored by analytic continuation in Dirichlet space.
For quasi–compact operators satisfying Lasota–Yorke inequalities on , one obtains the spectral decomposition
together with the dynamical zeta function
whose poles correspond to eigenvalues of P outside the essential spectrum and to the resonant singularities of . This creates a coherent analytic picture in which resolvents, spectral projections, Dirichlet envelopes, and dynamical determinants appear as aspects of the same operator geometry.
Beyond the Collatz operator, analogous structures arise for general affine–congruence systems
for which
The corresponding Dirichlet transforms act by weighted composition on generating series. A unified spectral calculus would classify such arithmetic systems according to whether their backward operators are quasi–compact, admit meromorphic decompositions, or exhibit a spectral gap on suitable Banach geometries. This analytic classification parallels the dynamical trichotomy into terminating, periodic, and divergent regimes.
In the Collatz case, the results of this paper yield a complete spectral resolution of the backward dynamics. The operator P and its Dirichlet realization together furnish a model of an arithmetic transfer operator in which analytic continuation, spectral gaps, and decay of correlations follow from explicit Lasota–Yorke estimates on . The contraction of for , combined with on , ensures that P is quasi–compact with a strict spectral gap. Consequently, the associated dynamical Dirichlet series admit uniform pole–remainder decompositions, and the invariant density satisfies .
Boundary spectral geometry and parameter optimization
Theorems 4 and 2 show that the Lasota–Yorke inequality on yields a strict spectral gap at the boundary . A natural next step is to optimize the parameters defining the tree seminorm and to determine whether is minimal or universal among Banach geometries admitting contraction. A quantitative study of
may reveal how depends on and how this dependence reflects asymmetries in the Collatz preimage tree. Showing that as would relate analytic contraction rates to the combinatorial entropy of inverse trajectories.
Residues, duality, and forward–backward correspondence
The residue coefficients , which decay geometrically as , represent spectral invariants of the pole part of the dynamical Dirichlet zeta function. On the forward side, the heuristic contraction describes the average shrinkage of integers under iteration. A precise duality between these quantities would connect analytic and probabilistic aspects of the dynamics, expressing average stopping times and fluctuations in terms of the spectral radius of a normalized backward operator. Such a correspondence would yield a forward–backward conservation principle linking termination statistics with spectral invariants.
Extensions and universality
The multiscale tree space equipped with a hybrid –oscillation norm provides a flexible analytic environment for nonlinear integer maps. Future work may examine metric entropy, measure concentration, and universality phenomena induced by the tree geometry, seeking optimal weights or identifying extremal systems among those with . Such analysis would illuminate how nonlinear arithmetic recursions embed naturally into Banach geometries enforcing global contraction.
Dynamical Dirichlet zeta functions
The functions
belong to a broader class of dynamical Dirichlet zeta functions associated with iterates of arithmetic maps having finitely many inverse branches. Spectral gaps govern their meromorphic structure, and residues of their poles capture dynamical invariants. Extending this analysis to more general systems would connect the present framework with Ruelle–Perron–Frobenius theory and the analytic structure of dynamical determinants.
Broader outlook
The spectral resolution of the Collatz dynamics developed here suggests a general spectral calculus for arithmetic dynamics in which termination, recurrence, and periodicity correspond to spectral features of noninvertible operators on Banach spaces of arithmetic functions. Future work should clarify how universal the Lasota–Yorke mechanism is for nonlinear arithmetic recursions, how arithmetic symmetries influence spectral gaps, and how probabilistic models of integer iteration emerge as weak limits of deterministic transfer operators. The Collatz operator studied here provides a detailed example in which a complete spectral description is obtained through explicit Lasota–Yorke estimates on a multiscale Banach space.
References
- D. Applegate and J. C. Lagarias. Distribution trees for the 3x+1 problem. Exp. Math., 12(4):475–490, 2003.
- D. Applegate and J. C. Lagarias. Density bounds for the 3x+1 problem. Experimental Mathematics, 14(2):129–146, 2005.
- P. Baldi. Dynamical zeta functions and transfer operators. Discrete and Continuous Dynamical Systems, 8(2):227–241, 2002.
- H. Delange. Généralisation du théorème de wiener–ikehara. Annales Scientifiques de l’École Normale Supérieure (3), 69:35–74, 1952. Classic Tauberian extension of the Wiener–Ikehara theorem, now known as the Wiener–Ikehara–Delange theorem.
- S. Eliahou. The 3x+1 problem: new lower bounds on nontrivial cycle lengths. Discrete Math., 118:45–56, 1993.
- C. J. Everett. Iteration of the number-theoretic function f(2n)=n, f(2n+1)=3n+2. Adv. Math., 25(1):42–45, 1977.
- H. Furstenberg. Recurrence in Ergodic Theory and Combinatorial Number Theory. Princeton Univ. Press, 1981.
- H. Hennion. Sur un théorème spectral et son application aux noyaux lipschitziens. Proceedings of the American Mathematical Society, 118(2):627–634, 1993.
- J. Hilgert and D. Mayer. The dynamical zeta function and transfer operators for the Kac–Baker model. Communications in Mathematical Physics, 208:481–507, 2000.
- C. T. Ionescu Tulcea and G. Marinescu. Théorie ergodique pour des classes d’opérations non complètement continues. Annals of Mathematics, 52:140–147, 1950.
- A. Katok and B. Hasselblatt. Introduction to the Modern Theory of Dynamical Systems. Cambridge Univ. Press, 1995.
- A. V. Kontorovich and J. C. Lagarias. Stochastic models for the 3x+1 and 5x+1 problems. Unif. Distrib. Theory, 5(2):121–164, 2010.
- I. Korec. A density estimate for the 3x+1 problem. Math. Slovaca, 44(1):85–89, 1994.
- I. Krasikov. How many numbers satisfy the 3x+1 conjecture? Internat. J. Math. Math. Sci., 12(4):791–796, 1989.
- J. C. Lagarias. The 3x+1 problem and its generalizations. Amer. Math. Monthly, 92(1):3–23, 1985.
- J. C. Lagarias. The Ultimate Challenge: The 3x+1 Problem. Amer. Math. Soc., 2010.
- A. Lasota and J. A. Yorke. On the existence of invariant measures for piecewise monotonic transformations. Transactions of the American Mathematical Society, 186:481–488, 1973.
- J. Leventides and C. Poulios. An operator theoretic approach to the 3x + 1 dynamical system. IFAC-PapersOnLine, 54(9):225–230, 2021. 24th International Symposium on Mathematical Theory of Networks and Systems MTNS 2020.
- G. Meinardus. Some analytic aspects concerning the collatz problem. Technical Report 261, Universität Mannheim, Fakultät für Mathematik und Informatik, 2001.
- M. Neklyudov. Functional analysis approach to the collatz conjecture. arXiv preprint arXiv:2106.11859, 2022.
- D. Ruelle. Statistical mechanics of a one-dimensional lattice gas. Communications in Mathematical Physics, 9:267–278, 1968.
- D. Ruelle. A measure associated with Axiom A attractors. American Journal of Mathematics, 98(3):619–654, 1976.
- Y. G. Sinai. Statistical (3x+1) problem. Comm. Pure Appl. Math., 56(7):1016–1028, 2003.
- T. Tao. Almost all orbits of the collatz map attain almost bounded values. arXiv preprint arXiv:1909.03562, 2019.
- R. Terras. A stopping time problem on the positive integers. Acta Arith., 30:241–252, 1976.
- R. Terras. A stopping time problem on the positive integers. ii. Acta Arith., 33(3):241–255, 1979.
- G. J. Wirsching. The Dynamical System Generated by the 3n+1 Function, volume 1681 of Lecture Notes in Mathematics. Springer, 1998.
| 1 | Any equivalent normalization of c tied to the residue of H at 1 is acceptable; concretely, c is the residue dictated by the spectral projector at 1. The positivity follows from and . |
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. |
© 2025 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 (http://creativecommons.org/licenses/by/4.0/).
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.