← Archive
lm-003887 · 2026-09

CSM_RH Paper 29 — Residual Selberg Forcing Criticality and the Failure of Elementary Drift Coercivity

下載 MD 檔 ⬇

CSM_RH Paper 29

Residual Selberg Forcing Criticality and the Failure of Elementary Drift Coercivity

Project: CSM_RH
Paper: 29
Version: v0.1
Date: 2026-09-07
Parent state: CSM_RH v1.19 / Paper 28
Campaign: 28 — ENDOGENOUS_DRIFT_COERCIVITY_ATTACK
Status: residual Selberg / multiplicative drift / two-scale coercivity audit; not a proof or disproof of RH


0. Trust boundary

This paper does not prove or disprove the Riemann Hypothesis.

RH_PROVED = FALSE
RH_DISPROVED = FALSE
GLOBAL_RH_CERTIFICATE = FALSE
CSM_RH_ROOT_STATUS = OPEN

Paper 28 proved that subtracting the modern sieve model Λ\Lambda^\sharp is fixed-exponent neutral for PESC.

Campaign 28 asks whether classical prime-side multiplicative feedback, especially Selberg symmetry, can directly coerce the residual primitive

F(x)=nx[Λ(n)Λ(n)]F(x) = \sum_{n\le x} [ \Lambda(n)-\Lambda^\sharp(n) ]

against a persistent Mellin drift

F(x)cxρ,ρ<1.F(x)\approx c x^\rho, \qquad \Re\rho<1.

The answer for the audited fixed-order Selberg feedback is negative.

The residual Selberg equation sees the drift, but the positive sieve/model sampling channel sends every fixed Mellin mode into the same 1/logx1/\log x forcing scale already allowed by the classical symmetry formula.

No fixed drift gap is produced.


1. Classical Selberg remainder equation

Let

A(x)=ψ(x)x.A(x)=\psi(x)-x.

Selberg's symmetry formula gives

A(x)+1logxnxΛ(n)A(x/n)=O(xlogx).\boxed{ A(x) + \frac1{\log x} \sum_{n\le x} \Lambda(n) A(x/n) = O \left( \frac{x}{\log x} \right). }

This is the standard remainder form of the elementary Selberg prime-number-theorem feedback.


2. Sieve residual decomposition

Use Paper 28:

A(x)=F(x)+B(x),A(x)=F(x)+B(x),

where

F(x)=nx[Λ(n)Λ(n)]F(x) = \sum_{n\le x} [ \Lambda(n)-\Lambda^\sharp(n) ]

and

B(x)=nx[Λ(n)1].B(x) = \sum_{n\le x} [ \Lambda^\sharp(n)-1 ].

Paper 28 certified

supx2XB(x)=Xo(1).\boxed{ \sup_{x\le 2X}|B(x)| = X^{o(1)}. }

Substitute into Selberg symmetry.

Using Chebyshev's bound

ψ(x)x,\psi(x)\ll x,

we obtain:

Theorem 2.1 — Residual Selberg Symmetry

Uniformly for xXx\asymp X,

F(x)+1logxnxΛ(n)F(x/n)=O(x1+o(1)logx).\boxed{ F(x) + \frac1{\log x} \sum_{n\le x} \Lambda(n) F(x/n) = O \left( \frac{x^{1+o(1)}}{\log x} \right). }

Splitting

Λ=Λ+f,f=ΛΛ,\Lambda=\Lambda^\sharp+f, \qquad f=\Lambda-\Lambda^\sharp,

gives

F(x)+1logxnxΛ(n)F(x/n)+1logxnxf(n)F(x/n)=O(x1+o(1)logx).\boxed{ F(x) + \frac1{\log x} \sum_{n\le x} \Lambda^\sharp(n)F(x/n) + \frac1{\log x} \sum_{n\le x} f(n)F(x/n) = O \left( \frac{x^{1+o(1)}}{\log x} \right). }

