Pith. sign in

REVIEW 2 major objections 5 minor 36 references

From triangles to prisms: towards a geometric extension of concurrence fill for three-qubit mixed states

T0 review · 2 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read This paper extends the concurrence-triangle geometry to rank-two three-qubit mixed states, proving a closed-form concurrence fill for mixtures of GHZ and W states.

desk verdict Solid closed-form convex roof for GHZ-W rank-2 mixtures; the prism picture is a repackaging, and the one omitted phase-independence step is fillable, so the result stands. read the letter →

arxiv 2608.07145 v1 pith:JCYMKADL submitted 2026-08-07 quant-ph

Divyanshu K. Verma , Girish Kulkarni This is my paper · ORCID
classification quant-ph MSC 81P4081P45 PACS 03.67.Mn
keywords concurrencetrianglefillconvexroofextensionthree-qubitentanglementGHZstateWmixedstatesrank-two
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 sets out to carry the geometric picture of the concurrence triangle from pure three-qubit states into the mixed-state regime. It associates with every pure-state decomposition of a rank-two three-qubit state a set of concurrence prisms, one prism per ensemble element with the concurrence triangle as base and the probability as height, and shows that the convex-roof concurrence fill equals the minimum over decompositions of the total prism fill area, defined as the product of height and square root of base area. For the canonical family $\rho(\lambda) = \lambda |\mathrm{GHZ}\rangle\langle\mathrm{GHZ}| + (1-\lambda) |\mathrm{W}\rangle\langle\mathrm{W}|$, the minimization becomes a one-variable convex problem and yields the closed form $\min F = (5\lambda^2 - 4\lambda + 8)/9$, together with an explicit optimal ensemble. This gives an exact, checkable value for a benchmark family and a geometric language for convex-roof optimization in three-qubit entanglement.

What carries the argument

The machinery is the concurrence prism: a right prism whose base is the concurrence triangle of a pure state, with side lengths equal to the three squared two-qubit concurrences, and whose height is the state's probability in a decomposition; its fill area, height times the square root of the base area, equals that state's contribution $p_k F(|\varphi_k\rangle)$ to the convex-roof sum. A $2 \times 4$ co-isometry parametrizes all pure-state decompositions of a rank-two state relative to its eigendecomposition, reducing the GHZ–W problem to averaging $g(r) = (5\lambda^2 r^2 - 4\lambda r + 8)/9$ over $r_k = |v_{1k}|^2/p_k$. Because $g$ is convex and the probabilities weight the $r_k$ so that their average is 1, convexity supplies the lower bound $g(1)$, and the explicit co-isometry achieves it by making every $r_k = 1$. The geometric prerequisite is that every superposition of $|\mathrm{GHZ}\rangle$ and $|\mathrm{W}\rangle$ has an equilateral concurrence triangle, collapsing the whole calculation to a single convex function of one variable.

What would settle it

The formula predicts that for $\lambda = 0.4$ the concurrence fill of $\rho = 0.4 |\mathrm{GHZ}\rangle\langle\mathrm{GHZ}| + 0.6 |\mathrm{W}\rangle\langle\mathrm{W}|$ is exactly $0.8$. A global numerical search over all $2 \times 4$ co-isometries that finds any ensemble with average concurrence fill below $0.8$ would refute the claim; independently computing the convex roof by a different method at several values of $\lambda$ would test the entire curve.

Watch

Extended reading notes

Core claim

