Asymptotic Balance and Structural Rigidity in the Riemann Zeta Function

Pedro Caceres

REVIEW

Asymptotic Balance and Structural Rigidity in the Riemann Zeta Function

Pedro Caceres

General Mathematics · Submitted 22 Sep 2026 · Published version

Pith's verdict: Claims a proof of RH via a rigidity ratio, but the central three-regime classification contradicts the paper's own Euler-Maclaurin expansion, which forces Q_N to 1 for every sigma in (0,1).

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on September 25, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 1 major objection · 5 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv ID2609.28529 (version 2)

Pith IDGKQJMQZT, Pith's permanent record of this paper and its review

CitationPedro Caceres. "Asymptotic Balance and Structural Rigidity in the Riemann Zeta Function." arXiv:2609.28529 (2026). https://pith.science/paper/GKQJMQZT

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

Quick read on arXiv:2609.28529. It claims RH through a rigidity principle on Q_N = |X_N|^2/|Y_N|^2. The argument doesn't survive first contact with its own equations, and I think you can safely put it down after this.

What is actually there: the decomposition zeta = X_N - Y_N + R_N is the standard Euler-Maclaurin expansion, and the author says so plainly ("Similar ideas appear implicitly in the Euler–Maclaurin summation formula"). Credit for that honesty. The quadratic balance identity and the growth estimate |X_N| = O(N^{1-sigma}) are correct, and the Bridge Lemma is arithmetically sound given the setup.

The load-bearing step is the three-regime claim in Section 4.3 (eq. 55): divergence for sigma > 1/2, collapse for sigma < 1/2, balance only at sigma = 1/2. It is asserted, not derived, and it is false in exactly the region that matters. Substitute the paper's own expansion (13): X_N(s) = Y_N(s) + zeta(s) + O(N^{-1-sigma}). For fixed s with 0 < sigma < 1, dividing by |Y_N| ~ N^{1-sigma} forces |X_N|^2/|Y_N|^2 -> 1 regardless of whether zeta(s) = 0. So Q_N -> 1 for every sigma in the strip, and the rigidity mechanism disappears. Case 1's premise, that the Dirichlet polynomial "accumulates contributions from a convergent series" for sigma > 1/2, is wrong: for 1/2 < sigma < 1 the series diverges and the partial sums grow like N^{1-sigma}, the same scale as Y_N. The paper's own (46), |X_N|^2 = O(N^{2-2sigma}), is already incompatible with divergence. Internal contradiction.

Minor points: the Bridge Lemma is correct but vacuous, since Q_N -> 1 holds for every s, zero or not. Section 7 leans on a self-cited identity (78) from [18], and equation (81) matches a log n quantity against a linear-in-n one, which fails on dimensional grounds alone. The OCR duplication throughout is just presentation.

Who is this for: nobody, really. It's a claimed RH proof whose central step collapses by one line of algebra on the author's own equation (13), with no new machinery and nothing machine-checked or reproducible. A serious editor should desk-reject this; a referee isn't needed to see that Section 4.3 contradicts Section 2.3.

Referee report

Major objections (1)

[Section 7.3 (Eqs. (84)–(85))] The asymptotic decomposition H_n ∼ O(n) + P(n) is dimensionally inconsistent with equation (81) as typeset: the right-hand side of (81) is written as n/(β²+1/4) minus a double sum, but the double sum in (82) is of order n (each of n² terms of size k^{−1/2}j^{−1/2} ≈ (kj)^{−1/2}, with typical size n^{−1}, so the double sum is O(n log n) at best), which appears to be of the same order as P(n). In any case, the derivation of (84) is not given, and the assertion that H_n, which grows like log n, is asymptotically equal to a quantity of order n is evidently false; the notation '∼' here cannot mean ordinary asymptotic equivalence. This section is internally inconsistent as written.

Minor objections (5)

