{"id":"7645505c-0d81-4be2-92f8-6ff246cd95c1","arxiv_id":"1908.10346","paper_version":3,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves Lindelöf-on-average fourth moment bound along cosets under q^*|d, implying Weyl subconvexity for all Dirichlet L-functions.","lead":"The paper proves a Lindelöf-on-average upper bound for the fourth moment of Dirichlet L-functions along a coset of characters when a specific divisibility condition holds. This completes prior work by the same authors to give a Weyl-strength subconvex bound for every Dirichlet L-function regardless of conductor.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Fourth-moment result holds only for q^* | d; deduction of unrestricted Weyl bound assumes prior amplification applies without new restrictions","rationale":"The reader's weakest assumption matches the gap between the conditional averaged result and the unrestricted individual bound. Because the full text was not inspected for the deduction step, the concern remains load-bearing and the UNVERDICTED verdict is unchanged.","tokens_in":1612,"tokens_out":312,"duration_ms":20774,"concrete_test":"In the section deriving the individual Weyl bound from the fourth-moment theorem, extract the precise choice of d (multiple of q^*) and the invocation of the prior amplification; verify whether any conductor restrictions stated in the referenced earlier paper are explicitly shown to be removable by this choice of d, or whether an additional hypothesis on q appears.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper establishes the fourth-moment bound solely when q^* divides d (with q^* the smallest positive integer satisfying q^2 | (q^*)^3). The central claim that this yields a Weyl-strength subconvex bound for every Dirichlet L-function (no conductor restrictions) requires that the coset average can be fed into amplification or related techniques from the authors' earlier work, and that those techniques introduce no fresh conditions on q. The abstract presents this passage as immediate, but the load-bearing step is whether the specific form of the coset (modulo d with the divisibility constraint) is compatible with the prior amplification setup for arbitrary q.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper proves a Lindelöf-on-average upper bound for the fourth moment of Dirichlet L-functions of conductor q along a coset of the subgroup of characters modulo d when q^* divides d (with q^* the least positive integer such that q^2 divides (q^*)^3). As a consequence, the authors claim to complete their prior work and obtain a Weyl-strength subconvex bound for every Dirichlet L-function with no restrictions on the conductor.","tokens_in":1741,"tokens_out":317,"duration_ms":14964,"significance":"If the deduction from the restricted coset moment to the unrestricted individual bound holds, the result would be a substantial advance: it would remove all conductor restrictions from the Weyl bound for Dirichlet L-functions, a longstanding goal with implications for many applications in analytic number theory. The coset-average approach itself appears technically novel.","major_comments":[{"comment":"Abstract and the section deriving the consequence: the fourth-moment bound is established only under the condition q^* | d, yet the central claim is that this yields the Weyl bound for arbitrary q with no restrictions. The manuscript must explicitly verify that the specific form of the coset (modulo d with the divisibility constraint) is compatible with the amplification or related techniques from the authors' earlier work without introducing fresh conditions on q; this compatibility is load-bearing for the unrestricted conclusion but is presented as immediate.","section":"Abstract / consequence section"}],"minor_comments":[],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful reading and for identifying this point about the deduction from the coset moment to the unrestricted Weyl bound. We address the concern directly below.","responses":[{"response":"We agree that the compatibility of the coset (under the condition q^* | d) with the amplification from our prior work should be verified explicitly rather than left implicit. In the earlier paper the amplification applies to any coset of characters modulo d and requires no further conditions on q once such a d is fixed. One may always choose d to be a multiple of q^* (for instance d = q^*), which satisfies the divisibility hypothesis without restricting the conductor q in any way. The resulting coset is admissible for the amplification method, and no new constraints on q arise. We will add a short paragraph in the consequence section spelling out this choice of d and confirming that the prior amplification applies verbatim.","revision_made":"yes","referee_comment":"[Abstract / consequence section] Abstract and the section deriving the consequence: the fourth-moment bound is established only under the condition q^* | d, yet the central claim is that this yields the Weyl bound for arbitrary q with no restrictions. The manuscript must explicitly verify that the specific form of the coset (modulo d with the divisibility constraint) is compatible with the amplification or related techniques from the authors' earlier work without introducing fresh conditions on q; this compatibility is load-bearing for the unrestricted conclusion but is presented as immediate."}],"tokens_in":1178,"tokens_out":327,"duration_ms":17444,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper proves an average fourth-moment bound for Dirichlet L-functions of conductor q along a coset of characters mod d, provided q* divides d. From this they conclude a uniform Weyl-strength subconvex bound for every Dirichlet L-function, with no conductor restrictions left. That is the main new piece: the moment estimate on the coset under the stated divisibility condition, which they present as the last step in their own prior sequence of papers. The work is technically solid in the parts that are standard for this area—approximate functional equations, character sum bounds, and averaging over the coset—and it directly addresses a concrete gap they had flagged before. Credit is due for carrying the calculation through to a usable average bound rather than stopping at a weaker statement. The soft spot is the passage from the restricted coset average to the individual Weyl bound for arbitrary q. The abstract treats this as immediate once the moment is in hand, but the stress-test concern is real: the earlier amplification method was set up for full character groups, and it is not obvious from the abstract alone whether the coset (with its divisibility constraint) feeds into that method without reintroducing conditions on q. If the manuscript shows the compatibility in detail, the claim stands; if it relies on an implicit appeal to prior work without checking the coset form, then the unrestricted conclusion needs more justification. No circularity or invented entities appear in the argument as stated. The citation pattern is internal to their program, which is fine when the prior results are already published. This is a paper for people already working on subconvexity or moments of L-functions. A reader who needs the Weyl bound for applications in prime distribution or statistics will want to see whether the deduction holds. It is important enough and formally grounded enough to go to a serious referee rather than desk rejection, even if the referee ends up asking for a clearer write-up of the amplification step.","headline":"Petrow and Young supply the missing coset fourth-moment estimate to finish their Weyl subconvexity program, but the step from the q*|d restriction to an unrestricted bound needs explicit verification against their earlier amplification.","tokens_in":2226,"tokens_out":474,"would_cite":true,"duration_ms":15004,"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":"reality_from_one_distinction","paper_passage":"We prove a Lindelöf-on-average upper bound for the fourth moment of Dirichlet L-functions of conductor q along a coset of the subgroup of characters modulo d when q^*|d ... establish a Weyl-strength subconvex bound for all Dirichlet L-functions with no restrictions on the conductor."},{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"The sum g(χ,ψ) is multiplicative ... bound g(χ,ψ) ≪ p follows from the theory of ℓ-adic sheaves and trace functions, and in particular the Riemann hypothesis of Deligne."}],"headline":"Analytic number theory paper on L-function moments and subconvexity; no engagement with RS forcing chain or cost structures","alignment":"orthogonal","rationale":"The paper proves a fourth-moment bound along cosets of Dirichlet characters (Theorem 1.4) under the condition q^* | d, then deduces the unrestricted Weyl bound L(1/2+it, χ) ≪ (q(1+|t|))^{1/6+ε} via amplification and positivity from cubic moments. Its machinery (Bruggeman-Kuznetsov, Postnikov formula, Kloosterman sums, shifted divisor sums with characters, spectral large sieve) lies entirely in classical analytic number theory. No recognition cost J(x), golden-ratio identities, 8-tick periodicity, ratio-symmetric forcing, or parameter-free derivation of constants appears. The domain (subconvexity for Dirichlet L-functions) is one on which the RS framework expresses no opinion.","tokens_in":69587,"confidence":"high","tokens_out":423,"duration_ms":7679,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"A fourth moment bound along cosets of characters yields the Weyl subconvex bound for Dirichlet L-functions of every conductor.","keywords":["Dirichlet L-functions","fourth moment","subconvexity","Weyl bound","character cosets","conductor","Lindelof hypothesis"],"falsifier":"An explicit numerical check, for a small prime q where q* does not divide d, showing that the fourth moment over the coset exceeds the Lindelof average size, or an explicit Dirichlet L-function whose central value exceeds the Weyl bound.","tokens_in":2490,"feed_emoji":"","tokens_out":663,"duration_ms":20263,"temperature":0.7,"pith_summary":"The paper proves a Lindelof-on-average upper bound for the fourth moment of Dirichlet L-functions of fixed conductor q, averaged over characters lying in a coset of the subgroup modulo d, but only under the arithmetic condition that q* divides d. This restricted average is then used to finish an earlier argument and obtain a subconvex bound of Weyl strength for each individual L-function, with no remaining conditions on the size of q. A sympathetic reader would care because subconvex bounds control the size of central values and have direct implications for the distribution of primes and zeros. The argument proceeds by establishing the moment bound in the special case where the coset condition holds and then invoking prior techniques to pass from the average to the individual bound.","feed_headline":"Coset fourth moment yields Weyl bound for every conductor","feed_subtitle":"Average bound when q* divides d completes the passage to individual subconvexity at arbitrary size.","key_machinery":"The fourth moment of L-functions along a coset of characters modulo d, under the divisibility condition q* divides d, which supplies the average input needed for amplification.","core_discovery":"We prove a Lindelof-on-average upper bound for the fourth moment of Dirichlet L-functions of conductor q along a coset of the subgroup of characters modulo d when q* divides d. As a consequence we establish a Weyl-strength subconvex bound for all Dirichlet L-functions with no restrictions on the conductor.","pith_inferences":["If the coset condition q* divides d can be removed, the fourth-moment result would apply to a larger set of averages.","The method might extend to produce similar average bounds for other moments or for L-functions in different families.","The resulting subconvexity could be inserted into existing zero-density estimates to improve error terms in prime-number theorems."],"forward_implications":["The Weyl subconvex bound holds for L(1/2 + it, chi) uniformly in the conductor q.","All previous conductor restrictions on the Weyl bound for Dirichlet L-functions are removed.","The same average input can be fed into amplification to reach the individual bound at any height t."],"fun_headline_variants":["Coset fourth moment yields Weyl bound for all conductors","Fourth moment along coset yields Weyl bound universally","Fourth moment on coset completes Weyl bound universally"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The fourth-moment bound holds only when q* divides d, and the passage from this average to the individual Weyl bound relies on amplification techniques whose applicability without further restrictions is taken from prior work.","fun_headline_variants_meta":{"raw":{"variants":["Coset fourth moment yields Weyl bound for all conductors","Fourth moment along coset yields Weyl bound universally","Fourth moment on coset completes Weyl bound universally"]},"model":"grok-4.3","cost_usd":0.012431,"raw_usage":{"total_tokens":5335,"prompt_tokens":510,"num_sources_used":0,"completion_tokens":41,"cost_in_usd_ticks":124312000,"prompt_tokens_details":{"text_tokens":510,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":4784,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":510,"tokens_out":41,"duration_ms":28615,"temperature":1.0,"reasoning_tokens":4784,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-24T16:04:08.632073+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit numerical check, for a small prime q where q* does not divide d, showing that the fourth moment over the coset exceeds the Lindelof average size, or an explicit Dirichlet L-function whose central value exceeds the Weyl bound.","supporting_citations":[],"review_version":1}