Average estimate for Eigenfunctions along geodesics in the quantum completely integrable case

Weiwei Wang; Xianchao Wu

arxiv: 2506.15992 · v2 · submitted 2025-06-19 · 🧮 math.AP

Average estimate for Eigenfunctions along geodesics in the quantum completely integrable case

Weiwei Wang , Xianchao Wu This is my paper

Pith reviewed 2026-05-19 09:34 UTC · model grok-4.3

classification 🧮 math.AP

keywords eigenfunctionsgeodesicsquantum integrable systemssemiclassical estimatesasymptotic boundscompletely integrable casejoint eigenfunctions

0 comments

The pith

In two-dimensional quantum completely integrable systems, the integral of joint eigenfunctions over admissible geodesics decays at rate O of the square root of h.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves an upper bound on the integral of L2-normalized joint eigenfunctions along geodesics in these systems. It shows that for admissible geodesics the integral is O(h to the one-half), which improves polynomially on the earlier bound of O(1) that did not depend on the semiclassical parameter. A reader would care because such integrals measure how much the eigenfunction concentrates or averages along classical orbits, and tighter control helps track the semiclassical limit in integrable dynamics. The setting is restricted to compact manifolds and joint eigenfunctions of the commuting operators that define complete integrability.

Core claim

The paper proves that for admissible geodesics in a two-dimensional quantum completely integrable system on a compact manifold, the integral of the L2-normalized joint eigenfunctions satisfies an upper bound of O(h^{1/2}), providing a polynomial improvement over the prior O(1) bound.

What carries the argument

Admissible geodesics in two-dimensional quantum completely integrable systems, which permit joint eigenfunctions of the commuting operators and yield the O(h^{1/2}) decay for their integrals.

If this is right

The L2 integral of the eigenfunctions along admissible geodesics vanishes as h approaches zero at rate sqrt(h).
The result supplies a polynomial improvement on the previously known bound that was independent of h.
The improved estimate holds specifically for joint eigenfunctions of the commuting quantum operators in the integrable system.
The bound applies to admissible geodesics on compact two-dimensional manifolds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The decay might hold for a wider set of geodesics if the admissibility condition can be weakened or replaced by a milder geometric requirement.
Similar averaging estimates could be tested in other low-dimensional integrable systems where explicit eigenfunctions are known.

Load-bearing premise

The geodesics must satisfy an admissibility condition and the underlying system must be two-dimensional quantum completely integrable on a compact manifold with joint eigenfunctions.

What would settle it

Compute the integrals numerically for joint eigenfunctions on a concrete integrable example such as the flat torus along a family of admissible geodesics and check whether the values stay below C times sqrt(h) for small h.

read the original abstract

This paper investigates the upper bound of the integral of $L^2$-normalized joint eigenfunctions over geodesics in a two-dimensional quantum completely integrable system. For admissible geodesics, we rigorously establish an asymptotic decay rate of $O(h^{1/2})$. This represents a polynomial improvement over the previously well known $O(1)$ bound.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

A modest but solid improvement on geodesic integrals of eigenfunctions in 2D integrable systems.

read the letter

Colleague, the main thing to take from this paper is a clean O(h^{1/2}) upper bound on the integral of joint eigenfunctions along admissible geodesics in two-dimensional quantum completely integrable systems, which beats the trivial O(1) coming from L2 normalization and Cauchy-Schwarz. They reach it by moving to action-angle coordinates, where integrability separates the operators, turning the line integral into a semiclassical oscillatory integral, then applying one integration by parts or non-stationary phase thanks to the non-vanishing angular speed. The argument stays inside standard semiclassical estimates and looks self-contained with no circular steps. Admissible geodesics are defined explicitly as those whose cotangent lifts avoid the critical set of the momentum map and keep angular speed away from zero. That setup lets the proof go through directly in section 4. The limitation is the narrow setting. Everything is restricted to two dimensions and complete integrability, so the separation works but the method does not obviously extend to higher dimensions or non-integrable flows. The admissibility condition also excludes some geodesics, which is necessary for their technique but keeps the result from covering the full picture. The gain is only one power of h, so it is incremental rather than a broad advance. This is aimed at specialists in microlocal analysis and quantum chaos who track quantitative bounds on eigenfunctions in integrable systems. A reader already following restriction theorems or semiclassical estimates on tori or similar manifolds would find a concrete, verifiable step forward. The reasoning is straightforward and the derivation supports the claim without gaps, so it deserves a serious referee. I would send it out for peer review.

Referee Report

0 major / 3 minor

Summary. The paper proves that in a two-dimensional quantum completely integrable system on a compact manifold, the integral of an L²-normalized joint eigenfunction along an admissible geodesic is O(h^{1/2}). Admissible geodesics are those whose cotangent lifts avoid the critical set of the momentum map and have non-vanishing angular speed. The bound is obtained in §4 by reducing the line integral, via quantum integrability, to a semiclassical oscillatory integral in action-angle coordinates and applying one integration by parts (or non-stationary phase).

Significance. If the result holds, it supplies a concrete polynomial improvement over the trivial O(1) bound that follows from L² normalization and Cauchy-Schwarz. The argument is self-contained, uses only standard semiclassical estimates, and exploits the separation of variables afforded by quantum complete integrability; these features make the contribution technically solid within the field of semiclassical analysis.

minor comments (3)

§1.2: The definition of admissible geodesics is clear, but a short explicit example (e.g., a geodesic on the torus or sphere satisfying the non-vanishing angular speed condition) would help readers verify the geometric hypotheses.
Title and abstract: The title speaks of an 'average estimate,' yet the stated result is an upper bound on the un-normalized line integral. If length normalization is intended, this should be stated explicitly; otherwise the title could be adjusted for precision.
§4: The reduction to the oscillatory integral is sketched via action-angle coordinates; a brief display of the phase function and the precise symbol class used for the amplitude would make the integration-by-parts step fully transparent.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the accurate summary of the main result, and the recommendation of minor revision. No specific major comments or requests for changes appear in the report.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The central claim is a direct upper bound proof for the geodesic integral of joint eigenfunctions. It reduces the integral to a semiclassical oscillatory integral via action-angle coordinates (permitted by quantum complete integrability), then applies one integration by parts or non-stationary phase to obtain the O(h^{1/2}) improvement over the trivial O(1) bound from L^2 normalization and Cauchy-Schwarz. Admissible geodesics are defined explicitly in §1.2 as those avoiding the momentum map critical set with non-vanishing angular speed. The argument invokes only standard semiclassical estimates with no fitted parameters renamed as predictions, no self-definitional loops, and no load-bearing self-citations whose content reduces to the present result. The derivation chain is independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review prevents identification of specific free parameters, axioms, or invented entities; the result appears to rest on standard assumptions of semiclassical analysis and integrability.

pith-pipeline@v0.9.0 · 5570 in / 1005 out tokens · 35544 ms · 2026-05-19T09:34:40.694178+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

For admissible geodesics... asymptotic decay rate of O(h^{1/2}|ln h|^{1/2})... reducing the line integral to a semiclassical oscillatory integral in action-angle coordinates and applying one integration by parts

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.