{"id":"0f77e0e3-f29e-41f1-836d-484dfae11d26","arxiv_id":"2605.30679","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Improves L2→L4 bounds for spectral projectors P_λ,δ with δ polynomially small in λ on S1-symmetric surfaces via Bessel eigenfunctions and nonstationary phase estimates.","lead":"The paper improves the upper bound on the L2 to L4 norm of spectral projectors onto polynomially narrow frequency intervals for the Euclidean disk away from the boundary, using explicit Bessel function decompositions and oscillatory integral estimates. A smart generalist might read it to see how symmetry and convexity help control eigenfunction concentration in analysis on curved spaces.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader's verdict was UNVERDICTED solely from the abstract; the explicit disk construction supplies direct verification paths that remove the uncertainty. The weakest_assumption cited (integrable-structure conditions) applies only to the extension statement, not the disk claim itself.","tokens_in":1745,"tokens_out":267,"duration_ms":15114,"concrete_test":"Fix a radial cutoff away from the boundary (e.g., r ≤ 0.9) and recompute the L²→L⁴ operator norm of P_λ,δ via the explicit Bessel sum for λ = 100, 200 with δ = λ^{-3}; compare the observed growth against the claimed improved bound versus the standard δ-independent bound.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim for the Euclidean disk rests on an explicit joint eigenbasis of Bessel functions, reduction to nonstationary phase oscillatory integrals with quantitative error control outside the caustic, and a convexity-based arithmetic estimate to sum contributions. These steps are internally consistent for the disk geometry; the polynomial-smallness regime for δ is handled by the decay rates in the phase estimates and the arithmetic control on the angular modes, with no unsecured assumption visible in the reduction or summation.","agreement_with_reader":"disagree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript claims an improved upper bound for the L²→L⁴ norm of the spectral projector P_{λ,δ} on the Euclidean disk away from the boundary, in the regime where the bandwidth δ is polynomially small relative to the frequency λ. The argument decomposes the projector on the explicit joint eigenbasis of (√−Δ, (1/i)∂_θ) given by Bessel functions, reduces the problem to quantitative nonstationary-phase estimates for oscillatory integrals outside the caustic set, invokes convexity both in the phase estimates and in a new arithmetic estimate controlling the sum over angular modes, and asserts that the method extends to other S¹-symmetric surfaces whose induced completely integrable structure satisfies analogous conditions.","tokens_in":1822,"tokens_out":404,"duration_ms":16887,"significance":"If the central estimates are correct, the result sharpens existing bounds on spectral projectors in a technically delicate small-bandwidth regime that is relevant to eigenfunction L^p estimates and concentration phenomena on symmetric surfaces. The explicit reduction to Bessel functions together with the convexity-based arithmetic summation provides a concrete, verifiable mechanism for handling polynomial smallness of δ; these features constitute a genuine technical contribution that could be useful on other integrable surfaces once the precise structural hypotheses are stated.","major_comments":[],"minor_comments":[{"comment":"The abstract states that the method extends to other S¹-symmetric surfaces satisfying “similar conditions on the induced completely integrable structure,” but does not list those conditions; the full text should state them explicitly (ideally in a dedicated paragraph or subsection) so that the scope of the extension can be checked.","section":null},{"comment":"The abstract sketches the use of nonstationary phase and the arithmetic estimate but does not record the precise polynomial degree relating δ and λ or the resulting improvement in the operator norm; adding a sentence with the quantitative statement would make the main theorem immediately visible.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment of the manuscript, the recognition of its technical contributions, and the recommendation of minor revision. No specific major comments were raised in the report.","responses":[],"tokens_in":1312,"tokens_out":55,"duration_ms":9322,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main advance is a sharpened upper bound on the L2 to L4 norm of the spectral projector P_λ,δ on the Euclidean disk away from the boundary, specifically when δ is polynomially small relative to λ. The argument decomposes on the explicit joint eigenbasis of Bessel functions, approximates them by oscillatory integrals outside the caustic, controls those integrals by nonstationary phase with quantitative errors, and then applies convexity both to the phase estimates and to a new arithmetic bound when summing over angular modes.\n\nThis combination handles the narrow-band regime and looks like a genuine technical step beyond the cited prior work. The explicit basis makes the reductions concrete, and the stress-test confirms the steps are internally consistent with no obvious circularity or unsecured assumption.\n\nThe limitation is the heavy reliance on S1 symmetry and the induced integrable structure. Without that, the explicit basis and the convexity phenomenon for summation disappear, so the method does not extend to general surfaces. The abstract also omits the precise old and new bounds, which makes the size of the improvement hard to judge from the summary alone.\n\nA reader working on microlocal analysis or eigenfunction estimates on symmetric domains would find the details useful. The paper shows clear, self-contained thinking with standard tools plus one new estimate, so it merits sending to referees rather than a desk rejection.","headline":"Chabert improves the L2-to-L4 bound for spectral projectors on the disk when the frequency window is only polynomially small, via explicit Bessel functions, nonstationary phase, and a convexity-based arithmetic sum.","tokens_in":2318,"tokens_out":361,"would_cite":false,"duration_ms":23750,"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":"For the Euclidean disk away from its boundary the L2 to L4 norm of the spectral projector improves when the bandwidth is only polynomially small in the target frequency.","keywords":["spectral projectors","L4 operator norms","Riemannian surfaces","S1 symmetry","Bessel functions","oscillatory integrals","eigenfunction estimates","integrable systems"],"falsifier":"Direct numerical computation of the L2 to L4 norm of P_{λ,δ} for a sequence of large λ with δ equal to λ to a fixed negative power, restricted to a compact set strictly inside the disk, to check whether the norm remains below the claimed improved threshold.","tokens_in":2629,"feed_emoji":"","tokens_out":778,"duration_ms":22481,"temperature":0.7,"pith_summary":"The paper establishes an improved upper bound on the operator norm from L2 to L4 of the spectral projector onto a frequency interval of width δ around λ, for the flat disk and away from the boundary, in the regime where δ shrinks only polynomially with λ. This matters for controlling the possible concentration of eigenfunctions and for obtaining sharp estimates in spectral geometry on manifolds. The argument proceeds by decomposing the projector in the explicit joint eigenbasis of the Laplacian and the angular derivative, expressed via Bessel functions that admit good oscillatory approximations outside caustics. Convexity properties of the phase functions and a new arithmetic estimate then control the sum over the eigenfunctions. The same approach extends directly to other rotationally symmetric surfaces whose induced integrable structure satisfies analogous conditions.","feed_headline":"Disk spectral projectors gain improved L4 bound for polynomially small bands","feed_subtitle":"Away from the boundary the L2 to L4 norm improves when the frequency interval width shrinks only polynomially with the target frequency.","key_machinery":"Decomposition into the joint eigenbasis of (√-Δ, (1/i)∂/∂θ) given by Bessel eigenfunctions, followed by convexity-based nonstationary phase estimates on the resulting oscillatory integrals and an arithmetic summation estimate over the eigenfunctions.","core_discovery":"For the Euclidean disk, away from its boundary, the L²→L⁴ norm of the spectral projector P_{λ,δ} satisfies an improved upper bound when δ is polynomially small relative to λ. The analysis reduces to quantitative estimates on nonstationary phase oscillatory integrals after decomposing into the joint eigenbasis involving Bessel functions, which are approximated by oscillatory functions outside caustics. Convexity phenomena and a new arithmetic estimate control the sum over eigenfunctions, and the method extends to other S¹-symmetric surfaces with analogous completely integrable structures.","pith_inferences":["The arithmetic summation estimate may adapt to control other summed quantities arising from integrable systems.","Numerical checks on the disk for moderate λ could confirm whether the polynomial improvement is visible in practice.","The method suggests that rotational symmetry plus integrability can replace more general microlocal tools for small-interval spectral projectors."],"forward_implications":["The improved bound holds throughout the interior of the disk for any polynomially small ratio δ/λ.","The same bound applies to other S¹-symmetric surfaces whose geometry induces a comparable completely integrable structure.","The explicit Bessel decomposition reduces the problem to controlling a finite number of oscillatory integrals per eigenfunction together with their arithmetic sum.","The convexity and arithmetic tools are sufficient to obtain the gain without requiring δ to be exponentially small."],"fun_headline_variants":["Improved L4 bounds for disk spectral projectors on polynomially small bands","L4 norms improve for disk spectral projectors in polynomially small bands","Sharper L4 estimates for spectral projectors on narrow bands in the disk","L4 bounds improve on S1-symmetric surfaces for polynomially small intervals"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The surfaces must satisfy conditions on their induced completely integrable structure that enable the convexity phenomenon and the new arithmetic estimate for eigenfunction summation.","fun_headline_variants_meta":{"raw":{"variants":["Improved L4 bounds for disk spectral projectors on polynomially small bands","L4 norms improve for disk spectral projectors in polynomially small bands","Sharper L4 estimates for spectral projectors on narrow bands in the disk","L4 bounds improve on S1-symmetric surfaces for polynomially small intervals"]},"model":"grok-4.3","cost_usd":0.010691,"raw_usage":{"total_tokens":4746,"prompt_tokens":724,"num_sources_used":0,"completion_tokens":77,"cost_in_usd_ticks":106912000,"prompt_tokens_details":{"text_tokens":724,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3945,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":724,"tokens_out":77,"duration_ms":30717,"temperature":1.0,"reasoning_tokens":3945,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-28T22:06:23.515767+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Direct numerical computation of the L2 to L4 norm of P_{λ,δ} for a sequence of large λ with δ equal to λ to a fixed negative power, restricted to a compact set strictly inside the disk, to check whether the norm remains below the claimed improved threshold.","supporting_citations":[],"review_version":1}