Pith. sign in

REVIEW 3 major objections 4 minor 54 references

Genuine Multipartite Entanglement Measure Based on $\alpha$-concurrence

T0 review · 3 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper constructs a one-parameter family of genuine multipartite entanglement measures, $G_\alpha$, as the geometric mean of bipartite $\alpha$-concurrences and proves that it satisfies the standard axioms, is continuous on pure…

desk verdict A competent but routine one-parameter extension of geometric-mean GME measures; fix the α=0 endpoint and the continuity proof and it's refereeable. read the letter →

arxiv 2505.05998 v1 pith:N6UEYFBE submitted 2025-05-09 quant-ph

Ke-Ke Wang , Zhi-Wei Wei , Shao-Ming Fei This is my paper · ORCID
classification quant-ph
keywords genuinemultipartiteentanglement$\alpha$-concurrencegeometricmeanconvexroofextensionLOCCmonotonicityGHZstatesWordering
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper introduces a one-parameter family of genuine multipartite entanglement measures, denoted $G_\alpha$, built as the geometric mean of bipartite $\alpha$-concurrences over every possible bipartition of an $n$-partite system. Its central claim is that $G_\alpha$ satisfies the standard axioms of a multipartite entanglement measure for all $0\le\alpha\le 1/2$, is continuous on pure multipartite states, and admits exact formulas for $n$-qubit GHZ and W states. If correct, this gives a tunable quantitative scale for genuine multipartite entanglement that can distinguish states other established measures rank as equal. Such a scale matters for tasks such as quantum secret sharing and teleportation, where the amount of genuine multipartite entanglement is the resource being consumed.

What carries the argument

The central object is the $\alpha$-concurrence of a bipartition, $C_\alpha^{S|\bar S}(|\psi\rangle)=\operatorname{Tr}(\rho_S)^{\alpha}-1$ for $0\le\alpha\le 1/2$, where $\rho_S$ is the reduced state on one side of the bipartition; it interpolates between rank-like counting and ordinary concurrence-type behavior. The multipartite measure multiplies such concurrences over all pairwise complementary bipartitions, takes the root given by the number of bipartitions, and extends to mixed states by convex roof. The load-bearing steps are the strong monotonicity of each bipartite factor and the geometric-mean inequality that lets the root of a product pass through a sum of ensemble averages.

What would settle it

Compute $G_0$ on the family $|\psi(\epsilon)\rangle=(|000\rangle+\epsilon|111\rangle)/\sqrt{1+\epsilon^2}$: for every $\epsilon>0$ each bipartition has a rank-2 reduced state, so $G_0=1$, while at $\epsilon=0$ the state is separable and $G_0=0$; this makes $G_0$ discontinuous at a pure state, directly contradicting the pure-state continuity claim if the stated range includes $\alpha=0$.

Watch

Extended reading notes

Core claim

On its own terms, the paper's discovery is that the convex-roof extension of the geometric mean of bipartite $\alpha$-concurrences is a genuine multipartite entanglement measure: $G_\alpha(\rho)$ vanishes exactly on biseparable states, is convex, does not increase under local operations and classical communication, is invariant under local unitaries, and satisfies strong monotonicity on average under LOCC. The proof carries the monotonicity property from each bipartite $\alpha$-concurrence to the product, using the geometric-mean inequality that converts a product of sums into a sum of products. The paper also proves a continuity bound for pure multipartite states and derives exact closed forms: $G_\alpha(|GHZ_n\rangle)=2^{1-\alpha}-1$, and a product formula for $|W_n\rangle$ that is always smaller, so by this measure GHZ states are more genuinely entangled than W states.

Load-bearing premise

The construction leans on the previously established fact that bipartite $\alpha$-concurrence never increases, on average, under local operations and classical communication for every $\alpha$ in the stated range; if that fact has an exception at $\alpha=0$ or for mixed states, the measure's defining axioms lose their foundation.

Editorial extensions

