Quantum implicit computational complexity

We introduce a quantum lambda calculus inspired by Lafont’s Soft Linear Logic and capturing the polynomial quantum complexity classes EQP, BQP and ZQP. The calculus is based on the “classical control and quantum data” paradigm. This is the first example of a formal system capturing quantum complexit...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:Theoretical computer science Ročník 411; číslo 2; s. 377 - 409
Hlavní autori: Dal Lago, Ugo, Masini, Andrea, Zorzi, Margherita
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Oxford Elsevier B.V 02.01.2010
Elsevier
Predmet:
Algorithmics. Computability. Computer arithmetics
Applied sciences
Computer science; control theory; systems
Exact sciences and technology
General logic
Implicit computational complexity
Lambda calculus
Logic and foundations
Mathematical logic, foundations, set theory
Mathematics
Miscellaneous
Programming theory
Quantum computation
Sciences and techniques of general use
Theoretical computing
Quantum computation
Lambda calculus
Implicit computational complexity
Polynomial
Complexity class
Linear logic
Paradigm
Computer theory
Syntax
Computational complexity
ISSN:0304-3975, 1879-2294
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí:We introduce a quantum lambda calculus inspired by Lafont’s Soft Linear Logic and capturing the polynomial quantum complexity classes EQP, BQP and ZQP. The calculus is based on the “classical control and quantum data” paradigm. This is the first example of a formal system capturing quantum complexity classes in the spirit of implicit computational complexity — it is machine-free and no explicit bound (e.g., polynomials) appears in its syntax.
Bibliografia:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2009.07.045