No-Go Theorem for Gaussian Quantum Repeaters from Fractional Extendibility

This paper proves a no-go theorem demonstrating that Gaussian quantum repeater protocols, utilizing only Gaussian operations, homodyne measurements, and classical communication, cannot enhance the quantum capacity of pure-loss attenuation channels beyond the limits of direct transmission, a result established through a novel framework of fractional extendibility for Gaussian states.

The Gist

The Big Problem: The "Leaky Pipe"

Imagine you are trying to send a secret message through a very long, leaky water pipe. The message is made of water droplets (photons). As the pipe gets longer, more and more water leaks out. Eventually, if the pipe is too long, the water stops reaching the other end entirely.

In the world of quantum communication, this "leaky pipe" is an optical fiber. The "water droplets" are photons carrying quantum information. Because of physics, the signal fades away exponentially as it travels. If you try to send a message more than about 15 kilometers, the signal is so weak that you can't recover the information. This is a fundamental limit, not just a technical glitch.

The Proposed Solution: The "Relay Team"

To fix this, scientists proposed using a "relay team" (Quantum Repeaters). Imagine a long relay race where runners pass a baton. Instead of one runner trying to run the whole 100 miles, you have a team. Runner 1 runs a short distance, hands the baton to Runner 2, who runs the next short distance, and so on.

In a quantum network, these "runners" are repeater stations. They catch the fading signal, fix it, and send it on. The hope was that by doing this, we could send quantum information across the entire world without it disappearing.

The Catch: The "Gaussian" Rule

However, there is a catch. In the lab, the tools we have to build these repeaters are mostly "Gaussian."

• Non-Gaussian tools are like a master mechanic with a full toolbox: they can fix anything, but they are incredibly expensive, hard to build, and fragile.
• Gaussian tools are like a simple wrench and a hammer: they are easy to use, cheap, and robust, but they can only do simple tasks.

Scientists have known for a while that you can't fix a broken quantum signal using only simple tools (Gaussian operations) if the damage is also simple (like photon loss). But a big question remained: What if we add a relay team that uses simple tools but can also talk to each other and measure the signal? Could that team finally beat the leaky pipe?

The Paper's Discovery: The "No-Go" Sign

This paper says No.

The authors, Rabsan Galib Ahmed and Graeme Smith, proved a "No-Go Theorem." In plain English, they proved that no matter how many repeater stations you add, or how much they talk to each other, if they are all using simple "Gaussian" tools, they cannot send quantum information any further or faster than if you just tried to send it directly without any repeaters.

It's as if you have a team of runners with simple flashlights. No matter how many of them you line up, they cannot make the light shine brighter or travel further than a single, powerful flashlight could on its own. The fundamental limit of the "leaky pipe" cannot be broken by this specific type of team.

How They Proved It: The "Fractional Stretch"

To prove this, the authors invented a new mathematical concept called "Fractional Extendibility."

Think of a quantum state (the information) as a rubber band.

• If a rubber band is "2-extendible," it means you can stretch it and make a copy of it without breaking the rules of physics (which usually forbid copying).
• The authors created a new rule called "Fractional Extendibility." They showed that when you use Gaussian tools (the simple wrenches) to stretch or measure the rubber band, the band cannot become "less stretchy" or "more copyable" in a way that helps you send the signal further.

They showed that every time a signal passes through a Gaussian repeater, it stays within the same "stretchy limits" as the original leaky pipe. Because the signal never breaks these limits, the repeaters can't actually improve the situation.

The Bottom Line

If you want to build a global quantum internet that works over long distances, you cannot rely solely on the "easy" tools (Gaussian operations, homodyne measurements, and classical communication). You must use the "hard" tools (non-Gaussian operations), which are currently very difficult to build in the lab.

This paper closes the door on the idea that a network of simple, easy-to-build repeaters could solve the problem of long-distance quantum communication on its own. The fundamental physics of the "leaky pipe" remains unbroken by these specific methods.

Technical Summary

Technical Summary: No-Go Theorem for Gaussian Quantum Repeaters from Fractional Extendibility

Problem Statement
The fundamental limitation of long-range quantum communication over optical channels (such as fibers and free-space links) is photon loss, which induces exponential attenuation of the signal. This loss severely suppresses the rate of transmissible quantum information. While quantum repeaters are the standard theoretical approach to overcoming this by decoding, correcting, and re-encoding information across network segments, their practical implementation faces a significant hurdle: the "no-go theorem for Gaussian quantum error correction." This theorem dictates that Gaussian errors (including attenuation) on Gaussian states cannot be corrected using only Gaussian encoding and recovery operations.

