🔢 mathematics

Quantum Mechanics on Lie Groups: II. Path Integrals

This paper constructs path integrals for quantum dynamics on Lie groups by addressing noncommutative momentum and compact directions through winding number sums, and applies this framework to derive semiclassical approximations for Euler-Arnold systems up to two-loop order.

Original authors: Mathieu Beauvillain, Blagoje Oblak, Marios Petropoulos

Published 2026-07-20

📖 8 min read🧠 Deep dive

CC BY 4.0

Original authors: Mathieu Beauvillain, Blagoje Oblak, Marios Petropoulos

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine the universe as a giant, cosmic dance floor. In this dance, particles aren't just tiny balls bouncing around; they are more like dancers whose movements are dictated by the shape of the floor itself. Sometimes, the floor is flat and open, like a vast meadow. But often, the floor is curved, twisted, or even wrapped around like a sphere or a donut. This is the world of Lie groups, a mathematical way of describing shapes that have symmetry, like a spinning top or a rotating molecule.

To understand how these quantum dancers move, physicists use two main tools. The first is Hamiltonian mechanics, which is like looking at a dancer's speed and direction at a single, frozen moment to predict where they'll be next. The second is the path integral, a mind-bending idea proposed by Richard Feynman. Instead of picking just one path, the path integral suggests that a particle takes every possible path at once. It's as if the dancer tries every route from the stage to the exit simultaneously, and the final result is a magical sum of all those possibilities. When the dance floor is curved or has "holes" (like a circle), calculating this sum gets incredibly tricky because the paths can loop around in different ways, and the rules for measuring distance change depending on where you are.

This paper, titled "Quantum Mechanics on Lie Groups: II. Path Integrals," is a guidebook for navigating this complex dance floor. The authors, Mathieu Beauvillain, Blagoje Oblak, and Marios Petropoulos, tackle a specific challenge: how to write down the "sum over all paths" for particles moving on these curved, symmetric shapes, especially when those shapes have compact directions (like a circle where you can keep walking and eventually return to your starting point). They show that to get the right answer, you have to count not just the paths, but also the different ways a path can "wind" around the shape, similar to how a string can wrap around a cylinder multiple times. They use this new method to calculate how these quantum systems behave, providing precise formulas that work up to a very high level of detail (called "two-loop order"). This is crucial because, unlike simpler systems, these complex quantum dances aren't perfectly predictable with just a first guess; you need to account for the subtle, wiggly corrections that happen when the dance floor is curved.

The Dance of the Quantum Rotor

Let's dive into the story of how these physicists cracked the code. Imagine you are trying to predict the motion of a rigid object, like a spinning top or a molecule. In the classical world, we know exactly how it moves: it follows the smoothest possible path, like a marble rolling down a hill. But in the quantum world, things are fuzzier. The object doesn't just take one path; it explores a cloud of possibilities. To calculate the probability of the object ending up in a specific spot, physicists use a "propagator," which is essentially a recipe for summing up all the possible histories of the particle.

The authors start by looking at a special class of systems called Euler-Arnold systems. You can think of these as the "free runners" of the Lie group world. They don't have any external forces pushing them (no potential energy); they just move based on their own momentum and the shape of the group they live on. Classically, these systems are famous for moving along the straightest possible lines on a curved surface, known as geodesics. It's like a bug walking on a globe; if it walks straight, it follows a great circle.

The big problem the authors faced was that while we know how to do this math for flat spaces (like a sheet of paper) or simple circles, doing it for complex, multi-dimensional shapes (like the rotation group of a 3D object) is a nightmare. Previous attempts often failed when the shape had "compact" directions—parts that loop back on themselves. If you walk far enough in a compact direction, you end up where you started. In the quantum world, this means a particle can loop around the shape multiple times before arriving at its destination.

The Magic of "Winding" and "Unwrapping"

To solve this, the authors developed a clever trick. They realized that instead of trying to do the math directly on the curved, looping shape, they could "unwrap" the shape onto a flat, infinite space called a Lie algebra. Imagine taking a piece of paper wrapped around a cylinder and flattening it out. On this flat paper, the particle can walk in a straight line forever. But here's the catch: when you flatten the paper, you lose the information about how many times the particle wrapped around the cylinder.

The authors showed that to fix this, you have to add a "sum over winding numbers." This is like saying, "Okay, let's calculate the path for the particle walking straight, then calculate the path for the particle that wrapped around once, then twice, and so on, and add them all up." This is the same idea used for a simple circle, but the authors generalized it to work for any complex Lie group. They proved that this sum over "winding numbers" (or more technically, a sum over the logarithms of the group elements) correctly captures the quantum behavior of the compact directions.

The Two-Loop Challenge

Once they had the path integral set up, the authors wanted to see how accurate their formulas were. In physics, we often use an approximation called the "semiclassical limit," which assumes the particle mostly follows the classical path but has some quantum "jitters" around it. The first level of this approximation is called the "one-loop" calculation. It's like drawing a straight line and then adding a tiny wiggle to it.

However, the authors knew that for these complex, non-abelian groups (where the order of operations matters, like turning left then up is different from up then left), the one-loop guess isn't enough. The "jitters" interact with the curvature of the space in complicated ways. So, they pushed the calculation further to the two-loop order. This is like adding a second layer of wiggles, accounting for how the first wiggle affects the second.

They found that calculating this two-loop term is incredibly difficult because of the curved nature of the space. The math involves "ghosts"—not spooky ghosts, but mathematical tools (called Faddeev-Popov ghosts) that help cancel out errors that arise from the curved measurement rules of the space. The authors explicitly showed that these ghost terms are necessary to cancel out infinite, nonsensical numbers (divergences) that would otherwise ruin the calculation. They proved that when you include these ghosts, the infinities cancel out perfectly, leaving a finite, meaningful result.

What They Found

The paper provides a complete, step-by-step recipe for calculating the quantum behavior of these Euler-Arnold systems up to the two-loop level. They derived a formula for the "propagator" (the probability of moving from point A to point B) that includes:

The classical path: The main geodesic route.
The one-loop correction: The first quantum wiggle, which depends on the shape of the space.
The two-loop correction: The second, more complex wiggle, which involves the structure of the group and the "inertia" of the system.

They also applied this to calculate the partition function, which tells us about the system's behavior when it's in thermal equilibrium (like a gas of these spinning tops at a certain temperature). They found that at high temperatures, the result looks like a free particle, but with a small correction term that depends on the "curvature" of the group (specifically, the Ricci scalar, a measure of how curved the space is).

Why It Matters

This work is a significant step forward because it bridges the gap between the simple, flat world of standard quantum mechanics and the complex, curved world of Lie groups. By showing how to handle the "winding" of compact directions and how to cancel out the mathematical infinities using ghosts, the authors have provided a rigorous foundation for studying quantum systems on these symmetric shapes. This is important for understanding everything from the rotation of molecules to the behavior of certain condensed matter systems and even aspects of quantum gravity. They didn't just guess; they built a solid mathematical framework that allows physicists to calculate these quantum effects with high precision, proving that even on the most twisted dance floors, the quantum rules can be followed step-by-step.

Technical Summary: Quantum Mechanics on Lie Groups II: Path Integrals

Problem Statement
The paper addresses the formulation of path integrals for quantum dynamics on a general Lie group $G$ , specifically within the Hilbert space $L^2(G)$ . While classical mechanics on Lie groups (Lie-Poisson and Euler-Arnold systems) is well-understood, the quantum treatment faces two primary challenges:

Noncommutative Momentum Space: The momentum operators on a non-abelian group do not commute, leading to a noncommutative phase space structure that complicates the definition of Fourier transforms and the insertion of identity operators in the time-evolution kernel.
Compact Directions: When $G$ possesses compact directions (e.g., tori), the standard path integral formulation must account for topological sectors (winding numbers). Previous attempts, particularly those rooted in loop quantum gravity, failed to properly define Fourier coefficients and series for groups with compact directions, often overlooking non-unimodular groups where left and right Haar measures differ.

The authors aim to construct a rigorous path integral representation for transition amplitudes that handles both noncommutativity and compactness, and to apply this framework to compute semiclassical approximations (up to two-loop order) for Euler-Arnold systems.

Methodology
The authors build upon their previous work (Ref. [1]) regarding noncommutative Fourier transforms on Lie groups. The methodology proceeds through the following steps:

Decompactification and Winding Sums:
The path integral is constructed by "decompactifying" the group manifold $G$ onto its Lie algebra $\mathfrak{g}$ . Using an inclusion map $\iota: L^2(G) \to L^2(\mathfrak{g})$ , the propagator on $G$ is expressed as a sum over logarithms of the final group element. For generic elements, these logarithms correspond to discrete translations along the maximal tori of $G$ . This generalizes the familiar sum over winding numbers in the $U(1)$ case (circle) to a sum over instanton sectors in the maximal tori of $G$ .
Noncommutative Fourier Transforms and Operator Algebra:
The derivation relies on the operator algebra generated by position (group elements) and momentum (Lie algebra generators). The authors utilize the Gutt star product and the Baker-Campbell-Hausdorff (BCH) formula to handle the noncommutativity of momenta. The identity operator is repeatedly inserted in the time-sliced evolution kernel using both position-space (localized states $|X\rangle$ ) and momentum-space (non-normalizable states $|p\rangle$ ) representations.
Handling Haar Measures and Modular Functions:
A critical technical contribution is the rigorous treatment of non-unimodular groups. The authors distinguish between left and right Haar measures ( $dg_L$ and $dg_R$ ) and the associated modular function $\Delta(g)$ . They demonstrate that the path integral symbol of the Hamiltonian involves a star product that mixes positions and momenta. By changing variables in the path integral, they relate the left-invariant formulation to a right-invariant one, introducing the modular function as a prefactor and in the action.
Semiclassical Expansion (Loop Expansion):
For Euler-Arnold systems (where the Hamiltonian is quadratic in momenta), the path integral is evaluated using a saddle-point approximation around classical geodesic trajectories.
- One-Loop: The authors compute the functional determinant of the fluctuation operator. They introduce Faddeev-Popov ghosts to exponentiate the non-trivial Jacobian factors arising from the curved measure (Haar measure) in the path integral.
- Two-Loop: The expansion is carried to the next order. The authors explicitly identify the vertices arising from the expansion of the Maurer-Cartan forms and the ghost action. They demonstrate the cancellation of ultraviolet divergences (specifically $\delta(0)$ terms) that arise from contracting derivatives of Green's functions at equal times, proving that the ghosts are necessary to maintain consistency with the non-flat measure.

Key Contributions and Results

General Path Integral Formula: The paper derives the explicit path integral representation for the propagator $(g_f | e^{-i\hat{H}T} | g_i)$ on an arbitrary Lie group $G$ (Eq. 4.11 and 4.16). This formula includes a sum over logarithms (winding numbers) in the maximal tori, a path integral over the Lie algebra with a non-flat measure involving the Jacobian of the exponential map, and a modular function prefactor for non-unimodular groups.
Two-Loop Propagator and Partition Functions: The authors provide explicit two-loop corrections for the propagator and partition functions of Euler-Arnold systems.
- They derive the one-loop Van Vleck-Morette determinant generalized to Lie groups (Eq. 5.33).
- They compute the two-loop coefficient $b_2$ in the De Witt expansion (Eq. 5.34), showing that divergences cancel out when ghost contributions are included.
- For the partition function at high temperature, they recover the Ricci scalar of the group manifold (Eq. 6.9), confirming consistency with standard heat kernel techniques.
Resolution of Compactness Issues: The work resolves the issue of defining Fourier series for groups with compact directions by showing that the proper treatment of the inclusion map and the sum over logarithms reproduces the correct sum over instanton sectors, generalizing the $U(1)$ winding number sum.
Non-Unimodular Groups: The paper provides a consistent framework for non-unimodular groups, explicitly tracking the modular function $\Delta(g)$ and distinguishing between left and right Haar measures throughout the derivation.

Significance and Claims
The authors claim that their approach provides a rigorous definition of path integrals on group manifolds that overcomes limitations of previous frameworks (specifically those from loop quantum gravity) which failed to handle compact directions and non-unimodular groups.

Key claims regarding the significance of the results include:

Beyond One-Loop Exactness: Unlike free particles on abelian groups, quantum Euler-Arnold systems are generally not one-loop exact. The paper demonstrates that two-loop corrections are non-trivial and necessary, providing the first explicit two-loop expansions for these systems.
Semiclassical Utility: The derived formulas allow for the computation of transition amplitudes and partition functions using semiclassical methods, leveraging the classical integrability of many Lie-Poisson systems.
Geometric Consistency: The derivation confirms that the path integral measure and the resulting quantum corrections are geometrically consistent with the underlying Lie group structure, specifically reproducing the Ricci scalar in the high-temperature limit of the partition function.

The paper does not propose new experimental applications or future directions beyond the immediate scope of refining the mathematical formulation of quantum mechanics on Lie groups and providing tools for semiclassical analysis of Euler-Arnold systems.

The Dance of the Quantum Rotor

The Magic of "Winding" and "Unwrapping"

The Two-Loop Challenge

What They Found

Why It Matters

More like this