CSM_RH Paper 43
Liouville Sign Collapse, Determinant Fibres, and Polynomial Erosion of the Low-Variation Shift Shell
Project: CSM_RH
Paper: 43
Version: 0.1
Date: 2026-09-07
Campaign: 42 — OSCILLATORY_MOBIUS_CONVOLUTION_SHIFT_ATTACK
Canonical state transition: v1.33 to v1.34
0. Trust boundary
This paper continues directly from CSM_RH Paper 42.
The inherited pure-core coefficient is
with
and the remaining translated-window obstruction is
The large-major-arc geometry inherited from Paper 42 gives
where
The polynomial- admission target remains
No claim of RH, no fixed zero-free strip, and no pointwise fixed-power Mertens estimate is made.
This paper performs three tasks:
- close Campaign 42 track OM1 algebraically;
- sharpen OM2 by removing a much larger low-variation shift shell;
- identify the exact remaining arithmetic object as a structured weighted Liouville correlation on determinant fibres.
1. Exact Liouville sign collapse
Let
be the Liouville function.
For every integer ,
Indeed, if is not squarefree then both sides vanish, while if is squarefree then
Define the nonnegative restricted squarefree-factorisation weight
Since is completely multiplicative,
Therefore every nonzero summand in has the same sign.
Theorem 1.1 — Pure-core Liouville factorisation
For every ,
Proof
Using ,
The dyadic restrictions are unchanged throughout.
Create:
B-RH-017
PURE_MOBIUS_CORE_LIOUVILLE_SIGN_FACTORISATION
status:
CERTIFIED EXACT IDENTITY
This materially changes the interpretation of the pure core.
It is not an internally cancelling high-order Möbius convolution. Its complete sign is carried by one Liouville value, while the convolution multiplicity is nonnegative.
2. Grouped Type-II coefficients inherit the same sign rigidity
Let be a Type-II partition.
Define
and
Then
Define the nonnegative weights
Exactly as above,
Hence
so the Type-II grouping does not create new independent sign carriers.
The entire pure component remains a single Liouville sign multiplied by a structured nonnegative factorisation multiplicity.
3. Exact weighted-Liouville form of the hard shell
The correlation coefficient becomes
Thus
with the inherited shift restrictions.
This is a weighted, locally Cesaro-scale, oscillatory two-point Liouville correlation.
Three distinctions are essential:
- is not identically ;
- the -average is localized to one dyadic scale, rather than logarithmically averaging over many scales;
- the phase depends on both and the growing shift .
Therefore known logarithmically averaged Chowla results do not directly prove the required bound.
4. Type-II determinant expansion
Choose a Type-II split with
Write
For a fixed shift ,
expands into quadruples
satisfying
where , , and contains the denominator, translated phase, and Gaussian cutoff.
The additive shift of products is therefore a determinant-type incidence equation.
5. GCD fibre parametrisation
Fix and set
The equation
becomes
Hence a necessary condition is
If one solution exists, all integral solutions are
Since
the number of points of this affine lattice fibre inside is
Create:
B-RH-018
TYPEII_SHIFTED_PRODUCT_DETERMINANT_FIBRE_PARAMETRISATION
status:
CERTIFIED EXACT REDUCTION
6. Algebraic incidence reaches only the orthogonality floor
The number of pairs with is at most
up to harmless divisor losses.
Therefore the number of quadruples at a fixed is bounded by
Since
and
we obtain
Theorem 6.1 — Determinant incidence floor
After inserting divisor-bounded grouped coefficients and the factor
this reproduces the fixed-shift absolute scale
This is the same orthogonality floor already visible in Paper 42.
Thus product-equality plus additive-shift algebra does not, by itself, provide the fixed -power needed by B-RH-014.
Create:
O-RH-107
DETERMINANT_INCIDENCE_ALGEBRA_STOPS_AT_ORTHOGONALITY_FLOOR
status:
CERTIFIED
This closes Campaign 42 track OM1 as a structural reduction rather than a successful fixed-power estimate.
7. Phase geometry on one determinant fibre
Along a fibre
the translated phase is
Differentiate with respect to the real interpolation variable .
Since
we have
Hence
Theorem 7.1 — Exact first derivative on determinant fibres
On ,
A long fibre has length
Therefore its total phase variation is
The GCD parameter cancels from the total variation.
This is an important geometric rigidity: every genuinely long determinant fibre sees essentially the same normalized oscillation parameter
8. The original cutoff was not maximal
Paper 42 declared
harmless by absolute values.
The same argument works much farther.
For any in the Gaussian-localized range,
Equivalently, if
then
This gives a direct conversion between phase-variation threshold and trivial total mass.
9. Polynomial erosion of the low-variation shell
Set
Because
we have
Define
Then, using the inherited bound
we obtain
The target is
Hence the enlarged shell has an extra margin
Theorem 9.1 — Polynomial low-variation shell erosion
The entire range
is harmless for polynomial- admission.
Create:
O-RH-108
POLYNOMIAL_LOW_VARIATION_SHIFT_SHELL_HARMLESS
status:
CERTIFIED
This strictly strengthens O-RH-103.
10. The new residual shell has polynomial phase variation
The residual range now begins at
Therefore
Since the Gaussian cutoff still allows shifts up to
and
the residual shell has room of at least
in multiplicative shift scale at the extremal inherited geometry.
Thus the new unresolved object is not a barely oscillatory shell.
It is a polynomially oscillatory shell.
Create:
O-RH-109
RESIDUAL_SHIFT_SHELL_HAS_POLYNOMIAL_PHASE_VARIATION
status:
CERTIFIED
11. Why polynomial phase variation does not yet solve the problem
If the arithmetic weights on a determinant fibre were smooth or absent, the derivative identity from Section 7 would make classical oscillatory-sum methods immediately relevant.
But the exact fibre weight inherits Liouville signs and structured squarefree-factorisation weights.
At the atomic level, fixing all variables except one factor on each side produces affine forms
and a weight of the schematic form
Therefore a derivative test cannot simply discard the arithmetic amplitude.
The remaining problem is a hybrid of:
- two-linear-form Liouville decorrelation;
- polynomially varying phase;
- determinant-fibre arithmetic;
- restricted squarefree-factorisation weights.
The phase is now strong enough to matter, but a theorem coupling it to the Liouville carrier is still required.
12. Calibration against two-point Chowla technology
The exact sign collapse makes ordinary Liouville correlation a direct calibration rather than merely an analogy.
Tao's two-point logarithmically averaged Chowla theorem proves cancellation after logarithmic averaging for two affine-linear Liouville forms, but it does not prove the ordinary Cesaro two-point Chowla conjecture.
Pilatte obtained a fixed power of the logarithm for the logarithmically weighted shift-one correlation.
Guo's August 2026 result gives quantitative logarithmic cancellation uniformly for shifts up to a small power of and explicitly states that it does not prove ordinary Cesaro two-point Chowla.
Our residual object is stronger in several ways:
The phase is additional information, but current logarithmic Chowla estimates cannot be inserted as a black box to produce
Create:
O-RH-110
CURRENT_LOG_CHOWLA_THEOREMS_DO_NOT_CLOSE_WEIGHTED_OSCILLATORY_LIOUVILLE_CORE
status:
CERTIFIED AS CURRENT-LITERATURE CALIBRATION
This is a scope statement, not a universal impossibility theorem.
13. Campaign 42 track audit
OM1 — balanced Möbius-convolution correlation algebra
Status: CLOSED_AS_LIOUVILLE_WEIGHTED_DETERMINANT_REDUCTION
Outputs:
and
with exact GCD fibre parametrisation.
Pure incidence counting stops at the orthogonality floor.
OM2 — high-frequency phase geometry
Status: ADVANCED_TO_POLYNOMIAL_VARIATION_RESIDUAL
The harmless shell extends to
so every residual long fibre has
OM3 — averaged shift cancellation
Status: NOT_CLOSED_BY_CURRENT_CHOWLA_INPUT
Known logarithmic/average technology does not yield the required uniform fixed -power for the weighted dyadic object.
OM4 — Ramaré extraction
Status: STILL_OPEN
The Liouville sign collapse makes small-prime extraction more natural, but extraction must be performed without converting the problem back into an uncontrolled two-linear-form parity problem.
OM5 — cross- coupling
Status: STILL_OPEN
The exact Heath-Brown identity contains pointwise inclusion-exclusion across -levels. Any successful use must preserve those cross terms before absolute values and before componentwise mean-square bounds.
14. New canonical core
After removing the enlarged harmless shell, define
Then
Hence polynomial- admission reduces to proving
This is not declared a new root frontier.
It is the sharpened internal form of the existing F-RH-010 / B-RH-014 route.
15. Campaign 42 verdict
Campaign 42 does not prove the required fixed-power estimate.
It does, however, achieve two irreversible reductions:
- the high-order Möbius sign structure collapses exactly to Liouville;
- all low and moderately varying phase shells can be removed by absolute values until the remaining phase variation is polynomial in .
Thus the obstruction is now more specific than in Paper 42:
Campaign 42 is therefore closed as
CLOSED_AS_WEIGHTED_LIOUVILLE_POLYNOMIAL_PHASE_LOCALIZATION
with no RH promotion.
16. Campaign 43
The next campaign is
CSM_RH Campaign 43
WEIGHTED_LIOUVILLE_POLYNOMIAL_PHASE_ATTACK
The target remains B-RH-014 through the sharpened core .
No new observable is introduced.
17. Campaign 43 tracks
WL1 — phase-first determinant-fibre dispersion
Apply Cauchy or van der Corput only after preserving the determinant-fibre phase.
The goal is to turn the polynomial lower bound
into a fixed-power gain without replacing Liouville coefficients by generic bounded coefficients.
WL2 — Liouville-aware Ramaré extraction
Exploit complete multiplicativity of and extract a prime from exactly one side when it does not divide .
Track the common divisor
separately so that common-prime signs cancel before extraction.
WL3 — structured-weight decoupling
Use
to determine whether the nonnegative multiplicity weight can be separated from the Liouville sign at acceptable exponent cost.
WL4 — cross- pre-square recombination
Audit whether the alternating Heath-Brown -sum can be recombined before translated mean-square expansion so that the pure Liouville carrier cancels against adjacent -levels.
WL5 — root-recoupling comparison
If WL4 collapses back to the full prime-error coefficient, compare the resulting object directly with F-RH-010 rather than pretending a new component theorem has been obtained.
18. Rejection filters for Campaign 43
Reject a candidate proof if any of the following occurs.
R1. Generic-coefficient phase cancellation
The argument applies an oscillatory derivative bound after replacing Liouville-weighted coefficients by arbitrary bounded coefficients.
R2. Logarithmic-to-power promotion
A bound of size , , or is treated as for fixed .
R3. Scale averaging mismatch
A logarithmically averaged Chowla theorem over many scales is used as a uniform theorem on one prescribed dyadic scale without an explicit transfer argument.
R4. Weight deletion
The factor is discarded without a positive majorant whose exponent ledger is verified.
R5. Hidden fixed-strip input
A pointwise estimate equivalent to a fixed zero-free strip is inserted through a Möbius or Liouville Dirichlet polynomial estimate.
R6. Cross- cancellation after big-
Separate component bounds are estimated absolutely and then claimed to cancel.
19. External calibration
The following sources calibrate the scope of the claims in this paper.
K. Matomäki, M. Radziwiłł, X. Shao, T. Tao, J. Teräväinen, Higher uniformity of arithmetic functions in short intervals II. Almost all intervals, Inventiones Mathematicae 244 (2026), 967–1091, DOI
10.1007/s00222-026-01408-6. The relevant Type-II target is Lemma 3.5, especially equations (3.9)–(3.13).T. Tao, The logarithmically averaged Chowla and Elliott conjectures for two-point correlations, Forum of Mathematics, Pi 4 (2016), arXiv:
1509.05422. This proves logarithmically averaged two-point cancellation, not ordinary Cesaro two-point Chowla.C. Pilatte, Improved bounds for the two-point logarithmic Chowla conjecture, arXiv:
2310.19357. This obtains a fixed power of the logarithm for the logarithmically weighted shift-one problem.J. Guo, Quantitative Logarithmic Chowla Correlations Uniformly over Growing Shifts, arXiv:
2608.23500(2026). The result remains logarithmically weighted and its stated shift range is polylogarithmic.
No cited theorem is claimed to prove the weighted dyadic fixed- -power estimate required here.
20. State transition
The canonical state advances from v1.33 to v1.34.
New bridge identities:
B-RH-017
PURE_MOBIUS_CORE_LIOUVILLE_SIGN_FACTORISATION
CERTIFIED
B-RH-018
TYPEII_SHIFTED_PRODUCT_DETERMINANT_FIBRE_PARAMETRISATION
CERTIFIED
New obstructions/refinements:
O-RH-107
DETERMINANT_INCIDENCE_ALGEBRA_STOPS_AT_ORTHOGONALITY_FLOOR
CERTIFIED
O-RH-108
POLYNOMIAL_LOW_VARIATION_SHIFT_SHELL_HARMLESS
CERTIFIED
O-RH-109
RESIDUAL_SHIFT_SHELL_HAS_POLYNOMIAL_PHASE_VARIATION
CERTIFIED
O-RH-110
CURRENT_LOG_CHOWLA_THEOREMS_DO_NOT_CLOSE_WEIGHTED_OSCILLATORY_LIOUVILLE_CORE
CERTIFIED AS CURRENT-LITERATURE CALIBRATION
Root status remains
F-RH-010 PRIME_ERROR_SELF_CORRELATION OPEN
F-RH-016 MESOSCOPIC_LAG_ENERGY_POWER_GAIN OPEN
RH_PROVED FALSE
RH_DISPROVED FALSE
GLOBAL_RH_CERTIFICATE FALSE
21. Final status
The campaign has not solved RH and has not proved polynomial- Type-II admission.
The accepted advance is
combined with
Thus the next valid attack is no longer generic Möbius correlation algebra.
It is a Liouville-aware polynomial-phase dispersion problem, with Ramaré extraction and cross- recombination retained as live alternatives.