The recently proven Quantum Lovasz Local Lemma generalises the well-known
Lovasz Local Lemma. It states that, if a collection of subspace constraints are
"weakly dependent", there necessarily exists a state satisfying all
constraints. It implies e.g. that certain instances of the kQSAT quantum
satisfiability problem are necessarily satisfiable, or that many-body systems
with "not too many" interactions are always frustration-free.
However, the QLLL only asserts existence; it says nothing about how to find
the state. Inspired by Moser's breakthrough classical results, we present a
constructive version of the QLLL in the setting of commuting constraints,
proving that a simple quantum algorithm converges efficiently to the required
state. In fact, we provide two different proofs, one using a novel quantum
coupling argument, the other a more explicit combinatorial analysis. Both
proofs are independent of the QLLL. So these results also provide independent,
constructive proofs of the commutative QLLL itself, but strengthen it
significantly by giving an efficient algorithm for finding the state whose
existence is asserted by the QLLL. We give an application of the constructive
commutative QLLL to convergence of CP maps.
We also extend these results to the non-commutative setting. However, our
proof of the general constructive QLLL relies on a conjecture which we are only
able to prove in special cases.Comment: 43 pages, 2 conjectures, no figures; unresolved gap in the proof; see
arXiv:1311.6474 or arXiv:1310.7766 for correct proofs of the symmetric cas
