{"case_id": "case-a79e515bd13565b02afdda4e", "chronology_note": "The recorded review cutoff is 2012-05-24 (journal received date). The external works cited in the proof of Lemma lem:spec1 and its template Lemma lem:spec0—specifically Bourgain-Kontorovich-Sarnak (GAFA 2010) and Lax-Phillips (J. Funct. Anal. 1982)—predate the cutoff according to the manuscript bibliography, and Vinogradov's bisector counting theorem (Theorem thm:Vin, arXiv:1204.5498v1, April 2012) also predates the cutoff. However, the theorem-bearing texts of the external references are not included in the supplied source packet, so their exact hypotheses and applicability to close the omitted boundary-strip and coset-smoothing steps cannot be verified from the supplied material. No post-cutoff results or model-weight knowledge are used to repair the original proof.", "decisions": [{"affected_claims": ["lem:spec1", "narrative:93454", "thm:cMNis", "thm:cMNtoMNU", "thm:CircMeth", "thm:RNU", "thm:Main"], "finding_id": "finding-996e3be56d3cf4f80874", "hypothesis_check": "The hypotheses of Lemma lem:spec1 fix 1 < K <= T_2^{1/10}, |beta| < K/N, x,y asymp X, gamma_0 in Gamma, q >= 1, and Gamma(q) < tilde{Gamma}(q) < Gamma. None of these hypotheses make Gamma abelian or identify gamma_1^{-1} gamma_0 gamma_2', gamma_0 gamma_2', gamma_0 gamma_1^{-1} gamma_2', and gamma_1 gamma_0^{-1} gamma_2'.", "outcome": "confirmed_error", "reasoning": "The proof starts from gamma = gamma_1 gamma_2 = gamma_0 gamma_2' with gamma_2' in tilde{Gamma}(q), so gamma_2 = gamma_1^{-1} gamma_0 gamma_2', and correctly writes the inner sum over gamma_2' in tilde{Gamma}(q) with norm condition T_2 < ||gamma_1^{-1} gamma_0 gamma_2'|| < 2T_2 and linear/phase arguments evaluated at gamma_0 gamma_2' v_0. It then defines f(g) = 1_{T_2 < ||gamma_1^{-1} g|| < 2T_2} 1_{<e_1, g v_0> > T/100} e(beta <w_{x,y}, g v_0>). With this f and F_q(g,h) = sum_{gamma in tilde{Gamma}(q)} f(g^{-1} gamma h) from (eq:FqIs), the desired sum is sum_{gamma_2'} f(gamma_0 gamma_2') = F_q(gamma_0^{-1}, e). Instead, the proof sets N_q = F_q(gamma_1 gamma_0^{-1}, e) = sum_{gamma_2'} f(gamma_0 gamma_1^{-1} gamma_2'), which inserts an extra gamma_1^{-1} into every factor of f. Furthermore, the subsequent range decompositions (1) and (2) replace the argument by gamma_1 gamma_0^{-1} gamma_2' in both the norm ||gamma_1 gamma_0^{-1} gamma_2'|| and the linear functional <e_1, gamma_1 gamma_0^{-1} gamma_2' v_0>, which matches neither f(gamma_0 gamma_2') nor f(gamma_0 gamma_1^{-1} gamma_2').", "revised_quote": "", "revised_reasoning": "No later edition was supplied for comparison.", "revised_status": "not_checked", "severity": "substantive", "source_quote": "such as replacing \\eqref{eq:cNq} by\n$F_{q}(\\g_{1}\\g_{0}^{-1},e)$."}, {"affected_claims": ["lem:spec1", "narrative:93454", "thm:cMNis", "thm:cMNtoMNU", "thm:CircMeth", "thm:RNU", "thm:Main"], "finding_id": "finding-07af0c30fa154819c300", "hypothesis_check": "All hypotheses of Lemma lem:spec1 and the ambient definitions of F_T in (eq:fFdef) and Lemma lem:spec0 were checked. Lemma lem:spec0 only counts radial norm balls ||gamma_1 gamma|| < Y via Lax-Phillips (1982); it includes no linear-functional truncation <e_1, g v_0> > T/100.", "outcome": "unresolved", "reasoning": "In Lemma lem:spec1, the indicator f(g) includes both the radial shell T_2 < ||gamma_1^{-1} g|| < 2T_2 and the linear-functional cutoff <e_1, g v_0> > T/100. Consequently, the complement of ranges (1) and (2) includes not only the radial norm shells around T_2 and 2T_2, but also the boundary strip (T/100)(1 - 10 eta) <= <e_1, gamma_0 gamma_2' v_0> <= (T/100)(1 + 10 eta) with ||gamma_1^{-1} gamma_0 gamma_2'|| asymp T_2. The cited bound (eq:reg3Lem) in Lemma lem:spec0 is derived solely from radial ball counting in Lax-Phillips (1982), and the inequality |f| <= 1 only bounds each summand by 1 without bounding the number of lattice points in the linear-functional strip. While Theorem thm:Vin (or the cited external work Bourgain-Kontorovich-Sarnak 2010, Section 4) is used elsewhere in the paper for sector/bisector conditions (such as in the sketch of Lemma lem:spec2), the proof of Lemma lem:spec1 does not supply this reduction, and the external reference is not available in the packet to verify that it directly covers this strip uniformly in gamma_1.", "revised_quote": "", "revised_reasoning": "No later edition was supplied for comparison.", "revised_status": "not_checked", "severity": "substantive", "source_quote": "In the remaining range, \\eqref{eq:reg3Lem} remains unchanged, using $|f|\\le1$."}, {"affected_claims": ["lem:spec1", "narrative:93454", "thm:cMNis", "thm:cMNtoMNU", "thm:CircMeth", "thm:RNU", "thm:Main"], "finding_id": "finding-a92f6277420b6b733bcd", "hypothesis_check": "Checked the full source for the definitions of w_{x,y}, N, X, T, T_1, T_2, K, and the Sobolev norm S. In the full manuscript, w_{x,y} is explicitly defined in (eq:wxyDef) as w_{x,y} = xi_{x,y}^t e_4 = (4x^2+2xy+y^2-1, 4x^2+2xy, -2xy, 2xy+y^2)^t, so ||w_{x,y}|| asymp X^2 for x,y asymp X, and TX^2 = N in (eq:TXNis). However, Lemma lem:spec1 claims uniformity for any gamma_0 in Gamma and any tilde{Gamma}(q) satisfying Gamma(q) < tilde{Gamma}(q) < Gamma.", "outcome": "unresolved", "reasoning": "In the full reviewed source, the definition of w_{x,y} is present at (eq:wxyDef) and gives ||w_{x,y}|| asymp X^2; thus, if a perturbation of g = gamma_0 gamma_2' (where ||g|| = ||gamma_1 gamma_2|| << T_1 T_2 = T) had error O(eta T), then |beta| < K/N and TX^2 = N would yield a phase variation of O(eta (K/N) X^2 T) = O(eta K). However, the remaining part of the objection identifies a genuine, unresolved gap in how the smoothing from Lemma lem:spec0 is applied. In Lemma lem:spec0, smoothing via Psi_{q,gamma_1}(g) = Psi_q(g gamma_1) produces the perturbed argument gamma_1 g^{-1} gamma h (and in Lemma lem:spec1 item (2), gamma_1 gamma_0^{-1} g gamma_2' h), which places the small element g^{-1} (or g) in the middle of the product rather than on the far left. Conjugating g by an arbitrary coset representative gamma_0 in Gamma (or by gamma_1 gamma_0^{-1}) can amplify the perturbation and the right-regular Lie algebra derivatives in the Sobolev norm S(Psi_{q,gamma_0}) by powers of ||gamma_0|| unless one uses the normality of Gamma(q) in Gamma to smooth on the left and restricts gamma_0 to a bounded-norm representative of Gamma / tilde{Gamma}(q) (or absorbs gamma_0 into the subgroup conjugation). In addition, the text switches from 'a net contribution to the error of << eta K T^delta' in item (2) to 'O(eta K T_2^delta + T_2^{delta - varepsilon} eta^{-10})' in the next display without explaining how the T_1-factor in ||gamma_1 gamma_2|| << T_1 T_2 = T is separated from the per-gamma_1 count O(T_2^delta). Because the manuscript relies on a brief sketch and cites Bourgain-Kontorovich-Sarnak (2010, Section 4), whose text is not in the supplied packet, this obligation remains unresolved.", "revised_quote": "", "revised_reasoning": "No later edition was supplied for comparison.", "revised_status": "not_checked", "severity": "substantive", "source_quote": "for a net contribution to the error of $\\ll \\eta K T^{\\gd}$."}, {"affected_claims": [], "finding_id": "finding-455dc6321378487dd31c", "hypothesis_check": "Checked the definition of the family F = F_T in Section 3.1, equation (eq:fFdef), and its usage across Section 3 and Section 5.", "outcome": "packet_context", "reasoning": "In the full reviewed source, the sentence truncated in the wave-1 excerpt reads in full: 'Note also that the decomposition \\g=\\g_{1}\\g_{2} in \\eqref{eq:fFdef} need not be unique, so some forms may appear with multiplicity.' Throughout the paper (including (eq:1) in Lemma lem:spec3, Lemma lem:spec1, and Lemma lem:spec2), F_T is treated as a family (multiset) indexed by the pairs (gamma_1, gamma_2) satisfying the conditions in (eq:fFdef). Under this convention, rewriting the sum over gamma in F cap gamma_0 tilde{Gamma}(q) as the double sum over gamma_1 and gamma_2' = gamma_0^{-1} gamma_1 gamma_2 is exact.", "revised_quote": "", "revised_reasoning": "No later edition was supplied for comparison.", "revised_status": "not_checked", "severity": "none", "source_quote": "Note also that the decomposition $\\g=\\g_{1}\\g_{2}$ in \\eqref{eq:fFdef} need not be unique, so some forms may appear with multiplicity."}, {"affected_claims": [], "finding_id": "finding-fc713945f694144edc7b", "hypothesis_check": "Checked (eq:TT1T2) (T = T_1 T_2, T_2 = T_1^C) and (eq:cCis) (C = 10^{30}/(delta - Theta_0)) in the full reviewed source, together with the hypothesis 1 < K <= T_2^{1/10}.", "outcome": "packet_context", "reasoning": "As the finding itself notes, conditional on a uniform per-gamma_1 error bound of O(eta K T_2^delta + T_2^{delta - varepsilon} eta^{-10}), choosing eta = T_2^{-varepsilon/11} K^{-1/11} yields O(T_2^{delta - varepsilon/11} K^{10/11}), and summing over the O(T_1^delta) choices of gamma_1 using (eq:TT1T2) and (eq:cCis) yields O(T^Theta K^{10/11}) <= O(T^Theta K) for a constant Theta < delta depending only on the spectral gap. The full source supplies both (eq:TT1T2) and (eq:cCis), confirming that this final algebraic optimization step is self-consistent.", "revised_quote": "", "revised_reasoning": "No later edition was supplied for comparison.", "revised_status": "not_checked", "severity": "none", "source_quote": "Optimizing $\\eta$ and renaming $\\gT$ gives the bound $O(T_{2}^{\\gT}K^{10/11})$"}], "external_results": [{"available_from": "2010", "date_basis": "journal_publication_year_in_bibliography", "date_evidence": "Bibliography entry \\bibitem[BKS10]{BourgainKontorovichSarnak2010}: J. Bourgain, A. Kontorovich, and P. Sarnak, Sector estimates for hyperbolic isometries, GAFA, 20(5):1175--1200, 2010 (predates the 2012-05-24 cutoff).", "finding_ids": ["finding-07af0c30fa154819c300", "finding-a92f6277420b6b733bcd"], "imported_result": "Section 4 of Bourgain, Kontorovich, and Sarnak (2010), cited at the beginning of the proof of Lemma lem:spec1 for the smoothed congruence-coset and sector counting argument.", "role": "proof_input", "version": "Published GAFA 2010 article (theorem-bearing text not supplied in the review packet; applicability to the weighted, linear-functional-truncated SO_F(R) sum is unverified)."}, {"available_from": "1982", "date_basis": "journal_publication_year_in_bibliography", "date_evidence": "Bibliography entry \\bibitem[LP82]{LaxPhillips1982}: P. D. Lax and R. S. Phillips, The asymptotic distribution of lattice points in Euclidean and non-Euclidean space, Journal of Functional Analysis, 46:280--350, 1982 (predates the 2012-05-24 cutoff).", "finding_ids": ["finding-07af0c30fa154819c300"], "imported_result": "Asymptotic lattice-point count in hyperbolic radial norm balls, used in Lemma lem:spec0 (eq:reg3Lem) and invoked in Lemma lem:spec1 item (3).", "role": "proof_input", "version": "Published J. Funct. Anal. 1982 article (theorem-bearing text not supplied in the review packet; radial norm ball asymptotics do not by themselves establish the linear-functional boundary-strip estimate in Lemma lem:spec1)."}], "original_proof_status": "defective", "statement_argument": "The statement of Lemma lem:spec1 is neither refuted nor locally established by the supplied material: while the displayed proof sketch contains internal algebraic mismatches in the coset/kernel arguments and omits the justification for the linear-functional boundary-strip count and coset-uniform smoothing, these are defects in the proof sketch rather than counterexamples to the lemma.", "statement_status": "unresolved", "summary": "Arbitration of Lemma lem:spec1 against the full reviewed source confirms that the supplied proof sketch is defective. First (finding-996e3be56d3cf4f80874, confirmed_error, substantive), after correctly rewriting the sum over gamma = gamma_1 gamma_2 = gamma_0 gamma_2' with gamma_2' in tilde{Gamma}(q) and defining f(g) with ||gamma_1^{-1} g|| and g v_0, the inner sum is F_q(gamma_0^{-1}, e) = sum f(gamma_0 gamma_2'), but the proof instead writes F_q(gamma_1 gamma_0^{-1}, e) = sum f(gamma_0 gamma_1^{-1} gamma_2') and then uses gamma_1 gamma_0^{-1} gamma_2' in both the norm and linear-functional conditions in ranges (1) and (2). Second (finding-07af0c30fa154819c300, unresolved, substantive), range (3) includes a boundary strip around the hyperplane <e_1, gamma_0 gamma_2' v_0> = T/100; citing the radial norm-shell bound (eq:reg3Lem) and |f| <= 1 does not bound the number of lattice points in that strip, and the cited external reference Bourgain-Kontorovich-Sarnak (2010, Section 4) is not in the supplied packet. Third (finding-a92f6277420b6b733bcd, unresolved, substantive), although the full source defines w_{x,y} in (eq:wxyDef), the right-translated smoothing inherited from Lemma lem:spec0 places the small perturbation element between the coset factor and gamma_2', which does not control conjugation by an arbitrary gamma_0 in Gamma without a left-smoothing / normal-subgroup reduction. The remaining two findings (finding-455dc6321378487dd31c on the multiplicity convention for F_T in Section 3.1 and finding-fc713945f694144edc7b on the final exponent optimization using (eq:TT1T2) and (eq:cCis)) are resolved by the full source context with severity none.", "target_id": "lem:spec1"}