{"id":"a0d6f50a-f9ee-4df9-9d84-1a0817006565","arxiv_id":"2606.11451","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Refined spectral reciprocity produces explicit subconvex bounds for L(1/2, π × π') that improve all known results over Q and yield applications to equidistribution and dihedral QUE.","lead":"The paper refines the spectral reciprocity method to derive explicit subconvex bounds on central values of Rankin-Selberg L-functions for pairs of GL(2) automorphic representations over number fields. These bounds improve prior results even over the rationals and are applied to equidistribution problems on Shimura varieties and quantum unique ergodicity.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The load-bearing step is exactly the one flagged by the reader. Because the full manuscript was unavailable for the initial review, no further technical flaw can be diagnosed; the verdict and low confidence are therefore appropriate and require no adjustment.","tokens_in":1625,"tokens_out":268,"duration_ms":13470,"concrete_test":"Extract the explicit subconvex exponent and conductor estimates from the refined reciprocity identity in the manuscript; recompute the resulting bound over Q and compare numerically to the best prior exponent (e.g., from Michel-Venkatesh or later works) to confirm improvement.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is an explicit subconvex bound for Rankin-Selberg L(1/2, π × π') improving all prior results even over Q, obtained via a refined explicit spectral reciprocity identity that supplies precise conductor and local test vector control. The reader's weakest assumption correctly isolates the point at which this control must be demonstrated to optimize the exponent. Absent the full derivation (which the initial review lacked), no internal inconsistency or incorrect step can be isolated from the abstract alone; the argument structure is standard for the Michel-Venkatesh framework and the claim is stated as falsifiable via explicit constants.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper establishes explicit subconvex bounds for central values of Rankin-Selberg L-functions L(1/2, π \times π') for pairs of unitary cuspidal automorphic representations of GL_{2} over a number field. Building on the Michel-Venkatesh spectral reciprocity framework, it develops a refined, fully explicit form of the reciprocity identity that provides precise control of conductors and local test vectors. This yields an explicit subconvex bound improving all prior results even over F=Q. The bounds are applied to effective equidistribution of CM suborbits on quaternionic Shimura varieties, quantitative equidistribution of totally geodesic submanifolds, a uniform quantitative form of dihedral quantum unique ergodicity over number fields, and distinguishing cuspidal automorphic representations.","tokens_in":1738,"tokens_out":392,"duration_ms":15497,"significance":"If the explicit subconvex bounds hold with the claimed improvements, the work would advance subconvexity results for Rankin-Selberg L-functions by supplying stronger, explicit exponents and constants usable in effective arithmetic applications. The refined explicit reciprocity identity and its applications to equidistribution and QUE problems constitute the main strengths; the explicitness of the bounds is a clear asset for downstream arithmetic consequences.","major_comments":[],"minor_comments":[{"comment":"Abstract: the claimed improvement over prior results is stated without naming the precise subconvex exponent or the previous best exponent; adding the explicit numerical comparison would strengthen the claim.","section":"Abstract"},{"comment":"The applications section should include a brief table or explicit statement of the numerical saving obtained in each arithmetic consequence to make the impact of the main bound transparent.","section":null},{"comment":"Notation for the refined spectral reciprocity identity should be introduced with a displayed equation early in the text so that subsequent conductor estimates can be cross-referenced directly.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive assessment of our work on explicit subconvexity for Rankin-Selberg L-functions and the associated arithmetic applications. The recommendation for minor revision is noted with appreciation. No specific major comments appear in the report, so we have no points requiring detailed rebuttal at this stage.","responses":[],"tokens_in":1234,"tokens_out":80,"duration_ms":9708,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main advance here is an explicit version of spectral reciprocity that tracks conductors and local test vectors tightly enough to optimize the resulting hybrid bound. Over Q this yields a subconvex exponent better than what was previously written down with explicit constants. The applications to CM equidistribution on quaternionic Shimura varieties, totally geodesic submanifolds, and dihedral QUE are direct consequences of the same bound and look usable.\n\nThe framework stays inside the Michel-Venkatesh setup rather than introducing a new method, so the novelty is in the bookkeeping and the optimization step. That bookkeeping appears to be the part that actually delivers the improvement; without it the earlier identities did not give an explicit saving of this size.\n\nThe soft spot is that the gain is incremental and still far from the Weyl bound or even the best known hybrid bounds that allow implicit constants. If the paper only recovers a modest fraction of the possible saving once everything is made explicit, the result remains useful but not transformative. The applications are stated cleanly but inherit the same limitation on the size of the saving.\n\nThe paper is aimed at people who need explicit constants for arithmetic applications rather than at those chasing the absolute best exponent. The argument is standard for the area and the claim is falsifiable by checking the final exponent against the literature. It deserves a serious referee.","headline":"The paper refines the Michel-Venkatesh spectral reciprocity to produce an explicit subconvex saving for Rankin-Selberg L-functions that beats prior explicit bounds even over Q, with several arithmetic applications.","tokens_in":2211,"tokens_out":353,"would_cite":false,"duration_ms":11535,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Refined spectral reciprocity yields explicit subconvex bounds for Rankin-Selberg L-functions over number fields","keywords":["Rankin-Selberg L-functions","subconvexity","spectral reciprocity","automorphic representations","GL(2)","equidistribution","quantum unique ergodicity","Shimura varieties"],"falsifier":"A numerical check for an explicit pair of Maass forms over Q showing that L(1/2, π × π') exceeds the claimed subconvex bound for sufficiently large conductor, or a direct counterexample to the explicit error terms in the reciprocity identity.","tokens_in":2520,"feed_emoji":"","tokens_out":664,"duration_ms":23208,"temperature":0.7,"pith_summary":"This paper develops a fully explicit version of spectral reciprocity for pairs of cuspidal automorphic representations of GL(2) over a number field. The refinement gives precise control over conductors and local test vectors, which is used to derive subconvex bounds on the central values of the associated Rankin-Selberg L-functions. These bounds improve all previously known explicit results, including those when the base field is the rationals. The estimates are applied to obtain effective equidistribution results for CM suborbits on quaternionic Shimura varieties, quantitative equidistribution of totally geodesic submanifolds, and a uniform form of dihedral quantum unique ergodicity over number fields.","feed_headline":"Explicit subconvex bounds for GL(2) Rankin-Selberg L-functions","feed_subtitle":"Refined spectral reciprocity improves prior results and gives new equidistribution theorems over number fields","key_machinery":"The refined, fully explicit spectral reciprocity identity for pairs of GL(2) automorphic forms, which supplies precise control over conductors and local test vectors.","core_discovery":"By developing a fully explicit form of spectral reciprocity that allows precise control of conductors and local test vectors, we obtain an explicit subconvex bound for L(1/2, π × π'), which improves all previously known results even over the rationals, and apply these bounds to effective equidistribution of CM suborbits on quaternionic Shimura varieties, quantitative equidistribution of totally geodesic submanifolds, uniform quantitative dihedral quantum unique ergodicity over number fields, and distinguishing cuspidal automorphic representations.","pith_inferences":["The explicit reciprocity approach supplies a template that could be applied in other settings where similar identities can be made fully explicit.","The resulting bounds may combine with existing methods to treat additional families of L-functions attached to GL(2) forms."],"forward_implications":["Effective equidistribution of CM suborbits on quaternionic Shimura varieties follows from the bounds.","Quantitative equidistribution of totally geodesic submanifolds holds.","A uniform quantitative form of dihedral quantum unique ergodicity over number fields is obtained.","The bounds allow distinguishing certain cuspidal automorphic representations."],"fun_headline_variants":["Explicit subconvexity for GL(2) Rankin-Selberg via spectral reciprocity","Subconvex Rankin-Selberg bounds via explicit spectral reciprocity","GL(2) Rankin-Selberg subconvexity from refined reciprocity","Explicit subconvex bounds via spectral reciprocity for GL(2)"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The refined spectral reciprocity identity supplies precise control of conductors and local test vectors sufficient to optimize the resulting subconvex exponent.","fun_headline_variants_meta":{"raw":{"variants":["Explicit subconvexity for GL(2) Rankin-Selberg via spectral reciprocity","Subconvex Rankin-Selberg bounds via explicit spectral reciprocity","GL(2) Rankin-Selberg subconvexity from refined reciprocity","Explicit subconvex bounds via spectral reciprocity for GL(2)"]},"model":"grok-4.3","cost_usd":0.008305,"raw_usage":{"total_tokens":3746,"prompt_tokens":633,"num_sources_used":0,"completion_tokens":73,"cost_in_usd_ticks":83049500,"prompt_tokens_details":{"text_tokens":633,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3040,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":633,"tokens_out":73,"duration_ms":18915,"temperature":1.0,"reasoning_tokens":3040,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T11:16:05.795312+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A numerical check for an explicit pair of Maass forms over Q showing that L(1/2, π × π') exceeds the claimed subconvex bound for sufficiently large conductor, or a direct counterexample to the explicit error terms in the reciprocity identity.","supporting_citations":[],"review_version":1}