Showing 1–9 of 9 results for author: Ciardo, L

The periodic structure of local consistency

Authors: Lorenzo Ciardo, Stanislav Živný

Abstract: We connect the mixing behaviour of random walks over a graph to the power of the local-consistency algorithm for the solution of the corresponding constraint satisfaction problem (CSP). We extend this connection to arbitrary CSPs and their promise variant. In this way, we establish a linear-level (and, thus, optimal) lower bound against the local-consistency algorithm applied to the class of aperi… ▽ More We connect the mixing behaviour of random walks over a graph to the power of the local-consistency algorithm for the solution of the corresponding constraint satisfaction problem (CSP). We extend this connection to arbitrary CSPs and their promise variant. In this way, we establish a linear-level (and, thus, optimal) lower bound against the local-consistency algorithm applied to the class of aperiodic promise CSPs. The proof is based on a combination of the probabilistic method for random Erdős-Rényi hypergraphs and a structural result on the number of fibers (i.e., long chains of hyperedges) in sparse hypergraphs of large girth. As a corollary, we completely classify the power of local consistency for the approximate graph homomorphism problem by establishing that, in the nontrivial cases, the problem has linear width. △ Less

Submitted 28 June, 2024; originally announced June 2024.

Quantum Advantage and CSP Complexity

Authors: Lorenzo Ciardo

Abstract: Information-processing tasks modelled by homomorphisms between relational structures can witness quantum advantage when entanglement is used as a computational resource. We prove that the occurrence of quantum advantage is determined by the same type of algebraic structure (known as a minion) that captures the polymorphism identities of CSPs and, thus, CSP complexity. We investigate the connection… ▽ More Information-processing tasks modelled by homomorphisms between relational structures can witness quantum advantage when entanglement is used as a computational resource. We prove that the occurrence of quantum advantage is determined by the same type of algebraic structure (known as a minion) that captures the polymorphism identities of CSPs and, thus, CSP complexity. We investigate the connection between the minion of quantum advantage and other known minions controlling CSP tractability and width. In this way, we make use of complexity results from the algebraic theory of CSPs to characterise the occurrence of quantum advantage in the case of graphs, and to obtain new necessary and sufficient conditions in the case of arbitrary relational structures. △ Less

Submitted 19 April, 2024; originally announced April 2024.

Comments: To appear in the Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'24)

MSC Class: 81P45 (Primary) 05C15 (Secondary)

Semidefinite programming and linear equations vs. homomorphism problems

Authors: Lorenzo Ciardo, Stanislav Živný

Abstract: We introduce a relaxation for homomorphism problems that combines semidefinite programming with linear Diophantine equations, and propose a framework for the analysis of its power based on the spectral theory of association schemes. We use this framework to establish an unconditional lower bound against the semidefinite programming + linear equations model, by showing that the relaxation does not… ▽ More We introduce a relaxation for homomorphism problems that combines semidefinite programming with linear Diophantine equations, and propose a framework for the analysis of its power based on the spectral theory of association schemes. We use this framework to establish an unconditional lower bound against the semidefinite programming + linear equations model, by showing that the relaxation does not solve the approximate graph homomorphism problem and thus, in particular, the approximate graph colouring problem. △ Less

Submitted 17 November, 2023; v1 submitted 1 November, 2023; originally announced November 2023.

1-in-3 vs. Not-All-Equal: Dichotomy of a broken promise

Authors: Lorenzo Ciardo, Marcin Kozik, Andrei Krokhin, Tamio-Vesa Nakajima, Stanislav Živný

Abstract: The 1-in-3 and Not-All-Equal satisfiability problems for Boolean CNF formulas are two well-known NP-hard problems. In contrast, the promise 1-in-3 vs. Not-All-Equal problem can be solved in polynomial time. In the present work, we investigate this constraint satisfaction problem in a regime where the promise is weakened from either side by a rainbow-free structure, and establish a complexity dicho… ▽ More The 1-in-3 and Not-All-Equal satisfiability problems for Boolean CNF formulas are two well-known NP-hard problems. In contrast, the promise 1-in-3 vs. Not-All-Equal problem can be solved in polynomial time. In the present work, we investigate this constraint satisfaction problem in a regime where the promise is weakened from either side by a rainbow-free structure, and establish a complexity dichotomy for the resulting class of computational problems. △ Less

Submitted 6 May, 2024; v1 submitted 7 February, 2023; originally announced February 2023.

Comments: Full version of a LICS 2024 paper; v2 has a different title, abstract, and introduction

Approximate Graph Colouring and the Crystal with a Hollow Shadow

Authors: Lorenzo Ciardo, Stanislav Živný

Abstract: We show that approximate graph colouring is not solved by the lift-and-project hierarchy for the combination of linear programming and linear Diophantine equations. The proof is based on combinatorial tensor theory. We show that approximate graph colouring is not solved by the lift-and-project hierarchy for the combination of linear programming and linear Diophantine equations. The proof is based on combinatorial tensor theory. △ Less

Submitted 22 March, 2023; v1 submitted 6 November, 2022; originally announced November 2022.

Comments: Full version of a STOC'23 paper and a SODA'23 paper (arXiv:2210.08293). Generalises and subsumes results from Section 6 in arXiv:2203.02478

Approximate Graph Colouring and Crystals

Authors: Lorenzo Ciardo, Stanislav Živný

