pith. sign in

arxiv: 2506.06089 · v1 · submitted 2025-06-06 · 🪐 quant-ph

Optimizing entanglement distribution via noisy quantum channels

Pith reviewed 2026-05-19 10:53 UTC · model grok-4.3

classification 🪐 quant-ph
keywords entanglement distributionnoisy quantum channelsmidpoint strategysemidefinite programmingnegativityqubit channelsamplitude dampingdepolarizing noise
0
0 comments X

The pith

Placing the entanglement source at the channel midpoint maximizes distributable entanglement for qubit systems.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper compares two placements for an entanglement source sending pairs through noisy channels to distant parties: one at the midpoint and one at an endpoint. For specific families of qubit channels it proves analytically that the midpoint placement yields more entanglement at the output. Extensive numerics lead to the conjecture that midpoint placement is optimal for every qubit channel. In the midpoint setup the authors formulate semidefinite programs that compute the maximum negativity achievable and show that, for combinations of amplitude damping and depolarizing noise, only weakly entangled input states succeed while stronger inputs destroy the output entanglement.

Core claim

For certain families of qubit channels the midpoint strategy is optimal; numerical evidence suggests the same holds for all qubit channels. Semidefinite programming applied to the midpoint configuration quantifies the largest negativity that can be distributed, and this quantity is reliably captured in many relevant cases. For several amplitude-damping plus depolarizing models, successful distribution occurs only when the input state is weakly entangled.

What carries the argument

The midpoint configuration of the entanglement source, optimized and quantified via semidefinite programming on the negativity.

Load-bearing premise

That semidefinite programming applied to the midpoint configuration gives the true maximum amount of distributable entanglement when negativity is the chosen measure.

What would settle it

An explicit qubit channel (or family) for which either analytical calculation or reliable numerics shows strictly higher output negativity when the source sits at one end rather than at the midpoint.

Figures

Figures reproduced from arXiv: 2506.06089 by Alexander Streltsov, Marco Fellous-Asiani, Piotr Masajada.

