{"id":"21896f1e-4ed9-4816-bec2-59c2f44631a0","arxiv_id":"2508.10857","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Under RH and the Alternative Hypothesis, the densities P_{k/2} of zero pairs at normalized spacing k/2 satisfy P_{k/2} ~ P_0 - 1/2 (even k) and P_{k/2} ~ 3/2 - 2/(π^2 k^2) - P_0 (odd k), with 1 ≤ P_0 ≤ 3/2 - 2/π^2; a strengthened hypothesis yields P_0 = 1.","lead":"This math paper works out consequences of the 'Alternative Hypothesis' for the zeros of the Riemann zeta function, a rival to the standard pair-correlation picture. It shows that under the Riemann Hypothesis the hypothesis forces explicit relations between the densities of zero pairs at half-integer spacings, and that a stronger version implies the Essential Simplicity Hypothesis.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 2's proof loses log^2 T factors: Strong AH-Pairs as stated appears insufficient to force p0=1.","rationale":"The paper is a careful conditional analysis: it assumes RH and an Alternative-Hypothesis-type spacing condition and derives constraints on pair densities. The Fourier kernels in Lemma 4 and the overall architecture are sound, and the paper honestly acknowledges tensions such as AH-Density. However, the reader's weakest-assumption concern is real and load-bearing. The error terms in Lemma 3 and in the proof of Theorem 2 acquire extra log^2T or log^3T factors when normalized by the main term T/(2π log T). Merely having R(T)→0, or even R(T)log T→0, does not make these normalized errors tend to zero. The gap is quantitative and likely repairable by assuming a faster decay for R(T) or by a more refined counting argument that exploits cancellation among nearby half-integer bins. Since the identified flaw is real but not obviously fatal to the program, the appropriate verdict remains CONDITIONAL, matching the reader's assessment.","tokens_in":22603,"tokens_out":19818,"duration_ms":213974,"concrete_test":"Recompute the displayed equation after (4.1) keeping all powers of log T. Concretely, take R(T)=1/log^{3/2}T, so R(T)log T→0, and choose M=log^{1/4}T; verify that MR(T)log^3 T→∞. Then check whether any choice M(T)→∞ can simultaneously make MR(T)log^3 T→0 and log^2 T/M^2→0 under only R(T)log T→0. If no such choice exists, Theorem 2 requires the stronger hypothesis R(T)=o(1/log^3 T) or a sharper accounting of the B_k/2 sums.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section 4, proof of Theorem 2, the contribution from pairs with k≠0 is bounded by O(R(T)|Q(T,M)|)=O(MR(T)T log^2 T) using (3.2) with h=M. Since the main term is P0 T/(2π log T), dividing by T/(2π log T) gives a relative error O(MR(T) log^3 T), not the printed O(MR(T) log T). Thus the final line P0=1+O(1/M^2)+O(1/√log T)+O(MR(T) log T) should read P0=1+O(log^2 T/M^2)+O(MR(T) log^3 T)+... (the MT error term also needs checking). Letting T→∞ with only R(T) log T→0 does not make MR(T) log^3 T vanish for arbitrary M; for example R(T)=log^{-3/2}T satisfies the stated decay but MR(T) log^3 T→∞ for M growing like a positive power of log T. A balancing choice of M=M(T) would require R(T)=o(1/log^3 T), which is strictly stronger than Strong AH-Pairs. The same issue affects Theorem 1: Lemma 3's error O(M^2R(T)T log T) in (2.7), when divided by the main factor T/(2π log T), is O(M^2R(T) log^2 T), so AH-Pairs with merely R(T)→0 is insufficient. These are load-bearing because they are precisely the steps that conclude p0=1 and the density relations.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper assumes the Riemann Hypothesis together with the Alternative Hypothesis in a quantitative 'AH-Pairs' form, in which normalized differences of zero ordinates are constrained to be close to half-integers k/2. Defining densities P_{k/2} for the number of zero pairs in bins around k/2, it claims in Theorem 1 that 1+o(1) ≤ P0 ≤ 3/2 − 2/π² + o(1) and gives asymptotic relations linking P_{k/2} to P0 for even and odd k. Theorem 2 introduces a stronger 'Strong AH-Pairs' condition and claims P0 → 1, hence the Essential Simplicity Hypothesis. A model for the pair-correlation function F(α) is derived in Theorem 3, a related constant is computed in Corollary 4, and Theorem 4 derives a version of Montgomery's pair-correlation sum from the 'AH-Density' relations. The proofs follow Montgomery's Fourier-kernel method, using MT and Lemmas 1–6.","tokens_in":2155,"tokens_out":2306,"duration_ms":281368,"significance":"If the results were correct as stated, they would give a nearly complete determination of the density of zero pairs under a plausible alternative to the pair-correlation conjecture, and would show that a stronger form of AH implies that almost all zeros are simple. This would be a notable contribution to the study of the Alternative Hypothesis and to the program of relating zero-spacing assumptions to consequences for zero multiplicities. The paper contains substantial original technique, especially the use of the special Fourier kernels in Lemma 4 and the smoothed averaging arguments of Lemmas 5–6. At the same time, the significance is conditional and modest: the conclusions are deduced from hypotheses that are themselves far from being established, and the paper's own Theorem 4 is a consistency statement rather than an independent derivation of Montgomery's theorem.","major_comments":[{"comment":"The displayed normalization is internally inconsistent. With N(T) ~ T/(2π) log T from (1.1), the average spacing is 2π/log T, so the normalized difference should be (γ−γ′) log T/(2π), as in (1.3). However (1.2) and (1.4) define P(T,M) and B_{k/2} using |γ−γ′|/(2π log T) ≤ M, and (1.5) normalizes |B_{k/2}| by T/(2π log T), a factor (log T)^2 smaller than N(T). Taken literally, the diagonal pairs γ=γ′ alone give P0 ≥ N(T)/(T/(2π log T)) ~ 2π (log T)^2, contradicting Theorem 1's assertion that P0 = O(1). The same erroneous factor appears in (1.8), (2.5), (2.7), and (2.11). This is load-bearing: all of the density relations and the error-term bookkeeping depend on this normalization. The paper must be re-read with the corrected choices N(T) ~ T/(2π) log T and (γ−γ′) log T/(2π) as the normalized difference; as printed, the theorems are not well posed.","section":"§1, eqs. (1.1)-(1.8); §2, eqs. (2.5), (2.7)"},{"comment":"Independently of the normalization issue, the proof of Theorem 1 as printed contains an error-term mismatch. Lemma 3 gives an error O(M^2 R(T) T log T) in (2.7). Dividing by the displayed main factor T/(2π log T) yields O(M^2 R(T) log^2 T), not the printed O(M^2 R(T)). Since AH-Pairs only assumes R(T) → 0, the term M^2 R(T) log^2 T need not vanish, and the conclusion P0 + (−1)^{n+1}P_{n/2} ∼ ... does not follow by taking T first and then M large. If the normalization is corrected to N(T) ~ T/(2π) log T, this particular mismatch disappears; but as the manuscript stands, the proof of (1.5)–(1.6) is incomplete.","section":"§3, Lemma 3 and proof of Theorem 1"},{"comment":"The same type of error occurs in Theorem 2. The contribution of k ≠ 0 is bounded by O(R(T)|Q(T,M)|) = O(M R(T) T log^2 T). Dividing by T/(2π log T) gives O(M R(T) log^3 T), not O(M R(T) log T) as printed in the penultimate display of the proof. Consequently, the final assertion P0 = 1 + O(1/M^2) + O(1/√log T) + O(M R(T) log T) is not justified by Strong AH-Pairs, which only gives R(T) log T → 0. Balancing M = M(T) would require R(T) = o(1/log^3 T), a strictly stronger hypothesis than the one stated. With the corrected normalization N(T) ~ T/(2π) log T, the printed bound would be O(M R(T) log T) and the proof would go through; but as written, Theorem 2 is not established.","section":"§4, proof of Theorem 2, around (4.1)"}],"minor_comments":[{"comment":"The normalized ordinate is defined as eγ := γ/(2π log γ), but with this definition the consecutive distance is 1/(log γ)^2, not asymptotic to 1. The intended definition is presumably eγ := (γ/(2π)) log γ (or γ/(2π) log(γ/2π)). This affects the intuition for all subsequent definitions.","section":"§1, definition of eγ"},{"comment":"The text itself states that Theorem 4 'could be viewed as using a false assumption to prove a true theorem.' Since AH-Density already contains exactly the relations that Theorem 1 would produce, Theorem 4 is a consistency check rather than independent evidence for AH. This is not a load-bearing flaw, but the framing should be adjusted so that the result is not over-advertised.","section":"§2, Theorem 4 and subsequent paragraph"},{"comment":"Lemma 3 is stated for r as in Lemma 2 (r ∈ L1, bounded, with algebraic decay), but the proof uses the Fourier transform of r to derive a Lipschitz bound on r. These hypotheses do not imply that the Fourier transform is in L1. All applications use r = g_n or a triangle kernel, for which the extra property holds; the lemma should state this additional hypothesis explicitly.","section":"§3, Lemma 3"},{"comment":"The size of the error term in (2.11) is written as O(T√log T) at one point and O(T/√log T) at another; after dividing by the correct main term N(T), the relative error should be O(1/√log T). Please check and unify the displayed error terms.","section":"§2, eq. (2.11) and §4"},{"comment":"Equation (2.16) uses the same symbol F for the actual pair-correlation function and for the model density in (2.12). This is likely a typesetting issue, but it makes the statement of Theorem 3 hard to parse; use a distinct notation such as F_model.","section":"§2, eq. (2.16)"}],"recommendation":"major_revision","confidential_remarks":"The most serious problem is a systematic normalization error: the manuscript appears intended to use N(T) ~ T/(2π) log T and normalized differences (γ−γ′) log T/(2π), but several displayed equations have T/(2π log T) and (γ−γ′)/(2π log T), off by a factor (log T)^2. If this is a purely typographical issue in the provided text, the error-term concern from the stress test also disappears, because the claimed relative errors become correct after dividing by T/(2π) log T. However, the submitted manuscript cannot be accepted with these inconsistencies unresolved. The intellectual core—the Fourier-kernel extraction of density relations and the strong-AH implication for p0=1—is plausible and worth pursuing, but the authors need to correct the normalization throughout and re-verify the error terms. I would not recommend rejection if the normalization issue is a fixable typo, but the revision must be checked carefully by the authors."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nI read the paper carefully and I think the reader's stress-test is on target. In the proof of Theorem 2, the contribution from k not equal to 0 is bounded by O(R(T)|Q(T,M)|)=O(MR(T)T log^2 T). Dividing by T/(2 pi log T) gives relative error O(MR(T) log^3 T), not the printed O(MR(T) log T). The same issue appears in Theorem 1: Lemma 3's error O(M^2R(T)T log T), divided by T/(2 pi log T), is O(M^2R(T) log^2 T), not O(M^2R(T)). With only R(T)->0 or even R(T)log T->0, these terms need not vanish. For example, R(T)=log^{-3/2}T satisfies Strong AH-Pairs, but for fixed M, MR(T)log^3 T tends to infinity. So the conclusion p0=1 is not established as stated. There is also a separate error-term concern in the starting estimate (2.11): the O(T/sqrt(log T)) error, divided by T/(2 pi log T), gives a relative error O(sqrt(log T)), which does not vanish, so the final O(1/sqrt(log T)) in Theorem 2 likely needs rechecking.\n\nThat said, the paper is not a throwaway. Theorem 2's implication - Strong AH-Pairs plus RH forcing p0=1 and hence ESH - is genuinely new and interesting. Theorem 1's explicit per-k density relations also extend Baluyot's earlier work and give a nearly complete description of AH-compatible pair densities. The organization is good, the citations look appropriate, and the authors are upfront about the mild circularity in the AH-Density version, which is good practice.\n\nThe soft spot is concentrated in the error-term bookkeeping in the proofs of Theorems 1 and 2. I suspect it is repairable either by strengthening the decay of R(T) to o(1/log^2 T) or o(1/log^3 T), or by a more delicate argument that avoids the extra log factors. But as written, the main theorems are not proven under the stated hypotheses.\n\nWho gets value from this? Anyone working on the Alternative Hypothesis or pair correlation of zeta zeros. The paper deserves a serious referee - it has real ideas and a specific, likely fixable gap. I would send it to review, but I would not cite it in its current form until the error terms are corrected.","headline":"The paper's new Strong AH-Pairs => p0=1 result is not proven as written: the error terms lose log^2 and log^3 factors, so the stated decay hypotheses are too weak to force the conclusion.","tokens_in":844,"tokens_out":1571,"would_cite":false,"duration_ms":160777,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11M06","11M26"],"pacs":[],"model":"deepseek-v4-flash","headline":"Under the Riemann Hypothesis and a strengthened Alternative Hypothesis, almost all zeros of the zeta-function are simple.","keywords":["Riemann zeta-function","zeros","Alternative Hypothesis","pair correlation","zero multiplicity","Essential Simplicity Hypothesis","Montgomery's theorem"],"falsifier":"Compute $P_0(T)$ for zeros up to large height and show $\\limsup P_0$ exceeds $\\tfrac32 - \\tfrac{2}{\\pi^2}\\approx 1.2974$, contradicting Theorem 1; or exhibit a sequence satisfying RH and AH-Pairs with $R(T)\\log T\\to 0$ for which $P_0$ has no limit or a limit other than 1, contradicting Theorem 2.","tokens_in":22459,"feed_emoji":"🔢","tokens_out":6108,"duration_ms":60144,"temperature":0.7,"pith_summary":"This paper derives the full set of consistency relations that the Alternative Hypothesis imposes on the spacings of zeros of the Riemann zeta-function, conditional on the Riemann Hypothesis. It shows that the density $P_0$ of zero pairs at nearly identical height, the quantity that measures how many zeros coincide or nearly coincide, determines the densities of all other pair spacings, which are forced to cluster at half-integer multiples of the average spacing. The authors then formulate a stronger error condition and prove that it forces $P_0 = 1$, which is the Essential Simplicity Hypothesis: almost all zeros are simple and distinct zeros are not unusually close. If these hypotheses are right, a purely arithmetic spacing rule, not the random-matrix GUE model, governs the fine structure of the zeta zeros.","feed_headline":"Alternative Hypothesis forces almost all zeta zeros to be simple","feed_subtitle":"If the strengthened Alternative Hypothesis holds, zeta zeros must sit at half-integer spacings and almost all are simple.","key_machinery":"The central machinery is a Fourier-pair argument that feeds the Alternative Hypothesis into Montgomery's pair-correlation function $F(\\alpha)$. The kernels $g_n(\\alpha)=\\sin^2(n\\pi\\alpha/2)$ on $|\\alpha|\\le 1$ (with cosine for odd $n$) have transforms $\\hat g_n(t)=\\frac{\\sin(2\\pi t)}{2\\pi t}\\frac{n^2}{n^2-4t^2}$, which vanish at every half-integer $k/2$ except $0$ and $\\pm n/2$. Applying $g_n$ through MT-Pairs isolates the pair densities $P_0$ and $P_{n/2}$ and gives $P_0+(-1)^{n+1}P_{n/2}\\sim \\tfrac12$ for even $n$ or $\\tfrac32-\\tfrac{2}{\\pi^2 n^2}$ for odd $n$. For Theorem 2, the sine kernel from Montgomery's Corollary 1 is used under Strong AH-Pairs, which permits truncation to difference","core_discovery":"Assuming RH, define $P_{k/2}(T)$ as the normalized count of pairs of zeros with imaginary parts in $[T/\\log^2 T, T]$ whose difference is within a small $\\delta$ of $k/2$ times the average spacing $2\\pi/\\log T$. Under the Alternative Hypothesis for pairs (AH-Pairs), every admissible pair lies within $O((|k|+1)R(T))$ of such a half-integer, with $R(T)\\to 0$. Theorem 1 shows that $1+o(1)\\le P_0 \\le \\tfrac32 - \\tfrac{2}{\\pi^2} + o(1)$, and for $k\\ne 0$, $P_{k/2}\\sim P_0 - \\tfrac12$ if $k$ is even, while $P_{k/2}\\sim \\tfrac32 - \\tfrac{2}{\\pi^2 k^2} - P_0$ if $k$ is odd. In particular, if any one limiting density $p_{k/2}$ exists, all do. Theorem 2 strengthens the error term to $R(T)\\log T \\to 0$","pith_inferences":["If the sharp error in Strong AH-Pairs could be derived from the original AH statement rather than assumed, Theorem 2 would upgrade to a proof that AH itself implies essential simplicity.","The half-integer spacing rule predicts a stair-step $F(\\alpha)$ that could be distinguished from the GUE model by computing higher-order correlations beyond the pair level.","The consistency relations are numerically testable: existing zero data at available heights should show $P_0(T)$ near 1 if AH is correct, and near the upper bound $\\tfrac32-\\tfrac{2}{\\pi^2}\\approx 1.2974$ in the opposite extreme.","The kernel method suggests that Fourier pairs vanishing at all half-integers except a prescribed set could be used to derive analogous constraints on triple or higher correlations under AH."],"forward_implications":["If the limiting density $p_0$ exists, then every $p_{k/2}$ exists and satisfies the stated formulas; for $p_0=1$, even spacings have density $\\tfrac12$ and odd spacings have density $\\tfrac12 - \\tfrac{2}{\\pi^2 k^2}$.","Under Strong AH-Pairs, the Essential Simplicity Hypothesis follows: almost all zeros are simple and distinct zeros are not closer than the average spacing.","Montgomery's $F(\\alpha)$ is determined on $[0,2]$ as $\\min(\\alpha,2-\\alpha)+\\delta_0+2(P_0-1)\\delta_1$, with period $2$, showing AH gives a periodic, non-GUE pair correlation.","The constant $C$ in the second moment of $S(T)$ becomes $1+\\left(\\tfrac32(p_0-1)+\\tfrac14\\right)\\tfrac{\\pi^2}{6}+\\tfrac{\\log 2}{\\pi}$ when $p_0$ exists.","A version of Montgomery's pair-correlation theorem is recovered from AH-Density without assuming RH or explicit formulas."],"supporting_citations":[{"why":"Introduced the 2016 formulation of the Alternative Hypothesis and the pair-difference reformulation (Lemma 5.1) on which AH-Pairs is based.","marker":"[Bal16]"},{"why":"Supplied the pair-correlation function $F(\\alpha)$, the kernel method, and the sine-kernel Corollary 1 used in the proofs of Theorems 1 and 2.","marker":"[Mon73]"},{"why":"Provided the refined Montgomery theorem and the zero-counting estimates used in Lemmas 2 and 3.","marker":"[GM87]"},{"why":"Origin of the Alternative Hypothesis from the Landau-Siegel zero scenario and source of the smoothing lemma used in Section 5.","marker":"[HB96]"},{"why":"Defined the Essential Simplicity Hypothesis that Theorem 2 targets.","marker":"[Mue83]"},{"why":"Proved compatibility of AH with higher correlations under a simplicity assumption, which the present density framework extends.","marker":"[LR20]"},{"why":"Provides the best known bound on $P_0$ under RH alone, used in Remark 4 as the comparison for the new upper bound.","marker":"[CGdL20]"}],"fun_headline_variants":["Strong Alternative Hypothesis forces almost all zeta zeros simple","Zeta zeros forced to half-integer spacings under AH","Alternative Hypothesis constrains zeta zero pair densities","Zeta zero multiplicities restricted by Alternative Hypothesis","Half-integer spacing for zeta zeros under AH"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The load-bearing premise is that every sufficiently close pair of zeta zeros has a normalized difference within $O((|k|+1)R(T))$ of a half-integer multiple of the average spacing, with $R(T)\\to 0$; for the simplicity result the error must shrink fast enough that $R(T)\\log T\\to 0$.","fun_headline_variants_meta":{"raw":{"variants":["Strong Alternative Hypothesis forces almost all zeta zeros simple","Zeta zeros forced to half-integer spacings under AH","Alternative Hypothesis constrains zeta zero pair densities","Zeta zero multiplicities restricted by Alternative Hypothesis","Half-integer spacing for zeta zeros under AH"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001593,"raw_usage":{"total_tokens":6187,"prompt_tokens":744,"completion_tokens":5443,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":488,"completion_tokens_details":{"reasoning_tokens":5367}},"tokens_in":488,"tokens_out":5443,"duration_ms":41660,"temperature":1.0,"reasoning_tokens":5367,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T20:16:13.876572+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $P_0(T)$ for zeros up to large height and show $\\limsup P_0$ exceeds $\\tfrac32 - \\tfrac{2}{\\pi^2}\\approx 1.2974$, contradicting Theorem 1; or exhibit a sequence satisfying RH and AH-Pairs with $R(T)\\log T\\to 0$ for which $P_0$ has no limit or a limit other than 1, contradicting Theorem 2.","supporting_citations":[],"review_version":1}