{"id":"04a1d0f2-3487-4312-bf65-14ad91f3065d","arxiv_id":"2607.23864","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Joint eigensections localize Berezin–Toeplitz quantum systems at a Liouville torus, yielding strong convergence of broad classes of observables to multiplication operators on L²(Tⁿ).","lead":"Joint eigensections of commuting Berezin–Toeplitz operators embed quantum spaces into L² of a fixed Liouville torus so that many quantum observables converge strongly to multiplication operators. This gives a clean semiclassical picture of spectra, pairs of projections, and Lie-algebra contractions near integrable tori.","discovery_kind":"extension","skeptic_critique":{"model":"moonshotai/kimi-k3","headline":"No significant internal objection: the construction's real dependence is on Charles's published Bohr–Sommerfeld/Lagrangian-section machinery (as the reader flagged), and the explicit su(2)→e(2) example independently corroborates the full pipeline end-to-end.","rationale":"The reader identified the correct load-bearing assumption — total dependence on Charles's Bohr–Sommerfeld description and Lagrangian-section symbol calculus — and correctly classified it as a standard deep citation rather than a flaw. My independent pass over the paper's original contributions (Lemma 4.16, Propositions 4.17/4.20, the microsupport estimates in §4.1, and the two-projection analysis in §5) found them carefully argued with consistent error bookkeeping: fixed-mode O(k⁻¹) estimates are only ever used for fixed m, the measure-zero boundary hypotheses are exactly what the smooth-approximation arguments consume, and the strong-convergence lift via Lemma 4.1 is applied with both required conditions (matrix coefficients and norms). I found no internal inconsistency, no hidden assumption, and no circularity (the su(2) example checks the theory against known special-function asymptotics rather than against itself). The residual risk is concentrated entirely in the cited 2003 machinery, which is peer-reviewed and standard in semiclassical Berezin–Toeplitz analysis; the proposed numerical test on CP¹ would catch even that, since spin operators are fully explicit. Verdict remains ACCEPT with high confidence; no adjustment warranted.","tokens_in":46131,"tokens_out":5232,"duration_ms":255271,"concrete_test":"Numerically verify Theorem 2.2(2) in the fully explicit CP¹ setting of §2.4. There H_k = homogeneous polynomials of degree k, J_{k,3} is diagonal in the monomial basis e_{k,m}, and T_k(u₁) = −J_{k,1}/(k+2) has known tridiagonal matrix entries. For k = 50, 100, 200, 400: diagonalize T_k(u₁), form Π_k = 1_{(b₀,∞)}(T_k(u₁)) for a regular b₀, embed via e_{k,m_k+p} ↦ e_p, and compute ∥[Π_k]_T e_p − 1_{A₀} e_p∥_{L²(T)} for fixed p = 0, ±1, ±5, where A₀ = {u₁|_{x₃=−2a₀} > b₀}. If the residuals decrease (roughly like k^{−1/2} or better) toward zero, the chain Prop 2.1 → Cor 4.14 → Prop 4.20 is confirmed in a case with no free choices; if they plateau or grow, the failure localizes the weak link in the cited asymptotics.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I read Theorem 2.2 and its proof (§4) looking for a soft spot beyond the reader's flagged reliance on [10]. The internal architecture is: (i) Proposition 2.1 reduces the joint spectrum near a₀ to a rescaled lattice via Theorem 3.1 (= [10, Thm 3.1]); (ii) Corollary 4.14/4.15 select joint eigensections s_{k,m} asymptotic to Lagrangian sections with exponential symbols e_m u_0; (iii) Propositions 4.17/4.20 compute matrix-coefficient limits via Proposition 4.9 (= [10, Prop 2.6]) plus the new \"continuity\" bound Lemma 4.16; (iv) Lemma 4.1 lifts matrix-coefficient + norm convergence to strong convergence. I checked the steps that are new to this paper rather than cited: Lemma 4.16's bound lim sup ∥h s_k∥ ≤ ∥h∥_∞√(M_{v0,a0} μ_Λ(K_{a0})) is correctly applied with h = h_A − h_δ and with 1_{|g₀−b₀|<δ}, where the transversality hypothesis g₀⁻¹(b₀) ⋔ Λ_{a₀} is exactly what makes μ_Λ({g₀|_Λ = b₀}) = 0 so the δ→0 approximation closes. The norm condition in Lemma 4.1 for part 2 follows because Π is a projection (∥Πs∥² = ⟨Πs,s⟩). The growth of I_k (p_k = o(k^{1/2}), p_k→∞) is consistent: fixed modes m are eventually in I_k, and the O(|m|²/k²) eigenvalue error is only used for fixed m. The two-projection arguments in §5 (esp. Proposition 5.7 via the decomposable-operator essential spectrum argument in Lemma 5.6) are self-contained and correct as far as I can verify. The one place the paper cannot be checked internally is the cited asymptotics themselves: if [10, Thm 3.1] or the symbol calculus ([10, §2]) failed at the stated orders, the lattice approximation (Prop 2.1) and the inner-product formula (Prop 4.9) — hence every matrix-coefficient limit — would collapse. But these are standard, peer-reviewed results in the subfield, and §2.4 reproduces the known Wigner-d → Bessel asymptotics (Lemma 2.31) as a special case, which is genuine end-to-end corroboration, not circularity.","agreement_with_reader":"agree"},"referee_report":{"model":"moonshotai/kimi-k3","summary":"The manuscript studies n pairwise commuting self-adjoint Berezin–Toeplitz operators on a closed Kähler manifold whose principal symbols form an integrable system near a regular value a_0. Starting from Charles’s Bohr–Sommerfeld description, Proposition 2.1 approximates the joint spectrum near a_0 by a rescaled lattice. Theorem 2.2 constructs normalized joint eigensections and isometric embeddings U_k of the quantum spaces into L^2(T^n), sending those eigensections to exponentials. Under boundary measure-zero or transversality hypotheses, Toeplitz operators with discontinuous symbols and suitable spectral projections then converge strongly, after transport by U_k, to multiplication operators on the Liouville torus. The paper derives spectral corollaries, applies the result to pairs of spectral projections and to the asymptotic maximality of polynomials in two projections, and constructs contractions of semiclassical projective quasi-representations. An explicit Berezin–Toeplitz realization of the su(2)\\to e(2) contraction, including the standard Wigner small-d to Bessel-function asymptotics, is worked out in detail.","tokens_in":46641,"tokens_out":10913,"duration_ms":253628,"significance":"If the results stand, the paper provides a general and geometrically natural localization principle for Berezin–Toeplitz systems at a regular Liouville torus. A particular strength is that the leading limits are parameter-free once the integrable system and torus are fixed: they are determined by h|_{\\Lambda_{a_0}}, the matrix \\nu(0), and standard angle variables. The proof is modular, with new strong-convergence and continuity estimates clearly separated from the cited Bohr–Sommerfeld machinery. The applications to spectral projections, two-projection algebras, and contractions give testable spectral consequences, and the su(2)\\to e(2) example checks the full construction against the classical Wigner-d/Bessel asymptotics.","major_comments":[],"minor_comments":[{"comment":"Theorem 2.2 and footnote 20: it would be clearer to call U_k a unitary isomorphism from H_k onto the explicitly defined subspace H_k^{T^n}, rather than a unitary transformation into L^2(T^n). Please also state the measure used when identifying L^2(\\Lambda_{a_0}) with L^2(T^n): \\mu_{\\Lambda_{a_0}} differs from normalized angle measure by the constant factor involving |det nu(0)|. The normalization in Corollary 4.14 accounts for this, but the convention should be made explicit.","section":"§2.1, Theorem 2.2"},{"comment":"The proof twice refers to “Lemma 4.8,” but the relevant result is labeled Corollary 4.8. In the same proof, the transition between 1_{\\{g_0\\ge b_0\\}}, 1_{\\{g_0>b_0\\}}, and the narrow-strip indicators relies on the transversality hypothesis giving the level set zero measure in \\Lambda_{a_0}; stating this once would make the approximation argument easier to follow.","section":"§4.4, proof of Proposition 4.20"},{"comment":"The displayed trace asymptotic is first recalled for smooth symbols with reference [12], and is then asserted for arbitrary real-valued h\\in L^\\infty(M) with the same O(k^{n-1}) error. If this follows from the uniform on-diagonal Bergman-kernel expansion, please give that citation or a one-line derivation; otherwise restrict the displayed statement to the smooth symbols actually used in the proof.","section":"§5.2, opening of proof of Proposition 2.17"},{"comment":"Definition 2.21 should specify that the O(1) estimate is uniform in k for fixed X, Y, and w, with a constant allowed to depend on those data. Since the operators in Theorem 2.23 may be unbounded on L^2(T^n), please also state the domain convention underlying \\xi_k:g\\to End(C^\\infty(T^n)).","section":"§2.3, Definitions 2.20–2.21"},{"comment":"The verification that g\\mapsto X_g|_{\\Lambda_{a_0}} is a representation, rather than an anti-representation, depends on the sign conventions for the Poisson bracket and Hamiltonian vector field. These conventions should be stated explicitly, especially because the correspondence principle is written with a particular sign in Eq. (3).","section":"§6, Theorem 2.23 and Lemma 6.5"},{"comment":"Typographical points: “dominant convergence theorem” should be “dominated convergence theorem” in the proof of Proposition 4.17; “unit sections” would be clearer as “normalized sections” or “unit-norm sections”; and the spacing in the displayed definition of h_{A,0} in Theorem 2.2 is ambiguous.","section":"General"}],"recommendation":"accept","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The punchline is simple: once you embed the joint eigensections near a regular Liouville torus into L²(Tⁿ) as exponentials, a wide class of Berezin–Toeplitz operators—including discontinuous symbols and spectral projections—become sequences that converge strongly to multiplications on the torus. That single device then feeds the two-projection density/maximality results and the contraction of semiclassical projective quasi-representations.\n\nWhat is actually new is the embedding-plus-strong-convergence package (Thm 2.2 and Cor 2.3), the asymptotic maximality for polynomials in two projections beyond the spin case (Thm 2.11 / Cor 2.14), and the systematic contraction statement for subalgebras V₀ ⊕ V_inv (Thm 2.23), with the classical su(2)→e(2) story recovered as a clean special case including the Wigner-d → Bessel asymptotics. The proofs are careful: Prop 2.1 is a first-order extraction from Charles’s Bohr–Sommerfeld lattice; matrix coefficients are computed via Lagrangian sections and a useful continuity bound (Lem 4.16); strong convergence is lifted by the standard matrix-coefficient lemma; the two-projection arguments reduce to Hardy-space/Toeplitz spectral theory on the torus and look self-contained.\n\nThe soft spot is real but proportionate: everything rides on Charles’s published Bohr–Sommerfeld and symbol calculus. The paper treats that as background rather than re-proving it. Inside that framework the new steps check out, and the independent recovery of the known Bessel asymptotics is genuine end-to-end corroboration, not circularity. Citation pattern is appropriate; self-cites to the author’s earlier spin-projection work are motivational, not load-bearing.\n\nThis is for people who already live in semiclassical analysis / geometric quantization and care about discontinuous observables, pairs of projections, or contractions. It is not a broad-audience paper, but a serious referee in the subfield should see it. I would send it to peer review.","headline":"Solid torus-embedding framework that cleanly unifies strong limits for discontinuous Toeplitz operators, two-projection spectra, and Lie-algebra contractions; main dependence is on Charles, which is standard and cross-checked by the su(2) example.","tokens_in":47478,"tokens_out":540,"would_cite":true,"duration_ms":15398,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53D50","81S10","47B35","22E70"],"pacs":[],"model":"grok-4.5","headline":"Joint eigensections embed quantum spaces into L² of a Liouville torus so many quantum observables converge strongly to multiplication operators.","keywords":["Berezin-Toeplitz quantization","Liouville tori","strong operator convergence","Bohr-Sommerfeld conditions","spectral projections","Lie algebra contractions","joint eigensections","Kähler manifolds"],"falsifier":"For spin operators on the sphere, compute matrix coefficients of a discontinuous observable or a pair of spectral projections between joint eigensections labeled by fixed lattice indices and check whether they approach the predicted Fourier coefficients of the restriction to the latitude torus as the quantum number tends to infinity.","tokens_in":46990,"feed_emoji":"⚛️","tokens_out":823,"duration_ms":38370,"temperature":0.7,"pith_summary":"The paper studies pairwise commuting Berezin–Toeplitz operators on a closed Kähler manifold whose principal symbols form an integrable system with a Liouville torus. Joint eigensections near that torus are matched to ordinary exponential functions, producing isometric embeddings of the finite-dimensional quantum spaces into L² of the torus. Under those embeddings, a wide class of quantum observables—including operators built from discontinuous functions and spectral projections—become sequences that converge strongly to multiplication operators on the torus. Strong convergence yields spectral consequences and two applications: asymptotic maximality for pairs of spectral projections, and contractions of semiclassical quasi-representations of Lie algebras to genuine representations acting on the torus.","feed_headline":"Quantum operators localize to multiplications on a torus","feed_subtitle":"Joint eigensections embed quantum spaces so discontinuous observables converge strongly to classical multiplications.","key_machinery":"Unitary maps that send joint eigensections for Bohr–Sommerfeld eigenvalues near a regular value to the standard exponentials on the torus. These maps turn local quantum dynamics about the Liouville torus into ordinary function theory, so strong operator convergence reduces to matrix coefficients converging to Fourier coefficients of the restricted classical symbol.","core_discovery":"There exist orthonormal joint eigensections and unitary embeddings of the quantum spaces into L² of a fixed Liouville torus sending those sections to exponentials, such that Toeplitz operators of continuous functions times indicators of open sets (boundary of measure zero on the torus) and spectral projections of Toeplitz operators with regular values transverse to the torus all converge strongly to the corresponding multiplication operators on the torus.","pith_inferences":["The same localization should extend to other semiclassical quantizations once an analogous Bohr–Sommerfeld calculus is available.","Strong convergence on the local space about one torus suggests a semiclassical atlas in which global quantum dynamics is patched from multiplications on the various Liouville tori.","The correspondence principle fails quantitatively for discontinuous observables: commutators of spectral projections can remain order-one in the semiclassical limit."],"forward_implications":["Spectra of the embedded operators become dense in the essential range of the limiting multiplication function.","Polynomials in pairs of spectral projections asymptotically attain the universal operator-norm bound for two projections.","Semiclassical quasi-representations of suitable Lie subalgebras contract to genuine representations by multiplications and vector fields on the torus.","Asymptotics of Wigner d-functions are recovered as matrix-coefficient limits under the su(2) to e(2) contraction."],"fun_headline_variants":["Quantum operators converge to multiplications on a Liouville torus","Joint eigensections embed quantum spaces into L² of a fixed torus","Toeplitz observables localize as multiplications via torus embeddings","Spectral projections of quantum observables converge on Liouville tori","Orthonormal eigensections send quantum spaces to exponentials on tori"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The construction rests on an existing asymptotic description of the joint spectrum and eigensections near the torus by a deformed lattice and Lagrangian sections; if those expansions fail at the claimed orders, the matrix-coefficient limits and strong convergence collapse.","fun_headline_variants_meta":{"raw":{"variants":["Quantum operators converge to multiplications on a Liouville torus","Joint eigensections embed quantum spaces into L² of a fixed torus","Toeplitz observables localize as multiplications via torus embeddings","Spectral projections of quantum observables converge on Liouville tori","Orthonormal eigensections send quantum spaces to exponentials on tori"]},"model":"grok-4.5","effort":"low","cost_usd":0.004567,"raw_usage":{"total_tokens":1287,"prompt_tokens":680,"num_sources_used":0,"completion_tokens":72,"cost_in_usd_ticks":45668000,"prompt_tokens_details":{"text_tokens":680,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":535,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":680,"tokens_out":72,"duration_ms":9957,"temperature":1.0,"reasoning_tokens":535,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-30T13:52:28.686637+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"For spin operators on the sphere, compute matrix coefficients of a discontinuous observable or a pair of spectral projections between joint eigensections labeled by fixed lattice indices and check whether they approach the predicted Fourier coefficients of the restriction to the latitude torus as the quantum number tends to infinity.","supporting_citations":[],"review_version":2}