CSM_RH Paper 48
Exact PESC Lag-Position Normalization, Prefix-Gram Completion, and the Discrete Brownian Root Spectrum
Project: CSM_RH
Paper: 48
Version: 0.1
Date: 2026-09-07
Campaign: 44 — PESC_TRIANGULAR_LAG_KERNEL_ATTACK
Tracks: PK1 — EXACT_PESC_TRIANGULAR_KERNEL_NORMALIZATION; PK2 — ROOT_SPECTRAL_REPRESENTATION
Canonical state transition: v1.38 to v1.39
0. Trust boundary
This paper continues directly from CSM_RH Paper 47.
Paper 47 closed the Heath--Brown component detour and returned the proof architecture to the root prime-error observable
where
and
Campaign 44 asks for root-observing control of this exact triangular positive-lag kernel.
The present paper completes two structural tracks.
PK1 gives the exact lag-position kernel, its lag mass, its plateau/ramp decomposition, and a positive-semidefinite completion.
PK2 passes to the exact quotient seen by the dyadic energy and diagonalizes it explicitly as the discrete Brownian covariance kernel.
The resulting spectrum proves that the root low-frequency mode is not removable: the lowest mode has weight of order , and on the pure-prefix test direction of the exact root quotient it alone carries an asymptotic fraction of the quotient energy. This is a kernel-observability witness, not a statement about the modal distribution of the actual prime-error sequence.
No fixed-power PESC estimate is proved. No proof or disproof of RH is claimed. No fixed zero-free strip, fixed-power PNT remainder, or fixed-power Mertens estimate is assumed.
1. Inherited root identities
Define
The dyadic root energy is
The diagonal is
The PESC correlation is
Paper 11 certified the exact identity
and the diagonal bound
Hence for every fixed
PESC is exponent-equivalent to
The goal of PK1--PK2 is not to reprove that equivalence, but to expose the exact kernel and spectral geometry of the root energy that PESC must control.
2. PK1: exact lag-position kernel
Write
Define
The support conditions are
Therefore the exact positive-lag kernel is
and
This retains the full position dependence. The kernel is not a function of lag alone.
Create:
B-RH-032
EXACT_PESC_LAG_POSITION_KERNEL_NORMALIZATION
CERTIFIED
3. Exact lag mass
Define the unsigned lag mass
For
the plateau contributes
while the descending tail contributes
Hence
For
there is no plateau and
Thus the root kernel has a macroscopic plateau at short and medium lags and a genuinely triangular terminal tail.
The lag mass is useful for normalization, but replacing the signed position-dependent sum by
would already invoke an absolute value not present in PESC. No such replacement is made here.
4. The early prefix block is not a lower-order boundary term
Split at the plateau endpoint . Then
The first term is exactly
The term
can be of the full trivial root scale . Therefore the plateau cannot be reclassified as a harmless endpoint correction.
Only the already certified diagonal
is automatically lower order for a fixed-power PESC target with .
Create:
O-RH-125
PESC_EARLY_PREFIX_PLATEAU_IS_ROOT_SCALE_NOT_A_BOUNDARY_ERROR
CERTIFIED
5. Symmetric prefix-Gram completion
For
define the symmetric kernel
Let the endpoint-incidence matrix be
Then
Hence
In particular is positive semidefinite. Moreover
Its diagonal is exactly
Therefore
This is the exact positive-semidefinite completion of the triangular positive-lag kernel.
Create:
B-RH-033
PESC_PREFIX_GRAM_PSD_COMPLETION_AND_QUOTIENT
CERTIFIED
6. Rank, nullspace, and the exact root quotient
The matrix has linearly independent rows, so
Since acts on coordinates,
The nullspace is exactly
Thus the dyadic root energy does not separately observe all first- increments. It observes them through the single aggregate coordinate
For the tail define
Then for
Hence
Equivalently,
This -dimensional quotient is the exact root-observing state for PK2.
7. Discrete Brownian covariance form
Reverse the quotient coordinates by setting
Then
Therefore
The matrix is the standard discrete Brownian covariance kernel. It is positive definite.
Its inverse is the tridiagonal matrix
Thus the root energy is exactly the inverse of a first-difference Laplacian with one free endpoint.
8. PK2: exact spectral diagonalization
For
define
and
These vectors form an orthonormal basis. The corresponding eigenvalues of are
Therefore:
Theorem 8.1 — Exact PESC root spectrum
If
then
The lowest spectral mode has
The highest mode has
Hence
Create:
B-RH-034
DISCRETE_BROWNIAN_ROOT_SPECTRAL_DIAGONALIZATION
CERTIFIED
9. The lowest mode is a genuine root-kernel mode
Consider the pure-prefix test vector in the exact root quotient
Equivalently
Then every endpoint has the same prefix error and
The contribution of the first spectral mode alone is
Let
Since
and
we obtain
Thus the first mode alone carries asymptotically about of this root-kernel quotient direction.
Consequently a deterministic spectral bridge that excises the principal low-frequency mode is not root-observing on the full exact quotient space. It loses a fixed positive fraction on an explicit quotient test direction before any arithmetic estimate begins. This does not assert that the actual prime-error vector places of its energy in the first mode.
Create:
O-RH-126
PESC_LOWEST_BROWNIAN_MODE_CARRIES_A_FIXED_FRACTION_OF_A_ROOT_SCALE_PREFIX_DIRECTION
CERTIFIED AS ROOT-OBSERVABILITY BARRIER
The power-sized spectral spread also implies that any reconstruction argument based on inverting a low-frequency-suppressing first-difference representation must explicitly pay its conditioning cost. The spread itself is
in energy.
Create:
O-RH-127
PESC_ROOT_KERNEL_HAS_POWER_SIZED_SPECTRAL_SPREAD
CERTIFIED AS SYNTHESIS-CONDITIONING WARNING
This does not by itself close PK3. It only fixes the ledger against unpriced low-frequency recovery.
10. Fixed-power PESC in spectral form
By the inherited identity
and
Theorem 8.1 gives:
Theorem 10.1 — PESC / root-spectrum equivalence
For every fixed
the following are exponent-equivalent:
and
This is a root-observing spectral reformulation, not a new fixed-power estimate.
Create:
B-RH-035
PESC_FIXED_POWER_EQUIVALENT_TO_WEIGHTED_ROOT_SPECTRAL_ENERGY
CERTIFIED
11. What PK1 and PK2 do and do not solve
PK1 now supplies:
- the exact positive-lag position kernel;
- the exact lag mass;
- the non-negligible prefix plateau;
- the PSD prefix-Gram completion;
- the exact -dimensional root quotient.
PK2 now supplies:
- the exact discrete Brownian covariance form;
- a complete orthonormal sine basis;
- explicit eigenvalues;
- an exact low-frequency root witness;
- the power-sized conditioning ledger that PK3 must respect.
Neither track proves
for any fixed .
No arithmetic contraction has yet been obtained.
PK1 closes as
CLOSED_AS_EXACT_LAG_POSITION_NORMALIZATION_WITH_PREFIX_GRAM_COMPLETION
PK2 closes as
CLOSED_AS_EXACT_BROWNIAN_SPECTRAL_REPRESENTATION_WITH_LOW_MODE_PRESERVED
12. Interface with translated windows
Paper 42 used Gaussian translated Mellin kernels of the form
The PESC root completion is instead
which is explicitly position dependent.
Therefore PK3 cannot consist only of declaring the Paper 42 high-frequency window to be the root kernel. A successful synthesis must account for both:
- ratio/frequency localization;
- endpoint-position localization.
Moreover it must retain the Brownian mode and price any reconstruction conditioning against the fixed-power ledger.
This paper does not decide whether such a power-safe frame exists. That is the next track.
13. Campaign status
Campaign 44 remains active.
PK1:
CLOSED_AS_EXACT_LAG_POSITION_NORMALIZATION_WITH_PREFIX_GRAM_COMPLETION
PK2:
CLOSED_AS_EXACT_BROWNIAN_SPECTRAL_REPRESENTATION_WITH_LOW_MODE_PRESERVED
No fixed-power theorem has been proved.
The root frontiers remain
F-RH-010 PESC OPEN
F-RH-016 MLEPG OPEN
and
RH_PROVED = FALSE
RH_DISPROVED = FALSE
GLOBAL_RH_CERTIFICATE = FALSE
14. Next continuation
Proceed to
CSM_RH Campaign 44 / PK3
TRANSLATED_WINDOW_SYNTHESIS
The required question is now sharply posed:
Can the exact Brownian root kernel, including its principal low-frequency mode and endpoint-position dependence, be reconstructed or dominated by a controlled family of translated frequency windows with no power-sized loss?
A valid PK3 theorem must state the synthesis operator and its condition number explicitly. A logarithmic or loss may be admissible at exponent resolution. A loss for fixed consumes fixed-power gain and must be charged explicitly.
Paper 49 does not yet exist.