New Approaches to Counting and Sampling

Projektinformationen

NACS

ID Finanzhilfevereinbarung: 947778

DOI

10.3030/947778

EK-Unterschriftsdatum 31 Juli 2020

Startdatum 1 Januar 2021

Enddatum 30 Juni 2026

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 468 303,00

EU-Beitrag

€ 1 468 303,00

Koordiniert durch

THE UNIVERSITY OF EDINBURGH
United Kingdom

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (13)

Improved Bounds for Randomly Colouring Simple Hypergraphs

Autoren: Feng, Weiming; Guo, Heng; Wang, Jiaheng
Veröffentlicht in: International Conference on Randomization and Computation 2022, 2022
Herausgeber: 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)

Autoren: Efthymiou, Charilaos; Feng, Weiming
Veröffentlicht in: The 50th International Colloquium on Automata, Languages & Programming, 2023
Herausgeber: LIPIcs
DOI: 10.48550/arxiv.2302.06172

Rapid mixing of Glauber dynamics via spectral independence for all degrees

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

An FPRAS for Two Terminal Reliability in Directed Acyclic Graphs

Autoren: Weiming Feng, Heng Guo
Veröffentlicht in: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024), 2024
Herausgeber: Dagstuhl Publishing
DOI: 10.4230/lipics.icalp.2024.62

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

Autoren: Weiming Feng, Heng Guo, Mark Jerrum, Jiaheng Wang
Veröffentlicht in: 2023 Symposium on Simplicity in Algorithms (SOSA), 2023
Herausgeber: SIAM
DOI: 10.1137/1.9781611977585.ch30

Extracting Mergers and Projections of Partitions

Autoren: Kopparty, Swastik; N, Vishvajeet
Veröffentlicht in: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2023), 2023
Herausgeber: LIPIcs
DOI: 10.4230/lipics.approx/random.2023.52

Improving Certified Robustness via Statistical Learning with Logical Reasoning

Autoren: Zhuolin Yang, Zhikuan Zhao, Boxin Wang, Jiawei Zhang, Linyi Li, Hengzhi Pei, Bojan Karlas, Ji Liu, Heng Guo, Ce Zhang, Bo Li
Veröffentlicht in: Advances in Neural Information Processing Systems 35 (NeurIPS 2022), 2022
Herausgeber: MLR press

Optimal mixing for two-state anti-ferromagnetic spin systems

Autoren: Xiaoyu Chen, Weiming Feng, Yitong Yin, Xinyuan Zhang
Veröffentlicht in: 2022 IEEE 63rd Annual Symposium on Foundations of Computer Science (FOCS), 2022
Herausgeber: IEEE
DOI: 10.1109/focs54457.2022.00062

On Deterministically Approximating Total Variation Distance

Autoren: Weiming Feng, Liqiang Liu, Tianren Liu
Veröffentlicht in: Proceedings of the 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), 2024, Seite(n) 1766-1791
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/1.9781611977912.70

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

Autoren: Konrad Anand, Weiming Feng, Graham Freifeld, Heng Guo, Mark Jerrum, Jiaheng Wang
Veröffentlicht in: 41st International Symposium on Computational Geometry (SoCG 2025), 2025
Herausgeber: Dagstuhl publishing
DOI: 10.4230/lipics.socg.2025.8

Deterministic Approximation for the Volume of the Truncated Fractional Matching Polytope

Autoren: Heng Guo, Vishvajeet N
Veröffentlicht in: 16th Innovations in Theoretical Computer Science Conference (ITCS 2025), 2025, ISSN 1868-8969
Herausgeber: Dagstuhl Publishing
DOI: 10.4230/lipics.itcs.2025.57

Towards derandomising Markov chain Monte Carlo

Autoren: Feng, Weiming; Guo, Heng; Wang, Chunyang; Wang, Jiaheng; Yin, Yitong
Veröffentlicht in: 64th IEEE Symposium on Foundations of Computer Science (FOCS) 2023, 2024
Herausgeber: IEEE
DOI: 10.48550/arxiv.2211.03487

Near-linear time samplers for matroid independent sets with applications

