Towards parameterizing the entanglement body of a qubit pair

Arsen Khvedelidze; Astghik Torosyan; Dimitar Mladenov

REVIEW 4 major objections 4 minor 9 references

Towards parameterizing the entanglement body of a qubit pair

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

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

Pith's one-line read Generic rank-4 two-qubit separability is a semialgebraic variety: two polynomial inequalities in the eigenvalues, with trigonometric coefficients in two octahedral coordinate patches.

desk verdict Plausible but incomplete: the claimed semialgebraic description of separable two-qubit states is not actually written down, and the coordinate patch rests on an unproved factorization. read the letter →

arxiv 2411.17620 v1 pith:5BPYMWJ5 submitted 2024-11-26 quant-ph math-phmath.GRmath.MP

Arsen Khvedelidze , Dimitar Mladenov , Astghik Torosyan This is my paper · ORCID

classification quant-phmath-phmath.GRmath.MP MSC 81P1614P1022E70

keywords entanglementspacetwo-qubitstatesseparabilitysemialgebraicvarietydoublecosetoctahedralcoordinatespartialtransposeunitaryinvariants

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

This paper establishes a coordinate system for the generic part of the two-qubit entanglement space—the set of density matrices modulo local unitary transformations. In these coordinates, which combine the four eigenvalues with six angles on two octahedra, the entanglement space is locally a product $\mathrm{Int}(\Delta_3) \times O_h \times O_h$. The authors then show that the rank-4 separable states are exactly the points satisfying two polynomial inequalities obtained from the partial transpose, with coefficients that are trigonometric functions of the octahedral angles. The payoff is a reduction from the 15 real parameters of a general two-qubit density matrix to 9 entanglement-space coordinates, making separability checks and other non-local quantities more tractable.

What carries the argument

The load-bearing object is the factorization $\mathrm{SU}(4)=KAT^3$, where $K=\mathrm{SU}(2)\times\mathrm{SU}(2)$ is the local unitary group and $A=\exp a\,\exp a'$ with the triplets $\alpha$ and $\beta$ parametrizing two regular octahedra; this factorization supplies the 9 coordinates (three SVD variables $x,y,z$ plus six octahedral angles) and yields the orbit representative $\rho_{d=6}$ together with the local product structure $\mathrm{Int}(\Delta_3)\times O_h\times O_h$. The second mechanism is the reduction of separability to the partial-transpose characteristic-polynomial coefficients $S_3$ and $S_4$, together with the identity $\det M=\det C-\tfrac12 C^{(112)}$, where $C^{(112)}$ is a fourth-degree $\mathrm{SU}(2)\times\mathrm{SU}(2)$-invariant polynomial; this identity turns the fourth-order separability condition into an explicit trigonometric polynomial.

What would settle it

Generate many full-rank separable two-qubit states as convex mixtures of product states, convert each to the 9 coordinates via the SU(4)=$KAT^{3}$ factorization, and test whether the two inequalities S3 ≥ 0 and S4 ≥ 0 hold; a single separable state violating them, or a non-separable state satisfying them, would disprove the semialgebraic description. Separately, one can check the coordinate patch itself by computing whether the map from the two octahedra times the maximal torus covers the full double coset SU(2)×SU(2)\SU(4)/$T^{3}$.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that the generic (rank-4, non-degenerate) part of the two-qubit entanglement space admits the local factorization $\mathrm{Int}(\Delta_3) \times O_h \times O_h$, where $\Delta_3$ is the ordered simplex of eigenvalues and $O_h$ is the regular octahedron of edge $2\pi\sqrt{2}$. Using the group factorization $\mathrm{SU}(4)=KAT^3$ with $K=\mathrm{SU}(2)\times\mathrm{SU}(2)$ and $A=\exp a\,\exp a'$, every such state is brought to the 9-parameter representative $\rho_{d=6}=A\,\mathrm{diag}(r_1,r_2,r_3,r_4)\,A^{\dagger}$. On this representative the partial-transpose separability conditions become two explicit inequalities, $0\le S_3+\tfrac14\det C\le\tfrac1{16}$ and $0\le S_4+\tfrac1{16}\det M\le\tfrac1{256}$, in which $\det C$ is a trigonometric polynomial and $\det M$ is obtained from $\det C$ through a fourth-order invariant identity. The rank-4 separable subset $\mathcal{SE}_{2\times2}$ is thereby described as a 7-dimensional semialgebraic variety rather than as a convex body cut out by transcendental conditions.

