Computational Complexity of Quantum Satisfiability

Quantum logic generalizes, and in dimension one coincides with, Boolean propositional logic. We introduce the weak and strong satisfiability problem for quantum logic formulas, and show both NP-complete in dimension two as well. For higher-dimensional spaces R d and C d with d≥3 fixed, on the other...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:2011 IEEE 26th Annual Symposium on Logic in Computer Science s. 175 - 184
Hlavní autoři: Herrmann, C., Ziegler, M.
Médium: Konferenční příspěvek
Jazyk:angličtina
Vydáno: IEEE 01.06.2011
Témata:
Complexity theory
Computational modeling
Hilbert space
Polynomials
Quantum computing
Quantum mechanics
Turing machines
ISBN:9781457704512, 145770451X
ISSN:1043-6871
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Quantum logic generalizes, and in dimension one coincides with, Boolean propositional logic. We introduce the weak and strong satisfiability problem for quantum logic formulas, and show both NP-complete in dimension two as well. For higher-dimensional spaces R d and C d with d≥3 fixed, on the other hand, we show the problem to be complete for the nondeterministic Blum-Shub-Smale model of real computation. This provides a unified view on both Turing and real BSS complexity theory, and adds (a perhaps more natural and combinatorially flavoured) one to the still sparse list of NP R -complete problems, mostly pertaining to real algebraic geometry. Our proofs rely on (a careful examination of) works by John von Neumannas well as contributions by Hagge et. al (2005,2007,2009). We finally investigate the problem over Indefinite finite dimensions and relate it to NON-commutative semi algebraic geometry.
ISBN:9781457704512
145770451X
ISSN:1043-6871
DOI:10.1109/LICS.2011.8