The central claim is that the convex-roof concurrence fill of a rank-two three-qubit mixed state is a geometric minimization: over all pure-state decompositions $\{p_k, |\varphi_k\rangle\}$ one minimizes $\sum_k p_k F(|\varphi_k\rangle)$, and this quantity is visualized as the total prism fill area of prisms whose bases are the concurrence triangles of the $|\varphi_k\rangle$ and whose heights are the probabilities $p_k$. For the mixture $\rho(\lambda) = \lambda |\mathrm{GHZ}\rangle\langle\mathrm{GHZ}| + (1-\lambda) |\mathrm{W}\rangle\langle\mathrm{W}|$, the paper proves this minimum exactly. Every pure state $|\psi\rangle = \sqrt{q}|\mathrm{GHZ}\rangle + \sqrt{1-q}|\mathrm{W}\rangle$ has an equilateral concurrence triangle with squared side $(5q^2 - 4q + 8)/9$, hence concurrence fill equal to that same value; substituting the decomposition coefficients through a $2 \times 4$ co-isometry turns the average fill into an expectation of a convex function, and convexity together with the normalization of the coefficients gives a lower bound that is saturated by the explicit co-isometry with all entries $\pm 1/2$. The conclusion is $\min F(\rho(\lambda)) = (5\lambda^2 - 4\lambda + 8)/9$, verified numerically and realized by four equal-probability, identical-fill pure states.

Load-bearing premise

The derivation rests on the equilateral-triangle property of all superpositions of |GHZ> and |W>, namely that the three sides of the concurrence triangle are always equal with length $(5q^2 - 4q + 8)/9$, and on the general prism construction of Section III remaining a valid representation of every decomposition; if either gave way, the closed-form minimum and its geometric interpretation would not follow.

Editorial extensions

If this is right

  • For the GHZ–W family, the exact concurrence fill is the parabola $(5\lambda^2 - 4\lambda + 8)/9$, so the value at any mixing ratio is known without numerical optimization.
  • The minimizing ensemble is explicitly constructible: four equal-probability pure states generated by the co-isometry with all entries $\pm 1/2$, so the convex roof is not only evaluated but realized.
  • Mixing can suppress genuine tripartite entanglement below both components: the minimum of the parabola occurs at $\lambda = 0.4$ with value $0.8$, below the pure W value $8/9$ and the GHZ value $1$.
  • Every rank-two three-qubit mixed state acquires an associated prism picture, giving a geometric interpretation of convex-roof optimization as balancing total prism fill area over decompositions.
  • The analytic curve provides a benchmark against which numerical convex-roof algorithms for this family can be tested.

Reading between the lines

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

  • If the equilateral-triangle property holds for other pairs of orthogonal eigenstates, for example other permutation-symmetric pairs, the same convexity argument would immediately produce closed-form concurrence fills for those rank-two families; the paper does not establish this, but the structure invites the test.
  • The prism picture suggests a concrete numerical strategy for arbitrary rank-two states: minimize total prism fill area over the co-isometry parameters, benchmarking global optimizers against the GHZ–W closed form before applying them elsewhere.
  • The dip below both pure-state values at intermediate $\lambda$ indicates that by this measure a GHZ–W mixture is not a simple interpolation of its components; that behaviour could matter for resource estimates in protocols consuming noisy GHZ or W states, though the paper does not discuss applications.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper proposes a geometric 'concurrence prism' picture for rank-2 three-qubit mixed states: each pure state in a decomposition gives a prism whose base is the concurrence triangle and whose height is the corresponding probability, and convex-roof concurrence fill is interpreted as the minimized total 'prism fill area.' The main technical result is a closed-form convex-roof evaluation for mixtures ρ(λ)=λ|GHZ⟩⟨GHZ|+(1−λ)|W⟩⟨W|, namely F_min(ρ(λ))=(5λ²−4λ+8)/9. The proof combines a one-variable reduction for pure states in the span of GHZ and W, Jensen's inequality, and an explicit co-isometry attaining the bound. Numerical SLSQP multi-start optimization is reported as corroboration, and a prism visualization of the optimal decomposition is presented.

Significance. Analytic convex-roof evaluations for multipartite mixed-state entanglement measures are rare, and the formula (5λ²−4λ+8)/9 is a concrete benchmark that correctly reproduces the pure-state endpoints F(GHZ)=1 and F(W)=8/9. The explicit saturating co-isometry and the explicit trace cancellations in Appendix A make the central result independently checkable. The prism picture is appealing as a geometric interpretation of the convex-roof minimization, although it is more a visualization than a new computational method. The numerical SLSQP check is supportive but not a substitute for the analytic proof.

