Search arXiv⌕ Search

arXiv subjects

Brice Huang

Publications and source records attributed to Brice Huang.

At least 19 recordsLinked to original sources
arXiv2026

On Zeros and Algorithms for Disordered Systems II: The Antiferromagnetic Ising Model up to Kesten-Stigum

We give the first polynomial-time algorithm to estimate the partition function of the antiferromagnetic Ising model on the uniformly random $d$-regular graph to arbitrarily high accuracy for all inverse temperatures up to the Kesten-Stigum threshold. This is the entire regime in which the model is "replica symmetric," and is conjectured to be optimal for polynomial-time counting and sampling. To achieve our algorithmic result, we establish the absence of Fisher zeros for the partition function in a constant-width strip around the interval from $0$ up to the Kesten-Stigum threshold, with high probability over the randomness of the input graph. AI Disclosure: The overarching vision and proof architecture were developed solely by the authors without AI input. GPT 5.5 Pro was used, with extensive guidance from the authors, for only a few minor technical aspects of the proof. The authors independently verified correctness and wrote everything by hand. We take full responsibility for its contents. A more detailed statement can be found in Section 1.2.

cs.DS↗
arXiv2026

Approximating the Gibbs Measure of Spherical Spin Glasses to Within $o(N^{-1/2})$ in the Replica Symmetric Phase

We study the magnetization vector of mixed spherical spin glasses in a weak external field, in the replica symmetric phase. We derive a coordinatewise expansion of the magnetization which includes the leading cubic correction to the quadratic approximation, with an error that is $o(N^{-1/2})$ per coordinate. We also prove a corresponding high-moment bound for the full vector. Finally, our companion paper applies these estimates to the effective Hamiltonian obtained by restricting a tilted spherical spin glass to a narrow band around a TAP critical point. The resulting sharp approximation is designed for applications in which normalized Wasserstein accuracy is insufficient, including total-variation sampling by stochastic localization.

math.PR↗
arXiv2026

Free energy fluctuations of symmetric perceptron models up to and including criticality

We study the free energy fluctuations of spherical and Ising perceptron models with general even activations. These include the symmetric binary perceptron, the $U$-perceptron, and the bipartite Sherrington--Kirkpatrick model. Our main result is a Gaussian CLT for the free energy that holds both in the ``high-temperature'' interior of a second moment RS regime and on its ``critical'' boundary. At criticality, the CLT has scale $(\frac{\log N}{6})^{1/2}$, which matches the free energy fluctuations of the critical Sherrington--Kirkpatrick model and suggests this scaling is universal. The proof shows that the perceptron model's free energy fluctuations are explained, up to an additive $o(1)$ error with high probability, by those of a corresponding spherical Hopfield model, and that this relation persists even at criticality. This proof strategy builds on a critical reweighted moment method developed by the first and third authors \cite{du2026fluctuations} to identify the critical fluctuations of the SK free energy, which links these fluctuations to the spectral edge spacing of the disorder.

math.PR↗
arXiv2026

Sampling from Spherical Spin Glasses in Total Variation via Algorithmic Stochastic Localization

We consider the problem of algorithmically sampling from the Gibbs measure of a mixed $p$-spin spherical spin glass. We give a polynomial-time algorithm that samples from the Gibbs measure up to vanishing total variation error, for any model whose mixture satisfies $$ ξ''(s) < \frac{1}{(1-s)^2}, \qquad \forall s\in [0,1). $$ Our algorithm follows the algorithmic stochastic localization (SL) approach introduced in (Alaoui, Montanari, Sellke, 2022) and in fact achieves a more difficult task. Namely, it (approximately) generates a sample path $({\boldsymbol y}_t)_{t\ge 0}$ from the SL process. For large $T$, ${\boldsymbol y}_T/T$ is an approximate sample from the target Gibbs measure, and hence we solve the original problem as a special case. We provide evidence that the condition $ξ''(s) < (1-s)^{-2}$ is sharp for the task of sampling SL sample paths. Furthermore, we prove that it is optimal within a class of generalized SL processes. Remarkably this threshold is close to the conjectured threshold for sampling from the original Gibbs measure. In particular, for the pure $p$-spin glasses it is within an absolute ($p$-independent) constant of the so-called shattering phase transition. Earlier work on related models was suboptimal by a factor diverging polynomially in $p$. A key step of this approach is to estimate the mean of a sequence of tilted measures. We produce an improved estimator for this task by identifying a suitable correction to the TAP fixed point selected by approximate message passing (AMP). As a consequence, we improve the algorithm's guarantee over previous work, from normalized Wasserstein to total variation error. In particular, the new algorithm and analysis open the way to perform inference about one-dimensional projections of the measure.

