⚛️ quantum physics

Propagation of Two-Photon Zernike States in Atmospheric Turbulence

This paper analytically demonstrates that two-photon Zernike states propagating through atmospheric turbulence experience structured crosstalk that can be effectively suppressed and near-ideal spatial correlations restored by implementing partial adaptive optics correcting only up to the sixth radial order.

Original authors: Hakob Avetisyan, Vahagn Abgaryan

Published 2026-03-13

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Hakob Avetisyan, Vahagn Abgaryan

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

The Big Picture: Sending Quantum Messages Through a Storm

Imagine you are trying to send a secret, invisible message to a friend using a special kind of light. This isn't just a flashlight beam; it's a beam made of entangled pairs of photons (two particles of light that are magically linked, like a pair of dice that always roll the same number, no matter how far apart they are).

To pack more information into this message, scientists give these photons a specific "shape" or "twist." Think of these shapes like different musical notes or different patterns of ripples in a pond. In this paper, the authors use a specific set of shapes called Zernike modes.

The Problem:
When you send these shaped light particles through the air (free space), the atmosphere isn't empty. It's full of invisible "heat waves" and turbulence, like the shimmering air you see above a hot road. This turbulence acts like a chaotic, wobbly lens. It scrambles the shapes of the light, turning your clear musical notes into a jumbled mess. This is called crosstalk: your "Note A" accidentally turns into "Note B," and your secret message gets garbled.

The Goal:
The authors wanted to figure out exactly how this scrambling happens and, more importantly, how to fix it. They asked: If we know exactly how the air messes things up, can we predict the mess and clean it up?

The Key Concepts (The "How-To")

1. The "Zernike" Alphabet

Most scientists describe light shapes using standard patterns (like Laguerre-Gaussian modes). But the authors decided to use Zernike modes.

The Analogy: Imagine describing a distorted face. You could try to describe every single pixel, or you could use a standard list of "aberrations": Is the nose too big? Is the chin too pointy? Is the whole face tilted?
Why it matters: Zernike modes are exactly like that list of facial features. They correspond directly to real-world distortions:
- Tilt: The whole image is leaning.
- Defocus: The image is blurry.
- Astigmatism: The image is stretched like a football.
- Coma: The image looks like a comet with a tail.
The Insight: Since the atmosphere distorts light using these exact same "features" (tilt, blur, etc.), using Zernike modes is like speaking the atmosphere's native language.

2. The "Mathematical Magic" (The 8D to 1D Trick)

Usually, calculating how light moves through a turbulent atmosphere requires solving massive, impossible-to-solve math problems involving continuous waves (imagine trying to calculate the path of every single drop of rain in a storm).

The Breakthrough: The authors found a way to turn this massive, continuous storm into a discrete, finite list.
The Analogy: Instead of trying to track every single water molecule in a river, they realized they only needed to track the "big waves" and "small ripples." They turned a messy, infinite ocean into a neat, finite spreadsheet of numbers.
The Result: They created a "discrete algebraic framework." This means they can now calculate the outcome of the light's journey using simple addition and multiplication tables instead of impossible calculus.

3. The "Low-Order" Secret

When they looked at their new spreadsheet, they found something amazing. The atmosphere doesn't mess up all the light shapes equally.

The Discovery: The chaos is mostly driven by the simplest, lowest-order distortions (the big tilts, the main blurs, the basic astigmatism). The tiny, high-frequency "fuzz" of the air doesn't actually scramble the quantum message as much as we thought.
The Metaphor: Imagine a noisy room. You can't hear your friend because of the loud bass (low frequency) and the clinking of glasses (high frequency). The authors realized that if you just block out the bass, the conversation becomes clear again. The high-frequency noise doesn't matter as much.

4. The Solution: "Partial" Adaptive Optics

Adaptive optics is a technology where a telescope or camera uses a deformable mirror to "undo" the distortion of the atmosphere in real-time. Usually, you need a super-complex mirror to fix everything.

The Paper's Finding: You don't need to fix everything! Because the damage is mostly caused by the "low-order" distortions, you only need to correct the first few Zernike modes (up to the 6th order, which covers things like tilt, defocus, and astigmatism).
The Result: By just fixing these few "big" problems, you can restore the quantum message almost perfectly, even in strong turbulence. It's like putting on a pair of glasses that only corrects your nearsightedness and astigmatism, ignoring the tiny specks of dust on your lens.

The "So What?" (Why This Matters)

Better Quantum Internet: This research helps us build a "Quantum Internet" that works over long distances through the air (satellites, drones). It proves that we don't need impossibly expensive equipment to send quantum data; we just need to target the right "low-hanging fruit" of atmospheric distortion.
Efficiency: It saves energy and computing power. Instead of trying to fix every tiny ripple in the air, we can focus our resources on the big, dominant waves that actually cause the data loss.
New Mathematical Tools: The authors created a new set of mathematical rules (identities) that connect the "shape" of the light to the "shape" of the turbulence. These tools can be used by other scientists to solve similar problems in optics and physics.

Summary in One Sentence

The authors discovered that by describing light using a specific "alphabet" of shapes (Zernike modes) that match how the atmosphere distorts light, they could mathematically prove that fixing just the biggest, simplest distortions is enough to save high-tech quantum messages from being destroyed by the wind and heat of the atmosphere.

1. Problem Statement

The paper addresses the challenge of propagating spatially structured quantum states of light (specifically entangled photon pairs generated via Spontaneous Parametric Down-Conversion, or SPDC) through atmospheric turbulence.

