Relativistic corrections of order $mα^6$: singular operators and regularization

This paper derives finite nonrecoil relativistic correction operators of order $m\alpha^6$ for hydrogen-like atoms and ions within two- and three-body formalisms beyond the adiabatic approximation, while analyzing the associated singular operators and discussing various regularization methods.

The Gist

Imagine you are trying to predict the exact pitch of a note played by a tiny, vibrating string (an atom). For a long time, physicists have been very good at predicting the "main" note using standard rules. But now, scientists want to hear the faintest, most subtle harmonics—the "overtones" that are so quiet they are almost impossible to detect. To do this, they need to calculate the physics with extreme precision, down to the level of tiny quantum fluctuations.

This paper by V.I. Korobov is like a master craftsman's guide on how to clean up the tools needed to hear those faint overtones in hydrogen-like atoms and molecules.

Here is the breakdown of the paper's journey, using simple analogies:

1. The Problem: The "Broken" Calculator

Physicists use a set of equations (Quantum Electrodynamics, or QED) to calculate these tiny corrections. However, when they try to calculate corrections at a specific high level of precision (called order $m\alpha^6$), their equations start to break.

The Analogy: Imagine you are trying to calculate the total weight of a pile of sand. Most of the time, the math works perfectly. But when you get to a specific layer of sand, the math suddenly says, "The weight is infinite!" or "The weight is undefined!" In physics, we call these singularities. They are mathematical "glitches" that appear because the equations are trying to describe things happening at a distance of zero (like a particle touching another particle perfectly).

If you leave these glitches in, your final answer is garbage. You can't predict the pitch of the note if your calculator says the answer is "infinity."

2. The Solution: Sorting the Trash

Korobov's paper shows how to take these broken, "infinite" equations and sort them into two piles:

1. The Infinite Pile (Singular Operators): These are the parts that blow up to infinity.
2. The Finite Pile (Finite Operators): These are the parts that give normal, usable numbers.

The Magic Trick: The paper demonstrates a clever mathematical rearrangement. It turns out that when you add up all the different pieces of the puzzle (the first-order corrections and the second-order corrections), the "infinite" parts from one piece exactly cancel out the "infinite" parts from the other piece.

The Analogy: It's like two people trying to lift a heavy, broken box. One person is pushing it too hard to the left, and the other is pushing too hard to the right. If they push with the exact same force, the box doesn't move, and the "brokenness" disappears. The result is a smooth, stable box that can be moved easily. In the paper, the "infinite" terms cancel each other out perfectly, leaving behind only the "finite" terms that physicists can actually use to get a real number.

3. The Tools: Different Ways to Clean the Lens

Since the math gets messy when things get infinitely close, physicists need a way to "regularize" the problem. This is a fancy word for "putting a temporary filter on the math so it doesn't break, then taking the filter off at the end."

The paper compares three different types of filters (regularization methods):

• Coordinate Cutoff: Imagine you say, "We will ignore anything closer than a tiny distance $r_0$." It's like saying, "We won't look at the sand grains smaller than a speck of dust."
• Mass Regularization: Imagine giving the invisible force-carrying particles (photons) a tiny bit of "weight" so they can't travel infinitely fast or close. It's like putting a speed limit on the particles.
• Dimensional Regularization: This is the most abstract. Imagine trying to measure a 3D object, but you temporarily pretend the world has 2.99 dimensions instead of 3. The math behaves differently in this "slightly squashed" world, preventing the infinity. Then, you slowly stretch the world back to 3 dimensions.

The Paper's Claim: Korobov shows that while these three methods look very different on the surface, they all lead to the exact same final answer if you do the math correctly. He provides a "dictionary" to translate the results from one method to another, proving they are just different ways of looking at the same reality.

4. The Result: A Clean Formula for Hydrogen

The paper specifically targets hydrogen molecular ions (atoms with one electron and two nuclei, like a hydrogen molecule that lost an electron).

• Before: Previous studies used a simplified "adiabatic" approximation (treating the heavy nuclei as if they were frozen in place).
• Now: Korobov uses a more complex "three-body" approach where everything moves.
• The Outcome: He derives a complete list of "finite operators." These are the clean, non-infinite formulas that scientists can plug into their computers to get the precise energy levels of these atoms.

Summary

Think of this paper as a repair manual for a very sensitive instrument.

1. The instrument (the equations) was producing "error messages" (infinities) when trying to measure very small effects.
2. The author showed that these errors are actually a pair of matching mistakes that cancel each other out if you look at the whole picture.
3. He provided a set of "clean" tools (finite operators) that remove the errors entirely.
4. He proved that you can use different cleaning methods (regularizations) and still get the same perfect result.

