Title
On product, generic and random generic quantum satisfiability
Abstract
We report a cluster of results on k-QSAT, the problem of quantum satisfiability for k-qubit projectors which generalizes classical satisfiability with k-bit clauses to the quantum setting. First we define the NP-complete problem of product satisfiability and give a geometrical criterion for deciding when a QSAT interaction graph is product satisfiable with positive probability. We show that the same criterion suffices to establish quantum satisfiability for all projectors. Second, we apply these results to the random graph ensemble with generic projectors and obtain improved lower bounds on the location of the SAT-unSAT transition. Third, we present numerical results on random, generic satisfiability which provide estimates for the location of the transition for k = 3 and k = 4 and mild evidence for the existence of a phase which is satisfiable by entangled states alone.
Year
DOI
Venue
2009
10.1103/PhysRevA.81.062345
PHYSICAL REVIEW A
Keywords
Field
DocType
spin glass,lower bound,random graph,quantum information,quantum mechanics,satisfiability,graph theory,quantum physics,np complete problem,quantum entanglement
Graph theory,Graph,Quantum,Random graph,Quantum entanglement,Quantum mechanics,Satisfiability,Quantum information,Qubit,Physics
Journal
Volume
Issue
ISSN
81
6
1050-2947
Citations 
PageRank 
References 
7
0.53
0
Authors
5
Name
Order
Citations
PageRank
C. R. Laumann1163.09
andreas m lauchli270.53
R. Moessner3151.79
A. Scardicchio4152.46
S. L. Sondhi5152.12