Trace estimates and improved pointwise bounds for joint eigenfunctions

Xianchao Wu; Xiao Xiao

arxiv: 2604.22197 · v1 · submitted 2026-04-24 · 🧮 math.AP · math-ph· math.MP· math.SP

Trace estimates and improved pointwise bounds for joint eigenfunctions

Xianchao Wu , Xiao Xiao This is my paper

Pith reviewed 2026-05-08 10:56 UTC · model grok-4.3

classification 🧮 math.AP math-phmath.MPmath.SP

keywords joint eigenfunctionspointwise boundsquantum integrable systemssemiclassical estimatestrace estimatesnon-degeneracy conditionHormander bounds

0 comments

The pith

Joint eigenfunctions of quantum integrable systems satisfy a sharp pointwise bound of order h to the power of (-n + k + 1)/2 at points with rank k non-degeneracy.

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

The paper examines L2-normalized joint eigenfunctions in quantum integrable systems. Earlier results offered some polynomial improvements over the usual bounds at typical points. The authors establish a sharper bound specifically for points meeting a rank k non-degeneracy condition. This bound is h raised to the power of (-n + k + 1)/2. A sympathetic reader would care because tighter control on the size of these functions helps in analyzing their concentration and behavior as the semiclassical parameter goes to zero.

Core claim

In a quantum integrable system, for L2-normalized joint eigenfunctions, at points satisfying a rank k non-degeneracy condition, the pointwise supremum satisfies the bound of order h to the power (-n+k+1)/2, improving on previous polynomial gains and achieving sharpness.

What carries the argument

The rank k non-degeneracy condition at the evaluation points, which enables improved trace estimates leading to the refined pointwise bounds.

If this is right

This gives a precise power of the semiclassical parameter h in the bound depending on the rank k.
It applies the improvement to points with this specific non-degeneracy property rather than just typical points.
The bound is claimed to be sharp.
These estimates build upon trace estimates for the eigenfunctions.

Where Pith is reading between the lines

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

If the bound holds, it could help in deriving better spectral estimates for integrable quantum systems.
Testing the result on concrete examples like the circle or sphere might confirm the sharpness.
Similar techniques might apply to systems with partial integrability.
One could explore whether the non-degeneracy condition can be relaxed in some cases.

Load-bearing premise

The quantum system has to be integrable and the points have to satisfy the rank k non-degeneracy condition, plus the prior polynomial improvements must hold.

What would settle it

Finding an example of a joint eigenfunction in an integrable system where at a rank k non-degenerate point the function exceeds the size given by h to the power (-n+k+1)/2 would falsify the claim.

Figures

Figures reproduced from arXiv: 2604.22197 by Xianchao Wu, Xiao Xiao.

**Figure 1.** Figure 1: On the left: At ξ, the system P only satisfies a rank n−2 condition; On the right: At ξ, the system Q satisfies the rank n − 1 condition. The same function uh is a joint eigenfunction of both Pˆ and Qˆ. This method is possible only if there are at least n independent, commuting operators that also commute with the Laplacian. We will not delve deeper into this issue in this paper. 1.4. Plan of the paper. Se… view at source ↗

**Figure 2.** Figure 2: The relation of the equator (red) and the geodesic with initial angle ψ (blue) in the proof. Left: trajectories on the surface. Middle: canonical coordinates (t, φ). Right: geodesic normal coordinates (s, ψ). Proof. We invoke the Clairaut relation that holds on every surface of revolution: For a geodesic l, the quantity γ = f(t) sin(ψ(t)) is a constant along l, where ψ(t) is the angle between the geodesic … view at source ↗

read the original abstract

For $L^2$-normalized joint eigenfunctions in a quantum integrable system, [GT20] gave polynomial improvements over the standard H\"omander bounds for typical points. In this paper, we improve their result by establishing a sharp bound of $h^{\frac{-n+k+1}2}$ for the points satisfying a rank $k$ non-degeneracy condition.

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

This paper sharpens the pointwise bound for joint eigenfunctions to the expected exponent h^{(-n+k+1)/2} at rank-k nondegenerate points by refining semiclassical trace estimates.

read the letter

