Abstract:The Lovász Local Lemma (LLL) is a very powerful tool in combinatorics and probability theory to show the possibility of avoiding all bad events under some weakly dependent conditions. In a seminal paper, Ambainis, Kempe, and Sattath (JACM 2012) introduced a quantum version LLL (QLLL) which shows the possibility of avoiding all ``bad" Hamiltonians under some weakly dependent condition, and applied QLLL to the random k-QSAT problem. Sattath, Morampudi, Laumann, and Moessner (PNAS 2015) extended Ambainis, Kempe, and Sattath's result and showed that Shearer's bound is a sufficient condition for QLLL, and conjectured that Shearer's bound is indeed the tight condition for QLLL. In this paper, we affirm this conjecture. Precisely, we prove that Shearer's bound is tight for QLLL, i.e., the relative dimension of the smallest satisfying subspace is completely characterized by the independent set polynomial. Our result implies the tightness of Gilyén and Sattath's algorithm (FOCS 2017), and also implies that the lattice gas partition function fully characterizes quantum satisfiability for almost all Hamiltonians with large enough qudits (Sattath, Morampudi, Laumann and Moessner, PNAS 2015). The commuting LLL (CLLL), which focuses on commuting local Hamiltonians, is also investigated here. We prove that the tight regions of CLLL and QLLL are different in general. This result indicates that it is possible to design an algorithm for CLLL which is still efficient beyond Shearer's bound.

On the Greatest Solution of Equations in CLL R

On the greatest solution of equations in CLLR

Greatest solutions of equations in $\text{CLL}_R$ and its application.

Axiomatizing L\"{u}ttgen and Vogler's ready simulation for finite processes in $\text{CLL}_R$

Axiomatizing Lüttgen & Vogler's Ready Simulation for Finite Processes in CLLR

Greatest common divisors with moving targets and consequences for linear recurrence sequences

Greatest common divisors for polynomials in almost units and applications to linear recurrence sequences

Progress on Set-solutions of the Quantum Yang-baxter Equation

A Process Calculus with Logical Operators

On finite relation equations with sup-conjunctor composition over a complete lattice

Effective equation solving, constraints and growth in virtually abelian groups

On Recursive Operations over Logic LTS.

Verification of Solutions for Almost Linear Complementarity Problems

On the Uniqueness of Solution for the Bellman Equation of LTL Objectives

clauseSMT: A NLSAT-Based Clause-Level Framework for Satisfiability Modulo Nonlinear Real Arithmetic Theory

Quantum Lovász Local Lemma: Shearer's Bound is Tight

A class of quadratic matrix equations over finite fields

A Note on an SLLN of Dvoretzky–Erdös Type

A solution of the problem of standard compact Clifford-Klein forms

THE LEAST-SQUARES SOLUTIONS WITH THE HERMITIAN-REFLEXIVE MATRIX FOR A CLASS OF MATRIX EQUATIONS

Condition Numbers of the Multidimensional Total Least Squares Problems Having More Than One Solution