← Archive
lm-003892 · 2026-09

CSM_RH Paper 34 — Rank-One Mellin Symbols, Weighted Covariance Persistence, and Failure of Low-Frequency Scalar Reduction

下載 MD 檔 ⬇

CSM_RH Paper 34

Rank-One Mellin Symbols, Weighted Covariance Persistence, and Failure of Low-Frequency Scalar Reduction

Project: CSM_RH
Paper: 34
Version: v0.1
Date: 2026-09-07
Parent state: CSM_RH v1.24 / Paper 33
Campaign: 33 — PESC_LOW_FREQUENCY_RANK_ONE_ATTACK
Status: low-frequency scalar / covariance decomposition 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 33 exposed the rank-one scalar

RN(1)=HNGNWN\mathcal R_N^{(1)} = \frac{H_NG_N}{W_N}

after mean-zero recentering of the PESC perturbation.

Campaign 33 asks whether this scalar is a lower-strength low-frequency target which can be controlled more easily than full PESC.

The answer is negative.

The rank-one term is genuinely sensitive to fixed Mellin drift modes, but the centered covariance remainder retains the same polynomial exponent for every fixed smooth drift xβx^\beta with 0<β<10<\beta<1.

Thus the decomposition changes coefficients, not the fixed-power exponent class.

No new frontier is created.


1. Weighted PESC decomposition

Let

B(j)=njcnB(j) = \sum_{n\le j}c_n

and define the canonical endpoint weight

