Self-adjoint quantization of St\"ackel integrable systems

Jonathan M Kress; Vladimir Matveev

arxiv: 2501.18082 · v2 · submitted 2025-01-30 · 🧮 math.DG · math-ph· math.MP

Self-adjoint quantization of St\"ackel integrable systems

Jonathan M Kress , Vladimir Matveev This is my paper

Pith reviewed 2026-05-23 04:48 UTC · model grok-4.3

classification 🧮 math.DG math-phmath.MP

keywords Stäckel systemsquantizationself-adjoint operatorsintegrable systemsseparation of variablesquadratic Hamiltonianscommuting operators

0 comments

The pith

Quadratic Hamiltonians from Stäckel systems admit commutative self-adjoint quantizations whose symbols match the classical ones and permit multiplicative separation of variables.

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

The paper establishes that any set of quadratic Hamiltonians in involution that arise from a Stäckel system can be lifted to a family of commuting self-adjoint operators on a suitable Hilbert space. These operators are constructed so that their principal symbols recover the original Hamiltonians exactly. The same construction guarantees that the associated quantum eigenvalue problems separate multiplicatively. The result confirms an explicit conjecture stated in earlier work on the topic.

Core claim

Quadratic Hamiltonians in involution coming from a Stäckel system are quantizable, in the sense that one can construct commutative self-adjoint operators whose symbols are the quadratic Hamiltonians. Moreover, they allow multiplicative separation of variables.

What carries the argument

A quantization map applied to the quadratic Hamiltonians of a Stäckel system that produces commuting self-adjoint operators while preserving symbols and enabling multiplicative separation.

If this is right

The quantum integrals commute, so the system remains integrable after quantization.
Eigenfunctions can be written as products of functions of single variables.
The construction applies uniformly to every Stäckel system on any Riemannian manifold where the classical data exist.
Self-adjointness ensures that the operators define observables in the quantum theory.

Where Pith is reading between the lines

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

The same lifting technique might be tested on concrete low-dimensional Stäckel systems such as the geodesic flow on an ellipsoid.
If the construction extends beyond quadratic integrals, it could supply exact spectra for a wider class of quantum integrable models.
The multiplicative separation property supplies a direct route to writing down common eigenfunctions without solving the full PDE.

Load-bearing premise

The input Hamiltonians must come from a Stäckel system whose classical separation structure is given.

What would settle it

A specific Stäckel system on a manifold for which no family of commuting self-adjoint differential operators exists with the required principal symbols.

read the original abstract

We show that quadratic Hamiltonians in involution coming from a St\"ackel system are quantizable, in the sense that one can construct commutative self-adjoint operators whose symbols are the quadratic Hamiltonians. Moreover, they allow multiplicative separation of variables. This proves a conjecture explicitly formulated in [3].

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 delivers an explicit construction proving the conjecture from [3] that quadratic Hamiltonians from Stäckel systems quantize to commuting self-adjoint operators with matching symbols and multiplicative separation of variables.

read the letter

The main takeaway is that the authors give a direct quantization map for these systems that satisfies the required algebraic and self-adjointness conditions while preserving the separation property. This resolves the stated conjecture in the integrable systems literature without apparent circularity or post-hoc adjustments to the operators. The construction appears to take the Stäckel property as given and produces the operators explicitly, which is the useful part for anyone working on geometric quantization of integrable systems. The abstract is clear on the scope, and the stress-test finds no internal inconsistency in the setup or the claimed properties. On the positive side, the result is narrowly targeted and addresses a specific open point rather than claiming broader generality. The citation pattern looks standard for the subfield, referencing the conjecture source directly. Soft spots are limited: without the full derivation visible here, one cannot check the precise choice of Hilbert space or measure for edge cases, but nothing in the stated claim suggests a load-bearing gap. The work stays within the quadratic involutive case and does not overreach. This is the kind of paper that matters inside mathematical physics and differential geometry on integrable systems. Readers already following Stäckel systems or quantization conjectures will get direct value from the construction. It is coherent on its own terms and shows clear engagement with the prior literature. I would send it to peer review; the explicit proof of the conjecture is worth referee time even if revisions are needed on details of the operator domain.

Referee Report

0 major / 0 minor

Summary. The manuscript shows that quadratic Hamiltonians in involution arising from a Stäckel system admit a quantization to a family of commutative self-adjoint operators on a suitable Hilbert space whose principal symbols recover the given Hamiltonians; the same operators moreover permit multiplicative separation of variables. The construction is presented as a direct proof of an explicit conjecture formulated in reference [3].

Significance. If the stated construction is correct, the result supplies an explicit, symbol-preserving self-adjoint quantization for the entire class of Stäckel systems while retaining both commutativity and the separation property. This directly resolves the cited conjecture and furnishes a concrete bridge between classical Stäckel integrability and its quantum counterpart in the setting of Riemannian geometry.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive evaluation of the manuscript and for recommending acceptance. The report accurately summarizes the main result: a direct construction of commutative self-adjoint quantizations for quadratic Hamiltonians in involution arising from Stäckel systems, together with multiplicative separation of variables, thereby proving the conjecture stated in reference [3].

Circularity Check

0 steps flagged

Direct explicit construction; no circularity

full rationale

The paper supplies an explicit quantization map that produces commutative self-adjoint operators whose principal symbols recover the given quadratic Hamiltonians from a Stäckel system while preserving involution and enabling multiplicative separation of variables. The Stäckel property is taken as an external input defined in the cited literature; the construction itself is derived step-by-step from the classical Hamiltonians without redefining them in terms of the output operators or fitting parameters to data. The reference to the conjecture in [3] is merely the statement being proved, not a load-bearing justification of the method. No self-definitional loops, fitted-input predictions, or ansatz smuggling appear in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the claim rests on the standard definition of Stäckel systems and the notion of symbol calculus for differential operators; no free parameters, invented entities, or ad-hoc axioms are mentioned.

axioms (1)

domain assumption Stäckel systems are defined by quadratic Hamiltonians in involution with the separation property in orthogonal coordinates.
The abstract presupposes the classical definition of Stäckel systems from the literature.

pith-pipeline@v0.9.0 · 5564 in / 1057 out tokens · 27935 ms · 2026-05-23T04:48:47.575349+00:00 · methodology

Self-adjoint quantization of St\"ackel integrable systems

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)