{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "robertson-commutator-standard-deviation-uncertainty-1929",
    "title": "Robertson relates two standard deviations to the mean commutator",
    "summary": "Quantum uncertainty can be expressed as a relation for many pairs of observables. Robertson connected their standard deviations, which measure the spread of repeated outcomes, to the magnitude of the expected commutator: Delta A times Delta B is at least one-half of abs(<AB-BA>). The familiar position-momentum case becomes one example of this general relation, alongside angular-momentum components.",
    "boundary": "The state must have suitable common operator domains and finite moments. The expected commutator can be zero in a particular state, so noncommuting operators do not automatically supply a strictly positive state-independent bound. The original gives a one-particle proof sketch for variables linear in momentum, uses integration by parts and discards surface terms; it is not a complete modern domain theorem for every unbounded operator. Heisenberg physical formulation, the earlier special-case proof cited to Weyl and Condon motivation remain distinct.",
    "area": "Quantum foundations and operator uncertainty",
    "topic": "Physics",
    "year": 1929,
    "lane": "HUMAN",
    "result": "THEOREM",
    "package_id": "robertson-commutator-standard-deviation-uncertainty-1929",
    "target": {
      "record_id": "urn:uuid:837800b7-a35f-46fd-aee2-3d880ec3a30d",
      "version": 1,
      "content_hash": "sha256:ecfe7acc795115d2b45a6c898550e2e71257d836329b5cdba64165cff7ef2c94"
    },
    "humans": [
      "H. P. Robertson"
    ],
    "authors_complete": true,
    "human_role_note": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred.",
    "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-robertson-uncertainty-1929",
        "title": "The Uncertainty Principle (PhysRev34,163–164,1929; original scanned letter)",
        "url": "https://unicamp.br/~chibeni/textosdidaticos/robertson-1929.pdf",
        "date": "1929-07-01"
      }
    ],
    "geography": {
      "country_codes": [
        "US"
      ],
      "location_basis": "Printed Palmer Physical Laboratory, Princeton, New Jersey. No nationality, ownership or effort share inferred.",
      "source_url": "https://unicamp.br/~chibeni/textosdidaticos/robertson-1929.pdf",
      "target": {
        "record_id": "urn:uuid:837800b7-a35f-46fd-aee2-3d880ec3a30d",
        "version": 1,
        "content_hash": "sha256:ecfe7acc795115d2b45a6c898550e2e71257d836329b5cdba64165cff7ef2c94"
      },
      "basis": "RESEARCH_LOCATION_OR_PAPER_AFFILIATION",
      "reviewed_on": "2026-10-23",
      "nationality_inferred": false,
      "sources": [
        {
          "title": "The Uncertainty Principle (PhysRev34,163–164,1929; original scanned letter)",
          "url": "https://unicamp.br/~chibeni/textosdidaticos/robertson-1929.pdf"
        }
      ],
      "coverage_status": "COMPLETE",
      "country_labels": {
        "US": "United States"
      }
    },
    "points": "300000",
    "published_grade": {
      "id": "robertson-commutator-standard-deviation-uncertainty-1929",
      "entry_id": "robertson-commutator-standard-deviation-uncertainty-1929",
      "band": "S",
      "modifier": "-",
      "target": {
        "record_id": "urn:uuid:837800b7-a35f-46fd-aee2-3d880ec3a30d",
        "version": 1,
        "content_hash": "sha256:ecfe7acc795115d2b45a6c898550e2e71257d836329b5cdba64165cff7ef2c94"
      },
      "what_changed": "Quantum uncertainty can be expressed as a relation for many pairs of observables. Robertson connected their standard deviations, which measure the spread of repeated outcomes, to the magnitude of the expected commutator: Delta A times Delta B is at least one-half of abs(<AB-BA>). The familiar position-momentum case becomes one example of this general relation, alongside angular-momentum components.",
      "scope": "Quantum uncertainty can be expressed as a relation for many pairs of observables. Robertson connected their standard deviations, which measure the spread of repeated outcomes, to the magnitude of the expected commutator: Delta A times Delta B is at least one-half of abs(<AB-BA>). The familiar position-momentum case becomes one example of this general relation, alongside angular-momentum components. The state must have suitable common operator domains and finite moments. The expected commutator can be zero in a particular state, so noncommuting operators do not automatically supply a strictly positive state-independent bound. The original gives a one-particle proof sketch for variables linear in momentum, uses integration by parts and discards surface terms; it is not a complete modern domain theorem for every unbounded operator. Heisenberg physical formulation, the earlier special-case proof cited to Weyl and Condon motivation remain distinct.",
      "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:837800b7-a35f-46fd-aee2-3d880ec3a30d",
        "version": 1,
        "content_hash": "sha256:ecfe7acc795115d2b45a6c898550e2e71257d836329b5cdba64165cff7ef2c94"
      },
      "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": "H. P. Robertson",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "prover"
          ],
          "source": {
            "citation": "The Uncertainty Principle (PhysRev34,163–164,1929; original scanned letter)",
            "url": "https://unicamp.br/~chibeni/textosdidaticos/robertson-1929.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "The Uncertainty Principle (PhysRev34,163–164,1929; original scanned letter)",
            "url": "https://unicamp.br/~chibeni/textosdidaticos/robertson-1929.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "The state must have suitable common operator domains and finite moments. The expected commutator can be zero in a particular state, so noncommuting operators do not automatically supply a strictly positive state-independent bound. The original gives a one-particle proof sketch for variables linear in momentum, uses integration by parts and discards surface terms; it is not a complete modern domain theorem for every unbounded operator. Heisenberg physical formulation, the earlier special-case proof cited to Weyl and Condon motivation remain distinct.",
        "domain": "Quantum foundations and operator uncertainty"
      },
      "sources": [
        {
          "citation": "The Uncertainty Principle (PhysRev34,163–164,1929; original scanned letter)",
          "url": "https://unicamp.br/~chibeni/textosdidaticos/robertson-1929.pdf"
        }
      ],
      "statement": "# Robertson relates two standard deviations to the mean commutator\n\n## What does an uncertain quantity mean?\n\nRepeat the same measurement on identically prepared quantum systems and the results can vary. Their standard deviation describes the spread around the average. It concerns a state and a measurement distribution; it is not simply an instrument reading being poorly written down. Robertson connected the spreads of two observables with a quantity called their commutator, extending the familiar position-and-momentum uncertainty relation to a more general mathematical form.\n\n## Order matters, but the state matters too\n\nWrite the commutator of A and B as AB minus BA: apply the operations in opposite orders and subtract. Robertson relation says that the product of the two standard deviations is at least one-half the magnitude of the expected commutator. Expected means the average in the particular prepared state. An operator being nonzero does not guarantee that its average is nonzero in every state. This distinction prevents an attractive but false shortcut.\n\n## Compare two simple states\n\nConsider a classroom two-state example using the standard Pauli X and Z observables, whose outcomes are plus or minus one. In a Z-up state, Z is certain and X has unit spread. Their spread product is zero, and the expected commutator is also zero. In a Y-up state, both X and Z have unit spread. Their product is one, while the magnitude of the expected commutator is two: one-half of two gives the same lower bound one.\n\n## The formula has mathematical conditions\n\nThe two-state example uses finite matrices, so every operation is defined. Position and momentum are unbounded operators, which require more care: the state must permit the relevant operations and have finite moments. The 1929 letter gives a proof sketch involving integration by parts and discarded boundary terms. Its useful general relationship should not be presented as a complete modern proof for every possible unbounded operator and state.\n\n## Ask for a check, not a slogan\n\nGive your agent the two states above and ask for the average and spread of each observable before it computes the commutator expectation. A useful answer explains why the zero lower bound does not mean all measurements are simultaneously certain. Keep Heisenberg physical formulation, the earlier Weyl special-case proof cited in the letter and Robertson extension separate. A corrected state-by-state table is a bounded contribution; repeating the phrase quantum uncertainty is not.\n\n## Scientific scope\n\nThe state must have suitable common operator domains and finite moments. The expected commutator can be zero in a particular state, so noncommuting operators do not automatically supply a strictly positive state-independent bound. The original gives a one-particle proof sketch for variables linear in momentum, uses integration by parts and discards surface terms; it is not a complete modern domain theorem for every unbounded operator. Heisenberg physical formulation, the earlier special-case proof cited to Weyl and Condon motivation remain distinct.\n\n## Sources for this explanation\n\n- [The Uncertainty Principle (PhysRev34,163–164,1929; original scanned letter)](https://unicamp.br/~chibeni/textosdidaticos/robertson-1929.pdf): Original Physical Review34,163–164 letter; definitions, commutator relation, proof sketch and signed byline; neighbouring letters excluded.\n",
      "summary": "Quantum uncertainty can be expressed as a relation for many pairs of observables. Robertson connected their standard deviations, which measure the spread of repeated outcomes, to the magnitude of the expected commutator: Delta A times Delta B is at least one-half of abs(<AB-BA>). The familiar position-momentum case becomes one example of this general relation, alongside angular-momentum components.",
      "title": "Robertson relates two standard deviations to the mean commutator"
    },
    "record_id": "urn:uuid:837800b7-a35f-46fd-aee2-3d880ec3a30d",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:837800b7-a35f-46fd-aee2-3d880ec3a30d",
      "version": 1,
      "content_hash": "sha256:ecfe7acc795115d2b45a6c898550e2e71257d836329b5cdba64165cff7ef2c94"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:89b2d665bc0ae757b38bef060e2f1fde768a449957ef73155243565996e13f78"
  },
  "target": {
    "record_id": "urn:uuid:837800b7-a35f-46fd-aee2-3d880ec3a30d",
    "version": 1,
    "content_hash": "sha256:ecfe7acc795115d2b45a6c898550e2e71257d836329b5cdba64165cff7ef2c94"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "robertson-commutator-standard-deviation-uncertainty-1929",
    "entry_id": "robertson-commutator-standard-deviation-uncertainty-1929",
    "revision": 1,
    "title": "Robertson relates two standard deviations to the mean commutator",
    "context": "Quantum foundations and operator uncertainty",
    "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": "Quantum uncertainty can be expressed as a relation for many pairs of observables. Robertson connected their standard deviations, which measure the spread of repeated outcomes, to the magnitude of the expected commutator: Delta A times Delta B is at least one-half of abs(<AB-BA>). The familiar position-momentum case becomes one example of this general relation, alongside angular-momentum components.",
    "scope": "Quantum uncertainty can be expressed as a relation for many pairs of observables. Robertson connected their standard deviations, which measure the spread of repeated outcomes, to the magnitude of the expected commutator: Delta A times Delta B is at least one-half of abs(<AB-BA>). The familiar position-momentum case becomes one example of this general relation, alongside angular-momentum components. The state must have suitable common operator domains and finite moments. The expected commutator can be zero in a particular state, so noncommuting operators do not automatically supply a strictly positive state-independent bound. The original gives a one-particle proof sketch for variables linear in momentum, uses integration by parts and discards surface terms; it is not a complete modern domain theorem for every unbounded operator. Heisenberg physical formulation, the earlier special-case proof cited to Weyl and Condon motivation remain distinct.",
    "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. The state must have suitable common operator domains and finite moments. The expected commutator can be zero in a particular state, so noncommuting operators do not automatically supply a strictly positive state-independent bound. The original gives a one-particle proof sketch for variables linear in momentum, uses integration by parts and discards surface terms; it is not a complete modern domain theorem for every unbounded operator. Heisenberg physical formulation, the earlier special-case proof cited to Weyl and Condon motivation remain distinct.",
    "references": [
      {
        "title": "The Uncertainty Principle (PhysRev34,163–164,1929; original scanned letter)",
        "url": "https://unicamp.br/~chibeni/textosdidaticos/robertson-1929.pdf",
        "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": "Source-listed authors for the exact contribution; experimental subjects are not autonomous scientific authors. Source support and predecessor work retain separate roles. Individual effort shares and unresolved identities are not inferred."
      }
    ],
    "target": {
      "record_id": "urn:uuid:837800b7-a35f-46fd-aee2-3d880ec3a30d",
      "version": 1,
      "content_hash": "sha256:ecfe7acc795115d2b45a6c898550e2e71257d836329b5cdba64165cff7ef2c94"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "300000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": {
    "id": "robertson-commutator-standard-deviation-uncertainty-1929",
    "target": {
      "record_id": "urn:uuid:837800b7-a35f-46fd-aee2-3d880ec3a30d",
      "version": 1,
      "content_hash": "sha256:ecfe7acc795115d2b45a6c898550e2e71257d836329b5cdba64165cff7ef2c94"
    },
    "sections": [
      {
        "title": "What does an uncertain quantity mean?",
        "text": "Repeat the same measurement on identically prepared quantum systems and the results can vary. Their standard deviation describes the spread around the average. It concerns a state and a measurement distribution; it is not simply an instrument reading being poorly written down. Robertson connected the spreads of two observables with a quantity called their commutator, extending the familiar position-and-momentum uncertainty relation to a more general mathematical form."
      },
      {
        "title": "Order matters, but the state matters too",
        "text": "Write the commutator of A and B as AB minus BA: apply the operations in opposite orders and subtract. Robertson relation says that the product of the two standard deviations is at least one-half the magnitude of the expected commutator. Expected means the average in the particular prepared state. An operator being nonzero does not guarantee that its average is nonzero in every state. This distinction prevents an attractive but false shortcut."
      },
      {
        "title": "Compare two simple states",
        "text": "Consider a classroom two-state example using the standard Pauli X and Z observables, whose outcomes are plus or minus one. In a Z-up state, Z is certain and X has unit spread. Their spread product is zero, and the expected commutator is also zero. In a Y-up state, both X and Z have unit spread. Their product is one, while the magnitude of the expected commutator is two: one-half of two gives the same lower bound one."
      },
      {
        "title": "The formula has mathematical conditions",
        "text": "The two-state example uses finite matrices, so every operation is defined. Position and momentum are unbounded operators, which require more care: the state must permit the relevant operations and have finite moments. The 1929 letter gives a proof sketch involving integration by parts and discarded boundary terms. Its useful general relationship should not be presented as a complete modern proof for every possible unbounded operator and state."
      },
      {
        "title": "Ask for a check, not a slogan",
        "text": "Give your agent the two states above and ask for the average and spread of each observable before it computes the commutator expectation. A useful answer explains why the zero lower bound does not mean all measurements are simultaneously certain. Keep Heisenberg physical formulation, the earlier Weyl special-case proof cited in the letter and Robertson extension separate. A corrected state-by-state table is a bounded contribution; repeating the phrase quantum uncertainty is not."
      }
    ],
    "references": [
      {
        "title": "The Uncertainty Principle (PhysRev34,163–164,1929; original scanned letter)",
        "url": "https://unicamp.br/~chibeni/textosdidaticos/robertson-1929.pdf",
        "locator": "Original Physical Review34,163–164 letter; definitions, commutator relation, proof sketch and signed byline; neighbouring letters excluded."
      }
    ]
  },
  "reading_status": "EXPLANATORY_GUIDE"
}