Figure 1
Figure 1. Figure 1: Distribution of entanglement in a different settings. between the parties and placing it at one end of the channel. When the source is located at the midpoint (Fig. 1b), one par￾ticle travels through the left segment of the channel, and the other through the right. Denoting the action of the left and right segments by Λ1 and Λ2, respectively, the effective action of the full channel is given by: Λmidway = … view at source ↗
Figure 2
Figure 2. Figure 2: Plot of the maximal negativity of the depolarizing - [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Initial geometric entanglement c of the input state |φ⟩ (defined in (27)) that maximizes the negativity of the out￾put state ρ Depol,AD f (given in (28)). The vertical axis represents the depolarizing parameter ps , while the horizontal axis cor￾responds to the amplitude damping parameter γ. For strong depolarization (i.e., as ps approaches 2 3 ), input states with very low initial entanglement yield the m… view at source ↗
Figure 4
Figure 4. Figure 4: Schematic plot of the entanglement of the output of [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Schematic plot illustrating the entanglement prop [PITH_FULL_IMAGE:figures/full_fig_p011_5.png] view at source ↗
read the original abstract

Entanglement distribution is a crucial problem in quantum information science, owing to the essential role that entanglement plays in enabling advanced quantum protocols, including quantum teleportation and quantum cryptography. We investigate strategies for distributing quantum entanglement between two distant parties through noisy quantum channels. Specifically, we compare two configurations: one where the entanglement source is placed at the midpoint of the communication line, and another where it is located at one end. For certain families of qubit channels we show analytically that the midpoint strategy is optimal. Based on extensive numerical analysis, we conjecture that this strategy is generally optimal for all qubit channels. Focusing on the midpoint configuration, we develop semidefinite programming (SDP) techniques to assess whether entanglement can be successfully distributed through the network, and to quantify the amount of entanglement that can be distributed in the process. In many relevant cases the SDP formulation reliably captures the maximal amount of entanglement which can be distributed, if entanglement is quantified using the negativity. We analyze several channel models and demonstrate that, for various combinations of amplitude damping and depolarizing noise, entanglement distribution is only possible with weakly entangled input states. Excessive entanglement in the input state can hinder the channel's ability to establish entanglement. Our findings have implications for optimizing entanglement distribution in realistic quantum communication networks.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper investigates entanglement distribution over noisy qubit channels by comparing a midpoint source placement to an end-point placement. It analytically proves optimality of the midpoint strategy for certain qubit channel families and conjectures general optimality for all qubit channels on the basis of numerical evidence. Focusing on the midpoint configuration, the authors formulate semidefinite programs to decide whether entanglement can be distributed and to quantify the maximum distributable negativity; they apply the method to amplitude-damping and depolarizing channels and report that only weakly entangled input states succeed for some noise combinations.

Significance. If the midpoint optimality conjecture is confirmed and the SDP bounds are tight, the work supplies both analytical results and a practical computational tool for network design. The explicit demonstration that excessive input entanglement can prevent distribution under realistic noise models is a useful, counter-intuitive observation with direct implications for quantum communication protocols.

major comments (1)
  1. [§4] §4 (SDP formulation and negativity optimization): the claim that the SDP 'reliably captures the maximal amount of entanglement' (abstract and §4) is load-bearing for all quantitative results and for the numerical support of the general conjecture. Because the underlying optimization over input states and channel outputs is non-convex, the SDP is necessarily a relaxation; no proof of zero duality gap, no a-posteriori bound on the relaxation error, and no systematic comparison against exact methods for the tested amplitude-damping + depolarizing pairs are provided. If the gap is nonzero for any of the reported instances, the stated maximal negativities become only upper bounds, weakening both the quantitative claims and the optimality conjecture.
minor comments (2)
  1. [Abstract] The abstract states that analytical optimality holds 'for certain families of qubit channels' but does not name the families; listing them explicitly would improve readability.
  2. [Numerical results section] Numerical evidence for the general conjecture is described as 'extensive' without reporting the number of channel instances, the sampling method, or error-control procedures; adding these details would strengthen the supporting material.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their detailed and constructive report on our manuscript arXiv:2506.06089. We address the major comment regarding the SDP formulation point by point below. We believe the proposed revisions will improve the rigor of our quantitative claims without altering the core analytical results.

read point-by-point responses
  1. Referee: §4 (SDP formulation and negativity optimization): the claim that the SDP 'reliably captures the maximal amount of entanglement' (abstract and §4) is load-bearing for all quantitative results and for the numerical support of the general conjecture. Because the underlying optimization over input states and channel outputs is non-convex, the SDP is necessarily a relaxation; no proof of zero duality gap, no a-posteriori bound on the relaxation error, and no systematic comparison against exact methods for the tested amplitude-damping + depolarizing pairs are provided. If the gap is nonzero for any of the reported instances, the stated maximal negativities become only upper bounds, weakening both the quantitative claims and the optimality conjecture.

    Authors: We thank the referee for highlighting this important technical point. The optimization over input states is indeed non-convex, and the SDP in §4 is a convex relaxation. We acknowledge that a general proof of zero duality gap is not provided. However, for the specific qubit channels and negativity measure considered, the SDP solutions we obtain correspond to valid physical states (verified by reconstructing the input density operator from the SDP output), and the reported negativities match independent numerical checks we performed via direct parameterization of the input state for representative amplitude-damping and depolarizing pairs. To address the concern, we will revise the manuscript to (i) explicitly describe the SDP as a relaxation that furnishes an upper bound, (ii) add a discussion of conditions under which tightness is expected for negativity, and (iii) include a systematic comparison table against exact optimization methods for the tested noise combinations. These changes will clarify the scope of the quantitative results while preserving the analytical optimality proofs for the midpoint strategy and the conjecture based on the numerical evidence. revision: partial

Circularity Check

0 steps flagged

No significant circularity; optimality claims and SDP bounds rest on standard channel analysis and numerics

full rationale

The paper shows analytical optimality of the midpoint strategy for specific qubit channel families using direct comparison of configurations, then conjectures generality from numerical optimization over input states and channel parameters. The SDP is formulated to upper-bound negativity after two independent channels and is described as reliably capturing the maximum in relevant cases based on those numerics; no equation reduces a prediction to a fitted parameter by construction, nor does any central claim rely on a self-citation chain that itself assumes the target result. The derivation remains self-contained against external benchmarks such as known negativity formulas and standard SDP relaxations for entanglement measures.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so the ledger records typical background assumptions of quantum information rather than paper-specific free parameters or invented entities.

axioms (1)
  • domain assumption Standard properties of memoryless qubit quantum channels and the definition of negativity as an entanglement monotone
    The comparison of configurations and the SDP formulation presuppose the usual framework of completely positive trace-preserving maps on qubits.

pith-pipeline@v0.9.0 · 5749 in / 1276 out tokens · 42726 ms · 2026-05-19T10:53:25.680200+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

45 extracted references · 45 canonical work pages

  1. [1]

    Our numerical approach was performed in a similar manner as the one described after Proposition 7

    This property is remarkable as we find it to be true for any Pauli channel. Our numerical approach was performed in a similar manner as the one described after Proposition 7. Specifically, we discretized the range of each input state parameter and searched for an output state that reaches the bound from Proposition 5. How- ever, the orthonormal basis stat...

  2. [2]

    optimal c

    and we will extend these results. We will find the range of 10 Channel Parameters Optimal state Optimal c Equality in Proposition 5 Depol-AD ps, γ Eq. (34) analytical all cases Depol-pf ps, r |ϕ+⟩ 1 2 all cases AD-pf γ, r Eq. (44) numerical γ < 0.8 AD-bf γ, r Eq. (44) numerical γ < 0.8 GAD-GAD n, γ Eq. (49) numerical all cases Table I: The table summarize...

  3. [3]

    almost all

    We formulate this observation as a conjecture. Numerical conjecture 8. Assume that we have a channel in the form Λ ⊗ Λ, where Λ is some GAD channel. Then if Λ ⊗ Λ(|ψ⟩ ⟨ψ|) is entangled for some |ψ⟩ , Λ ⊗ Λ(|Ψ−⟩ ⟨Ψ−|) is also entangled. In other words, if we want to check if the channel made of two identical copies of GAD is EA it is enough to check the se...

  4. [4]

    Horodecki, P

    R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Quantum entanglement, Rev. Mod. Phys. 81, 865 (2009)

  5. [5]

    C. H. Bennett, G. Brassard, C. Crépeau, R. Jozsa, A. Peres, and W. K. Wootters, Teleporting an unknown quantum state via dual classical and Einstein-Podolsky-Rosen channels, Phys. Rev. Lett. 70, 1895 (1993)

  6. [6]

    C. H. Bennett and S. J. Wiesner, Communication via one- and two-particle operators on Einstein-Podolsky-Rosen states, Phys. Rev. Lett. 69, 2881 (1992)

  7. [7]

    C. H. Bennett and G. Brassard, Quantum cryptography: Public key distribution and coin tossing, in Proceedings of IEEE In- ternational Conference on Computers, Systems and Signal Pro- cessing (Bangalore, India, 1984) pp. 175–179

  8. [8]

    R. Pal, S. Bandyopadhyay, and S. Ghosh, Entanglement sharing through noisy qubit channels: One-shot optimal singlet frac- tion, Phys. Rev. A 90, 052304 (2014)

  9. [9]

    Streltsov, R

    A. Streltsov, R. Augusiak, M. Demianowicz, and M. Lewen- stein, Progress towards a unified approach to entanglement dis- tribution, Phys. Rev. A 92, 012335 (2015)

  10. [10]

    Krisnanda, Distribution of quantum entanglement: Principles and applications, arXiv:2003.08657 (2020)

    T. Krisnanda, Distribution of quantum entanglement: Principles and applications, arXiv:2003.08657 (2020)

  11. [11]

    Zuppardo, T

    M. Zuppardo, T. Krisnanda, T. Paterek, S. Bandyopadhyay, A. Banerjee, P. Deb, S. Halder, K. Modi, and M. Paternostro, Excessive distribution of quantum entanglement, Phys. Rev. A 93, 012305 (2016)

  12. [12]

    Streltsov, H

    A. Streltsov, H. Kampermann, and D. Bruß, Quantum cost for sending entanglement, Phys. Rev. Lett. 108, 250501 (2012)

  13. [13]

    T. K. Chuan, J. Maillard, K. Modi, T. Paterek, M. Paternos- tro, and M. Piani, Quantum discord bounds the amount of dis- tributed entanglement, Phys. Rev. Lett. 109, 070501 (2012)

  14. [14]

    L. Gurvits, Classical deterministic complexity of edmonds’ problem and quantum entanglement, in Proceedings of the Thirty-Fifth Annual ACM Symposium on Theory of Computing, STOC ’03 (Association for Computing Machinery, New York, NY , USA, 2003) p. 10–19

  15. [15]

    Peres, Separability criterion for density matrices, Phys

    A. Peres, Separability criterion for density matrices, Phys. Rev. Lett. 77, 1413 (1996)

  16. [16]

    Horodecki, P

    M. Horodecki, P. Horodecki, and R. Horodecki, Separability of mixed states: necessary and su fficient conditions, Physics Letters A 223, 1 (1996)

  17. [17]

    Horodecki, Separability criterion and inseparable mixed states with positive partial transposition, Physics Letters A232, 333 (1997)

    P. Horodecki, Separability criterion and inseparable mixed states with positive partial transposition, Physics Letters A232, 333 (1997)

  18. [18]

    Horodecki, P

    M. Horodecki, P. Horodecki, and R. Horodecki, Mixed-state en- tanglement and distillation: Is there a “bound” entanglement in nature?, Phys. Rev. Lett. 80, 5239 (1998)

  19. [19]

    ˙Zyczkowski, P

    K. ˙Zyczkowski, P. Horodecki, A. Sanpera, and M. Lewenstein, V olume of the set of separable states, Phys. Rev. A 58, 883 (1998). 12

  20. [20]

    Vidal and R

    G. Vidal and R. F. Werner, Computable measure of entangle- ment, Phys. Rev. A 65, 032314 (2002)

  21. [21]

    Sanpera, R

    A. Sanpera, R. Tarrach, and G. Vidal, Local description of quan- tum inseparability, Phys. Rev. A58, 826 (1998)

  22. [22]

    Skrzypczyk and D

    P. Skrzypczyk and D. Cavalcanti, Semidefinite Programming in Quantum Information Science , 2053-2563 (IOP Publishing, 2023)

  23. [23]

    Diamond and S

    S. Diamond and S. Boyd, CVXPY: A Python-embedded mod- eling language for convex optimization, Journal of Machine Learning Research 17, 1 (2016)

  24. [24]

    Agrawal, R

    A. Agrawal, R. Verschueren, S. Diamond, and S. Boyd, A rewriting system for convex optimization problems, Journal of Control and Decision 5, 42 (2018)

  25. [25]

    Johansson, P

    J. Johansson, P. Nation, and F. Nori, Qutip 2: A python frame- work for the dynamics of open quantum systems, Computer Physics Communications 184, 1234 (2013)

  26. [26]

    C. R. Harris, K. J. Millman, S. J. van der Walt, R. Gommers, P. Virtanen, D. Cournapeau, E. Wieser, J. Taylor, S. Berg, N. J. Smith, R. Kern, M. Picus, S. Hoyer, M. H. van Kerkwijk, M. Brett, A. Haldane, J. F. del Río, M. Wiebe, P. Peterson, P. Gérard-Marchant, K. Sheppard, T. Reddy, W. Weckesser, H. Abbasi, C. Gohlke, and T. E. Oliphant, Array programmin...

  27. [27]

    M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information: 10th Anniversary Edition (Cambridge University Press, 2010)

  28. [28]

    Choi, Completely positive linear maps on complex ma- trices, Linear Algebra and its Applications 10, 285 (1975)

    M.-D. Choi, Completely positive linear maps on complex ma- trices, Linear Algebra and its Applications 10, 285 (1975)

  29. [29]

    Gyongyosi and S

    L. Gyongyosi and S. Imre, Properties of the quantum channel (2012)

  30. [30]

    S. N. Filippov, T. Rybár, and M. Ziman, Local two-qubit entanglement-annihilating channels, Phys. Rev. A 85, 012303 (2012)

  31. [31]

    Moravcikova and M

    L. Moravcikova and M. Ziman, Entanglement-annihilating and entanglement-breaking channels, Journal of Physics A: Mathe- matical and Theoretical 43, 275306 (2010)

  32. [32]

    S. N. Filippov and M. Ziman, Bipartite entanglement- annihilating maps: Necessary and su fficient conditions, Phys. Rev. A 88, 032316 (2013)

  33. [33]

    Horodecki, P

    M. Horodecki, P. W. Shor, and M. B. Ruskai, Entanglement breaking channels, Reviews in Mathematical Physics 15, 629 (2003)

  34. [34]

    M. B. Ruskai, Qubit entanglement breaking channels, Reviews in Mathematical Physics 15, 643 (2003)

  35. [35]

    A. S. Holevo, M. E. Shirokov, and R. F. Werner, Separability and entanglement-breaking in infinite dimensions (2005)

  36. [36]

    Li and M.-D

    C.-K. Li and M.-D. Choi, On unital qubit channels, arXiv:2301.01358 (2023)

  37. [37]

    Khatri and M

    S. Khatri and M. M. Wilde, Principles of quantum communica- tion theory: A modern approach (2024)

  38. [38]

    Wei and P

    T.-C. Wei and P. M. Goldbart, Geometric measure of entan- glement and applications to bipartite and multipartite quantum states, Phys. Rev. A 68, 042307 (2003)

  39. [39]

    Augusiak, M

    R. Augusiak, M. Demianowicz, and P. Horodecki, Uni- versal observable detecting all two-qubit entanglement and determinant-based separability tests, Phys. Rev. A 77, 030301 (2008)

  40. [40]

    Ganardi, P

    R. Ganardi, P. Masajada, M. Naseri, and A. Streltsov, Local Pu- rity Distillation in Quantum Systems: Exploring the Comple- mentarity Between Purity and Entanglement, Quantum 9, 1666 (2025)

  41. [41]

    Chirolli and G

    L. Chirolli and G. Burkard, Decoherence in solid-state qubits, Advances in Physics 57, 225 (2008)

  42. [42]

    Zou, Y .-H

    W.-J. Zou, Y .-H. Li, S.-C. Wang, Y . Cao, J.-G. Ren, J. Yin, C.- Z. Peng, X.-B. Wang, and J.-W. Pan, Protecting entanglement from finite-temperature thermal noise via weak measurement and quantum measurement reversal, Phys. Rev. A 95, 042342 (2017)

  43. [43]

    Khatri, K

    S. Khatri, K. Sharma, and M. M. Wilde, Information-theoretic aspects of the generalized amplitude-damping channel, Phys. Rev. A 102, 012401 (2020)

  44. [44]

    C. J. Myatt, B. E. King, Q. A. Turchette, C. A. Sackett, D. Kielpinski, W. M. Itano, C. Monroe, and D. J. Wineland, De- coherence of quantum superpositions through coupling to engi- neered reservoirs, Nature 403, 269 (2000)

  45. [45]

    Lami and V

    L. Lami and V . Giovannetti, Entanglement–breaking indices, Journal of Mathematical Physics 56, 092201 (2015)