{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "wootters-two-qubit-entanglement-formation-formula-1997",
    "title": "Wootters: exact entanglement-of-formation formula for arbitrary two-qubit states",
    "summary": "For every two-qubit density matrix rho, its convex-roof entanglement of formation equals h2((1+sqrt(1-C^2))/2), where C=max(0,lambda1-lambda2-lambda3-lambda4) and the ordered lambda values are the square roots of the eigenvalues of rho times its spin flip. An optimal decomposition exists with at most four pure states.",
    "boundary": "This formula is for two qubits, not arbitrary higher-dimensional or multipartite states. The paper does not prove entanglement-of-formation additivity or equality with a regularized asymptotic entanglement cost. The earlier Hill-Wootters concurrence conjecture and rank-at-most-two proof are antecedents, not solely invented in this later sole-author proof.",
    "area": "Quantum information and entanglement measures",
    "topic": "Physics",
    "year": 1997,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "wootters-two-qubit-entanglement-formation-formula-1997",
    "target": {
      "record_id": "urn:uuid:c0529042-6a50-4333-a1ef-0e4d1c7812d2",
      "version": 1,
      "content_hash": "sha256:2061fbffe9d45525e2e7c2f590fdde9b8b74d0678c1e10f02ac07aa91a72e80a"
    },
    "humans": [
      "William K. Wootters"
    ],
    "additional_contributors": [
      {
        "name": "Scott Hill",
        "role": "Earlier joint Hill-Wootters concurrence formula conjecture and rank-at-most-two proof, explicitly credited in this sole-author extension",
        "sources": [
          {
            "title": "Entanglement of Formation of an Arbitrary State of Two Qubits",
            "url": "https://arxiv.org/pdf/quant-ph/9709029v2"
          }
        ]
      }
    ],
    "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-wootters-9709029v2",
        "title": "Entanglement of Formation of an Arbitrary State of Two Qubits",
        "url": "https://arxiv.org/pdf/quant-ph/9709029v2",
        "date": "1997-09-12"
      }
    ],
    "geography": {
      "country_codes": [
        "US"
      ],
      "location_basis": "William K Wootters Williams College, Williamstown Massachusetts, US. Original source bylines, not nationality, sovereignty attribution or scientific ownership.",
      "source_url": "https://arxiv.org/pdf/quant-ph/9709029v2",
      "target": {
        "record_id": "urn:uuid:c0529042-6a50-4333-a1ef-0e4d1c7812d2",
        "version": 1,
        "content_hash": "sha256:2061fbffe9d45525e2e7c2f590fdde9b8b74d0678c1e10f02ac07aa91a72e80a"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-10-23",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "Entanglement of Formation of an Arbitrary State of Two Qubits",
          "url": "https://arxiv.org/pdf/quant-ph/9709029v2"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "US": "United States"
      }
    },
    "points": "220000",
    "published_grade": {
      "id": "wootters-two-qubit-entanglement-formation-formula-1997",
      "entry_id": "wootters-two-qubit-entanglement-formation-formula-1997",
      "band": "S",
      "modifier": "-",
      "target": {
        "record_id": "urn:uuid:c0529042-6a50-4333-a1ef-0e4d1c7812d2",
        "version": 1,
        "content_hash": "sha256:2061fbffe9d45525e2e7c2f590fdde9b8b74d0678c1e10f02ac07aa91a72e80a"
      },
      "what_changed": "For every two-qubit density matrix rho, its convex-roof entanglement of formation equals h2((1+sqrt(1-C^2))/2), where C=max(0,lambda1-lambda2-lambda3-lambda4) and the ordered lambda values are the square roots of the eigenvalues of rho times its spin flip. An optimal decomposition exists with at most four pure states.",
      "scope": "For every two-qubit density matrix rho, its convex-roof entanglement of formation equals h2((1+sqrt(1-C^2))/2), where C=max(0,lambda1-lambda2-lambda3-lambda4) and the ordered lambda values are the square roots of the eigenvalues of rho times its spin flip. An optimal decomposition exists with at most four pure states. This formula is for two qubits, not arbitrary higher-dimensional or multipartite states. The paper does not prove entanglement-of-formation additivity or equality with a regularized asymptotic entanglement cost. The earlier Hill-Wootters concurrence conjecture and rank-at-most-two proof are antecedents, not solely invented in this later sole-author proof.",
      "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:c0529042-6a50-4333-a1ef-0e4d1c7812d2",
        "version": 1,
        "content_hash": "sha256:2061fbffe9d45525e2e7c2f590fdde9b8b74d0678c1e10f02ac07aa91a72e80a"
      },
      "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": "William K. Wootters",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "Entanglement of Formation of an Arbitrary State of Two Qubits",
            "url": "https://arxiv.org/pdf/quant-ph/9709029v2"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Entanglement of Formation of an Arbitrary State of Two Qubits",
            "url": "https://arxiv.org/pdf/quant-ph/9709029v2"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "This formula is for two qubits, not arbitrary higher-dimensional or multipartite states. The paper does not prove entanglement-of-formation additivity or equality with a regularized asymptotic entanglement cost. The earlier Hill-Wootters concurrence conjecture and rank-at-most-two proof are antecedents, not solely invented in this later sole-author proof.",
        "domain": "Quantum information and entanglement measures"
      },
      "sources": [
        {
          "citation": "Entanglement of Formation of an Arbitrary State of Two Qubits",
          "url": "https://arxiv.org/pdf/quant-ph/9709029v2"
        }
      ],
      "statement": "# Wootters: exact entanglement-of-formation formula for arbitrary two-qubit states\n\n## How entangled is a noisy pair?\n\nFor a pure two-qubit state, entanglement can be read from the uncertainty of either subsystem. A mixed state is harder: many different ensembles of pure states can produce the same density matrix. Entanglement of formation asks for the smallest average entanglement among all such ensembles. Searching every ensemble looks formidable. Wootters obtained an exact formula for every two-qubit density matrix, turning that optimization into a finite calculation with a guaranteed optimal decomposition.\n\n## One intermediate quantity organizes the answer\n\nThe formula first computes concurrence, a number between zero and one, from the state and its spin-flipped partner. Spin flip is a precisely defined matrix operation here, not a physical instruction to rotate a laboratory device until a desired answer appears. Ordered spectral quantities determine concurrence, and a binary entropy function converts it into entanglement of formation. The source also constructs an optimal ensemble containing at most four pure states.\n\n## Check three values without solving the whole theorem\n\nWhen concurrence is zero, the formula gives zero entanglement of formation. When it is one, it gives one bit. For an invented intermediate check with concurrence 0.6, the square root of one minus concurrence squared is 0.8. The binary-entropy argument is therefore 0.9, whose entropy is about 0.469 bits. This tests the arithmetic and endpoints of the expression. It does not establish that a particular laboratory state has that concurrence.\n\n## A complete two-qubit answer still has boundaries\n\nTwo qubits form a central and useful target, so solving that target exactly matters even though larger systems remain difficult. The paper does not extend the formula to arbitrary dimensions or multipartite states. It also does not prove that the single-copy convex-roof value is additive or always equals a regularized asymptotic preparation cost. Earlier work with Scott Hill supplied special cases and the conjectured expression; that predecessor credit remains visible.\n\n## Build a reproducible formula card\n\nAsk your agent to state the matrix definition, ordering convention, entropy base and allowed dimensions, then verify the three classroom values. Require a source locator for the optimal-ensemble statement and a separate note about the earlier Hill-Wootters contribution. If it cannot check a matrix convention, leave that item unresolved. The card can be reused to prevent a later reader from confusing an exact single-copy formula with a general theorem about asymptotic entanglement cost.\n\n## Scientific scope\n\nThis formula is for two qubits, not arbitrary higher-dimensional or multipartite states. The paper does not prove entanglement-of-formation additivity or equality with a regularized asymptotic entanglement cost. The earlier Hill-Wootters concurrence conjecture and rank-at-most-two proof are antecedents, not solely invented in this later sole-author proof.\n\n## Sources for this explanation\n\n- [Entanglement of Formation of an Arbitrary State of Two Qubits](https://arxiv.org/pdf/quant-ph/9709029v2): Original exact-version statement, construction and limitations; source-specific byline and contribution scope retained.\n",
      "summary": "For every two-qubit density matrix rho, its convex-roof entanglement of formation equals h2((1+sqrt(1-C^2))/2), where C=max(0,lambda1-lambda2-lambda3-lambda4) and the ordered lambda values are the square roots of the eigenvalues of rho times its spin flip. An optimal decomposition exists with at most four pure states.",
      "title": "Wootters: exact entanglement-of-formation formula for arbitrary two-qubit states"
    },
    "record_id": "urn:uuid:c0529042-6a50-4333-a1ef-0e4d1c7812d2",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:c0529042-6a50-4333-a1ef-0e4d1c7812d2",
      "version": 1,
      "content_hash": "sha256:2061fbffe9d45525e2e7c2f590fdde9b8b74d0678c1e10f02ac07aa91a72e80a"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:34cce288d0e5b6cb7451716b21f6ff58f3b04d11a9bd24c64ee8ba39238f9685"
  },
  "target": {
    "record_id": "urn:uuid:c0529042-6a50-4333-a1ef-0e4d1c7812d2",
    "version": 1,
    "content_hash": "sha256:2061fbffe9d45525e2e7c2f590fdde9b8b74d0678c1e10f02ac07aa91a72e80a"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "wootters-two-qubit-entanglement-formation-formula-1997",
    "entry_id": "wootters-two-qubit-entanglement-formation-formula-1997",
    "revision": 1,
    "title": "Wootters: exact entanglement-of-formation formula for arbitrary two-qubit states",
    "context": "Quantum information and entanglement measures",
    "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": "For every two-qubit density matrix rho, its convex-roof entanglement of formation equals h2((1+sqrt(1-C^2))/2), where C=max(0,lambda1-lambda2-lambda3-lambda4) and the ordered lambda values are the square roots of the eigenvalues of rho times its spin flip. An optimal decomposition exists with at most four pure states.",
    "scope": "For every two-qubit density matrix rho, its convex-roof entanglement of formation equals h2((1+sqrt(1-C^2))/2), where C=max(0,lambda1-lambda2-lambda3-lambda4) and the ordered lambda values are the square roots of the eigenvalues of rho times its spin flip. An optimal decomposition exists with at most four pure states. This formula is for two qubits, not arbitrary higher-dimensional or multipartite states. The paper does not prove entanglement-of-formation additivity or equality with a regularized asymptotic entanglement cost. The earlier Hill-Wootters concurrence conjecture and rank-at-most-two proof are antecedents, not solely invented in this later sole-author proof.",
    "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. This formula is for two qubits, not arbitrary higher-dimensional or multipartite states. The paper does not prove entanglement-of-formation additivity or equality with a regularized asymptotic entanglement cost. The earlier Hill-Wootters concurrence conjecture and rank-at-most-two proof are antecedents, not solely invented in this later sole-author proof.",
    "references": [
      {
        "title": "Entanglement of Formation of an Arbitrary State of Two Qubits",
        "url": "https://arxiv.org/pdf/quant-ph/9709029v2",
        "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."
      },
      {
        "who": "Scott Hill",
        "credit": "SCIENCE",
        "did": "Earlier joint Hill-Wootters concurrence formula conjecture and rank-at-most-two proof, explicitly credited in this sole-author extension"
      }
    ],
    "target": {
      "record_id": "urn:uuid:c0529042-6a50-4333-a1ef-0e4d1c7812d2",
      "version": 1,
      "content_hash": "sha256:2061fbffe9d45525e2e7c2f590fdde9b8b74d0678c1e10f02ac07aa91a72e80a"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "220000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "wootters-two-qubit-entanglement-formation-formula-1997",
    "target": {
      "record_id": "urn:uuid:c0529042-6a50-4333-a1ef-0e4d1c7812d2",
      "version": 1,
      "content_hash": "sha256:2061fbffe9d45525e2e7c2f590fdde9b8b74d0678c1e10f02ac07aa91a72e80a"
    },
    "sections": [
      {
        "title": "How entangled is a noisy pair?",
        "text": "For a pure two-qubit state, entanglement can be read from the uncertainty of either subsystem. A mixed state is harder: many different ensembles of pure states can produce the same density matrix. Entanglement of formation asks for the smallest average entanglement among all such ensembles. Searching every ensemble looks formidable. Wootters obtained an exact formula for every two-qubit density matrix, turning that optimization into a finite calculation with a guaranteed optimal decomposition."
      },
      {
        "title": "One intermediate quantity organizes the answer",
        "text": "The formula first computes concurrence, a number between zero and one, from the state and its spin-flipped partner. Spin flip is a precisely defined matrix operation here, not a physical instruction to rotate a laboratory device until a desired answer appears. Ordered spectral quantities determine concurrence, and a binary entropy function converts it into entanglement of formation. The source also constructs an optimal ensemble containing at most four pure states."
      },
      {
        "title": "Check three values without solving the whole theorem",
        "text": "When concurrence is zero, the formula gives zero entanglement of formation. When it is one, it gives one bit. For an invented intermediate check with concurrence 0.6, the square root of one minus concurrence squared is 0.8. The binary-entropy argument is therefore 0.9, whose entropy is about 0.469 bits. This tests the arithmetic and endpoints of the expression. It does not establish that a particular laboratory state has that concurrence."
      },
      {
        "title": "A complete two-qubit answer still has boundaries",
        "text": "Two qubits form a central and useful target, so solving that target exactly matters even though larger systems remain difficult. The paper does not extend the formula to arbitrary dimensions or multipartite states. It also does not prove that the single-copy convex-roof value is additive or always equals a regularized asymptotic preparation cost. Earlier work with Scott Hill supplied special cases and the conjectured expression; that predecessor credit remains visible."
      },
      {
        "title": "Build a reproducible formula card",
        "text": "Ask your agent to state the matrix definition, ordering convention, entropy base and allowed dimensions, then verify the three classroom values. Require a source locator for the optimal-ensemble statement and a separate note about the earlier Hill-Wootters contribution. If it cannot check a matrix convention, leave that item unresolved. The card can be reused to prevent a later reader from confusing an exact single-copy formula with a general theorem about asymptotic entanglement cost."
      }
    ],
    "references": [
      {
        "title": "Entanglement of Formation of an Arbitrary State of Two Qubits",
        "url": "https://arxiv.org/pdf/quant-ph/9709029v2",
        "locator": "Original exact-version statement, construction and limitations; source-specific byline and contribution scope retained."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}