math.PR↗
arXiv2026

Algorithmic threshold for high-dimensional projection pursuit I: general theory

We study a null model of high-dimensional projection pursuit: we are given $M$ points sampled i.i.d. from a standard gaussian in $N$ dimensions, where $M,N\to\infty$ with $M/N\toα\in(0,\infty)$. Our goal is to characterize the possible empirical distributions of these points' projections along a data-dependent direction $x$, which ranges over either the sphere $S_N=\sqrt{N}\mathbb{S}^{N-1}$ or cube $Σ_N=\{-1,+1\}^N$. We consider this problem in an algorithmic setting, where $x$ must be the output of an algorithm with dimension-free Lipschitz dependence on the input; this class of algorithms includes general gradient-based methods such as Langevin dynamics and approximate message passing (AMP). Our main result exactly characterizes the set of empirical distributions attainable by this class in terms of a one-dimensional stochastic control problem. As a consequence of our main result, we obtain exact algorithmic thresholds for optimizing the Hamiltonian of a spherical or Ising perceptron model with general bounded continuous activation. For the spherical problem, independent work of Montanari and Zhou (2024) characterized the empirical distributions attainable by a related two-stage AMP algorithm, also in terms of stochastic control. Our proof of hardness builds on the branching overlap gap property introduced in earlier work by the first two authors. Our main innovation is to develop stochastic control theory within the branching OGP framework, significantly expanding the settings in which it locates an exact algorithmic threshold. Notably, our methods apply even though the non-algorithmic problem of characterizing all feasible projections remains a major outstanding challenge. For the matching algorithmic result, we construct a new incremental AMP algorithm that acts on a Brownian-bridge revelation of the gaussian disorder and simulates the same family of controlled SDEs.

math.PR↗
arXiv2026

Overlap distribution of the critical Sherrington-Kirkpatrick model

We study the distribution of the two-replica overlap $R_{1,2}$ in the Ising and spherical Sherrington-Kirkpatrick models at the critical inverse temperature $β= 1$. Our main result shows that in both models, $R_{1,2}$ has scale $N^{-1/3}$, and the quenched distribution of $N^{1/3} R_{1,2}$ converges to an explicit random probability measure defined in terms of the reflected $\mathrm{Airy}_1$ point process. As a consequence, we characterize the limiting value of $N^{2/3} \mathbb{E} \langle R_{1,2}^2 \rangle$, answering a question of Talagrand \cite{talagrand2011mean2}. For the spherical SK model, we obtain the limit by representing the Gibbs measure as an anisotropic Gaussian on $\mathbb{R}^N$ conditioned to have norm $\sqrt{N}$, and then passing to the $\mathrm{Airy}_1$ scaling limit at the GOE spectral edge. For the Ising SK model, the proof is based on a sphere-to-cube comparison principle showing that the quenched distributions of $N^{1/3} R_{1,2}$ under the spherical and Ising Gibbs measures asymptotically coincide. This paper is a companion to \cite{du2026fluctuations}, where we introduced a related comparison principle to identify the limiting fluctuations of the SK free energy. Most of the arguments in this paper were generated using GPT-5.6 Pro, with the aim of exploring further consequences of the ideas developed in that work.

math.PR↗
arXiv2026

Fluctuations of the Sherrington-Kirkpatrick free energy at critical temperature

We consider the Sherrington-Kirkpatrick spin glass model at the critical inverse temperature $β= 1$ with zero external field. We prove that the free energy $F_N = F_{N,β=1}$ of this model has variance \[ \mathrm{Var}(F_N) = \frac16 \log N + O(1)\,, \] confirming a physics prediction of Aspelmeier \cite{aspelmeier2008free}, and that the centered and scaled $F_N$ satisfies a Gaussian CLT. We also identify the critical two-replica overlap scale, proving \[ \mathbb{E} \langle R_{1,2}^2\rangle \asymp N^{-2/3}\,, \] as conjectured by Talagrand \cite{talagrand2011mean2}, together with a uniform exponential moment bound for $N^{1/3} |R_{1,2}|$. The key input is a critical reweighted moment method, in the spirit of the ``small subgraph conditioning'' technique from probabilistic combinatorics, but capable of capturing diverging fluctuations. Through this reweighting, we relate the critical SK model to the BBP critical edge, which determines the overlap and fluctuation scales.

math.PR↗
arXiv2026

Strong Low Degree Hardness for Stable Local Optima in Spin Glasses

