CSM_RH Paper 56
Seeded Shrinking-Threshold Amplification, the Relocated Right-Edge Wall, and a Stronger Exceptional-Set Bootstrap Law
Project: CSM_RH
Paper: 56
Version: v0.1
Date: 2026-09-08
Campaign: 46 — SEEDED_ARITHMETIC_STRIP_GAP_GENERATION
Tracks: SG1 / SG2 structural audit and seeded bridge
Status: NEW SEEDED SHRINKING-THRESHOLD AMPLIFIER BRIDGE CERTIFIED / ARITHMETIC THRESHOLD THEOREM OPEN
Canonical entry state: v1.46 / Paper 55 v0.1
RH_PROVED: FALSE
RH_DISPROVED: FALSE
GLOBAL_RH_CERTIFICATE: FALSE
Abstract
Paper 55 proved that for every fixed
PESC is exponent-equivalent to the fixed zeta zero-free strip
where
Campaign 46 asks for a genuine arithmetic theorem producing a strict improvement
The present paper revisits the shrinking-threshold exceptional-set route of Papers 37–38 under the new seeded information.
The seed PESC estimate gives more than a dyadic norm. Through the fixed zero-free strip it also gives the pointwise PNT error bound
This changes the bad-set ledger in the shrinking-threshold bridge.
Let
and define
Suppose that for fixed
one has the polynomial shrinking-threshold exceptional-set estimate
On the good set the lag energy is bounded by
On the exceptional set, instead of the old trivial bound , the seeded pointwise PNT estimate gives
Consequently
At , the second term is
with
Thus the seeded exceptional-set theorem yields the effective lag exponent
Combining this with Paper 54's seeded residue-chain theorem gives the new bootstrap law
Strict amplification occurs exactly when
This is strictly weaker in its exceptional-set requirement than the unseeded Paper-37 bridge. The old bridge required the exceptional-set exponent itself to exceed the target lag exponent. In the seeded bridge, choosing close to allows any fixed to participate in a strict amplifier, provided the good-set accuracy crosses the critical threshold .
For moderate , and assuming the good-set threshold is not the active bottleneck, the optimal scale is
and the one-step exponent becomes
The paper then identifies the exact new right-edge wall.
Before a seed existed, Paper 38 found a fatal shrinking edge at . PESC removes that edge and relocates it to
A zero mode on this boundary has relative short-interval size
at every sublinear lag below its resonant height. Hence:
- thresholds lie above the boundary-mode amplitude and may be compatible with the seed;
- is the critical locking threshold;
- every threshold lies below the boundary-mode amplitude and is therefore itself strip-improving arithmetic.
This is also visible in the standard zero-packet moment method. At the seeded boundary, a -th moment followed by Markov at threshold incurs the baseline exponent
before any nonnegative density cost. If , the exponent already exceeds . Thus no standard finite-moment-plus-Markov treatment of a boundary packet can cross the amplifier threshold while the boundary mode remains admissible.
The seed therefore repairs Paper 38's old subpower obstruction, but replaces it with a sharper fixed critical wall at .
The new bridge identifies a potentially more economical amplifier route than full MLEPG: a near-macroscopic shrinking-threshold theorem with only a modest polynomial exceptional-set saving can suffice. However, the required good-set accuracy must still cross the boundary-mode scale, and no current theorem of Gafni–Tao or related short-interval technology is known to do this.
No RH theorem is claimed.
1. Seed information from Paper 55
Assume PESC for a fixed
Paper 55 certified
The same paper proved the converse direction through the truncated explicit formula:
if
then
Therefore the seed gives
At exponent resolution,
This pointwise consequence was not available in the original unseeded Campaign 36–37 bridge.
2. Seeded pointwise short-interval envelope
Let
Define
Since
the seed pointwise estimate gives uniformly for
Relative to this is
where
This exponent is positive only when
Even when positive,
for every genuinely sublinear scale .
Thus the uniform seed estimate approaches, but never crosses, the boundary threshold .
3. Seeded shrinking-threshold hypothesis
Fix
Define the exceptional set
The seeded shrinking-threshold input is
No such theorem with amplifier parameters is assumed or proved here.
The purpose of this paper is to compute its exact deterministic consequence once a PESC seed is already present.
4. Improved bad-set energy using the seed
Split
into good and bad sets.
Good set
Outside ,
Hence
Exceptional set
On the exceptional set use the seed pointwise envelope, not the trivial prime-counting bound:
Therefore
Combining:
Theorem 4.1 — Seeded shrinking-threshold lag-energy bridge
Assume PESC and the exceptional-set estimate of Section 3. Then
At
write
where
Thus
with
Create:
B-RH-059
SEEDED_SHRINKING_THRESHOLD_EXCEPTIONAL_SET_TO_LAG_POWER_GAIN
CERTIFIED
This strictly improves the old unseeded bridge B-RH-012 whenever the seed pointwise PNT bound is stronger than the trivial bad-set envelope.
5. Seeded shrinking-threshold PESC map
Paper 54's seeded residue-chain theorem states that PESC plus a lag exponent at scale gives every
Insert from Theorem 4.1.
Theorem 5.1 — Seeded shrinking-threshold amplification law
Assume PESC and the shrinking-threshold exceptional-set theorem
Then every
is admissible, where
Create:
B-RH-060
SEEDED_SHRINKING_THRESHOLD_PESC_AMPLIFICATION_LAW
CERTIFIED
6. Exact strict-amplifier gate
We ask when
The four conditions are:
and
The final inequality is automatic for .
The third simplifies to
Therefore:
Corollary 6.1 — Seeded exceptional-set strict-amplifier gate
For
strict amplification occurs exactly when
This is a substantially weaker requirement on than in the unseeded lag-energy bridge.
If is chosen sufficiently close to , any fixed
can satisfy the exceptional-set condition.
The non-negotiable threshold remains
7. Optimization when the exceptional exponent is modest
Assume first that the threshold term is not the bottleneck.
We maximize
For the usual regime of modest , the scale term is inactive at the optimum.
Balance the bad-set term with the seeded anchor:
This gives
The common output exponent is
Define
For
the scale term is indeed inactive and the formula above is the optimizer.
For larger , the original seeded MLEPG scale ceiling becomes active and the maximum cannot exceed
Thus, absent the threshold bottleneck,
The shrinking-threshold route therefore interpolates naturally between a weak exceptional-set amplifier and the ideal natural-MLEPG amplifier of Paper 54.
8. Threshold requirement at the optimized scale
In the modest- regime, the target output is
To keep from becoming the bottleneck, it suffices that
Equivalently,
Thus the good-set accuracy need only cross the boundary threshold by an amount proportional to the available exceptional-set power.
This gives a quantitative tradeoff between:
- threshold precision;
- exceptional-set rarity;
- output zero-strip improvement.
9. The right edge is relocated by the seed
Paper 38 found that the unseeded Gafni–Tao architecture fails at a right-edge packet
whose available amplitude suppression is only subpower.
PESC changes the geometry completely.
There are no zeros with
Thus the surviving right edge is
This is a fixed distance from .
The old Vinogradov–Korobov shrinking-edge packet is absent under the seed.
Therefore:
OLD RIGHT EDGE
sigma -> 1
subpower zero-free width
fatal for polynomial threshold
SEEDED RIGHT EDGE
sigma <= 1-kappa/2
fixed edge
polynomial threshold bookkeeping becomes meaningful
This is a genuine structural repair of the Paper-38 architecture.
However, the repaired edge contains its own critical wall.
10. Boundary-zero threshold scale
Take a model zero on the seeded boundary:
Paper 55 proved that for a fixed zero and sublinear lags below the resonant height,
Hence
on a positive-amplitude portion of the dyadic block.
Therefore define the boundary threshold
The threshold geometry is:
Subcritical accuracy
Then
A boundary zero mode can lie below the threshold. Such a theorem need not improve the zero strip.
Critical accuracy
The threshold is at the exact boundary-mode scale.
Supercritical accuracy
Then
A boundary mode is larger than the allowed good-set threshold.
This is precisely the threshold needed by Corollary 6.1.
Thus the strict amplifier gate and the boundary-zero detection threshold coincide.
11. Three-zone seeded threshold geometry
The seed itself supplies the uniform relative exponent
For every ,
Hence the seeded short-interval precision landscape has three zones:
ZONE I
nu <= alpha-1+kappa/2
uniformly available from the seed pointwise PNT bound
ZONE II
alpha-1+kappa/2 < nu <= kappa/2
requires additional mesoscopic arithmetic
but remains compatible with a boundary zero
ZONE III
nu > kappa/2
strict strip-improvement zone
boundary zero no longer compatible
The purpose of current almost-all short-interval technology can therefore be separated into:
- seed-preserving mesoscopic refinement in Zone II;
- genuine strip-gap generation in Zone III.
Only Zone III can amplify .
12. Seeded moment barrier at the relocated edge
Paper 38 audited a standard -th moment plus Markov architecture.
At a zero strip with
the zero-packet amplitude has relative scale
A -th moment therefore has baseline power
relative to the full-measure scale.
Markov at the shrinking threshold
costs
At the seeded edge
the baseline exceptional-set exponent becomes
before including any nonnegative zero-density tax.
Therefore:
Theorem 12.1 — Seeded right-edge finite-moment barrier
Within the standard zero-packet -moment plus Markov architecture, if
then the boundary-strip contribution already has exponent strictly greater than before zero-density losses are added.
Hence no finite moment order can prove a power-saving exceptional-set estimate at a supercritical threshold while the boundary packet remains admissible.
Create:
O-RH-135
SEEDED_STANDARD_MOMENT_MARKOV_ARCHITECTURE_CANNOT_CROSS_BOUNDARY_THRESHOLD
CERTIFIED_AS_METHOD_BARRIER
This is not a universal impossibility theorem for every moment method.
It identifies the exact failure of the standard packet-plus-Markov architecture.
13. Relation to the old Paper-38 barrier
Paper 38 proved:
unseeded polynomial shrinking threshold
fails near sigma -> 1
reason:
threshold penalty remains fixed
while zero-free width shrinks to zero
The new seed removes entirely.
For thresholds satisfying
the surviving right edge has positive amplitude margin
Thus the old asymptotic subpower mismatch is no longer the first obstruction.
The architecture may have exponent room in this subcritical regime, subject to:
- parameter uniformity;
- explicit-formula height tax;
- spatial localization;
- zero-density constants.
But this regime cannot amplify the seed.
At the supercritical threshold needed for amplification, a new obstruction appears immediately:
This is sharper than the old right-edge barrier.
14. Current Gafni–Tao theorem does not cross the wall
Gafni and Tao prove quantitative exceptional-set estimates for the prime number theorem in short intervals using zero-density inputs, including the 2026 Guth–Maynard estimates.
Their theorem is formulated for a fixed relative error threshold. In the proof, the threshold parameters are fixed before the asymptotic limit.
Thus the published theorem does not provide a uniform substitution
Paper 38 already certified this theorem-scope issue.
The seed PESC strip repairs the right-edge geometry but does not repair this parameter-uniformity gap automatically.
More importantly, even a successful uniformization of the existing standard moment architecture can at most approach the seeded boundary threshold from below. Theorem 12.1 shows that crossing
requires a new mechanism which suppresses or excludes the boundary packet itself.
This is the arithmetic content of Campaign 46.
15. Relation to inverse short-interval theory
The idea that strong almost-all short-interval estimates constrain the zeta zeros is classical.
Zaccagnini's work on primes in almost all short intervals proves converse theorems: sufficiently strong uniform Selberg-integral bounds imply zero-density estimates and zero-free regions.
This external literature confirms the direction of the present bridge:
The internal seeded bridge is sharper for the present purpose because it explicitly reuses the existing PESC exponent in the exceptional-set bad-set ledger and feeds the resulting lag exponent into the exact Campaign-45 bootstrap map.
No claim of novelty is made for the broad inverse philosophy.
16. SG1 verdict
SG1 asked for seeded principal Fejer power suppression.
Paper 55 already showed that a boundary zero mode places essentially all of its derivative energy on the principal arc and saturates the exponent .
The present threshold analysis gives the same conclusion in physical space.
Thus:
SG1 STRUCTURAL STATUS:
CLOSED AS BOUNDARY-THRESHOLD LOCKING IDENTIFIED
SG1 ARITHMETIC STATUS:
OPEN
Any theorem proving principal-arc suppression beyond is itself a strip-gap theorem.
17. SG2 verdict
SG2 asked whether the shrinking-threshold route becomes more useful after a PESC seed.
Answer:
YES.
The seeded pointwise PNT bound improves the exceptional-set-to-lag bridge from the old bad-set exponent to
This reduces the strict exceptional-set requirement to
Thus SG2 is structurally stronger than previously recognized.
But:
THE ARITHMETIC THRESHOLD THEOREM REMAINS OPEN.
The good-set precision must cross
which is exactly the seeded boundary-zero scale.
Record:
SG2S
CLOSED_WITH_SEEDED_SHRINKING_THRESHOLD_AMPLIFICATION_LAW
SG2A
OPEN_SUPERCRITICAL_SHRINKING_THRESHOLD_EXCEPTIONAL_SET_THEOREM
18. New minimal arithmetic target
The full MLEPG natural-variance theorem is not necessary for a strict bootstrap.
A weaker near-macroscopic target suffices.
Choose
with fixed
Then the strict gate becomes
Thus Campaign 46 can seek:
On intervals of length
prove relative error
for all but starting points, with
and
This is a quantitatively weaker target than natural-order MLEPG across the full interval range.
It still creates a strict fixed zero-strip improvement.
Create:
F-RH-017
SEEDED_SUPERCRITICAL_SHRINKING_THRESHOLD_EXCEPTIONAL_SET
OPEN / CAMPAIGN-46 DIRECT ARITHMETIC TARGET
19. Recommended next track: SG3
SG1 and SG2 now meet the same boundary packet.
The next route should not continue increasing ordinary moment order.
Open:
SG3
SEEDED_ZERO_DETECTOR_WITH_PRIME_SIDE_COERCIVITY
The target is a mechanism which uses the special arithmetic structure of to exclude a boundary packet rather than merely estimate its positive moments.
Candidate ingredients:
SG3A
TURAN_POWER_SUM_BOUNDARY_ZERO_DETECTOR
SG3B
GALLAGHER_SHORT_INTERVAL_L2_COERCIVITY_WITH_SEED
SG3C
BOUNDARY_PACKET_PHASE_LOCALIZATION_AND_INERTIA
SG3D
PRIME_SIDE UPPER BOUND STRONG ENOUGH TO CONTRADICT DETECTOR LOWER BOUND
This direction is motivated by classical inverse short-interval work, where zeros are detected through large derivatives of logarithmic zeta quantities and related short-interval coefficient energies.
No SG3 theorem is claimed here.
20. State transition
Advance the candidate state from
to
Add:
B-RH-059
SEEDED_SHRINKING_THRESHOLD_EXCEPTIONAL_SET_TO_LAG_POWER_GAIN
CERTIFIED
Add:
B-RH-060
SEEDED_SHRINKING_THRESHOLD_PESC_AMPLIFICATION_LAW
CERTIFIED
Add:
O-RH-135
SEEDED_STANDARD_MOMENT_MARKOV_ARCHITECTURE_CANNOT_CROSS_BOUNDARY_THRESHOLD
CERTIFIED_AS_METHOD_BARRIER
Add frontier:
F-RH-017
SEEDED_SUPERCRITICAL_SHRINKING_THRESHOLD_EXCEPTIONAL_SET
OPEN
Campaign 46 state:
SG1 STRUCTURAL CLOSED / ARITHMETIC OPEN
SG2 STRUCTURAL CLOSED / ARITHMETIC OPEN
SG3 ACTIVE
SG4 OPEN
No RH certificate is created.
21. Conclusion
A PESC seed fundamentally changes the shrinking-threshold problem.
It supplies a pointwise envelope
which strengthens the bad-set ledger and yields the new bootstrap map
The exceptional-set requirement can be made very mild by working near the macroscopic scale.
But one threshold cannot be weakened:
The old right edge at has disappeared.
The new edge is fixed:
And the boundary zero mode lives exactly at relative short-interval scale
Thus Campaign 46 has localized the next arithmetic breakthrough even more tightly.
The next theorem does not need to prove the full natural Selberg variance.
It only needs to beat the seeded boundary threshold on almost all near-macroscopic intervals with a modest fixed exceptional-set saving.
That is F-RH-017.