{
  "annotation_id": "cf71c266-72d6-4c1b-bdfd-70891a78c9d1",
  "date_created": "2026-03-02T18:02:40.781000Z",
  "date_modified": "2026-03-02T18:02:40.781000Z",
  "file_hash": "3d35ee05c524ea9ebb18a7ae7630fec12d3689a5c2274ab7a19156754ab3db8c",
  "private": false,
  "record": {
    "abstract": "The halt scheme for quantum Turing machines, originally proposed by Deutsch,\nis reformulated precisely and is proved to work without spoiling the\ncomputation. The ``conflict\u0027\u0027 pointed out recently by Myers in the definition\nof a universal quantum computer is shown to be only apparent. In the context of\nquantum nondemolition (QND) measurement, it is also shown that the output\nobservable, an observable representing the output of the computation, is a QND\nobservable and that the halt scheme is equivalent to the QND monitoring of the\noutput observable.",
    "arxiv_id": "quant-ph/9704028",
    "authors": [
      "Masanao Ozawa"
    ],
    "categories": [
      "quant-ph"
    ],
    "doi": "10.1103/PhysRevLett.80.631",
    "journal_ref": "Phys.Rev.Lett.80:631,1998",
    "title": "Quantum Nondemolition Monitoring of Universal Quantum Computers",
    "url": "https://arxiv.org/abs/quant-ph/9704028"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "1abee7b2-1151-4513-9918-bf42408012f4",
    "id": "arXiv Dataset IDs",
    "type": "Model",
    "variant": "snapshot-2026-03-01",
    "version": "0.1.0"
  },
  "user_id": 1000002
}