pith. sign in

arxiv: 2410.15892 · v2 · submitted 2024-10-21 · 🪐 quant-ph

Scalable and deterministic Greenberger-Horne-Zeilinger state generation via graph states-assisted measurements

Harikrishnan K J , Amit Kumar Pal This is my paper

Pith reviewed 2026-05-23 18:36 UTC · model grok-4.3

classification 🪐 quant-ph
keywords GHZ statesgraph statesentanglement concentrationmulti-qubit measurementsdeterministic quantum protocolsqubit truncationparity measurements
0
0 comments X

The pith

A graph-basis measurement truncates multi-qubit spaces to deterministically generate arbitrary GHZ states while increasing bipartite entanglement from non-maximal pairs.

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

The paper presents a protocol that begins with pairs of non-maximally entangled qubits and applies multi-qubit measurements in a graph basis to reduce the Hilbert space of several qubits to that of one. This truncation concentrates entanglement, producing a state with higher bipartite entanglement than the strongest input pair. The approach is proven equivalent to repeated two-qubit parity measurements, allowing physical implementation. It is used to construct generalized GHZ states of any size, illustrating how local projections can yield maximal entanglement in larger systems.

Core claim

The central discovery is a scalable deterministic method for growing multi-qubit entangled states from two-qubit non-maximal pairs via graph-assisted measurements that truncate subsystems to single-qubit spaces, with the resulting states showing enhanced bipartite entanglement and direct applicability to generalized GHZ states of arbitrary qubit number.

What carries the argument

Graph-basis-assisted multi-qubit measurement that truncates the subsystem Hilbert space to a single-qubit space, concentrating entanglement.

Load-bearing premise

The required multi-qubit measurement in the graph basis can be physically realized and the Hilbert space truncation preserves the target entanglement.

What would settle it

Performing the protocol on three or four qubits and measuring the resulting state's entanglement or fidelity to the GHZ state to check if it exceeds the input pair's entanglement or matches the prediction.

Figures

Figures reproduced from arXiv: 2410.15892 by Amit Kumar Pal, Harikrishnan K J.