Load-bearing premise

The whole construction assumes that the factorization SU(4)=$KAT^{3}$, cited from an earlier paper, provides a valid local coordinate patch covering every non-degenerate rank-4 two-qubit state; if some generic orbit is missed, the 9-parameter representative and the separability description built on it do not cover the entanglement space.

Editorial extensions

If this is right

Any generic two-qubit state can be handled with 9 coordinates instead of 15 real density-matrix entries, so computing invariant properties becomes a smaller problem.
Separability of a generic state is decided by checking two polynomial inequalities in these coordinates, avoiding search over all possible decompositions.
The inequality coefficients depend on only four of the six angular coordinates, revealing partial symmetries of the separable region.
The rank-4 separable set is a 7-dimensional semialgebraic variety, giving the entanglement body an explicit algebraic boundary.
The same coordinates provide a local chart on the double coset $\mathrm{SU}(2)\times\mathrm{SU}(2)\backslash\mathrm{SU}(4)/T^3$, so every local-unitary-invariant quantity is expressible in these 9 variables.

Reading between the lines

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

The authors do not present numerical sampling, but the explicit inequalities could be used for a Monte Carlo estimate of the volume of separable states among generic two-qubit states.
Because $\det C$ is proportional to $z$ and contains $\sin(2\alpha_3)\sin(2\beta_2)$, the inequalities suggest that separability depends sensitively on the signs of these octahedral coordinates, a dependence the paper does not explore.
The factorization strategy could be tried on other bipartite systems, although the double coset would no longer be a product of octahedra and the algebraic complexity would likely increase.
The polynomial inequalities could be fed into constrained-optimization routines to compute distances to the separable set, yielding quantitative entanglement measures that the paper leaves for future work.

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.

Desk Editor's Note

read the letter

Short version: this is a genuine but incomplete attempt to give explicit coordinates for the two-qubit entanglement space and to write the separable set as a semialgebraic variety in those coordinates. The specific product structure Int(Delta_3) x O_h x O_h and the expression of det C are new as far as I can tell. The paper is honest about what it omits, but what it omits is most of the central claim.

What the paper does well: the calculation of det||C|| is fully written out and has a nice structural observation — the coefficients depend on only four of the six octahedron coordinates. The idea to use the SU(4)=K A T^3 factorization to build a section of the double coset is natural, and the representative rho_{d=6} is clean. If the factorization is solid, the dimension count is convincing.

Where it is soft: the coordinate patch is the load-bearing step and it is not proved here; it is cited to the authors' own [2]. Maybe [2] proves it, but in this note the reader has to take it on faith, and the text says 'we got convinced' rather than 'the following lemma holds'. If that factorization fails to cover some generic rank-4 state, the whole model collapses. Second, the central separability description is explicitly not written down: Section 3.2 gives only p022 and says the rest are bulky. The abstract claims a semialgebraic variety, but the polynomial system is not actually available for verification. That is a real gap, not just a minor omission. Third, Proposition I is stated without proof, though it looks like standard stratification and is less concerning.

Proportionally: I don't think the construction is wrong. The pieces are plausible and the authors are up-front about what they are holding back. But the paper as written is not self-contained enough for its central claims to be checked. It is a 'towards' note, and should be judged as such.

Who gets value: people working on two-qubit entanglement geometry or numerical evaluation of non-local properties might find the coordinate representation useful if the full system appears. The completeness gaps mean I would not yet cite it in my own work.

Recommendation: it deserves a serious referee, but the referee should insist on either the full coefficient list as a supplement or a pointer to a verified computation, and a clear proof or precise theorem reference for the factorization. If the authors supply those, it's a solid short paper. As it stands, it's a useful progress report but not a finished result.