If this is right

  • For every $\alpha$ in the stated range, $G_\alpha$ is a legitimate genuine multipartite entanglement measure, so it can be assigned to arbitrary mixed multipartite states in resource-theoretic protocols.
  • $G_\alpha(|GHZ_n\rangle)=2^{1-\alpha}-1$ for any number of qubits, while $G_\alpha(|W_n\rangle)$ is always smaller, giving a quantitative sense in which GHZ states carry more genuine multipartite entanglement than W states.
  • Absolutely maximally entangled states, whose half-system reductions are maximally mixed, attain the maximal value of $G_\alpha$ for every allowed $\alpha$.
  • The parameter $\alpha$ yields inequivalent orderings: explicit three- and four-qubit examples show pairs of states with equal values of the genuine multipartite concurrence (GMC) or the generalized geometric measure (GGM) but different $G_{1/2}$, and ranges of parameters where the ordering is reversed.
  • The continuity bound means that, for $\alpha>0$, a pure state moved by trace-norm distance $\epsilon$ changes $G_\alpha$ by at most a constant times $\epsilon^\alpha$, so the measure is stable under small perturbations.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Because $\alpha$-concurrence approaches a rank-based count as $\alpha\to0$, the $G_\alpha$ family interpolates between Schmidt-rank-like and entropy-like entanglement quantifiers; this suggests choosing $\alpha$ according to which operational resource a protocol consumes.
  • The proof structure is generic: any bipartite entanglement monotone that is strongly monotone under LOCC could replace $\alpha$-concurrence in the geometric mean and yield a valid GME measure, so the construction is a template rather than a single measure.
  • The continuity bound for $\alpha>0$ suggests a practical estimation route: if a prepared state is certified to trace-norm error $\epsilon$, its $G_\alpha$ value is known to within $O(\epsilon^\alpha)$, which may make the measure accessible without full tomography.
  • One could test experimentally whether the predicted GHZ-over-W ordering survives depolarizing noise; because $\alpha$ is tunable, the measure may reveal a noise threshold where the ordering reverses.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper introduces a one-parameter family of genuine multipartite entanglement (GME) measures G_α, defined as the geometric mean, over all bipartitions, of the bipartite α-concurrence, with a convex-roof extension to mixed states. The main claims are: (i) Theorem 1 that G_α satisfies the standard axioms M1–M5 for all 0 ≤ α ≤ 1/2; (ii) Theorem 2 that G_α is continuous on multipartite pure states over the same parameter range; (iii) analytic formulas for n-qubit GHZ and W states showing GHZ > W in this measure; and (iv) explicit examples in which G_α distinguishes states that other GME measures (GMC, GGM, concurrence fill, G_3C) do not. The construction is a parameterized analogue of the geometric-mean concurrence (GBC) and geometric-mean q-concurrence (GqC) measures.

Significance. If the stated results hold for 0 < α ≤ 1/2, the paper provides a clean, tunable family of GME measures with exact formulas for GHZ and W states and illustrative examples of ordering differences. The analytic GHZ/W formulas and the explicit distinguishing examples are concrete assets, and the construction uses no fitted parameters. The main caveat is that the advertised full parameter range includes α = 0, where the continuity claim is false, and the continuity proof as written has a dimension-dependent gap. The monotonicity of the building block is imported from Ref. [33]. With the α = 0 endpoint removed and the proof gaps addressed, the central construction is plausible and would be a useful addition to the GME-measure toolbox.

major comments (3)
  1. [Section III, Lemma 1 and Theorem 2] The continuity claim fails at α = 0, which is included in the stated range 0 ≤ α ≤ 1/2. For the three-qubit family |ψ(ε)⟩ = √(1−ε)|000⟩ + √ε|111⟩, every single-qubit reduced density has rank 2 for ε > 0, so C_0 = rank − 1 = 1 for every bipartition and hence G_0(|ψ(ε)⟩) = 1, while G_0(|000⟩) = 0. The bound in Lemma 1 also degenerates at α = 0 because |p_i^0 − r_i^0| ≤ ε_i^0 = 1 gives only |C_0(ψ1) − C_0(ψ2)| ≤ d, which does not vanish as ε → 0. The proof can be repaired by restricting the definition, Theorem 1, Theorem 2, and the abstract to 0 < α ≤ 1/2; alternatively, separate treatment of α = 0 would have to confront the genuine discontinuity.
  2. [Section III, proof of Theorem 2, Eqs. (13)–(14)] The continuity proof assumes that all α-concurrence values lie in (0,1), but this is false for subsystems of dimension at least 3. For a maximally entangled qutrit pair, C_α = 3^{1−α} − 1 > 1 for α ≤ 1/2 (e.g., α = 1/3 gives 3^{2/3} − 1 ≈ 1.08). The inequality |x_1···x_k − y_1···y_k| ≤ Σ_i |x_i − y_i| used in Eq. (14) is not valid when the factors exceed 1. This does not disprove continuity, but it invalidates the stated proof for arbitrary multipartite pure states. A corrected proof needs a dimension-dependent uniform bound on C_α (or on each factor) in the product-difference estimate, or the theorem should be restricted to systems where all C_α ≤ 1.
  3. [Section III, proof of Theorem 1, items (M1), (M3), (M5)] The proof of the GME axioms is terse at points that carry real weight. For (M3) and (M5), the manuscript imports from Ref. [33] the monotonicity and average monotonicity of bipartite α-concurrence without stating the precise assumptions under which those results hold (pure vs. mixed states, and whether α = 0 is included). The passage from pure-state monotonicity to the convex-roof measure G_α is also only asserted: it should be justified explicitly, for instance by invoking the standard convex-roof argument for strongly monotone pure-state measures, or by citing the specific theorem in Ref. [33] that covers mixed states. For (M1), the positivity of G_α on genuine multipartite entangled mixed states requires a compactness or closedness argument for the set of biseparable states; the phrase 'directly implies' is not sufficient as written.
