Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2608.00108

Canonical quantization of the Pais-Uhlenbeck oscillator with a higher-derivative perturbation: a covariant phase space approach

Jie-qiang Wu, Jinan Zhao

quant-phhep-thSubmitted Jul 31, 2026• Announced Aug 3, 2026
arXivHTMLPDF

Abstract

In this paper, we apply the covariant phase space formalism to the perturbative canonical quantization of the Pais-Uhlenbeck oscillator, with the acceleration-squared term treated as a perturbation. We quantize this model by constructing the symplectic form on the low-energy solution space. We then compute the energy spectrum and the unequal-time commutator in a perturbative way, and obtain the results that agree with the expansion of the exact low-energy theory. The perturbation method bypasses the standard Ostrogradsky construction and naturally decouples the Ostrogradsky ghost. This work extends our previous perturbative quantization scheme to genuine higher-derivative theories.

Related papers

Introduction to Higher Order Classical Dynamics: Pais-Uhlenbeck Model and Coupled Oscillators

Cássius Anderson Miquele de Melo, Ivan Francisco de Souza

Most of the laws of Nature involve derivatives up to the second order. Ostrogradski was the first to seek a formulation of the equations of higher-order derivatives. He extended Hamilton's equations by considering Lagrangians that depend on higher-order derivatives of generalized coordinates. The Hamilton-Ostrogradski formulation served as the basis for later studies with higher-order derivatives. However, the Hamilton-Ostrogradski formalism is rarely discussed in textbooks or the pedagogical literature. This motivated us to show how the Hamilton-Ostrogradski formalism can be applied it to the Pais-Uhlenbeck oscillator. We hope that the approach presented in this work can serve as a basis for discussion in advanced classical mechanics courses.

physics.ed-phCross-listedarXiv:2605.20094•May 20, 2026

A generalized non-Hermitian Pais-Uhlenbeck quantum Hamiltonian, its Hermitian equivalence and position-dependent mass correspondence

Bijan Kumar Bagchi, A. Ghose Choudhury, Partha Guha

We explore the Jacobi Last Multiplier as a means for deriving the Lagrangian of a fourth-order differential equation. In particular we consider the classical problem of the Pais-Uhlenbeck oscillator and write down the accompanying Hamiltonian. We then compare such an expression with an alternative derivation of the Hamiltonian that makes use of the Ostrogradski's method and show that a mapping from the one to the other is achievable by variable transformations. Assuming canonical quantization procedure to be valid we go for the operator version of the Hamiltonian that represents a pair of uncoupled oscillators. This motivates us to propose a generalized Pais-Uhlenbeck Hamiltonian in terms of the usual harmonic oscillator creation and annihilation operators by including terms quadratic and linear in them. Such a Hamiltonian turns out to be essentially non-Hermitian but has an equivalent Hermitian representation which is reducible to a typically position-dependent reduced mass form.

arXiv:1212.2092•Dec 10, 2012•0 citations

Quantum Principle of Least Action in Dynamic Theories With Higher Derivatives

Natalia N. Gorobey, Alexander S. Lukyanenko, Goltsev, A. V.

A generalized canonical form of action of dynamic theories with higher derivatives is proposed, which does not require the introduction of additional dynamic variables. This form is the initial point for the construction of quantum theory, in which the state of motion of the system is described by the wave functional on its trajectories in the configuration space, and the functional itself is an eigenvector of the action operator. The Pais-Uhlenbeck oscillator is considered as the simplest model. For this case, the correspondence between the new form of quantum theory and "ordinary" quantum mechanics has been established in the local limit, when the Pais-Uhlenbeck oscillator is reduced to the "ordinary" harmonic oscillator.

arXiv:2404.09608•Apr 15, 2024•0 citations

Imaginary-scaling versus indefinite-metric quantization of the Pais-Uhlenbeck oscillator

Ali Mostafazadeh

Using the Pais-Uhlenbeck oscillator as a toy model, we outline a consistent alternative to the indefinite-metric quantization scheme that does not violate unitarity. We describe the basic mathematical structure of this method by giving an explicit construction of the Hilbert space of state vectors and the corresponding creation and annihilation operators. The latter satisfy the usual bosonic commutation relation and differ from those of the indefinite-metric theories by a sign in the definition of the creation operator. This change of sign achieves a definitization of the indefinite metric that gives life to the ghost states without changing their contribution to the energy spectrum.

arXiv:1107.1874•Physical review. D. Particles, fields, gravitation, and cosmology/Physical review. D. Particles and fields•Nov 14, 2011•23 citations

No-Ghost Theorem for the Fourth-Order Derivative Pais-Uhlenbeck Oscillator Model

Carl M. Bender, Philip D. Mannheim

A new realization of the fourth-order derivative Pais-Uhlenbeck oscillator is constructed. This realization possesses no states of negative norm and has a real energy spectrum that is bounded below. The key to this construction is the recognition that in this realization the Hamiltonian is not Dirac Hermitian. However, the Hamiltonian is symmetric under combined space reflection P and time reversal T. The Hilbert space that is appropriate for this PT-symmetric Hamiltonian is identified and it is found to have a positive-definite inner product. Furthermore, the time-evolution operator is unitary.

arXiv:0706.0207•Physical Review Letters•Mar 18, 2008•341 citations

Path Integral Quantization and Riemannian-Symplectic Manifolds

Sergei V. Shabanov, John R. Klauder