Create:

B-RH-005
RESIDUAL_SELBERG_SYMMETRY
status:
  CERTIFIED

3. Normalized residual feedback

Define

r(x)=F(x)x.\boxed{ r(x)=\frac{F(x)}{x}. }

Then Theorem 2.1 becomes

r(x)+1logxnxΛ(n)nr(x/n)+1logxnxf(n)nr(x/n)=O(Xo(1)logx).\boxed{ r(x) + \frac1{\log x} \sum_{n\le x} \frac{\Lambda^\sharp(n)}{n} r(x/n) + \frac1{\log x} \sum_{n\le x} \frac{f(n)}{n} r(x/n) = O \left( \frac{X^{o(1)}}{\log x} \right). }

The first multiplicative operator is a positive model-sampling channel.

Its total weight is logarithmic.


4. Summatory law for Lambda-sharp

Let

L(t)=ntΛ(n).L^\sharp(t) = \sum_{n\le t} \Lambda^\sharp(n).

By periodicity and exact period mean from Paper 28,

L(t)=t+Xo(1)\boxed{ L^\sharp(t) = t + X^{o(1)} }

uniformly for t2Xt\le 2X.

For any fixed complex number δ\delta with

δ>0,\Re\delta>0,

partial summation gives

Theorem 4.1 — Mellin Sampling Law

nxΛ(n)nδ1=xδδ+Xo(1)\boxed{ \sum_{n\le x} \Lambda^\sharp(n)n^{\delta-1} = \frac{x^\delta}{\delta} + X^{o(1)} }

at fixed- δ\delta exponent resolution.

The implicit constant may depend on δ\delta.


5. Fixed Mellin drift test

Let

ρ=β+iγ\rho = \beta+i\gamma

be fixed with

β<1.\beta<1.

Set

δ=1ρ,δ>0.\delta=1-\rho, \qquad \Re\delta>0.

Test the hypothetical drift

Fρ(x)=cxρ.\boxed{ F_\rho(x)=c x^\rho. }

Then

rρ(x)=cxδ.r_\rho(x)=c x^{-\delta}.

The model-sampling term is

1logxnxΛ(n)nrρ(x/n)=cxδlogxnxΛ(n)nδ1=cδlogx+xδ+o(1).\begin{aligned} \frac1{\log x} \sum_{n\le x} \frac{\Lambda^\sharp(n)}n r_\rho(x/n) &= \frac{ c x^{-\delta} }{ \log x } \sum_{n\le x} \Lambda^\sharp(n)n^{\delta-1} \\ &= \boxed{ \frac{c}{\delta\log x} + x^{-\delta+o(1)}. } \end{aligned}

Thus every fixed sublinear Mellin mode creates a contribution at the same 1/logx1/\log x scale as the Selberg forcing.


6. Residual self-sampling scale

For the exact model

Fρ(x)=cxρ,F_\rho(x)=c x^\rho,

its discrete derivative has scale

fρ(n)=Fρ(n)Fρ(n1)=cρnρ1+Oρ(nβ2).f_\rho(n) = F_\rho(n)-F_\rho(n-1) = c\rho n^{\rho-1} + O_\rho(n^{\beta-2}).

Therefore

1logxnxfρ(n)nrρ(x/n)=cxδlogxnxfρ(n)nδ1=Oρ,c(xδ)\begin{aligned} \frac1{\log x} \sum_{n\le x} \frac{f_\rho(n)}n r_\rho(x/n) &= \frac{ c x^{-\delta} }{ \log x } \sum_{n\le x} f_\rho(n)n^{\delta-1} \\ &= O_{\rho,c} \left( x^{-\delta} \right) \end{aligned}

at fixed-mode scale.

Thus:

model multiplicative sampling:
  1/log x forcing scale

residual nonlinear self-sampling:
  x^{rho-1} scale

direct residual r(x):
  x^{rho-1} scale