Referee Report

4 major / 4 minor

Summary. The manuscript proposes a 9-parameter coordinate system for a generic section of the two-qubit entanglement space, based on the factorization SU(4)=K A T^3 taken from the authors' previous work [2]. It claims that the rank-4 separable states form a semialgebraic subset described by a system of cubic and quartic polynomial inequalities in the eigenvalues of the density matrix, with coefficients that are trigonometric functions of coordinates on two octahedra. The paper states two propositions about the local structure of the entanglement space, gives an explicit formula for the determinant of the correlation matrix, and provides one representative coefficient of the Quesne invariant, leaving the remaining coefficients to an omitted calculation.

Significance. If the coordinate patch is valid, the paper offers a concrete 9-dimensional parameterization of a generic section of the two-qubit entanglement space and a reformulation of the known PPT separability criterion in these coordinates. The explicit trigonometric structure of the coefficients could be useful for numerical exploration. However, the central construction is not self-contained: it relies on an unproved factorization from [2], and the full polynomial system is not written out. The paper is honest about these limitations, and the sample expressions do illustrate the structural claims, but as it stands the main results are not verifiable from the text.

major comments (4)

[Section 2.2, Eqs (16)-(18)] The factorization SU(4)=K A T^3 is cited to [2] but is not stated as a precise theorem, proved, or given a domain of validity. The representative form (18) claims that every non-degenerate rank-4 state is GL-equivalent to A diag(r1,...,r4) A†, which requires the map (k, α, β, t) ↦ k exp(a) exp(a′) t to cover the generic stratum of SU(4). Without a proof or a precise statement of the image, the dimension count Int(Δ3) × O_h × O_h in Proposition II and the separability formulas built on it are not grounded.
[Section 3.2, Eq (31)] The paper's main claim—that the separable rank-4 states form a semialgebraic variety—is not actually demonstrated, because the full polynomial system is not written out. The text states that only 9 of the 15 coefficients p_{i1 i2 i3} are non-vanishing and depend on four octahedral coordinates, but it omits all but p022. As a result, the inequalities (23) cannot be written down in entanglement-space coordinates, and a reader cannot verify the semialgebraic description or the stated properties (e.g., the number of non-vanishing coefficients). This is a central, load-bearing omission.
[Summary] The summary states that the subset SE_2×2 is a '7-dimensional semialgebraic variety.' This is inconsistent with the 9-dimensional local product structure E^4_{2×2} = Int(Δ3) × O_h × O_h and with the fact that the rank-4 separable states have non-empty interior in the state space. Please clarify whether '7-dimensional' is a typo; if it is intentional, the dimension computation must be provided.
[Section 1, Proposition I] Proposition I is stated without proof. The direct product structure P[Hα] = Δ_N^(α) × G/Hα is used to justify the entanglement-space decomposition (9) and the local product form for two qubits. If this is a standard slice theorem, a precise statement and a full reference are needed; otherwise a proof should be included. As it stands, the proposition is an unsupported assertion in a foundation of the paper.

minor comments (4)

[Section 2.1, Eqs (10)-(11)] The normalization in the Fano-basis expansion is confusing: Eq (10) uses a factor i/2 while the basis elements in Eq (11) contain 1/(2i). Please specify the convention explicitly and check that the coefficients a, b, c are real under this convention.
[Section 2.2, after Eq (17)] The ranges of α and β are said to be two copies of an octahedron with edge length 2π√2, but no explicit inequalities for the coordinates are given. For the coordinate patch to be useful, the fundamental domain for the double coset should be described precisely.
[Section 3.1, Eq (23)] The phrase 'the subset S4 is determined by the non-negativity of 3rd and 4th order coefficients' should be phrased more carefully: positivity of all coefficients of the characteristic polynomial is equivalent to semi-positivity only for the full characteristic polynomial; the invariance of S2 under partial transpose should be explicitly stated as the reason S2 is omitted.
[Title and abstract] The title contains a spacing artifact ('pai r'), and the abstract's phrase 'coordinates on a generic section' could be clarified to indicate that the parameterization is local and applies to the generic (non-degenerate) stratum.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the cited factorization and invariant-polynomial results are independent prior mathematical inputs, and the separability description is a coordinate rewrite of the external PPT criterion.

