Semi-classical quantum maps of semi-hyperbolic type

Hanen Louati (CPT); Michel Rouleux (CPT)

arxiv: 1907.05630 · v1 · pith:UB7SFAJGnew · submitted 2019-07-12 · 🧮 math.AP

Semi-classical quantum maps of semi-hyperbolic type

Hanen Louati (CPT) , Michel Rouleux (CPT) This is my paper

Pith reviewed 2026-05-24 22:39 UTC · model grok-4.3

classification 🧮 math.AP

keywords semi-hyperbolic orbitmonodromy operatorGrushin operatorsemi-classical resonancesquantization ruleperiodic orbit clusteringPoincaré map

0 comments

The pith

The monodromy and Grushin operators can be constructed for semi-hyperbolic periodic orbits, and constructions ignoring nearby orbits still give the correct quantization rule.

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

This paper constructs the monodromy and Grushin operators for resonances associated with a non-degenerate semi-hyperbolic periodic orbit on a non-critical energy surface. The orbit has a linearized Poincaré map with at least one eigenvalue of modulus not equal to one and one equal to one. An infinite family of additional periodic orbits clusters near it. The construction adapts existing methods and is compared to an earlier version that omits the clustered orbits. The comparison shows that the simpler version still produces the right quantization condition for the main orbit family. This matters because it clarifies how to locate semi-excited resonances in systems with mixed stability.

Core claim

We construct the monodromy and Grushin operator, adapting some arguments, for a non-degenerate periodic orbit γ0 of semi-hyperbolic type contained in the non-critical energy surface {H0 = 0}, and compare with those obtained previously which ignore the additional orbits near γ0 but still give the right quantization rule for the family γ(E).

What carries the argument

The monodromy operator, which encodes the return map around the orbit, paired with the Grushin operator that reduces the eigenvalue problem to a finite matrix whose determinant gives the quantization condition.

If this is right

The quantization rule holds for the continuous family of orbits γ(E) with the same semi-hyperbolic character.
The resonance locations are determined by the same condition as in the simpler construction.
The approach applies to h-differential operators on Euclidean space or non-compact manifolds.
Clustering of periodic orbits with periods multiple of the primitive one does not change the leading-order quantization.

Where Pith is reading between the lines

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

The result implies that the effect of clustered orbits on the resonance spectrum may be of higher order in the semi-classical parameter.
This construction could be used to study resonance chains in other systems with partially neutral directions in the Poincaré map.
Extending the operator to include higher-order terms might yield corrections to the resonance widths.

Load-bearing premise

The periodic orbit is non-degenerate so that one is not an eigenvalue of the linearized Poincaré map, and it lies on a non-critical energy level.

What would settle it

A calculation for an explicit example of a semi-hyperbolic orbit where the resonance condition from the Grushin operator fails to match the actual spectrum of the operator.

read the original abstract