major comments (2)
  1. [Sec. IV, Eq. (26)] The reduction of F(|φ_k⟩) to a function of r_k=|v_{1k}|²/p_k is asserted by comparing Eq. (22) with Eq. (21b), but Eq. (21b) has arbitrary complex coefficients v_{1k}, v_{2k}. Equation (15) contains explicitly phase-dependent terms −4Re((αβ*)²Tr X²) and −8Re(|α|²αβ*Tr Λ^i X); the equivalence to Eq. (26) holds only because Appendix A provides Tr(X²)=0 and Tr(Λ^i X)=0 for the GHZ-W pair. This cancellation is not shown at the point where the one-variable Jensen problem is set up. Please add an explicit evaluation of Eq. (15) for |ψ⟩=α|GHZ⟩+β|W⟩, demonstrating that C²=(5q²−4q+8)/9 with q=|α|², independent of the phase of αβ*. This step is load-bearing: without it, Eqs. (28)–(33) are not justified.
  2. [Sec. III, Eqs. (19a)–(19e)] The paper claims that dividing the eigenprisms into horizontal sections and adding the corresponding heights yields a geometric construction of the general prisms (Fig. 2). As written, this is a schematic description rather than a derivation: no theorem states that the base of the prism so constructed is the concurrence triangle of |φ_k⟩ from Eq. (8b). The algebraic content is Eq. (15); the geometric algorithm should either be proved or explicitly labeled a visualization heuristic. Since the title and abstract present the prism construction as a central contribution, this gap should be addressed.
minor comments (5)
  1. [Sec. IV, Eq. (26)] The notation '|v^2_{1k}|' should be '|v_{1k}|²'.
  2. [Sec. IV, Eq. (28)] The subscript '123' in F^avg_123 should be 'ABC' for consistency with the rest of the paper.
  3. [Sec. II, Definition of prism fill area] The quantity F=h√A is called 'prism fill area', but the optimization minimizes Σ_k p_k F(|φ_k⟩), which is an average prism-fill contribution; please define 'total prism fill area' unambiguously.
  4. [Sec. IV, Eq. (34)] State explicitly that V in Eq. (34) is a co-isometry with orthonormal rows and that it gives p_k=1/4 and r_k=1 for all k, so that Jensen's inequality is saturated.
  5. [Sec. IV, numerical section] The numerical SLSQP description is useful; please also report the spread of the minima over the 40 restarts, since SLSQP is a local optimizer and the reported points alone do not certify global optimality.

Circularity Check

1 steps flagged · score 2.0 of 10

The concurrence-prism picture is a definitional recasting of the convex roof, but the central GHZ-W formula is derived independently and is not circular.

  1. self definitional [Section II, definition of prism fill area and Eq. (6)]
    "We define the prism fill area F of a prism as F = h√A, where A is the base area and h is the height of the prism. We notice that the minimization in Eq. (6) essentially amounts to finding the pure state decomposition of ρ(λ) whose concurrence prisms have the minimum total prism fill area."

    Equation (6) defines FABC(ρ(λ)) as min Σ pk FABC(|φk>), and Eq. (1) already makes FABC of a pure state proportional to the square root of its concurrence-triangle area. The newly defined prism fill area F = h√A is therefore the same quantity (up to the proportionality constant) as the height times FABC for that pure state, so 'minimum total prism fill area' is just the convex-roof minimization of Eq. (6) restated in geometric language. The statement is true by definition and supplies no independent constraint; it is a relabeling rather than a derivation. This definitional step is not load-bearing for Eq. (35), which is obtained separately from the co-isometry parametrization, Jensen's inequality, and the explicit saturating co-isometry V.

