Optimal GHZ-State Distribution in LOSR Quantum Networks via Local Decoding from Information Sets
Pith reviewed 2026-06-26 13:42 UTC · model grok-4.3
The pith
Local unitaries from code decoders convert multipartite sources to GHZ states of fidelity d^{m-M} in LOSR networks when incident edges form information sets.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
By identifying the hyperedges of the network with the coordinates of a linear code, the authors show that whenever the edges incident to each node form an information set, a fixed collection of local unitaries—the local decoders of the code—transforms the source state into an N-party GHZ state with fidelity d^{m-M}, without requiring any classical communication. For the complete (N-1)-uniform hypergraph this fidelity is 1/d and is optimal among all local-unitary strategies.
What carries the argument
The local decoders of the linear code whose coordinates are the network hyperedges; they map the source state to the target GHZ state precisely when the incident hyperedges form an information set.
If this is right
- Fidelity 1/d is achieved for the complete (N-1)-uniform hypergraph.
- This value is optimal among all local-unitary strategies.
- It exceeds the best fidelity obtainable with only bipartite sources, for example 1/2 versus 1/8 in the four-node case.
- Multipartite sources together with shared randomness suffice to replace real-time classical communication for entanglement distribution.
Where Pith is reading between the lines
- Networks obeying the information-set condition could support larger-scale GHZ distribution by removing communication overhead.
- The same code-decoder construction might apply to other target states or to noisy versions of the sources if the fidelity formula is adjusted accordingly.
- Small-scale physical implementations of complete hypergraphs could directly measure whether the predicted 1/d fidelity is reached.
Load-bearing premise
The hyperedges incident to each node must form an information set of the linear code identified with the network.
What would settle it
Applying the local decoders in a complete (N-1)-uniform hypergraph and measuring fidelity below 1/d would falsify the optimality claim.
read the original abstract
Distributing multipartite entanglement is a prerequisite for scalable quantum networks. Networks restricted to local operations and shared randomness (LOSR) avoid the quantum-memory and latency costs associated with the real-time classical communication required by LOCC-based networks. However, when only bipartite sources are available, LOSR networks cannot prepare useful GHZ states. In earlier work, we conjectured that multipartite sources overcome this limitation and supported this claim with a single numerical example. In this work, we prove the conjecture for regular and uniform networks of arbitrary size. By identifying the hyperedges of the network with the coordinates of a linear code, we show that whenever the edges incident to each node form an information set, a fixed collection of local unitaries, namely the local decoders of the code, transforms the source state into an (N)-party GHZ state with fidelity (d^{m-M}), without requiring any classical communication. Here, (m) denotes the number of edges incident to each node and (M) the total number of edges in the network. For the complete ((N-1))-uniform hypergraph (K_N^{(N-1)}), this fidelity reduces to (1/d). We further prove that this value is optimal among all local-unitary strategies and exceeds the best fidelity achievable using only bipartite sources. For example, in the four-node case, the optimal fidelity is (1/2), compared with the bipartite bound of (1/8). These results demonstrate that multipartite sources, together with shared randomness, can replace real-time classical communication for entanglement distribution.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that in regular uniform LOSR quantum networks using multipartite sources, identifying hyperedges with coordinates of a linear code allows local unitary decoders to produce an N-party GHZ state with fidelity d^{m-M} (no classical communication) whenever the hyperedges incident to each node form an information set of the code. For the complete (N-1)-uniform hypergraph K_N^{(N-1)}, the fidelity reduces to 1/d, which is shown optimal among local-unitary strategies and strictly exceeds the best fidelity achievable with only bipartite sources (e.g., 1/2 vs. 1/8 for N=4).
Significance. If the central construction holds, the result is significant: it supplies an explicit coding-theoretic method to replace real-time classical communication with shared randomness and multipartite sources for GHZ distribution, together with an optimality proof for the complete-hypergraph case that improves on the bipartite bound. The use of information sets and local decoders of linear codes is a concrete, falsifiable advance over the prior numerical conjecture.
major comments (2)
- [Abstract] Abstract: the statement that the result is proved 'for regular and uniform networks of arbitrary size' is not supported by the actual theorem, which is conditioned on the existence of a code identification making every incident set an information set. The manuscript supplies no general argument that such an identification exists for every regular uniform network, only the 'whenever' qualifier plus the special case of K_N^{(N-1)}.
- [Main theorem statement] The paragraph beginning 'By identifying the hyperedges of the network with the coordinates of a linear code': the fidelity guarantee d^{m-M} and the local-decoder construction are load-bearing on the information-set condition. When the condition fails, no alternative construction or fidelity bound is provided; the paper therefore does not establish the claimed result for general regular uniform networks.
Simulated Author's Rebuttal
We thank the referee for the careful reading and for identifying the need to align the abstract and theorem phrasing more precisely with the conditional nature of the result. We address the comments below and will revise the manuscript to improve clarity.
read point-by-point responses
-
Referee: [Abstract] Abstract: the statement that the result is proved 'for regular and uniform networks of arbitrary size' is not supported by the actual theorem, which is conditioned on the existence of a code identification making every incident set an information set. The manuscript supplies no general argument that such an identification exists for every regular uniform network, only the 'whenever' qualifier plus the special case of K_N^{(N-1)}.
Authors: We agree that the abstract phrasing 'prove the conjecture for regular and uniform networks of arbitrary size' can be read as claiming an unconditional result for all such networks. The theorem is explicitly conditional on the existence of a code identification for which incident sets are information sets, and no general existence argument is supplied beyond the complete-hypergraph case. We will revise the abstract to state that the construction and fidelity bound apply to regular and uniform networks admitting such an identification (which includes the complete case of primary interest), thereby removing any overstatement while preserving the technical claims. revision: yes
-
Referee: [Main theorem statement] The paragraph beginning 'By identifying the hyperedges of the network with the coordinates of a linear code': the fidelity guarantee d^{m-M} and the local-decoder construction are load-bearing on the information-set condition. When the condition fails, no alternative construction or fidelity bound is provided; the paper therefore does not establish the claimed result for general regular uniform networks.
Authors: The main theorem paragraph already qualifies the fidelity guarantee and decoder construction with the 'whenever' information-set condition; the result is not asserted to hold without it. No alternative construction or bound is given when the condition fails because that lies outside the paper's scope. The contribution is the explicit coding-theoretic method that works for arbitrary network size under the stated hypothesis, together with the optimality proof for the complete hypergraph. We will add a short clarifying remark after the theorem statement noting the conditional character and that no general bound is claimed when the information-set property does not hold. revision: partial
Circularity Check
No circularity: derivation applies standard linear-code decoding to a modeling identification that is not self-referential
full rationale
The paper models networks by mapping hyperedges to coordinates of a linear code and then invokes the standard fact that local decoders on information sets recover the logical information. The fidelity expression d^{m-M} follows directly from the dimension of the code and the definition of information sets; it is not obtained by fitting parameters inside the paper or by redefining the target GHZ state in terms of the decoders. The earlier conjecture is cited only as motivation; the present argument supplies an explicit construction that holds precisely when the incident sets are information sets, without circular reduction. The optimality claim for the complete hypergraph likewise rests on comparing the derived fidelity against the known bipartite-source bound, not on any self-citation chain.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Standard postulates of quantum mechanics (states as density operators, local unitaries, fidelity as overlap).
- domain assumption Existence of linear codes over alphabet size d whose incident-edge sets are information sets.
Reference graph
Works this paper leans on
-
[2]
Nature 453(7198), 1023–1030 (2008) https://doi.org/10.1038/ nature07127
Kimble, H.J.: The quantum internet. Nature 453(7198), 1023–1030 (2008) https://doi.org/10.1038/ nature07127
2008
-
[3]
Science 362(6412), 9288 (2018) https://doi.org/10.1126/science.aam9288
Wehner, S., Elkouss, D., Hanson, R.: Quantum internet: A vision for the road ahead. Science 362(6412), 9288 (2018) https://doi.org/10.1126/science.aam9288
-
[4]
Theoreti- cal Computer Science 560, 7–11 (2014) https://doi.org/10.1016/j.tcs.2014.05.025
Bennett, C.H., Brassard, G.: Quantum cryptography: Public key distribution and coin tossing. Theoreti- cal Computer Science 560, 7–11 (2014) https://doi.org/10.1016/j.tcs.2014.05.025 . Theoretical Aspects of Quantum Cryptography – celebrating 30 years of BB84
-
[5]
Boaron, A., Boso, G., Rusca, D., Vulliez, C., Autebert, C., Caloz, M., Perrenoud, M., Gras, G., Bussières, F., Li, M.-J., Nolan, D., Martin, A., Zbinden, H.: Secure quantum key distribution over 421 km of optical fiber. Phys. Rev. Lett. 121, 190502 (2018) https://doi.org/10.1103/PhysRevLett.121.190502 9
-
[6]
Barz, S., Kashefi, E., Broadbent, A., Fitzsimons, J.F., Zeilinger, A., Walther, P.: Demonstration of blind quantum computing. Science 335(6066), 303–308 (2012) https://doi.org/10.1126/science.1214707 https://www.science.org/doi/pdf/10.1126/science.1214707
-
[7]
Sekatski, P., Wölk, S., Dür, W.: Optimal distributed sensing in noisy environments. Phys. Rev. Res. 2, 023052 (2020) https://doi.org/10.1103/PhysRevResearch.2.023052
-
[8]
Proctor, T.J., Knott, P.A., Dunningham, J.A.: Multiparameter estimation in networked quantum sensors. Phys. Rev. Lett. 120, 080501 (2018) https://doi.org/10.1103/PhysRevLett.120.080501
-
[9]
Nature Physics 16(3), 281–284 (2020)
Guo, X., Breum, C.R., Borregaard, J., Izumi, S., Larsen, M.V., Gehring, T., Christandl, M., Neergaard- Nielsen, J.S., Andersen, U.L.: Distributed quantum sensing in a continuous-variable entangled network. Nature Physics 16(3), 281–284 (2020)
2020
-
[10]
Nature Photonics 6(4), 225–228 (2012)
Yao, X.-C., Wang, T.-X., Xu, P., Lu, H., Pan, G.-S., Bao, X.-H., Peng, C.-Z., Lu, C.-Y., Chen, Y.-A., Pan, J.-W.: Observation of eight-photon entanglement. Nature Photonics 6(4), 225–228 (2012)
2012
-
[11]
Wang, X.-L., Chen, L.-K., Li, W., Huang, H.-L., Liu, C., Chen, C., Luo, Y.-H., Su, Z.-E., Wu, D., Li, Z.-D., Lu, H., Hu, Y., Jiang, X., Peng, C.-Z., Li, L., Liu, N.-L., Chen, Y.-A., Lu, C.-Y., Pan, J.-W.: Experimental ten-photon entanglement. Phys. Rev. Lett. 117, 210502 (2016) https://doi.org/10.1103/PhysRevLett.117. 210502
-
[12]
Navascués, M., Wolfe, E., Rosset, D., Pozas-Kerstjens, A.: Genuine network multipartite entanglement. Phys. Rev. Lett. 125, 240505 (2020) https://doi.org/10.1103/PhysRevLett.125.240505
-
[13]
Kraft, T., Designolle, S., Ritz, C., Brunner, N., Gühne, O., Huber, M.: Quantum entanglement in the triangle network. Phys. Rev. A 103, 060401 (2021) https://doi.org/10.1103/PhysRevA.103.L060401
-
[14]
Advanced Quantum Technologies 4(2), 2000123 (2021)
Luo, M.-X.: New genuinely multipartite entanglement. Advanced Quantum Technologies 4(2), 2000123 (2021)
2021
-
[15]
Nature Communications 13(1), 496 (2022)
Hansenne, K., Xu, Z.-P., Kraft, T., Gühne, O.: Symmetries in quantum networks lead to no-go theorems for entanglement distribution and to verification techniques. Nature Communications 13(1), 496 (2022)
2022
-
[16]
npj Quantum Information 9(1), 117 (2023)
Makuta, O., Ligthart, L.T., Augusiak, R.: No graph state is preparable in quantum networks with bipartite sources and no classical communication. npj Quantum Information 9(1), 117 (2023)
2023
-
[17]
npj Quantum Information 10(1), 11 (2024)
Wang, Y.-X., Xu, Z.-P., Gühne, O.: Quantum losr networks cannot generate graph states with high fidelity. npj Quantum Information 10(1), 11 (2024)
2024
-
[18]
https://arxiv.org/abs/2503.09480
Zhou, X., Xu, Z.-P., Sun, L.-L., Wu, C., Yu, S.: Exploring the boundary of quantum network states from inside out (2025). https://arxiv.org/abs/2503.09480
arXiv 2025
-
[19]
arXiv preprint arXiv:2503.09473 (2025)
Neumann, J., Kondra, T.V., Hansenne, K., Weinbrenner, L.T., Kampermann, H., Gühne, O., Bruß, D., Wyderka, N.: No quantum advantage without classical communication: fundamental limitations of quantum networks. arXiv preprint arXiv:2503.09473 (2025)
arXiv 2025
-
[20]
In: 2026 International Conference on Quantum Communications, Networking, and Computing (QCNC), pp
Oleynik, L., Koudia, S., Chatzinotas, S.: Quantum advantage without real-time classical communication in networks with tripartite entangled sources. In: 2026 International Conference on Quantum Communications, Networking, and Computing (QCNC), pp. 1–6 (2026). https://doi.org/10.1109/QCNC69040.2026.00050
-
[21]
Quantum 7, 1194 (2023) https://doi.org/10.22331/q-2023-12-04-1194
Schmid, D., Fraser, T.C., Kunjwal, R., Sainz, A.B., Wolfe, E., Spekkens, R.W.: Understanding the interplay of entanglement and nonlocality: motivating and developing a new branch of entanglement theory. Quantum 7, 1194 (2023) https://doi.org/10.22331/q-2023-12-04-1194 . Accessed 2026-02-26
-
[22]
Verstraete, F., Popp, M., Cirac, J.I.: Entanglement versus correlations in spin systems. Phys. Rev. Lett. 92, 027901 (2004) https://doi.org/10.1103/PhysRevLett.92.027901
-
[23]
Popp, M., Verstraete, F., Martín-Delgado, M.A., Cirac, J.I.: Localizable entanglement. Phys. Rev. A 71, 042306 (2005) https://doi.org/10.1103/PhysRevA.71.042306
-
[24]
Quantum Information Processing 12(7), 2577–2585 (2013) https://doi.org/10.1007/s11128-013-0549-1
Choudhury, B.S., Dhara, A.: An entanglement concentration protocol for cluster states. Quantum Information Processing 12(7), 2577–2585 (2013) https://doi.org/10.1007/s11128-013-0549-1
-
[25]
Walter, M., Gross, D., Eisert, J.: Multipartite Entanglement, pp. 293–330. John Wiley and Sons, Ltd, ??? (2016). Chap. 14. https://doi.org/10.1002/9783527805785.ch14 . https://onlinelibrary.wiley.com/doi/abs/10.1002/9783527805785.ch14 10
-
[26]
Tomsk University Review 1, 286– 300 (1937)
Neumann, J.: Some matrix-inequalities and metrization of matric-space. Tomsk University Review 1, 286– 300 (1937). Reprinted in John von Neumann: Collected Works , Vol. IV, ed. A. H. Taub, Pergamon Press, 1962, pp. 205–219
1937
-
[27]
Monatshefte für Mathematik 79(4), 303–306 (1975) https://doi.org/10.1007/BF01647331 11
Mirsky, L.: A trace inequality of John von Neumann. Monatshefte für Mathematik 79(4), 303–306 (1975) https://doi.org/10.1007/BF01647331 11
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.