Abstract: We show that approximate graph colouring is not solved by any level of the affine integer programming (AIP) hierarchy. To establish the result, we translate the problem of exhibiting a graph fooling a level of the AIP hierarchy into the problem of constructing a highly symmetric crystal tensor. In order to prove the existence of crystals in arbitrary dimension, we provide a combinatorial character… ▽ More We show that approximate graph colouring is not solved by any level of the affine integer programming (AIP) hierarchy. To establish the result, we translate the problem of exhibiting a graph fooling a level of the AIP hierarchy into the problem of constructing a highly symmetric crystal tensor. In order to prove the existence of crystals in arbitrary dimension, we provide a combinatorial characterisation for realisable systems of tensors; i.e., sets of low-dimensional tensors that can be realised as the projections of a single high-dimensional tensor. △ Less

Submitted 15 October, 2022; originally announced October 2022.

Comments: Full version of a SODA 2023 paper

Hierarchies of Minion Tests for PCSPs through Tensors

Authors: Lorenzo Ciardo, Stanislav Živný

Abstract: We provide a unified framework to study hierarchies of relaxations for Constraint Satisfaction Problems and their Promise variant. The idea is to split the description of a hierarchy into an algebraic part, depending on a minion capturing the "base level", and a geometric part - which we call tensorisation - inspired by multilinear algebra. We exploit the geometry of the tensor spaces arising from… ▽ More We provide a unified framework to study hierarchies of relaxations for Constraint Satisfaction Problems and their Promise variant. The idea is to split the description of a hierarchy into an algebraic part, depending on a minion capturing the "base level", and a geometric part - which we call tensorisation - inspired by multilinear algebra. We exploit the geometry of the tensor spaces arising from our construction to prove general properties of hierarchies. We identify certain classes of minions, which we call linear and conic, whose corresponding hierarchies have particularly fine features. We establish that the (combinatorial) bounded width, Sherali-Adams LP, affine IP, Sum-of-Squares SDP, and combined "LP + affine IP" hierarchies are all captured by this framework. In particular, in order to analyse the Sum-of-Squares SDP hierarchy, we also characterise the solvability of the standard SDP relaxation through a new minion. △ Less

Submitted 22 March, 2023; v1 submitted 5 July, 2022; originally announced July 2022.

Comments: Full version of a SODA 2023 paper. Generalises and subsumes all but Sections 6 and 7 of arXiv:2203.02478

The Sherali-Adams Hierarchy for Promise CSPs through Tensors

Authors: Lorenzo Ciardo, Stanislav Živný

Abstract: We study the Sherali-Adams linear programming hierarchy in the context of promise constraint satisfaction problems (PCSPs). We characterise when a level of the hierarchy accepts an instance in terms of a homomorphism problem for an appropriate multilinear structure obtained through a tensor power of the constraint language. The geometry of this structure, which consists in a space of tensors satis… ▽ More We study the Sherali-Adams linear programming hierarchy in the context of promise constraint satisfaction problems (PCSPs). We characterise when a level of the hierarchy accepts an instance in terms of a homomorphism problem for an appropriate multilinear structure obtained through a tensor power of the constraint language. The geometry of this structure, which consists in a space of tensors satisfying certain symmetries, allows then to establish non-solvability of the approximate graph colouring problem via constantly many levels of Sherali-Adams. Besides this primary application, our tensorisation construction introduces a new tool to the study of hierarchies of algorithmic relaxations for computational problems within (and, possibly, beyond) the context of constraint satisfaction. In particular, we see it as a key step towards the algebraic characterisation of the power of Sherali-Adams for PCSPs. △ Less

Submitted 10 November, 2022; v1 submitted 4 March, 2022; originally announced March 2022.

Comments: Section 6 is subsumed by arXiv:2211.03168; all other sections (apart from Section 7) are subsumed by arXiv:2207.02277

CLAP: A New Algorithm for Promise CSPs

Authors: Lorenzo Ciardo, Stanislav Živný

Abstract: We propose a new algorithm for Promise Constraint Satisfaction Problems PCSPs). It is a combination of the $\textbf{C}$onstraint Basic $\textbf{L}$P relaxation and the $\textbf{A}$ffine I$\textbf{P}$ relaxation (CLAP). We give a characterisation of the power of CLAP in terms of a minion homomorphism. Using this characterisation, we identify a certain weak notion of symmetry which, if satisfied by… ▽ More We propose a new algorithm for Promise Constraint Satisfaction Problems PCSPs). It is a combination of the $\textbf{C}$onstraint Basic $\textbf{L}$P relaxation and the $\textbf{A}$ffine I$\textbf{P}$ relaxation (CLAP). We give a characterisation of the power of CLAP in terms of a minion homomorphism. Using this characterisation, we identify a certain weak notion of symmetry which, if satisfied by infinitely many polymorphisms of PCSPs, guarantees tractability. We demonstrate that there are PCSPs solved by CLAP that are not solved by any of the existing algorithms for PCSPs; in particular, not by the BLP+AIP algorithm of Brakensiek et al. [SICOMP'20] and not by a reduction to tractable finite-domain CSPs. △ Less

Submitted 22 October, 2022; v1 submitted 11 July, 2021; originally announced July 2021.

Comments: Full version of a SODA 2022 paper

Journal ref: SIAM Journal on Computing 52(1) (2023) 1-37