Consequently, it has been an open question whether Gaussian quantum repeater protocols—those restricted to linear optics, squeezing, homodyne/heterodyne measurements, feedforward, and Gaussian ancillae, but potentially including adaptive measurements and classical communication—can enhance the quantum capacity of pure-loss bosonic attenuation channels beyond the limit achievable by direct transmission. Previous work [18] established a no-go result for regenerative stations based on unconditional tracing but explicitly excluded the essential component of quantum repeaters: measurements.

Methodology and Framework
To address this open question, the authors develop a rigorous framework based on a generalization of the concept of k-extendibility for Gaussian states.

1. Fractional Extendibility: The authors introduce a new definition called "fractional extendibility." A bipartite bosonic Gaussian state with covariance matrix $V_{AB}$ is defined as $1/\gamma$-extendable (for $\gamma \in [0, 1]$) if there exists a valid covariance matrix $\Delta_B$ such that:
   $$V_{AB} \geq i\Omega_A \oplus [(1-\gamma)\Delta_B + i\gamma\Omega_B]$$
   When $\gamma = 1/k$ for an integer $k$, this recovers the standard condition for $k$-extendibility.

2. Mathematical Tools: The proof relies heavily on the properties of the Schur complement applied to covariance matrices. The authors utilize two key properties:

   • Monotonicity: If $M \geq M'$, then the Schur complement $M/A \geq M'/A'$.
   • Joint Concavity: The Schur complement is jointly concave with respect to its arguments.

3. Protocol Modeling: The authors model a general Gaussian quantum repeater chain involving $r-1$ intermediate nodes. The protocol allows for:

   • Local preparation of bipartite Gaussian states.
   • Transmission of one part of these states through pure-loss attenuation channels ($A_{\gamma_k}$).
   • Arbitrary multipartite Gaussian Local Operations and Classical Communication (GLOCC), including homodyne measurements and feedforward.
   • Teleportation of the input state from the sender to the receiver using the entanglement generated across the chain.

Key Results and Proofs
The paper establishes a series of lemmas leading to the main no-go theorem:

• Lemma 3 (Composition with Attenuation): If a state is $1/\gamma$-extendable, applying an attenuation channel $A_\lambda$ results in a state that is $1/(\lambda\gamma)$-extendable. This demonstrates how attenuation degrades extendibility.
• Lemma 4 (Monotonicity under Gaussian Operations): Fractional extendibility is monotonic under arbitrary Gaussian operations. Crucially, this holds even when the operation involves measurements; for every measurement outcome, the resulting post-measurement state retains the same or better extendibility properties as the pre-measurement state.
• Lemma 5 (Reversibility of Attenuation): Any $1/\gamma$-extendable Gaussian state can be generated by applying an attenuation channel $A_\gamma$ to a valid Gaussian state, followed by a Gaussian unitary. This links the mathematical property of extendibility directly to the physical action of attenuation.
• Lemma 6 (Repeater Chain Composition): For a repeater chain where nodes perform GLOCC, the final output state between the first and last node is $(\prod \gamma_k)^{-1}$-extendable, where $\gamma_k$ are the transmissivities of the intermediate channels.

Main Theorem (The No-Go Theorem)
Theorem 1: The quantum capacity of a Gaussian repeater chain, $R_\eta$, is upper bounded by the quantum capacity of the direct attenuation channel, $A_\eta$. Specifically, $Q(R_\eta) \leq Q(A_\eta)$.

Proof Logic:
The authors show that the Choi state of the entire repeater chain (including all classical communication registers) is $\eta^{-1}$-extendable, where $\eta$ is the total transmissivity of the channel. By Lemma 5, this implies the chain's Choi state can be decomposed into a composition of the direct attenuation channel $A_\eta$ and other Gaussian operations (unitaries and entanglement-breaking channels). Using the bottleneck inequality for quantum capacity ($Q(N \circ M) \leq \min(Q(N), Q(M))$) and the fact that entanglement-breaking channels cannot increase capacity, the authors conclude that the repeater chain cannot exceed the capacity of the direct link.

Significance and Claims
The paper claims to definitively close the question of whether Gaussian repeaters can enhance quantum communication rates over pure-loss channels.

• Resolution of Open Problem: It proves that even with the inclusion of adaptive measurements, feedforward, and arbitrary classical communication, Gaussian protocols cannot overcome the fundamental limits imposed by photon loss.
• Framework Utility: The introduction of "fractional extendibility" is presented as a powerful new framework for analyzing Gaussian quantum networks. The authors note that this framework provides bounds on communication rates and establishes monotonicity and composition rules that may be applicable to more complex Gaussian network scenarios.
• Limitations: The authors modestly note that while they have established this framework for continuous-variable (Gaussian) systems, an appropriate discrete-variable analogue remains to be explored in future work. They do not propose experimental alternatives but rather define the fundamental boundary for Gaussian strategies.