ERC starting grant
New Approaches to Counting and Sampling (NACS)
General information
- This project is funded by the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No. 947778).
- Principal Investigator: Heng Guo
- Duration: Jan 2021 – Jun 2026
- Host institute: School of Informatics, University of Edinburgh
Project description
The project focuses on a class of computational tasks, technically known as the counting and sampling problems. Typically a complicated distribution is involved, and the task is to estimate the probability of certain events, or draw samples from the said distribution. The goal of the project is to understand the computational complexity of such tasks.
Markov chain Monte Carlo algorithms have been designed and applied for counting and sampling long before the computational complexity theory, and they are among the oldest randomised algorithms. There had been dramatic progress in the rigorous analysis of Markov chains in the early 90s, which has lead to many landmark results. Nevertheless, after about 30 years’ development, the complexity of many fundamental problems remains open. In the last few years, a number of exciting approaches have emerged, resulting from new perspectives and surprising connections. Roughly speaking, there are two themes of the new techniques, namely utilising the Lovász local lemma or the geometry of polynomials. As a consequence of the new techniques, a lot of old challenges has started to crumble. It is now the right time to revisit some of the oldest problems in counting complexity.
Open position
One research associate position available for a fixed term of 24 months. Apply here. The closing date is Dec 19th, 2023.
One research associate position is available. Fixed term of 24 months. Apply here. The closing date is February 28th, 2023.
Up to two research associates positions are now available. The positions are fixed term of 24 months. Apply here. The closing date is February 18th, 2022.
Fundings for Ph.D. students are also available. Please adhere to the standard application procedure to the School of Informatics, as described here, and indicate Heng Guo (under LFCS) as the potential supervisor. It would also help to contact me in advance.
Team members
Postdocs
- Weiming Feng (2021 – 2023)
- Shuai Shao (2021)
- Vishvajeet “Goje” Nagargoje (2022 – )
- Jiaheng Wang (2023 – 2024)
- Konrad Anand (2024 – )
Ph.D. students
- Giorgos Mousa (2018 – 2022)
- Jiaheng Wang (2020 – 2023)
- Graham Freifeld (2022 – )
Visitors
- Tyler Helmuth: 2022 Mar, Sep
- Mark Jerrum: 2022 Jun, Jul, 2024 Mar
- Zhidan Li: 2022 Aug – Nov
- Radu Curticapean: 2023 Jan
- Konrad Anand: 2023 Mar
- Weiming Feng: 2024 Apr, 2024 Sep
- Xiaoyu Chen: 2024 Sep
- Xinyuan Zhang: 2024 Sep
- Zongrui Zou: 2024 Sep
- Chunyang Wang: 2024 Oct – 2025 Jan
- Jiaheng Wang: 2024 Nov
Research output
Approximate counting for spin systems in sub-quadratic time
Konrad Anand, Weiming Feng, Graham Freifeld, Heng Guo, and Jiaheng Wang
TheoretiCS, to appear (Preliminary version in ICALP 2024) [ PDF | arXiv ]Deterministic approximation for the volume of the truncated fractional matching polytope
Heng Guo and Vishvajeet N
ITCS 2025 [ PDF | arXiv ]Deterministic counting from coupling independence
Xiaoyu Chen, Weiming Feng, Heng Guo, Xinyuan Zhang, and Zongrui Zou
Submitted [ PDF | arXiv ]Rapid mixing of the flip chain over non-crossing spanning trees
Konrad Anand, Weiming Feng, Graham Freifeld, Heng Guo, Mark Jerrum, and Jiaheng Wang
Submitted [ PDF | arXiv ]Fast sampling of satisfying assignments from random k-SAT with applications to connectivity
Zongchen Chen, Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Andrés Herrera-Poyatos, Nitya Mani, and Ankur Moitra
SIAM J. Discrete Math., accepted [ doi | PDF | arXiv ]Near-linear time samplers for matroid independent sets with applications
Xiaoyu Chen, Heng Guo, Xinyuan Zhang, and Zongrui Zou
RANDOM 2024 [ PDF | arXiv ]An FPRAS for two terminal reliability in directed acyclic graphs
Weiming Feng and Heng Guo
ICALP 2024 [ PDF | arXiv ]On deterministically approximating total variation distance
Weiming Feng, Liqiang Liu, Tianren Liu
SODA 2024 [ arXiv ]Inapproximability of counting independent sets in linear hypergraphs
Guoliang Qiu and Jiaheng Wang
Inf. Process. Lett., 184:106448, 2024 [ doi | arXiv ]Extracting Mergers and Projections of Partitions
Swastik Kopparty and Vishvajeet N
RANDOM 2023 [ arXiv ]Towards derandomising Markov chain Monte Carlo
Weiming Feng, Heng Guo, Chunyang Wang, Jiaheng Wang, and Yitong Yin
FOCS 2023 [ PDF | arXiv | slides ]Swendsen-Wang dynamics for the ferromagnetic Ising model with external fields
Weiming Feng, Heng Guo, and Jiaheng Wang
Inf. Comput., 294:105066, 2023 [ PDF | arXiv ]On the mixing time of Glauber dynamics for the hard-core and related models on G(n,d/n)
Charilaos Efthymiou and Weiming Feng
ICALP 2023 [ arXiv ]A simple polynomial-time approximation algorithm for the total variation distance between two product distributions
Weiming Feng, Heng Guo, Mark Jerrum, and Jiaheng Wang
TheoretiCS, 2:8, 2023 (Preliminary version in SOSA 2023 ) [ doi | PDF | arXiv ]Improving certified robustness via statistical learning with logical reasoning
Zhuolin Yang, Zhikuan Zhao, Boxin Wang, Jiawei Zhang, Linyi Li, Hengzhi Pei, Bojan Karlaš, Ji Liu, Heng Guo, Ce Zhang, and Bo Li
NeurIPS 2022 [ arXiv ]Inapproximability of counting hypergraph colourings
Andreas Galanis, Heng Guo, and Jiaheng Wang
ACM Trans. Comput. Theory, 14(3-4):10, 2023 [ doi | PDF | arXiv ]Optimal mixing for two-state anti-ferromagnetic spin systems
Xiaoyu Chen, Weiming Feng, Yitong Yin, and Xinyuan Zhang
FOCS 2022 [ arXiv ]Improved bounds for randomly colouring simple hypergraphs
Weiming Feng, Heng Guo, and Jiaheng Wang
RANDOM 2022 [ PDF | arXiv ]Counting vertices of integer polytopes defined by facets
Heng Guo and Mark Jerrum
Discrete Comput. Geom., 70(3), 975–990, 2023 [ doi | PDF | arXiv ]Rapid mixing from spectral independence beyond the Boolean domain
Weiming Feng, Heng Guo, Yitong Yin, and Chihao Zhang
ACM Trans. Algorithms, 18(3):28, 2022 [ doi | PDF | arXiv ]Perfect sampling from spatial mixing
Weiming Feng, Heng Guo, and Yitong Yin
Random Struct. Algorithms, 61(4), 678-709, 2022 [ doi | PDF | arXiv ]Counting solutions to random CNF formulas
Andreas Galanis, Leslie Ann Goldberg, Heng Guo,and Kuan Yang
SIAM J. Comput., 50(6), 1701-1738, 2021 [ doi | PDF | arXiv ]Rapid mixing of Glauber dynamics via spectral independence for all degrees
Xiaoyu Chen, Weiming Feng, Yitong Yin, and Xinyuan Zhang
FOCS 2021 [ arXiv | slides]Fast sampling and counting k-SAT solutions in the local lemma regime
Weiming Feng, Heng Guo, Yitong Yin, and Chihao Zhang
J. ACM, 68(6):40, 2021 [ doi | PDF | arXiv | slides]FKT is not universal — A planar Holant dichotomy for symmetric constraints
Jin-Yi Cai, Zhiguo Fu, Heng Guo, and Tyson Williams
Theory Comput. Syst., 66, 143–308, 2022 [ doi | PDF | arXiv | slides ]Local-to-global contraction in simplicial complexes
Heng Guo and Giorgos Mousa
Preprint [ PDF | arXiv ]Rapid mixing from spectral independence beyond the Boolean domain
Weiming Feng, Heng Guo, Yitong Yin, and Chihao Zhang
SODA 2021 [ PDF | arXiv ]