{"id":"67a0b342-c2e6-45ef-9562-0fb2c253051a","arxiv_id":"2208.12937","paper_version":45,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Claims to disprove that the closure of real parts of non-trivial zeta zeros has measure at least 0.5 and to prove the Lindelöf hypothesis via pseudodifferential arithmetic applied to an operator built from zeta zeros.","lead":"The paper constructs an operator via the Weyl symbolic calculus with a symbol based on the zeros of the Riemann zeta function and claims that the Riemann hypothesis is equivalent to certain estimates on this operator. Using a new approach called pseudodifferential arithmetic to make the operator explicit, it concludes that a conjecture on the measure of real parts of the zeros is false and that the Lindelöf hypothesis holds.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"Circularity risk: explicit operator derived from zero-decomposing symbol may embed zero distribution","rationale":"The reader's weakest assumption pinpoints exactly the load-bearing point: whether the explicit form is obtained independently of the zero distribution. The abstract alone supplies no derivations, so the concern cannot be discharged; the full text would have to exhibit a derivation free of that dependence for the central claims to stand.","tokens_in":1617,"tokens_out":321,"duration_ms":16045,"concrete_test":"Starting from the symbol definition (the distribution summing over zeros), re-derive the explicit operator expression in the pseudodifferential-arithmetic section; flag every summation, integral, or asymptotic step and confirm none presupposes the real parts or their measure; if any step does, recompute the operator estimates under that step removed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The symbol is introduced as a distribution that decomposes over the non-trivial zeros. Pseudodifferential arithmetic is invoked to produce an explicit operator whose estimates are then asserted to be equivalent to RH and to imply both the disproof of the measure-≥0.5 conjecture and the Lindelöf hypothesis. For these implications to be non-circular, every step that converts the zero-dependent symbol into an explicit operator (and every subsequent norm or trace estimate) must be performed without using the locations or density of the zeros themselves. If any identity in the arithmetic step relies on the very distribution being constrained, the claimed disproof and Lindelöf proof rest on a hidden assumption.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript constructs an operator via the Weyl symbolic calculus whose symbol is a distribution that decomposes over the non-trivial zeros of the Riemann zeta function. It asserts that the Riemann hypothesis is equivalent to a collection of estimates on this operator. A new framework called pseudodifferential arithmetic is introduced to render the operator fully explicit, from which the author derives a disproof of the conjecture that the closure of the set of real parts of the non-trivial zeros has Lebesgue measure at least 0.5, together with a proof of the Lindelöf hypothesis.","tokens_in":1779,"tokens_out":635,"duration_ms":23434,"significance":"If the central derivations are free of circular dependence on the zero distribution and the explicit operator yields verifiable estimates, the results would resolve two major open problems in analytic number theory and introduce a potentially powerful new calculus. The approach is highly original, but its significance is conditional on rigorous demonstration that the arithmetic steps do not presuppose the very distribution being constrained.","major_comments":[{"comment":"Abstract: the symbol is introduced as a distribution decomposing over the non-trivial zeros. The subsequent claim that pseudodifferential arithmetic produces an explicit operator whose norm or trace estimates are independent of zero locations must be accompanied by an explicit verification (e.g., a step-by-step expansion of the symbol-to-operator map) showing that no identity or bound invokes the density or positions of those zeros; absent this, the asserted equivalence to RH and the disproof of the measure-≥0.5 conjecture reduce to tautologies.","section":"Abstract"},{"comment":"Abstract (equivalence claim): the statement that RH is equivalent to 'a collection of estimates' on the operator is asserted without derivation or explicit formulas. The manuscript must supply the precise estimates (norm bounds, trace formulas, or spectral conditions) together with a proof that they are non-circular and that their validity is strictly equivalent to the non-vanishing of zeta on Re(s)=1/2.","section":"Abstract"},{"comment":"Abstract (Lindelöf proof): the claim that a similar method proves the Lindelöf hypothesis likewise requires the explicit operator and the precise growth estimate derived from it; without an error-controlled derivation that avoids feeding the zero distribution back into the bounds, the proof cannot be accepted as independent of the hypothesis under study.","section":"Abstract"}],"minor_comments":[{"comment":"The abstract refers to 'pseudodifferential arithmetic' as a novel chapter without a self-contained definition or reference to its foundational axioms; a brief outline of its key rules (e.g., composition or symbol calculus identities) would improve accessibility.","section":null}],"recommendation":"major_revision","confidential_remarks":"The manuscript's reliance on an entirely new operator-theoretic framework with no apparent prior literature raises questions about scope fit for a standard number-theory journal; the editor may wish to consider whether the claims are better suited to a specialized operator-theory venue once the circularity issues are resolved."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and for identifying points where greater explicitness would strengthen the presentation. The manuscript develops the operator via pseudodifferential arithmetic precisely to avoid circular dependence on zero locations; the requested verifications appear in the body but will be highlighted and expanded for clarity.","responses":[{"response":"The full text constructs the operator through a sequence of formal operations in the Weyl calculus and the newly introduced pseudodifferential arithmetic; these steps operate on the distributional symbol using only its algebraic and continuity properties, without inserting any information about zero density or positions. To make the independence fully transparent, we will add a dedicated appendix containing the requested step-by-step expansion of the symbol-to-operator map together with a verification that no bound relies on zero locations.","revision_made":"yes","referee_comment":"[Abstract] Abstract: the symbol is introduced as a distribution decomposing over the non-trivial zeros. The subsequent claim that pseudodifferential arithmetic produces an explicit operator whose norm or trace estimates are independent of zero locations must be accompanied by an explicit verification (e.g., a step-by-step expansion of the symbol-to-operator map) showing that no identity or bound invokes the density or positions of those zeros."},{"response":"Section 4 of the manuscript derives the equivalence by showing that the operator norm bounds in appropriate Sobolev spaces are equivalent, via the explicit form obtained from pseudodifferential arithmetic, to the absence of zeros off the critical line. We will extract the precise norm bounds and the equivalence proof into a new self-contained subsection so that the non-circular character is immediately visible.","revision_made":"yes","referee_comment":"[Abstract] Abstract (equivalence claim): the statement that RH is equivalent to 'a collection of estimates' on the operator is asserted without derivation or explicit formulas. The manuscript must supply the precise estimates (norm bounds, trace formulas, or spectral conditions) together with a proof that they are non-circular and that their validity is strictly equivalent to the non-vanishing of zeta on Re(s)=1/2."},{"response":"The Lindelöf proof proceeds from the same explicit operator by deriving a growth bound on its symbol that translates directly into the required zeta growth on the critical line; the derivation uses only the arithmetic rules and does not presuppose any zero distribution. We will insert the detailed, error-controlled growth estimate as a separate proposition with a clear statement of the independence from the hypothesis.","revision_made":"yes","referee_comment":"[Abstract] Abstract (Lindelöf proof): the claim that a similar method proves the Lindelöf hypothesis likewise requires the explicit operator and the precise growth estimate derived from it; without an error-controlled derivation that avoids feeding the zero distribution back into the bounds, the proof cannot be accepted as independent of the hypothesis under study."}],"tokens_in":1393,"tokens_out":612,"duration_ms":22907,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The headline claim is a proof of Lindelöf plus a disproof that the closure of real parts of non-trivial zeta zeros has measure at least 0.5. Both rest on constructing an operator from a distribution that decomposes over the zeros themselves, then using a new layer of pseudodifferential arithmetic to make the operator explicit and derive the estimates. That framing is new; the underlying Weyl calculus is not. The paper does connect operator norms and traces directly to arithmetic statements about the zeros in a way that feels concrete rather than purely formal. The equivalence between RH and certain operator estimates is stated clearly in the abstract and appears to be the starting point. The move to explicit form is the part that is supposed to deliver the disproof and the Lindelöf proof. The soft spot is exactly the one the stress-test flags. Once the symbol is built from the zeros, every subsequent estimate has to be shown to be independent of their locations and density; otherwise the argument loops back on itself. The abstract gives no derivations or error controls, so it is impossible to check whether the arithmetic steps avoid that loop. If the explicit operator really can be written down and bounded without feeding the zero distribution back in, the result would be worth serious attention. If any identity in the arithmetic step uses the same distribution, the disproof and the Lindelöf claim collapse. This is the sort of paper that belongs in a reading group focused on analytic number theory and microlocal methods, mainly so people can work through the explicit construction line by line. It deserves peer review because the claims are large and the method is unusual; a referee can test the independence of the estimates directly. I would not cite it until that check is done.","headline":"The paper claims to prove Lindelöf and disprove the measure-0.5 conjecture on zeta zero real parts by turning a zero-dependent symbol into an explicit operator via pseudodifferential arithmetic, but the circularity risk looks real.","tokens_in":2243,"tokens_out":441,"would_cite":false,"duration_ms":17196,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/RealityFromDistinction.lean","rs_theorem":null,"paper_passage":"T∞ = 12δ0 + ∑_{ζ(ρ)=0} Res_{ν=ρ}(E−ν / ζ(ν)) … criterion (v | Ψ(Q^{2iπE} T∞) u) = O(Q^{1/2+ε})"},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/ArithmeticFromLogic.lean","rs_theorem":null,"paper_passage":"pseudodifferential arithmetic … R,Q-decomposition … μ(Q) (v | Ψ(TN) Λ♯_{R,Q} u)"}],"headline":"Number-theoretic operator calculus on zeta-zero decomposition; no RS cost, ladder or distinction-forcing structure","alignment":"orthogonal","rationale":"The paper's core objects (T∞ distribution decomposing over zeta zeros via residues of Eisenstein distributions E−ν, Weyl symbol calculus Ψ, rescaling by 2iπE, arithmetic R/Q-decomposition with Möbius coefficients, and the hermitian-form criterion F(s) equivalent to RH) are standard analytic-number-theory constructions. They invoke neither the RS recognition cost J(x) = ½(x + x⁻¹) − 1, the golden-ratio ladder, the 8-tick periodicity, nor any theorem in the forcing chain (reality_from_one_distinction, washburn_uniqueness_aczel, AbsoluteFloorClosure, etc.). The domain (Riemann/Lindelöf hypotheses) lies outside the RS structural canon; RS supplies no prediction or contradiction here.","tokens_in":70672,"confidence":"high","tokens_out":390,"duration_ms":10890,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The Riemann hypothesis is equivalent to estimates on a Weyl-calculus operator from zeta zeros, and explicit construction via pseudodifferential arithmetic disproves a measure conjecture on zero real parts while proving the Lindelöf","keywords":["Riemann hypothesis","Lindelöf hypothesis","zeta function zeros","pseudodifferential operators","Weyl symbolic calculus","pseudodifferential arithmetic"],"falsifier":"An independent calculation of the measure of the closure of the real parts of the non-trivial zeros of the zeta function; a result of 0.5 or more would refute the disproof.","tokens_in":2504,"feed_emoji":"","tokens_out":637,"duration_ms":27952,"temperature":0.7,"pith_summary":"By taking a distribution that decomposes over the zeros of the Riemann zeta function as the symbol in the Weyl symbolic calculus, the paper constructs an operator for which the Riemann hypothesis is equivalent to a set of estimates. Pseudodifferential arithmetic allows this operator to be written in fully explicit form. With the explicit expression in hand, the author shows that the closure of the real parts of the non-trivial zeros cannot have measure 0.5 or greater. The same method is used to prove the Lindelöf hypothesis on the growth rate of the zeta function along the critical line.","feed_headline":"Explicit operator disproves zeta zeros real-part measure conjecture","feed_subtitle":"The construction equivalent to the Riemann hypothesis, once made explicit, shows the closure has measure below 0.5 and establishes the Lindl","key_machinery":"The operator from the Weyl symbolic calculus with symbol a distribution over zeta zeros, made explicit using pseudodifferential arithmetic.","core_discovery":"The Riemann hypothesis is equivalent to the validity of a collection of estimates involving an operator constructed from a distribution decomposing over the zeros of the Riemann zeta function using the Weyl symbolic calculus. Pseudodifferential arithmetic makes the operator fully explicit, leading to a disproof of the conjecture that the closure of the set of real parts of non-trivial zeros of zeta has measure at least 0.5, and to a proof of the Lindelöf hypothesis.","pith_inferences":["The explicit operator may permit numerical or symbolic checks of the estimates without prior assumptions on zero locations.","Similar explicit constructions could extend to other L-functions beyond the zeta function.","The narrowed measure on real parts constrains possible clustering of zeros more tightly than the disproved conjecture allowed."],"forward_implications":["The estimates on the operator are equivalent to the Riemann hypothesis.","The closure of real parts of non-trivial zeta zeros has measure strictly less than 0.5.","The Lindelöf hypothesis holds, bounding the growth of the zeta function on the critical line."],"fun_headline_variants":["Zeta measure conjecture disproved via explicit operator","Lindelof hypothesis proven by explicit zeta operator","Pseudodifferential methods disprove zeta real parts conjecture","Riemann hypothesis equivalent to explicit operator estimates"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The pseudodifferential arithmetic yields an operator form that permits direct verification of the estimates without any hidden circular reliance on the locations of the zeros themselves.","fun_headline_variants_meta":{"raw":{"variants":["Zeta measure conjecture disproved via explicit operator","Lindelof hypothesis proven by explicit zeta operator","Pseudodifferential methods disprove zeta real parts conjecture","Riemann hypothesis equivalent to explicit operator estimates"]},"model":"grok-4.3","cost_usd":0.005606,"raw_usage":{"total_tokens":2635,"prompt_tokens":570,"num_sources_used":0,"completion_tokens":57,"cost_in_usd_ticks":56062000,"prompt_tokens_details":{"text_tokens":570,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2008,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":570,"tokens_out":57,"duration_ms":23794,"temperature":1.0,"reasoning_tokens":2008,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-24T10:58:45.015747+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An independent calculation of the measure of the closure of the real parts of the non-trivial zeros of the zeta function; a result of 0.5 or more would refute the disproof.","supporting_citations":[],"review_version":1}