A spectral condition for spectral gap: fast mixing in high-temperature Ising models

R Eldan, F Koehler, O Zeitouni - Probability theory and related fields, 2022 - Springer
We prove that Ising models on the hypercube with general quadratic interactions satisfy a
Poincaré inequality with respect to the natural Dirichlet form corresponding to Glauber …

Explicit expanders of every degree and size

N Alon - Combinatorica, 2021 - Springer
Abstract An (n, d, λ)-graph is ad regular graph on n vertices in which the absolute value of
any nontrivial eigenvalue is at most λ. For any constant d≥ 3, ϵ> 0 and all sufficiently large …

Paradigms for unconditional pseudorandom generators

P Hatami, W Hoza - Foundations and Trends® in Theoretical …, 2024 - nowpublishers.com
This is a survey of unconditional pseudorandom generators (PRGs). A PRG uses a short,
truly random seed to generate a long," pseudorandom" sequence of bits. To be more …

Explicit orthogonal and unitary designs

R O'Donnell, RA Servedio… - 2023 IEEE 64th Annual …, 2023 - ieeexplore.ieee.org
We give a strongly explicit construction of ϵ approximate k-designs for the orthogonal group
O (N) and the unitary group U (N), for N=2^n. Our designs are of cardinality poly(N^k/ϵ) …

Gap amplification for reconfiguration problems

N Ohsaka - Proceedings of the 2024 Annual ACM-SIAM …, 2024 - SIAM
Combinatorial reconfiguration is an emerging field of theoretical computer science that
studies the reachability between a pair of feasible solutions for a particular combinatorial …

[PDF][PDF] Probabilistically Checkable Reconfiguration Proofs and Inapproximability of Reconfiguration Problems

S Hirahara, N Ohsaka - Proceedings of the 56th Annual ACM …, 2024 - dl.acm.org
Motivated by the inapproximability of reconfiguration problems, we present a new PCP-type
characterization of PSPACE, which we call a probabilistically checkable reconfiguration …

Local and global expansion in random geometric graphs

S Liu, S Mohanty, T Schramm, E Yang - Proceedings of the 55th Annual …, 2023 - dl.acm.org
Consider a random geometric 2-dimensional simplicial complex X sampled as follows: first,
sample n vectors u 1,…, un uniformly at random on S d− 1; then, for each triple i, j, k∈[n] …

Quantum fault tolerance with constant-space and logarithmic-time overheads

QT Nguyen, CA Pattison - arXiv preprint arXiv:2411.03632, 2024 - arxiv.org
In a model of fault-tolerant quantum computation with quick and noiseless polyloglog-time
auxiliary classical computation, we construct a fault tolerance protocol with constant-space …

Quantum locally recoverable codes

L Golowic, V Guruswami - Proceedings of the 2025 Annual ACM-SIAM …, 2025 - SIAM
Classical locally recoverable codes, which permit highly efficient recovery from localized
errors as well as global recovery from larger errors, provide some of the most useful codes …

Local statistics, semidefinite programming, and community detection

J Banks, S Mohanty, P Raghavendra - Proceedings of the 2021 ACM-SIAM …, 2021 - SIAM
We propose a new, efficiently solvable hierarchy of semidefinite programming relaxations for
inference problems. As test cases, we consider the problem of community detection in block …