Figure 1
Figure 1. Figure 1: FIG. 1. An [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. (a) Variations of [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Variations of [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. Protocol for deterministically creating large gGHZ states, starting from multiple copies of two-qubit states [PITH_FULL_IMAGE:figures/full_fig_p007_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5. Quantum circuit for performing the two qubit measurements [PITH_FULL_IMAGE:figures/full_fig_p008_5.png] view at source ↗
read the original abstract

We propose a scalable and deterministic protocol for growing large multi-qubit states starting from two-qubit non-maximally entangled pure states, where the bipartite entanglement in the resultant state is higher than the maximum of the available entangled qubit-pairs. This is achieved via a truncation of the Hilbert space corresponding to a subsystem of qubits to a space that hosts a single qubit, brought about by a multi-qubit measurement assisted by the graph basis. We prove its equivalence to a repetitive two-qubit measurement-based protocol, and demonstrate realization of the required two-qubit measurement via a two-qubit parity measurement, thereby establishing the implementability of the protocol. We derive lower and upper bounds of the bipartite entanglement concentrated after a given number of rounds of measurements, where the entanglement of the available qubit-pairs are not-necessarily equal. We further discuss the effect of possible imperfections that may arise in the protocol, and its robustness towards such imperfections. We demonstrate the usefulness of our proposal by applying it to create generalized GHZ states on arbitrary number of qubits, thereby underlining the possibility of creating maximally entangled qubit pairs via qubit-local projection measurements.

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

2 major / 2 minor

Summary. The manuscript proposes a scalable deterministic protocol to generate generalized GHZ states of arbitrary size from non-maximally entangled two-qubit pure states. The protocol employs a graph-state-assisted multi-qubit measurement to truncate the Hilbert space of a subsystem to an effective single-qubit space, thereby concentrating bipartite entanglement beyond the maximum of the input pairs. It claims to prove equivalence between this multi-qubit procedure and a sequence of two-qubit parity measurements (establishing implementability), derives lower and upper bounds on the resulting entanglement after multiple rounds (allowing unequal input pairs), analyzes robustness to imperfections, and applies the method to GHZ-state construction.

Significance. If the equivalence, bounds, and physical realizability hold, the work supplies a deterministic, measurement-based route to scalable entanglement concentration and large GHZ states that does not require direct multi-qubit entangling gates. This would be useful for quantum networks and error-corrected computation, especially because the protocol is shown to remain robust under the imperfections the authors consider and because it converts local projection measurements into maximally entangled pairs.

major comments (2)
  1. [measurement implementation / equivalence section] § on the multi-qubit measurement and truncation (near the equivalence claim): the central truncation operator that maps the multi-qubit subsystem onto a single-qubit space via the graph basis is asserted to be physically realizable and equivalent to parity checks, yet the explicit projector construction, its action on the full Hilbert space, and the precise condition under which the measurement is deterministic (i.e., always projects onto the desired subspace without leakage) are not supplied; this assumption is load-bearing for both the equivalence proof and the deterministic claim.
  2. [bounds section] Bounds derivation section: the lower and upper bounds on concentrated bipartite entanglement are stated for unequal input pairs after a given number of rounds, but the derivation does not appear to include an explicit accounting of how finite-fidelity graph-state resources or imperfect multi-qubit measurement outcomes propagate into the final entanglement value; without this, the claimed robustness cannot be verified as load-bearing for the quantitative bounds.
minor comments (2)
  1. [abstract / introduction] The abstract and introduction use the term 'generalized GHZ states' without an immediate definition or reference to the standard form; a short explicit definition early in the text would improve readability.
  2. [protocol description] Notation for the graph basis and the truncation map should be introduced with a single consistent symbol set rather than appearing piecemeal across sections.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address the two major comments point by point below, indicating where revisions will be made to strengthen the presentation.

read point-by-point responses

  1. Referee: [measurement implementation / equivalence section] § on the multi-qubit measurement and truncation (near the equivalence claim): the central truncation operator that maps the multi-qubit subsystem onto a single-qubit space via the graph basis is asserted to be physically realizable and equivalent to parity checks, yet the explicit projector construction, its action on the full Hilbert space, and the precise condition under which the measurement is deterministic (i.e., always projects onto the desired subspace without leakage) are not supplied; this assumption is load-bearing for both the equivalence proof and the deterministic claim.

    Authors: We agree that an explicit construction of the truncation operator, its action on the full Hilbert space, and the precise determinism conditions would make the equivalence proof and deterministic claim more self-contained. In the revised manuscript we will add the explicit projector, demonstrate its action on the relevant subspace, and state the conditions under which the measurement projects deterministically without leakage, thereby clarifying the link to the two-qubit parity-measurement sequence. revision: yes

  2. Referee: [bounds section] Bounds derivation section: the lower and upper bounds on concentrated bipartite entanglement are stated for unequal input pairs after a given number of rounds, but the derivation does not appear to include an explicit accounting of how finite-fidelity graph-state resources or imperfect multi-qubit measurement outcomes propagate into the final entanglement value; without this, the claimed robustness cannot be verified as load-bearing for the quantitative bounds.

    Authors: The bounds are derived under the assumption of ideal resources and perfect measurements. Robustness to imperfections is treated in a separate section. To address the referee's concern we will revise the bounds section to include an explicit propagation analysis (or bounding inequalities) showing how finite-fidelity graph states and imperfect measurement outcomes affect the final entanglement values, thereby linking the quantitative bounds directly to the robustness discussion. revision: yes

Circularity Check

0 steps flagged

No circularity: protocol derives from standard quantum measurement theory and explicit equivalence proofs

full rationale

The paper constructs a deterministic protocol for GHZ-state growth via graph-basis multi-qubit measurements, proves its equivalence to repeated two-qubit parity checks, and derives explicit lower/upper bounds on concentrated bipartite entanglement. These steps rest on the standard postulates of quantum mechanics and projective measurements rather than any self-definition, fitted parameter renamed as prediction, or load-bearing self-citation. The truncation operation and equivalence mapping are presented as direct consequences of the measurement postulate applied to the chosen graph basis; no equation reduces to its own input by construction. The physical-implementability discussion is framed as an assumption external to the mathematical derivation, not as a hidden tautology. Consequently the derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based on abstract only; no explicit free parameters, axioms, or invented entities are stated. The work relies on standard quantum mechanics and graph-state formalism without introducing new entities.

pith-pipeline@v0.9.0 · 5732 in / 1051 out tokens · 21231 ms · 2026-05-23T18:36:52.963656+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

47 extracted references · 47 canonical work pages · 4 internal anchors

  1. [1]

    concentrates en- tanglement Ef ≥ E0 over a qubit-qudit system C2 B ⊗ CDA A with DA = dN . Proof. Consider the choice of (b0, b′ 0), among 2N 2 possibili- ties, to be b0 = 0, b′ 0 = 2N − 1, (24) corresponding respectively to the states |0⟩⊗N , |1⟩⊗N on B, leading to the following definition of B and B: B = {b; ⊕ibi = 0}, B = {b; ⊕ibi = 1}. (25) Note that B...

    work page

  2. [2]

    (24), cos θf =p [1 + (cos 2θ0)N] /2, leading to Ef = q 1 − (1 − E2 0)N , (27) where E0 = sin 2θ0

    given in Eq. (24), cos θf =p [1 + (cos 2θ0)N] /2, leading to Ef = q 1 − (1 − E2 0)N , (27) where E0 = sin 2θ0. Note that Ef ≥ E0 for all 0 ≤ E0 ≤ 1, proving proposition 2. Note that Ef ≥ 0 (Eq. (27)) for all N ≥ 2, as long as E0 > 0, while for a fixed E0, Ef increases monotonically with N – the number of qubits participating in the joint measurement: Ef →...

    work page

  3. [3]

    8PZ8Hb4poy0S0iaijRqckmwoWvs=

    = (0, 3) (see Eq. (24)), which leads to (see Appendix A) E(r+1) = q E2 (r) + E2 r+1 − E2 (r)E2 r+1. ≥ max{E(r), Er+1} (35) Without any loss in generality, we assume Er+1 = max{E(r), Er+1}, and write E(r) = qEr+1 with 0 ≤ q ≤ 1, which takes Eq. (35) to E(r+1) = Er+1 q 1 + (1 − E2 r+1)q2. (36) Since q 1 + (1 − E2 r+1)q2 ≥ 1, E(r+1) ≥ Er+1 ≥ E(r). Similarly,...

    work page 2023

  4. [4]

    pro- vides Ef to be equal to the entanglement in an already ex- isting qubit-qudit pair ( E2 and E1 respectively), to achieve Ef > max{E1, E2}, one needs to choose (b0, b′

    work page

  5. [5]

    ≡ (0, 3) (as per Eq. (24)). This can be shown in the same fashion as in proposition 4, by assuming that E1 = max( E1, E2), and E2 = qE1 with 0 ≤ q ≤ 1, and then rewriting Eq. (A6) as Ef (0,3) = E1 q 1 + (1 − E2 1)q2 ≥ E1. (A7) b. Performing the two-qubit measurement. The two qubit deterministic measurement given by Eq. (31) on two qubits Bi and Bj, which ...

    work page

  6. [6]

    H. J. Kimble, Nature 453, 1023 (2008); S. Wehner, D. Elk- ouss, and R. Hanson, Science 362, eaam9288 (2018), https://www.science.org/doi/pdf/10.1126/science.aam9288

    work page doi:10.1126/science.aam9288 2008

  7. [7]

    M. B. Plenio and V . Vedral, Contemp.Phys. 39, 431 (1998), arXiv:quant-ph/9804075; R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Rev. Mod. Phys. 81, 865 (2009)

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  8. [8]

    C. H. Bennett, G. Brassard, C. Cr ´epeau, R. Jozsa, A. Peres, and W. K. Wootters, Phys. Rev. Lett.70, 1895 (1993)

    work page 1993

  9. [9]

    C. H. Bennett and S. J. Wiesner, Phys. Rev. Lett. 69, 2881 (1992); A. Sen(De) and U. Sen, Phys. News 40, 17 (2011), arXiv:1105.2412

    work page internal anchor Pith review Pith/arXiv arXiv 1992

  10. [10]

    A. K. Ekert, Phys. Rev. Lett. 67, 661 (1991)

    work page 1991

  11. [11]

    Bouwmeester, J.-W

    D. Bouwmeester, J.-W. Pan, K. Mattle, M. Eibl, H. Weinfurter, and A. Zeilinger, Nature 390, 575 (1997); K. Mattle, H. Wein- furter, P. G. Kwiat, and A. Zeilinger, Phys. Rev. Lett. 76, 4656 (1996)

    work page 1997

  12. [12]

    Vardoyan, E

    G. Vardoyan, E. van Milligen, S. Guha, S. Wehner, and D. Towsley, arXiv.2307.04477 (2023)

    work page arXiv 2023

  13. [13]

    S. Liu, Z. Lu, P. Wang, Y . Tian, X. Wang, and Y . Li, npj Quan- tum Information 9, 92 (2023)

    work page 2023

  14. [14]

    Buhrman, W

    H. Buhrman, W. van Dam, P. Høyer, and A. Tapp, Phys. Rev. A 60, 2737 (1999); P. A. Gu ´erin, A. Feix, M. Ara ´ujo, and i. c. v. Brukner, Phys. Rev. Lett. 117, 100502 (2016)

    work page 1999

  15. [15]

    K ´om´ar, E

    P. K ´om´ar, E. M. Kessler, M. Bishof, L. Jiang, A. S. Sørensen, J. Ye, and M. D. Lukin, Nature Physics 10, 582 (2014)

    work page 2014

  16. [16]

    J. I. Cirac, A. K. Ekert, S. F. Huelga, and C. Macchiavello, Phys. Rev. A 59, 4249 (1999)

    work page 1999

  17. [17]

    C. H. Bennett, G. Brassard, S. Popescu, B. Schumacher, J. A. Smolin, and W. K. Wootters, Phys. Rev. Lett. 76, 722 (1996); M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Rev. Lett. 78, 574 (1997); M. Murao, M. B. Plenio, S. Popescu, V . Ve- dral, and P. L. Knight, Phys. Rev. A 57, R4075 (1998); W. D¨ur, J. I. Cirac, and R. Tarrach, Phys. Rev. Lett. 83...

    work page 1996

  18. [18]

    C. H. Bennett, H. J. Bernstein, S. Popescu, and B. Schumacher, Phys. Rev. A 53, 2046 (1996); L. Hardy, Phys. Rev. A 60, 1912 (1999); Z. Zhao, J.-W. Pan, and M. S. Zhan, Phys. Rev. A 64, 014301 (2001); T. Yamamoto, M. Koashi, and N. Imoto, Phys. Rev. A 64, 012304 (2001)

    work page 2046

  19. [19]

    Lo and S

    H.-K. Lo and S. Popescu, Phys. Rev. A 63, 022301 (2001)

    work page 2001

  20. [20]

    S. Bose, V . Vedral, and P. L. Knight, Phys. Rev. A 60, 194 (1999)

    work page 1999

  21. [21]

    Morikoshi and M

    F. Morikoshi and M. Koashi, Phys. Rev. A 64, 022316 (2001); F. Morikoshi, Phys. Rev. Lett.84, 3189 (2000)

    work page 2001

  22. [22]

    Gu, W.-D

    Y .-J. Gu, W.-D. Li, and G.-C. Guo, Phys. Rev. A 73, 022321 (2006)

    work page 2006

  23. [23]

    J.-W. Pan, S. Gasparoni, R. Ursin, G. Weihs, and A. Zeilinger, Nature 423, 417 (2003); Z. Zhao, T. Yang, Y .-A. Chen, A.- N. Zhang, and J.-W. Pan, Phys. Rev. Lett. 90, 207901 (2003); T. Yamamoto, M. Koashi, S ¸. K.¨Ozdemir, and N. Imoto, Nature 421, 343 (2003). 12

    work page 2003

  24. [24]

    ˙Zukowski, A

    M. ˙Zukowski, A. Zeilinger, M. A. Horne, and A. K. Ekert, Phys. Rev. Lett. 71, 4287 (1993); M. Zukowski, A. Zeilinger, and H. Weinfurter, Ann. NY Acad. Sci.755, 91 (1995); A. Sen(De), U. Sen, and M. ˙Zukowski, Phys. Rev. A 68, 062301 (2003)

    work page 1993

  25. [25]

    Santra and V

    S. Santra and V . S. Malinovsky, Quantum Information Process- ing 20, 206 (2021)

    work page 2021

  26. [26]

    J. Zhao, W. Li, and Y . Gu, Europhysics Letters 104, 10005 (2013)

    work page 2013

  27. [27]

    M. A. Nielsen, Phys. Rev. Lett. 83, 436 (1999); G. Vidal, Phys. Rev. Lett. 83, 1046 (1999); D. Jonathan and M. B. Plenio, Phys. Rev. Lett. 83, 1455 (1999)

    work page 1999

  28. [28]

    Perseguers, J

    S. Perseguers, J. I. Cirac, A. Ac´ın, M. Lewenstein, and J. Wehr, Phys. Rev. A 77, 022308 (2008)

    work page 2008

  29. [29]

    X. Meng, J. Gao, and S. Havlin, Phys. Rev. Lett. 126, 170501 (2021)

    work page 2021

  30. [30]

    D. P. DiVincenzo, C. A. Fuchs, H. Mabuchi, J. A. Smolin, A. Thapliyal, and A. Uhlmann, arXiv:quant-ph/9803033 (1998)

    work page internal anchor Pith review Pith/arXiv arXiv 1998

  31. [31]

    Verstraete, M

    F. Verstraete, M. Popp, and J. I. Cirac, Phys. Rev. Lett. 92, 027901 (2004); F. Verstraete, M. A. Mart ´ın-Delgado, and J. I. Cirac, Phys. Rev. Lett. 92, 087201 (2004); M. Popp, F. Ver- straete, M. A. Mart´ın-Delgado, and J. I. Cirac, Phys. Rev. A71, 042306 (2005); D. Sadhukhan, S. S. Roy, A. K. Pal, D. Rakshit, A. Sen(De), and U. Sen, Phys. Rev. A 95, 02...

    work page 2004

  32. [32]

    D. M. Greenberger, M. A. Horne, and A. Zeilinger, Bell’s the- orem, quantum theory and conceptions of the universe (Kluwer, Netherlands, 1989)

    work page 1989

  33. [33]

    Perseguers, D

    S. Perseguers, D. Cavalcanti, G. J. Lapeyre, M. Lewenstein, and A. Ac´ın, Phys. Rev. A81, 032327 (2010)

    work page 2010

  34. [34]

    Khanna, S

    S. Khanna, S. Halder, and U. Sen, Phys. Rev. A 109, 012419 (2024)

    work page 2024

  35. [35]

    Hong-Yi, Z

    D. Hong-Yi, Z. Ming, and K. Le-Man, Communications in The- oretical Physics 50, 73 (2008)

    work page 2008

  36. [36]

    J. Wei, L. Shi, S. Zhao, K. Zhou, L. Yu, W. Lu, L. Ma, and B. Zhao, Quantum Information Processing 18, 237 (2019)

    work page 2019

  37. [37]

    Monogamy of quantum correlations - a review,

    H. S. Dhar, A. K. Pal, D. Rakshit, A. Sen(De), and U. Sen, “Monogamy of quantum correlations - a review,” inLectures on General Quantum Correlations and their Applications , edited by F. F. Fanchini, D. d. O. Soares Pinto, and G. Adesso (Springer International Publishing, Cham, 2017) pp. 23–64; X.- L. Zong, H.-H. Yin, W. Song, and Z.-L. Cao, Frontiers in ...

    work page doi:10.3389/fphy.2022.880560 2017

  38. [38]

    Coffman, J

    V . Coffman, J. Kundu, and W. K. Wootters, Phys. Rev. A 61, 052306 (2000)

    work page 2000

  39. [39]

    Sen(De) and U

    A. Sen(De) and U. Sen, Phys. Rev. A 81, 012308 (2010)

    work page 2010

  40. [40]

    Prabhu, A

    R. Prabhu, A. K. Pati, A. Sen(De), and U. Sen, Phys. Rev. A 86, 052337 (2012)

    work page 2012

  41. [41]

    S. A. Hill and W. K. Wootters, Phys. Rev. Lett.78, 5022 (1997)

    work page 1997

  42. [42]

    M. Hein, W. D ¨ur, J. Eisert, R. Raussendorf, M. Van den Nest, and H. J. Briegel, arXiv:quant-ph/0602096 (2006)

    work page internal anchor Pith review Pith/arXiv arXiv 2006

  43. [43]

    D ¨ur, G

    W. D ¨ur, G. Vidal, and J. I. Cirac, Phys. Rev. A 62, 062314 (2000)

    work page 2000

  44. [44]

    R. H. Dicke, Phys. Rev. 93, 99 (1954)

    work page 1954

  45. [45]

    Sen(De), U

    A. Sen(De), U. Sen, i. c. v. Brukner, V . Bu ˇzek, and M. ˙Zukowski, Phys. Rev. A 72, 042310 (2005)

    work page 2005

  46. [46]

    Ac ´ın, J

    A. Ac ´ın, J. I. Cirac, and M. Lewenstein, Nature Physics 3, 256 (2007)

    work page 2007

  47. [47]

    Shimony, Ann

    A. Shimony, Ann. NY Acad. Sci. 755, 675 (1995); H. Barnum and N. Linden, Journal of Physics A: Mathematical and General 34, 6787 (2001); T.-C. Wei and P. M. Goldbart, Phys. Rev. A 68, 042307 (2003)

    work page 1995