New Approaches to Counting and Sampling

Informations projet

NACS

N° de convention de subvention: 947778

DOI

10.3030/947778

Date de signature de la CE 31 Juillet 2020

Date de début 1 Janvier 2021

Date de fin 30 Juin 2026

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 468 303,00

Contribution de l’UE

€ 1 468 303,00

Coordonné par

THE UNIVERSITY OF EDINBURGH
United Kingdom

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Conference proceedings (13)

Improved Bounds for Randomly Colouring Simple Hypergraphs

Auteurs: Feng, Weiming; Guo, Heng; Wang, Jiaheng
Publié dans: International Conference on Randomization and Computation 2022, 2022
Éditeur: 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)

Auteurs: Efthymiou, Charilaos; Feng, Weiming
Publié dans: The 50th International Colloquium on Automata, Languages & Programming, 2023
Éditeur: LIPIcs
DOI: 10.48550/arxiv.2302.06172

Rapid mixing of Glauber dynamics via spectral independence for all degrees

Auteurs: Chen, Xiaoyu; Feng, Weiming; Yin, Yitong; Zhang, Xinyuan
Publié dans: 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS), 2022, ISBN 978-1-6654-2055-6
Éditeur: IEEE
DOI: 10.1109/focs52979.2021.00022

An FPRAS for Two Terminal Reliability in Directed Acyclic Graphs

Auteurs: Weiming Feng, Heng Guo
Publié dans: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), 2024
Éditeur: Dagstuhl Publishing
DOI: 10.4230/lipics.icalp.2024.62

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

Auteurs: Weiming Feng, Heng Guo, Mark Jerrum, Jiaheng Wang
Publié dans: 2023 Symposium on Simplicity in Algorithms (SOSA), 2023
Éditeur: SIAM
DOI: 10.1137/1.9781611977585.ch30

Extracting Mergers and Projections of Partitions

Auteurs: Kopparty, Swastik; N, Vishvajeet
Publié dans: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2023), 2023
Éditeur: LIPIcs
DOI: 10.4230/lipics.approx/random.2023.52

Improving Certified Robustness via Statistical Learning with Logical Reasoning

Auteurs: Zhuolin Yang, Zhikuan Zhao, Boxin Wang, Jiawei Zhang, Linyi Li, Hengzhi Pei, Bojan Karlas, Ji Liu, Heng Guo, Ce Zhang, Bo Li
Publié dans: Advances in Neural Information Processing Systems 35 (NeurIPS 2022), 2022
Éditeur: MLR press

Optimal mixing for two-state anti-ferromagnetic spin systems

Auteurs: Xiaoyu Chen, Weiming Feng, Yitong Yin, Xinyuan Zhang
Publié dans: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), 2022
Éditeur: IEEE
DOI: 10.1109/focs54457.2022.00062

On Deterministically Approximating Total Variation Distance

Auteurs: Weiming Feng, Liqiang Liu, Tianren Liu
Publié dans: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2024, Page(s) 1766-1791
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611977912.70

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

Auteurs: Konrad Anand, Weiming Feng, Graham Freifeld, Heng Guo, Mark Jerrum, Jiaheng Wang
Publié dans: 41st International Symposium on Computational Geometry (SoCG 2025), 2025
Éditeur: Dagstuhl publishing
DOI: 10.4230/lipics.socg.2025.8

Deterministic Approximation for the Volume of the Truncated Fractional Matching Polytope

Auteurs: Heng Guo, Vishvajeet N
Publié dans: 16th Innovations in Theoretical Computer Science Conference (ITCS 2025), 2025, ISSN 1868-8969
Éditeur: Dagstuhl Publishing
DOI: 10.4230/lipics.itcs.2025.57

Towards derandomising Markov chain Monte Carlo

Auteurs: Feng, Weiming; Guo, Heng; Wang, Chunyang; Wang, Jiaheng; Yin, Yitong
Publié dans: 64th IEEE Symposium on Foundations of Computer Science (FOCS) 2023, 2024
Éditeur: IEEE
DOI: 10.48550/arxiv.2211.03487

