{"id":"d4e5963b-5ea5-4047-9876-910ddcd1fe65","arxiv_id":"2601.16840","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Two copies of a three-qutrit biseparable state that is entangled across every bipartition can be transformed by local operations into a genuinely multipartite entangled state.","lead":"Two copies of a special 'almost entangled' three-party quantum state can be converted, using only local measurements and communication, into a genuinely entangled state shared by all three parties. The authors show this works for higher-dimensional qutrit systems with just two copies, and extend the recipe to more parties.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"General rank-2 biseparable states are not shown to reduce to the orthogonal-spectator form of Eq. (8); the advertised two-copy claim overgeneralizes beyond the proven special case.","rationale":"Proposition 2's algebra is internally sound: the projection I−|0⟩⟨0| selects the correct term and leaves a pure Schmidt-rank-2 state, and Bob's joint parity measurement on the two extracted copies produces a GHZ-like state. My concern is not with the calculation but with the scope of the claim. The abstract sells a result about 'rank-two biseparable states' generally, while the proof handles only the orthogonal-spectator family. The one sentence in Prop. 1 claiming other forms reduce is an unsupported assertion; it does not cover qutrit forms. This is an overclaim rather than a mathematical error in the construction. The reader's weakest_assumption already flagged this for Prop. 1; I extend it to the abstract's reading of Prop. 2, so agreement is partial. The proposed test would decide whether the special form is representative or whether the result is an existence proof for a narrow family.","tokens_in":11184,"tokens_out":32396,"duration_ms":291576,"concrete_test":"Take ρ' = p|ψ⟩⟨ψ|_AB⊗|φ⟩⟨φ|_C + (1−p)|χ⟩⟨χ|_A⊗|ψ⟩⟨ψ|_BC on C^3⊗C^3⊗C^3 with |ψ⟩=Σ a_i|ii⟩ Schmidt rank 3, and |φ⟩,|χ⟩ not equal to |0⟩ (e.g., |φ⟩=(|0⟩+|1⟩)/√2, |χ⟩=|+⟩). Apply Charlie's two-outcome measurement {I−P0, P0} for P0=|0⟩⟨0| (or any local projective strategy) and check whether the state after the outcome, traced over A, is a pure entangled state for at least one outcome. If it is always mixed, the protocol's special-form assumption is essential. Alternatively, test whether there exists an SLOCC filter sending ρ' to Eq. (8); if not, the asserted reduction in the paragraph after Eq. (3) is unsupported.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The proof of Proposition 2 (Section III.A, Eq. (8)) constructs the two-copy protocol only for rank-2 states of the special form p|ψ⟩⟨ψ|_AB⊗|0⟩⟨0|_C + (1−p)|0⟩⟨0|_A⊗|ψ⟩⟨ψ|_BC, where the spectator systems sit in the fixed orthogonal product state |0⟩. The protocol's first step relies on a projective measurement I−|0⟩⟨0| on Charlie's system that kills the AB|C term entirely and leaves a pure BC entangled state. This mechanism fails if the spectator states are not exactly |0⟩ or if the two terms are not in this orthogonal form. The paper's abstract claims 'two copies of rank-two biseparable states... are sufficient,' and the paragraph after Eq. (3) in Proposition 1 asserts without proof that other rank-2 biseparable forms reduce to this case. No reduction is given for three-qutrit (or general) rank-2 biseparable states. Thus the central claim is only established for the special Eq. (8) family, not for arbitrary rank-2 biseparable states entangled across every bipartition.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies activation of genuine multipartite entanglement (GME) from copies of biseparable states that are entangled across every bipartition but not genuinely multipartite entangled. It presents three constructions: (1) Proposition 1 claims that any three-qubit rank-2 biseparable state is useful for GME activation by distilling bipartite Bell pairs and teleporting locally prepared GME states; (2) Proposition 2 claims that, for three-qutrit systems, two copies of a rank-2 biseparable state suffice: one copy is projected to produce an entangled AB pair, the other to produce a BC pair, and Bob's local measurement merges them into a GHZ-like state; (3) Section III.C generalizes the two-copy idea to four parties with three copies. The paper also analyses a special family in Section III.B where Bell pairs are obtained deterministically conditioned on measurement outcomes, and notes that the output pure GHZ states can exhibit genuine nonlocality.","tokens_in":11371,"tokens_out":30264,"duration_ms":265271,"significance":"The constructive parts of the paper are explicit and plausible: the measurements are simple, the output states are pure GHZ-like states, and the protocol does not require joint measurements across copies in the sense of simultaneous correlated measurements on the copies. If the advertised universality were established, the two-copy qutrit result would be a clean contrast to the three-qubit distillation-based protocol. However, as written the central claims are broader than what the proofs establish. The two-copy claim is proved only for the special family in Eq. (8), and Proposition 1 rests on an unproved reduction of general rank-2 biseparable states to a special form. The ideas are valuable, but the manuscript requires a major revision to align its claims with its proofs.","major_comments":[{"comment":"The proof assumes that every relevant three-qubit rank-2 biseparable state can be written as in Eq. (3), i.e. as a convex combination of exactly two pure biseparable terms with partitions AB|C and A|BC. The text states that 'the type of states we talk about here can have different forms other than the above form' but that activation for the above form implies activation for the other forms. This reduction is asserted, not proved. The filtering step at C or A relies on being able to kill one term by projecting out a fixed single-qubit spectator state; this mechanism is not shown to work for rank-2 states whose pure biseparable terms use the partitions AB|C and AC|B, or for rank-2 states whose biseparable decompositions require more than two pure terms. Proposition 1's universal statement is therefore unsupported as it stands.","section":"Section III, Proposition 1, paragraph after Eq. (3)"},{"comment":"The abstract claims that 'two copies of rank-two biseparable states, entangled across every bipartition, are sufficient' to generate GME. Proposition 2 and its proof, however, construct the protocol only for the special family in Eq. (8), where the spectator systems are fixed to |0> and the two terms have the orthogonal-spectator structure. The first step of the protocol is the projective measurement I−|0><0| on Charlie or Alice; this kills one term exactly only because that term has the spectator in |0>. No argument is given that every three-qutrit rank-2 biseparable state entangled across every bipartition can be reduced, by local filtering or otherwise, to this form. Thus the advertised two-copy sufficiency is not established for general rank-2 states; at most, the proof establishes the existence of a family for which two copies suffice.","section":"Abstract and Section III.A, Proposition 2"},{"comment":"The same generality gap appears in the multipartite generalization. Proposition 3 states that 'there are rank-3 biseparable states in C^4⊗C^4⊗C^4⊗C^4' and that three copies of such states suffice. This is an existence statement, which is fine, and the proof for the specific family in Eq. (11) is plausible. However, the surrounding text and the conclusion suggest a broader claim that the protocol generalizes to arbitrary rank-3 biseparable states. The proof does not show this; the measurement at C and D relies on the spectator states |0> and |1> being orthogonal product states that can be killed by projectors. The scope of Proposition 3 should be stated as 'there exist rank-3 states...' and the generalization sentence after the proof should be qualified accordingly.","section":"Section III.C, Proposition 3"}],"minor_comments":[{"comment":"The unnormalized post-measurement state in Eq. (6) omits the probabilities and normalization factors. The actual unnormalized state after Charlie's |0> outcome is p|φ+><φ+| + ((1−p)/2)|10><10|, not |φ+><φ+|+|10><10|. This does not change the inseparability conclusion but should be corrected.","section":"Section III, example after Proposition 1, Eq. (6)"},{"comment":"In the construction that combines two (or three) pure entangled pairs, the authors describe Bob's measurement in the {|+>,|−>} basis and state that the outcome gives the GHZ-like state. This is true for the |+> outcome; for the |−> outcome the state is locally equivalent up to a sign/Pauli correction. Since the protocol only needs nonzero success probability, the claim is acceptable, but the text should either say 'for the |+> outcome' or state that the other outcome is equivalent under a local unitary.","section":"Section III.A, end of Proposition 2 and Section III.C"},{"comment":"The formula P_n = 1 − (1−p)^n is the success probability for obtaining the second Bell pair conditioned on already having obtained the first one. The overall success probability for the whole two-pair protocol is not written explicitly. The conditioning should be stated to avoid ambiguity.","section":"Section III.B, Eq. (10)"},{"comment":"Reference [12] ('Non-existence of bipartite bound entanglement with negative partial transposition') appears in the resource-theory citation block [12–18] and seems unrelated to the statement being cited. The authors should check the citation placement. In addition, the claim that Eq. (8) is entangled across every bipartition is not proved; although it is plausible, a short argument would help the reader.","section":"Section II and reference list"}],"recommendation":"major_revision","confidential_remarks":"The core issue is the mismatch between the advertised universal claims and the special families actually proved. The constructive protocols for the families in Eqs. (8) and (11) appear correct and are worth publishing. The revision should either (i) provide a rigorous reduction of general rank-2 biseparable states to the orthogonal-spectator form, or (ii) explicitly restrict the abstract, title, and propositions to the existence of such states. I do not see a fatal flaw in the special-family protocols, so this is a scope-and-proof issue rather than a rejection of the underlying construction."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me give you the quick version. The paper has one solid, genuinely new construction: from two copies of a three-qutrit biseparable state of the form p|ψ><ψ|_AB⊗|0><0|_C + (1-p)|0><0|_A⊗|ψ><ψ|_BC, with |ψ> of Schmidt rank 3, local projections on A and C leave pure two-qubit entangled states between AB and BC, and a two-outcome measurement on Bob's two qubits fuses them into an (unnormalized) GHZ-like state. That is a legitimate LOCC activation protocol with minimal copies, no joint measurements across copies, and it generalizes cleanly to more parties. The proof is explicit and builds on standard distillation results, so the math checks out as far as I can see. Credit where it's due: this is a simple and useful idea, and the paper is honest about what the protocol does.\n\nThe soft spot is scope. Proposition 2 proves the two-copy activation for the specific family in Eq. (8), but the abstract says 'two copies of rank-two biseparable states ... are sufficient' with no qualifier. That reads as a universal claim, and it isn't shown. The paper asserts, in the proof of Proposition 1, that other rank-2 biseparable forms reduce to the canonical one; no proof is given, and it's not obvious that an arbitrary rank-2 biseparable qutrit state has the orthogonal-spectator structure this protocol needs. So the headline result is really an existential statement about a constructed family, not a general activation theorem. That's a meaningful difference. The claimed contrast with the three-qubit scenario ('many copies might be required') is also not established, since no lower bound is shown for qubits. And the comparison with the existing multi-copy activation literature ([9,10,11,26]) is thin; the paper doesn't explicitly rule out that a similar protocol is already known.\n\nNone of this sinks the core construction. But the abstract and the propositions should be rewritten to match the proven family, and the reduction claim should either be proved or removed. A referee should push on the gap between the existential result and the advertised generality, and on the novelty comparison.\n\nBottom line: this deserves a serious referee, not a desk reject. The protocol is correct, the paper is clearly written, and the overclaim is fixable. I'd send it for review with a request for revision. I'd also bring it to a reading group if someone is working on entanglement activation.","headline":"Correct and clean two-copy LOCC activation protocol for a special family of qutrit biseparable states, but the abstract overclaims universality — worth reviewing with a required revision.","tokens_in":11951,"tokens_out":4747,"would_cite":true,"duration_ms":45410,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Two copies of certain three-qutrit biseparable states can be converted, using only local operations and classical communication, into a genuinely multipartite entangled state with nonzero probability.","keywords":["genuine multipartite entanglement","entanglement activation","biseparable states","LOCC","qutrit","GHZ state","nonlocality activation","quantum resource theory"],"falsifier":"Find a rank-two three-qutrit biseparable state, entangled across every bipartition, whose two pure terms have non-orthogonal spectator states (e.g., |0⟩ and |+⟩ = (|0⟩+|1⟩)/√2), and show that no single local projective measurement on either copy can yield a pure bipartite entangled state; such a state would fall outside Proposition 2 and disprove the generality claim.","tokens_in":10958,"feed_emoji":"⚛️","tokens_out":6316,"duration_ms":53174,"temperature":0.7,"pith_summary":"Biseparable states are entangled across every bipartition but lack genuine multipartite entanglement; the paper asks whether copies of such states can be used to create genuine multipartite entanglement. It shows that two copies of a rank-two three-qutrit biseparable state suffice, provided the state has the form where the non-entangled party sits in a fixed product state. The protocol processes one copy at a time, using only local projective measurements and classical communication, and never performs joint measurements on the copies. The output is a pure GHZ-type state, which is genuinely multipartite entangled and genuinely nonlocal, so the scheme activates a stronger resource than entanglement alone. The construction also extends to four and more parties, with the required number of copies growing accordingly.","feed_headline":"Two copies of a biseparable state make true multipartite entanglement","feed_subtitle":"Local measurements on two qutrit states that lack genuine entanglement yield a GHZ-like state — and genuine nonlocality.","key_machinery":"The central mechanism is the 'orthogonal spectator' structure of the biseparable state: in each term, the party not sharing the bipartite entanglement sits in a fixed product state (|0⟩). A single local projective measurement that includes that product state cleanly discards the unwanted term, leaving a pure bipartite entangled state. The second ingredient is a two-qubit combining step: the party holding one qubit of each of the two resulting Bell-like states performs a joint two-qubit measurement {|00⟩⟨00|+|11⟩⟨11|, |01⟩⟨01|+|10⟩⟨10|} followed by a |+⟩/|−⟩ basis measurement and a trace-out, which projects the three-party state onto a GHZ-type state a²|000⟩+b²|111⟩. This avoids any joint mea","core_discovery":"At the heart of the paper is Proposition 2: from two copies of a three-qutrit rank-two biseparable state of the form ρ = p|ψ⟩⟨ψ|_AB ⊗ |0⟩⟨0|_C + (1−p)|0⟩⟨0|_A ⊗ |ψ⟩⟨ψ|_BC, with |ψ⟩ = Σ a_i|ii⟩ of Schmidt rank 3, the three parties can, via LOCC, prepare a genuinely multipartite entangled state with nonzero probability. The proof works by measuring the spectator subsystem (Charlie on one copy, Alice on the other) in a basis that contains the fixed product state; the successful branch leaves a pure bipartite entangled state between the remaining pair. Two such pure states, shared as AB and BC, are then combined by Bob — the party holding one half of each — into a GHZ-type state a²|000⟩+b²|111⟩","pith_inferences":["This suggests a broader principle: for rank-two biseparable states with orthogonal spectators, the minimal number of copies needed for activation may equal one less than the Schmidt rank of the entangled branches — two copies for Schmidt rank three, three for rank four — which would explain why three qubits (Schmidt rank two) require distillation and many copies.","If the asserted reduction of arbitrary rank-two biseparable forms to the orthogonal-spectator form is correct, the two-copy result would apply to a wide family of states, not just the explicit example; testing this reduction is the most direct way to extend the result.","The same 'measure the spectator, then combine the two surviving bipartite resources' template could be applied to other quantum resources, such as genuine multipartite steering or conference key agreement, wherever the input state has the same structural form.","A photonic experiment with two qutrit copies could confirm the activation by checking that the output violates a genuine tripartite Bell inequality; the protocol's success branch is heralded, so the not-yet-entangled failures can be discarded."],"forward_implications":["Two copies of a three-qutrit rank-two biseparable state with full Schmidt-rank entanglement suffice for genuine multipartite entanglement activation; three-qubit states of the same rank require distillation and many copies.","The protocol never performs joint measurements on the copies; each copy is processed by a local projection alone, so it is experimentally milder than multi-copy correlated measurement schemes.","The output is a pure state of GHZ type, which is genuinely nonlocal; hence the scheme activates genuine multipartite nonlocality, not just entanglement.","For the C³⊗C²⊗C³ class σ, the probability of extracting a Bell pair from a copy is 1 (one of the two outcomes always succeeds), and repeated trials push the overall success probability to 1 asymptotically.","The construction generalizes to four parties using three copies of a rank-three biseparable state, and to more parties with correspondingly more copies and higher rank."],"fun_headline_variants":["Two biseparable copies suffice for genuine multipartite entanglement","Qutrit advantage: two biseparable copies activate true entanglement","Two copies of a biseparable state yield a GHZ-like state","Biseparable to genuine in three qutrits: just two copies","From biseparable to genuine: minimal copies for qutrit entanglement"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The two-copy protocol relies on the biseparable state having (or being reducible to) a form in which the non-entangled party in each term is in a fixed product state, so a single local projection cleanly isolates a pure bipartite entangled state; the paper asserts this reduction without proof.","fun_headline_variants_meta":{"raw":{"variants":["Two biseparable copies suffice for genuine multipartite entanglement","Qutrit advantage: two biseparable copies activate true entanglement","Two copies of a biseparable state yield a GHZ-like state","Biseparable to genuine in three qutrits: just two copies","From biseparable to genuine: minimal copies for qutrit entanglement"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000289,"raw_usage":{"total_tokens":1531,"prompt_tokens":750,"completion_tokens":781,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":494,"completion_tokens_details":{"reasoning_tokens":696}},"tokens_in":494,"tokens_out":781,"duration_ms":7690,"temperature":1.0,"reasoning_tokens":696,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-03T08:30:13.089165+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a rank-two three-qutrit biseparable state, entangled across every bipartition, whose two pure terms have non-orthogonal spectator states (e.g., |0⟩ and |+⟩ = (|0⟩+|1⟩)/√2), and show that no single local projective measurement on either copy can yield a pure bipartite entangled state; such a state would fall outside Proposition 2 and disprove the generality claim.","supporting_citations":[],"review_version":1}