The 1/logx1/\log x model channel dominates every fixed power decay.


7. Residual Selberg forcing criticality

The residual Selberg equation therefore permits every fixed mode

xρ,ρ<1,x^\rho, \qquad \Re\rho<1,

at exponent level.

The mode is not invisible.

Rather, its image under the positive model sampling operator is absorbed by the pre-existing Selberg forcing.

Create:

O-RH-062
RESIDUAL_SELBERG_MELLIN_MODE_FORCING_CRITICALITY
status:
  CERTIFIED AS FIXED-MODE STRENGTH AUDIT

Statement:

The fixed-order residual Selberg symmetry formula does not yield a fixed polynomial drift gap. For every fixed Mellin mode with real part below one, the sieve-model sampling channel produces a contribution of order 1/logx1/\log x, which lies inside the classical forcing scale.

This is a statement about the audited identity and fixed-mode test.

It is not a universal impossibility theorem for all identities derived from Selberg's method.


8. Why local logarithmic residual bounds do not repair the feedback

Current higher-uniformity technology gives

F(x+H)F(x)HlogAXF(x+H)-F(x) \ll H\log^{-A}X

for almost all polynomial intervals in the current range.

For

Fρ(x)=xρ,β<1,F_\rho(x)=x^\rho, \qquad \beta<1,

the relative short-interval increment is

Xβ1=X(1β).X^{\beta-1} = X^{-(1-\beta)}.

Every fixed negative power is eventually smaller than every fixed inverse logarithmic power.

Therefore the local theorem remains compatible with the same drift modes which saturate the residual Selberg forcing test.


9. Residual PESC energy lock

Define as in Paper 28

Jf(N)=j=N2N1F(j)2,J_f(N) = \sum_{j=N}^{2N-1}|F(j)|^2, Df(N)=n<2NwN(n)fn2,D_f(N) = \sum_{n<2N}w_N(n)|f_n|^2,

and

Cf(N)=n<2NwN(n)fnF(n1)\mathcal C_f(N) = \sum_{n<2N} w_N(n)f_nF(n-1)

in the real model, or the corresponding Hermitian real part in a complex-mode strength test.

The exact energy identity is

Jf=Df+2Cf.\boxed{ J_f = D_f + 2\mathcal C_f. }

Hence

Cf=12[JfDf].\boxed{ \mathcal C_f = \frac12 [ J_f-D_f ]. }

A sign argument on Cf\mathcal C_f cannot be independent of the residual energy itself.


10. Smooth drift saturates the self-correlation

For a fixed power mode with

F(x)xβ,β>12,F(x)\asymp x^\beta, \qquad \beta>\frac12,

we have

Jf(N)N2β+1,J_f(N) \asymp N^{2\beta+1},

while

Df(N)N2βD_f(N) \asymp N^{2\beta}

at exponent scale.

Therefore

Df(N)Jf(N)N1,\boxed{ \frac{D_f(N)}{J_f(N)} \asymp N^{-1}, }

and consequently

Cf(N)=12Jf(N)[1+o(1)].\boxed{ \mathcal C_f(N) = \frac12J_f(N) [ 1+o(1) ]. }

A persistent smooth drift makes the signed residual self-correlation almost maximally positive.

It does not generate a helpful negative sign.


11. Two-scale normalized residual energy

Define

Yf(N)=N3Jf(N).\boxed{ Y_f(N) = N^{-3}J_f(N). }

For a pure fixed Mellin mode with real part β\beta,

Jf(N)N2β+1.J_f(N) \asymp N^{2\beta+1}.

Thus

Theorem 11.1 — Mellin-Mode Two-Scale Ratio

Yf(2N)Yf(N)=22(1β)\boxed{ \frac{ Y_f(2N) }{ Y_f(N) } = 2^{-2(1-\beta)} }

at exact scaling exponent level.