The ultimate goal of this work is to allow physicists to calculate the energy of hydrogen atoms with such extreme precision that they can test the fundamental laws of the universe, looking for any tiny cracks in our current understanding of physics.

Technical Summary

Technical Summary: Relativistic Corrections of Order $m\alpha^6$: Singular Operators and Regularization

Problem Statement
Precision spectroscopy of hydrogen molecular ion isotopes has reached relative precisions of a few parts per trillion (ppt), necessitating the calculation of high-order Quantum Electrodynamics (QED) corrections. Specifically, relativistic corrections of order $m\alpha^6$ in the nonrecoil limit (leading order in the $m/M$ expansion) are required. While these corrections have been studied within the adiabatic approximation, a rigorous treatment beyond this approximation using a three-body formalism is necessary for higher accuracy. The primary theoretical challenge in deriving these corrections is the appearance of singular operators in the effective Hamiltonian, which lead to divergent expectation values when evaluated with nonrelativistic wave functions.

Methodology
The paper employs Nonrelativistic Quantum Electrodynamics (NRQED) to construct an effective Hamiltonian for hydrogen-like atoms and hydrogen molecular ions. The approach involves:

1. Derivation of Effective Hamiltonians: Starting from the nonrecoil effective Hamiltonian at order $m\alpha^6$, the author separates the singular parts of the first-order and second-order contributions.
2. Separation of Singularities: The author proposes a method to isolate singular terms into two specific operators: $E^2$ (related to the square of the electric field) and $V(4\pi\rho)$ (related to the interaction of the potential with the charge density). This is achieved by defining nonsingular operators, such as $[p^2]_\mu$ and $[p^4]_\mu$, and utilizing the linearity property of regularized expectation values.
3. Cancellation Analysis: The study demonstrates that the singular terms arising from the first-order contribution and the second-order Breit-Pauli correction cancel exactly at orders $m\alpha^6$ and $m\alpha^6(m/M)$.
4. Regularization Comparison: To handle the divergent integrals, three distinct regularization methods are analyzed and compared:
   • Coordinate Space Cutoff: Introducing a lower limit $r_0$ for radial integration.
   • Mass Regularization: Modifying the Coulomb photon propagator by introducing a large mass parameter $\Lambda$.
   • Dimensional Regularization: Calculating matrix elements in $d = 3-2\epsilon$ dimensions.
     The paper derives explicit formulas relating the expectation values of singular operators across these different schemes.

Key Contributions and Results

• Finite Operators: The author derives a complete set of finite operators required for numerical calculations of the $m\alpha^6$ nonrecoil corrections. These operators are explicitly written out for both two-body (hydrogen-like) and three-body (hydrogen molecular ion) systems.
• Exact Cancellation: It is proven that the divergent parts of the effective Hamiltonian cancel out exactly at the leading nonrecoil orders. The remaining sum consists entirely of finite operators, allowing for direct numerical evaluation without ad-hoc subtraction of infinities.
• Singular Identities: The paper establishes identities connecting the expectation values of singular operators (e.g., $\langle V^3 \rangle$, $\langle E^2 \rangle$, $\langle V(4\pi\rho) \rangle$). These identities are crucial for transforming the Hamiltonian into a form suitable for regularization.
• Regularization Equivalence: The study provides a detailed comparison of regularization schemes. It highlights that while physical results must be independent of the regularization choice, the functional forms of singular operators (such as $V^4$ and $E^2$) differ between mass and dimensional regularization. The paper explicitly connects these schemes to a coordinate cutoff regularization, providing conversion formulas.
• Numerical Feasibility: For the hydrogen molecular ion, the derived finite operators can be evaluated using a finite set of orthogonal functions. Numerical analysis indicates that these computations converge satisfactorily, yielding six significant digits with moderate computational effort.

Significance
The paper claims significance in two main areas:

1. Reduction of Divergences: It demonstrates that all divergent operators of order $m\alpha^6$ in the nonrecoil approximation can be reduced to a small set of four operators ($V^3$, $V(4\pi\delta(r))$, $E^2$, and $VE\nabla$). This reduction allows for the rigorous proof that singularities cancel at the two leading orders, validating the consistency of the NRQED approach for these systems.
2. Methodological Clarity: By analyzing and connecting various regularization methods, the paper provides a robust framework for handling singular operators in bound-state QED. It clarifies the relationships between different schemes, ensuring that future calculations can be performed consistently regardless of the specific regularization technique chosen.

The work serves as a foundational step for calculating high-precision spectra of hydrogen molecular ions, enabling tests of fundamental physics at unprecedented accuracy levels. The author notes that while the nonrecoil case is resolved here, the recoil correction case is more complex and requires careful handling of specific regularization choices, a topic addressed in separate literature.