dorsal/arxiv
View SchemaThe Measurement Calculus
| Authors | Vincent Danos, Elham Kashefi, Prakash Panangaden |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0412135 |
| URL | https://arxiv.org/abs/quant-ph/0412135 |
Abstract
We propose a calculus of local equations over one-way computing patterns, which preserves interpretations, and allows the rewriting of any pattern to a standard form where entanglement is done first, then measurements, then local corrections. We infer from this that patterns with no dependencies, or using only Pauli measurements, can only realise unitaries belonging to the Clifford group.
{
"annotation_id": "c06d5388-ce23-4090-ab48-f1a554523ce7",
"date_created": "2026-03-02T18:02:13.680000Z",
"date_modified": "2026-03-02T18:02:13.680000Z",
"file_hash": "681feeb7289084b1a2e3f1120702a77a4db74a97aefee91df9d352f944e70725",
"private": false,
"record": {
"abstract": "We propose a calculus of local equations over one-way computing patterns,\nwhich preserves interpretations, and allows the rewriting of any pattern to a\nstandard form where entanglement is done first, then measurements, then local\ncorrections. We infer from this that patterns with no dependencies, or using\nonly Pauli measurements, can only realise unitaries belonging to the Clifford\ngroup.",
"arxiv_id": "quant-ph/0412135",
"authors": [
"Vincent Danos",
"Elham Kashefi",
"Prakash Panangaden"
],
"categories": [
"quant-ph"
],
"title": "The Measurement Calculus",
"url": "https://arxiv.org/abs/quant-ph/0412135"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "cd05ceb0-ecab-4e9b-b128-352dd9cd4e30",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}