The main takeaway is that the authors reach the sharp scaling h^{(-n+k+1)/2} for L2-normalized joint eigenfunctions at points where the integrals satisfy a rank-k non-degeneracy condition. This moves past the polynomial gains in GT20 to the full expected rate in the quantum integrable setting. They do it by building semiclassical trace estimates that capture the right scaling and then converting them to sup-norm bounds via a stationary-phase or scaling argument. When k=0 the exponent collapses to the classical Hörmander case, which is a clean consistency check. The trace estimates look like the real technical work, and the application to the non-degeneracy hypothesis is direct. The paper stays within the integrable framework and makes the restriction to those points explicit, so the claim is not overstated. One limitation is that the improvement is local to the non-degenerate set rather than uniform; another is that it still depends on the base polynomial estimates from GT20. Neither looks like a load-bearing gap. The argument is standard microlocal analysis but executed with enough care to make the exponent sharp. This is for people who work on eigenfunction bounds or trace methods in semiclassical PDE. A reader who cares about quantitative improvements in integrable systems will get a usable new estimate. The math is grounded enough and the improvement is concrete enough that it deserves a serious referee.

Referee Report

0 major / 0 minor

Summary. The paper develops refined semiclassical trace estimates in the quantum integrable setting and applies them to joint eigenfunctions. It improves on the polynomial gains in [GT20] by proving a sharp pointwise bound of h^{(-n+k+1)/2} for L^2-normalized joint eigenfunctions at points satisfying a rank-k non-degeneracy condition, obtained via stationary-phase or scaling arguments that reduce correctly to the classical Hörmander bound when k=0.

Significance. If the result holds, it supplies sharp, non-degeneracy-dependent sup-norm estimates that refine Hörmander's bound in a precise, parameter-free way for integrable systems. The construction of the trace estimates and their direct application to the non-degeneracy hypothesis constitute a solid technical advance, with the correct reduction to the k=0 case providing internal consistency and falsifiability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive evaluation of the manuscript. The report recommends acceptance with no major comments raised, so we have no specific points to address or revise.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper develops semiclassical trace estimates for joint eigenfunctions in the quantum integrable setting and applies them via stationary-phase scaling to obtain the sharp pointwise bound h^{(-n+k+1)/2} under the rank-k non-degeneracy hypothesis. This chain is self-contained: the trace estimates are constructed directly from the semiclassical calculus and the non-degeneracy condition, without reducing to fitted parameters, self-definitions, or load-bearing self-citations. The reference to [GT20] supplies only a baseline polynomial improvement; the new sharp exponent is derived independently and recovers the classical Hörmander bound when k=0. No step equates a claimed prediction to its own input by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on the abstract; no free parameters, invented entities, or ad-hoc constructions are mentioned. The result rests on standard domain assumptions in semiclassical analysis.

axioms (2)

domain assumption The system is quantum integrable
The setting for joint eigenfunctions and the application of prior bounds from [GT20].
domain assumption Points satisfy a rank k non-degeneracy condition
The bound holds specifically for such points; the condition is invoked to obtain the sharper exponent.

pith-pipeline@v0.9.0 · 5349 in / 1396 out tokens · 38927 ms · 2026-05-08T10:56:59.027358+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

1 extracted references · 1 canonical work pages

[1]

Avakumovi´ c

[Ava56] Vojislav G. Avakumovi´ c. ¨Uber die Eigenfunktionen auf geschlossenen Riemannschen Mannig- faltigkeiten.Math. Z., 65:327–344, 1956. [B´77] Pierre H. B´ erard. On the wave equation on a compact Riemannian manifold without conjugate points.Math. Z., 155(3):249–276, 1977. [Bon17] Yannick Bonthonneau. The Θ function and the Weyl law on manifolds witho...

work page 1956

[1] [1]

Avakumovi´ c

[Ava56] Vojislav G. Avakumovi´ c. ¨Uber die Eigenfunktionen auf geschlossenen Riemannschen Mannig- faltigkeiten.Math. Z., 65:327–344, 1956. [B´77] Pierre H. B´ erard. On the wave equation on a compact Riemannian manifold without conjugate points.Math. Z., 155(3):249–276, 1977. [Bon17] Yannick Bonthonneau. The Θ function and the Weyl law on manifolds witho...

work page 1956