Entangling power and fidelity diagnostic for bipartite quantum channels
Pith reviewed 2026-06-29 17:10 UTC · model grok-4.3
The pith
Fidelity averages over fixed Schmidt orbits in bipartite channels are determined solely by average fidelity and product-input fidelity.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For bipartite channels with equal local dimensions the fidelity averaged over any fixed Schmidt-coefficients local-unitary orbit is completely determined by average input-output fidelity and its restriction to product inputs. Concurrence- and negativity-based entangling powers for 2-qubit channels vanish for all separable channels while being convex and monotone under local postprocessing.
What carries the argument
Concurrence-based and negativity-based entangling power of a quantum channel, obtained by extending the corresponding entanglement measures from states to channels via product inputs.
If this is right
- The fidelity diagnostic reduces computation to two simpler quantities.
- Entangling power measures faithfully detect non-separability unlike linear-entropy based ones.
- Monotonicity under local postprocessing ensures they are valid quantifiers.
- Generalization allows application to entangled inputs with a lower bound on variation.
Where Pith is reading between the lines
- This fidelity relation may simplify numerical sampling in channel tomography or benchmarking.
- The new measures could serve as benchmarks for entanglement generation in quantum devices.
- Extending to higher dimensions might require similar orbit arguments.
Load-bearing premise
That concurrence and negativity extend to channel entangling power such that the resulting quantities vanish precisely on separable channels.
What would settle it
A separable channel for which the concurrence-based entangling power is nonzero, or an explicit counterexample where orbit-averaged fidelity is not fixed by the two quantities.
Figures
read the original abstract
We study two complementary diagnostics of bipartite quantum channels, namely fidelity preservation across different classes of input states and entanglement generation from product inputs, given by properly defined entangling power for bipartite channels. We show that the fidelity averaged over any fixed Schmidt-coefficients local-unitary orbit for equal local dimensions is completely determined by average input-output fidelity and its restriction to product inputs. We also introduce concurrence- and negativity-based entangling power for 2-qubit channels, prove their convexity and monotonicity under local postprocessing, and show that, unlike the previously proposed linear-entropy quantity, they vanish for all separable channels. Examples of non-separable channels are investigated. Finally, we generalize our definitions of entangling power to non-product inputs, and provide an analytical lower bound for the concurrence-based entanglement variation, showing its effectiveness with specific examples.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces fidelity-based diagnostics for bipartite quantum channels and defines concurrence- and negativity-based entangling powers for 2-qubit channels. It claims that, for equal local dimensions, the average fidelity over any fixed Schmidt-coefficient local-unitary orbit is completely determined by the average input-output fidelity and its restriction to product inputs. The new entangling powers are shown to be convex and monotone under local postprocessing, and to vanish exactly on separable channels (unlike the linear-entropy version). The definitions are extended to non-product inputs, and an analytical lower bound is given for the concurrence-based entanglement variation, illustrated with examples.
Significance. If the stated proofs hold, the work supplies improved, separability-detecting measures of channel entangling power together with a useful reduction for orbit-averaged fidelity. These are concrete advances over existing linear-entropy diagnostics and could be adopted for channel characterization in quantum information.
minor comments (3)
- The explicit definitions of the concurrence- and negativity-based entangling powers (product-input versions) should be displayed as numbered equations in the main text rather than only in the abstract or introduction, to facilitate direct verification of the vanishing property on separable channels.
- Notation for the local-unitary orbit averaging (e.g., the measure on the orbit and the fixed Schmidt coefficients) is introduced without a dedicated preliminary subsection; a short paragraph or equation block clarifying the averaging procedure would improve readability.
- The generalization to non-product inputs and the analytical lower bound for concurrence-based variation are presented late; moving the lower-bound statement to the section on the product-input case would better highlight its relation to the main results.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our manuscript, including the summary of our results on fidelity diagnostics and concurrence-/negativity-based entangling powers, as well as the significance evaluation. We note the recommendation for minor revision; however, the report contains no specific major comments requiring point-by-point responses.
Circularity Check
No significant circularity; derivations rest on explicit definitions and standard properties
full rationale
The paper introduces concurrence- and negativity-based entangling powers via direct definitions from product inputs and standard state measures, then proves convexity, monotonicity, and vanishing on separable channels using those definitions. The fidelity-orbit identity is presented as a direct averaging consequence for equal dimensions. No load-bearing step reduces to a self-citation chain, fitted parameter renamed as prediction, or self-definitional loop. The mention of a prior linear-entropy quantity is non-central and does not affect the new claims. The derivation chain is self-contained against external benchmarks of entanglement theory.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Concurrence and negativity are valid entanglement monotones that can be lifted to channel-level functionals
invented entities (2)
-
Concurrence-based entangling power for channels
no independent evidence
-
Negativity-based entangling power for channels
no independent evidence
Forward citations
Cited by 1 Pith paper
-
Characterizing quantum channels from local-unitary invariants
Develops moments from local-unitary invariants via Haar integrals to characterize entanglement behavior of two-qubit channels, with second-order moments yielding criteria for non-entangling and entanglement-breaking channels.
Reference graph
Works this paper leans on
-
[1]
Proof of Proposition 1 We prove separately the formulae forFand F ⊗
-
[2]
Choose an orthonormal basis{|µ⟩}D µ=1ofH A⊗HB, and write Kµν:=⟨µ|K|ν⟩
Average input–output fidelity.For a fixed Kraus operatorK, define f(K) := ∫ dψ ⏐⏐⟨ψ|K|ψ⟩ ⏐⏐2 , F(Φ) = ∑ α f(Kα). Choose an orthonormal basis{|µ⟩}D µ=1ofH A⊗HB, and write Kµν:=⟨µ|K|ν⟩. A Haar-random pure state onCD can be written as |ψ⟩=W|0⟩, W∈U(D), with|0⟩a fixed basis vector. Then f(K) = ∫ dW ⏐⏐⟨0|W†KW|0⟩ ⏐⏐2 = D∑ µ,ν,κ,λ=1 KµνK∗ κλ ∫ dW W∗ µ0Wν0Wκ0W∗ λ...
-
[3]
Let us use the following notation, |ψA⟩=U|0A⟩,|ψB⟩=V|0B⟩, U∈U(dA), V∈U(dB)
Product-state average fidelity.For a fixed Kraus operatorK, define f⊗(K) := ∫ dψAdψB ⏐⏐⟨ψAψB|K|ψAψB⟩ ⏐⏐2 , F ⊗ (Φ) = ∑ α f⊗(Kα).(A5) Choose orthonormal bases{|a⟩}dA a=1 ofH A and{|b⟩}dB b=1 ofH B, and write Kab,cd :=⟨ab|K|cd⟩. Let us use the following notation, |ψA⟩=U|0A⟩,|ψB⟩=V|0B⟩, U∈U(dA), V∈U(dB). Then ⟨ψAψB|K|ψAψB⟩= dA∑ a,c=1 dB∑ b,d=1 U∗ a0V∗ b0Kab,...
-
[4]
In this Appendix we derive Proposition 2 by explicit second-moment Weingarten calculus [31]
Fidelity averaged over Schmidt orbit. In this Appendix we derive Proposition 2 by explicit second-moment Weingarten calculus [31]. Let us remind basic notation used, ⏐⏐ϕ⃗λ ⟩ = d∑ i=1 √ λi|ii⟩, λi≥0, d∑ i=1 λi = 1, µ=µ( ⃗λ) = d∑ i=1 λ2 i.(A10) For a single Kraus operatorK, consider f⃗λ(K) := ∫ dUdV ⏐⏐⟨ ϕ⃗λ ⏐⏐ (U†⊗V†)K(U⊗V) ⏐⏐ϕ⃗λ ⟩⏐⏐2 ,(A11) 15 and denote F...
-
[5]
(17) χF (Φ) = 8 + 2xAxB−5xA−5xB 90 .(A30) To obtain Eq
Derivation of Proposition 4 For the product channel (13), a Kraus representation is Kij =A i⊗Bj.(A26) The global invariantTdefined in Proposition 1 factorizes: T= ∑ i,j |Tr(Ai⊗Bj)|2 = ∑ i,j |TrAi|2|TrBj|2 =x AxB.(A27) Likewise, usingTrB(Ai⊗Bj) = (TrBj)Ai andTrA(Ai⊗Bj) = (TrAi)Bj, one finds MA = ∑ i,j Tr [ (TrBKij)(TrBKij)†] = ∑ i,j |TrBj|2 Tr ( AiA† i ) =...
-
[6]
Horodecki, P
R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Quantum entanglement, Reviews of Modern Physics81, 865 (2009)
2009
-
[7]
D. P. DiVincenzo, Two-bit gates are universal for quantum computation, Physical Review A51, 1015 (1995)
1995
-
[8]
Barenco, C
A. Barenco, C. H. Bennett, R. Cleve, D. P. DiVincenzo, N. Margolus, P. Shor, T. Sleator, J. A. Smolin, and H. Weinfurter, Elementary gates for quantum computation, Physical Review A52, 3457 (1995)
1995
-
[9]
M. J. Bremner, C. M. Dawson, J. L. Dodd, A. Gilchrist, A. W. Harrow, D. Mortimer, M. A. Nielsen, and T. J. Osborne, Practical scheme for quantum computation with any two-qubit entangling gate, Physical Review Letters89, 247902 (2002)
2002
-
[10]
M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Information(Cambridge University Press, Cambridge, 2000)
2000
-
[11]
Preskill, Quantum computing in the nisq era and beyond, Quantum2, 79 (2018)
J. Preskill, Quantum computing in the nisq era and beyond, Quantum2, 79 (2018)
2018
-
[12]
M. A. Nielsen, A simple formula for the average gate fidelity of a quantum dynamical operation, Physics Letters A303, 249 (2002)
2002
-
[13]
M. D. Bowdrey, D. K. Oi, A. J. Short, K. Banaszek, and J. A. Jones, Fidelity of single qubit maps, Physics Letters A294, 258 (2002)
2002
-
[14]
Magesan, J
E. Magesan, J. M. Gambetta, and J. Emerson, Characterizing quantum gates via randomized benchmarking, Physical Review A85, 042311 (2012)
2012
-
[15]
J. J. Wallman, C. Granade, R. Harper, and S. T. Flammia, Estimating the coherence of noise, New Journal of Physics17, 113020 (2015)
2015
-
[16]
Makhlin, Nonlocal properties of two-qubit gates and mixed states and optimization of quantum computations, Quantum Information Processing1, 243 (2002)
Y. Makhlin, Nonlocal properties of two-qubit gates and mixed states and optimization of quantum computations, Quantum Information Processing1, 243 (2002)
2002
-
[17]
Kraus and J
B. Kraus and J. I. Cirac, Optimal creation of entanglement using a two-qubit gate, Physical Review A63, 062309 (2001)
2001
-
[18]
Zanardi, C
P. Zanardi, C. Zalka, and L. Faoro, Entangling power of quantum evolutions, Physical Review A62, 030301 (2000)
2000
-
[19]
Zanardi, Entanglement of Quantum Evolutions, Physical Review A63, 040304 (2001)
P. Zanardi, Entanglement of Quantum Evolutions, Physical Review A63, 040304 (2001)
2001
-
[20]
X. Wang, B. C. Sanders, and D. W. Berry, Entangling power and operator entanglement in qudit systems, Physical Review A67, 042323 (2003). 20
2003
-
[21]
Jonnadula, P
B. Jonnadula, P. Mandayam, K. Życzkowski, and A. Lakshminarayan, Impact of local dynamics on entangling power, Physical Review A95, 040302 (2017)
2017
-
[22]
M. S. Leifer, L. Henderson, and N. Linden, Optimal entanglement generation from quantum operations, Physical Review A 67, 012306 (2003)
2003
-
[23]
Kong, J.-L
F.-Z. Kong, J.-L. Zhao, M. Yang, and Z.-L. Cao, Entangling power and operator entanglement of nonunitary quantum evolutions, Physical Review A92, 012127 (2015)
2015
-
[24]
Bäuml, S
S. Bäuml, S. Das, and M. M. Wilde, Fundamental Limits on the Capacities of Bipartite Quantum Interactions, Physical Review Letters121, 250504 (2018)
2018
-
[25]
Gour and C
G. Gour and C. M. Scandolo, Entanglement of a bipartite channel, Physical Review A103, 062422 (2021)
2021
-
[26]
Schmid, D
D. Schmid, D. Rosset, and F. Buscemi, The type-independent resource theory of local operations and shared randomness, Quantum4, 262 (2020)
2020
-
[27]
A. Rico, M. B. Morán, F. Shahbeigi, and K. Życzkowski, Certifying nonlocal properties of noisy quantum operations, Quantum9, 1807 (2025)
2025
-
[28]
A. Rico, M. B. Morán, F. Shahbeigi, and K. Życzkowski, Channel Nonlocality under Decoherence, Physical Review Letters 136, 110202 (2026)
2026
-
[29]
Hill and W
S. Hill and W. K. Wootters, Entanglement of a pair of quantum bits, Physical Review Letters78, 5022 (1997)
1997
-
[30]
W. K. Wootters, Entanglement of formation of an arbitrary state of two qubits, Physical Review Letters80, 2245 (1998)
1998
-
[31]
Vidal and R
G. Vidal and R. F. Werner, Computable measure of entanglement, Physical Review A65, 032314 (2002)
2002
-
[32]
Życzkowski, P
K. Życzkowski, P. Horodecki, A. Sanpera, and M. Lewenstein, Volume of the set of separable states, Physical Review A58, 883 (1998)
1998
-
[33]
Życzkowski, Volume of the set of separable states
K. Życzkowski, Volume of the set of separable states. II, Physical Review A60, 3496 (1999)
1999
-
[34]
Peres, Separability criterion for density matrices, Phys
A. Peres, Separability criterion for density matrices, Phys. Rev. Lett.77, 1413 (1996)
1996
-
[35]
Horodecki, P
M. Horodecki, P. Horodecki, and R. Horodecki, Separability of mixed states: necessary and sufficient conditions, Physics Letters A223, 1 (1996)
1996
-
[36]
Collins and P
B. Collins and P. Śniady, Integration with respect to the haar measure on unitary, orthogonal and symplectic group, Communications in Mathematical Physics264, 773 (2006)
2006
-
[37]
M. B. Plenio and S. Virmani, An introduction to entanglement measures, Quantum Info. Comput.7, 1 (2007)
2007
-
[38]
Verstraete, K
F. Verstraete, K. Audenaert, J. Dehaene, and B. D. Moor, A comparison of the entanglement measures negativity and concurrence, Journal of Physics A: Mathematical and General34, 10327 (2001)
2001
-
[39]
Mintert and A
F. Mintert and A. Buchleitner, Observable Entanglement Measure for Mixed Quantum States, Physical Review Letters98, 140505 (2007)
2007
-
[40]
Zhang, Y.-X
C.-J. Zhang, Y.-X. Gong, Y.-S. Zhang, and G.-C. Guo, Observable estimation of entanglement for arbitrary finite-dimensional mixed states, Physical Review A78, 042308 (2008)
2008
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.