We develop a mathematically well-defined path integral formalism for general symplectic manifolds. We argue that in order to make a path integral quantization covariant under general coordinate transformations on the phase space and involve a genuine functional measure that is both finite and countably additive, the phase space manifold should be equipped with a Riemannian structure (metric). A suitable method to calculate the metric is also proposed. 1. Most quantization formulations lead to correct results only when the system in question is expressed in one of a family of special (Cartesian) coordinate systems [1]. However, for Hamiltonian systems on a generic symplectic manifold, the canonical variables do not admit such special coordinates. Moreover classical Hamiltonian dynamics exhibits covariance under general coordinate transformations on the symplectic manifold, and, in this sense, is coordinate-free. This covariance is lost upon a formal phase-space path integral quantization. The reason is that the Hamiltonian action involves terms linear in the time derivatives and, therefore, its exponential (even in Euclidean time) does not induce a

•Jan 1, 1998•6 citations
In this paper, we apply the covariant phase space formalism to the perturbative canonical quantization of the Pais-Uhlenbeck oscillator, with the acceleration-squared term treated as a perturbation. We quantize this model by constructing the symplectic form on the low-energy solution space. We then compute the energy spectrum and the unequal-time commutator in a perturbative way, and obtain the results that agree with the expansion of the exact low-energy theory. The perturbation method bypasses the standard Ostrogradsky construction and naturally decouples the Ostrogradsky ghost. This work extends our previous perturbative quantization scheme to genuine higher-derivative theories.
Most of the laws of Nature involve derivatives up to the second order. Ostrogradski was the first to seek a formulation of the equations of higher-order derivatives. He extended Hamilton's equations by considering Lagrangians that depend on higher-order derivatives of generalized coordinates. The Hamilton-Ostrogradski formulation served as the basis for later studies with higher-order derivatives. However, the Hamilton-Ostrogradski formalism is rarely discussed in textbooks or the pedagogical literature. This motivated us to show how the Hamilton-Ostrogradski formalism can be applied it to the Pais-Uhlenbeck oscillator. We hope that the approach presented in this work can serve as a basis for discussion in advanced classical mechanics courses.
We explore the Jacobi Last Multiplier as a means for deriving the Lagrangian of a fourth-order differential equation. In particular we consider the classical problem of the Pais-Uhlenbeck oscillator and write down the accompanying Hamiltonian. We then compare such an expression with an alternative derivation of the Hamiltonian that makes use of the Ostrogradski's method and show that a mapping from the one to the other is achievable by variable transformations. Assuming canonical quantization procedure to be valid we go for the operator version of the Hamiltonian that represents a pair of uncoupled oscillators. This motivates us to propose a generalized Pais-Uhlenbeck Hamiltonian in terms of the usual harmonic oscillator creation and annihilation operators by including terms quadratic and linear in them. Such a Hamiltonian turns out to be essentially non-Hermitian but has an equivalent Hermitian representation which is reducible to a typically position-dependent reduced mass form.
A generalized canonical form of action of dynamic theories with higher derivatives is proposed, which does not require the introduction of additional dynamic variables. This form is the initial point for the construction of quantum theory, in which the state of motion of the system is described by the wave functional on its trajectories in the configuration space, and the functional itself is an eigenvector of the action operator. The Pais-Uhlenbeck oscillator is considered as the simplest model. For this case, the correspondence between the new form of quantum theory and "ordinary" quantum mechanics has been established in the local limit, when the Pais-Uhlenbeck oscillator is reduced to the "ordinary" harmonic oscillator.
Using the Pais-Uhlenbeck oscillator as a toy model, we outline a consistent alternative to the indefinite-metric quantization scheme that does not violate unitarity. We describe the basic mathematical structure of this method by giving an explicit construction of the Hilbert space of state vectors and the corresponding creation and annihilation operators. The latter satisfy the usual bosonic commutation relation and differ from those of the indefinite-metric theories by a sign in the definition of the creation operator. This change of sign achieves a definitization of the indefinite metric that gives life to the ghost states without changing their contribution to the energy spectrum.
A new realization of the fourth-order derivative Pais-Uhlenbeck oscillator is constructed. This realization possesses no states of negative norm and has a real energy spectrum that is bounded below. The key to this construction is the recognition that in this realization the Hamiltonian is not Dirac Hermitian. However, the Hamiltonian is symmetric under combined space reflection P and time reversal T. The Hilbert space that is appropriate for this PT-symmetric Hamiltonian is identified and it is found to have a positive-definite inner product. Furthermore, the time-evolution operator is unitary.
We develop a mathematically well-defined path integral formalism for general symplectic manifolds. We argue that in order to make a path integral quantization covariant under general coordinate transformations on the phase space and involve a genuine functional measure that is both finite and countably additive, the phase space manifold should be equipped with a Riemannian structure (metric). A suitable method to calculate the metric is also proposed. 1. Most quantization formulations lead to correct results only when the system in question is expressed in one of a family of special (Cartesian) coordinate systems [1]. However, for Hamiltonian systems on a generic symplectic manifold, the canonical variables do not admit such special coordinates. Moreover classical Hamiltonian dynamics exhibits covariance under general coordinate transformations on the symplectic manifold, and, in this sense, is coordinate-free. This covariance is lost upon a formal phase-space path integral quantization. The reason is that the Hamiltonian action involves terms linear in the time derivatives and, therefore, its exponential (even in Euclidean time) does not induce a