{"id":"fe9ac54a-2623-44ea-a254-5331554e0239","arxiv_id":"2509.07329","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":4,"one_line_summary":"A band-limited Fejer-averaged test scheme is claimed to bound the KL-regularized prime-zero optimal transport cost by O(T log^2 T) without the Riemann Hypothesis.","lead":"This paper claims an unconditional upper bound of order T log^2 T for a KL-regularized optimal transport cost between prime powers and zeta zeros. The proof uses a Fejer-averaged test function and a smoothed explicit formula, but the key analytic lemma is unproved.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Central bound fails: Proposition 4.2's claimed ∥h∥1≍T cannot hold for h=η f Rhat F_Λ with Λ=T^α and ∥Rhat f∥1≍T^{-1}; Theorem 5.1 also drops the unbound main term M from Proposition 4.1.","rationale":"The reader's REJECT is supported. The most decisive problem is that Proposition 4.2's size estimates cannot be simultaneously true: the Fejér tent Rhat F_Λ(t)=(1-|t|/Λ)_+ has time support [-Λ,Λ]=[-T^α,T^α], so h is supported there, and the normalization ∥Rhat f∥1≍T^{-1} forces |f|≤O(T^{-1}), hence ∥h∥1=O(T^{α-1})=o(1). This contradicts ∥h∥1≍T and breaks the final estimate. Additionally, Theorem 5.1's last step is a non sequitur: Proposition 4.1 decomposes the difference as M+E, but only E is bounded; M is silently omitted. Both gaps are load-bearing, and the concrete L1 computation settles the first. The paper does not supply an independent verification, so the central T log^2 T bound is unsupported.","tokens_in":3733,"tokens_out":21443,"duration_ms":241921,"concrete_test":"Compute ∥h∥1 for the construction in (1.5) with the stipulated normalization ∥Rhat f∥1 ≍ T^{-1} and Λ=T^α. For instance take Rhat f=T^{-1}δ_0, so f≡T^{-1}; then h(t)=η(t)T^{-1}(1-|t|/T^α)_+, supported in [-T^α,T^α], giving ∥h∥1≤C T^{α-1}→0, not ≍T. This contradicts Proposition 4.2 and invalidates the size input to Theorem 5.1.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central estimate Theorem 5.1 is not established. First, Proposition 4.2 is internally inconsistent with (1.5). Since Rhat F_Λ(t)=(1-|t|/Λ)_+ is supported on [-Λ,Λ]=[-T^α,T^α], h(t)=η(t)f(t)Rhat F_Λ(t) vanishes outside that interval. The normalization S=∥Rhat f∥1≍T^{-1} gives |f(t)|≤S/(2π)=O(T^{-1}), and η is bounded on [-Λ,Λ], so ∥h∥1≤CΛS=O(T^{α-1})=o(1). This contradicts the asserted ∥h∥1≍T in Proposition 4.2, so the proof of Theorem 5.1 cannot use (4.3) to obtain a T log^2 T bound. Second, even granting (4.3), the last step of Theorem 5.1 is a non sequitur: Proposition 4.1 gives D=M+E with |E|≤(∥h∥1+∥Rhat h∥1)log^2 T, but M is never bounded. The proof writes D=O((∥h∥1+∥Rhat h∥1)log^2 T), silently omitting M. No lemma supplies such a bound for M, and the zero-frequency calibration (3.1) only concerns S∫ηm=∫hm, not M. Thus both the size input and the final inequality chain fail.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims an unconditional upper bound OT_η(T) ≪ T log² T for a KL-regularized unbalanced optimal-transport cost between smoothed prime and zero distributions. The argument proceeds through a Fejér-averaged dual bound (Proposition 2.1), a zero-frequency calibration (Section 3), and an L¹-controlled smoothed explicit formula (Proposition 4.1) whose error is bounded by (∥h∥₁+∥ĥ∥₁)log² T. Theorem 5.1 combines these ingredients with Paley–Wiener size estimates (Proposition 4.2) to conclude the T log² T bound without assuming RH.","tokens_in":4250,"tokens_out":4045,"duration_ms":46344,"significance":"If the proof were correct, the result would be a notable baseline: an unconditional polynomial bound for a prime–zero transport distance, with the T log² T form obtained through explicit-formula error terms rather than RH. The Fejér synchronization identity and the averaged dual inequality are interesting and potentially reusable. However, the central analytic input is asserted rather than proved, the size estimates used to close the argument are internally inconsistent with the construction, and the main term in the explicit formula is never bounded. As it stands, the manuscript does not establish Theorem 5.1.","major_comments":[{"comment":"The asserted size ∥h∥₁ ≍ T is inconsistent with the definitions. Since ĥ₀? More precisely, h = η f RF_Λ, and RF_Λ(τ) = (1 - |τ|/Λ)_+ is supported on [-Λ, Λ] = [-T^α, T^α]. With S = ∥Rf∥₁ ≍ T^{-1}, the even probe f satisfies |f(t)| ≤ S/(2π) = O(T^{-1}) pointwise. With η bounded on the support of RF_Λ, this gives ∥h∥₁ = ∫ |η(t) f(t) RF_Λ(t)| dt ≤ C Λ S = O(T^{α-1}) = o(1). This contradicts (4.3), so the proof of Theorem 5.1 cannot invoke Proposition 4.2 to obtain a T log² T bound.","section":"§4, Proposition 4.2 versus (1.5)"},{"comment":"The proof drops the main term M(h;T,Ω) of Proposition 4.1 without any estimate. Proposition 4.1 gives ∫ĥ dμ_Ω - ∫h dν_T = M + E with |E| ≤ C(∥h∥₁+∥ĥ∥₁)log² T. The proof then writes the left side as O((∥h∥₁+∥ĥ∥₁)log² T). This is valid only if M is of the same order. No lemma or argument bounds M; the zero-frequency calibration (3.1) relates only S∫ηm and ∫hm, and does not control M. Thus the final inequality chain is a non sequitur.","section":"§5, Theorem 5.1 proof, Eq. (4.1)–(4.2)"},{"comment":"Proposition 4.1 is the load-bearing analytic result: it is an L¹-controlled smoothed explicit formula with explicit error dependence on ∥h∥₁+∥ĥ∥₁ and uniformity in T. It is asserted without proof or a precise reference to an existing theorem that delivers this exact form. Moreover, Corollary 3.1 already invokes “the same L¹-controlled explicit formula” to bound the calibration error, before Proposition 4.1 has been stated or proved. This is not a presentation gap but a missing proof of the central estimate.","section":"§4, Proposition 4.1 and §3, Corollary 3.1"}],"minor_comments":[{"comment":"The Beurling–Selberg majorant η is asserted to exist with all required properties (η=1 on [0,T], ĥη≥0, ∥ĥη∥₁ ≍ T, and L¹-controlled boundary ringing) but no construction or Vaaler reference is given with enough detail to verify these properties simultaneously. A precise lemma with constants would help.","section":"§1, construction of η"},{"comment":"The proof writes an explicit-formula error as O(∥h∥₁+∥ĥ∥₁) after stating it is ≪ (∥h∥₁+∥ĥ∥₁)log² T. The justification “under the final bound” is nonstandard; the log² T factor should be retained throughout or the absorption explicitly quantified.","section":"§3, Corollary 3.1 proof"},{"comment":"The primal definition of OT_η(T) is never stated. The reader must infer it from the dual formulation. Please include the Kantorovich-type definition, the role of η, and the normalizations, so that the claimed upper bound is unambiguous.","section":"General notation"}],"recommendation":"reject","confidential_remarks":"The manuscript is very short and relies on a nontrivial unproved explicit formula; even granting that, the size estimate in Proposition 4.2 contradicts (1.5). I see no straightforward repair within the current scope that would preserve the claimed proof."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The construction is genuinely new in spirit: Fejer-synchronizing the zero variable before taking the dual, then calibrating the zero frequency to kill the main density, is a clever way to turn a pointwise transport bound into an averaged one. The paper also correctly recognizes that an L1-controlled explicit formula would be the right tool. If the technical pieces worked, the T log^2 T bound would be a reasonable baseline result. So the paper is not empty.\n\nThe problem is that the technical pieces do not work. Proposition 4.2 is internally inconsistent with (1.5). Since \\hat F_Λ is supported on [-Λ,Λ]=[-T^α,T^α], the function h(t)=η(t)f(t)\\hat F_Λ(t) vanishes outside that interval. And the normalization S=∥\\hat f∥_1≍T^{-1} forces |f(t)|≤S/(2π)=O(T^{-1}) on the whole real line. So ∥h∥_1≤C·Λ·T^{-1}=O(T^{α-1})=o(1), which contradicts the asserted ∥h∥_1≍T. This is not a subtle gap; the claimed scaling cannot hold for the very definitions in the paper.\n\nEven if that were fixed, Theorem 5.1 has a second load-bearing problem. Proposition 4.1 is itself asserted without proof, and it gives the difference as M+E with E bounded by the L1 norms times log^2 T. The proof then silently drops M. No lemma bounds M in terms of the L1 norms or anything else. The zero-frequency calibration (3.1) only controls the integral against m, not the archimedean/main term M. So the final chain of inequalities is a non sequitur even granting (4.1).\n\nThe paper also does not compare against any prior prime-zero optimal transport work, which limits its novelty claim, but that is a minor issue compared to the proof failures. The citations themselves are fine; the references are standard and appropriate.\n\nWho is this for? A reader curious about whether optimal transport methods can say anything about primes and zeros might find the setup worth a skim, but the paper does not establish the advertised result. My recommendation is to reject. The author is clearly thinking about an interesting problem, and the Fejer-averaging idea might be salvageable, but as it stands the central proof is internally unsound. A rewrite that proves the explicit formula and fixes the scaling would deserve another look.","headline":"The Fejer-averaging idea is a nice twist, but the central bound collapses because the probe scaling is internally inconsistent and the main term in the explicit formula is never bounded.","tokens_in":4612,"tokens_out":3032,"would_cite":false,"duration_ms":37206,"reading_group":"maybe","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["11M26","11M06","49Q22"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims an unconditional T log^2 T upper bound for the KL-regularized prime–zero optimal transport cost, obtained by Fejér-averaged dual feasibility and an L1-controlled smoothed explicit formula.","keywords":["KL-regularized optimal transport","prime zeros","zeta zeros","Beurling–Selberg kernel","Fejér averaging","smoothed explicit formula","unconditional upper bound"],"falsifier":"For a concrete T, construct the probe h as in Sections 1–3 and separately compute the zero-side integral of its Fourier transform and the prime-side integral. If their difference exceeds a constant times T log^2 T, the bound fails. The same computation also tests Proposition 4.2's norm claims directly.","tokens_in":3701,"feed_emoji":"🧮","tokens_out":9412,"duration_ms":101448,"temperature":0.7,"pith_summary":"The paper aims to prove that the KL-regularized optimal transport cost between two arithmetic measures—one built from prime log-density, one from zeros of the Riemann zeta function—grows at most like T log^2 T, with no assumption such as the Riemann Hypothesis. If correct, this is the natural baseline upper bound, matching the scale of known explicit-formula errors. The proof works by averaging the transport cost with a Fejér kernel, calibrating away the main density, and applying a smoothed explicit formula whose error is controlled by L1 norms of the test function and its Fourier transform. The result matters because it turns an optimal-transport question about zeros and primes into a quantitative counting statement that can be attacked with standard analytic number theory.","feed_headline":"Prime–zero transport cost capped at T log^2 T, no RH","feed_subtitle":"A smoothed explicit formula with Fejér averaging yields the baseline upper bound unconditionally.","key_machinery":"The load-bearing identity is the two-way Fejér identity, 1 - hat F_Lambda(t) cos(gamma t) = integral of (1 - cos(xi t)) F_Lambda(gamma - xi) dxi. It shows that, after convolution with the Fejér kernel, the pointwise cost kernel is exactly an average of simpler cosine kernels, so a dual-feasibility inequality can be integrated instead of enforced pointwise. The companion machinery is the L1-controlled explicit formula, which asserts that the difference between the zero-side integral of the Fourier transform and the prime-side integral is a main term plus an error bounded by (||h||_1 + ||hat h||_1) log^2 T. A Beurling–Selberg kernel eta, equal to 1 on [0,T] with nonnegative Fourier transform,","core_discovery":"The central claim is Theorem 5.1: for the smoothed measures nu_T and mu_Omega with Omega = kappa T, the KL-regularized prime–zero transport cost satisfies OT_eta(T) << T log^2 T unconditionally. The author's route is to normalize the cost kernel to eta(t)(1 - cos gamma t), average over zero frequencies with a Fejér kernel so the cosine term becomes an average of cos(xi t), calibrate the probe's zero-frequency mass so the main density cancels, and then bound the residual by an L1-controlled smoothed explicit formula. On the paper's telling, the log^2 T factor comes from gamma/zero bookkeeping in the explicit formula, while the Paley–Wiener mass of the probe supplies the scale T. No use of RH","pith_inferences":["The same Fejér-averaging plus L1 explicit-formula scheme would likely transfer to other arithmetic measures with explicit formulas, such as primes in arithmetic progressions or Hecke eigenvalues, yielding analogous T log^2 T transport bounds.","A numerical evaluation of the explicit-formula difference for the constructed h at moderate T would show whether the log^2 T factor is saturated or an artifact of the bookkeeping estimate.","If the main-term contribution in the explicit formula is eventually shown to be always O((||h||_1 + ||hat h||_1) log^2 T), the theorem follows as stated; if not, the calibration argument would need modification. This is an editorial inference, not a result in the paper."],"forward_implications":["The KL-regularized transport cost between prime-log-density and zeta-zero density is brought down to the same order as the classical counting-error scale, T log^2 T, rather than a larger power of T.","The Fejér-averaging step makes the dual inequality integrated, so the proof never needs a pointwise separable envelope for the cost kernel.","The zero-frequency calibration turns the main-density contribution into an explicit-formula difference, reducing the transport bound to a test-function estimate.","Because the bound is unconditional, it stands independently of the truth or falsity of the Riemann Hypothesis.","The L1 norms of the test function and its Fourier transform are the quantities that determine the final power of log T, suggesting a direct route to sharper bounds if those norms can be improved."],"supporting_citations":[{"why":"supplies the Beurling–Selberg majorant that is the transport kernel: even, equal to 1 on [0,T], with nonnegative Fourier transform and L1-controlled ringing.","marker":"Vaaler"},{"why":"source of the classical explicit-formula estimates whose zero/gamma bookkeeping yields the log^2 T factor.","marker":"Titchmarsh"},{"why":"standard smoothed explicit formula and L1 bounds used in Proposition 4.1.","marker":"Iwaniec–Kowalski"}],"fun_headline_variants":["Prime–zero transport: T log^2 T bound without RH","KL-regularized transport cost capped at T log^2 T","Unconditional T log^2 T bound for prime–zero transport","Fejér averaging yields baseline transport bound","No RH: prime–zero transport distance bounded"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The proof depends on the main contribution in the smoothed explicit formula being no larger than the L1 norms of the test function and its Fourier transform times log^2 T; the paper states this but never supplies the bound on that main contribution.","fun_headline_variants_meta":{"raw":{"variants":["Prime–zero transport: T log^2 T bound without RH","KL-regularized transport cost capped at T log^2 T","Unconditional T log^2 T bound for prime–zero transport","Fejér averaging yields baseline transport bound","No RH: prime–zero transport distance bounded"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00034,"raw_usage":{"total_tokens":1666,"prompt_tokens":654,"completion_tokens":1012,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":398,"completion_tokens_details":{"reasoning_tokens":940}},"tokens_in":398,"tokens_out":1012,"duration_ms":9097,"temperature":1.0,"reasoning_tokens":940,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T22:24:04.643302+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a concrete T, construct the probe h as in Sections 1–3 and separately compute the zero-side integral of its Fourier transform and the prime-side integral. If their difference exceeds a constant times T log^2 T, the bound fails. The same computation also tests Proposition 4.2's norm claims directly.","supporting_citations":[],"review_version":1}