Affiliation:
1. University of Oxford, Oxford
2. University of Edinburgh, Edinburgh, United Kingdom
Abstract
Recent developments in approximate counting have made startling progress in developing fast algorithmic methods for approximating the number of solutions to constraint satisfaction problems (CSPs) with large arities, using connections to the Lovász Local Lemma. Nevertheless, the boundaries of these methods for CSPs with non-Boolean domain are not well-understood. Our goal in this article is to fill in this gap and obtain strong inapproximability results by studying the prototypical problem in this class of CSPs, hypergraph colourings.
More precisely, we focus on the problem of approximately counting
q
-colourings on
K
-uniform hypergraphs with bounded degree Δ. An efficient algorithm exists if
\({{\Delta \lesssim \frac{q^{K/3-1}}{4^KK^2}}}\)
[Jain et al.
25
; He et al.
23
]. Somewhat surprisingly however, a hardness bound is not known even for the easier problem of finding colourings. For the counting problem, the situation is even less clear and there is no evidence of the right constant controlling the growth of the exponent in terms of
K
.
To this end, we first establish that for general
q
computational hardness for finding a colouring on simple/linear hypergraphs occurs at Δ ≳
Kq
K
, almost matching the algorithm from the Lovász Local Lemma. Our second and main contribution is to obtain a far more refined bound for the counting problem that goes well beyond the hardness of finding a colouring and which we conjecture is asymptotically tight (up to constant factors). We show in particular that for all even
q
≥ 4 it is
NP
-hard to approximate the number of colourings when Δ ≳
q
K/2
. Our approach is based on considering an auxiliary weighted binary CSP model on graphs, which is obtained by “halving” the
K
-ary hypergraph constraints. This allows us to utilise reduction techniques available for the graph case, which hinge upon understanding the behaviour of random regular bipartite graphs that serve as gadgets in the reduction. The major challenge in our setting is to analyse the induced matrix norm of the interaction matrix of the new CSP which captures the most likely solutions of the system. In contrast to previous analyses in the literature, the auxiliary CSP demonstrates both symmetry and asymmetry, making the analysis of the optimisation problem severely more complicated and demanding the combination of delicate perturbation arguments and careful asymptotic estimates.
Funder
European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme
Publisher
Association for Computing Machinery (ACM)
Subject
Computational Theory and Mathematics,Theoretical Computer Science
Reference40 articles.
1. Some APX-completeness results for cubic graphs;Alimonti Paola;Theoretical Computer Science,2000
2. A parallel algorithmic version of the local lemma;Alon Noga;Random Structures and Algorithms,1991
3. An algorithmic approach to the Lovász local lemma. I;Beck József;Random Structures and Algorithms,1991
4. Approximation via Correlation Decay When Strong Spatial Mixing Fails
5. Jin-Yi Cai, Xi Chen, Heng Guo, and Pinyan Lu. 2012. Inapproximability after uniqueness phase transition in two-spin systems. In Proceedings of the COCOA (Lecture Notes in Computer Science), Vol. 7402. Springer, 336–347.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Inapproximability of counting independent sets in linear hypergraphs;Information Processing Letters;2024-02
2. Towards derandomising Markov chain Monte Carlo;2023 IEEE 64th Annual Symposium on Foundations of Computer Science (FOCS);2023-11-06