New Approaches to Counting and Sampling

Project Information

NACS

Grant agreement ID: 947778

DOI 10.3030/947778

EC signature date 31 July 2020

Start date 1 January 2021

End date 30 June 2026

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost € 1 468 303,00

EU contribution € 1 468 303,00

Coordinated by

THE UNIVERSITY OF EDINBURGH
United Kingdom

Publications

Conference proceedings (8)

Improved Bounds for Randomly Colouring Simple Hypergraphs

Author(s): Feng, Weiming; Guo, Heng; Wang, Jiaheng
Published in: International Conference on Randomization and Computation 2022, 2022
Publisher: LIPIcs
DOI: 10.4230/lipics.approx/random.2022.25

On the Mixing Time of Glauber Dynamics for the Hard-core and Related Models on G(n,d/n)

Author(s): Efthymiou, Charilaos; Feng, Weiming
Published in: The 50th International Colloquium on Automata, Languages & Programming, 2023
Publisher: LIPIcs
DOI: 10.48550/arxiv.2302.06172

Rapid mixing of Glauber dynamics via spectral independence for all degrees

Author(s): Chen, Xiaoyu; Feng, Weiming; Yin, Yitong; Zhang, Xinyuan
Published in: 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS), 2022, ISBN 978-1-6654-2055-6
Publisher: IEEE
DOI: 10.1109/focs52979.2021.00022

A simple polynomial-time approximation algorithm for the total variation distance between two product distributions

Author(s): Weiming Feng, Heng Guo, Mark Jerrum, Jiaheng Wang
Published in: 2023 Symposium on Simplicity in Algorithms (SOSA), 2023
Publisher: SIAM
DOI: 10.1137/1.9781611977585.ch30

Extracting Mergers and Projections of Partitions

Author(s): Kopparty, Swastik; N, Vishvajeet
Published in: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2023), 2023
Publisher: LIPIcs
DOI: 10.4230/lipics.approx/random.2023.52

Improving Certified Robustness via Statistical Learning with Logical Reasoning

Author(s): Zhuolin Yang, Zhikuan Zhao, Boxin Wang, Jiawei Zhang, Linyi Li, Hengzhi Pei, Bojan Karlas, Ji Liu, Heng Guo, Ce Zhang, Bo Li
Published in: Advances in Neural Information Processing Systems 35 (NeurIPS 2022), 2022
Publisher: MLR press

Optimal mixing for two-state anti-ferromagnetic spin systems

Author(s): Xiaoyu Chen, Weiming Feng, Yitong Yin, Xinyuan Zhang
Published in: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), 2022
Publisher: IEEE
DOI: 10.1109/focs54457.2022.00062

Towards derandomising Markov chain Monte Carlo

Author(s): Feng, Weiming; Guo, Heng; Wang, Chunyang; Wang, Jiaheng; Yin, Yitong
Published in: 64th IEEE Symposium on Foundations of Computer Science (FOCS) 2023, 2024
Publisher: IEEE
DOI: 10.48550/arxiv.2211.03487

Peer reviewed articles (9)

A simple polynomial-time approximation algorithm for the total variation distance between two product distributions

Author(s): Weiming Feng ; Heng Guo ; Mark Jerrum ; Jiaheng Wang
Published in: TheoretiCS, Issue 2, 2023, ISSN 2751-4838
Publisher: Episciences
DOI: 10.46298/theoretics.23.7

Counting vertices of integral polytopes defined by facets

Author(s): Heng Guo; Mark Jerrum
Published in: Discrete & computational geometry, 2022, ISSN 0179-5376
Publisher: Springer Verlag
DOI: 10.1007/s00454-022-00406-8

Perfect sampling from spatial mixing

Author(s): Feng, Weiming; Guo, Heng; Yin, Yitong
Published in: Random Structures and Algorithms, 2021, ISSN 1042-9832
Publisher: John Wiley & Sons Inc.
DOI: 10.1002/rsa.21079

Fast Sampling and Counting k-SAT Solutions in the Local Lemma Regime

Author(s): Feng, Weiming; Guo, Heng; Yin, Yitong; Zhang, Chihao
Published in: Journal of the ACM, 2021, ISSN 0004-5411
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3469832

Counting Solutions to Random CNF Formulas

Author(s): Andreas Galanis; Leslie Ann Goldberg; Heng Guo; Kuan Yang
Published in: SIAM Journal on Computing, 2021, ISSN 0097-5397
Publisher: Society for Industrial and Applied Mathematics
DOI: 10.1137/20m1351527

FKT is Not Universal — A Planar Holant Dichotomy for Symmetric Constraints

Author(s): Jin-Yi Cai; Zhiguo Fu; Heng Guo; Tyson Williams
Published in: Theory of Computing Systems volume, 2022, ISSN 1432-4350
Publisher: Springer Verlag
DOI: 10.1007/s00224-021-10032-1

Swendsen-Wang dynamics for the ferromagnetic Ising model with external fields

Author(s): Weiming Feng; Heng Guo; Jiaheng Wang
Published in: Information and Computation, 2023, Page(s) 105066:1-34, ISSN 0890-5401
Publisher: Academic Press
DOI: 10.1016/j.ic.2023.105066

Inapproximability of Counting Hypergraph Colourings

Author(s): Andreas Galanis, Heng Guo, Jiaheng Wang
Published in: ACM Trans. Comput. Theory, 2023, ISSN 1942-3454
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3558554

Rapid Mixing from Spectral Independence beyond the Boolean Domain

Author(s): Feng, Weiming; Guo, Heng; Yin, Yitong; Zhang, Chihao
Published in: ACM Transactions on Algorithms, 2022, ISSN 1549-6325
Publisher: Association for Computing Machinary, Inc.
DOI: 10.1145/3531008