Geodesic Equations on Oscillator Groups

• The topic is the study of geodesic equations on oscillator groups, exhibiting a distinctive Lie algebra structure and invariant metrics.
• It analyzes both Lorentzian and Riemannian formulations to derive explicit integrable systems with conserved quantities and metric completeness.
• The research highlights applications to quantum complexity and geometric mechanics, using Yang–Baxter solutions and explicit geodesic formulas.

The oscillator group is a solvable, noncompact Lie group that arises naturally in diverse contexts of mathematical physics, ranging from the geometry of central extensions of the Euclidean group to the symmetry group of the time-dependent harmonic oscillator. The study of geodesic equations on oscillator groups synthesizes the algebraic structure of these groups with invariant (Lorentzian or Riemannian) metrics, yielding explicit integrable systems and profound insights in geometry, mechanics, and quantum complexity.

1. Algebraic Structure of the Oscillator Group

The oscillator Lie algebra, typically denoted $\mathfrak{g}_\lambda$, is a $(2n+2)$-dimensional real Lie algebra parametrized by positive real numbers $\lambda = (\lambda_1, \dotsc, \lambda_n)$. It admits the basis $\{e_{-1}, e_0, e_i, \check{e}_i\}_{i=1}^n$ with nontrivial commutation relations

$$[e_{-1}, e_i] = \lambda_i e_i, \quad [e_{-1}, \check{e}_i] = -\lambda_i \check{e}_i, \quad [e_i, \check{e}_i] = e_0.$$

All other brackets either vanish or follow by antisymmetry. This structure admits central elements and is quadratic, thereby admitting invariant metrics. In the four-dimensional realization relevant for applications in quantum complexity, the algebra is generated by Hermitian elements $E, Q, P, H$ with

$$[Q, P] = iE, \quad [Q, H] = iP, \quad [P, H] = -iQ, \quad [E, \cdot\,] = 0,$$

and its associated simply connected Lie group $G$ is diffeomorphic to $\mathbb{R}^4$, with canonical coordinates $(e, \alpha, q, p)$ (Medina, 2010, Andrzejewski et al., 19 Dec 2025).

2. Invariant Metrics on Oscillator Groups and Their Duals

Oscillator groups admit a canonical class of invariant metrics, both bi-invariant and right-invariant, depending on the context.

• Bi-invariant Lorentzian Metric: On $G_\lambda$, define $k$ by $k(e_{-1},e_0)=1$, $k(e_i,e_i)=k(\check{e}_i,\check{e}_i)=1/\lambda_i$, with all other pairings zero. This metric is bi-invariant and yields a Lorentzian signature. Its quadratic property enables the explicit computation of geodesics using the Lie group structure (Medina, 2010).
• Right-invariant Riemannian Metric: On the four-dimensional group with basis $(E, Q, P, H)$, all positive-definite, rotation, and scale-invariant metrics are described by matrices of the form

$$\eta_{ij} = \begin{pmatrix} a & 0 & 0 & b \ 0 & 1 & 0 & 0 \ 0 & 0 & 1 & 0 \ b & 0 & 0 & d \end{pmatrix}, \quad ad-b^2>0,$$

in the $(E,Q,P,H)$ basis (Andrzejewski et al., 19 Dec 2025). The induced line element in group coordinates exhibits nontrivial cross and quadratic terms.

• Dual Group Metrics from Yang–Baxter Solutions: Any classical $r$-matrix solving $[r,r]=0$ on the Lie algebra induces a bracket and metric $k^*$ on the dual group $G^*$ by pullback. The resulting metric is flat and geodesically complete if and only if the dual is unimodular. This framework enables explicit integrations and the construction of large families of solvable Lie groups with complete flat Lorentzian structures (Medina, 2010).

3. Explicit Geodesic Equations and Integrability

The geodesic equations on oscillator groups are determined by the invariant metric and the group structure constants.

• Lie-theoretic description: Given any invariant metric and left-invariant frame $\{E_a\}$,

$\nabla_{X} Y = \frac{1}{2} [X, Y]_\mathfrak{g}$

for left-invariant vector fields $X, Y$. If the Lie bracket is expressed as $[E_a, E_b] = C^c_{ab} E_c$, then the only nonzero Christoffel symbols are $\Gamma^c_{ab} = \frac{1}{2} C^c_{ab}$. The geodesic equations take the form

$$\ddot{x}^c + \frac{1}{2} C^c_{ab} \dot{x}^a \dot{x}^b = 0.$$

• Component equations for $G_\lambda$: The explicit form, using the above structure constants, is

$$\begin{aligned} &\ddot{x}^0 + \frac{1}{2} \sum_{i} \left((\dot{x}^i)^2 - (\dot{\check{x}}^i)^2\right) = 0, \ &\ddot{x}^{-1} = 0, \ &\ddot{x}^i + \lambda_i \dot{x}^{-1} \dot{x}^i = 0, \ &\ddot{\check{x}}^i - \lambda_i \dot{x}^{-1} \dot{\check{x}}^i = 0, \end{aligned}$$

for $i=1,\dots,n$, with all other equations trivial (Medina, 2010).

• Geodesics for right-invariant metrics (complexity context): For the four-dimensional oscillator group, body-fixed velocities $(\Pi^e,\Pi^q,\Pi^p,\Pi^\alpha)$ satisfy

$$\begin{aligned} a\,\dot\Pi^e + b\,\dot\Pi^\alpha &= 0,\ b\,\dot\Pi^e + d\,\dot\Pi^\alpha &= 0,\ \dot\Pi^q &= -\left((1+b)\Pi^\alpha + a \Pi^e\right) \Pi^p,\ \dot\Pi^p &= +\left((1+b)\Pi^\alpha + a \Pi^e\right) \Pi^q, \end{aligned}$$

with $\Pi^e$, $\Pi^\alpha$ constant and $(\Pi^q, \Pi^p)$ describing a uniform rotation at frequency $\nu = aA+(b+1)B$. Solutions for the group coordinates $(e,q,p,\alpha)$ are reconstructed as explicit elementary functions of time (Andrzejewski et al., 19 Dec 2025).

4. First Integrals, Flatness, and Completeness

Invariant metrics on oscillator groups yield highly integrable geodesic systems equipped with conserved quantities.

• Quadratic first integral: For the Lorentzian metric $k$, the geodesic velocity satisfies

$$2 \dot{x}^{-1} \dot{x}^0 + \sum_i \frac{1}{\lambda_i} \left((\dot{x}^i)^2 + (\dot{\check{x}}^i)^2 \right) = \text{constant},$$

reflecting conservation of the norm induced by $k$. This allows for classification and explicit integration of all geodesics.

• Flatness and completeness: The left-invariant metric $k^*$ on the dual group $G^*$ is flat if $r$ solves the classical Yang–Baxter equation, and is geodesically complete if and only if the group is unimodular. In the flat case, geodesic curves are straight lines in suitable coordinates (Medina, 2010).
• Boundary-value geodesics and transcendental equations: For right-invariant Riemannian metrics, reaching a prescribed group element requires solving a transcendental equation for the group coordinates, and the (minimal) geodesic length is obtained as a function of its solution. This length bounds the complexity of quantum operations in representations of the oscillator group (Andrzejewski et al., 19 Dec 2025).

5. Geodesics and the Geometry of Oscillator Symmetry

The realization of dynamical systems as geodesics on oscillator group manifolds underscores the profound link between symmetry and the geometry of motion.

• Eisenhart lift and conformal modes: The equations of the driven isotropic oscillator,

$$p(t)^2\,\ddot{x}^i(t) + 2p(t)\dot{p}(t)\dot{x}^i(t) + 2 x^i(t) = 0,$$

can be interpreted as null or timelike geodesics on a $(d+2)$-dimensional Lorentzian manifold with line element

$$ds^2 = \gamma p^2(t) dt^2 - dt ds + p^2(t) \delta_{ij} dx^i dx^j + 2q x^i dt dx^i,$$

where $s$ is an auxiliary coordinate and $p(t)$ solves a conformal-mode equation. The symmetry group of this lifted metric is precisely the Newton–Hooke (oscillator) group, realized as isometries. Every generator yields a conserved Noether charge, whose Poisson brackets close into the oscillator algebra (Galajinsky, 2017).

• Algebraic and geometric equivalence: The geodesic equations on these lifted spacetimes are in direct correspondence with the oscillator equations, encoding their symmetry and conservation laws as geometric properties of the underlying group manifold.

6. Applications in Representation Theory and Quantum Complexity

The explicit solution of geodesic equations on oscillator groups has significant implications for quantum information and representation theory.

• Quantum complexity of oscillator group unitaries: In the framework of Nielsen's complexity, the geodesic length between the identity and an element $g$ provides a lower bound for the complexity of implementing the corresponding unitary operation in a representation. The explicit resolution of geodesic equations via analytic and transcendental means, including the minimal length formula,

$$\ell(g) = \sqrt{ \frac{(\tilde{\nu} - 2\alpha)^2 + (ad-b^2)\alpha^2}{a} + \frac{\tilde{\nu}^2 (q^2 + p^2)}{2(1-\cos\tilde{\nu})} },$$

enables concrete estimates and classifications of gate complexity for quantum systems with oscillator symmetry (Andrzejewski et al., 19 Dec 2025).

• Characterization of flat solvable groups: Through the construction of duals via classical Yang–Baxter solutions, oscillator groups serve as a class of solvable Lie groups admitting flat, geodesically complete Lorentzian metrics, providing models for integrable dynamics and geometric structures compatible with oscillator symmetry (Medina, 2010).

7. Significance and Broader Context

The study of geodesic equations on oscillator groups synthesizes Lie-theoretic, geometric, and analytic techniques, yielding explicit integrable systems with flat invariant metrics, complete analytic solutions, and direct applications to quantum complexity theory. The emergence of geodesic completeness criteria (unimodularity), explicit formulae for geodesic flow and integrals, and the geometric realization of oscillator symmetries via Eisenhart-type lifts exemplifies the deep interplay between symmetry, invariant geometry, and integrable dynamics. These structures underpin advances in the understanding of geometric methods in quantum information theory, representation theory, and geometric mechanics (Medina, 2010, Andrzejewski et al., 19 Dec 2025, Galajinsky, 2017).