REVIEW
CA2 numbers and the Riemann hypothesis: a numerical investigation of Ramanujan's inequalities
Number Theory · Submitted 29 Oct 2026 · 12 references
Pith's verdict: Section 2.2 is a real, checkable derivation (Briggs's slope from Ramanujan's bounds); the numerical drift evidence is honest but rests on unreleased data and a borderline zero-sum truncation.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
Under RH, the paper derives log Δ(n) = −1/2 log log n + O(1) along colossally abundant numbers from Ramanujan's conditional bounds, explaining Briggs's observed slope, then probes the next term against a sum over zeta zeros.
The reading
What carries the argument
The load-bearing object is the normalized Robin gap $T(n)=\left(e^\gamma\log\log n-\sigma(n)/n\right)\sqrt{\log n}$ together with Ramanujan's two-sided bounds (2.4): along the CA numbers, $c_1\le\liminf T\le\limsup T\le c_2$ with $c_1\approx 1.3932$ and $c_2\approx 1.5578$. Boundedness of $T$ above and away from zero is exactly the mechanism that converts the multiplicative estimate for $\sigma(n)/n$ into the additive asymptotic law $\log\Delta(n)=-\frac{1}{2}\log\log n+O(1)$, because $\Delta(n)=T(n)/\sqrt{\log n}$ and $\log T(n)=O(1)$. For the next term the machinery is the convergent sum over zeros $R(n)=e^\gamma\left(2(\sqrt{2}-1)-2\sum_{j\ge1}\frac{\cos(t_j u)}{1/4+t_j^2}\right)$, which under RH lies between $c_1$ and $c_2$ and supplies Ramanujan's approximation to $T$; subtracting it defines the residuals $D$, $P=e^{-\gamma}D$, and $Q=uP$ displayed in the figures. The reduction machinery is Wu's theorem — RH holds if and only if Robin's inequality holds on CA2 above 5040 — which legitimizes the far sparser CA2 sample, together with the critical-parameter construction (2.8) that generates the CA sequence; the paper notes that Wu's reduction transfers to $G$ but not automatically to the residual $Q$.
Extended reading notes
Core claim
The paper's central claim is that the logarithmic decay law Keith Briggs observed numerically — $\log\Delta(n)\approx -\frac{1}{2}\log\log n$ along colossally abundant numbers, with $\Delta(n)=e^\gamma\log\log n-\sigma(n)/n$ — is a forced consequence of Ramanujan's conditional inequalities, not an empirical coincidence. Using the normalized gap $T(n)=\Delta(n)\sqrt{\log n}$, the paper recalls Ramanujan's bounds (2.4), which put the liminf and limsup of $T$ along CA numbers between $c_1\approx 1.3932$ and $c_2\approx 1.5578$; since $\Delta(n)=T(n)/\sqrt{\log n}$ and $\log T(n)=O(1)$, this yields $\log\Delta(n)=-\frac{1}{2}\log\log n+O(1)$ (equation 2.7), with a bounded remainder that is stronger than a leading-slope statement. The bounds themselves come from Ramanujan's posthumously published notes and from related work the paper cites; the paper's own contribution is the derivation of the log law, the record-value reduction of the test set, and the numerical comparison at the next order. In that comparison, $T(n)$ is measured against the oscillatory sum over zeta zeros $R(n)=e^\gamma\left(2(\sqrt{2}-1)-2\sum_{j\ge 1}\frac{\cos(t_j u)}{1/4+t_j^2}\right)$: the residual $D=R-T$ is small and slowly varying on both CA and CA2, while $Q(n)=e^{-\gamma}uD(n)$ rises from roughly $0.36$ to $1.25$ over the sampled range without settling. The paper states explicitly that the observations do not determine a limiting coefficient, and leaves the convergence of $Q$, the proposed bound $Q\le 3/2$, the equality of CA and CA2 limits, and the existence of a constant-coefficient asymptotic expansion as open questions.
Load-bearing premise
The derivation of the log law rests entirely on Ramanujan's two-sided bounds (2.4) — that along CA numbers the normalized gap $T(n)$ is eventually bounded away from zero by $c_1$ and eventually bounded above by $c_2$ — which the paper imports from [10] and [4] rather than proving; if either bound fails on the CA sequence, the bounded remainder in $\log\Delta(n)=-\frac{1}{2}\log\log n+O(1)$ collapses, and the numerical comparison with $R(n)$ presumes RH, as the authors acknowledge.
Editorial extensions
If this is right
- Briggs's observed slope is explained rather than fitted: under RH, any computation along CA numbers must show $\log\Delta(n)=-\frac{1}{2}\log\log n+O(1)$, so a materially different fitted slope would signal numerical error or a failure of Ramanujan's bounds.
- The record-value set $B$ of successive maxima of $G$ on CA2 is itself sufficient: Robin's inequality on $B$ is equivalent to RH, so the test set can be thinned below Wu's CA2 while preserving the reduction.
- Ramanujan's zero sum $R(n)$ tracks $T(n)$ closely on both CA and CA2 — the residual is small and slowly varying — supporting the view that the nontrivial zeta zeros shape $\sigma(n)/n$ at the next order of accuracy.
- If the eventual bound $Q(n)\le 3/2$ holds, then $T(n)\ge R(n)-\frac{3e^\gamma}{2\log\log n}$ eventually along CA numbers, turning Ramanujan's one-sided estimate into a two-sided effective inequality; the plotted data are consistent with the bound but do not determine a threshold.
- Because $Q$ does not stabilize over $14\lesssim u\lesssim 25$, the next coefficient in the proposed $1/u$ expansion of $P(n)$ has not been measured; distinguishing convergence from persistent oscillation requires longer ranges and more retained zeros, with the tail error pushed below the changes being measured.
Reading between the lines
- If the paper's equation (2.7) is right, the $-1/2$ slope becomes a cheap consistency check for any computational CA generator: confirming the bounded remainder is a diagnostic independent of the subtler residual analysis. The paper does not propose this use.
- The record-value reduction raises a sharper version of Question 2: can membership in $B$ be decided without evaluating $G$ on every CA2 point, and do iterated record rules produce test sets of density zero within CA2 whose union would still catch any RH counterexample?
- Wu's open multiplier-2 case (Question 1) is directly testable from the paper's own transition data: a single CA3 step with multiplier 2 whose $G$ increment is negative would answer Wu's question negatively.
- The drift of $Q$ from about 0.36 to 1.25 across one decade of $u$ is too short to distinguish a slow divergence from a long oscillation; the discriminating experiment is windowed extrema of $Q$ on equal $u$-windows over both CA and CA2 — statistics the paper explicitly says its curves do not yet supply.
Original abstract
Robin's criterion reduces the Riemann hypothesis to an inequality for colossally abundant (CA) numbers, and Wu's theorem reduces the test further to the subclass CA2. We study this reduction numerically and consider smaller subsets on which the same criterion remains sufficient. We also show that the logarithmic decay law suggested by Briggs's computations follows from Ramanujan's conditional bounds. To investigate the next term, we compare the normalized Robin difference with Ramanujan's oscillatory expression involving the nontrivial zeros of the zeta function. The resulting difference has a slowly varying component on both CA and CA2. Its scaled values continue to vary over the computed range, leading to questions about convergence, upper bounds, and higher-order terms. We describe the sampling used in the figures and estimate the error from truncating the sum over zeros.
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.
The abstract, sentence by sentence
Robin's criterion reduces the Riemann hypothesis to an inequality for colossally abundant (CA) numbers, and Wu's theorem reduces the test further to the subclass CA2. We study this reduction numerically and consider smaller subsets on which the same criterion remains sufficient. We also show that the logarithmic decay law suggested by Briggs's computations follows from Ramanujan's conditional bounds. To investigate the next term, we compare the normalized Robin difference with Ramanujan's oscillatory expression involving the nontrivial zeros of the zeta function. The resulting difference has a slowly varying component on both CA and CA2. Its scaled values continue to vary over the computed range, leading to questions about convergence, upper bounds, and higher-order terms. We describe the sampling used in the figures and estimate the error from truncating the sum over zeros.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Robin's criterion reduces the Riemann hypothesis to an inequality for colossally abundant (CA) numbers, and Wu's theorem reduces the test further to the subclass CA2. | background 1.00 | 0.05 | 0.08 | asserted 1.00 |
| s1 | We study this reduction numerically and consider smaller subsets on which the same criterion remains sufficient. | contribution 0.99 | 0.90 | 0.07 | asserted 0.83 |
| s2 | We also show that the logarithmic decay law suggested by Briggs's computations follows from Ramanujan's conditional bounds. | result 0.95 | 0.88 | 0.19 | asserted 1.00 |
| s3 | To investigate the next term, we compare the normalized Robin difference with Ramanujan's oscillatory expression involving the nontrivial zeros of the zeta function. | method 0.85 | 0.87 | 0.04 | asserted 0.86 |
| s4 | The resulting difference has a slowly varying component on both CA and CA2. | result 1.00 | 0.87 | 0.12 | asserted 1.00 |
| s5 | Its scaled values continue to vary over the computed range, leading to questions about convergence, upper bounds, and higher-order terms. | interpretation 0.65 | 0.86 | 0.13 | asserted 0.90 |
| s6 | We describe the sampling used in the figures and estimate the error from truncating the sum over zeros. | method 0.99 | 0.93 | 0.03 | asserted 0.98 |
What was examined, and what was not
- arXiv listing abstract v1
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
Figures
Figures reproduced from arXiv:2610.39120 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.