1: \begin{abstract}

2:   The recently proven Quantum Lov\'asz Local Lemma generalises the well-known

3:   Lov\'asz Local Lemma. It states that, if a collection of subspace

4:   constraints are ``weakly dependent'', there necessarily exists a state

5:   satisfying all constraints. It implies e.g.\ that certain instances of the

6:   \kQSAT{} quantum satisfiability problem are necessarily satisfiable, or that

7:   many-body systems with ``not too many'' interactions are always

8:   frustration-free.

9: 

10:   However, the QLLL only asserts existence; it says nothing about how to

11:   \emph{find} the state. Inspired by Moser's breakthrough classical results,

12:   we present a constructive version of the QLLL in the setting of commuting

13:   constraints, proving that a simple quantum algorithm converges efficiently

14:   to the required state. In fact, we provide two different proofs, one using a

15:   novel quantum coupling argument, the other a more explicit combinatorial

16:   analysis. Both proofs are independent of the QLLL. So these results also

17:   provide independent, constructive proofs of the commutative QLLL itself, but

18:   strengthen it significantly by giving an efficient algorithm for finding the

19:   state whose existence is asserted by the QLLL. We give an application of the

20:   constructive commutative QLLL to convergence of CP~maps.

21: 

22:   We also extend these results to the non-commutative setting. However, our

23:   proof of the general constructive QLLL relies on a conjecture which we are

24:   only able to prove in special cases.

25: \end{abstract}

26: