The 2D free particle in the phase space quantum mechanics

This paper derives and analyzes the Wigner eigenfunctions for a free quantum particle on a plane by examining two distinct cases—fixed energy with angular momentum and fixed Cartesian momentum—utilizing a specialized coordinate system and the Fedosov algorithm to establish the Moyal star-product and identify the relationship between these two representations.

The Gist

Here is an explanation of the paper "The 2D free particle in the phase space quantum mechanics" using simple language and creative analogies.

The Big Picture: A New Way to See the Quantum World

Imagine you are trying to describe a moving car.

• The Old Way (Hilbert Space): You describe the car by its "wave function." It's like a ghostly cloud of possibilities. You can't see the car's exact location or speed at the same time; you only know the probability of finding it there.
• The New Way (Phase Space Quantum Mechanics): This paper uses a different map. Instead of a ghostly cloud, we look at a map where every point represents a specific combination of where the car is (position) and how fast it's going (momentum).

In this "Phase Space," the car isn't a single point, but a fuzzy, wiggly distribution (called a Wigner function). Sometimes this distribution is positive (like a normal probability), and sometimes it dips into negative values (which is weird, but allowed in quantum mechanics).

The authors of this paper are trying to solve a specific puzzle: What does this fuzzy map look like for a particle that is just floating freely in a 2D plane (like a flat sheet of paper)?

---

The Two Characters: How We Describe the Particle

The paper looks at the same free-floating particle but describes it in two different "languages" or coordinate systems.

1. The "Energy and Spin" Language (The Cyclist)

Imagine a cyclist riding in a perfect circle.

