{"id":"12f94399-ff68-42eb-9975-f5c7990ec765","arxiv_id":"2411.17620","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Two-qubit entanglement space is parameterized by a 3-simplex and two octahedra, and the rank-4 separable states are written as a polynomial inequality system.","lead":"The paper introduces a coordinate system for the space of two-qubit quantum states, factoring out local operations that do not change entanglement. If it works, it could speed up numerical checks of non-local properties and give a geometric picture of the separable states.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The coordinate patch SU(4)=K A T^3 from [2] is the load-bearing unproved step; if it does not cover the generic non-degenerate rank-4 stratum, the 9-parameter model and all separability polynomials built on it collapse.","rationale":"The reader's weakest assumption is the same coordinate patch, so I agree. The patch is load-bearing because the semialgebraic inequalities are functions of its coordinates; a non-covering local section would not just shift coefficients but destroy the claimed product structure. I did not find a separate internal inconsistency: the PPT criterion for 2x2, the use of S3/S4, and the local dimension count are all consistent. The paper explicitly flags the omitted formulae and the local-only validity, which supports a CONDITIONAL rather than REJECT verdict. Supplying the factorization proof (or a machine-checked version of [2]) and the full coefficient list would upgrade the claim. Since the reviewer's verdict is already CONDITIONAL, no change is recommended.","tokens_in":5790,"tokens_out":18858,"duration_ms":185072,"concrete_test":"Independently verify the factorization: sample, say, 10^5 random U in SU(4) with non-degenerate spectra, and numerically solve U = K exp(a)exp(a') T with K in SU(2)xSU(2), T in T^3, and alpha,beta in the claimed octahedra. Check that (i) a solution exists for every sample, and (ii) the Jacobian of this parametrization has full rank 15 at generic points. Additionally, compare the sign of the claimed S3,S4 polynomial expressions from Section 3.2 (once all coefficients are supplied) against direct PPT checks on the same sample. Failure of (i) or (ii) invalidates Proposition II and the coordinate patch; a mismatch in the S3/S4 comparison invalidates the separability description.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The full construction rests on the factorization SU(4)=K A T^3 (Eq. 16) with A=exp a exp a', alpha,beta in octahedra. This is cited to [2] but not proved in this note. The representative state rho_d=6 in Eq. (18) exists only if every generic rank-4 state can be brought to this form by local unitaries, i.e. if the map (k,alpha,beta,t) -> k exp(a)exp(a') t is a local diffeomorphism onto an open subset of SU(4), and if the alpha,beta ranges are a fundamental domain for the double coset. If this local section fails at a single non-degenerate state, the dimension count Int(Delta_3) x O_h x O_h in Proposition II is wrong and the expressions for det C and C^(112) in Section 3.2 are not coordinates for the entanglement space. Separately, even accepting the patch, the paper withholds most of the coefficient list of Eq. (31), so the claimed semialgebraic variety is not explicitly available for verification. Both points are acknowledged by the authors; neither is resolved in the text.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":6006,"tokens_out":10896,"duration_ms":94076,"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":[{"comment":"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":"Section 2.2, Eqs (16)-(18)"},{"comment":"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.","section":"Section 3.2, Eq (31)"},{"comment":"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":"Summary"},{"comment":"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.","section":"Section 1, Proposition I"}],"minor_comments":[{"comment":"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":"Section 2.1, Eqs (10)-(11)"},{"comment":"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":"Section 2.2, after Eq (17)"},{"comment":"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.","section":"Section 3.1, Eq (23)"},{"comment":"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.","section":"Title and abstract"}],"recommendation":"major_revision","confidential_remarks":"The manuscript relies on the authors' own prior work for the crucial factorization [2] and for the invariant polynomial constraints [7], which makes independent verification difficult. The central separability condition is the well-known PPT criterion, so the novelty is the coordinate representation. Given that the full coefficient list is withheld, the main claim is not currently verifiable. The paper would need to be substantially expanded to be self-contained, with either a proof or a precise statement of the factorization and a complete list of coefficients."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nWhat 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.\n\nWhere 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.\n\nProportionally: 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.\n\nWho 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.\n\nRecommendation: 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.","headline":"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.","tokens_in":6545,"tokens_out":2880,"would_cite":false,"duration_ms":26377,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P16","14P10","22E70"],"pacs":[],"model":"deepseek-v4-flash","headline":"Generic rank-4 two-qubit separability is a semialgebraic variety: two polynomial inequalities in the eigenvalues, with trigonometric coefficients in two octahedral coordinate patches.","keywords":["entanglement space","two-qubit states","separability","semialgebraic variety","double coset","octahedral coordinates","partial transpose","unitary invariants"],"falsifier":"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}$.","tokens_in":78,"feed_emoji":"🔗","tokens_out":13944,"duration_ms":233034,"temperature":0.7,"pith_summary":"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.","feed_headline":"Two-qubit separability shrinks to two polynomial checks","feed_subtitle":"Entanglement space becomes a simplex times two octahedra, so separability is checkable algebraically.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the factorization SU(4)=KAT^3 and the octahedral coordinates that produce the 9-parameter representative (18), the basis of the whole coordinate system.","marker":"[2]"},{"why":"Gives the partial-transpose criterion that identifies separable two-qubit states with non-negative partial transpose, the starting point of the separability analysis.","marker":"[4]"},{"why":"Completes the equivalence between positivity under partial transpose and separability for 2-qubit systems, justifying use of the S3 and S4 inequalities.","marker":"[5]"},{"why":"Provides the explicit inequalities for S3 and S4 in terms of the correlation matrix and Bloch vectors, which are then translated into the new coordinates.","marker":"[7]"},{"why":"Supplies the fourth-degree SU(2)×SU(2)-invariant polynomial whose identity det M = det C − (1/2)C^{(112)} is used to compute the fourth-order separability inequality.","marker":"[8]"},{"why":"Introduces the picture of the entanglement space as the quotient of the state space by local unitary transformations, which the paper generalizes to the double-coset structure.","marker":"[1]"}],"fun_headline_variants":["Two-qubit separability is now algebraic","Entanglement space: simplex times two octahedra","Partial transpose shrinks to two inequalities","Rank-4 separable set becomes semialgebraic"],"cache_read_input_tokens":8704,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Two-qubit separability is now algebraic","Entanglement space: simplex times two octahedra","Partial transpose shrinks to two inequalities","Rank-4 separable set becomes semialgebraic"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000188,"raw_usage":{"total_tokens":1358,"prompt_tokens":998,"completion_tokens":360,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":614,"completion_tokens_details":{"reasoning_tokens":301}},"tokens_in":614,"tokens_out":360,"duration_ms":12195,"temperature":1.0,"reasoning_tokens":301,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T11:54:21.508221+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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}$.","supporting_citations":[{"cited_title":"One other parameterization of SU(4) group","cited_arxiv_id":"2408.14888","evidence_quote":"Supplies the factorization SU(4)=KAT^3 and the octahedral coordinates that produce the 9-parameter representative (18), the basis of the whole coordinate system."},{"cited_title":"Peres, Separability criterion for density matrices , Phys","cited_arxiv_id":null,"evidence_quote":"Gives the partial-transpose criterion that identifies separable two-qubit states with non-negative partial transpose, the starting point of the separability analysis."},{"cited_title":"Horodecki and P","cited_arxiv_id":null,"evidence_quote":"Completes the equivalence between positivity under partial transpose and separability for 2-qubit systems, justifying use of the S3 and S4 inequalities."},{"cited_title":"Gerdt, A","cited_arxiv_id":null,"evidence_quote":"Provides the explicit inequalities for S3 and S4 in terms of the correlation matrix and Bloch vectors, which are then translated into the new coordinates."},{"cited_title":"Quesne, SU(2)×SU(2) scalars in the enveloping algebra of SU(4) , J","cited_arxiv_id":null,"evidence_quote":"Supplies the fourth-degree SU(2)×SU(2)-invariant polynomial whose identity det M = det C − (1/2)C^{(112)} is used to compute the fourth-order separability inequality."},{"cited_title":"Linden and S","cited_arxiv_id":null,"evidence_quote":"Introduces the picture of the entanglement space as the quotient of the state space by local unitary transformations, which the paper generalizes to the double-coset structure."}],"review_version":1}