Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1102.0948 · Journal of Physics A Mathematical and Theoretical

Quantum gate fidelity in terms of Choi matrices

Nathaniel Johnston, David W. Kribs

Published Nov 18, 2011• 21 citations
arXivHTMLPDF

Abstract

We provide new results for computing and comparing the quantum gate fidelity of quantum channels via their Choi matrices. We extend recent work that showed that there exist non-dual pairs of quantum channels with equal gate fidelity by providing an explicit characterization of all such channels. We use our characterization to show that when the dimension is 2 (or 3, under slightly stronger hypotheses), the gate fidelity of two channels is equal if and only if their difference equals the difference of some unital map and its dual—a fact that has been shown to be false when the dimension is 4 or larger. We also present a formula for the minimum gate fidelity of a channel in terms of a well-studied norm on a compression of its Choi matrix. As a consequence, several new ways of bounding and approximating the minimum gate fidelity follow, including a simple semidefinite program to compute it for qubit channels.

DOI
10.1088/1751-8113/44/49/495303

Related papers

Continuity of certain quantum channel divergences

Morgan Jones

The geometric channel fidelity, the geometric Rényi divergences and the Belavkin--Staszewski relative entropy give converse bounds for capacities, discrimination and estimation. Channels are known only approximately, yet two pairs of channels with equal sums can be arbitrarily close in the diamond norm and have fidelities $0$ and $1$. The remedy is the Arveson--Radon--Nikodym derivative $T$ of one map with respect to the sum $Ω$, whose transpose is the environment effect selecting that map in a Stinespring dilation of $Ω$. In $T$, these quantities and all maximal $f$-divergences of operator convex $f$ are continuous, with explicit dimension-free moduli; for two pairs of channels with the same sum the fidelities differ by at most $2\|T_1-T_2\|_\infty^{1/2}$, which gives Hölder continuity in the diamond norm on such splittings. The fidelity is continuous at a pair of completely positive maps exactly when the Choi matrix of the sum is invertible or the fidelity vanishes: noisy channels of full Kraus rank are continuity points, unitary gates are not.

quant-pharXiv:2610.16270•Oct 13, 2026•0 citations

Depolarizing behavior of quantum channels in higher dimensions

Easwar Magesan

The paper analyzes the behavior of quantum channels, particularly in large dimensions, by proving various properties of the quantum gate fidelity. Many of these properties are of independent interest in the theory of distance measures on quantum operations. A non-uniqueness result for the gate fidelity is proven, a consequence of which is the existence of non-depolarizing channels that produce a constant gate fidelity on pure states. Asymptotically, the gate fidelity associated with any quantum channel is shown to converge to that of a depolarizing channel. Methods for estimating the minimum of the gate fidelity are also presented.

arXiv:1002.3455•Quantum Information and Computation•May 1, 2011•6 citations

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

Mengyan Li, Yanning Jia, Fenzhuo Guo +3 more

Certifying high-dimensional quantum channels is essential for ensuring the reliability of quantum communication protocols. Existing certification schemes often rely on fully trusted internal devices, which is difficult to achieve in realistic scenarios. Here, we propose a semi-device-independent framework for certifying channel properties directly from observed statistics, assuming only that the system dimension is known. By explicitly incorporating the full set of structural constraints inherent to Choi states, our approach exploits the Choi-Jamiołkowski isomorphism for rigorous certification of quantum channels. The entanglement dimensionality of quantum channels is first certified by introducing a witness and numerically determining its Schmidt-number-dependent bounds. This certification method reproduces known analytical benchmarks and is applied to dephasing and depolarizing noise channels, thereby confirming its validity. To provide a more complete assessment of channel performance, the entanglement fidelity of quantum channels is also certified using a hierarchy of semidefinite programming relaxations based on localizing matrices. Lower bounds on the entanglement fidelity are obtained that are compatible with either the full set of observed statistics or a single witness value.

quant-pharXiv:2602.07823•Physical Review A•Feb 10, 2026•0 citations

Norms and Cones in the Theory of Quantum Entanglement

Nathaniel Johnston