minor comments (4)
  1. [Throughout] There are several typographical issues: 'duet to' should be 'due to', 'wit h respect' should be 'with respect', 'Cresàro' should be 'Cesàro', and 'R´enyi' should be 'Rényi'.
  2. [Theorem 2, Eq. (12)] The summation notation in the continuity bound is ambiguous for even n: the upper limit appears to be (n−1)/2 in all cases, but for even n the sum over bipartitions must run to n/2 − 1 plus the special central-bipartition contribution, consistent with the definition of c(β). Please clarify the piecewise form.
  3. [Example 1] In the displayed formula after Example 1, 'Gα|GHZn⟩)' should read 'Gα(|GHZn⟩)'.
  4. [Section III, after Lemma 1] The statement 'The last equality holds when all ε_i = ε/d' is not quite accurate: equality in the Hölder-type bound requires both Σ ε_i = ε and equal ε_i, and the condition on the r_i should be stated if the equality is meant exactly.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the GαC construction is an independent derivation built on a previously established bipartite monotonicity result, with no fitted parameters or definitional reductions.

full rationale

The measure Gα(ρ) is defined directly as the convex-roof extension of the geometric mean of bipartite α-concurrences over all bipartitions, Eqs. (5)-(6). The proof of Theorem 1 verifies the axioms M1-M5. Conditions M1, M2 and M4 follow from the definition and standard convex-roof facts, not from the theorem being proved. Conditions M3 and M5 import the LOCC monotonicity and strong monotonicity of bipartite α-concurrence from Ref. [33] by Wei and Fei, two of the present authors, as quoted in Eqs. (7)-(8). This is a genuine self-citation, but it is not a circular reduction: Ref. [33] concerns the independently defined bipartite quantity Cα(|ψ⟩)=Tr(ρ_A^α)-1, and its stated assumptions do not include the multipartite quantity Gα or the axioms of Theorem 1. The new content is the Mahler-inequality step that transfers per-bipartition monotonicity to the geometric mean in Eq. (8), which is a genuine derivation rather than a restatement of the input. The GHZ and W formulas are explicit computations from the definition, and the ordering examples are numerical evaluations with no fitted parameters being called predictions. The manuscript may have a correctness issue at α=0 because C_0 is rank-based and discontinuous at product states, so Theorem 2's continuity claim appears false at that endpoint; however, that is a mathematical correctness concern, not a circularity, and it does not make the derivation equivalent to its inputs. Applying the rule that only definitional reductions or fitted predictions count as circularity, the paper exhibits no significant circularity.

Assumptions & free parameters 1 free parameters · 3 assumptions · 0 invented entities

The only new object introduced is the measure GαC itself, not a physical entity. The proof borrows the bipartite monotonicity of α-concurrence from prior work by the same group; the rest is standard analysis (norm inequalities, concavity, convex roofs). No empirical data are fitted.

free parameters (1)
  • α (family parameter) = tunable, stated 0≤α≤1/2 (endpoint α=0 problematic)
    Central claim defines a one-parameter family of measures; no data fit, but the validity is claimed on the whole interval and the α=0 endpoint breaks the continuity proof.
assumptions (3)
  • domain assumption Bipartite α-concurrence Cα is nonincreasing and strongly monotone under LOCC for all α in [0,1/2] (including mixed states).
    Imported from self-cited Ref. [33]; used in Theorem 1 (M3) and (M5), Eqs. (7)-(8). This is the main external load.
  • standard math Convex roof extension of a pure-state LOCC monotone automatically satisfies M2 and M5 for mixed states.
    Invoked at the end of (M5): 'naturally inherited ... via the convex roof extension [4]'. Standard in entanglement theory, but not proved in the text.
  • standard math Mahler's inequality and concavity of the geometric mean
    Used in Eq. (8) to pass from the product of sums to the sum of geometric means.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Genuine Multipartite Entanglement Measure Based on $\alpha$-concurrence." pith.science (2026). https://pith.science/paper/N6UEYFBE

