Pith. Sign in

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

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 30, 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.

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

How Pith checks papers →

· 3 major objections · 4 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID2610.39120 (version 1)
Pith IDASYOZ6P4, Pith's permanent record of this paper and its review
CitationDmitry R. Leshchiner, James Thompson, Oleg R. Musin. "CA2 numbers and the Riemann hypothesis: a numerical investigation of Ramanujan's inequalities." arXiv:2610.39120 (2026). https://pith.science/paper/ASYOZ6P4
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

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

Robin's criterion ties the Riemann hypothesis to a single inequality involving the sum of divisors, and the inequality need only be checked on the colossally abundant (CA) integers, which maximize $\sigma(n)/n^{1+\epsilon}$; Wu's theorem narrows that check to the sparse subclass CA2. The paper's main result is that, under RH, Ramanujan's conditional bounds force the decay law $\log\Delta(n) = -\frac{1}{2}\log\log n + O(1)$ along CA numbers, where $\Delta(n)$ is the gap between $e^\gamma\log\log n$ and $\sigma(n)/n$; this turns the slope seen in Briggs's computations into a theorem with a bounded remainder rather than a fitted trend. The numerical half of the paper compares the normalized gap $T(n)$ with Ramanujan's oscillatory expression $R(n)$ built from the nontrivial zeta zeros: the residual is small and slowly varying, while the scaled residual $Q(n)=e^{-\gamma}uD(n)$ keeps drifting across the sampled range without stabilizing, so the next coefficient remains unmeasured. The paper also shows that testing Robin's inequality only on the record values of $G(n)=\sigma(n)/(n\log\log n)$ on CA2 preserves the equivalence to RH, and it sets out open questions on convergence, an eventual upper bound $Q\le 3/2$, and whether CA2 reproduces the full CA residual envelope.

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

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

  • 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.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-30: 1 request, 5,476 input tokens.

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

The abstract, sentence by sentence

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

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

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
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 kind of paper the classifier reports this is: simulation study 0.90 · evidence from simulation or computation 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. Overview of G(n) = σ(n)/(n log log n). The displayed values remain below e γ . On this scale the local oscillations are difficult to see and most points appear green (CA3)
Figure 2. Enlarged views of G. Blue CA1 points occur on descending portions, while orange/red CA2 points appear near changes of behavior. These plots resolve variations that are not visible in
Figure 3. The curves labeled T(n) and R(n) on the CA2 sample, with horizontal coordinate u = log log n. Their visible oscillations are similar, but the vertical separation changes across the range. The figure includes every point of our CA2 sample
Figure 4. Residual scales on sampled CA numbers. Left:
Figure 5. shows the positions of the CA2 sample and its residual. The points are sparse and unevenly spaced on the u axis. Nevertheless, the broad increase and the small oscillations of the residual resemble those of the entire CA sequence sampled in
Figure 6. Class-colored residual: overview and detail. The vertical axes show

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.