[Global notation] The paper mixes several notations for the same object: X_N(s) vs. X(z, n), s = σ + it vs. z = α + iβ, and Y(z, n) vs. Y_N(s); the imaginary-part variable is sometimes t and sometimes β. This makes verification much harder than necessary.
[Equation cross-references] Section 7.3 refers to 'relation (94)', but (94) is not yet defined at that point; it is defined only later in Section 8.2. Cross-references should be fixed and the harmonic-section equations renumbered.
[Figures] Figure captions are inconsistent: Figure 26 is the first numbered figure in Section 7, an earlier figure is labelled 'Figure X', and Figures 1–4 in Sections 2–4 are not reproducible from the text since no data or code is supplied.
[Typesetting] There are numerous typographical errors and duplicated passages (e.g., Sections 2 and 3 appear nearly verbatim multiple times, and the sentence 'The two components Thus, have comparable maximal growth rates' in Section 4.2 is ungrammatical). The manuscript would require thorough copyediting even if the mathematics were sound.
[References] Several crucial assertions are attributed to references [17] and [18] without quoting or reproducing the relevant results; since the claims are used in the harmonic section, the references should be identified and the statements verified locally.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The paper claims that a rigidity mechanism forces every nontrivial zero of the Riemann zeta function onto the critical line.

The reading

The paper claims to prove the Riemann Hypothesis by decomposing the zeta function's truncated form into an oscillatory Dirichlet component and an analytic growth envelope, and then showing that the vanishing condition zeta(s)=0 forces the squared magnitudes of these two components to become asymptotically equal. It asserts that the ratio of these magnitudes diverges for Re(s)>1/2, collapses for Re(s)<1/2, and tends to 1 only when Re(s)=1/2, a three-regime classification presented as an asymptotic rigidity principle. This rigidity mechanism, the paper argues, determines the location of all nontrivial zeros intrinsically from the Dirichlet representation, without appealing to the functional equation. The central claim is that this balance can occur only on the critical line, thereby resolving the Riemann Hypothesis.

What carries the argument

The key machinery is the C-transformation, a renormalized discrepancy operator that isolates the difference between discrete summation and its continuous integral approximation, applied to the kernel $x^{{-s}}$ to produce the decomposition zeta(s)=X_N(s)-Y_N(s)+R_N(s). The Bridge Lemma then converts the vanishing condition into an asymptotic balance of squared magnitudes, and the asymptotic rigidity principle classifies the ratio Q_N(s)=|X_N(s)|^2/|Y_N(s)|^2 according to three regimes of Re(s). The argument's load-bearing step is the assertion that Q_N(s) diverges for Re(s)>1/2 and collapses for Re(s)<1/2, permitting balance only at Re(s)=1/2.

Extended reading notes

Core claim

The central claim is that the zero condition zeta(s)=0, combined with the Euler–Maclaurin decomposition zeta(s)=X_N(s)-Y_N(s)+R_N(s), forces the ratio Q_N(s)=|X_N(s)|^2/|Y_N(s)|^2 to tend to 1 as N tends to infinity. The paper then asserts an asymptotic rigidity theorem stating that this same ratio diverges to infinity when Re(s)>1/2, collapses to zero when Re(s)<1/2, and converges to 1 exactly when Re(s)=1/2. Since the Bridge Lemma shows a zero requires Q_N(s)->1, the only compatible real part is 1/2, so every nontrivial zero must lie on the critical line. Theorem 5.1 states this as the resolution of the Riemann Hypothesis.

Load-bearing premise

The paper asserts without proof that for Re(s)>1/2 the Dirichlet component X_N(s) dominates the envelope Y_N(s) so the ratio diverges, whereas for 1/2<Re(s)<1 both components actually grow as $N^{{1-Re(s)}}$ and the ratio tends to a finite limit.

Editorial extensions

If this is right

