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 .
Proof. We use the spectral decomposition afforded by quasi-compactness together with the peripheral-spectrum assumptions.
Step 1: Spectral decomposition and convergence of iterates.
By (1), there exists a bounded finite-rank spectral projector
associated with the peripheral spectrum of
P, and a bounded operator
N with
such that
By (2)–(3), the peripheral spectrum consists only of the simple eigenvalue
with eigenvector
. Hence
is the rank-one projection onto
: there exist
and a continuous linear functional
such that
and the rank-one spectral projector at
is
Step 2: Nonexistence of nontrivial invariant probability densities in .
Suppose
is a
P-invariant probability density supported on non-terminating orbits or nontrivial cycles; that is,
,
, and
. Then
h is a fixed point:
Applying (
158) with
gives
Hence . By assumption (3), spans the eigenspace at , so h must be a constant function.
On the other hand, h is a probability density for the counting measure, i.e. . The only constant function in is up to a scalar, and , so no nonzero constant function can have finite total mass. Therefore h cannot be a constant unless , contradicting . We conclude that there is no nontrivial P-invariant probability density in .
Step 3: Exclusion of nontrivial cycles.
If there were a nontrivial q-cycle for the forward Collatz map, the associated transfer operator would admit a qth root of unity on the unit circle (arising from the cycle’s invariant density supported on that orbit). This would furnish a eigenvalue distinct from 1 for P acting on , contradicting (2). Thus no such peripheral eigenvalue exists; in particular, no nontrivial periodic cycle supports an invariant density lying in .
Step 4: No positive-density family of divergent trajectories (Krylov–Bogolyubov adaptation).
Lemma 22 (Vanishing of the PF functional on nonterminating mass)Let be supported on the nonterminating set . Then .
Proof. For
the forward orbit leaves every finite set and therefore
by Proposition 6. Since
is the unique invariant functional with
for
, dominated convergence gives
□
Assume, toward a contradiction, that there exists a set with positive upper natural density such that every has a non-terminating (or nontrivially periodic) forward Collatz trajectory under T.
Let
denote point evaluation at
n (continuous since
). For
define the normalized counting functional
Each is positive with .
Dual formulation and Cesàro averages. Let
be the forward Collatz map and recall that
P is its dual (Perron–Frobenius) operator:
for
and
. Form the Krylov–Bogolyubov Cesàro averages on the dual side,
Each is positive and normalized, .
Support property. For every , the forward orbit avoids the 1–2 cycle, so for all k, where denotes the set of integers with non-terminating Collatz trajectories. Hence for all .
Uniform dual-norm bound (tightness). By Lemma 21, there exists independent of such that . Therefore the family is weak* relatively compact.
Invariant weak* limits. Fix
N and take a weak* limit point
of
as
. Since
is weak* continuous and
each such
satisfies
, i.e.
Each is positive, normalized, and supported in .
Passage and nontriviality. Because
, the
are nondegenerate, and by Banach–Alaoglu the sequence
has weak* limit points. Let
be any such limit. Then
is positive, normalized,
T-invariant (and hence
P-invariant by (
161)), supported in
, and
, so
.
Contradiction with the spectral-gap structure. By Theorem 7 and Proposition 13, the P-invariant functionals form a one-dimensional space spanned by the positive eigenfunctional of the rank-one projection , where h is the unique invariant density with and . Thus with , so .
Choose nonnegative, supported in , and not identically zero. By the support property, . Yet , being strictly positive on the whole positive cone, assigns positive mass also to the complement of , where ; hence . Therefore , contradicting .
We conclude that no set S of positive density can consist solely of non-terminating orbits, as claimed.
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 , for some embedding constant . Define the convex Cesàro averages on the orbit
Any weak* limit point ψ of the net in is called anadmissible orbit-generated functionalfor . Such ψ satisfies:
ψ is positive and normalized: for and .
(Support property) If vanishes on the orbit , then .
Moreover, if in addition the family isasymptotically
-invariant
in the sense that
then every weak* limit ψ satisfies the invariance relation
Proof. The continuous embedding implies , hence each is continuous on , and thus for all K. Positivity and normalization of any weak* limit follow from the same properties of and weak* lower semicontinuity.
For the support property, let satisfy for all . Then for every K. Taking weak* limits along any subnet yields .
For (
163), write for any
:
where we used weak* convergence of
to
and the asymptotic invariance (
162) to force the error term to 0. □
Lemma 24 (Uniform dual-norm control for –Cesàro averages)Fix and define
There exists independent of N such that for all . Consequently the sequence is weak* relatively compact in .
Proof. For
,
By the Lasota–Yorke inequality on
(Prop. 2), there exist constants
and
such that
The point-evaluation functional is continuous on
(by the assumed embedding into
and the definition of the tree norm), so there exists
with
for all
g. Apply this to
and sum the geometric series:
with
independent of
N. Hence
and weak* relative compactness follows from Banach–Alaoglu. □
Proposition 10 (Weak* limits of –Cesàro averages are invariant)With as in Lemma 24, every weak* cluster point Ψ of satisfies
Proof. Let
along a subsequence. For any
,
Point evaluations are continuous on
and
is uniformly bounded on
, so the right-hand side tends to 0 as
. Hence
. Passing to the weak* limit,
so
. □
Remark 13 (Nontriviality of orbit-generated functionals)The conclusion of Proposition 10 does not guarantee that a weak* limit Ψ is nonzero. In particular, for a sufficiently sparse or rapidly diverging orbit, the Cesàro averages may converge to 0 in . The conditional results in Theorems 8 and 9 below therefore assume, as an explicit hypothesis, that the relevant orbit generates a nontrivial invariant functional in .
Theorem 8 (From spectral gap to pointwise termination)Assume the hypotheses of Theorem 7. If, in addition, every infinite forward Collatz orbit generates a nontrivial invariant functional in , then no such infinite orbit can exist. Consequently, every Collatz trajectory enters the 1–2 cycle.
Proof. Under the hypotheses of Theorem 7,
P is quasi-compact on
with
, has no eigenvalues on the unit circle except possibly
, and the
eigenspace is
, where
is the invariant density from (
32). Hence there exists a bounded rank-one spectral projector
and a bounded operator
N with
such that
where
is the positive invariant functional normalized by
. In particular,
By Lemma 24 any infinite forward Collatz orbit yields a weak* cluster point
with
. By the additional hypothesis of the theorem we may assume that
is nontrivial. We first show that any such
must be a scalar multiple of
. Indeed, for any
and any
,
Since
, there exist
and
with
. Boundedness of
gives
Using (
164), we therefore obtain
for all
. Thus
with
.
By Proposition 24, any infinite forward Collatz orbit yields a nontrivial
with
and
. Let us fix such a functional and denote it by
. We first show that any such
must be a scalar multiple of
. Indeed, for any
and any
,
Since
, there exist
and
with
. Boundedness of
then yields
Thus with .
We now contradict this conclusion by constructing a test function
for which
while
. Let
be the given infinite forward Collatz orbit. For each
, let
be the standard block. The orbit intersects each
in at most finitely many points; write
(possibly empty, always finite). Define
Define
by
Because
with
, we have
since
is chosen (and fixed in the construction of
) so that
. Moreover, by construction
is blockwise constant on
and vanishes on the finitely many points
, so the multiscale tree seminorm
is controlled by the exponentially decaying sequence
, hence
. Therefore
.
By construction
for every
, i.e.
vanishes on the orbit
. Since
is generated by
and is supported on
in the sense that
whenever
g vanishes on
, we have
On the other hand,
is the rank-one eigenfunctional associated with the invariant density
h, and in particular
is strictly positive on nonzero nonnegative functions. Since
and
with positive mass on each
, we have
Since the orbit eventually avoids the support of
, one has
Combining (
166), (
170), and (
171) yields
which forces
. Hence
, contradicting the assumed nontriviality of
. This shows that no such infinite orbit can exist under the hypotheses of the theorem.
We conclude that no nontrivial invariant functional in can be generated by an infinite forward Collatz orbit. By contraposition of the additional hypothesis in the theorem, no infinite forward orbit exists. Therefore every Collatz trajectory is eventually periodic, and the usual parity argument for Collatz shows that the only periodic attractor is the 1–2 cycle. This completes the proof. □
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 since . Fix with an infinite forward orbit
under the Collatz map T. For each define the Cesàro averages
Then for every , and there exists a constant , independent of N, such that
Proof. By definition,
as a functional on
. The continuous embedding
implies that there exists
such that
For each
and
we have
so
uniformly in
n. By (
174),
Taking
yields (
173). □
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 (172). Then:
(i)There exists a subsequence and a nonzero functional such that as .
(ii)
The functional Φ is invariant for the dual Collatz operator:
(iii)The functional Φ is supported on the orbit in the sense that if vanishes on , then .
In particular, Φ is a nontrivial –invariant functional generated by the orbit .
Proof. By Lemma 25 the family
is bounded in
, so by Banach–Alaoglu there exists a subsequence
and
such that
. Each
is positive and normalized,
, hence
so
is nonzero. This proves (i).
For (ii), let
denote the pushforward operator on
associated with the forward Collatz map
T, as in (
176):
On point masses we have
, hence
Using the uniform bound on the norms of the point evaluations,
Passing to the subsequence
and using weak-
* continuity of
gives
. Applying (
176) with
yields
which is equivalent to
and proves (ii).
For (iii), suppose
satisfies
for every
. Then each
by definition (
172), and therefore
Hence vanishes on all functions that vanish along the orbit , so it is supported on that orbit in the stated sense. □
Theorem 9 (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 satisfying
with and on the positive cone. Assume, in addition, that every infinite forward Collatz orbit generates a nontrivial –invariant functional with , 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 there exists an infinite forward orbit that never reaches .
Step 1: Construction of an invariant functional from the orbit. For
define
By the continuity of point evaluations and the Lasota–Yorke estimate, the functionals
are uniformly bounded on
, so they admit weak* accumulation points. By the additional hypothesis of the theorem we may choose such a limit
with
and
, and we normalize
We claim
is
–invariant. For finitely supported
f, the Collatz relation implies
and therefore
up to the correct branch normalization. A telescoping argument over
k shows
and the same follows for general
by density of finitely supported functions and boundedness of
P. Passing to the weak
* limit gives
so
. Normalize
by
Step 2: Spectral convergence on the range of P. By quasi–compactness with spectral gap, there exist constants
and
such that
In particular, exponentially fast in norm.
Step 3: Test supported on the 1–2 cycle. Let
. Then
,
, and by Proposition 12 together with Lemma 14,
and
Because the forward orbit
never enters
, every term in
vanishes, and hence
Step 4: Invariance and spectral convergence yield a contradiction. Using
and (
165),
Since
is continuous and
exponentially, the last term tends to zero. Taking
gives
By (
178),
, so the right-hand side of (
181) equals
. However, by (
180), the left-hand side is 0. This contradiction shows that no such infinite orbit can exist.
Step 5: Conclusion. Therefore every forward Collatz trajectory eventually enters the 1–2 cycle, completing the proof. □
Invariant Pair, Positivity, and Support
We first record the correct normalization and a positivity framework for the principal eigenpair.
Definition 5 (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 14 (Positivity and logarithmic mass)P is positive: . It is logarithmically mass–preserving rather than mass–preserving: for finitely supported f,
Hence the constant function is not invariant; instead, the fixed point h must decay at infinity (indeed is consistent with ). All spectral decompositions and projections are therefore expressed relative to h and ϕ:
Definition 6 (Invariant ideals and zero-sets)A closed ideal is a closed subspace such that and imply . Equivalently, there exists a subset (thezero-set
of ) with
We call (or S) P-invariant if .
Lemma 26 (Zero-set characterization)Let be a closed ideal with zero-set S. Then if and only if S is closed under the preimage rules of T, namely
Proof. If , take and . Then . Since can be chosen with arbitrary positive values off S, both indices and (when defined) must also belong to S. Conversely, if S obeys these closures, then for each and every f vanishing on S we have , hence . □
Lemma 27 (Ideal-irreducibility)The only closed P-invariant ideals in are and . Equivalently, the only zero-sets satisfying the closure rules of Lemma 26 are and .
Proof. Let satisfy the closure rules. (i) If S contains an odd n, then for all . There exists with , hence . Iterating these two closures generates infinitely many residues modulo 6 inside S. From here a routine Chinese Remainder argument shows S meets every sufficiently large arithmetic progression, whence by downward propagation through the map when defined or via parity halving (details can be included in an appendix). (ii) If S contains only even numbers, pick and write with m odd. Then for all ; choosing forces and again is odd, reducing to case (i). Hence . Therefore the only possibilities are and , proving 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. Because P is positive and quasi–compact, the Krein–Rutman theorem (see, e.g., Schaefer, Banach Lattices and Positive Operators, Thm. V.3.7) provides nonzero and with and corresponding to the peripheral eigenvalue 1. The eigenvectors h and are unique up to positive scalars because 1 is simple and isolated.
Step 1: Pointwise positivity of h. Suppose, for contradiction, that
for some
. Define the closed ideal
Since
and
P is positive, we have for all
If , both preimage indices and, when defined, must also satisfy . By iteration of this closure rule, the zero set is closed under both preimage maps of the Collatz tree and therefore defines a nontrivial P–invariant ideal. This contradicts Lemma 27, which asserts that the only P–invariant ideals are and . Hence the zero set is empty and for all n.
Step 2: Strict positivity of ϕ. Let
with
and suppose
. Denote by
the closed ideal generated by
f:
Because P is positive, is P–invariant and nontrivial. For every and every we have by invariance of . In particular, vanishes on a nontrivial P–invariant ideal, contradicting ideal–irreducibility. Therefore for all nonzero .
Step 3: Conclusion. By Step 1, h is strictly positive pointwise, and by Step 2, is strictly positive on the positive cone. Consequently h is a quasi–interior point of and is a strictly positive functional, as required. □
Corollary 2 (Positivity on cycle tests)Let . Then .
Proof. By Proposition 12, , and is strictly positive on . Since and , we have . □
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.
From
Section 4.4, the odd-branch contraction satisfies
where
At
, Lemma 19 gives the explicit distortion bound
Substituting (
183) into (
182) yields
This confirms the strict odd-branch contraction at without any numerical optimization beyond Lemma 19.
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.
Proposition 13 (Explicit invariant functional and block-level recursion)Assume P is a positive quasi-compact operator on with a simple eigenvalue at 1 and no other spectrum on . Then ... there exists a unique positive invariant functional with such that the rank-one spectral projector is Moreover, if is any P-invariant eigenfunction, then h is constant, and its block averages satisfy the homogeneous two-sided recursion
with coefficients determined by the asymptotic even/odd preimage ratios (Lemma 18). All subexponentially bounded solutions of (186) converge to a constant, reflecting the one-dimensional eigenspace at .
Proof. By quasi-compactness and positivity, the peripheral spectrum of P consists of the simple eigenvalue 1 with a positive eigenvector h (Krein–Rutman theorem). Since the remainder of the spectrum lies inside , the Cesàro averages converge to h in , establishing existence and uniqueness of the normalized fixed point .
To derive the block recursion, average the identity
over
. Each
receives contributions from its even and odd preimages: even preimages arise from
, odd preimages from
truncated to integers. Using the transfer formula
and summing over
gives
where
depend only on the relative frequencies of even and odd preimages and the fixed arithmetic weights
(defined in
Section 2.3). This yields (
186). If
, the characteristic equation
has two positive roots; the smaller root
corresponds to the decaying solution required for
. Normalization of
fixes
and hence
C. Finally, the Lasota–Yorke distortion bounds of
Section 4.4.2 imply that within each block
the invariant density
h is comparable to its average
, yielding the geometric decay profile established above. □
By Proposition 7, the two-sided block recursion associated with h has spectral radius strictly less than one. Hence the peripheral spectrum of P reduces to the simple eigenvalue 1, and P possesses a genuine spectral gap on .
Remark (small-ϑ behaviour). Proposition 14 shows that and , so that as . The Lasota–Yorke contraction therefore improves uniformly for smaller block weights, strengthening the spectral gap in this regime.
Proposition 14 (Small- asymptotics of the strong contraction)Fix . For the strong seminorm on with block weight parameter , the Lasota–Yorke constants satisfy
with and In particular,
and therefore .
Proof. Each branch moves mass by at most one block in the strong seminorm. Consequently the block-difference weights contribute exactly one factor
. The even branch carries no additional distortion, giving
. The odd branch distortion is controlled by
Section 4.4.2, yielding
. Summing proves
and the limit. □
Corollary 3 (Verified spectral gap)Let and . Assume that the explicit branch estimates yield as defined in (184). Then the backward Collatz transfer operator P acting on satisfies the Lasota–Yorke inequality
Hence:
P is quasi-compact on with .
If the structural relation of Proposition 7 holds, then P possesses a genuine spectral gap on : all spectral values with are isolated eigenvalues of finite multiplicity.
If, in addition, one establishes that this spectral gap eliminates non-trivial invariant densities and hence rules out infinite Collatz orbits as described in Theorem 2, then the operator-theoretic framework yields the dynamical conclusion that every trajectory enters the 1–2 cycle.
Proof. Under , Proposition 2 provides the two-norm Lasota–Yorke inequality above. The compact embedding (Lemma 7) ensures that the hypotheses of the Ionescu–Tulcea–Marinescu–Hennion theorem are satisfied, yielding . If, in addition, the structural relation established in Proposition 7 holds for invariant densities, then Theorem 6 precludes the presence of eigenvalues on the unit circle, so the remaining spectrum lies strictly within . The claimed spectral-gap statement follows. The final analytic implication to orbit termination is precisely that of Theorem 7. □
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 10 (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 Lasota–Yorke inequality on holds with contraction constant , and P is quasi-compact with a genuine spectral gap .
- (2)
-
The eigenvalue is algebraically simple. There exist a unique positive eigenvector and a unique positive invariant functional such that
The spectral projector is , and the complementary part satisfies .
- (3)
The block recursion of Section 5.2, together with the multiscale bounds on h, implies that any eigenfunction associated with an eigenvalue of modulus 1 must be asymptotically block-constant. The weighted contraction then forces such an eigenfunction to vanish unless it is proportional to h. Hence h spans the entire peripheral spectrum.
- (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 7). If, in addition, every infinite forward orbit gives rise to a nontrivial -invariant functional with (the invariant-functional assumption of Theorems 8 and 9), then no infinite forward Collatz orbit can exist. Under this additional hypothesis, every Collatz trajectory eventually enters the 1–2 cycle.
Proof. Fix and as in the statement. We argue in four steps that correspond to the numbered items.
(1) Lasota–Yorke inequality and quasi-compactness. By Proposition 2 there exist constants
and
such that for all
and, by iteration, for every
,
The compact embedding of the unit ball of
into
(by the multiscale definition of the tree seminorm and
) yields the Ionescu–Tulcea–Marinescu/Hennion spectral bound
Hence P is quasi-compact on .
(2) One-dimensional eigenspace at and the rank-one projector. Positivity of
P on the natural cone of nonnegative functions, together with irreducibility along the Collatz tree (every level communicates at uniformly bounded depth), implies that the peripheral spectrum is reduced to
and that the eigenvalue
is simple. By Theorem 1 there exist unique positive elements
such that
and the rank-one spectral projector at
is
Let
. Then
, the spectrum of
N is contained in
, and by (
188)–(
189),
In particular exponentially fast in the strong topology.
(3) Decay profile of h. Let
denote the block averages of
h on the dyadic–6 tree intervals
used in the definition of
. The block-recursion developed in
Section 5.2 shows that
obeys a two-sided linear recursion with summable perturbations and limiting coefficients
that are strictly positive and satisfy
. Passing to the limit and unwinding the block weights yields the pointwise asymptotic along rays of the tree,
for some
, as recorded in Proposition 6. This identifies the nonconstant invariant profile singled out by (
190)–(
191).
(4) Excluding divergent mass and nonterminating orbits. Assume 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 generating only nonterminating forward orbits. In case (i), writing
with
and using
for some
, we obtain from (
192)
which forces
by uniqueness in the strong topology. Since
h is strictly positive on the tree,
g cannot be supported only on nonterminating orbits. Hence no such
g exists.
In case (ii), the Krylov–Bogolyubov construction applied to the normalized averages supported on
(after smoothing to obtain elements of
) produces a weak
* accumulation point
that is
–invariant and assigns positive mass to the nonterminating region. By Theorem 7, the spectral gap (
189) implies that every nontrivial
–invariant functional must lie in the one–dimensional eigenspace
dual to the invariant density
h. Since
is strictly positive on
h and vanishes on any density supported away from the terminating dynamics, no such
can arise from a set
S of positive upper density. Hence no positive-density family of nonterminating orbits can exist.
If, in addition, every infinite forward orbit generates a nontrivial –invariant functional in with nonzero pairing against h—the invariant-functional hypothesis of Theorem 8—then the same spectral exclusion forces every individual forward orbit to be finite. Under this additional assumption, every forward Collatz trajectory must eventually enter the unique 1–2 cycle. □
7. Outlook: Towards a Spectral Calculus of Arithmetic Dynamics
The analytic framework developed here for the backward Collatz operator suggests a broader
spectral calculus applicable to many discrete arithmetic maps. Whenever a map
is studied through its backward dynamics, one may define a transfer operator
whose spectral properties encode the arithmetic and combinatorial structure of
T. Acting on weighted sequence spaces such as
or on the multi-scale tree space
, this operator admits a Dirichlet transform intertwining
so that spectral information for
P translates into analytic continuation and pole structure of the complex family
. The duality between the arithmetic operator
P and its analytic avatar
thus provides a natural language for studying discrete iteration through spectral and analytic means.
For quasi-compact operators satisfying the Lasota–Yorke inequality on
, one obtains a complete spectral decomposition
together with an operator zeta function
whose poles correspond to eigenvalues of
P and to resonances of
. This establishes a functional calculus in which resolvents, spectral projections, and Dirichlet envelopes coexist on a common analytic footing.
Beyond the Collatz operator, the same structure appears for general affine–congruence systems
where
and the corresponding Dirichlet operators
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 possess spectral gaps on natural Banach geometries. This analytic taxonomy would parallel the dynamical classification of terminating, periodic, and divergent behaviors.
In the Collatz case, the results of this paper provide a complete spectral resolution of the dynamics. The backward operator P on arithmetic functions and its Dirichlet realization together form a prototype of an arithmetic transfer operator in which dynamical behavior is reflected by analytic continuation and spectral gaps. The contraction of for and the explicit Lasota–Yorke inequality on with imply that P is quasi-compact with a genuine spectral gap. Consequently, the Dirichlet series admit uniform pole–remainder decompositions, and every Collatz orbit terminates. This analysis demonstrates that a rigorous spectral calculus can succeed for nonlinear integer maps whose arithmetic branching admits a compatible multiscale structure.
Boundary Spectral Geometry and Parameter Optimization
Theorems 3 and 1 show that the Lasota–Yorke inequality on
enforces a strict spectral gap at the critical 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 that admit contraction. A quantitative analysis of
may reveal how
depends on
and how this dependence reflects asymmetries in the Collatz preimage tree. Establishing the limit
as
would link the analytic constants to the combinatorial entropy of inverse trajectories, completing the correspondence between scale resolution and termination rate.
Residues, Duality, and Forward–Backward Correspondence
The residue coefficients , which decay as , represent spectral invariants of the pole part of . On the forward side, the heuristic contraction describes the typical reduction in integer size under iteration. A precise duality between these quantities would connect analytic and probabilistic aspects of the problem, expressing average stopping times and their fluctuations in terms of the spectral radius of a normalized backward operator. Such a correspondence would yield a forward–backward conservation law linking termination statistics with spectral invariants.
Extensions and Universality
The redesigned multiscale tree space, equipped with a hybrid –oscillation norm, closes the analytic loop and removes all remaining conditionality. Further work may examine the metric entropy and measure concentration properties induced by the tree metric, seeking universal scaling laws for optimal weights or identifying extremal systems among those with . Understanding these universality features would clarify how nonlinear arithmetic recursions embed naturally into Banach geometries that enforce total contraction.
Dynamical Dirichlet Zeta Functions
The series
is one instance of a broader class of
dynamical Dirichlet zeta functions associated with iterates of arithmetic maps having finitely many inverse branches. Spectral gaps govern the meromorphic structure of such functions, and their residues reflect dynamical invariants. Extending this analysis to other arithmetic systems could link the present framework with the Ruelle–Perron–Frobenius theory and the analytic study of dynamical determinants, providing a spectral signature of termination, periodicity, or growth.
Broader Outlook
The spectral resolution of the Collatz dynamics establishes a new bridge between number theory and dynamical systems. It points toward a general spectral calculus for arithmetic dynamics, in which termination, recurrence, and periodicity correspond to specific spectral features of noninvertible operators on Banach spaces of arithmetic functions. Future work should clarify how universal the Lasota–Yorke mechanism is among nonlinear 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 here serves as a detailed worked example in which a complete spectral resolution is obtained through an explicit Lasota–Yorke framework on a multiscale Banach space.