full rationale

The closed-form result Eq. (35) for ρ(λ)=λ|GHZ><GHZ|+(1−λ)|W><W| is not circular: it uses the co-isometry parametrization of pure-state decompositions, reduces the average fill to Ep[g(rk)] with rk=|v1k|²/pk, applies Jensen's inequality because g is convex, and exhibits a co-isometry (Eq. (34)) that saturates the bound. No parameter is fitted to the target quantity, and no self-citation is load-bearing. The only circularity in the paper is the prism-fill re-description of the convex-roof definition in Sec. II, which is explicitly introduced by definition and only used for visualization. One technical caveat is that Eq. (26) asserts phase-independence by comparing the complex decomposition states (21b) to the real state (22) without showing that the phase-dependent terms of Eq. (15) vanish; Appendix A supplies Tr(X²)=0 and Tr(Λ^(i)X)=0 for GHZ/W, so the missing step is fillable and is an omitted proof, not a circularity. The independent analytic derivation and the numerical SLSQP check leave the central claim intact.

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

No constants were fitted to data; λ is the state parameter and V is the optimization variable. The formula rests on standard theorems (HJW, Jensen) and the special symmetry of GHZ and W.

assumptions (4)
  • standard math Every pure-state decomposition of a rank-2 density matrix is generated by a 2x4 co-isometry V (HJW theorem).
    Used in Eqs. (5)-(8) to parameterize the decompositions over which the convex roof is minimized.
  • standard math Jensen's inequality applies to the convex function g(r) = 5λ²r²/9 - 4λr/9 + 8/9.
    Provides the lower bound Ep[g(r)] ≥ g(Ep[r]) in Eq. (32).
  • domain assumption For pure states, squared concurrence across a bipartition equals 4 det(reduced density).
    Standard relation (Ref. 2) used to derive Eq. (15) and the GHZ/W side lengths in Appendix A.
  • domain assumption GHZ and W are orthogonal and permutation-symmetric, so every superposition has an equilateral concurrence triangle.
    This special property reduces the GHZ-W convex roof to a scalar minimization; verified in Appendix A.
invented entities (1)
  • Concurrence prisms (eigenprisms and general prisms)
    purpose: Visualize pure-state decompositions with the concurrence triangle as base and the probability weight as height.
    A derived geometrical bookkeeping device, not a new physical postulate; it carries no independent falsifiable prediction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of From triangles to prisms: towards a geometric extension of concurrence fill for three-qubit mixed states." pith.science (2026). https://pith.science/paper/JCYMKADL

@misc{pith2026260807145,
  author       = {Pith},
  title        = {Pith review of: From triangles to prisms: towards a geometric extension of concurrence fill for three-qubit mixed states},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JCYMKADL}},
  note         = {Machine review of arXiv:2608.07145}
}
read the original abstract

The quantification of multipartite entanglement remains a long-standing open challenge in quantum information theory with major implications for quantum foundations and quantum technologies. In the context of three-qubit pure states, the concurrence triangle underlies geometric interpretations for a variety of multipartite entanglement measures. In particular, the concurrence fill, which is proportional to the square root of the area of the concurrence triangle, has been shown to be a valid measure of genuine tripartite entanglement. As a result, there is now significant interest in extending the concurrence triangle and concurrence fill to three-qubit mixed states. In this work, we show that any rank-2 three-qubit mixed state can be visualized in terms of concurrence prisms associated with their pure state decompositions. Thus, the concurrence fill of the mixed state obtained through convex-roof extension is proportional to the total prism fill area, defined as the square root of the base area times the height, associated with the prisms minimized over all pure state decompositions. We then consider three-qubit mixed states that are incoherent mixtures of Greenberger-Horne-Zeilinger (GHZ) and W states and analytically perform their convex-roof extension to obtain a closed-form expression for the concurrence fill of these rank-2 mixtures. Finally, we apply the geometric picture of concurrence prisms to these mixtures and their pure state decomposition corresponding to minimum concurrence fill as a tool for visualization.