Autoren: Xiaoyu Chen, Heng Guo, Xinyuan Zhang, Zongrui Zou
Veröffentlicht in: Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2024), 2024
Herausgeber: 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

Autoren: Weiming Feng ; Heng Guo ; Mark Jerrum ; Jiaheng Wang
Veröffentlicht in: TheoretiCS, Ausgabe 2, 2023, ISSN 2751-4838
Herausgeber: Episciences
DOI: 10.46298/theoretics.23.7

Toward Derandomizing Markov Chain Monte Carlo

Autoren: Weiming Feng, Heng Guo, Chunyang Wang, Jiaheng Wang, Yitong Yin
Veröffentlicht in: SIAM Journal on Computing, Ausgabe 54, 2025, Seite(n) 775-813, ISSN 0097-5397
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/24m1663806

Counting vertices of integral polytopes defined by facets

Autoren: Heng Guo; Mark Jerrum
Veröffentlicht in: Discrete & computational geometry, 2022, ISSN 0179-5376
Herausgeber: Springer Verlag
DOI: 10.1007/s00454-022-00406-8

Perfect sampling from spatial mixing

Autoren: Feng, Weiming; Guo, Heng; Yin, Yitong
Veröffentlicht in: Random Structures and Algorithms, 2021, ISSN 1042-9832
Herausgeber: John Wiley & Sons Inc.
DOI: 10.1002/rsa.21079

Approximate Counting for Spin Systems in Sub-Quadratic Time

Autoren: Konrad Anand, Weiming Feng, Graham Freifeld, Heng Guo, Jiaheng Wang
Veröffentlicht in: TheoretiCS, Ausgabe Volume 4, 2025, ISSN 2751-4838
Herausgeber: TheoretiCS Foundation e.V..
DOI: 10.46298/theoretics.25.3

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

Autoren: Zongchen Chen, Andreas Galanis, Leslie Ann Goldberg, Heng Guo, Andrés Herrera-Poyatos, Nitya Mani, Ankur Moitra
Veröffentlicht in: SIAM Journal on Discrete Mathematics, Ausgabe 38, 2024, Seite(n) 2750-2811, ISSN 0895-4801
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/23m1595722

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

Autoren: Feng, Weiming; Guo, Heng; Yin, Yitong; Zhang, Chihao
Veröffentlicht in: Journal of the ACM, 2021, ISSN 0004-5411
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3469832

Counting Solutions to Random CNF Formulas

Autoren: Andreas Galanis; Leslie Ann Goldberg; Heng Guo; Kuan Yang
Veröffentlicht in: SIAM Journal on Computing, 2021, ISSN 0097-5397
Herausgeber: Society for Industrial and Applied Mathematics
DOI: 10.1137/20m1351527

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

Autoren: Jin-Yi Cai; Zhiguo Fu; Heng Guo; Tyson Williams
Veröffentlicht in: Theory of Computing Systems volume, 2022, ISSN 1432-4350
Herausgeber: Springer Verlag
DOI: 10.1007/s00224-021-10032-1

Inapproximability of counting independent sets in linear hypergraphs

Autoren: Guoliang Qiu, Jiaheng Wang
Veröffentlicht in: Information Processing Letters, Ausgabe 184, 2023, Seite(n) 106448, ISSN 0020-0190
Herausgeber: Elsevier BV
DOI: 10.1016/j.ipl.2023.106448

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

Autoren: Weiming Feng; Heng Guo; Jiaheng Wang
Veröffentlicht in: Information and Computation, 2023, Seite(n) 105066:1-34, ISSN 0890-5401
Herausgeber: Academic Press
DOI: 10.1016/j.ic.2023.105066

Inapproximability of Counting Hypergraph Colourings

Autoren: Andreas Galanis, Heng Guo, Jiaheng Wang
Veröffentlicht in: ACM Trans. Comput. Theory, 2023, ISSN 1942-3454
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3558554

Rapid Mixing from Spectral Independence beyond the Boolean Domain

Autoren: Feng, Weiming; Guo, Heng; Yin, Yitong; Zhang, Chihao
Veröffentlicht in: ACM Transactions on Algorithms, 2022, ISSN 1549-6325
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3531008