full rationale

The paper's central construction is a coordinate parameterization of the SU(2)xSU(2) orbit space of two-qubit states, based on the factorization SU(4)=K A T^3 imported from the authors' previous paper [2]. This self-citation is load-bearing, but it is not circular: [2] is an independent parameter-free factorization theorem about SU(4), not a statement about separability, and nothing in the present paper is fitted or constructed so as to make that factorization true. The separability description in Section 3 starts from the Peres-Horodecki criterion, explicitly cited to [4,5], and the explicit invariant-polynomial inequalities of [7]; it then rewrites those inequalities in the new coordinates by calculating det C and C^(112). Since PPT is known to be equivalent to separability for 2x2 systems, presenting the resulting conditions as a semialgebraic variety is a legitimate coordinate rewriting of an external theorem, not a derivation of the criterion from the parameterization. The self-citation to [7] is also support for an algebraic identity, not for the target separability claim. The paper honestly notes that the decomposition is only local (footnote 1) and that most coefficients of Eq. (31) are omitted; those are incompleteness or correctness risks, not circularity. No step reduces by construction to its own input, so the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no fitted constants and no new physical entities. It relies on standard group action geometry and on two external results: the SU(4) factorization from the authors' previous paper and the PPT separability criterion. The counted axioms are the main unproved inputs.

assumptions (5)

standard math The local unitary group GL = SU(2) x SU(2) acts on P4 and the quotient E_{2x2} = P4/GL contains all non-local information.
Used implicitly in Section 1 and throughout; this is a standard group action reduction, not proved in the paper.
standard math Each state space stratum near a state with isotropy H is locally a direct product of a simplex of eigenvalues and the coset G/H (Proposition I).
Proposition I, Section 1, is stated without proof and is load-bearing for the local decomposition of the entanglement space.
domain assumption The factorization SU(4)=K A T^3 with A=exp a exp a' and octahedral coordinates (alpha,beta) covers the generic double cosets.
Section 2.2, Eqs (16)-(18). The authors take this from their previous paper [2] and do not prove it here; the octahedron coordinates are the heart of the 9-parameter description.
domain assumption For two qubits, positive partial transpose (PPT) is equivalent to separability.
Section 3, citing Peres [4] and Horodecki [5]. This is a known theorem, but the separability description depends on it.
standard math A 4x4 density matrix is positive semidefinite if and only if the coefficients S3 and S4 of its characteristic polynomial are non-negative.
Section 3.1, Eq (22)-(23). This is used to turn PPT into the polynomial inequalities.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Towards parameterizing the entanglement body of a qubit pair." pith.science (2026). https://pith.science/paper/5BPYMWJ5

@misc{pith2026241117620,
  author       = {Pith},
  title        = {Pith review of: Towards parameterizing the entanglement body of a qubit pair},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/5BPYMWJ5}},
  note         = {Machine review of arXiv:2411.17620}
}

abstract

A method allowing to increase a computational efficiency of evaluation of non-local characteristics of a pair of qubits is described. The method is based on the construction of coordinates on a generic section of 2-qubit's entanglement space $\mathcal{E}_{2\times2}$ represented as the direct product of an ordered 3-dimensional simplex and the double coset $\mathrm{SU(2)}\times\mathrm{SU(2)}{\backslash} {\mathrm{SU(4)}}/ \mathrm{T^3}\,.$ Within this framework, the subset $\mathcal{SE}_{2\times2} \subset\mathcal{E}_{2\times2}$ corresponding to the rank-4 separable 2-qubit states is described as a semialgebraic variety given by a system of 3rd and 4th order polynomial inequalities in eigenvalues of the density matrix, whereas the polynomials coefficients are trigonometric functions defined over a direct product of two regular octahedra.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages

[2]

One other parameterization of SU(4) group