It is a folklore belief in the theory of spin glasses and disordered systems that out-of-equilibrium dynamics fail to find stable local optima exhibiting e.g. local strict convexity on physical time-scales. In the context of the Sherrington--Kirkpatrick spin glass, Behrens-Arpino-Kivva-Zdeborová and Minzer-Sah-Sawhney have recently conjectured that this obstruction may be inherent to all efficient algorithms, despite the existence of exponentially many such optima throughout the landscape. We prove this search problem exhibits strong low degree hardness for polynomial algorithms of degree $D\leq o(N)$: any such algorithm has probability $o(1)$ to output a stable local optimum. To the best of our knowledge, this is the first result to prove that even constant-degree polynomials have probability $o(1)$ to solve a random search problem without planted structure. To prove this, we develop a general-purpose enhancement of the ensemble overlap gap property, and as a byproduct improve previous results on spin glass optimization, maximum independent set, random $k$-SAT, and the Ising perceptron to strong low degree hardness. Finally for spherical spin glasses with no external field, we prove that Langevin dynamics does not find stable local optima within dimension-free time.

cond-mat.dis-nn↗
arXiv2026

Stable algorithms cannot reliably find isolated perceptron solutions

We study the binary perceptron, a random constraint satisfaction problem that asks to find a Boolean vector in the intersection of independently chosen random halfspaces. A striking feature of this model is that at every positive constraint density, it is expected that a $1-o_N(1)$ fraction of solutions are \emph{strongly isolated}, i.e. separated from all others by Hamming distance $Ω(N)$. At the same time, efficient algorithms are known to find solutions at certain positive constraint densities. This raises a natural question: can any isolated solution be algorithmically visible? We answer this in the negative: no algorithm whose output is stable under a tiny Gaussian resampling of the disorder can \emph{reliably} locate isolated solutions. We show that any stable algorithm has success probability at most $\frac{3\sqrt{17}-9}{4}+o_N(1)\leq 0.84233$. Furthermore, every stable algorithm that finds a solution with probability $1-o_N(1)$ finds an isolated solution with probability $o_N(1)$. The class of stable algorithms we consider includes degree-$D$ polynomials up to $D\leq o(N/\log N)$; under the low-degree heuristic \cite{hopkins2018statistical}, this suggests that locating strongly isolated solutions requires running time $\exp(\widetildeΘ(N))$. Our proof does not use the overlap gap property. Instead, we show via Pitt's correlation inequality that after a random perturbation of the disorder, the number of solutions located close to a pre-existing isolated solution cannot concentrate at $1$.

cs.CC↗
arXiv2025

Shotgun assembly of random regular graphs

Mossel and Ross (2019) introduce the shotgun assembly problem for random graphs: what radius $R$ ensures that the random graph $G$ can be uniquely recovered from its list of rooted $R$-neighborhoods, with high probability? Here we consider this question for random regular graphs of fixed degree $d\ge3$. A result of Bollobás (1982) implies efficient recovery at $R = (1 + ε) \frac12 \log_{d-1}n$ with high probability -- moreover, this recovery algorithm uses only a summary of the distances in each neighborhood. We show that using the full neighborhood structure gives a sharper bound \[ R = \frac{\log n + \log\log n}{2\log(d-1)} + O(1)\,, \] which we prove is tight up to the $O(1)$ term. One consequence of our proof is that if $G,H$ are independent graphs where $G$ follows the random regular law, then with high probability the graphs are non-isomorphic; furthermore, this can be efficiently certified by testing the $R$-neighborhood list of $H$ against the $R$-neighborhood of a single adversarially chosen vertex of $G$.

math.PR↗
arXiv2025

On zeros and algorithms for disordered systems: mean-field spin glasses

Spin glasses are fundamental probability distributions at the core of statistical physics, the theory of average-case computational complexity, and modern high-dimensional statistical inference. In the mean-field setting, we design deterministic quasipolynomial-time algorithms for estimating the partition function to arbitrarily high accuracy for all inverse temperatures in the second moment regime. In particular, for the Sherrington--Kirkpatrick model, our algorithms succeed for the entire replica-symmetric phase. To achieve this, we study the locations of the zeros of the partition function. Notably, our methods are conceptually simple, and apply equally well to the spherical case and the case of Ising spins.

cs.DS↗
arXiv2025

Strong Topological Trivialization of Multi-Species Spherical Spin Glasses

We study the landscapes of multi-species spherical spin glasses. Our results determine the phase boundary for annealed trivialization of the number of critical points, and establish its equivalence with a quenched strong topological trivialization property. Namely in the "trivial" regime, the number of critical points is constant, all are well-conditioned, and all approximate critical points are close to a true critical point. As a consequence, we deduce that Langevin dynamics at sufficiently low temperature has logarithmic mixing time. Our approach begins with the Kac--Rice formula. We characterize the annealed trivialization phase by explicitly solving a suitable multi-dimensional variational problem, obtained by simplifying certain asymptotic determinant formulas from (Ben Arous--Bourgade--McKenna 2023, McKenna 2024). To obtain more precise quenched results, we develop general purpose techniques to avoid sub-exponential correction factors and show non-existence of approximate critical points. Many of the results are new even in the 1-species case.

