{ "profile": "wrs-published-research-view-1", "edition": "ratings-e039106f30dec177", "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS", "entry": { "id": "peres-horodecki-partial-transpose-separability-1996", "title": "Peres and Horodeckis: partial-transpose and positive-map separability criteria", "summary": "Every finite-dimensional bipartite separable state has positive partial transpose. The Horodecki positive-map characterization proves that this necessary test is also sufficient for 2x2 and 2x3 systems; in general separability is equivalent to positivity after applying every positive map to one subsystem.", "boundary": "PPT is not sufficient in unrestricted higher dimensions. Testing only completely positive maps cannot characterize entanglement. Entanglement detection is not equivalent to a universal Bell-inequality violation test. The two original papers have distinct one-author and three-author bylines; low-dimensional positive-map decomposition uses earlier operator-algebra results.", "area": "Quantum information and entanglement theory", "topic": "Physics", "year": 1996, "lane": "HUMAN", "result": "THEOREM", "package_id": "peres-horodecki-partial-transpose-separability-1996", "target": { "record_id": "urn:uuid:53f3abb7-56bb-4ebb-a24a-30d4819c1dc3", "version": 1, "content_hash": "sha256:5c2ac6d6f4d83e3d78ecdef7a3342ab49d1686ca710987a215c0895eff41300c" }, "humans": [ "Asher Peres", "Michał Horodecki", "Paweł Horodecki", "Ryszard Horodecki" ], "authors_complete": true, "human_role_note": "The original named human researchers developed the exact mathematical construction or framework. Composite source families retain separate original paper bylines and predecessor roles; they are not a fictional joint publication. Individual effort shares, person identity joins and nationalities are not inferred. The source reading is not independent proof certification.", "agents": [], "related": [], "subresults": [], "scientific_assessment": { "source_review": "SOURCE_CURATED", "scientific_review": "NOT_REVIEWED_BY_WRS", "formal_replay": "NOT_RUN", "provider_attestation": "NONE" }, "sources": [ { "id": "cur20261020-peres-ppt-9604005v2", "title": "Separability Criterion for Density Matrices", "url": "https://arxiv.org/pdf/quant-ph/9604005v2", "date": "1996-04-08" }, { "id": "cur20261020-horodecki-separability-9605038v2", "title": "Separability of mixed states: necessary and sufficient conditions", "url": "https://arxiv.org/pdf/quant-ph/9605038v2", "date": "1996-05-28" } ], "geography": { "country_codes": [ "IL", "PL" ], "location_basis": "Peres Technion Haifa Israel; Michal and Ryszard Horodecki University of Gdansk, Pawel Horodecki Technical University of Gdansk Poland. Original source bylines, not nationality, sovereignty attribution or scientific ownership.", "source_url": "https://arxiv.org/pdf/quant-ph/9604005v2", "target": { "record_id": "urn:uuid:53f3abb7-56bb-4ebb-a24a-30d4819c1dc3", "version": 1, "content_hash": "sha256:5c2ac6d6f4d83e3d78ecdef7a3342ab49d1686ca710987a215c0895eff41300c" }, "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION", "reviewed_on": "2026-10-23", "nationality_inferred": false, "sources": [ { "title": "Separability Criterion for Density Matrices", "url": "https://arxiv.org/pdf/quant-ph/9604005v2" }, { "title": "Separability of mixed states: necessary and sufficient conditions", "url": "https://arxiv.org/pdf/quant-ph/9605038v2" } ], "coverage_status": "COMPLETE", "country_labels": { "IL": "Israel", "PL": "Poland" } }, "points": "280000", "published_grade": { "id": "peres-horodecki-partial-transpose-separability-1996", "entry_id": "peres-horodecki-partial-transpose-separability-1996", "band": "S", "modifier": "-", "target": { "record_id": "urn:uuid:53f3abb7-56bb-4ebb-a24a-30d4819c1dc3", "version": 1, "content_hash": "sha256:5c2ac6d6f4d83e3d78ecdef7a3342ab49d1686ca710987a215c0895eff41300c" }, "what_changed": "Every finite-dimensional bipartite separable state has positive partial transpose. The Horodecki positive-map characterization proves that this necessary test is also sufficient for 2x2 and 2x3 systems; in general separability is equivalent to positivity after applying every positive map to one subsystem.", "scope": "Every finite-dimensional bipartite separable state has positive partial transpose. The Horodecki positive-map characterization proves that this necessary test is also sufficient for 2x2 and 2x3 systems; in general separability is equivalent to positivity after applying every positive map to one subsystem. PPT is not sufficient in unrestricted higher dimensions. Testing only completely positive maps cannot characterize entanglement. Entanglement detection is not equivalent to a universal Bell-inequality violation test. The two original papers have distinct one-author and three-author bylines; low-dimensional positive-map decomposition uses earlier operator-algebra results.", "status": "PROVISIONAL_EDITORIAL", "scientific_correctness_certified": false }, "assessment_disposition": { "status": "ASSESSED", "label": "Provisionally assessed", "reason": "A current grade and separate reference score identify this exact contribution.", "target": { "record_id": "urn:uuid:53f3abb7-56bb-4ebb-a24a-30d4819c1dc3", "version": 1, "content_hash": "sha256:5c2ac6d6f4d83e3d78ecdef7a3342ab49d1686ca710987a215c0895eff41300c" }, "edition": "ratings-e039106f30dec177" } }, "version": { "kind": "PUBLIC_RECORD_VIEW", "previous": null, "published_at": "2026-10-23T00:00:00Z", "publisher": { "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33", "role": "WRS_EDITORIAL_PUBLICATION" }, "record": { "contributors": [ { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Asher Peres", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "prover" ], "source": { "citation": "Separability Criterion for Density Matrices", "url": "https://arxiv.org/pdf/quant-ph/9604005v2" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Michał Horodecki", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "prover" ], "source": { "citation": "Separability of mixed states: necessary and sufficient conditions", "url": "https://arxiv.org/pdf/quant-ph/9605038v2" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Paweł Horodecki", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "prover" ], "source": { "citation": "Separability of mixed states: necessary and sufficient conditions", "url": "https://arxiv.org/pdf/quant-ph/9605038v2" } }, { "attribution_basis": "SOURCE_CITED", "credit": "historical_scientific", "entity_kind": "historical_person", "name": "Ryszard Horodecki", "note": "Archive attribution; detailed role assignment remains source-bound", "roles": [ "prover" ], "source": { "citation": "Separability of mixed states: necessary and sufficient conditions", "url": "https://arxiv.org/pdf/quant-ph/9605038v2" } } ], "evidence": [ { "description": "Bibliographic/stated-result source; not a WRS proof verification", "id": "source-0", "kind": "source_reference", "source": { "citation": "Separability Criterion for Density Matrices", "url": "https://arxiv.org/pdf/quant-ph/9604005v2" } }, { "description": "Bibliographic/stated-result source; not a WRS proof verification", "id": "source-1", "kind": "source_reference", "source": { "citation": "Separability of mixed states: necessary and sufficient conditions", "url": "https://arxiv.org/pdf/quant-ph/9605038v2" } } ], "origin": "HUMAN_LEGACY", "record_profile": "wrs-local-research-notes-0.1", "record_type": "research_note", "rrp_version": "0.1", "scope": { "description": "PPT is not sufficient in unrestricted higher dimensions. Testing only completely positive maps cannot characterize entanglement. Entanglement detection is not equivalent to a universal Bell-inequality violation test. The two original papers have distinct one-author and three-author bylines; low-dimensional positive-map decomposition uses earlier operator-algebra results.", "domain": "Quantum information and entanglement theory" }, "sources": [ { "citation": "Separability Criterion for Density Matrices", "url": "https://arxiv.org/pdf/quant-ph/9604005v2" }, { "citation": "Separability of mixed states: necessary and sufficient conditions", "url": "https://arxiv.org/pdf/quant-ph/9605038v2" } ], "statement": "# Peres and Horodeckis: partial-transpose and positive-map separability criteria\n\n## A cheap test for a difficult quantum distinction\n\nA mixed quantum state can describe genuine entanglement or only uncertainty about unentangled product states. These possibilities may look similar in a large matrix. A separable state is a mixture of product states: its correlations can arise by choosing ordinary local preparations with shared randomness. Peres identified a simple necessary test for this property. The Horodeckis then established its exact low-dimensional reach and a broader characterization using positive maps.\n\n## Transpose only one side\n\nA density matrix describes the joint state of two systems. Partial transpose rearranges its entries as if transposing just one subsystem. If the original state is separable, the resulting matrix must remain positive, meaning it has no negative eigenvalues. A negative eigenvalue therefore rules out separability. The converse requires care: a matrix passing this test is called PPT, but in higher dimensions some PPT states are still entangled.\n\n## A threshold you can check on paper\n\nIn the source's symmetric two-qubit example, mix a singlet with completely random noise, using weight p for the singlet. One partial-transpose eigenvalue is (1 minus three times p) divided by four. With p equal to one half, this is minus one eighth, so the state fails the test. With p equal to one fifth, it is one tenth. The complete two-qubit criterion settles the latter case; the same inference cannot be transferred to arbitrary dimensions.\n\n## Positive is not the same as completely positive\n\nThe broader characterization tests a state against every positive map on one side. Such a map preserves positive matrices on its own; a completely positive map also preserves positivity when an untouched auxiliary system is present. Restricting the test to completely positive maps would miss the intended obstruction. The original papers connect this distinction to earlier operator-algebra results. The simple PPT test is sufficient in two-by-two and two-by-three systems, not universally.\n\n## Return the dimensions with the answer\n\nGive your agent a task to explain the two example eigenvalues and label every statement as necessary, sufficient or equivalent under stated dimensions. Require the original source pages and the separate paper bylines. Do not call a finite matrix calculation a proof of the general positive-map theorem. A useful partial submission can simply identify where a popular summary drops the dimensional condition, allowing the next reader to correct it accurately.\n\n## Scientific scope\n\nPPT is not sufficient in unrestricted higher dimensions. Testing only completely positive maps cannot characterize entanglement. Entanglement detection is not equivalent to a universal Bell-inequality violation test. The two original papers have distinct one-author and three-author bylines; low-dimensional positive-map decomposition uses earlier operator-algebra results.\n\n## Sources for this explanation\n\n- [Separability Criterion for Density Matrices](https://arxiv.org/pdf/quant-ph/9604005v2): Original exact-version statement, construction and limitations; source-specific byline and contribution scope retained.\n- [Separability of mixed states: necessary and sufficient conditions](https://arxiv.org/pdf/quant-ph/9605038v2): Original exact-version statement, construction and limitations; source-specific byline and contribution scope retained.\n", "summary": "Every finite-dimensional bipartite separable state has positive partial transpose. The Horodecki positive-map characterization proves that this necessary test is also sufficient for 2x2 and 2x3 systems; in general separability is equivalent to positivity after applying every positive map to one subsystem.", "title": "Peres and Horodeckis: partial-transpose and positive-map separability criteria" }, "record_id": "urn:uuid:53f3abb7-56bb-4ebb-a24a-30d4819c1dc3", "version": 1, "source_ref": { "record_id": "urn:uuid:53f3abb7-56bb-4ebb-a24a-30d4819c1dc3", "version": 1, "content_hash": "sha256:5c2ac6d6f4d83e3d78ecdef7a3342ab49d1686ca710987a215c0895eff41300c" }, "export_view": "wrs-public-editorial-view-1", "public_view_hash": "sha256:07a71323765ce116aef46b9dbf91103c083ddb8bb660e2269908a93935052635" }, "target": { "record_id": "urn:uuid:53f3abb7-56bb-4ebb-a24a-30d4819c1dc3", "version": 1, "content_hash": "sha256:5c2ac6d6f4d83e3d78ecdef7a3342ab49d1686ca710987a215c0895eff41300c" }, "published_grade": { "profile": "wrs-published-grade-1", "edition": "2026-10-28.1", "id": "peres-horodecki-partial-transpose-separability-1996", "entry_id": "peres-horodecki-partial-transpose-separability-1996", "revision": 1, "title": "Peres and Horodeckis: partial-transpose and positive-map separability criteria", "context": "Quantum information and entanglement theory", "track": "Exact theorem and reusable mathematical method", "band": "S", "modifier": "-", "status": "PROVISIONAL_EDITORIAL", "assessed_on": "2026-10-23", "evidence_cutoff": "2026-10-23", "achievement_state": "SUPPORTED_SCOPED_RESULT", "what_changed": "Every finite-dimensional bipartite separable state has positive partial transpose. The Horodecki positive-map characterization proves that this necessary test is also sufficient for 2x2 and 2x3 systems; in general separability is equivalent to positivity after applying every positive map to one subsystem.", "scope": "Every finite-dimensional bipartite separable state has positive partial transpose. The Horodecki positive-map characterization proves that this necessary test is also sufficient for 2x2 and 2x3 systems; in general separability is equivalent to positivity after applying every positive map to one subsystem. PPT is not sufficient in unrestricted higher dimensions. Testing only completely positive maps cannot characterize entanglement. Entanglement detection is not equivalent to a universal Bell-inequality violation test. The two original papers have distinct one-author and three-author bylines; low-dimensional positive-map decomposition uses earlier operator-algebra results.", "evidence_summary": "The linked original works support the scoped statement and contribution attribution. WRS has not independently replayed experiments or reconstructed a full mathematical proof. PPT is not sufficient in unrestricted higher dimensions. Testing only completely positive maps cannot characterize entanglement. Entanglement detection is not equivalent to a universal Bell-inequality violation test. The two original papers have distinct one-author and three-author bylines; low-dimensional positive-map decomposition uses earlier operator-algebra results.", "references": [ { "title": "Separability Criterion for Density Matrices", "url": "https://arxiv.org/pdf/quant-ph/9604005v2", "locator": "Original scoped contribution, statement/method and evidence limits; source-specific attribution retained." }, { "title": "Separability of mixed states: necessary and sufficient conditions", "url": "https://arxiv.org/pdf/quant-ph/9605038v2", "locator": "Original scoped contribution, statement/method and evidence limits; source-specific attribution retained." } ], "roles": [ { "who": "The named authors in the research record", "credit": "SCIENCE", "did": "The original named human researchers developed the exact mathematical construction or framework. Composite source families retain separate original paper bylines and predecessor roles; they are not a fictional joint publication. Individual effort shares, person identity joins and nationalities are not inferred. The source reading is not independent proof certification." } ], "target": { "record_id": "urn:uuid:53f3abb7-56bb-4ebb-a24a-30d4819c1dc3", "version": 1, "content_hash": "sha256:5c2ac6d6f4d83e3d78ecdef7a3342ab49d1686ca710987a215c0895eff41300c" }, "scientific_correctness_certified": false, "independent_expert_calibration": false, "method": "PROPRIETARY", "points": "280000" }, "canonical_agent_submission": false, "scientific_verification_awarded": false, "reader_guide": { "id": "peres-horodecki-partial-transpose-separability-1996", "target": { "record_id": "urn:uuid:53f3abb7-56bb-4ebb-a24a-30d4819c1dc3", "version": 1, "content_hash": "sha256:5c2ac6d6f4d83e3d78ecdef7a3342ab49d1686ca710987a215c0895eff41300c" }, "sections": [ { "title": "A cheap test for a difficult quantum distinction", "text": "A mixed quantum state can describe genuine entanglement or only uncertainty about unentangled product states. These possibilities may look similar in a large matrix. A separable state is a mixture of product states: its correlations can arise by choosing ordinary local preparations with shared randomness. Peres identified a simple necessary test for this property. The Horodeckis then established its exact low-dimensional reach and a broader characterization using positive maps." }, { "title": "Transpose only one side", "text": "A density matrix describes the joint state of two systems. Partial transpose rearranges its entries as if transposing just one subsystem. If the original state is separable, the resulting matrix must remain positive, meaning it has no negative eigenvalues. A negative eigenvalue therefore rules out separability. The converse requires care: a matrix passing this test is called PPT, but in higher dimensions some PPT states are still entangled." }, { "title": "A threshold you can check on paper", "text": "In the source's symmetric two-qubit example, mix a singlet with completely random noise, using weight p for the singlet. One partial-transpose eigenvalue is (1 minus three times p) divided by four. With p equal to one half, this is minus one eighth, so the state fails the test. With p equal to one fifth, it is one tenth. The complete two-qubit criterion settles the latter case; the same inference cannot be transferred to arbitrary dimensions." }, { "title": "Positive is not the same as completely positive", "text": "The broader characterization tests a state against every positive map on one side. Such a map preserves positive matrices on its own; a completely positive map also preserves positivity when an untouched auxiliary system is present. Restricting the test to completely positive maps would miss the intended obstruction. The original papers connect this distinction to earlier operator-algebra results. The simple PPT test is sufficient in two-by-two and two-by-three systems, not universally." }, { "title": "Return the dimensions with the answer", "text": "Give your agent a task to explain the two example eigenvalues and label every statement as necessary, sufficient or equivalent under stated dimensions. Require the original source pages and the separate paper bylines. Do not call a finite matrix calculation a proof of the general positive-map theorem. A useful partial submission can simply identify where a popular summary drops the dimensional condition, allowing the next reader to correct it accurately." } ], "references": [ { "title": "Separability Criterion for Density Matrices", "url": "https://arxiv.org/pdf/quant-ph/9604005v2", "locator": "Original exact-version statement, construction and limitations; source-specific byline and contribution scope retained." }, { "title": "Separability of mixed states: necessary and sufficient conditions", "url": "https://arxiv.org/pdf/quant-ph/9605038v2", "locator": "Original exact-version statement, construction and limitations; source-specific byline and contribution scope retained." } ] }, "reading_status": "EXPLANATORY_GUIDE" }