Propagator of a massive charged vector boson in a magnetic field: Ritus eigenfunction method

This paper derives the propagator for a massive charged vector boson in a constant magnetic field using the Ritus eigenfunction method in the unitary gauge, providing a detailed analysis of Landau-level polarization vectors, formulating the LSZ reduction formula for radiative corrections, and establishing a systematic connection to Schwinger proper-time representations that reveals a slight discrepancy with previous literature.

The Gist

Imagine you are trying to track a tiny, charged, spinning particle (like a heavy version of an electron) as it zooms through a giant, invisible, and perfectly uniform magnetic field. In the world of quantum physics, this isn't just a straight line; the magnetic field forces the particle to move in specific, quantized "lanes," much like a car being forced to stay in a specific lane on a highway.

This paper is a mathematical guidebook written by Manuel Emiliano Monreal Cancino and Ángel Sánchez. Their goal was to create a precise "map" (called a propagator) that tells physicists exactly how this particle moves and interacts when it's stuck in these magnetic lanes.

Here is a breakdown of their work using simple analogies:

1. The Problem: A Spinning Top in a Magnetic Maze

Usually, when physicists calculate how particles move, they assume empty space. But in extreme environments—like inside a neutron star or during a high-energy collision—there are massive magnetic fields.

• The Challenge: When a charged particle enters this field, its energy levels get chopped up into discrete steps (called Landau Levels). It's like a staircase where the particle can only stand on specific steps, not in between.
• The Spin: The particle also has "spin" (like a spinning top). In a magnetic field, the way this spin aligns changes depending on which "step" (Landau Level) the particle is on.
• The Confusion: Previous maps of this territory were a bit messy. Some used different coordinate systems (metrics) or ignored certain "ghost" effects that appear in the math. The authors wanted a clean, consistent map that works in the "unitary gauge" (a specific way of simplifying the math that removes unnecessary clutter).

2. The Solution: The "Ritus" Method

To solve this, the authors used a technique called the Ritus Eigenfunction Method.

• The Analogy: Imagine trying to describe a complex dance routine. Instead of describing every single twitch of a dancer's finger, you break the dance down into a few standard, repeating moves (eigenfunctions).
• How they used it: They broke the particle's motion down into these standard "moves" that naturally fit the magnetic field's shape. This allowed them to clearly see how the particle's spin and energy levels interact. They didn't just guess the moves; they derived them mathematically, ensuring that for the lowest energy step, the particle has only one way to spin, but for higher steps, it has more freedom.

3. The Map: The Propagator

The main result of the paper is the Propagator.

• The Analogy: Think of the propagator as a "probability GPS." If you know where the particle started and where it ended up, this map tells you the likelihood of it taking a specific path, accounting for all the magnetic lanes and spin twists along the way.
• The Innovation: They built this map using the "Ritus" moves mentioned above. They also checked their work against an older, different method (the Schwinger proper-time method, which is like looking at the same landscape through a different type of lens).
• The Discovery: When they compared their new map to the old ones, they found a tiny but important difference in the details (specifically regarding the "unitary gauge"). It's like two cartographers drawing the same island and finding that one of them missed a small, hidden cove. The authors argue that their version is more accurate for this specific type of calculation.

4. The Tool: The LSZ Reduction Formula

Finally, the authors created a new tool called the LSZ Reduction Formula.

• The Analogy: Imagine you have a complex machine (the particle interaction) and you want to know what happens when you pull a specific lever (the particle entering or leaving the scene). The LSZ formula is the instruction manual on how to "disconnect" or "amputate" the external parts of the machine so you can study the core interaction without the noise of the entry and exit.
• Why it matters: Before this paper, physicists didn't have a clear instruction manual for doing this "disconnection" specifically for heavy, charged particles in a magnetic field. The authors wrote this manual for the first time, allowing others to calculate things like "self-energy" (how the particle interacts with its own field) more accurately.

Summary

In short, this paper is about cleaning up the math for how heavy, charged particles behave in strong magnetic fields.

1. They used a specific mathematical technique (Ritus) to clearly define the particle's "dance moves" (polarization) in the magnetic lanes.
2. They drew a new, precise map (propagator) of how these particles travel.
3. They found a small error in previous maps and corrected it.
4. They built a new tool (LSZ formula) to help other scientists use this map to calculate future experiments.

The authors emphasize that this work is purely theoretical, designed to help physicists understand the fundamental rules of the universe in extreme magnetic environments, such as those found in neutron stars or particle colliders.

Technical Summary

Technical Summary: The Propagator of a Massive Charged Vector Boson in a Magnetic Field via the Ritus Eigenfunction Method