There are various notions of positivity for matrices and linear matrix-valued maps that play important roles in quantum information theory. The cones of positive semidefinite matrices and completely positive linear maps, which represent quantum states and quantum channels respectively, are the most ubiquitous positive cones. There are also many natural cones that can been regarded as "more" or "less" positive than these standard examples. In particular, entanglement theory deals with the cones of separable operators and entanglement witnesses, which satisfy very strong and weak positivity properties respectively. Rather complementary to the various cones that arise in entanglement theory are norms. The trace and operator norms for operators and the diamond and completely bounded norms for superoperators are the typical norms that are seen throughout quantum information theory. In this work our main goal is to develop a family of norms that play a role analogous to the cone of entanglement witnesses. We investigate the basic mathematical properties of these norms, including their relationships with other well-known norms, their isometry groups, and their dual norms. We also make the place of these norms in entanglement theory rigorous by showing that entanglement witnesses arise from minimal operator systems, and analogously our norms arise from minimal operator spaces. Finally, we connect the various cones and norms considered here to several seemingly unrelated problems from other areas. We characterize the problem of whether or not non-positive partial transpose bound entangled states exist in terms of one of our norms, and provide evidence in favour of their existence. We also characterize the minimum gate fidelity of a quantum channel, the maximum output purity and its completely bounded counterpart, and the geometric measure of entanglement in terms of these norms.

arXiv:1207.1479•Jul 5, 2012•11 citations

On the fidelity of quantum gates under T1 and T2 relaxation

Andrey Yu. Chernyavskiy

The present work analyses the effect of T1 and T2 relaxation on the fidelity of quantum gates in terms of Choi-Jamiolkowski isomorphism. Numerical computations is used to show that the value of fidelity is nearly independent of the gate Hamiltonian. This fact leads to the universal estimate of fidelity, and the accuracy of this estimate is studied, especially for the case of one qubit.

International Conference on Micro- and Nano-Electronics (ICMNE)•Mar 15, 2019•1 citation

Efficient Approximation of Quantum Channel Fidelity Exploiting Symmetry

Yeow Meng Chee, Hoang Ta, Van Khu Vu

Determining the optimal fidelity for the transmission of quantum information over noisy quantum channels is one of the central problems in quantum information theory. Recently, [Berta-Borderi-Fawzi-Scholz, Mathematical Programming, 2021] introduced an asymptotically converging semidefinite programming hierarchy of outer bounds for this quantity. However, the size of the semidefinite programs (SDPs) grows exponentially with respect to the level of the hierarchy, thus making their computation unscalable. In this work, by exploiting the symmetries in the SDP, we show that, for a fixed output dimension of the quantum channel, we can compute the SDP in time polynomial with respect to the level of the hierarchy and input dimension. As a direct consequence of our result, the optimal fidelity can be approximated with an accuracy of $ε$ in $\mathrm{poly}(1/ε, \text{input dimension})$ time.