If the theorem holds, the Riemann Hypothesis is resolved, so the prime number theorem error term and related conditional statements about the zeta function would follow immediately.
The critical line would be explained as a structural equilibrium between discrete and continuous analytic components, shifting focus away from the functional equation as the primary reason for the location of zeros.
The harmonic energy representation in Section 7 would tie each zero's imaginary part to the slope of a straight line in a geometric picture, offering a new quantitative diagnostic for zeros.
The rigidity criterion would provide a deterministic test for whether a given hypothetical off-line zero could exist, since such a zero would violate the claimed asymptotic regime.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The paper's own equation (13) implies that X_N(s)-Y_N(s)=zeta(s)+O(N^{-1-Re(s)}), so dividing by |Y_N(s)|^2 gives Q_N(s)->1 for every Re(s) in (0,1); this direct consequence of the stated Euler–Maclaurin expansion contradicts the claimed divergence for Re(s)>1/2.
If the three-regime classification were valid, it would apply to essentially any Dirichlet series with an analogous Euler–Maclaurin decomposition, forcing a universal critical line; in fact the regime distinction fails, so the mechanism cannot single out the zeta function.
A concrete testable extension is to numerically compute Q_N(s) for a fixed sigma between 1/2 and 1 (for example sigma=0.75) and check whether it tends to a finite constant rather than diverging, as the paper's own decomposition predicts.
Any workable proof of the rigidity claim would need to detect the presence of zeta(s) itself in the decomposition rather than relying on the growth of the partial sum X_N, since that growth is identical to the envelope for all sigma in the critical strip.

Original abstract

We establish a structural rigidity principle for the nontrivial zeros of the Riemann zeta function by analyzing the asymptotic interaction between discrete Dirichlet oscillations and their continuous analytic envelope. The starting point is a renormalized discrepancy operator, the C-transformation, which isolates the finite structural difference between the Dirichlet series and its integral approximation. Applied to the kernel x^(-s), this operator yields a decomposition of the zeta function into three parts: an oscillatory Dirichlet component X_N(s), an explicit analytic growth envelope Y_N(s), and a polynomially decaying remainder R_N(s). We show that the vanishing condition zeta(s)=0 forces an asymptotic compatibility between the two dominant components. This relation is formalized in a Bridge Lemma, which proves that zeros require asymptotic equality of the squared magnitudes |X_N(s)|^2 and |Y_N(s)|^2. A detailed asymptotic analysis then reveals that the ratio of these magnitudes exhibits three distinct regimes depending on the real part sigma=Re(s): divergence for sigma>1/2, collapse for sigma<1/2, and exact balance for sigma=1/2. This incompatibility of growth regimes produces a rigidity mechanism: the asymptotic balance required by the zero condition can occur only on the critical line. Consequently, every nontrivial zero must satisfy Re(s)=1/2. The result provides a deterministic explanation for the location of the zeros, showing that the critical line emerges from an intrinsic structural constraint of the Dirichlet representation of the zeta function.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-25: 1 request, 7,164 input tokens.

What the abstract itself states, as probabilities: claims first 0.04 · states limitation 0.05 · human participants 0.01 · controlled comparison 0.03 · randomized assignment 0.01 · states quantitative result 0.66 · compares with prior results 0.06 · mentions code or data availability 0.01.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; show every role.