Near-linear time samplers for matroid independent sets with applications

Auteurs: Xiaoyu Chen, Heng Guo, Xinyuan Zhang, Zongrui Zou
Publié dans: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2024), 2024
Éditeur: 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

Auteurs: Weiming Feng ; Heng Guo ; Mark Jerrum ; Jiaheng Wang
Publié dans: TheoretiCS, Numéro 2, 2023, ISSN 2751-4838
Éditeur: Episciences
DOI: 10.46298/theoretics.23.7

Toward Derandomizing Markov Chain Monte Carlo

Auteurs: Weiming Feng, Heng Guo, Chunyang Wang, Jiaheng Wang, Yitong Yin
Publié dans: SIAM Journal on Computing, Numéro 54, 2025, Page(s) 775-813, ISSN 0097-5397
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/24m1663806

Counting vertices of integral polytopes defined by facets

Auteurs: Heng Guo; Mark Jerrum
Publié dans: Discrete & computational geometry, 2022, ISSN 0179-5376
Éditeur: Springer Verlag
DOI: 10.1007/s00454-022-00406-8

Perfect sampling from spatial mixing

Auteurs: Feng, Weiming; Guo, Heng; Yin, Yitong
Publié dans: Random Structures and Algorithms, 2021, ISSN 1042-9832
Éditeur: John Wiley & Sons Inc.
DOI: 10.1002/rsa.21079

Approximate Counting for Spin Systems in Sub-Quadratic Time

Auteurs: Konrad Anand, Weiming Feng, Graham Freifeld, Heng Guo, Jiaheng Wang
Publié dans: TheoretiCS, Numéro Volume 4, 2025, ISSN 2751-4838
Éditeur: TheoretiCS Foundation e.V..
DOI: 10.46298/theoretics.25.3

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

Auteurs: Zongchen Chen, Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Andrés Herrera-Poyatos, Nitya Mani, Ankur Moitra
Publié dans: SIAM Journal on Discrete Mathematics, Numéro 38, 2024, Page(s) 2750-2811, ISSN 0895-4801
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/23m1595722

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

Auteurs: Feng, Weiming; Guo, Heng; Yin, Yitong; Zhang, Chihao
Publié dans: Journal of the ACM, 2021, ISSN 0004-5411
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3469832

Counting Solutions to Random CNF Formulas

Auteurs: Andreas Galanis; Leslie Ann Goldberg; Heng Guo; Kuan Yang
Publié dans: SIAM Journal on Computing, 2021, ISSN 0097-5397
Éditeur: Society for Industrial and Applied Mathematics
DOI: 10.1137/20m1351527

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

Auteurs: Jin-Yi Cai; Zhiguo Fu; Heng Guo; Tyson Williams
Publié dans: Theory of Computing Systems volume, 2022, ISSN 1432-4350
Éditeur: Springer Verlag
DOI: 10.1007/s00224-021-10032-1

Inapproximability of counting independent sets in linear hypergraphs

Auteurs: Guoliang Qiu, Jiaheng Wang
Publié dans: Information Processing Letters, Numéro 184, 2023, Page(s) 106448, ISSN 0020-0190
Éditeur: Elsevier BV
DOI: 10.1016/j.ipl.2023.106448

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

Auteurs: Weiming Feng; Heng Guo; Jiaheng Wang
Publié dans: Information and Computation, 2023, Page(s) 105066:1-34, ISSN 0890-5401
Éditeur: Academic Press
DOI: 10.1016/j.ic.2023.105066

Inapproximability of Counting Hypergraph Colourings

Auteurs: Andreas Galanis, Heng Guo, Jiaheng Wang
Publié dans: ACM Trans. Comput. Theory, 2023, ISSN 1942-3454
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3558554

Rapid Mixing from Spectral Independence beyond the Boolean Domain

Auteurs: Feng, Weiming; Guo, Heng; Yin, Yitong; Zhang, Chihao
Publié dans: ACM Transactions on Algorithms, 2022, ISSN 1549-6325
Éditeur: Association for Computing Machinary, Inc.
DOI: 10.1145/3531008