math.PR↗
arXiv2025

Capacity threshold for the Ising perceptron

We show that the capacity of the Ising perceptron is with high probability upper bounded by the constant $α_\star \approx 0.833$ conjectured by Krauth and Mézard, under the condition that an explicit two-variable function $\mathscr{S}_*(λ_1,λ_2)$ is maximized at $(1,0)$. The earlier work of Ding and Sun proves the matching lower bound subject to a similar numerical condition, and together these results give a conditional proof of the conjecture of Krauth and Mézard.

math.PR↗
arXiv2024

Weak Poincaré Inequalities, Simulated Annealing, and Sampling from Spherical Spin Glasses

There has been a recent surge of powerful tools to show rapid mixing of Markov chains, via functional inequalities such as Poincaré inequalities. In many situations, Markov chains fail to mix rapidly from a worst-case initialization, yet are expected to approximately sample from a random initialization. For example, this occurs if the target distribution has metastable states, small clusters accounting for a vanishing fraction of the mass that are essentially disconnected from the bulk of the measure. Under such conditions, a Poincaré inequality cannot hold, necessitating new tools to prove sampling guarantees. We develop a framework to analyze simulated annealing, based on establishing so-called weak Poincaré inequalities. These inequalities imply mixing from a suitably warm start, and simulated annealing provides a way to chain such warm starts together into a sampling algorithm. We further identify a local-to-global principle to prove weak Poincaré inequalities, mirroring the spectral independence and localization schemes frameworks for analyzing mixing times of Markov chains. As our main application, we prove that simulated annealing samples from the Gibbs measure of a spherical spin glass for inverse temperatures up to a natural threshold, matching recent algorithms based on algorithmic stochastic localization. This provides the first Markov chain sampling guarantee that holds beyond the uniqueness threshold for spherical spin glasses, where mixing from a worst-case initialization is provably slow due to the presence of metastable states. As an ingredient in our proof, we prove bounds on the operator norm of the covariance matrix of spherical spin glasses in the full replica-symmetric regime. Additionally, we resolve a question related to sampling using data-based initializations.

math.PR↗
arXiv2024

Improved Lower Bound for Frankl's Union-Closed Sets Conjecture

We verify an explicit inequality conjectured recently by Gilmer, thus proving that for any nonempty union-closed family $F \subseteq 2^{[n]}$, some $i\in [n]$ is contained in at least a $\frac{3-\sqrt{5}}{2} \approx 0.38$ fraction of the sets in $F$. One case, an explicit one-variable inequality, is checked by computer calculation.

math.CO↗
arXiv2024

A Constructive Proof of the Spherical Parisi Formula

The Parisi formula for the free energy is among the crown jewels in the theory of spin glasses. We present a simpler proof of the lower bound in the case of the spherical mean-field model. Our method follows the TAP approach developed recently in e.g. (Subag, 2018): we obtain an ultrametric tree of pure states, each with approximately the same free energy as the entire model, which are hierarchically arranged in accordance with the Parisi ansatz. We construct this tree ``layer by layer'' given the minimizer to Parisi's variational problem. On overlap intervals with full RSB, the tree is built by an optimization algorithm due to Subag. On overlap intervals with finite RSB, the tree is constructed by a new truncated second moment argument; a similar argument also characterizes the free energy of the resulting pure states. Notably we do not use the Aizenman--Sims--Starr scheme, and require interpolation bounds only up to the 1RSB level. Our methods also yield results for large deviations of the ground state, including the entire upper tail rate function for all 1RSB models without external field.

math.PR↗
arXiv2024

Optimization Algorithms for Multi-Species Spherical Spin Glasses

This paper develops approximate message passing algorithms to optimize multi-species spherical spin glasses. We first show how to efficiently achieve the algorithmic threshold energy identified in our companion work, thus confirming that the Lipschitz hardness result proved therein is tight. Next we give two generalized algorithms which produce multiple outputs and show all of them are approximate critical points. Namely, in an $r$-species model we construct $2^r$ approximate critical points when the external field is stronger than a "topological trivialization" phase boundary, and exponentially many such points in the complementary regime. We also compute the local behavior of the Hamiltonian around each. These extensions are relevant for another companion work on topological trivialization of the landscape.

math.PR↗