A. Khvedelidze, D.Mladenov and A.Torosyan, One other parameterization of SU(4) group , 10.48550/arXiv.2408.14888, 2024

work page Pith review arXiv doi:10.48550/arxiv.2408.14888 2024
[1]

Linden and S

N. Linden and S. Popescu, On multi-particle entanglement , Fortsch.Phys. 46, 567-578, 1998

work page 1998
[3]

Bengtsson and K

I. Bengtsson and K. Zyczkowski, Geometry of Quantum States: An Introduction to Quantum Enta ngle- ment, Cambridge University Press, 2006

work page 2006
[4]

Peres, Separability criterion for density matrices , Phys

A. Peres, Separability criterion for density matrices , Phys. Rev. Lett. 77, 1413-1415, 1996

work page 1996
[5]

Horodecki and P

M. Horodecki and P. Horodecki, Reduction criterion of separability and limits for a class o f distillation protocols, Phys. Rev. A 59 , 4206-4216, 1999. 7

work page 1999
[6]

Werner, Quantum states with Einstein-Podolsky-Rosen correlation s admitting a hidden-variable model, Phys

R.F. Werner, Quantum states with Einstein-Podolsky-Rosen correlation s admitting a hidden-variable model, Phys. Rev. A 40 (8), 4277-4281, 1989

work page 1989
[7]

Gerdt, A

V. Gerdt, A. Khvedelidze and Yu. Palii, Constraints on SU(2) ×SU(2) invariant polynomials for entan- gled qubit pair , Phys. of Atomic Nuclei 74, 893-900, 2011

work page 2011
[8]

Quesne, SU(2)×SU(2) scalars in the enveloping algebra of SU(4) , J

C. Quesne, SU(2)×SU(2) scalars in the enveloping algebra of SU(4) , J. Math. Phys. 17(8), 1452-1467, 1976

work page 1976

Show all 9 references

[9]

Gerdt, A

V. Gerdt, A. Khvedelidze and Yu. Palii, On the ring of local polynomial invariants for a pair of entan gled qubits, J. Math. Sci. 168, 368-378, 2010. 8

2010

Pith tools

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

[1] [2]

One other parameterization of SU(4) group

A. Khvedelidze, D.Mladenov and A.Torosyan, One other parameterization of SU(4) group , 10.48550/arXiv.2408.14888, 2024

work page Pith review arXiv doi:10.48550/arxiv.2408.14888 2024

[2] [1]

Linden and S

N. Linden and S. Popescu, On multi-particle entanglement , Fortsch.Phys. 46, 567-578, 1998

work page 1998

[3] [3]

Bengtsson and K

I. Bengtsson and K. Zyczkowski, Geometry of Quantum States: An Introduction to Quantum Enta ngle- ment, Cambridge University Press, 2006

work page 2006

[4] [4]

Peres, Separability criterion for density matrices , Phys

A. Peres, Separability criterion for density matrices , Phys. Rev. Lett. 77, 1413-1415, 1996

work page 1996

[5] [5]

Horodecki and P

M. Horodecki and P. Horodecki, Reduction criterion of separability and limits for a class o f distillation protocols, Phys. Rev. A 59 , 4206-4216, 1999. 7

work page 1999

[6] [6]

Werner, Quantum states with Einstein-Podolsky-Rosen correlation s admitting a hidden-variable model, Phys

R.F. Werner, Quantum states with Einstein-Podolsky-Rosen correlation s admitting a hidden-variable model, Phys. Rev. A 40 (8), 4277-4281, 1989

work page 1989

[7] [7]

Gerdt, A

V. Gerdt, A. Khvedelidze and Yu. Palii, Constraints on SU(2) ×SU(2) invariant polynomials for entan- gled qubit pair , Phys. of Atomic Nuclei 74, 893-900, 2011

work page 2011

[8] [8]

Quesne, SU(2)×SU(2) scalars in the enveloping algebra of SU(4) , J

C. Quesne, SU(2)×SU(2) scalars in the enveloping algebra of SU(4) , J. Math. Phys. 17(8), 1452-1467, 1976

work page 1976