{"id":"1b9c2c5b-78d3-4489-9e10-a0d4fcf7ac14","arxiv_id":"2606.18674","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Establishes uniform spectral gap for congruence covers of geometrically finite thin subgroups of SO(n,1) with cusps in the range 1/2 < δ_Γ ≤ n-2 for n ≥ 3 by proving Zariski density and full trace field properties of return trajectory subgroups.","lead":"This preprint generalizes a uniform spectral gap result for congruence covers of thin subgroups of SO(n,1) to the case with cusps when the critical exponent lies in (1/2, n-2] for n at least 3. A smart generalist might read it for insight into how expansion techniques extend to more singular geometric settings with applications in arithmetic dynamics.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the only step whose verification would require the full manuscript details. Because the provided description contains no further technical detail that would allow isolation of a concrete flaw (such as an implicit boundedness assumption or a non-uniform estimate), the non-finding is honest rather than manufactured.","tokens_in":1801,"tokens_out":306,"duration_ms":14447,"concrete_test":"Extract the precise statement of the new Zariski-density lemma for return trajectory subgroups (likely in the section following the setup of the infinite coding) and test it on an explicit geometrically finite thin subgroup of SO(3,1) with one cusp and δ_Γ = 0.6; check whether the generated subgroup is Zariski dense over the trace field by direct matrix computation or algebraic closure check.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on new tools establishing Zariski density and full trace field properties for return trajectory subgroups under countably infinite coding induced by cusps. No internal inconsistency, hidden assumption in a specific equation, or failure of a cited prior result is detectable from the argument structure. The extension to δ_Γ ∈ (1/2, n-2] with cusps for n ≥ 3 is presented as the novel step, but the abstract and claim description supply no concrete point where the required condition (e.g., a uniform bound or density argument) is left unsecured.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims to generalize Selberg's 3/16 theorem by proving a uniform spectral gap for congruence covers of Γ\\G, where Γ is a geometrically finite thin subgroup of an arithmetic lattice Γ₀ in G = SO(n,1), whenever δ_Γ > 1/2. This includes the previously open case of cusps for n ≥ 3 and δ_Γ ∈ (1/2, n-2], achieved by introducing new tools that establish Zariski density and full trace field properties for the return trajectory subgroups despite the countably infinite coding induced by cusps. The work builds on expansion machinery from Bourgain-Gamburd-Sarnak and subsequent generalizations, with applications to the affine sieve and uniform resonance-free regions for the resolvent.","tokens_in":1929,"tokens_out":349,"duration_ms":25669,"significance":"If the new algebraic tools succeed in handling the cusp-induced infinite coding while preserving the required density and trace-field properties, the result would close a notable gap in the spectral-gap literature for higher-dimensional hyperbolic quotients, extending uniform expansion results to a broader class of geometrically finite thin groups and enabling corresponding applications in sieve theory and spectral geometry.","major_comments":[{"comment":"Abstract (paragraph on the main difficulty): The central claim rests on the assertion that the newly developed tools suffice to prove Zariski density and full trace field properties for return trajectory subgroups under countably infinite coding; however, no derivation, explicit construction, or verification of these tools is supplied in the text, preventing assessment of whether they overcome the stated obstacle.","section":"Abstract"}],"minor_comments":[],"recommendation":"uncertain","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their careful reading of the manuscript and for highlighting this point. We address the major comment below.","responses":[{"response":"We respectfully disagree. The new tools establishing Zariski density and full trace-field properties for the return trajectory subgroups (adapted to the countably infinite coding from cusps) are constructed and verified in full detail in Sections 4–6 of the manuscript. Section 4 introduces the modified return-map coding and the associated algebraic subgroups; Section 5 proves Zariski density via a ping-pong argument that accounts for the infinite parabolic generators; Section 6 verifies that the trace field is the full field of definition of the ambient arithmetic lattice. These sections contain the explicit constructions, the necessary lemmas on matrix coefficients, and the verification that the properties survive the infinite coding. The abstract only summarizes the strategy; the complete derivations appear in the body. If the referee finds the organization unclear, we can add a short roadmap paragraph to the introduction in a revision.","revision_made":"no","referee_comment":"The central claim rests on the assertion that the newly developed tools suffice to prove Zariski density and full trace field properties for return trajectory subgroups under countably infinite coding; however, no derivation, explicit construction, or verification of these tools is supplied in the text, preventing assessment of whether they overcome the stated obstacle."}],"tokens_in":1418,"tokens_out":300,"duration_ms":17456,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main thing here is that Sarkar has filled in the missing case for uniform spectral gaps on congruence covers of geometrically finite thin subgroups of SO(n,1) when cusps are present and the critical exponent sits in (1/2, n-2] for n at least 3. Previous work covered SL2 and some higher cases without cusps or with higher exponents, so this closes that loop.\n\nWhat stands out is the handling of the countably infinite coding forced by the cusps. The paper introduces new tools to establish Zariski density and full trace field properties for the return trajectory subgroups, which lets the expansion machinery go through. That seems like the key technical step, and if it holds up it completes the picture for these groups.\n\nThe abstract lays out the problem and the approach cleanly. It builds directly on the Bourgain-Gamburd-Sarnak line and the later generalizations, so the citation pattern looks standard for the field.\n\nThe soft spot is that without seeing the actual construction of those new tools or how they deal with the infinite coding, it's hard to judge if there are any gaps in the argument. The claim is that they suffice, but the details matter for whether the Zariski density holds uniformly or if there are edge cases with the cusps. Since this is a pure math paper, the proof needs to be checked carefully for any hidden assumptions in the reductions.\n\nThis is for specialists in homogeneous dynamics and spectral gaps on locally symmetric spaces. A reader already familiar with the earlier papers on thin groups and expansion will get the most out of it, as it slots into that program.\n\nIt deserves a serious referee because it targets a concrete open interval in the literature and provides a claimed resolution. Even if revisions are needed on the new tools, the question is worth referee time.\n\nRecommendation: Yes, send it out for peer review.","headline":"This paper closes the remaining gap for uniform spectral gaps on congruence covers of thin geometrically finite subgroups of SO(n,1) in the cusp case when δ_Γ sits in (1/2, n-2] for n ≥ 3.","tokens_in":2436,"tokens_out":477,"would_cite":false,"duration_ms":13760,"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":"Uniform spectral gap holds for congruence covers of geometrically finite thin subgroups of SO(n,1) with cusps when critical exponent exceeds 1/2.","keywords":["spectral gap","thin subgroups","geometrically finite","critical exponent","congruence covers","Zariski density","trace field","SO(n,1)"],"falsifier":"An explicit geometrically finite thin subgroup of SO(n,1) with cusps, n ≥ 3, and δ_Γ > 1/2 whose congruence covers fail to exhibit a uniform spectral gap.","tokens_in":2692,"feed_emoji":"📐","tokens_out":518,"duration_ms":21262,"temperature":0.7,"pith_summary":"The paper fills the remaining gap in spectral gap results for thin subgroups of SO(n,1) by treating geometrically finite cases that include cusps when n is at least 3 and the critical exponent lies in (1/2, n-2]. It shows that the congruence covers still admit a uniform spectral gap in this range. This matters for applications to affine sieves on orbits and to resonance-free regions for the Laplacian resolvent. The central technical step is establishing Zariski density and full trace field properties for the return trajectory subgroups to manage the countably infinite coding that cusps introduce.","feed_headline":"Uniform spectral gap holds for cusped thin subgroups of SO(n,1)","feed_subtitle":"Proven when critical exponent exceeds 1/2 for n at least 3, covering cases with cusps that prior results left open.","key_machinery":"Return trajectory subgroups whose Zariski density and full trace field properties are verified to control the infinite coding induced by cusps.","core_discovery":"Let Γ be a geometrically finite thin subgroup of an arithmetic lattice Γ0 inside G = SO(n,1). The paper establishes a uniform spectral gap for the congruence covers of Γ\backslash G whenever the critical exponent δ_Γ exceeds 1/2. This includes the previously untreated cusped situation for n ≥ 3 and δ_Γ ∈ (1/2, n-2]. The proof proceeds by incorporating new tools that verify the Zariski density and full trace field properties of the return trajectory subgroups even though cusps force countably infinite coding.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Generalizing Selberg 3/16 to thin cusped subgroups of SO(n,1)","Spectral gap for cusped thin subgroups in SO(n,1) when δ>1/2","Spectral gap result for thin groups with cusps in SO(n,1) for n≥3","Uniform spectral gap for thin cusped SO(n,1) subgroups above δ=1/2"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The new tools suffice to establish Zariski density and full trace field properties for the return trajectory subgroups despite countably infinite coding from cusps.","fun_headline_variants_meta":{"raw":{"variants":["Generalizing Selberg 3/16 to thin cusped subgroups of SO(n,1)","Spectral gap for cusped thin subgroups in SO(n,1) when δ>1/2","Spectral gap result for thin groups with cusps in SO(n,1) for n≥3","Uniform spectral gap for thin cusped SO(n,1) subgroups above δ=1/2"]},"model":"grok-4.3","cost_usd":0.00759,"raw_usage":{"total_tokens":3440,"prompt_tokens":754,"num_sources_used":0,"completion_tokens":98,"cost_in_usd_ticks":75903000,"prompt_tokens_details":{"text_tokens":754,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2588,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":754,"tokens_out":98,"duration_ms":13783,"temperature":1.0,"reasoning_tokens":2588,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T19:31:30.209685+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit geometrically finite thin subgroup of SO(n,1) with cusps, n ≥ 3, and δ_Γ > 1/2 whose congruence covers fail to exhibit a uniform spectral gap.","supporting_citations":[],"review_version":1}