@misc{pith2026250505998,
  author       = {Pith},
  title        = {Pith review of: Genuine Multipartite Entanglement Measure Based on $\alpha$-concurrence},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/N6UEYFBE}},
  note         = {Machine review of arXiv:2505.05998}
}
abstract

Quantifying genuine entanglement is a crucial task in quantum information theory. Based on the geometric mean of bipartite $\alpha$-concurrences among all bipartitions, we present a class of well-defined genuine multipartite entanglement (GME) measures G$\alpha$C with one parameter $\alpha$ for arbitrary multipartite states. We show that the G$\alpha$C is of continuity for any multipartite pure states. By utilizing the related symmetry, analytical results of G$\alpha$C are derived for any $n$-qubit GHZ states and W states, which show that the GHZ states are more genuinely entangled than the W states. With explicit examples, we demonstrate that the G$\alpha$C can distinguish different GME states that other GME measures fail to. These results justify the potential applications of G$\alpha$C in characterizing genuine multipartite entanglements.

Figures

Figures reproduced from arXiv: 2505.05998 by the authors.

Figure 1
Figure 1. FIG. 1. The [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. FIG. 2. The G [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. FIG. 3. The G [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

54 extracted references · 43 canonical work pages

  1. [42]

    Y. F. Li, J. W. Shang, Phys. Rev. Res. 4, 023059 (2022)

    work page 2022

  2. [43]

    X. Shi, L. Chen, Ann. Phys. 535, 2300305 (2023)

    work page 2023

  3. [33]

    Wei, S.-M

    Z.-W. Wei, S.-M. Fei, J. Phys. A: Math. Theor. 55, 275303 (2022)

    work page 2022

  4. [1]

    Chitambar and G

    E. Chitambar and G. Gour, Rev. Mod. Phys. 91, 025001 (2019)

    2019

  5. [2]

    Horodecki, P

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

    work page 2009

  6. [3]

    M. A. Nielsen, I. Chuang, Quantum Computation and Quantum Information (2002)

    work page 2002

  7. [4]

    Vidal, J

    G. Vidal, J. Mod. Opt. 47, 355 (2000)

    2000

  8. [5]

    Ma, Z.-H

    Z.-H. Ma, Z.-H. Chen, J.-L. Chen, C. Spengler, A. Gabriel, M. Huber, Phys. Rev. A 83, 062325 (2011)

    work page 2011

Show all 54 references
  1. [6]

    Vidal, arXive:quant-ph/9807077 (2024)

    G. Vidal, arXive:quant-ph/9807077 (2024)

    2024 arXiv

  2. [7]

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

    1991

  3. [8]

    C. H. Bennett, G. Brassard, N. D. Mermin, Phys. Rev. Lett. 68, 557 (1992)

    1992

  4. [9]

    B. A. Slutsky, R. Rao, P.-C. Sun, Y. Fainman, Phys. Rev. A 57, 2383 (1998)

    1998

  5. [10]

    Masanes, Phys

    L. Masanes, Phys. Rev. Lett. 102, 140501 (2009)

    2009

  6. [11]

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

    1993

  7. [12]

    F. L. Yan, X. Q. Zhang, Eur. Phys. J. B 41, 75 (2004)

    2004

  8. [13]

    T. Gao, F. L. Yan, Y. C. Li, EPL. 84, 50001 (2008)

    2008

  9. [14]

    C. H. Bennett, S. J. Wiesner, Phys. Rev. Lett. 69, 2881 (1992)

    1992

  10. [15]

    Jozsa, D

    R. Jozsa, D. S. Abrams, J. P. Dowling, C. P. Williams, Phys. Rev. Lett. 85, 2010 (2000)

    2000

  11. [16]

    B. C. Hiesmayr, M. Huber, P. Krammer, Phys. Rev. A 79, 062308 (2009)

    2009

  12. [17]

    Shimoni, D

    Y. Shimoni, D. Shapira, O. Biham, Phys. Rev. A 72, 062308 (2005)

    2005

  13. [19]

    Z.-X. Jin, X. Li.-Jost, S.-M. Fei, C.-F, Qiao, Phys. Rev. A 107, 012409 (2023)

    2023

  14. [20]

    G¨ uhne, G

    O. G¨ uhne, G. T´ oth, H. J. Briegel, New J. Phys.7, 229 (2005)

    2005

  15. [21]

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

    1997

  16. [22]

    Rungta, V

    P. Rungta, V. Buˇ zek, C. M. Caves, M. Hillery, G. J. Mil- burn, Phys. Rev. A 64, 042315 (2001)

    2001

  17. [23]

    C. H. Bennett, D. P. DiVincenzo, J. A. Smolin, W. K. Wootters, Phys. Rev. A 54, 3824 (1996)

    1996

  18. [24]

    W. K. Wootters, Phys. Rev. Lett. 80, 2245 (1998)

    1998

  19. [25]

    Horodecki, Quantum Info

    M. Horodecki, Quantum Info. Comput. 1, 3 (2001)

    2001

  20. [26]

    Vidal, R

    G. Vidal, R. F. Werner, Phys. Rev. A 65, 032314 (2002)

    2002

  21. [27]

    M. B. Plenio, Phys. Rev. Lett. 95, 090503 (2005)

    2005

  22. [28]

    G. Gour, S. Bandyopadhyay, B. C. Sanders, J. Math. Phys. 48, 012108 (2007)

    2007

  23. [29]

    J. S. Kim, B. C. Sanders, J. Phys. A: Math. Theor. 43, 445305 (2010)

    2010

  24. [30]

    G. A. Raggio, J. Math. Phys. 36, 4785 (1995)

    1995

  25. [31]

    J. S. Kim, Phys. Rev. A 81, 062328 (2010)

    2010

  26. [32]

    Yang, M.-X

    X. Yang, M.-X. Luo, Y.-H. Yang, S.-M. Fei, Phys. Rev. A 103, 052423 (2021)

    2021

  27. [34]

    Tsallis, J

    C. Tsallis, J. Stat. Phys. 52, 479 (1988)

    1988

  28. [35]

    P. T. Landsberg, V. Vedral, Phys. Lett. A 247, 211 (1998)

    1998

  29. [36]

    Coffman, J

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

    2000

  30. [37]

    Barnum, N

    H. Barnum, N. Linden, J. Phys. A: Math. Gen. 34, 6787 (2001)

    2001

  31. [38]

    Sen(De), U

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

    2010

  32. [39]

    Blasone, F

    M. Blasone, F. Dell’Anno, S. D. Siena, F. Illuminati, Phys. Rev. A 77, 062304 (2008)

    2008

  33. [40]

    S. Xie, J. H. Eberly, Phys. Rev. Lett. 127, 040403 (2021)

    2021

  34. [41]

    Y. Guo, Y. P. Jia, X. P. Li, L. Z. Huang, J. Phys. A: Math. Theor. 55, 145303 (2022)

    2022

  35. [44]

    Bhatia, Matrix Analysis Springer, Berlin, 2013

    R. Bhatia, Matrix Analysis Springer, Berlin, 2013

    2013

  36. [45]

    and quantum error correction codes [46]. Specifically, the three-qubit AME state, i.e., the GHZ state, gives rise to perfect quantum teleportation [47, 48], while the W state achieves only a maximal success rate of 2/3 [49]. Here, the GαC for each parameter α takes the maximal...

  37. [46]

    Helwig, W

    W. Helwig, W. Cui, J. I. Latorre, A. Riera, H.-K. Lo, Phys. Rev. A 86, 052335 (2012)

    2012

  38. [47]

    A. J. Scott, Phys. Rev. A 69, 052330 (2004)

    2004

  39. [48]

    Goyeneche, D

    D. Goyeneche, D. Alsina, J. I. Latorre, A. Riera, K. ˙Zyczkowski, Phys. Rev. A 92, 032316 (2015)

    2015

  40. [49]

    X. Shi, L. Chen, M. Y. Hu, Phys. Rev. A 104, 012426 (2021)

    2021

  41. [50]

    J. Joo, Y. J. Park, S. Oh, J. Kim, New J. Phys. 5, 136 (2003)

    2003

  42. [51]

    N. Yu, C. Guo, R. Duan, Phys. Rev. Lett. 112, 160401 (2014)

    2014

  43. [52]

    Vrana, M

    P. Vrana, M. Christandl, J. Math. Phys. 56, 022204 (2015)

    2015

  44. [53]

    M. A. Nielsen, Phys. Rev. Lett. 83, 436 (1999)

    1999

  45. [54]

    Virmani, M

    S. Virmani, M. F. Sacchi, M. B. Plenio, D. Markham, Phys. Lett. A 288, 62 (2001)

    2001

  46. [55]

    ˙Zyczkowski, I

    K. ˙Zyczkowski, I. Bengtsson, Ann. Phys. 295, 115 (2001)

    2001

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.