Semi-device-independent certification of high-dimensional quantum channels

This paper proposes a semi-device-independent framework that certifies the entanglement dimensionality and fidelity of high-dimensional quantum channels directly from observed statistics by leveraging the Choi-Jamiołkowski isomorphism and semidefinite programming relaxations, without requiring fully trusted internal devices.

The Gist

Imagine you have a mysterious black box that takes a message in and sends a message out. In the world of quantum physics, this "box" is a quantum channel—the path information travels from a sender to a receiver. The big question is: How good is this box? Does it preserve the delicate, complex nature of the information, or does it scramble it into noise?

For a long time, checking the quality of these boxes required trusting every single tool inside the lab. If the tools were slightly broken or lying, your test results were useless. This paper introduces a smarter way to check these boxes without needing to trust the tools, provided we know one simple fact: how big the "room" (dimension) the information lives in is.

Here is the breakdown of their new method, using everyday analogies:

1. The "Semi-Device-Independent" Test

Usually, to test a machine, you need to know exactly how the machine was built and how the sensors work. This is like trying to judge a car's engine by looking at the blueprints and trusting the mechanic's report.

The authors propose a "Semi-Device-Independent" approach. Imagine you don't know how the car was built, and you don't trust the mechanic's report. All you know is that the car has four wheels (the system dimension). You just watch the car drive in and drive out. By analyzing the statistics of how the car behaves (did it stay on the road? how fast did it go?), you can still figure out if the engine is powerful enough, even without seeing the engine itself.

2. The "Shadow" of the Channel (The Choi State)

To understand the channel, the authors use a mathematical trick called the Choi-Jamiołkowski isomorphism.

• The Analogy: Imagine the quantum channel is a complex, invisible sculpture. You can't touch it. But, if you shine a specific light on it, it casts a shadow on the wall. This shadow is called the Choi state.
• The Innovation: Previous methods looked at the shadow but ignored the fact that the shadow must come from a real 3D object. The authors' method insists that the shadow must obey the strict laws of physics (specifically, a "partial-trace constraint"). This ensures they aren't just looking at a random shadow, but a shadow cast by a real quantum channel.

3. Measuring "How Many Dimensions" the Channel Can Hold

The first thing they test is Entanglement Dimensionality.

• The Analogy: Think of the channel as a hallway. A narrow hallway (low dimension) can only let one person walk through at a time. A wide hallway (high dimension) can let a whole group walk side-by-side.
• The Test: They use a game called a "Quantum Random Access Code" (like a high-stakes guessing game). If the channel is narrow, the players will lose the game often. If the channel is wide, they can win more often.
• The Result: By seeing how well the players do, they can certify exactly how "wide" the hallway is. They found that if you ignore the physical laws of the shadow (the partial-trace constraint), you might think the hallway is wider than it actually is. Their method prevents this overestimation.

4. Measuring "How Strong" the Connection Is

Knowing the hallway is wide isn't enough; you also need to know if the floor is slippery. Two hallways might be the same width, but one might be full of mud (noise) while the other is pristine.

• The Analogy: This is Entanglement Fidelity. It measures how much of the original "spark" or connection survives the trip.
• The Method: They use a sophisticated mathematical ladder (a hierarchy of SDP relaxations). Imagine climbing a ladder to get a better view. The higher you climb (the more complex the math), the clearer the picture of the channel's quality becomes.
• The Result: They can give you a "guaranteed minimum score" for how much of the connection is saved. Even if the channel is noisy, this method tells you the worst-case scenario for how good the connection still is.

5. Testing with Noise

Real life is messy. The authors tested their method on two common types of "mess":

• Dephasing: Like trying to talk in a room where the lights keep flickering, messing up the timing of your words.
• Depolarizing: Like trying to talk in a room where a fan is blowing random static into your voice.
  They showed that their method can tell you exactly how much noise a channel can handle before it stops being useful for high-dimensional communication.

Summary

In short, this paper provides a new, rigorous way to test quantum communication channels. Instead of needing to trust the equipment, it uses the laws of physics and observed data to answer two critical questions:

1. How big is the channel? (Can it carry complex data?)
2. How clean is the channel? (How much of the data survives the trip?)

This ensures that future quantum networks are reliable, even if we don't have perfect control over every single device inside them.

Technical Summary

Technical Summary: Semi-device-independent certification of high-dimensional quantum channels