For every fixed β<1\beta<1, this is a contraction.

But as

β1,\beta\uparrow1,

the contraction tends to 11.


12. Uniform two-scale gap has fixed-strip strength

Suppose one could prove a recurrence

Yf(2N)qYf(N)+O(Nη)\boxed{ Y_f(2N) \le qY_f(N) + O(N^{-\eta}) }

with fixed

q<1,η>0.q<1, \qquad \eta>0.

Ignoring the lower-order forcing, the Mellin-mode test requires

22(1β)q.2^{-2(1-\beta)} \le q.

Therefore

β1+12log2q<1.\boxed{ \beta \le 1+\frac12\log_2 q < 1. }

Thus a uniform fixed two-scale gap already has fixed-zero-strip strength.

Create:

O-RH-063
UNIFORM_TWO_SCALE_RESIDUAL_GAP_IS_FIXED_STRIP_STRENGTH
status:
  CERTIFIED AS STRENGTH AUDIT

This does not say such a recurrence is impossible.

It says it is not a lower-strength free lemma.


13. Campaign 28 track audit

E1 — residual prime-sampling coercivity

status:
  ENERGY LOCK

smooth drift:
  C_f ~ J_f/2

new independent sign coercivity:
  NONE

E2 — Selberg symmetry on residual primitive

status:
  RESIDUAL IDENTITY CERTIFIED

fixed drift coercivity:
  NO

reason:
  model sampling enters at allowed 1/log x forcing scale

E3 — multiplicative sampling of smooth drift

status:
  EXACT FIXED-MODE CALIBRATION

Mellin drift:
  compatible with forcing

E4 — two-scale signed residual energy

status:
  EACH FIXED MODE CONTRACTS

uniform fixed contraction:
  already fixed-strip strength

E5 — canonical drift projection

status:
  NO CANONICAL LOWER-STRENGTH PROJECTION FOUND

not promoted to obstruction theorem

14. Campaign 28 verdict

No new lower-strength fixed-power prime theorem is found.

The direct PESC branch remains the shortest certified target.

The new information is a closure:

Lambda-sharp subtraction:
  fixed-exponent neutral

classical Selberg feedback:
  PNT-level but fixed-power forcing-critical

local residual uniformity:
  drift-blind at fixed powers

simple self-correlation sign:
  energy-locked

uniform two-scale gap:
  fixed-strip strength

Thus the present first-order / second-order feedback shell has been exhausted relative to the audited identities.


15. Why higher Selberg order remains a distinct candidate family

Selberg's classical formula arises from the generalized von Mangoldt function

Λ2=μlog2.\Lambda_2 = \mu*\log^2.

More generally,

Λk=μlogk\boxed{ \Lambda_k = \mu*\log^k }

satisfies

Λk+1=Λklog+ΛΛk.\boxed{ \Lambda_{k+1} = \Lambda_k\log + \Lambda*\Lambda_k. }

The average of Λk\Lambda_k smooths over integers with at most kk distinct prime factors.

A higher-order combination may, in principle, modify the forcing polynomial seen by Mellin drift modes.

This has not yet been audited in CSM_RH at fixed-power resolution.


16. Campaign 29

The next campaign is:

CSM_RH Campaign 29
HIGHER_ORDER_SELBERG_AMPLIFIER_ATTACK

This is not a new root target.

It is a mechanism audit.


17. Campaign 29 tracks

H1 — fixed-k generalized Selberg response

Derive the normalized residual feedback associated with Λk\Lambda_k for fixed kk.

Insert a Mellin mode xρx^\rho and compute the exact forcing scale.

H2 — finite linear-combination forcing cancellation

Combine several fixed-order Selberg identities so that the x/logjxx/\log^j x model forcing cancels to the greatest possible order.

Test whether the remaining error is still subpower-critical.

H3 — growing-k amplification

Let kk increase slowly with XX.

Track:

support complexity;
combinatorial coefficients;
almost-prime model error;
Mellin-mode amplification;
fixed-power gain.

Reject the route if the complexity cost consumes the exponent.

H4 — generalized almost-prime to PESC transfer

Test whether a fixed-power theorem for a smoothed Λk\Lambda_k observable transfers back to prime PESC without assuming a fixed zero strip.

H5 — spectral polynomial in the Selberg operator

View the fixed-order identities as polynomial filters of multiplicative convolution.

Search for a positive/coercive filter which suppresses the constant forcing channel while retaining sensitivity to xρx^\rho.


18. Campaign 29 rejection filters

Reject a candidate if:

R1. Fixed kk leaves an x/logjxx/\log^j x forcing larger than every fixed power drift.

R2. Growing kk produces only sublinear cumulative amplification.

R3. Combinatorial/almost-prime complexity costs a fixed power larger than the gain.

R4. The transfer back to primes assumes the desired fixed strip.

R5. The result is only another generalized-von-Mangoldt representation with no new estimate.


19. External calibration

Relevant classical facts:

  1. Selberg's remainder symmetry formula is
A(x)+1logxnxΛ(n)A(x/n)=O(x/logx).A(x) + \frac1{\log x} \sum_{n\le x} \Lambda(n)A(x/n) = O(x/\log x).
  1. The generalized von Mangoldt functions satisfy
Λk=μlogk\Lambda_k=\mu*\log^k

and

Λk+1=Λklog+ΛΛk.\Lambda_{k+1} = \Lambda_k\log + \Lambda*\Lambda_k.

They are supported on integers with at most kk distinct prime factors.

  1. Current prime residual short-interval control after subtraction of Λ\Lambda^\sharp remains of arbitrary logarithmic accuracy, not fixed-power accuracy.

20. State transition

CSM_RH v1.19
  ->
CSM_RH v1.20

with:

Campaign 28
  CLOSED_AS_RESIDUAL_SELBERG_AND_DRIFT_COERCIVITY_AUDIT

B-RH-005
  RESIDUAL_SELBERG_SYMMETRY
  CREATED / CERTIFIED

O-RH-062
  RESIDUAL_SELBERG_MELLIN_MODE_FORCING_CRITICALITY
  CREATED / CERTIFIED AS FIXED-MODE STRENGTH AUDIT

O-RH-063
  UNIFORM_TWO_SCALE_RESIDUAL_GAP_IS_FIXED_STRIP_STRENGTH
  CREATED / CERTIFIED AS STRENGTH AUDIT

F-RH-010
  PESC
  REMAINS OPEN / ROOT TARGET

F-RH-016
  MLEPG
  REMAINS OPEN

Campaign 29
  HIGHER_ORDER_SELBERG_AMPLIFIER_ATTACK
  READY

21. Final status

RH = OPEN

PESC = OPEN

MLEPG = OPEN

RESIDUAL SELBERG SYMMETRY = CERTIFIED

FIXED-ORDER SELBERG DRIFT COERCIVITY = NOT OBTAINED

MODEL SAMPLING OF x^rho = FORCING-CRITICAL

RESIDUAL SELF-CORRELATION SIGN = ENERGY-LOCKED

UNIFORM TWO-SCALE GAP = FIXED-STRIP STRENGTH

NEXT CAMPAIGN = 29

The central fixed-mode calculation is

1logxnxΛ(n)n(xn)ρ1=1(1ρ)logx+xρ1+o(1).\boxed{ \frac1{\log x} \sum_{n\le x} \frac{\Lambda^\sharp(n)}n \left( \frac{x}{n} \right)^{\rho-1} = \frac1{(1-\rho)\log x} + x^{\rho-1+o(1)}. }

For every fixed ρ<1\Re\rho<1, the dominant image lies inside the classical Selberg forcing scale.

The next question is whether higher-order Selberg filters can cancel that forcing without paying away the fixed exponent.