New Approaches to Counting and Sampling

Informazioni relative al progetto

NACS

ID dell’accordo di sovvenzione: 947778

DOI

10.3030/947778

Data della firma CE 31 Luglio 2020

Data di avvio 1 Gennaio 2021

Data di completamento 30 Giugno 2026

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 1 468 303,00

Contributo UE

€ 1 468 303,00

Coordinato da

THE UNIVERSITY OF EDINBURGH
United Kingdom

Periodic Reporting for period 3 - NACS (New Approaches to Counting and Sampling)

Periodo di rendicontazione: 2024-01-01 al 2025-06-30

Sintesi del contesto e degli obiettivi generali del progetto

The project aims to study computational counting and sampling problems. Typical problems of this kind include the evaluation or estimation of expectations and probabilities from complicated, usually high-dimensional, distributions. These distributions are the backbone of many probabilistic systems nowadays, and being able to evaluate and reason about them is of significant theoretical and practical importance. The focus of the project is mainly on the theoretical side, and the goal is to find algorithms to problems that have no efficient algorithm known yet. This objective is twofold: 1) to expand the design and analysis of the existing methods; and 2) to find alternative methods that are more favourable to the existing methods, such as Markov chain Monte Carlo. Moreover, in case a problem remain elusive even with significant effort, we also seek potential explanations from the theory of computational complexity for such apparent intractability.

Lavoro eseguito dall’inizio del progetto fino alla fine del periodo coperto dalla relazione e principali risultati finora ottenuti

Since the start of the project, we have made progress in many front and designed a number of new counting and sampling algorithms. One main achievement is a new way to improve the connectivity of solution spaces by considering projected distributions. This leads to new Markov chains that are both rapidly mixing and efficiently implementable. This method has found a number of applications, such as sampling hypergraph colourings and approximately counting solutions to random k-Sat instances. Another achievement is the first efficient approximation algorithm to the total variation distance between two product distributions, a fundamental computational problem in statistics with very little known before. In addition, we have found new techniques to analyze Markov chains, new perfect samplers for spin systems, and new results on the computational complexity of counting vertices of polytopes.

Progressi oltre lo stato dell’arte e potenziale impatto previsto (incluso l’impatto socioeconomico e le implicazioni sociali più ampie del progetto fino ad ora)

We have a number of ongoing research projects. We have been working on derandomising Markov chains, which is an important yet seldomly explored topic. We have made progress by designing extremely efficient local / marginal samplers, which, in turn, can be easily derandomised. These samplers are achieved by deducing the execution history of Markov chains. With this new technique, we pushed forward the threshold of state-of-the-art deterministic approximate counting algorithms for problems related to the Lovasz local lemma. Another ongoing research is to design faster approximate counting algorithms than the traditional simulated annealing algorithms. The main insight is to design new estimators that have less variance and yet can be computed more efficiently. In addition to these directions, we expect to find new results on analyzing Markov chains on geometry related problems, as well as on the fine-grained aspects of approximate counting.