Problem Statement
Certifying the properties of high-dimensional quantum channels is critical for the reliability of quantum communication protocols. Traditional characterization methods, such as Quantum Process Tomography (QPT), require exponential resources relative to system dimension and rely on fully trusted internal devices. While Measurement-Device-Independent (MDI) and Device-Independent (DI) schemes have been developed to relax these trust assumptions, existing approaches for high-dimensional systems often fail to explicitly incorporate the structural constraints intrinsic to Choi states (specifically the partial-trace constraint). Furthermore, many existing schemes still assume fully trusted preparation or measurement devices, limiting their practical applicability. Additionally, current certification methods often focus solely on entanglement dimensionality, which may not fully capture the strength of entanglement preserved by a channel.

Methodology
The authors propose a Semi-Device-Independent (SDI) framework where the only trusted assumption is the known system dimension $d$. All preparation and measurement devices are treated as uncharacterized "black boxes." The core of the methodology relies on the Choi-Jamiołkowski (CJ) isomorphism, which maps a quantum channel $\Lambda$ to a bipartite Choi state $\Phi_\Lambda$. The authors explicitly enforce the structural constraints of valid Choi states, including complete positivity, trace preservation, and the specific partial-trace condition $\text{Tr}_B(\Phi_\Lambda) = I_A/d$.

The certification process involves two main components:

1. Entanglement Dimensionality Certification: The authors introduce a witness based on the Average Success Probability (ASP) of quantum Random Access Codes (RACs). They formulate an optimization problem to determine the upper bound of ASP for channels with a Schmidt number (entanglement dimensionality) $\le r$. To solve the non-convex optimization over the Choi state, preparations, and measurements, they employ an alternating convex search method. To handle the Schmidt number constraint $\text{SN}(\Phi_\Lambda) \le r$, they utilize two approximation techniques: the generalized Doherty-Parrilo-Spedalieri (DPS) hierarchy and the generalized reduction map (GRM) criterion.
2. Entanglement Fidelity Certification: To assess the quality of entanglement preservation beyond dimensionality, the authors develop a method to certify the entanglement fidelity $F(\Phi_\Lambda)$. They utilize a dual Semidefinite Programming (SDP) representation of fidelity and construct a hierarchy of SDP relaxations based on localizing matrices. This allows for the derivation of lower bounds on fidelity compatible with either the full set of observed statistics or a single witness value (ASP).

Key Results

• Dimensionality Bounds: Numerical optimization was performed for dimensions $d=3$ to $7$. The derived bounds for the ASP ($\tilde{\beta}^Q_{2,d,r}$) successfully recover known analytical benchmarks for the cases $r=1$ (entanglement breaking) and $r=d$ (full quantum advantage). The results confirm that the partial-trace constraint is essential; without it, the bounds become trivial.
• Noise Analysis: The method was applied to dephasing and depolarizing noise channels. The study establishes a direct relationship between channel visibility (noise parameter) and certifiable entanglement dimensionality. It was found that depolarizing noise has a more detrimental effect on information transmission than dephasing noise, requiring higher visibility to certify the same level of entanglement dimensionality.
• Fidelity Certification: The SDP hierarchy successfully provided lower bounds on entanglement fidelity. In the specific case of $n=d=2$, the numerical bounds were shown to lie between $1/d$ and $1$, consistent with theoretical expectations. The study highlights that entanglement fidelity varies continuously with observed statistics, unlike the threshold-like behavior of entanglement dimensionality.
• Computational Efficiency: While the generalized DPS hierarchy offers higher accuracy, it becomes computationally prohibitive for $d > 5$. The authors found that the GRM criterion yields nearly identical results for lower dimensions and is adopted for higher dimensions to ensure tractability.

Significance and Claims
The paper claims to provide a rigorous, semi-device-independent framework for certifying high-dimensional quantum channels without assuming trusted internal devices. By explicitly incorporating the full set of structural constraints inherent to Choi states, the approach ensures physical consistency that previous high-dimensional schemes lacked.

The work distinguishes itself by certifying both entanglement dimensionality and entanglement fidelity. The authors note that while dimensionality indicates the capacity to preserve entanglement, fidelity quantifies the actual strength of that preservation, which can vary significantly even among channels with the same dimensionality. The proposed SDP-based fidelity certification offers a more complete assessment of channel performance.

However, the authors modestly acknowledge limitations: certifying entanglement fidelity often requires relatively high levels in the SDP hierarchy to achieve convergence, suggesting inherent complexity or potential gaps in the current constraint formulation. The study focuses on numerical validation and theoretical framework construction rather than experimental implementation, though it validates its method against known analytical benchmarks and standard noise models.