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

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Conference proceedings (13)

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

An FPRAS for Two Terminal Reliability in Directed Acyclic Graphs

Author(s): Weiming Feng, Heng Guo
Published in: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), 2024
Publisher: Dagstuhl Publishing
DOI: 10.4230/lipics.icalp.2024.62

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

On Deterministically Approximating Total Variation Distance

Author(s): Weiming Feng, Liqiang Liu, Tianren Liu
Published in: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2024, Page(s) 1766-1791
Publisher: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611977912.70

Rapid mixing of the flip chain over non-crossing spanning trees

Author(s): Konrad Anand, Weiming Feng, Graham Freifeld, Heng Guo, Mark Jerrum, Jiaheng Wang
Published in: 41st International Symposium on Computational Geometry (SoCG 2025), 2025
Publisher: Dagstuhl publishing
DOI: 10.4230/lipics.socg.2025.8

Deterministic Approximation for the Volume of the Truncated Fractional Matching Polytope

Author(s): Heng Guo, Vishvajeet N
Published in: 16th Innovations in Theoretical Computer Science Conference (ITCS 2025), 2025, ISSN 1868-8969
Publisher: Dagstuhl Publishing
DOI: 10.4230/lipics.itcs.2025.57

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

Near-linear time samplers for matroid independent sets with applications

Author(s): Xiaoyu Chen, Heng Guo, Xinyuan Zhang, Zongrui Zou
Published in: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2024), 2024
Publisher: Dagstuhl publishing
DOI: 10.4230/lipics.approx/random.2024.32

Peer reviewed articles (13)

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

Toward Derandomizing Markov Chain Monte Carlo

Author(s): Weiming Feng, Heng Guo, Chunyang Wang, Jiaheng Wang, Yitong Yin
Published in: SIAM Journal on Computing, Issue 54, 2025, Page(s) 775-813, ISSN 0097-5397
Publisher: Society for Industrial and Applied Mathematics
DOI: 10.1137/24m1663806

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

Approximate Counting for Spin Systems in Sub-Quadratic Time

Author(s): Konrad Anand, Weiming Feng, Graham Freifeld, Heng Guo, Jiaheng Wang
Published in: TheoretiCS, Issue Volume 4, 2025, ISSN 2751-4838
Publisher: TheoretiCS Foundation e.V..
DOI: 10.46298/theoretics.25.3

Fast Sampling of Satisfying Assignments from Random \(\boldsymbol{k}\)-SAT with Applications to Connectivity

Author(s): Zongchen Chen, Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Andrés Herrera-Poyatos, Nitya Mani, Ankur Moitra
Published in: SIAM Journal on Discrete Mathematics, Issue 38, 2024, Page(s) 2750-2811, ISSN 0895-4801
Publisher: Society for Industrial and Applied Mathematics
DOI: 10.1137/23m1595722

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

Inapproximability of counting independent sets in linear hypergraphs

Author(s): Guoliang Qiu, Jiaheng Wang
Published in: Information Processing Letters, Issue 184, 2023, Page(s) 106448, ISSN 0020-0190
Publisher: Elsevier BV
DOI: 10.1016/j.ipl.2023.106448

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