Let M = R n or possibly a Riemannian, non compact manifold. We consider semi-excited resonances for a h-differential operator H(x, hD x ; h) on L 2 (M) induced by a non-degenerate periodic orbit $\gamma$ 0 of semi-hyperbolic type, which is contained in the non critical energy surface {H 0 = 0}. By semi-hyperbolic, we mean that the linearized Poincar{\'e} map dP 0 associated with $\gamma$ 0 has at least one eigenvalue of modulus greater (or less) than 1, and one eigenvalue of modulus equal to 1, and by non-degenerate that 1 is not an eigenvalue, which implies a family $\gamma$(E) with the same properties. It is known that an infinite number of periodic orbits generally cluster near $\gamma$ 0 , with periods approximately multiples of its primitive period. We construct the monodromy and Grushin operator, adapting some arguments by [NoSjZw], [SjZw], and compare with those obtained in [LouRo], which ignore the additional orbits near $\gamma$ 0 , but still give the right quantization rule for the family $\gamma$(E).

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

The paper extends the monodromy construction to semi-hyperbolic orbits and shows the quantization rule stays the same even after including clustering orbits.

read the letter

The main takeaway is that this work builds the monodromy and Grushin operator for a non-degenerate semi-hyperbolic periodic orbit and checks that the resulting quantization condition for the family γ(E) matches the one from the earlier LouRo paper that skipped the nearby clustering orbits. They adapt steps from NoSjZw and SjZw to handle the mixed hyperbolic and elliptic directions in the linearized Poincaré map while keeping the standard non-degeneracy assumption that 1 is not an eigenvalue. The setup uses an h-differential operator on L2 of Rn or a non-compact manifold, with the orbit sitting on a non-critical energy surface. This is a direct technical extension rather than a new framework. It does the job of showing the construction carries over and the rule is robust to the extra orbits. The hypotheses line up with the cited literature, and the stress-test note finds no internal contradiction in the claim structure. The abstract gives no derivation details or error bounds, so the adaptation cannot be checked for gaps from the summary alone; that is the main limitation visible here. The paper is aimed at specialists already working on semiclassical resonances and quantum maps who know the referenced results. A reader in that niche will get a clear comparison of the semi-hyperbolic case. It is coherent on its own terms and formally grounded enough to merit referee time, even if the scope stays narrow. I would send it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper constructs the monodromy and Grushin operator for semi-excited resonances induced by a non-degenerate semi-hyperbolic periodic orbit γ0 of an h-differential operator H on L²(M), where M = ℝⁿ or a non-compact Riemannian manifold. The orbit lies in the non-critical energy surface {H₀ = 0}, with 1 ∉ spec(dP₀). It adapts arguments from [NoSjZw] and [SjZw] to handle the neutral directions in the linearized Poincaré map and shows that the resulting quantization condition for the family γ(E) coincides with the one obtained in [LouRo], which omits the clustering orbits near γ0.

Significance. If the explicit construction holds, the result validates the robustness of simplified quantization rules that neglect clustering periodic orbits in the semi-hyperbolic setting. This extends the reach of prior semi-classical analysis to systems with mixed hyperbolic-neutral dynamics while preserving the correct resonance conditions, and it provides a concrete comparison between full and reduced Grushin problems.

minor comments (3)

The abstract states that the construction 'adapts some arguments' from the cited works but does not indicate which steps are modified for the neutral eigenvalue; a short outline of the changes in the introduction would improve readability.
Notation for the family γ(E) and the non-degeneracy condition on dP₀ is introduced only in the abstract; repeating the precise hypotheses (including that {H₀ = 0} is non-critical) at the start of the main construction section would help readers track the assumptions.
The comparison with [LouRo] is described as giving 'the right quantization rule,' but the manuscript should state explicitly whether this equivalence is shown by direct computation of the determinants or by an abstract argument about the kernels of the Grushin problems.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and the recommendation of minor revision. The referee's description of the paper is accurate.

Circularity Check

0 steps flagged

Minor self-citation present but derivation remains independent

full rationale

The paper constructs the monodromy and Grushin operator by adapting arguments from external references [NoSjZw] and [SjZw]. It compares the resulting quantization condition for the family γ(E) to the one in [LouRo] (prior work by the same authors), noting that [LouRo] omits clustering orbits yet yields the same rule. This is a comparison of independent constructions under standard non-degeneracy hypotheses (1 ∉ spec(dP0), {H0=0} non-critical), not a reduction of the new result to a fitted input or self-citation by construction. No equation or step equates the central claim to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard domain assumptions from semiclassical analysis for periodic orbits and non-critical energy surfaces; no free parameters or invented entities are indicated in the abstract.

axioms (2)

domain assumption The linearized Poincaré map dP0 has at least one eigenvalue with modulus >1 or <1, at least one with modulus =1, and 1 is not an eigenvalue (non-degenerate semi-hyperbolic orbit).
Explicitly stated in abstract as the definition of semi-hyperbolic and non-degenerate.
domain assumption The orbit lies in the non-critical energy surface {H0=0} for an h-differential operator H on L2(M) with M non-compact.
Stated as setup for the resonances considered.

pith-pipeline@v0.9.0 · 5752 in / 1401 out tokens · 24743 ms · 2026-05-24T22:39:06.958625+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/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

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

We construct the monodromy and Grushin operator, adapting some arguments by [NoSjZw], [SjZw]... M(z) is the monodromy operator quantizing Poincaré map
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

Birkhoff normal form... H0 ◦ κN = −τ + Σ μj Qj(x,ξ) + ...

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.