CSM_RH Paper 54
Seeded MLEPG Amplification, the Optimal Exponent Map, and the Critical-Locking No-Free-Bootstrap Barrier
Project: CSM_RH
Paper: 54
Version: v0.1
Date: 2026-09-08
Campaign: 45 — PESC_EXPONENT_AMPLIFICATION_OR_MLEPG_BOOTSTRAP
Track: EA1–EA4
Status: SEEDED AMPLIFICATION LAW CERTIFIED / ARITHMETIC SEED AND AMPLIFIER THEOREMS OPEN
Canonical entry state: v1.44 / Paper 53 v0.1
RH_PROVED: FALSE
RH_DISPROVED: FALSE
GLOBAL_RH_CERTIFICATE: FALSE
Abstract
Paper 53 proved that the PESC exponent has an exact zero-strip meaning:
and that
at the exponent resolution used in CSM_RH.
This paper reopens the secondary frontier F-RH-016, Mesoscopic Lag-Energy Power Gain (MLEPG), and asks whether it can strictly amplify a known PESC exponent.
The answer is precise.
Let
and
Assume PESC :
At the mesoscopic scale
assume MLEPG :
Reusing the seed PESC estimate in the initial residue class of the residue-chain theorem improves the old anchor term. One obtains
Therefore the new PESC exponent may be any
This is the seeded MLEPG amplification law.
Since
for every , strict amplification occurs exactly when
Thus MLEPG is capable of being an exponent amplifier, but only if it supplies a lag exponent strictly stronger than the already known global exponent.
If the MLEPG exponent is not the bottleneck, the optimal scale solves
giving
For every ,
The natural Selberg-variance scale corresponds to MLEPG with
Thus a natural-order lag-energy theorem at
would realize the optimal one-step amplification.
Iterating
gives
so geometrically. If one had a theorem that supplied the required natural MLEPG estimate at every seeded stage, then any positive fixed-power seed would bootstrap to the critical line and hence RH.
No such arithmetic theorem is proved.
Indeed, PESC itself cannot generate the required inequality deterministically. The model sequence
satisfies
but for every fixed ,
Thus its mesoscopic lag exponent is exactly . It fails every MLEPG with
This critical power-law model proves that no purely deterministic implication from PESC can create the strict lag gain required by the amplifier.
The same phenomenon appears in the dyadic contraction language of Papers 21–22. A PESC-saturating power-law mode has asymptotically scale-invariant normalized lag energy and therefore locks the dyadic contraction ratio near . To amplify, the prime sequence must exhibit genuine arithmetic decorrelation beyond this critical-locking model.
Campaign 45 is therefore reduced to a sharp new frontier:
The current Guth–Maynard short-interval advances improve range and zero-density exponents but retain subpower error precision, so they do not presently supply the required fixed-power seed or amplifier.
No RH theorem is claimed.
1. Entry state from Paper 53
Paper 53 established the exponent-level equivalence
for fixed
It also proved
At this becomes RH-equivalent.
Thus a future proof strategy based on a subendpoint fixed power must contain an amplification mechanism.
The candidate secondary frontier is F-RH-016:
MESOSCOPIC_LAG_ENERGY_POWER_GAIN
MLEPG
Papers 17 and 22 certified its original deterministic bridge.
The present paper audits that bridge again with the existing PESC exponent reused as a seed.
2. MLEPG and the residue-chain bridge
Let
For an integer lag define
Paper 17's residue-chain theorem gives, up to absolute constants,
The old bridge estimated the first term only by Chebyshev:
This produced the old anchor loss
Once PESC is already known, this is no longer the correct anchor estimate.
3. Seeded anchor improvement
Assume PESC globally at all sufficiently large dyadic scales.
Then for every ,
Cover
by dyadic intervals.
The resulting geometric sum gives
Therefore the residue-chain anchor becomes
At
this is
Relative to the global scale, its exponent gain is
For every
Thus the seeded anchor is automatically stronger than the seed exponent at every genuinely mesoscopic scale.
This removes the old artificial ceiling from the bootstrap problem.
4. Seeded MLEPG amplification theorem
Recall MLEPG :
Insert this and the seeded anchor into the residue-chain inequality.
The diagonal term gives
The lag-gain term gives
The seeded anchor gives
Hence:
Theorem 4.1 — Seeded MLEPG amplification law
Assume PESC and MLEPG with
Then for every fixed
PESC follows.
Create:
B-RH-052
SEEDED_PESC_MLEPG_EXPONENT_AMPLIFICATION_LAW
CERTIFIED
This is the central deterministic theorem of Campaign 45.
5. Exact strict-amplification criterion
We ask when
The anchor condition is automatic:
if and only if
Therefore:
Corollary 5.1 — MLEPG strict-amplification gate
For
and
the seeded MLEPG bridge strictly improves the PESC exponent if and only if
This is the exact Campaign 45 amplifier gate.
The scale must lie beyond the current exponent, and the arithmetic lag saving must itself beat the current exponent.
The condition
cannot be supplied by bookkeeping. It is the new arithmetic content.
6. Optimal one-step exponent map
Suppose the MLEPG exponent is large enough not to be the active restriction.
Then maximize
over
The first function increases in .
The second decreases in .
The optimum occurs at their intersection:
Hence
so
At this point,
For
Thus:
Theorem 6.1 — Optimal seeded residue-chain amplification map
If MLEPG is available at
with
then every
is admissible.
Create:
B-RH-053
OPTIMAL_SEEDED_MLEPG_BOOTSTRAP_MAP_KAPPA_TO_TWO_OVER_THREE_MINUS_KAPPA
CERTIFIED
7. Natural Selberg scale realizes the optimal map
The natural short-interval variance scale is
In MLEPG notation,
reaches the same power scale as when
Thus the natural-order MLEPG theorem is precisely MLEPG at exponent resolution.
Choose
Then
and the optimal amplification is attained.
Therefore the ideal Campaign 45 arithmetic theorem is not an exotic super-natural variance estimate.
It is:
prove natural-order lag energy at the dynamically selected scale
under hypotheses no stronger than the currently available seed PESC .
No such theorem is currently certified.
8. Exact iteration to the critical line
Define
Let
Then
Therefore
Solving the recurrence gives
Hence
Thus
geometrically.
9. Bootstrap meta-theorem
The iteration does not itself provide the arithmetic theorem required at each stage.
We therefore separate the deterministic engine from the missing input.
Define the following hypothetical statement.
Natural MLEPG Bootstrap Hypothesis, NMBH
For every fixed
PESC implies MLEPG at
This is not assumed elsewhere and is not proved here.
Then:
Theorem 9.1 — Conditional iterative bootstrap meta-theorem
If:
- PESC is proved for one fixed ; and
- NMBH holds for every seeded exponent generated by the recurrence;
then PESC holds for all , where
Paper 53 then implies RH.
Proof
Apply Theorem 6.1 inductively.
For any nontrivial zero with
choose sufficiently large that
Paper 53 excludes that zero.
Functional-equation symmetry excludes zeros to the left of the critical line.
Therefore every nontrivial zero lies on
This is a bootstrap architecture, not a proof of its arithmetic hypothesis.
10. PESC alone cannot create the required lag exponent
The seeded amplification law requires
Can PESC itself imply this merely by deterministic inequalities?
No.
First, the generic translation estimate gives
Thus PESC gives only
At
rewriting this in the MLEPG remainder scale
gives at best
This is positive only when
But for every ,
Therefore deterministic translation never crosses the amplifier gate.
It can preserve the seed exponent arbitrarily closely as , but cannot improve it.
11. A sharp critical-locking countermodel
The preceding failure is not merely weakness of the triangle inequality.
Fix
and define the model sequence
Then
so
Thus the sequence exactly saturates the PESC global energy scale.
Let
For
and large , the mean value theorem gives
for some
Since
Summing over values of gives
Therefore its lag exponent is exactly
If
and
the MLEPG diagonal term
is smaller than the model lag energy by
while the MLEPG remainder
is smaller by
Hence this PESC-saturating model violates every strict-amplifier MLEPG estimate.
Theorem 11.1 — Critical-locking no-free-bootstrap barrier
There is no universal deterministic implication
in the strict-amplifier regime
Create:
O-RH-132
PESC_SATURATING_POWER_LAW_CRITICAL_LOCKING_BLOCKS_DETERMINISTIC_MLEPG_AMPLIFICATION
CERTIFIED
This proves that the missing amplifier must use arithmetic structure specific to the primes.
12. Connection to dyadic contraction mass
Papers 21–22 defined
and the exact dyadic ratio
The cumulative contraction mass is
The power-law countermodel of Section 11 has
uniformly over every polynomial lag scale
Therefore
at exponent resolution.
This is exactly critical locking.
A genuine arithmetic amplifier must force the prime sequence away from this model by generating additional contraction mass.
If at a terminal scale
one proves
then
The seeded residue-chain argument gives
Thus a sufficient contraction-mass amplifier criterion is
Equivalently, after initial-scale normalization,
Create:
B-RH-054
SEEDED_DYADIC_CONTRACTION_MASS_AMPLIFIER_GATE
CERTIFIED
This is the contraction-language version of the MLEPG condition .
13. Natural contraction calibration
The conjectural short-interval variance scale is approximately
Therefore
At adjacent dyadic scales,
Away from the terminal scale this is close to
If such a contraction persisted across essentially all dyadic scales from subpolynomial size to
the cumulative contraction mass would be approximately
and therefore
This is exactly the natural MLEPG exponent
Thus the optimal bootstrap map is not asking for a contraction stronger than the expected prime variance.
It is asking for enough of that natural decorrelation to be proved at fixed-power precision.
14. Seed gate and amplifier gate are distinct
Campaign 45 now has two logically independent arithmetic obligations.
Gate S — fixed-power seed
Produce any theorem implying
for some fixed
A single fixed-power MLEPG theorem, shrinking-threshold exceptional-set theorem, or sufficient contraction-mass theorem would do this through the already certified unseeded bridges.
No such theorem is currently certified.
Gate A — exponent amplifier
Given PESC , prove an arithmetic lag theorem with
At natural strength, use the moving scale
The two gates should not be conflated.
A theorem that creates only one small fixed exponent but cannot be repeated is a seed, not an amplifier.
15. Current external technology calibration
The 2026 Annals paper of Guth and Maynard proves the zero-density estimate
and obtains pointwise prime asymptotics in intervals of length
and almost-all asymptotics down to
The published error terms in the short-interval corollaries are of subpower exponential type, such as
rather than a relative error
with fixed .
Thus these major range improvements do not presently cross Gate S or Gate A.
This is consistent with Papers 37–38.
The classical Goldston–Montgomery and later short-interval variance literature connects natural-order prime variance to pair-correlation information about zeta zeros. This calibrates the strength of MLEPG : it is a genuinely deep arithmetic statement, not a deterministic consequence of a global PNT mean square.
16. EA1 verdict
The Campaign 45 question was:
EA1
DOES_F_RH_016_IMPLY_A_STRICT_PESC_EXPONENT_IMPROVEMENT?
Answer:
YES, CONDITIONALLY ON ITS PARAMETERS.
Given seed PESC(kappa):
MLEPG(alpha,delta)
strictly amplifies iff
alpha > kappa
delta > kappa
alpha < 1.
The seeded output exponent is
min(alpha, delta, 2-alpha(2-kappa)).
But:
PESC(kappa) alone does not imply delta > kappa.
Therefore close EA1 as:
CLOSED_AS_SEEDED_MLEPG_IS_A_TRUE_AMPLIFIER_EXACTLY_BEYOND_THE_CRITICAL_LOCKING_EXPONENT
17. EA2 verdict: optimal map
Close EA2 as:
CLOSED_AS_OPTIMAL_NATURAL_MLEPG_MAP
with
The map has the endpoint fixed point
and approaches it geometrically under iteration.
No arithmetic theorem establishing the required MLEPG family is supplied.
18. EA3 and EA4 next tasks
The campaign should now stop asking whether an exponent map exists.
It does.
The next question is whether prime arithmetic can satisfy the amplifier inequality.
Open:
EA3
SEEDED_PRINCIPAL_ARC_DELOCKING
Target:
prove that PESC plus currently available arithmetic information forces enough spectral escape from the Fejer principal arc to yield
Open:
EA4
UNIFORM_CONTRACTION_MASS_BOOTSTRAP
Target:
prove a seeded lower bound
for some
at a scale compatible with the optimal map.
Hard rejections:
USE_PESC_TRANSLATION_BOUND_AS_IF_DELTA_GT_KAPPA
CONFUSE_SEED_WITH_AMPLIFIER
REUSE_OLD_UNSEEDED_ANCHOR_2_MINUS_2ALPHA
CLAIM_NATURAL_MLEPG_FROM_ZERO_FREE_STRIP_ALONE
PROMOTE_SUBPOWER_SHORT_INTERVAL_ERROR_TO_FIXED_POWER
ASSUME_PAIR_CORRELATION
ASSUME_RH
HIDE_DELTA_LE_KAPPA_IN_O_ONE
19. Campaign state transition
Advance the candidate state from
to
Add:
B-RH-052
SEEDED_PESC_MLEPG_EXPONENT_AMPLIFICATION_LAW
CERTIFIED
Add:
B-RH-053
OPTIMAL_SEEDED_MLEPG_BOOTSTRAP_MAP_KAPPA_TO_TWO_OVER_THREE_MINUS_KAPPA
CERTIFIED
Add:
B-RH-054
SEEDED_DYADIC_CONTRACTION_MASS_AMPLIFIER_GATE
CERTIFIED
Add:
O-RH-132
PESC_SATURATING_POWER_LAW_CRITICAL_LOCKING_BLOCKS_DETERMINISTIC_MLEPG_AMPLIFICATION
CERTIFIED
Campaign 45 state:
EA1 CLOSED
EA2 CLOSED
EA3 OPEN
EA4 OPEN
SEED GATE OPEN
AMPLIFIER ARITHMETIC GATE OPEN
No RH certificate is created.
20. Conclusion
The role of MLEPG is now exact.
It is neither merely another representation of PESC nor an automatic bootstrap theorem.
With a seed exponent , the deterministic bridge is
Strict improvement occurs exactly beyond the critical-locking threshold:
At natural lag-energy strength, the optimal map is
Repeated ideal amplification converges geometrically to the RH endpoint.
But the power-law model
shows why this amplification cannot be free: a sequence can saturate PESC while remaining perfectly locked at lag exponent .
Therefore the next theorem must be genuinely arithmetic.
It must prove that the prime-error sequence decorrelates more strongly across mesoscopic scales than the critical power-law mode allowed by the current PESC exponent.
That is the new core of CSM_RH.