Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition

  title={Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition},
  author={Simon Perdrix},
  journal={Electr. Notes Theor. Comput. Sci.},
The quantum Turing machine (QTM) has been introduced by Deut sch as an abstract model of quantum computation. The transition func tio of a QTM is linear, and has to be unitary to be a well-formed QTM. This well-formedne ss condition ensures that the evolution of the machine does not violate the postulates of quantum mechanics. However, we claim in this paper that the well-formedness condit ion s too strong and we introduce a weaker condition, leading to a larger class of Turing m achines called… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 15 references

Halting of Quantum Turing Machines

UMC • 2002
View 4 Excerpts
Highly Influenced

and Ph

S. Perdri
Jorrand. Classically-controlled qua ntum computation.Math. Struct. in Comp. Science, 16:601–620, • 2006
View 1 Excerpt

The measurement ca lculus

V. Danos, E. Kashefi, P. Panangaden
arXiv:quant-ph/0412135, • 2004

Universal quantum computation using only p rojective measurement, quantum memory, and preparation of the 0 state

M. A. Nielsen
Phys. Rev. A, 308:96–100, • 2003
View 1 Excerpt

Similar Papers

Loading similar papers…