wN(n)={N,nN,2Nn,N<n<2N,0,n2N.w_N(n) = \begin{cases} N,&n\le N,\\ 2N-n,&N<n<2N,\\ 0,&n\ge2N. \end{cases}

Define

WN=n<2NwN(n)=3N2N2.\boxed{ W_N = \sum_{n<2N}w_N(n) = \frac{3N^2-N}{2}. }

Define

HN=n<2NwN(n)B(n1),\boxed{ H_N = \sum_{n<2N} w_N(n)B(n-1), }

and

GN=n<2NwN(n)cn=j=N2N1B(j).\boxed{ G_N = \sum_{n<2N} w_N(n)c_n = \sum_{j=N}^{2N-1}B(j). }

The canonical PESC self-correlation is

CN=n<2NwN(n)cnB(n1).\boxed{ \mathcal C_N = \sum_{n<2N} w_N(n)c_nB(n-1). }

Define weighted means

BN=HNWN,\overline B_N = \frac{H_N}{W_N}, cN=GNWN.\overline c_N = \frac{G_N}{W_N}.

Then:

Theorem 1.1 — Exact Weighted Covariance Decomposition

CN=n<2NwN(n)[cncN][B(n1)BN]+HNGNWN.\boxed{ \mathcal C_N = \sum_{n<2N} w_N(n) [ c_n-\overline c_N ] [ B(n-1)-\overline B_N ] + \frac{ H_NG_N }{ W_N }. }

The first term is the weighted centered covariance.

The second term is the rank-one mean product from Paper 33.

Create:

B-RH-010
PESC_WEIGHTED_COVARIANCE_RANK_ONE_DECOMPOSITION
status:
  CERTIFIED

2. Continuous endpoint kernel

At exponent resolution, scale

n=Nu.n=Nu.

The endpoint weight becomes

wN(n)=Nω(u)+O(1),w_N(n) = N\omega(u) + O(1),

where

ω(u)={1,0<u1,2u,1<u<2,0,u2.\boxed{ \omega(u) = \begin{cases} 1,&0<u\le1,\\ 2-u,&1<u<2,\\ 0,&u\ge2. \end{cases} }

Define its Mellin moment

I(s)=02ω(u)usdu.\boxed{ I(s) = \int_0^2 \omega(u)u^s\,du. }

For

s>1,\Re s>-1,

a direct calculation gives:

Theorem 2.1 — Endpoint Mellin Symbol

I(s)=2s+21(s+1)(s+2).\boxed{ I(s) = \frac{ 2^{s+2}-1 }{ (s+1)(s+2) }. }

In particular,

I(0)=32.\boxed{ I(0)=\frac32. }

3. Dyadic first-primitive symbol

Test a Mellin mode

B(x)=cxρ,\boxed{ B(x)=c x^\rho, }

with

0<β=ρ<1.0<\beta=\Re\rho<1.

The first primitive observable is

GN=j=N2N1B(j).G_N = \sum_{j=N}^{2N-1}B(j).

At exponent level,

GN=cg(ρ)Nρ+1+Oρ(Nβ),\boxed{ G_N = c g(\rho) N^{\rho+1} + O_\rho(N^\beta), }

where

g(ρ)=12uρdu=2ρ+11ρ+1.\boxed{ g(\rho) = \int_1^2u^\rho\,du = \frac{ 2^{\rho+1}-1 }{ \rho+1 }. }

For 0<ρ<10<\Re\rho<1,

g(ρ)0.\boxed{ g(\rho)\ne0. }

Indeed,

2ρ+1=2β+1>1.|2^{\rho+1}| = 2^{\beta+1} > 1.

Thus the numerator cannot vanish.


4. Second-integrated endpoint symbol

The rank-one factor HNH_N has exponent-level form

HN=ch(ρ)Nρ+2+Oρ(Nβ+1),\boxed{ H_N = c h(\rho) N^{\rho+2} + O_\rho(N^{\beta+1}), }

where

h(ρ)=I(ρ)=2ρ+21(ρ+1)(ρ+2).\boxed{ h(\rho) = I(\rho) = \frac{ 2^{\rho+2}-1 }{ (\rho+1)(\rho+2) }. }

Again,

h(ρ)0\boxed{ h(\rho)\ne0 }

throughout the critical strip because

2ρ+2=2β+2>1.|2^{\rho+2}| = 2^{\beta+2} > 1.

Therefore neither linear factor of the rank-one scalar has a Mellin blind spot in the critical strip.


5. Relation with the standard integrated explicit formula

For the von-Mangoldt error

E(x)=ψ(x)x,E(x)=\psi(x)-x,

define

ψ1(x)=0xψ(t)dt.\psi_1(x) = \int_0^x\psi(t)\,dt.

The classical explicit formula is

ψ1(x)=x22ρxρ+1ρ(ρ+1)+elementary lower-order terms.\boxed{ \psi_1(x) = \frac{x^2}{2} - \sum_\rho \frac{ x^{\rho+1} }{ \rho(\rho+1) } + \text{elementary lower-order terms}. }

The zero series converges absolutely because

ρρ2<.\sum_\rho|\rho|^{-2}<\infty.

Thus integration genuinely smooths the zero packet while preserving every zero exponent.

A standard isolated-off-line-zero calibration gives

ψ1(x)=x22+Cρx1+βcos(γlogx+ϕρ)+O(x3/2)\boxed{ \psi_1(x) = \frac{x^2}{2} + C_\rho x^{1+\beta} \cos ( \gamma\log x+\phi_\rho ) + O(x^{3/2}) }

when one zero pair β±iγ\beta\pm i\gamma, β>1/2\beta>1/2, is the only pair to the right of the critical line.

This is classical calibration, not a hypothesis used to prove RH.


6. Rank-one response to one conjugate mode

Let the real drift associated with one conjugate pair be

Bρ(x)=cxρ+cxρ.B_\rho(x) = c x^\rho + \overline c x^{\overline\rho}.

Then

GN=2cg(ρ)Nβ+1cos(γlogN+ϕg)+o(Nβ+1),G_N = 2 |c g(\rho)| N^{\beta+1} \cos ( \gamma\log N+\phi_g ) + o(N^{\beta+1}),

and

HN=2ch(ρ)Nβ+2cos(γlogN+ϕh)+o(Nβ+2).H_N = 2 |c h(\rho)| N^{\beta+2} \cos ( \gamma\log N+\phi_h ) + o(N^{\beta+2}).

Since

WN=32N2+O(N),W_N = \frac32N^2 + O(N),

the rank-one scalar is

RN(1)=83c2g(ρ)h(ρ)N2β+1cos(θN+ϕg)cos(θN+ϕh)+o(N2β+1),\boxed{ \mathcal R_N^{(1)} = \frac83 |c|^2 |g(\rho)h(\rho)| N^{2\beta+1} \cos(\theta_N+\phi_g) \cos(\theta_N+\phi_h) + o(N^{2\beta+1}), }

where

θN=γlogN.\theta_N=\gamma\log N.

7. No phase escape for a single mode

For any real phase difference Δ\Delta,

cosθcos(θ+Δ)=12[cos(2θ+Δ)+cosΔ].\cos\theta\cos(\theta+\Delta) = \frac12 [ \cos(2\theta+\Delta) + \cos\Delta ].

Therefore

Theorem 7.1 — Product-Phase Maximum

maxθcosθcos(θ+Δ)=1+cosΔ212.\boxed{ \max_\theta | \cos\theta\cos(\theta+\Delta) | = \frac{ 1+|\cos\Delta| }{2} \ge \frac12. }

Hence the rank-one response of one nonzero conjugate Mellin mode is not identically small.

For continuous scale NN there are arbitrarily large scales with

RN(1)ρN2β+1.\boxed{ |\mathcal R_N^{(1)}| \gg_\rho N^{2\beta+1}. }

Integer-scale approximation preserves the same exponent.

Thus a uniform fixed-power rank-one upper bound already has isolated-zero fixed-strip strength.

Create:

O-RH-075
RANK_ONE_ISOLATED_MELLIN_MODE_FIXED_STRIP_LOCK
status:
  CERTIFIED AS FIXED-MODE STRENGTH AUDIT

This is not a full multiple-zero coefficient-isolation theorem.


8. Real smooth power drift

Now take the nonoscillatory strength model

B(x)=xβ,0<β<1.\boxed{ B(x)=x^\beta, \qquad 0<\beta<1. }

Then

cn=B(n)B(n1)=βnβ1+Oβ(nβ2).c_n = B(n)-B(n-1) = \beta n^{\beta-1} + O_\beta(n^{\beta-2}).

The endpoint Mellin symbol gives:

Total PESC

CN=K(β)N2β+1+o(N2β+1),\boxed{ \mathcal C_N = K(\beta) N^{2\beta+1} + o(N^{2\beta+1}), }

with

K(β)=βI(2β1)=22β+112(2β+1).\boxed{ K(\beta) = \beta I(2\beta-1) = \frac{ 2^{2\beta+1}-1 }{ 2(2\beta+1) }. }

9. Rank-one coefficient for a smooth drift

We have

HN=I(β)Nβ+2+o(Nβ+2),H_N = I(\beta) N^{\beta+2} + o(N^{\beta+2}), GN=βI(β1)Nβ+1+o(Nβ+1),G_N = \beta I(\beta-1) N^{\beta+1} + o(N^{\beta+1}),

and

WN=I(0)N2+o(N2).W_N = I(0)N^2 + o(N^2).

Therefore

Theorem 9.1 — Smooth-Drift Rank-One Coefficient

RN(1)=R(β)N2β+1+o(N2β+1),\boxed{ \mathcal R_N^{(1)} = R(\beta) N^{2\beta+1} + o(N^{2\beta+1}), }

where

R(β)=βI(β)I(β1)I(0).\boxed{ R(\beta) = \frac{ \beta I(\beta)I(\beta-1) }{ I(0) }. }

Thus the rank-one term has exactly the same polynomial exponent as full PESC.


10. Centered covariance coefficient

Define

Q(β)=K(β)R(β).\boxed{ Q(\beta) = K(\beta)-R(\beta). }

Then the centered covariance term satisfies

CovwN(c,B)=Q(β)N2β+1+o(N2β+1).\boxed{ \operatorname{Cov}_{w_N}(c,B) = Q(\beta) N^{2\beta+1} + o(N^{2\beta+1}). }

The two pieces therefore share the same exponent.


11. Strict sign of the covariance

Under the positive measure

dμ(u)=ω(u)du,d\mu(u) = \omega(u)\,du,

the two functions

uβu^\beta

and

βuβ1\beta u^{\beta-1}

have opposite monotonicity for

0<β<1.0<\beta<1.

The first is strictly increasing.

The second is strictly decreasing.

The weighted covariance inequality therefore gives:

Theorem 11.1 — Smooth-Drift Covariance Persistence

For every fixed

0<β<1,0<\beta<1, Q(β)<0.\boxed{ Q(\beta)<0. }

In particular,

Q(β)0.\boxed{ Q(\beta)\ne0. }

Thus mean-zero recentering does not eliminate the fixed-power smooth mode from the covariance sector.

Create:

O-RH-076
CENTERED_COVARIANCE_RETAINS_SMOOTH_DRIFT_EXPONENT
status:
  CERTIFIED

12. Near-linear limit

At

β=1,\beta=1,

the derivative of the drift is constant.

The weighted covariance therefore vanishes exactly:

Q(1)=0.\boxed{ Q(1)=0. }

As

β1,\beta\uparrow1, Q(β)0.\boxed{ Q(\beta)\to0. }

Meanwhile

R(β)K(β).R(\beta)\to K(\beta).

Thus the rank-one term captures an increasingly large fraction of a near-linear drift.

This explains why the Section-6 zeroth-mode leakage found in Paper 33 is a natural low-frequency obstruction.

But for every fixed β<1\beta<1, the covariance coefficient remains nonzero and the exponent remains 2β+12\beta+1.


13. Rank-one is not a complete PESC coordinate

The decomposition

CN=CovwN(c,B)+RN(1)\mathcal C_N = \operatorname{Cov}_{w_N}(c,B) + \mathcal R_N^{(1)}

does not reduce PESC to the rank-one scalar.

For a fixed smooth mode:

rank-one term:
  N^(2 beta+1)

centered covariance:
  N^(2 beta+1)

full PESC:
  N^(2 beta+1)

Only the coefficients differ.

Therefore controlling the rank-one scalar alone does not supply a fixed-power PESC theorem.

Create:

O-RH-077
RANK_ONE_SCALAR_NOT_A_COMPLETE_PESC_COORDINATE
status:
  CERTIFIED BY SMOOTH-DRIFT COUNTERMODEL

14. Current sieve control of the covariance remains subpower

The centered perturbation has zero weighted mean.

This removes the classical zeroth-mode leakage from the coupled-sieve input.

However the covariance term remains an endogenous signed prime correlation.

Current sieve / higher-uniformity technology gives logarithmic or subpower precision for the relevant prime residual inputs.

Since the covariance smooth-mode contribution has the same N2β+1N^{2\beta+1} exponent, arbitrary logarithmic control does not produce a fixed PESC exponent.

Thus mean-zero sieve stability does not close the covariance sector.


15. Fixed-power bounds on the linear factors

The symbols

g(ρ)g(\rho)

and

h(ρ)h(\rho)

have no zeros in the critical strip.

Therefore fixed-power control of either linear observable over all scales would be strongly zero-sensitive.

The classical explicit formula for the first integrated prime error confirms this directly for isolated off-line zeros.

Thus the factors

GN,HNG_N, \qquad H_N

are not cheap low-frequency quantities whose fixed-power bounds are known independently of the PESC problem.


16. Multiple-zero caveat

For a general zero packet, GNG_N and HNH_N are log-scale exponential sums.

Their product may have substantial phase cancellation at individual scales.

The present campaign does not prove a universal coefficient-isolation theorem for the rank-one product.

This is another reason not to promote

RN(1)\mathcal R_N^{(1)}

to a canonical frontier.

The fixed-mode audit is sufficient to show that the scalar is not obviously lower-strength.


17. Campaign 33 track audit

ZM1 — first/second primitive Mellin analysis

status:
  COMPLETE AT FIXED-MODE LEVEL

symbols:
  g(rho), h(rho)

critical-strip zeros:
  none

ZM2 — scalar-product cancellation

status:
  NO UNIFORM FREE CANCELLATION

single mode:
  Omega(N^(2 beta+1)) on subsequences

ZM3 — dyadic phase variation

status:
  PRODUCT OSCILLATES

phase zeros:
  possible at isolated scales

uniform fixed-power escape:
  not available

ZM4 — arithmetic control of first primitive

status:
  CURRENT UNCONDITIONAL CONTROL SUBPOWER

fixed-power control:
  zero-sensitive / unavailable

ZM5 — direct covariance decomposition

status:
  EXACT

centered covariance:
  retains same smooth-drift exponent

18. Campaign 33 verdict

The rank-one scalar is useful diagnostically but is not a lower-strength replacement for PESC.

The low-frequency decomposition produces:

rank-one mean product:
  captures most near-linear drift

mean-zero covariance:
  smaller coefficient near beta=1
  but same fixed polynomial exponent

fixed-power theorem:
  still absent

No new frontier is created.

The canonical root remains PESC.


19. New certified package

Create:

B-RH-010
PESC_WEIGHTED_COVARIANCE_RANK_ONE_DECOMPOSITION
CERTIFIED

O-RH-075
RANK_ONE_ISOLATED_MELLIN_MODE_FIXED_STRIP_LOCK
CERTIFIED AS FIXED-MODE STRENGTH AUDIT

O-RH-076
CENTERED_COVARIANCE_RETAINS_SMOOTH_DRIFT_EXPONENT
CERTIFIED

O-RH-077
RANK_ONE_SCALAR_NOT_A_COMPLETE_PESC_COORDINATE
CERTIFIED

20. Canonical status

F-RH-010
PESC
OPEN / ROOT TARGET

F-RH-016
MLEPG
OPEN / DIRECT THEOREM CANDIDATE

rank-one scalar:
  diagnostic only

mean-zero covariance:
  diagnostic subcomponent

21. Campaign 34

The next campaign is:

CSM_RH Campaign 34
FINITE_RANK_LOW_FREQUENCY_PROJECTION_AUDIT

This campaign tests one final natural extension of the rank-one idea:

can projecting out several low-frequency polynomial/Mellin moments make the remaining signed covariance genuinely easier at fixed exponent?

No new frontier may be created unless the projection produces a proved fixed-power bridge weaker than PESC.


22. Campaign 34 tracks

FR1 — polynomial moment projection

Project the cumulative error against

1,u,u2,,ur1,u,u^2,\ldots,u^r

under the endpoint weight.

Compute the response of a drift uβu^\beta.

FR2 — finite-rank Mellin symbols

Use a finite family of scale-local Mellin windows.

Determine whether any fixed rank can change the exponent 2β+12\beta+1, rather than only its coefficient.

FR3 — growing-rank threshold

If fixed rank only creates coefficient zeros at β=1\beta=1, determine the rank growth needed to turn coefficient suppression into an XX -power.

Track condition number and arithmetic complexity.

FR4 — sieve after multi-moment recentering

Test whether eliminating several signed low moments removes all classical asymptotic-sieve leakage terms or merely exports them into a finite-rank correction matrix.

FR5 — direct comparison with higher-order Selberg

Determine whether finite-rank recentering is mathematically distinct from the already-audited higher-order generalized Selberg amplifier.


23. Campaign 34 rejection filters

Reject a candidate if:

R1. Fixed rank changes only coefficients, not exponents.

R2. Growing rank reaches the same log X/log log X complexity threshold as Paper 30 without new uniformity.

R3. The projection uses the unknown zero set.

R4. The finite-rank correction matrix contains PESC-scale Mellin modes.

R5. The result is merely another representation of the same low-frequency drift.

R6. It assumes fixed-power integrated PNT estimates.


24. External calibration

The fixed-mode calibration is consistent with standard explicit-formula theory.

The first integrated Chebyshev function has an absolutely convergent zero expansion:

ψ1(x)=x22ρxρ+1ρ(ρ+1)+lower-order terms.\psi_1(x) = \frac{x^2}{2} - \sum_\rho \frac{x^{\rho+1}}{\rho(\rho+1)} + \text{lower-order terms}.

A single hypothetical zero pair with real part β>1/2\beta>1/2 produces a term of size

x1+βcos(γlogx).x^{1+\beta}\cos(\gamma\log x).

Thus integrated low-frequency observables remain directly sensitive to off-critical zeros; integration damps high ordinates but does not improve the real exponent.


25. State transition

CSM_RH v1.24
  ->
CSM_RH v1.25

with:

Campaign 33
  CLOSED_AS_RANK_ONE_AND_COVARIANCE_STRENGTH_AUDIT

B-RH-010
  PESC_WEIGHTED_COVARIANCE_RANK_ONE_DECOMPOSITION
  CREATED / CERTIFIED

O-RH-075
  RANK_ONE_ISOLATED_MELLIN_MODE_FIXED_STRIP_LOCK
  CREATED / CERTIFIED AS FIXED-MODE STRENGTH AUDIT

O-RH-076
  CENTERED_COVARIANCE_RETAINS_SMOOTH_DRIFT_EXPONENT
  CREATED / CERTIFIED

O-RH-077
  RANK_ONE_SCALAR_NOT_A_COMPLETE_PESC_COORDINATE
  CREATED / CERTIFIED

F-RH-010
  PESC
  REMAINS OPEN / ROOT TARGET

Campaign 34
  FINITE_RANK_LOW_FREQUENCY_PROJECTION_AUDIT
  READY

26. Final status

RH = OPEN

PESC = OPEN

MLEPG = OPEN

RANK-ONE LOW-FREQUENCY SCALAR = DIAGNOSTIC

RANK-ONE FIXED-MODE RESPONSE = FIXED-STRIP SCALE

MEAN-ZERO COVARIANCE = SAME POWER EXPONENT ON SMOOTH DRIFT

LOW-FREQUENCY SPLIT = COEFFICIENT REARRANGEMENT, NOT EXPONENT REDUCTION

NEXT CAMPAIGN = 34

The central coefficient law is

CN=[Q(β)+R(β)]N2β+1+o(N2β+1),\boxed{ \mathcal C_N = [ Q(\beta)+R(\beta) ] N^{2\beta+1} + o(N^{2\beta+1}), }

with

Q(β)<0,R(β)>0,0<β<1.\boxed{ Q(\beta)<0, \qquad R(\beta)>0, \qquad 0<\beta<1. }

Both pieces preserve the same fixed-power exponent.

The rank-one projection therefore isolates a low-frequency component, but it does not reduce the RH-strength exponent class.