• What we know: We know exactly how much energy they have (how fast they are pedaling) and their angular momentum (how much "spin" or rotation they have around the center).
• The Problem: In the old quantum world, this is easy. In this new "Phase Space" world, the math is incredibly messy. The equations are like a tangled ball of yarn.
• The Solution: The authors invented a special new map. Instead of using standard X and Y coordinates, they created a custom coordinate system (let's call it the "Time-Angle-Energy-Spin" map).
  • Analogy: Imagine trying to find a specific tree in a forest. Using a standard street map (X, Y) is hard because the trees are scattered. But if you switch to a map that says "Distance from the river" and "Angle from the North Star," the tree suddenly appears right in the center.
  • They used a mathematical tool called the Fedosov algorithm (think of it as a sophisticated GPS recalibration tool) to redraw the rules of the universe on this new map.
• The Result: On this new map, the messy equations untangled! They found the exact shape of the particle's "fuzzy map" (the Wigner function).
  • Crucial Discovery: They found that for this map to make physical sense (i.e., for the "negative probabilities" to cancel out correctly), the "spin" number (called the magnetic quantum number, $m$) must be a whole number (1, 2, 3...). If you try to use a fraction (like 2.5), the map breaks and predicts impossible negative probabilities. This proves that nature "quantizes" spin; it only comes in whole steps.

2. The "Straight Line" Language (The Bullet)

Now, imagine a bullet flying in a perfectly straight line.

• What we know: We know its exact horizontal speed ($p_x$) and vertical speed ($p_y$).
• The Result: This is much easier to solve. The "fuzzy map" for this particle is just a sharp spike at the exact speed it's traveling. It's the "easy mode" of the problem.

---

The Grand Connection: The "Jacobi-Anger" Magic Trick

The most exciting part of the paper is how they connect these two characters.

In the old quantum world, there is a famous math trick called the Jacobi-Anger expansion. It allows you to take a wave moving in a straight line (the bullet) and break it down into a sum of spinning waves (the cyclists).

The authors asked: "Can we do this in the Phase Space?"

• The Experiment: They took the "Bullet" map (straight line momentum) and tried to rebuild it by adding up many "Cyclist" maps (energy and spin).
• The Method: They used a special multiplication rule called the Moyal Product (think of this as a "quantum blender" that mixes two maps together to create a new one).
• The Result: It worked! They proved that the "Bullet" map is exactly equal to a giant sum of "Cyclist" maps.
  • Analogy: Imagine a smooth, straight beam of light (the bullet). The authors showed that this beam is actually made of thousands of tiny, swirling spirals (the cyclists) all dancing together in perfect harmony. If you add them all up, the swirls cancel out the wiggles, leaving you with a straight line.

Why Does This Matter?

1. New Tools: They showed that by changing your perspective (using the right coordinates), even the hardest quantum math problems become solvable.
2. Validation: They proved that the "Phase Space" way of doing quantum mechanics gives the exact same results as the traditional "Hilbert Space" way, but with a different flavor.
3. The "Whole Number" Rule: They provided a fresh, geometric proof that angular momentum in quantum mechanics must be a whole number, using the logic of probability distributions rather than just abstract algebra.

Summary in One Sentence

The authors used a custom-made map and a special mathematical blender to show that a particle flying in a straight line is actually a perfect harmony of many spinning particles, and that nature only allows these spins to happen in whole-number steps.

Technical Summary

Here is a detailed technical summary of the paper "The 2D free particle in the phase space quantum mechanics" by Hubert Józwiak and Jaromir Tosiek.

1. Problem Statement

The paper addresses the formulation of the quantum mechanics of a free non-relativistic particle moving in a two-dimensional plane ($\mathbb{R}^2$) within the Phase Space Quantum Mechanics (PSQM) framework. Unlike the standard Hilbert space formulation where states are vectors and observables are operators, PSQM represents states as Wigner functions (quasiprobability distributions) on the classical phase space ($\mathbb{R}^4$) and observables as smooth functions. The multiplication of observables is governed by the non-commutative Moyal product ($\star^{(M)}$).

The specific challenges addressed are:

1. Solving the $\star^{(M)}$-eigenvalue problem for a 2D free particle characterized by energy ($E$) and angular momentum ($L$). This case is mathematically complex due to the quadratic nature of the Hamiltonian and the non-trivial structure of the Moyal bracket in standard Cartesian coordinates.
2. Solving the eigenvalue problem for a particle with fixed Cartesian momentum components ($p_x, p_y$).
3. Establishing the relationship between these two bases of states, specifically expanding the Cartesian momentum Wigner function into a series of cross-Wigner functions defined by energy and angular momentum (analogous to the Jacobi-Anger expansion in Hilbert space).

2. Methodology

The authors employ a geometric approach utilizing symplectic geometry and the Fedosov algorithm to simplify the differential equations governing the Wigner functions.

• Coordinate Transformation:
  Instead of using standard Cartesian coordinates $(x, y, p_x, p_y)$, the authors introduce a special set of Darboux coordinates $(T, \chi, H, L)$:

  • $H$: Hamiltonian (Energy).
  • $L$: Angular momentum.
  • $\chi$: Angle of the momentum vector.
  • $T$: Time of arrival (related to the projection of position onto the momentum direction).
    This transformation is symplectic (Jacobian = 1) and well-defined for $p^2 > 0$.

• Fedosov Algorithm Adaptation:
  To derive the explicit form of the Moyal product in these new coordinates, the authors adapt the Fedosov algorithm.

  • They equip the flat symplectic manifold with a symplectic connection $\gamma$.
  • By transforming the connection coefficients from the flat Cartesian chart (where they vanish) to the $(T, \chi, H, L)$ chart, they obtain non-zero connection coefficients.
  • Using these coefficients, they construct the Fedosov star product, which, in this flat case, yields the Moyal product $\star^{(M)}$ adapted to the new coordinates.

• Solving Eigenvalue Equations:
  The authors formulate the eigenvalue equations for the Hamiltonian ($H$) and Angular Momentum ($L$):
  $$(H \star^{(M)} W) = E W, \quad (L \star^{(M)} W) = m\hbar W$$
  In the new coordinates, the Moyal brackets $\{H, W\}^{(M)}$ and $\{L, W\}^{(M)}$ reduce to simple partial derivatives ($\partial_T$ and $\partial_\chi$), significantly simplifying the system of partial differential equations (PDEs).

• Cross-Wigner Functions and Expansion:
  They define cross-Wigner functions $W_{E m m'}$ (solutions to a system where $H$ and $L$ act on the left and right, respectively) and use the orthogonality properties of the Moyal product to expand the Cartesian momentum state $W_{p_x p_y}$ as a linear combination of these cross-Wigner functions.

3. Key Contributions and Results

A. Derivation of Wigner Eigenfunctions ($W_{Em}$)

• General Solution: The authors solve the reduced PDEs to find the general form of the Wigner eigenfunction $W_{Em}(T, \chi, H, L)$.
• Physical Acceptability:
  • They demonstrate that solutions are only physically acceptable (non-negative marginal distributions) if the magnetic quantum number $m$ is an integer ($m \in \mathbb{Z}$).
  • For non-integer $m$, the spatial probability density becomes negative for certain radii, violating physical constraints.
  • The final physically acceptable solution is:
    $$W_{Em} = Y(E-H) \frac{N_{Em}}{\sqrt{H(E-H)}} \cos\left( \frac{2L}{\hbar}\sqrt{\frac{E-H}{H}} - 2m \arccos\sqrt{\frac{H}{E}} \right)$$
    where $Y$ is the Heaviside step function and $N_{Em}$ is a normalization constant.

B. Cartesian Momentum Eigenfunctions

• The Wigner function for a particle with fixed Cartesian momentum $(p_{x0}, p_{y0})$ is derived as a product of Dirac deltas in the Cartesian chart.
• In the $(T, \chi, H, L)$ coordinates, this transforms into a distribution localized at specific energy and angle values.

C. Cross-Wigner Functions ($W_{E m m'}$)

• The authors derive the cross-Wigner functions $W_{E m m'}$ which describe the interference between states of energy $E$ and angular momenta $m$ and $m'$.
• These functions are complex-valued and satisfy specific normalization conditions involving Kronecker deltas for the quantum numbers.

D. The Phase-Space Jacobi-Anger Expansion

• Main Result: The paper establishes an expansion of the Cartesian momentum Wigner function in terms of the cross-Wigner functions of energy and angular momentum:
  $$W_{p_{x0} p_{y0}} = \sum_{m, m' \in \mathbb{Z}} C_{m m'} W_{E m m'}$$
• Coefficients: The expansion coefficients are determined to be $C_{m m'} \propto e^{i(-m+m')\chi_0}$.
• Significance: This result is the phase-space analogue of the Jacobi-Anger expansion in Hilbert space quantum mechanics, which expands a plane wave (momentum eigenstate) into a series of Bessel functions (angular momentum eigenstates). The authors prove that the phase-space formalism reproduces this fundamental quantum mechanical structure.

4. Significance

• Geometric Simplification: The paper demonstrates the power of using adapted symplectic coordinates and the Fedosov algorithm to solve complex eigenvalue problems in phase space. It shows that choosing coordinates where the observables are "linear" or "simple" in the symplectic structure can turn difficult non-linear PDEs into solvable systems.
• Validation of PSQM: By successfully deriving the quantization condition ($m \in \mathbb{Z}$) and reproducing the Jacobi-Anger expansion, the work validates Phase Space Quantum Mechanics as a robust and consistent alternative to the Hilbert space formalism for systems with non-trivial symmetries (like rotational symmetry).
• Foundation for Further Research: The methodology presented (Fedosov adaptation to specific Darboux charts) provides a template for solving eigenvalue problems for other systems, such as the 2D hydrogen atom, which the authors note as a potential future application.

In summary, the paper provides a rigorous mathematical derivation of the Wigner functions for a 2D free particle, resolves the quantization of angular momentum within the phase space formalism, and successfully maps the relationship between momentum and angular momentum bases, bridging a gap between classical symplectic geometry and quantum state decomposition.