dorsal/arxiv
View SchemaNondeterministic testing of Sequential Quantum Logic propositions on a quantum computer
| Authors | M. S. Leifer |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0509193 |
| URL | https://arxiv.org/abs/quant-ph/0509193 |
Abstract
In the past few years it has been shown that universal quantum computation can be obtained by projective measurements alone, with no need for unitary gates. This suggests that the underlying logic of quantum computing may be an algebra of sequences of quantum measurements rather than an algebra of products of unitary operators. Such a Sequential Quantum Logic (SQL) was developed in the late 70's and has more recently been applied to the consistent histories framework of quantum mechanics as a possible route to the theory of quantum gravity. In this letter, I give a method for deciding the truth of a proposition in SQL with nonzero probability of success on a quantum computer.
{
"annotation_id": "b4217386-da2b-4c58-ba06-717843d90d1b",
"date_created": "2026-03-02T18:02:19.968000Z",
"date_modified": "2026-03-02T18:02:19.968000Z",
"file_hash": "3a30ca30d7c6e2612f63a257fd190b11680b03ce97990d8481ceafd80ca9e95f",
"private": false,
"record": {
"abstract": "In the past few years it has been shown that universal quantum computation\ncan be obtained by projective measurements alone, with no need for unitary\ngates. This suggests that the underlying logic of quantum computing may be an\nalgebra of sequences of quantum measurements rather than an algebra of products\nof unitary operators. Such a Sequential Quantum Logic (SQL) was developed in\nthe late 70\u0027s and has more recently been applied to the consistent histories\nframework of quantum mechanics as a possible route to the theory of quantum\ngravity. In this letter, I give a method for deciding the truth of a\nproposition in SQL with nonzero probability of success on a quantum computer.",
"arxiv_id": "quant-ph/0509193",
"authors": [
"M. S. Leifer"
],
"categories": [
"quant-ph"
],
"title": "Nondeterministic testing of Sequential Quantum Logic propositions on a quantum computer",
"url": "https://arxiv.org/abs/quant-ph/0509193"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "b73439c9-4da9-446e-afa5-28dc83d47111",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}