dorsal/arxiv
View SchemaAn Extension of Gleason's Theorem for Quantum Computation
| Authors | A. Edalat |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0311070 |
| URL | https://arxiv.org/abs/quant-ph/0311070 |
| DOI | 10.1023/B:IJTP.0000048823.93080.7e |
Abstract
We develop a synthesis of Turing's paradigm of computation and von Neumann's quantum logic to serve as a model for quantum computation with recursion, such that potentially non-terminating computation can take place, as in a quantum Turing machine. This model is based on the extension of von Neumann's quantum logic to partial states, defined here as sub-probability measures on the Hilbert space, equipped with the natural pointwise partial ordering. The sub-probability measures allow a certain probability for the non-termination of the computation. We then derive an extension of Gleason's theorem and show that, for Hilbert spaces of dimension greater than two, the partial order of sub-probability measures is order isomorphic with the collection of partial density operators, i.e., trace class positive operators with trace between zero and one, equipped with the usual partial ordering induced from positive operators. We show that the expected value of a bounded observable with respect to a partial state can be defined as a closed bounded interval, which extends the classical definition of expected value.
{
"annotation_id": "fd3dc486-ec2e-485e-b25c-0283e71660f7",
"date_created": "2026-03-02T18:02:02.853000Z",
"date_modified": "2026-03-02T18:02:02.853000Z",
"file_hash": "5f1b972e75b7588a8e8a3fafbd1ed3699c1401e45ae001cbcbdea14701ae045f",
"private": false,
"record": {
"abstract": "We develop a synthesis of Turing\u0027s paradigm of computation and von Neumann\u0027s\nquantum logic to serve as a model for quantum computation with recursion, such\nthat potentially non-terminating computation can take place, as in a quantum\nTuring machine. This model is based on the extension of von Neumann\u0027s quantum\nlogic to partial states, defined here as sub-probability measures on the\nHilbert space, equipped with the natural pointwise partial ordering. The\nsub-probability measures allow a certain probability for the non-termination of\nthe computation. We then derive an extension of Gleason\u0027s theorem and show\nthat, for Hilbert spaces of dimension greater than two, the partial order of\nsub-probability measures is order isomorphic with the collection of partial\ndensity operators, i.e., trace class positive operators with trace between zero\nand one, equipped with the usual partial ordering induced from positive\noperators. We show that the expected value of a bounded observable with respect\nto a partial state can be defined as a closed bounded interval, which extends\nthe classical definition of expected value.",
"arxiv_id": "quant-ph/0311070",
"authors": [
"A. Edalat"
],
"categories": [
"quant-ph"
],
"doi": "10.1023/B:IJTP.0000048823.93080.7e",
"title": "An Extension of Gleason\u0027s Theorem for Quantum Computation",
"url": "https://arxiv.org/abs/quant-ph/0311070"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "7fecd127-911a-40f9-b6c6-a7da26af087f",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}