Figures

Figures reproduced from arXiv: 2608.07145 by the authors.

Figure 1
Figure 1. FIG. 1: Eigenprisms: Concurrence prisms associated [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. FIG. 2: Schematic depiction of the geometrical procedure connecting the eigenprisms to the general prisms. [PITH_FULL_IMAGE:figures/full_fig_p004_2.png] view at source ↗
Figure 3
Figure 3. FIG. 3: Concurrence fill of rank-2 mixtures of the form [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗
Figures from the paper (1 more)
Figure 4
Figure 4. Figure 4: FIG. 4 [PITH_FULL_IMAGE:figures/full_fig_p007_4.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

36 extracted references · 27 canonical work pages

  1. [1]

    Horodecki, Łukasz Rudnicki, and K

    P. Horodecki, Łukasz Rudnicki, and K. Życzkowski, Mul- tipartite entanglement (2024), arXiv:2409.04566 [quant- ph]

    arXiv 2024

  2. [2]

    Coffman, J

    V. Coffman, J. Kundu, and W. K. Wootters, Physical Review A61, 052306 (2000)

    2000

  3. [3]

    W. Dür, G. Vidal, and J. I. Cirac, Physical Review A62, 062314 (2000)

    work page 2000

  4. [4]

    D. M. Greenberger, M. A. Horne, and A. Zeilinger, Go- ing beyond bell’s theorem, inBell’s Theorem, Quan- tum Theory and Conceptions of the Universe, edited by M. Kafatos (Springer Netherlands, Dordrecht, 1989) pp. 69–72

    work page 1989

  5. [5]

    D. M. Greenberger, M. A. Horne, A. Shimony, and A. Zeilinger, American Journal of Physics58, 1131 (1990)

    work page 1990

  6. [6]

    Now, evaluating the various traces involvingXA: Tr(XX †) =Tr 0 1√ 6 0 0 0 0 1√ 6 0 =Tr 1 6 0 0 0 = 1 6

    Thus, the complex vector⃗ acorresponding toXis: X= 1√ 6 |0⟩⟨1| →⃗ a= 1 2 √ 6 , i 2 √ 6 ,0 . Now, evaluating the various traces involvingXA: Tr(XX †) =Tr 0 1√ 6 0 0 0 0 1√ 6 0 =Tr 1 6 0 0 0 = 1 6 . Tr(X2) =Tr 0 1√ 6 0 0 0 1√ 6 0 0 =Tr 0 0 0 0 = 0. For the overlap between the reduced states andXA: Tr(ρGHZ A X) =Tr 1 2 0 0 1 2 0 1√ 6 0 0 =Tr 0 1 2 √ 6 0 0 = ...

    work page

  7. [7]

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

    1993

  8. [8]

    C. H. Bennett, G. Brassard, S. Popescu, B. Schumacher, J. A. Smolin, and W. K. Wootters, Physical Review Let- ters76, 722 (1996)

    work page 1996

Show all 36 references
  1. [9]

    Joo, Y.-J

    J. Joo, Y.-J. Park, S. Oh, and J. Kim, New Journal of Physics5, 136 (2003)

    2003

  2. [10]

    S. Lee, J. Joo, and J. Kim, Physical Review A72, 024302 (2005)

    2005

  3. [11]

    M. Ma, Y. Li, and J. Shang, Fundamental Research5, 2489 (2025)

    2025

  4. [12]

    W. K. Wootters, Physical Review Letters80, 2245 (1998)

    1998

  5. [13]

    W. K. Wootters, Quantum Inf. Comput.1, 27 (2001)

    2001

  6. [14]

    Horodecki, P

    R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Reviews of Modern Physics81, 865 (2009)

    2009

  7. [15]

    M. A. Nielsen, Physical Review Letters83, 436 (1999)

    1999

  8. [16]

    M. A. Nielsen and I. L. Chuang,Quantum Computation and Quantum Information(Cambridge University Press, 2000)

    2000

  9. [17]

    M. Eibl, N. Kiesel, M. Bourennane, C. Kurtsiefer, and H. Weinfurter, Physical Review Letters92, 077901 (2004)

    2004

  10. [18]

    A. Acín, D. Bruß, M. Lewenstein, and A. Sanpera, Phys- ical Review Letters87, 040401 (2001)

    2001

  11. [19]

    Ma, Z.-H

    Z.-H. Ma, Z.-H. Chen, J.-L. Chen, C. Spengler, A. Gabriel, and M. Huber, Physical Review A83, 062325 (2011)

    2011

  12. [20]

    T. Das, S. Singha Roy, S. Bagchi, A. Misra, A. Sen(De), and U. Sen, Physical Review A94, 022336 (2016)

    2016

  13. [21]

    Boschi, S

    D. Boschi, S. Branca, F. De Martini, L. Hardy, and S. Popescu, Phys. Rev. Lett.80, 1121 (1998)

    1998

  14. [22]

    Sen(De) and U

    A. Sen(De) and U. Sen, Physical Review A81, 012308 (2010)

    2010

  15. [23]

    Xie and J

    S. Xie and J. H. Eberly, Physical Review Letters127, 040403 (2021)

    2021

  16. [24]

    Barnum and N

    H. Barnum and N. Linden, Journal of Physics A: Math- ematical and General34, 6787 (2001)

    2001

  17. [25]

    Osterloh, arXiv preprint arXiv:2501.07084 https://doi.org/10.48550/arXiv.2501.07084 (2025)

    A. Osterloh, arXiv preprint arXiv:2501.07084 https://doi.org/10.48550/arXiv.2501.07084 (2025)

    2025 doi arXiv

  18. [26]

    Androulakis and R

    G. Androulakis and R. McGaha, arXiv preprint arXiv:2203.02099 https://doi.org/10.48550/arXiv.2203.02099 (2022)

    2022 doi arXiv

  19. [27]

    Uhlmann, Entropy12, 1799 (2010)

    A. Uhlmann, Entropy12, 1799 (2010)

    2010

  20. [28]

    Aggarwal, International Journal of Theoretical Physics 64, 292 (2025)

    S. Aggarwal, International Journal of Theoretical Physics 64, 292 (2025)

    2025

  21. [29]

    W. D. Cook and R. J. Webster, Canadian Mathematical Bulletin15, 293–293 (1972). 9

    1972

  22. [30]

    L. P. Hughston, R. Jozsa, and W. K. Wootters, Physics Letters A183, 14 (1993)

    1993

  23. [31]

    E. J. McShane, Bulletin of the American Mathematical Society43, 521 (1937)

    1937

  24. [32]

    Ribeiro, L

    O.J.Farías, G.H.Aguilar, A.Valdés-Hernández, P.H.S. Ribeiro, L. Davidovich, and S. P. Walborn, Phys. Rev. Lett.109, 150403 (2012)

    2012

  25. [33]

    Z. Wang, C. Zhang, Y.-F. Huang, B.-H. Liu, C.-F. Li, and G.-C. Guo, Science Bulletin61, 714 (2016)

    2016

  26. [34]

    Mičuda, D

    M. Mičuda, D. Koutn` y, M. Miková, I. Straka, M. Ježek, and L. Mišta, Scientific Reports7, 45045 (2017)

    2017

  27. [35]

    Regula, Journal of Physics A: Mathematical and The- oretical51, 045303 (2017)

    B. Regula, Journal of Physics A: Mathematical and The- oretical51, 045303 (2017)

    2017

  28. [36]

    Vidal, W

    G. Vidal, W. Dür, and J. I. Cirac, Physical Review Let- ters89, 027901 (2002)

    2002

Pith tools

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