7.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 6.13. We present the plan as a sequence of definitions, lemmas, and a culminating theorem.
Definition 7.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 7.10 (Dangerous Window).
Fix and . A window with is called dangerous
if
Definition 7.11 (Catalogue of Dangerous Patterns).
For a fixed valuation cutoff , define
Elements of are theType I dangerous patterns.
Lemma 7.12 (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
Proof. We prove this by induction along the window using the explicit odd–to–odd transition formula and Lemma 6.11.
(1) The congruence condition for a single valuation. Fix an integer
. Lemma 6.11 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, Lemma6.11 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
.
(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 .
(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
.
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 7.13 (Dangerous Residue Set).
Fix . Let M be a common multiple of the moduli over all . Define thedangerous residue set
modulo M by
Definition 7.14 (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
Lemma 7.15 (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
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 7.12, 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 7.12 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. □
Theorem 7.16 (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:
High–valuation anti–trapping.The orbit cannot eventually remain entirely inside the high–valuation set . Equivalently, the residue sequence cannot be eventually contained in .
-
Confinement to the dangerous residue set.
If the residue sequence visits infinitely often and also visits infinitely often, then there exists such that
In particular, in the dangerous–windows regime no nonperiodic orbit can have its tail oscillate indefinitely between and .
Proof. We break the proof up into two parts, one for each statement.
Part 1: High–valuation anti–trapping
We first show that no nonperiodic orbit can eventually stay inside once is chosen large enough.
(1.1) Growth estimate for high–valuation steps. Let
. If
, then
If
then
, and every high–valuation step satisfies
(1.2) Iterated contraction and boundedness. Assume there exists
K such that
for all
, i.e. the orbit is eventually contained in
. Then (
189) holds for all
. Iterating gives, by a standard induction,
Since
, we have
as
, and hence
Thus the accelerated odd orbit is bounded. Because the accelerated map is a self–map of the positive odd integers, any bounded orbit is eventually periodic: only finitely many odd integers are , so some value repeats and the map is deterministic thereafter.
This contradicts the hypothesis that the orbit is infinite and nonperiodic. Therefore no nonperiodic orbit can be eventually trapped in .
(1.3) Interaction with the dangerous–windows hypothesis. The high–valuation anti–trapping conclusion does not require the dangerous–windows hypothesis. The latter is compatible with this conclusion provided we choose
large enough so that
which ensures that every valuation in
is individually above the dangerous threshold. In particular, if an orbit were eventually in
, then every window (of any length) would automatically have average valuation
, yet the orbit would still be forced to be bounded and hence eventually periodic. This contradiction establishes Part (1).
For any , an accelerated odd Collatz orbit that eventually stays in must be bounded and hence eventually periodic. Thus no infinite nonperiodic orbit can be eventually contained in .
Part 2: Confinement to the dangerous residue set
We now assume that the orbit visits both and infinitely often and that all windows of length are dangerous. The goal is to show that the orbit must eventually remain in .
(2.1) Local bounds along danger and high–valuation segments. Write .
For steps with
(high valuations) we have, as in Part 1,
For steps with
we know from the dangerous windows condition (taking
) that
and hence
Thus there exists
such that
Iterating (
190) along a block of
t consecutive indices with
gives
Similarly, iterating the high–valuation bound along a block of
ℓ consecutive indices with
yields
(2.2) Patterns and exact multiplicative factors. Consider a finite pattern
realized by the orbit. Let
be the valuations in the danger segment and
those in the high–valuation segment. The exact multiplicative factor of
in the accelerated map is
The additive contributions from the terms accumulate but do not affect the multiplicative factor.
On the danger segment the dangerous–windows condition enforces
so
On the high–valuation segment
, hence
Thus is a worst–case upper bound: if , then necessarily .
Now decompose the tail of the orbit into alternating “danger blocks” and “high–valuation excursions”. Let
be the start of the
j-th danger block, of length
, followed by an excursion of length
:
and assume
again. For this realized pattern
we have an affine relation
for some integer
depending only on the residue pattern; in particular there is a constant
(independent of
j) such that
(2.3) Contraction along each finite pattern. Let
By the dangerous–windows hypothesis for the full orbit, we in particular have
since this is the case
in the window condition.
Fix one of the patterns
from Step 2.2, of total length
Let
be the valuation sequence along this pattern, so
Since each
is an integer and
, we have
Choose
small enough that
so
and hence
for all
m. Thus
Since
, we have
The exact multiplicative factor of the pattern
is
Using
,
so we obtain
Since
is fixed, we can define
and conclude
Thus each danger–excursion pattern is uniformly contracting in its multiplicative factor, with a contraction constant that depends only on (and not on j or the particular pattern).
Crucially, this argument uses only the pointwise inequality (the case of the dangerous–windows condition) plus integrality, and applies directly to the finite sequence along . No completion to a closed walk in the residue graph is required.
(2.4) Boundedness and periodicity. From (
195) and the uniform contraction bound we obtain
with
. Iterating this affine inequality yields
so the subsequence
is bounded.
The intermediate values inside each danger block and each high–valuation excursion are then bounded using (
191) and (
192): the constants
and
are uniformly bounded in
and
, and each block has finite length. Consequently the entire tail of the orbit is bounded.
Any bounded accelerated odd Collatz orbit is eventually periodic, so we obtain a contradiction with the assumption that the orbit is infinite and nonperiodic while visiting both and infinitely often. Therefore, under the dangerous–windows hypothesis, an infinite nonperiodic orbit cannot oscillate indefinitely between the two sets: it must eventually remain in .
For Part (2), the only ingredient from the dangerous–windows hypothesis needed for the contraction argument is the pointwise bound
on the valuations along the orbit tail. Together with integrality, this forces every danger–excursion pattern
to have multiplicative factor
uniformly in
j, yielding a global contraction inequality
along the subsequence of entries into
. This implies boundedness and eventual periodicity of the orbit, contradicting the hypothesis of an infinite nonperiodic orbit that visits both
and
infinitely often. Hence any infinite nonperiodic orbit satisfying the dangerous–windows condition must eventually remain in the dangerous residue set, completing the proof of the theorem. □
Theorem 7.17 (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 seach (indices taken modulo p) is an edge in . sThen 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 s eventually trapped on a directed cycle inside the subgraph H.
Proof. We prove that no infinite nonperiodic accelerated odd Collatz orbit can eventually follow a directed cycle in the dangerous residue graph H.
(1) Structure of a dangerous cycle. Let
be a directed cycle in
H of length
. For each
i set
Since
, each
satisfies
Then
, so
and
is a nontrivial rational number. In lowest terms we may write
In particular since .
(2) Lifting the cycle to an integer orbit. Assume for contradiction that there exists an infinite nonperiodic accelerated odd Collatz orbit
that eventually follows
C modulo
M. Thus there is
such that for all
,
For
with
, iterating the accelerated map
along one period of the cycle yields an affine relation of the form
where
depends only on the residue class
, and
.
(3) Recurrence and explicit solution. Fix
and define the subsequence
Since
, the standard solution of this affine recurrence gives
where
Because
for all
m, we have
In particular is rational for all m.
(4) Normal form for and a divisibility condition. Write
in lowest terms as
where
are odd and
. Using
we obtain
By (
197) the quantity
must be an integer for all
, hence
(5) Denominator–growth forcing . Because
d and
are odd, the right–hand side of (
198), namely
, is an odd integer when
. From (
198) we deduce that for all
,
Since
, we have
for
, so
. If
, then
is a nonzero odd integer that is divisible by 2, which is impossible. Therefore
, and hence
(6) Eventual periodicity. With
, the explicit formula reduces to
Thus each residue–class subsequence
is constant. In particular the tail
takes values in the finite set
in a periodic pattern of period dividing
p. Hence the orbit
is eventually periodic.
This contradicts the assumption that the orbit is infinite and nonperiodic. Therefore no infinite nonperiodic accelerated odd Collatz orbit can eventually follow a directed cycle in the dangerous residue graph H, which proves the theorem. □
Lemma 7.18 (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 7.19 (Finite Graph Obstruction)Assume Theorem 7.17. 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 7.18, 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:
This is precisely excluded by Theorem 7.17, which asserts that no infinite accelerated odd Collatz orbit can eventually follow a cycle in H modulo M. Hence, under the Theorem 7.17, no such infinite path in H can be realized by the residue sequence of a valid infinite nonperiodic orbit. □
Theorem 7.20 (Weak Non–Retreat). Assume Lemmas 7.12, 7.15, 7.18, and 7.19, together with Theorem 7.16. Then every nonperiodic accelerated odd Collatz orbit admits infinitely many windows of length whose average valuation satisfies
Consequently, by Theorem 6.13 there exist constants and such that
for infinitely many pairs , and the weak non–retreat property of 1.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 Theorem 7.16. Fix
and the associated modulus
M and residue sets
and
. By Lemma 7.15 there exists
such that for all
,
By Theorem 7.16 (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 Theorem 7.16 (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 7.19, such an infinite path cannot arise from a valid infinite nonperiodic Collatz orbits. 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 6.13 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. □
Logical Closure of the Spectral-Dynamical Framework
In this section we formalize all the propositions and their proofs for the Dynamical Forms Theorem 1.1
(3) ⇒ (2)
Proposition 7.21 (Orbit–supported invariant functionals are impossible)Let P be the backward Collatz transfer operator on and assume the Peripheral Spectral Classification Theorem 6.2. Then there is no nonzero –invariant functional in whose support is contained in a single forward Collatz orbit.
In particular, statement (3) of Theorem1.2(existence of a nonzero orbit–supported invariant functional for every infinite orbit) cannot hold unless there are no infinite forward orbits at all. Hence (3) implies (2).
Proof. By Theorem 6.2 and positivity of P, there exist and with , , and the eigenspace for eigenvalue 1 of is one–dimensional and spanned by . Thus if satisfies , then for some scalar c.
Fix a forward orbit and suppose there exists a nonzero –invariant functional supported on this orbit, in the sense that whenever f vanishes on . Then with .
Consider the nonnegative test function
By support of
on the orbit we have
. On the other hand,
and
, so strict positivity of
gives
and hence
a contradiction. Therefore no nonzero
–invariant functional can be supported on a single forward orbit. If statement (3) of Theorem 1.1 holds, then every infinite forward orbit would support such a functional, which we have just ruled out. Hence there are no infinite forward orbits, and in particular every orbit has bounded block index:
, which is statement (2). □
(3) + (8) ⇒ (1)
Proposition 7.22 (Strong Collatz from orbit averages and residue graphs). Assume Conjecture 6.3 ( (3) of Theorem 1.1 ) with Theorems 7.17 and 7.16. Then statement (1)of Theorem 1.1 (Strong Collatz Conjecture) holds.
Proof.
(1): Exclusion of nontrivial cycles. By Theorems 7.17 and 7.16, no nontrivial accelerated odd Collatz cycle can persist inside the dangerous residue graph, and every nonperiodic accelerated odd orbit eventually escapes it. The argument given previously in the proof of Theorem 7.20 therefore excludes all nontrivial cycles; we do not repeat it here.
(2) Exclusion of infinite orbits via orbit–averaging and spectral rigidity. Suppose for contradiction that there exists an infinite forward Collatz orbit
with base point
. By statement (3) (Orbit–Averaging Conjecture), this orbit produces a nonzero
–invariant functional
which is obtained as an orbit–average along
. In particular, if a test function
satisfies
for all sufficiently large
k, then the orbit–average of
f along
vanishes and hence
On the other hand, the spectral classification theorem (uniqueness of the positive eigenfunctional, Theorem 5.1) asserts that every
–invariant functional is a scalar multiple of the distinguished Perron–Frobenius eigenfunctional
:
We now construct a smooth cutoff that lies in
and vanishes along the tail of the orbit. By the nontrapping and escape statement (8), the forward orbit
cannot remain indefinitely in any fixed low region of the tree. Hence we may choose
so large that
for some
. Define a test function
by
We first verify that
. The weighted
norm is finite:
since
. Moreover
is supported on the finite set
, so only finitely many tree blocks
intersect its support. In each such block, the contribution to the block seminorm comes from finitely many points with uniformly bounded size, multiplied by the decaying prefactor
. Thus the tree seminorm of
is finite and
.
By construction, we have
for all
, since
implies
. Therefore
vanishes along the tail of the orbit, and the defining orbit–averaging property of
yields
via (
199). On the other hand, write
with
h the strictly positive Perron–Frobenius eigenfunction satisfying
. Then
because
for all
and the sum is finite and nonempty. Combining the two expressions for
gives
which contradicts
and
. This contradiction shows that no infinite forward Collatz orbit can exist.
We have ruled out both nontrivial cycles (Step 1) and infinite orbits (Step 2). Hence every forward Collatz orbit is finite, and the only cycle is the trivial cycle. This is precisely statement (1) of Theorem 1.1. □
(4) ⇒ (3)
Proposition 7.23 (Block orbit averages imply the Orbit–Averaging Conjecture).Assume statement (4) of Theorem 1.1 (the Block–Orbit–Averaging Conjecture). Then statement (3) of Theorem 1.1 (the Orbit–Averaging Conjecture, Conjecture 6.3) holds. In particular, (4) implies (3) in Theorem1.1.
Proof. Let
be an infinite forward Collatz orbit with base point
. For each
consider the orbit Cesàro functional
By Lemma 5.30, the family is uniformly bounded in , hence weak* relatively compact.
Statement (4) asserts, for this orbit, the existence of a nontrivial block–orbit average. Concretely, it guarantees that there exists a sequence
and a nonzero functional
such that
Thus
is a nonzero weak
* limit point of the orbit Cesàro functionals for
. By Proposition 5.31, every such weak
* limit of
along a forward Collatz orbit satisfies two key properties:
and
is supported entirely on the orbit
in the sense that
Since , this gives exactly the conclusion of statement (3) for the orbit : it produces a nonzero –invariant linear functional supported on that orbit.
Because the choice of the infinite orbit was arbitrary, the same argument applies to every infinite forward orbit. Hence the Orbit–Averaging Conjecture (3) holds whenever the Block–Orbit–Averaging statement (4) holds, and we have shown (4) ⇒ (3) in Theorem 1.1. □
(5) ⇒ (4)
Proposition 7.24 (Implication from supercritical linear block growth to BOA). Assume Statement (5) (Block–Escape Implies Supercritical Linear Block Growth, Conjecture 6.10). Then Statement (4) (Block–Orbit–Averaging, Conjecture 6.4) holds.
Proof. Suppose for contradiction that Statement (4) fails. Then there exists an infinite forward Collatz orbit
such that for every integer
the orbit does
not spend a positive proportion of time in the finite union of low blocks
. In terms of the block index
this means that for every
the lower asymptotic frequency of visits to
is zero. Equivalently, the orbit satisfies the block–escape condition of Definition 6.5, namely
or the Block–Escape Property. By Statement (5) (Conjecture 6.10), every infinite orbit satisfying BEP must exhibit supercritical linear block growth. Concretely, there exists a constant
and a strictly increasing subsequence
with
such that
Thus the orbit
satisfies both the block–escape condition (
200) and the linear growth condition (
201).
We now invoke Proposition 7.5. That result states that if an infinite orbit satisfies the block–escape condition
and there exists
and a subsequence
with
then the orbit violates the universal exponential growth bound of Lemma 6.7. In the proof of Proposition 7.5 one obtains
Taking
and using
, this yields
which contradicts Lemma 6.7, since that lemma gives the universal upper bound
Therefore no infinite orbit can simultaneously satisfy BEP and the supercritical linear growth condition (
201). In particular, our initial assumption that there exists an infinite orbit for which Statement (4) fails leads to a contradiction, because failure of (4) was exactly what forced BEP in (
200).
Taking the contrapositive, every infinite orbit must fail BEP. Thus for each infinite orbit
there exists some
such that the lower asymptotic frequency of visits to
is strictly positive:
This is precisely the Block–Orbit–Averaging statement (4). Hence, under Statement (5), Statement (4) holds. □
(6) ⇒ (5)
Lemma 7.25 (Flexible choice of drift constants).
Let be a forward orbit and suppose there exist , , and such that for all and all one has
Then for any the choice
also yields a valid weak non–retreat inequality:
Moreover, for these constants one has
Proof. Fix
and set
and
. Then for each
we compute
Thus the right–hand side of (
202) is strictly larger than
for every
, and hence (
202) implies (
203) for all
. The identity (
204) is an immediate algebraic rearrangement:
This proves the lemma. □
Corollary 7.26 (Consistency of quantitative deficiency with valuation drift).
Let . Suppose that for some choice of and the residue–graph analysis and Theorem 7.20
produce a deficit parameter such that
for a given . Then there exist constants , , and the same such that
Proof. Apply Theorem 6.13 with the deficit parameter
to obtain an inequality of the form (
202) for some
. Fix
and choose
so small that
(This is possible precisely because of the strict inequality (
205).) With this choice of
, define
and
as in Lemma 7.25. Then (
203) holds for all
and all
, and by (
204) we have
□
Proposition 7.27 (Quantitative weak non–retreat implies supercritical linear block growth).
Let be constants for which the Quantitative Weak Non–Retreat Principle(6)
holds for every infinite forward orbit. Suppose these constants arise from the valuation–drift analysis (
Theorem 6.13)
and satisfy
In particular . Then for every infinite orbit satisfying the Block–Escape Property there exists a constant and a subsequence such that
for all sufficiently large ℓ. Consequently, under the above condition on , statement (6) implies the supercritical linear block growth statement (5) of Theorem 1.1.
Proof. Let
be an infinite forward orbit satisfying the Block–Escape Property. By Theorem 7.20 and the residue–graph construction, there exist parameters
and
and a deficit parameter
such that the valuation drift estimate of Theorem 6.13 holds in the form
for all sufficiently large
k. Assume that for some
the lower bound
holds. By Lemma 7.25, for any
we may define
and then (
206) implies the weak non–retreat inequality
for all sufficiently large
k. Moreover,
Using the strict inequality (
207), one may choose
small enough so that
Thus there exist constants
,
, and the same
with
for which (
208) holds for all sufficiently large
k.
(1) Constructing the subsequence. Choose
large enough that
and that (
208) holds for all
with
. Define an increasing sequence
by
where
is chosen so that (
208) holds at
. Induction shows that
for all
ℓ, and hence the construction continues indefinitely with
.
(2) Accumulated drift. From (
208), for each
ℓ,
Summing for
and using
gives
Since
, we have
and therefore
(3) Supercritical slope. By assumption,
Choose any
with
; for all sufficiently large
m,
Renaming the tail of as yields the desired subsequence.
Since the orbit satisfies the Block–Escape Property, this linear lower growth of along a subsequence is exactly the supercritical linear block growth required in statement (5) of Theorem 1.1. The implication (6) ⇒ (5) follows. □
(8) ⇒ (6)
This is Theorem 7.20.
Proposition 7.28 (Spectral hypotheses imply orbitwise discrepancy vanishing).
Assume the spectral hypotheses of Remark 7.6 for the backward Collatz operator P acting on , together with the forward growth bounds used in Lemma 5.24 to control Cesàro averages along forward orbits. Let be any infinite forward Collatz orbit and, for , define the Cesàro functionals
Then along any sequence there is a subsequence and a functional such that , and every such weak–* limit satisfies:
Λ is –invariant, that is, for all ;
-
the discrepancy averages vanish along the orbit, in the sense that
for every .
In particular the Orbitwise Discrepancy Vanishing statement(7)holds with .
Proof. By Lemma 5.24, which uses the forward growth bounds for Collatz orbits together with the definition of the
–dual norm, the family
is uniformly bounded in
:
Hence, by the Banach–Alaoglu theorem, any sequence admits a weak–* convergent subsequence for some .
We now invoke Lemma 7.4 with , applied to the fixed forward orbit and the subsequence . That lemma is a purely dynamical statement about the discrepancy operator and the Cesàro functionals : it asserts that for any weak–* limit of along a subsequence, one has
In particular, every such weak–* limit is –invariant and satisfies orbitwise discrepancy vanishing for all , which is exactly statement (7) with . This proves the proposition. □
Proposition 7.29 (Spectral rigidity forbids finite–block trapping).
Assume the spectral hypotheses 7.6 and the spectral rigidity statement of Proposition 7.5, which forbids nonzero –invariant functionals supported on a finite union of blocks. Then there is no infinite forward Collatz orbit whose trajectory is contained in a finite union of blocks .
Proof. Suppose, for contradiction, that there exists an infinite forward orbits
and an index
such that
Define the Cesàro functionals
By Proposition 7.28, along some subsequence
the functionals
converge weakly–* to a nonzero functional
that is
–invariant:
On the other hand, the assumption
for all
k forces
to be supported on
. Indeed, let
be supported in the complement
. Then
for all
, so
Passing to the subsequence and using weak–* convergence, we obtain for every f supported on , hence is supported entirely on .
Thus is a nonzero –invariant functional supported inside the finite union of blocks , contradicting the rigidity statement of Proposition 7.5. This contradiction shows that no infinite forward orbit can be contained in a finite union of blocks. □