CSM_RH Paper 06
Critical Selberg Contraction, Cumulative-Gap Classification, and Multiplicative Gram Neutrality
Project: CSM_RH
Paper: 06
Version: v0.1
Date: 2026-09-05
Parent state: CSM_RH v0.6 / Paper 05
Campaign: 05 — ZERO_FREQUENCY_MULTIPLICATIVE_CONTRACTION
Status: contraction-classification / multiplicative-decomposition audit; not a proof or disproof of RH
0. Trust boundary
This paper does not prove or disprove the Riemann Hypothesis.
Canonical state:
RH_PROVED = FALSE
RH_DISPROVED = FALSE
GLOBAL_RH_CERTIFICATE = FALSE
CSM_RH_ROOT_STATUS = OPEN
This paper does not prove a fixed-power CSSA estimate.
Its purpose is to determine exactly what kind of contraction a successful multiplicative argument must produce.
The main conclusions are:
FIXED POINTWISE GAP
sufficient but not necessary
LINEAR CUMULATIVE CONTRACTION MASS
exact scale-level criterion for a power-law contraction mechanism
SELBERG BASIC SYMMETRY
critical at first absolute-value closure
SELBERG SIGNED IMPROVEMENT
nonlinear amplitude contraction with vanishing relative gap
EXACT VAUGHAN / HEATH-BROWN STYLE DECOMPOSITION
contraction-neutral until a new Gram/correlation estimate is proved
NEW FRONTIER
MULTIPLICATIVE_GRAM_GAP_CERTIFICATE
No theorem below claims that elementary or multiplicative methods can never prove a fixed zero strip.
The result is a typed audit of what the decomposition itself does and does not provide.
1. Canonical normalized frontier
The centered signed shift aggregate is
Define
The fixed-power target is:
for some fixed
Paper 05 supplied one sufficient mechanism:
with fixed
The present paper replaces this by a more general cumulative criterion.
2. Geometric scale normalization
Fix
Let
and write
Suppose an arithmetic argument yields
where
and
Define the log-contraction increment
For
define cumulative contraction mass
3. Exact iteration formula
Repeated substitution gives:
Lemma 3.1
Proof
Iterating once gives
Continuing to scale gives the stated product formula.
Because
the result follows.
The recurrence is therefore controlled by cumulative log-contraction, not by one individual scale.
4. Linear cumulative-gap theorem
Theorem 4.1 — Linear cumulative contraction gives a fixed power
Assume there exist constants
and
such that for every
Then
Equivalently,
along the geometric scale sequence, with
Proof
The hypothesis gives
Insert this into Lemma 3.1:
Since is geometric:
- if , the sum is bounded;
- if , the last scale dominates and gives ;
- if , the sum contributes only a factor .
Thus
with the logarithm required only at the endpoint.
This is
5. Converse audit: sublinear cumulative mass cannot force a fixed power by recurrence alone
The previous condition is also the correct recurrence-level obstruction.
Theorem 5.1 — Homogeneous countermodel
Suppose only the recurrence class is specified and
Then that recurrence class alone cannot force
for any fixed
Proof
Set the additive error equal to zero and take equality:
Then
If
then
For every fixed
this is asymptotically larger than a generic
power.
Therefore no fixed power follows from the recurrence shape alone.
This is not a counterexample to the arithmetic truth of CSSA.
It is a countermodel to an insufficient contraction certificate.
6. Canonical success criterion
The correct Campaign 05 criterion is therefore not merely
It is:
at least from below, with the stronger tail-uniform version from Theorem 4.1 when additive errors are present.
In words:
a fixed power requires contraction mass linear in logarithmic scale depth.
A fixed
is one way to obtain this.
It is not the only way.
7. Model vanishing-gap classification
Let
where
Consider
for sufficiently large , with
For
Summation gives the following classification.
Theorem 7.1 — Contraction spectrum
Case A:
The gap is fixed:
Then
Hence a fixed power follows.
Case B:
Thus the homogeneous decay is
This is subpower:
Case C:
so
at homogeneous scale.
Case D:
The series
converges.
Therefore
remains bounded.
The recurrence does not force to tend to zero.
8. Why subexponential-in-log error is still subpower
For
the decay
may be much stronger than any fixed power of
But for every fixed
for sufficiently large .
Thus:
stretched exponential in log N
!=
fixed power of N
This distinction is exactly the distinction relevant to the CSSA frontier.
9. Selberg symmetry as a critical contraction calibrator
Write
A standard Selberg symmetry formula has the form
Suppose one has the inductive bound
for smaller arguments.
Applying the triangle inequality to the first symmetry relation gives
Thus the obvious contraction coefficient is exactly critical:
No strict improvement occurs.
This is a classical feature of the elementary PNT proof: the first weighted identity removes almost enough mass, but not enough to close by naïve induction.
10. Selberg signed improvement is nonlinear amplitude contraction
The second signed formula in the Selberg argument contains two sums with opposite signs.
A standard proof sketch obtains an improvement of the form
for an absolute
within the iteration regime.
One explicit exposition uses
The relative contraction factor is
As
this factor tends to one.
Therefore the signed Selberg mechanism is a genuine contraction, but its relative gap vanishes with the current error amplitude.
11. Amplitude iteration law
Assume
and
Then
Hence
up to a harmless stronger denominator correction.
Therefore:
Proposition 11.1
This is enough to drive the normalized PNT error amplitude to zero after indefinitely many valid iterations.
It is not a fixed multiplicative contraction.
Even under the idealized assumption that one such iteration were available per fixed logarithmic scale step, so that
the resulting direct amplitude profile would only be of logarithmic type.
The actual Selberg proof does not supply such a uniform fixed-scale iteration schedule; this observation is only a strength calibration.
12. Historical elementary error terms and the contraction spectrum
Classical refinements of the Selberg mechanism go beyond the first amplitude iteration.
Historically:
Bombieri and Wirsing obtained $$ \psi(x)
xO_A \left( \frac{x}{\log^A x} \right) $$ for arbitrary fixed by generalized elementary methods;
later elementary work obtained stretched-exponential-in-log errors, with a record of the shape $$ \psi(x)
xO \left( x \exp [ -c(\log x)^{1/6} ] \right) $$ in the historical literature.
These are much stronger than the original qualitative PNT.
But they remain
rather than
for fixed
This is consistent with the contraction-spectrum distinction:
sublinear cumulative contraction mass
-> subpower error
linear cumulative contraction mass
-> fixed power
No impossibility claim for future elementary methods is made.
13. Multiplicative decompositions are exact rewrites before estimation
Now consider any exact finite decomposition on the required range:
This abstractly includes the role played by truncated Vaughan-, Heath-Brown-, Selberg-, or other convolution decompositions after all coefficients and cutoffs have been fixed.
Define cumulative component errors
Then
14. Multiplicative Gram identity
Define the Hilbert inner product on the dyadic endpoint interval:
Let
Then:
Theorem 14.1 — Exact Gram reconstruction
Equivalently, if
then
Because is a Gram matrix,
This is exact.
15. Triangle / Cauchy closes the decomposition without contraction
By the Hilbert triangle inequality,
Therefore
This inequality contains no strict contraction coefficient.
It is sharp when the component vectors are positively collinear.
Therefore:
Theorem 15.1 — Exact-decomposition neutrality
An exact multiplicative decomposition, followed only by componentwise triangle inequality or Cauchy-Schwarz, does not itself provide a fixed contraction gap for or CSSA.
Any fixed-power gain must enter through additional arithmetic information about:
- the diagonal component norms;
- the off-diagonal Gram terms;
- a two-scale transfer law;
- or another noncircular structural estimate.
The decomposition is an interface.
It is not the saving.
16. Where a real multiplicative gain may occur
A successful Vaughan / Heath-Brown / Selberg-style worker result must therefore prove at least one genuinely new statement of the following types.
Type M1 — component power saving
For a decomposition piece,
with enough uniformity to sum all pieces without losing the gain.
Type M2 — Gram cross-cancellation
Prove a structurally forced estimate such as
with
and a lower-order error.
Type M3 — two-scale contraction
Prove
with contraction mass satisfying Theorem 4.1.
Type M4 — direct recombined cancellation
Control
directly without taking absolute values on the individual Gram entries.
All four are genuine arithmetic estimates.
None is supplied by the convolution identity alone.
17. New obstruction: exact decomposition neutrality
Create:
O-RH-010
EXACT_MULTIPLICATIVE_DECOMPOSITION_NEUTRALITY
status:
CERTIFIED
Statement:
Replacing by an exact Vaughan-, Heath-Brown-, Selberg-, or other finite convolution decomposition does not create contraction by itself. After cumulative summation the PNT mean square is exactly the all-ones quadratic form of the component Gram matrix. A saving requires new norm, cross-Gram, or scale-transfer information.
This does not reject those methods.
It identifies their real proof obligation.
18. New obstruction: sublinear contraction mass
Create:
O-RH-011
SUBLINEAR_CONTRACTION_MASS
status:
CERTIFIED_AS_RECURRENCE_OBSTRUCTION
Statement:
A scale recurrence whose cumulative log-contraction is only cannot, by recurrence structure alone, force a fixed saving.
This is a statement about the recurrence certificate, not about the arithmetic function outside that certificate.
19. New canonical frontier
Create:
F-RH-007
MULTIPLICATIVE_GRAM_GAP_CERTIFICATE
abbrev:
MGGC
status:
OPEN
A valid MGGC may take any of the forms M1–M4 from Section 16, provided it yields either:
directly, or a recurrence whose cumulative contraction mass is linear in
20. New survivors
Create:
S-RH-012
LINEAR_CUMULATIVE_CONTRACTION_MASS
status:
OPEN / SURVIVOR
and:
S-RH-013
SIGNED_MULTIPLICATIVE_GRAM_CANCELLATION
status:
OPEN / SURVIVOR
These replace the overly narrow requirement that every scale individually have one fixed contraction ratio.
21. Campaign 05 candidate audit
C05-A — Basic Selberg symmetry
status:
CRITICAL / NO FIXED GAP
certificate:
naive beta -> beta
It is sufficient as a starting point for PNT.
It is not a fixed-power contraction.
C05-B — Signed Selberg second relation
status:
GENUINE AMPLITUDE CONTRACTION
VANISHING RELATIVE GAP
profile:
beta -> beta - c beta^2
It proves qualitative decay.
It does not provide a fixed relative contraction as .
C05-C — Higher-weight Selberg / Bombieri / Wirsing style recursion
status:
HISTORICALLY STRONG SUBPOWER MECHANISM
NO FIXED POWER CURRENTLY CERTIFIED
Known elementary remainder improvements are consistent with sublinear cumulative contraction mass.
This is not a no-go theorem against future higher-weight identities.
C05-D — Vaughan decomposition
status:
INTERFACE SURVIVES
DECOMPOSITION-ONLY GAP = NONE
Required new input:
Type I / II cumulative norm saving
or
cross-Gram cancellation
or
two-scale contraction
C05-E — Heath-Brown decomposition
status:
INTERFACE SURVIVES
DECOMPOSITION-ONLY GAP = NONE
The additional multilinear resolution may expose more cancellation opportunities.
But the exact identity alone remains MGGC-neutral.
C05-F — Fixed-gap recurrence
status:
VALID SUFFICIENT SPECIAL CASE
It is now subsumed by the more general linear cumulative-gap theorem.
22. Campaign 05 verdict
Campaign 05 asked whether a standard multiplicative decomposition could itself provide the missing fixed-gap contraction.
The answer is:
BASIC SELBERG
critical
SIGNED SELBERG
contracting but asymptotically critical
KNOWN HIGHER-WEIGHT ELEMENTARY METHODS
strong subpower, not fixed power
VAUGHAN / HEATH-BROWN EXACT DECOMPOSITION
contraction-neutral until new arithmetic estimates are supplied
FIXED POINTWISE GAP
sufficient but too restrictive as a search specification
LINEAR CUMULATIVE GAP
correct generalized success criterion
MULTIPLICATIVE GRAM GAP
next irreducible frontier
No fixed-power estimate has been proved.
But the next proof obligation is now materially smaller and more falsifiable.
23. Campaign 06
The next campaign is:
CSM_RH Campaign 06
MULTIPLICATIVE_GRAM_GAP
The worker must choose one exact decomposition and output an explicit Gram-gap certificate.
The campaign must not accept:
"Vaughan identity gives cancellation"
or:
"Type II sums should be square-root size"
without an explicit theorem and exponent ledger.
24. Campaign 06 required output
For every candidate decomposition, the worker must provide:
1. exact coefficient identity
2. cutoff parameters
3. cumulative component functions B_r(j)
4. Gram matrix entries G_rs(N)
5. which entries carry the saving
6. proof of the saving
7. recombination without triangle leakage
8. scale-transfer law if used
9. cumulative contraction mass
10. resulting kappa
11. hidden-zero-strip audit
12. failure mode
If a proposed recurrence has coefficients , the worker must compute:
and explicitly test whether it is linear in
25. Hard rejection filters for Campaign 06
Reject a candidate if:
R1. Decomposition-only rhetoric
An exact identity is presented as if it were already an estimate.
R2. Triangle leakage
Cross terms are individually absolutized before the proposed cancellation.
R3. Critical contraction hidden as strict contraction
A coefficient
is called a fixed gap without cumulative-mass analysis.
R4. Subpower advertised as fixed power
A bound such as
is not
R5. Hidden zero-strip input
The new estimate assumes a fixed zero-free half-plane.
R6. Finite Gram numerics promoted globally
Numerics may reject a conjectured sign law.
They cannot certify asymptotic MGGC.
26. External calibration
The standard Selberg symmetry formula and its elementary PNT use are documented in modern analytic-number-theory lecture notes.
One standard proof sketch explicitly observes that the first absolute-value induction only reproduces the same constant , and then uses a second signed identity to improve
to
Historical surveys of elementary PNT error terms record progressively stronger estimates:
for arbitrary fixed , followed by stretched-exponential-in-log errors of the form
These provide calibration for the distinction between:
qualitative / subpower self-improvement
and
fixed-power contraction.
They are not used to prove any impossibility theorem.
27. State transition
The canonical transition is:
CSM_RH v0.6
->
CSM_RH v0.7
with:
Campaign 05
CLOSED_AS_CONTRACTION_CLASSIFICATION_AUDIT
F-RH-007
MULTIPLICATIVE_GRAM_GAP_CERTIFICATE
CREATED / OPEN
O-RH-010
EXACT_MULTIPLICATIVE_DECOMPOSITION_NEUTRALITY
CREATED / CERTIFIED
O-RH-011
SUBLINEAR_CONTRACTION_MASS
CREATED / CERTIFIED_AS_RECURRENCE_OBSTRUCTION
S-RH-012
LINEAR_CUMULATIVE_CONTRACTION_MASS
CREATED / OPEN
S-RH-013
SIGNED_MULTIPLICATIVE_GRAM_CANCELLATION
CREATED / OPEN
Campaign 06
MULTIPLICATIVE_GRAM_GAP
READY
28. Final status
RH = OPEN
CSSA FIXED POWER = OPEN
FIXED-GAP SEARCH
= GENERALIZED TO CUMULATIVE-GAP SEARCH
SELBERG BASIC CONTRACTION
= CRITICAL
SELBERG SIGNED CONTRACTION
= REAL BUT VANISHING-GAP
EXACT MULTIPLICATIVE DECOMPOSITION
= NEUTRAL UNTIL ESTIMATED
MULTIPLICATIVE GRAM GAP
= OPEN
NEXT CAMPAIGN
= 06
The principal criterion is now:
for some fixed
The missing theorem is no longer "find a clever identity."
It is:
prove enough arithmetic cancellation inside an exact multiplicative Gram expansion that the cumulative contraction mass is linear in logarithmic scale depth, or obtain the fixed CSSA power directly.