arXiv:2308.15884•Aug 30, 2023•0 citations
We provide new results for computing and comparing the quantum gate fidelity of quantum channels via their Choi matrices. We extend recent work that showed that there exist non-dual pairs of quantum channels with equal gate fidelity by providing an explicit characterization of all such channels. We use our characterization to show that when the dimension is 2 (or 3, under slightly stronger hypotheses), the gate fidelity of two channels is equal if and only if their difference equals the difference of some unital map and its dual—a fact that has been shown to be false when the dimension is 4 or larger. We also present a formula for the minimum gate fidelity of a channel in terms of a well-studied norm on a compression of its Choi matrix. As a consequence, several new ways of bounding and approximating the minimum gate fidelity follow, including a simple semidefinite program to compute it for qubit channels.
The geometric channel fidelity, the geometric Rényi divergences and the Belavkin--Staszewski relative entropy give converse bounds for capacities, discrimination and estimation. Channels are known only approximately, yet two pairs of channels with equal sums can be arbitrarily close in the diamond norm and have fidelities 000 and 111. The remedy is the Arveson--Radon--Nikodym derivative TTT of one map with respect to the sum ΩΩΩ, whose transpose is the environment effect selecting that map in a Stinespring dilation of ΩΩΩ. In TTT, these quantities and all maximal fff-divergences of operator convex fff are continuous, with explicit dimension-free moduli; for two pairs of channels with the same sum the fidelities differ by at most 2∥T1−T2∥∞1/22\|T_1-T_2\|_\infty^{1/2}2∥T1​−T2​∥∞1/2​, which gives Hölder continuity in the diamond norm on such splittings. The fidelity is continuous at a pair of completely positive maps exactly when the Choi matrix of the sum is invertible or the fidelity vanishes: noisy channels of full Kraus rank are continuity points, unitary gates are not.
The paper analyzes the behavior of quantum channels, particularly in large dimensions, by proving various properties of the quantum gate fidelity. Many of these properties are of independent interest in the theory of distance measures on quantum operations. A non-uniqueness result for the gate fidelity is proven, a consequence of which is the existence of non-depolarizing channels that produce a constant gate fidelity on pure states. Asymptotically, the gate fidelity associated with any quantum channel is shown to converge to that of a depolarizing channel. Methods for estimating the minimum of the gate fidelity are also presented.
Certifying high-dimensional quantum channels is essential for ensuring the reliability of quantum communication protocols. Existing certification schemes often rely on fully trusted internal devices, which is difficult to achieve in realistic scenarios. Here, we propose a semi-device-independent framework for certifying channel properties directly from observed statistics, assuming only that the system dimension is known. By explicitly incorporating the full set of structural constraints inherent to Choi states, our approach exploits the Choi-Jamiołkowski isomorphism for rigorous certification of quantum channels. The entanglement dimensionality of quantum channels is first certified by introducing a witness and numerically determining its Schmidt-number-dependent bounds. This certification method reproduces known analytical benchmarks and is applied to dephasing and depolarizing noise channels, thereby confirming its validity. To provide a more complete assessment of channel performance, the entanglement fidelity of quantum channels is also certified using a hierarchy of semidefinite programming relaxations based on localizing matrices. Lower bounds on the entanglement fidelity are obtained that are compatible with either the full set of observed statistics or a single witness value.
There are various notions of positivity for matrices and linear matrix-valued maps that play important roles in quantum information theory. The cones of positive semidefinite matrices and completely positive linear maps, which represent quantum states and quantum channels respectively, are the most ubiquitous positive cones. There are also many natural cones that can been regarded as "more" or "less" positive than these standard examples. In particular, entanglement theory deals with the cones of separable operators and entanglement witnesses, which satisfy very strong and weak positivity properties respectively. Rather complementary to the various cones that arise in entanglement theory are norms. The trace and operator norms for operators and the diamond and completely bounded norms for superoperators are the typical norms that are seen throughout quantum information theory. In this work our main goal is to develop a family of norms that play a role analogous to the cone of entanglement witnesses. We investigate the basic mathematical properties of these norms, including their relationships with other well-known norms, their isometry groups, and their dual norms. We also make the place of these norms in entanglement theory rigorous by showing that entanglement witnesses arise from minimal operator systems, and analogously our norms arise from minimal operator spaces. Finally, we connect the various cones and norms considered here to several seemingly unrelated problems from other areas. We characterize the problem of whether or not non-positive partial transpose bound entangled states exist in terms of one of our norms, and provide evidence in favour of their existence. We also characterize the minimum gate fidelity of a quantum channel, the maximum output purity and its completely bounded counterpart, and the geometric measure of entanglement in terms of these norms.
Determining the optimal fidelity for the transmission of quantum information over noisy quantum channels is one of the central problems in quantum information theory. Recently, [Berta-Borderi-Fawzi-Scholz, Mathematical Programming, 2021] introduced an asymptotically converging semidefinite programming hierarchy of outer bounds for this quantity. However, the size of the semidefinite programs (SDPs) grows exponentially with respect to the level of the hierarchy, thus making their computation unscalable. In this work, by exploiting the symmetries in the SDP, we show that, for a fixed output dimension of the quantum channel, we can compute the SDP in time polynomial with respect to the level of the hierarchy and input dimension. As a direct consequence of our result, the optimal fidelity can be approximated with an accuracy of εεε in poly(1/ε,input dimension)\mathrm{poly}(1/ε, \text{input dimension})poly(1/ε,input dimension) time.