We establish a structural rigidity principle for the nontrivial zeros of the Riemann zeta function by analyzing the asymptotic interaction between discrete Dirichlet oscillations and their continuous analytic envelope. The starting point is a renormalized discrepancy operator, the C-transformation, which isolates the finite structural difference between the Dirichlet series and its integral approximation. Applied to the kernel x^(-s), this operator yields a decomposition of the zeta function into three parts: an oscillatory Dirichlet component X_N(s), an explicit analytic growth envelope Y_N(s), and a polynomially decaying remainder R_N(s). We show that the vanishing condition zeta(s)=0 forces an asymptotic compatibility between the two dominant components. This relation is formalized in a Bridge Lemma, which proves that zeros require asymptotic equality of the squared magnitudes |X_N(s)|^2 and |Y_N(s)|^2. A detailed asymptotic analysis then reveals that the ratio of these magnitudes exhibits three distinct regimes depending on the real part sigma=Re(s): divergence for sigma>1/2, collapse for sigma<1/2, and exact balance for sigma=1/2. This incompatibility of growth regimes produces a rigidity mechanism: the asymptotic balance required by the zero condition can occur only on the critical line. Consequently, every nontrivial zero must satisfy Re(s)=1/2. The result provides a deterministic explanation for the location of the zeros, showing that the critical line emerges from an intrinsic structural constraint of the Dirichlet representation of the zeta function.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	We establish a structural rigidity principle for the nontrivial zeros of the Riemann zeta function by analyzing the asymptotic interaction between discrete Dirichlet oscillations and their continuous analytic envelope.	contribution 0.86	0.94	0.17	asserted 1.00
s1	The starting point is a renormalized discrepancy operator, the C-transformation, which isolates the finite structural difference between the Dirichlet series and its integral approximation.	method 0.95	0.77	0.02	asserted 0.99
s2	Applied to the kernel x^(-s), this operator yields a decomposition of the zeta function into three parts: an oscillatory Dirichlet component X_N(s), an explicit analytic growth envelope Y_N(s), and a polynomially decaying remainder R_N(s).	method 0.93	0.90	0.02	asserted 1.00
s3	We show that the vanishing condition zeta(s)=0 forces an asymptotic compatibility between the two dominant components.	result 0.81	0.89	0.04	asserted 1.00
s4	This relation is formalized in a Bridge Lemma, which proves that zeros require asymptotic equality of the squared magnitudes \|X_N(s)\|^2 and \|Y_N(s)\|^2.	result 0.44	0.92	0.05	asserted 1.00
s5	A detailed asymptotic analysis then reveals that the ratio of these magnitudes exhibits three distinct regimes depending on the real part sigma=Re(s): divergence for sigma>1/2, collapse for sigma<1/2, and exact balance for sigma=1/2.	result 0.96	0.91	0.07	asserted 1.00
s6	This incompatibility of growth regimes produces a rigidity mechanism: the asymptotic balance required by the zero condition can occur only on the critical line.	interpretation 0.92	0.83	0.14	asserted 1.00
s7	Consequently, every nontrivial zero must satisfy Re(s)=1/2.	result 1.00	0.86	0.94	asserted 1.00
s8	The result provides a deterministic explanation for the location of the zeros, showing that the critical line emerges from an intrinsic structural constraint of the Dirichlet representation of the zeta function.	interpretation 1.00	0.88	0.20	asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read

arXiv listing abstract v1

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures

**Figure 1.** Real and imagi Figure 1: Real and imaginary wave profiles of 𝑍 analytic roles pp ltil

**Figure 2.** Numerical illustration of the Figure 2: Numerical illustration of the identity 𝑍

**Figure 3.** Numerically illustrates the Bridge Lemma for several known nontrivial zeros. The Figure 3: Numerically illustrates the Bridge Lemma for several known nontrivial zeros. The quantity The analytic component satisfies Therefore

**Figure 4.** illustrates the three asymptotic regimes of the ratio Figure 4: illustrates the three asymptotic regimes of the ratio 1/2, and convergence toward unity on the criti g 1/2and conergence toard niton the criti increases. The numerical behavior confirms the divergence for increasesThe numerical behavior confirms the divergence for hree asymptotic regimes of the ratio ∣ 𝑋(𝑠) ∣ 2/∣ 𝑌

**Figure 26.** Straight-line behavior of 𝑃𝑃(𝑛𝑛) = 𝑛𝑛/( 1 4 + 𝛽𝛽2)for several nontrivial zeros 𝑧𝑧 = 1 2 + 𝑖𝑖 of the Riemann zeta function. The slope depends only on the imaginary part of the zero and equals 1/( 1 4 + 𝛽𝛽2). 8. What It Means to Be a Zero of the Riemann Zeta Function A nontrivial zero of the Riemann zeta function is not merely a point at which a complex-valued function happens to vanish. Rather, it is a point at which several distinct analytic, oscillatory, geometric, and arithmetic structures simultaneously achieve exact balance. In this section we summarize the principal…

Showing 5 of the paper's 26 figures. See all figures in the PDF ↗ Figures reproduced from arXiv:2609.28529 by the authors.

References

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.