Context: While Hermite-Gaussian (HG) and Laguerre-Gaussian (LG) modes are standard for describing orbital angular momentum (OAM) and spatial entanglement, they suffer from severe intermodal crosstalk in turbulent media. This crosstalk degrades quantum correlations and acts as a noisy channel.
Gap: Existing analyses in HG/LG bases often show diffusive, unbounded mode mixing, making it difficult to isolate specific sources of decoherence or design efficient correction strategies.
Objective: To develop a theoretical framework using Zernike polynomials as the basis for quantum states. The authors hypothesize that because atmospheric turbulence is naturally described by low-order optical aberrations (piston, tilt, defocus, etc.), the Zernike basis offers a more physically transparent and mathematically efficient way to model, analyze, and mitigate turbulence-induced decoherence.

2. Methodology

The authors employ the Extended Huygens–Fresnel formalism to derive an exact analytical solution for the propagation of two-photon states through turbulence.

Basis Transformation: They reformulate the optical field operators and the SPDC two-photon state in the Zernike mode basis ( $Z_n^m$ $Z_{n}^{m}$ ).
- Zernike Modes: Defined on a unit disk, these modes impose explicit radial-order constraints and are directly linked to classical wavefront aberrations.
- Algebraic Identities: The derivation relies on two sets of coupling coefficients:
  - $A$ -coefficients: Govern the triple overlap of Zernike modes in real space (related to Clebsch-Gordan coefficients), enforcing conservation laws in the absence of turbulence.
  - $\Gamma$ -coefficients: Govern the convolution and linearization of modes, connecting real-space and Fourier-space representations.
Turbulence Modeling:
- Turbulence is introduced as a stochastic phase perturbation $\psi(\rho, s)$ along the propagation path.
- The authors assume weak-to-moderate turbulence, allowing the use of second-order phase statistics (Rytov variance, $\sigma_R^2$ ).
- They perform an ensemble average over the random phase to calculate the joint two-photon detection probability.
Analytical Reduction: A key methodological breakthrough is the reduction of the complex, 8-dimensional continuous propagation integrals into a discrete, finite-dimensional algebraic framework. This involves expressing the detection probability as a contraction of discrete tensors ( $A$ , $\Gamma$ , and a turbulence tensor $G$ ).

3. Key Contributions

Exact Discrete Formalism: The paper derives an exact analytical expression for the joint detection probability of Zernike-entangled photons in turbulence. This replaces computationally expensive numerical integration of oscillatory path integrals with a closed algebraic sum.
Hierarchical Coupling Structure: The authors demonstrate that turbulence-induced crosstalk in the Zernike basis is not diffusive (as seen in LG bases) but hierarchically structured.
- In the absence of turbulence, strict selection rules apply: conservation of the azimuthal index ( $M = M_1 + M_2$ ) and a radial triangle inequality ( $N \leq N_1 + N_2$ ).
- Turbulence relaxes these rules, but the resulting crosstalk is dominated by low-order Zernike modes (low-order aberrations).
Modeling Partial Adaptive Optics (AO): The discrete tensor framework allows for the mathematical modeling of partial Adaptive Optics by simply truncating the turbulence tensor sum. The authors show that correcting only the lowest-order modes (up to the 6th radial order) is sufficient to suppress the vast majority of crosstalk.

4. Key Results

Selection Rules in Vacuum: In the limit of no turbulence ( $\sigma_R \to 0$ ), the formalism rigorously recovers exact momentum-matching constraints. The probability distribution collapses to a single state determined by the $A$ -coefficients, confirming the validity of the discrete tensor collapse.
Turbulence Effects:
- As turbulence strength ( $\sigma_R$ ) increases, the strict selection rules break down.
- However, the probability distribution spreads in a structured manner: it decays exponentially along increasing total radial orders ( $N_1 + N_2$ ).
- The "azimuthal leakage" (violation of OAM conservation) is explicitly routed by the $\Gamma$ tensors and bounded by the geometric overlap of the $A$ tensors.
Effectiveness of Low-Order Correction:
- Numerical simulations (Fig. 1 in the paper) show that for moderate turbulence ( $\sigma_R = 0.1$ ), the crosstalk is widespread.
- By applying a "high-pass truncation" to the turbulence tensor (simulating an AO system that corrects modes up to radial order $N_{AO}=6$ ), the extended diagonal crosstalk is almost entirely eliminated.
- Even under stronger turbulence ( $\sigma_R = 0.5$ ), the target correlation peak remains dominant, with residual leakage confined only to adjacent modes.
Physical Interpretation: The results confirm that quantum decoherence in the Zernike basis is driven primarily by the lowest spatial frequencies of the Kolmogorov turbulence spectrum (macroscopic aberrations), rather than high-frequency eddies.

5. Significance

Optimal Representation for Free-Space Quantum Communication: The paper establishes the Zernike basis not just as a mathematical alternative to LG/HG modes, but as a naturally optimal representation for characterizing and mitigating decoherence in atmospheric channels.
Efficient Quantum Error Mitigation: The findings suggest that robust quantum communication links do not require correcting the entire wavefront. Correcting only the first few low-order aberration modes (which is technically easier and less resource-intensive) can restore near-ideal spatial correlations.
Theoretical Tool: The derived algebraic framework (involving $A$ , $\Gamma$ , and $G$ tensors) provides a powerful, closed-form tool for analyzing aberration-driven mode coupling in other contexts beyond quantum optics, such as classical wavefront sensing and imaging.

In summary, the paper provides a rigorous theoretical proof that the Zernike basis aligns perfectly with the physics of atmospheric turbulence, enabling a highly efficient strategy for preserving quantum entanglement in free-space optical links through targeted, low-order adaptive optics.