Problem Statement
The behavior of charged particles in strong, homogeneous, and constant magnetic fields is a critical subject in high-energy, nuclear, and astrophysical physics, relevant to environments ranging from heavy-ion collisions to magnetars. While the propagator for charged particles in such fields is a fundamental theoretical tool, the specific case of the massive charged vector boson (e.g., the $W$ boson) presents significant challenges. Previous studies have largely relied on the Feynman gauge or non-diagonal spin bases, which can obscure the physical interpretation of polarization states and complicate perturbative calculations. Furthermore, existing derivations often lack a systematic treatment of the unitary gauge, where the tensor structure of the propagator is more complex, and the explicit construction of the LSZ reduction formula for amputating external charged states in a magnetic background has not been fully addressed.

Methodology
The authors employ the Ritus eigenfunction method to derive the propagator of a massive charged vector boson in a constant magnetic field of arbitrary strength. The work is formulated in the mostly-minus metric ($g_{\mu\nu} = \text{diag}(+,-,-,-)$) and utilizes the unitary gauge.

1. Diagonalization of Equations of Motion: Starting from the reduced electroweak Lagrangian, the authors derive the equation of motion (EOM) for the $W$ boson. To handle the non-diagonal matrix representation of the EOM in Lorentz indices, they introduce a transformation matrix $N^\alpha_\mu$ to rotate the field into a basis where the electromagnetic field-strength tensor is diagonal.
2. Spin Projection and Landau Levels: In this rotated basis, the EOM is decomposed using spin-projection operators $\tilde{\Delta}^\mu_\nu(s_3)$ corresponding to spin projections $s_3 = \pm 1, 0$. This allows the separation of the problem into independent sectors labeled by the Landau level index $\ell$.
3. Explicit Polarization Vectors: A central technical component is the explicit construction of polarization vectors for each Landau level. The authors demonstrate that the number of admissible polarization states depends on $\ell$:
   • Lowest Landau Level (LLL, $\ell=0$): Only one polarization vector exists.
   • First Excited Level ($\ell=1$): Two independent polarization vectors exist.
   • Higher Levels ($\ell > 1$): Three linearly independent polarization vectors are recovered.
     These vectors are derived by satisfying transversality conditions and orthonormalization relations, accounting for the magnetic four-momentum.
4. Propagator Construction: Using canonical quantization, the field operators are expanded in terms of these Ritus eigenfunctions and the derived polarization vectors. The Feynman propagator is constructed in the Ritus representation, explicitly summing over Landau levels and polarization states.
5. Connection to Schwinger Proper-Time: The authors develop a systematic method to translate the Ritus representation into the Schwinger proper-time representation. This involves summing over Landau levels using integral representations of parabolic cylinder functions and identifying the Schwinger phase.
6. LSZ Reduction: The paper derives the LSZ reduction formula for massive charged vector bosons in a magnetic background. This involves adapting the standard vacuum derivation by replacing plane-wave external modes with Ritus eigenfunctions and utilizing the specific eigenvalues of the momentum operator in the presence of the field.

Key Results

• Ritus Representation: The propagator is explicitly derived in the Ritus eigenfunction representation in the unitary gauge. The result features a structure analogous to the vacuum case but with plane waves replaced by Ritus eigenfunctions and standard momenta replaced by magnetic four-momenta $\tilde{P}_\mu$.
• Schwinger Representation and Discrepancy: By converting the Ritus result to the Schwinger proper-time formalism, the authors obtain a closed-form expression for the propagator. They identify a slight discrepancy between their result (derived in the unitary gauge with the mostly-minus metric) and previous results reported in the literature (specifically Ref. [16]). The authors attribute this difference to terms associated with the unitary-gauge structure of the propagator, noting that no such mismatch occurs in the Feynman gauge.
• LSZ Formula: A novel LSZ reduction formula is presented (Eq. 72), which provides the explicit procedure for amputating external charged vector legs in a magnetic field. This formula expresses the S-matrix element in terms of the time-ordered Green's function and the appropriate Ritus eigenfunctions, facilitating the calculation of self-energies and radiative corrections.

Significance and Claims
The paper claims to provide the first derivation of the charged vector-boson propagator in the unitary gauge within the Ritus eigenfunction framework. The authors emphasize that this formulation is particularly suitable for contemporary applications, such as calculating neutrino self-energies in strong magnetic backgrounds, where the unitary gauge is often preferred for its physical transparency regarding massive vector degrees of freedom.

The explicit determination of the polarization basis is highlighted as a crucial contribution, as different basis choices can obscure physical interpretations or complicate calculations. The derived LSZ reduction formula is presented as a necessary tool to relate polarization tensors computed in magnetic backgrounds to physical on-shell amplitudes, addressing a gap in previous analyses where external legs were not explicitly amputated.

Finally, the identification of the discrepancy with existing Schwinger proper-time results in the unitary gauge is noted as a significant finding. The authors suggest that this difference warrants further investigation, particularly in the context of precision calculations for self-energies and observables involving particles coupled to charged vector bosons under magnetic fields. The work serves to establish a consistent and reproducible theoretical foundation for these calculations, avoiding ambiguities related to gauge choices and spin structures.