Searcharxiv⌕ Search

arXiv subjects

Yan Ru Pei

Publications and source records attributed to Yan Ru Pei.

At least 19 recordsLinked to original sources

No infinite cluster at criticality for long-range percolation with fast-decaying interactions

We consider independent long-range bond percolation on $\mathbb{Z}^d$ in which $x$ and $y$ are joined with probability $1-e^{-βJ(x-y)}$. Let $d\ge2$ and let $J$ be invariant under coordinate permutations and sign changes, positive on nearest-neighbour pairs, and satisfy $\liminf_{n\to\infty} n^d\sum_{\|x\|>n}J(x)=0$. We prove that there is no infinite cluster at the critical parameter. Together with Berger's theorem for heavy tails, this gives continuity of the phase transition for $J(x)\asymp\|x\|^{-d-α}$ for every $α>0$ except $α=d$, in every dimension $d\ge2$, and for every exponentially decaying kernel satisfying these hypotheses. Previously the fast-decaying case was known for nearest-neighbour and uniform finite-range kernels, in $d=2$ for finite-range and exponential kernels, and in high dimension for sufficiently spread-out kernels. The proof adapts a recent renormalization argument for nearest-neighbour percolation on $\mathbb{Z}^3$ that is driven by a gluing inequality conjectured by Kozma and Nitzan. Long edges enter in two places: they can jump over the surfaces that a nearest-neighbour path must cross, and they let a cluster outside a box enter it from far away. We control the first with thick outer faces and the tail condition, and the second by measuring entrances through the total edge weight between a cluster and a box rather than through the number of boundary vertices.

math.PR↗

The massive phase of the two-dimensional Heisenberg model is stable under small anisotropy

Polyakov predicted that the classical Heisenberg model on $\mathbb{Z}^2$ has exponentially decaying correlations at every temperature, and a proof of this has recently been posted. We show that the massive phase survives small anisotropy. For every inverse temperature $β$ there is $δ(β)>0$ such that the $S^2$-valued model with couplings $\sum_iJ^iσ_x^iσ_y^i$ has exponentially decaying spin two-point functions, uniformly in finite subgraphs with free boundary conditions and in edge strengths up to $β$, whenever $|J^i-1|\leδ(β)$ for $i=1,2,3$. For the easy-plane model with couplings $σ^xσ^x+σ^yσ^y+λσ^zσ^z$ this shows that the onset of the Berezinskii-Kosterlitz-Thouless phase, proved by Garban and de Montgolfier for every $λ\in(-1,1)$, moves to zero temperature as $λ\uparrow1$: in free-boundary limits, correlations decay exponentially for every $β\le c |\log(1-λ)|^{1/2}$. The physical prediction is of order $|\log(1-λ)|$. The same holds for aligned single-ion anisotropy, which includes a confining potential $\varepsilon\sum(σ^z)^2$, and for nearly isotropic $O(n)$ models with $n\ge3$. The proof keeps the sign-cluster argument of the isotropic proof, using Ginibre's correlation inequality for anisotropic planar energies, and uses the rotation symmetry only on one finite annulus, where the anisotropy is a bounded perturbation of the Hamiltonian.

math-ph↗

Upper deviations of the Sherrington-Kirkpatrick free energy: the fifth-order law and the onset of constrained Parisi measures

Let $Z_N$ be the partition function of the Sherrington-Kirkpatrick model at inverse temperature $β>1$. Replica theory (Kondor near the critical temperature, Parisi and Rizzo at all temperatures) predicts that the probability that $N^{-1}\log Z_N$ exceeds its typical value by $δ$ decays like $\exp(-Naδ^{6/5})$ with an explicit $a$; Aronow and Lopatto recently proved bounds of this order. The exponent is the Legendre transform of the Parisi problem constrained to carry an atom $θ$ at zero. We show that the constrained minimum exceeds the equilibrium free energy by $c_βθ^5(1+o(1))$, where $c_β=\frac{9}{640}β^3ρ_β(0)^{-3}$ and $ρ_β(0)>0$ is the density at zero of the Parisi measure. With the fractional-moment formula this gives the exponent $\frac56(6c_β)^{-1/5}δ^{6/5}(1+o(1))$ as $N\to\infty$ and then $δ\to0$. The constrained minimizer has a marginal first positive contact, to leading order at $3θ/(2ρ_β(0))$ with an atom $θ/2$. This plateau calculus applies to every mixture with $ξ'''(0)=0$ whose Parisi measure accumulates at zero; a small field $h$ opens a gap of order $|h|^{2/3}$, and an atom of the Parisi measure at zero, present in every pure $p$-spin model with $p\ge3$, makes the rate leave zero linearly. Near criticality the constant tends to Kondor's value $9/5120$ and the marginal regime ends at a de Almeida-Thouless threshold. For the Sherrington-Kirkpatrick model at every $β>1$, a finite-step curvature inequality from an unrefereed preprint shows that every constrained minimizer either has an interval of positive contacts, all marginal, or has exactly two atoms, and that the marginal regime ends at a unique de Almeida-Thouless threshold $θ_c(β)$. The laws at every $β>1$ use that the Parisi measure accumulates at zero, a theorem of Lopatto also proved in earlier work of the author.

math.PR↗

TAP states at upper deviations of the free energy: existence, localization and marginal stability in Ising spin glasses

We study upper large deviations of the free energy of mixed $p$-spin Ising spin glasses through the generalized TAP free energy $F_{\mathrm{TAP}}$ of Chen, Panchenko and Subag. For every mixture with radius of convergence greater than one, $\max F_{\mathrm{TAP}}$ and $\log Z_N$ have the same large deviations at speed $N$; the proof combines their band theorem with Ramsey's theorem. For convex mixtures with $\sum_p 2^pβ_p^2<\infty$, upper deviations at level $f$ are carried by generalized TAP critical points, which exist at the free-energy rate without Boursier's strict Plefka condition. Outside an event of smaller exponential order, near-maximizers at level $f$ lie near the contact set of a constrained Parisi obstacle, follow the Auffinger-Chen field law, and have Hessian bulk near a reflected Pastur law whose edge is nonpositive and vanishes exactly at contacts where the obstacle is flat to second order. Where every contact is of this kind, a fixed stability margin costs rate.

math.PR↗

Towards the spin-glass transition in finite dimensions via blue percolation

We prove blue percolation in the Chayes-Machta-Redner representation of the zero-field Edwards-Anderson spin glass in finite dimensions. For fixed symmetric iid couplings with $0<m=\mathbb{E}|J|<\infty$, the first blue-percolation inverse temperature $β_{\mathrm{b}}(d)$ satisfies $2dm\,β_{\mathrm{b}}(d)\to1$ as $d\to\infty$, in periodic joint limits. For symmetric $\pm1$ couplings, both overlap signs percolate at explicit temperatures in every dimension from 7 to 12. That proof reveals the overlap field, shows that it dominates a weakly coupled Ising field, and bounds a weighted second moment of open paths; in dimensions 7 to 9 the paths make short lateral excursions, and an interaction-matrix criterion controls the second moment. These proofs are computer-assisted: finitely many inequalities between rigorously bounded quantities are decided in exact rational arithmetic. For exponential-moment disorder, we also establish a percolating regime with exactly equal infinite-blue-sector densities and finite spin-glass susceptibility. In these periodic limits, persistent density imbalance would imply distinct spin-flip-related Gibbs states and ordinary spin-glass order: positive spatial-overlap variance, infinite spin-glass susceptibility and a cusp of the replica-coupling pressure, without requiring finite-blue cancellation. Proving imbalance remains open.

cond-mat.dis-nn↗

Vertical and reentrant ferromagnetic boundaries below the Nishimori point

We prove that below the multicritical (Nishimori) point the ferromagnetic boundary of a biased Ising spin glass, argued by Nishimori (1986) to be exactly vertical, can be vertical and can also be reentrant, so that cooling at fixed disorder destroys order. It is vertical in the Sherrington-Kirkpatrick (SK) model with a Curie-Weiss bias $J_0$, and reentrant near the triple point of fully connected $p$-spin glasses and, at one disorder strength, on a decorated planar $\mathbb{Z}^2$-periodic lattice. For every $T J$. For every integer $p\ge3$, at each bias slightly larger than the triple-point bias, the $p$-spin magnetization is macroscopic at the Nishimori temperature and vanishes at an explicit lower temperature; this is Nishimori's recent replica prediction in two-temperature form. On the lattice ($\mathbb{Z}^2$ with each bond replaced by a fixed series-parallel gadget; maximum degree four), with iid $\pm J$ couplings at $\mathbb{P}(J_e=-1)=9/10000$, the Gibbs state is almost surely unique at high temperature, non-unique in a window containing the Nishimori temperature, and unique again at low temperature. As Dey and Kang observed, the SK boundary is set by the zero-field susceptibility together with an envelope bound on the free-energy gain in a field, which follows from the gauge inequality. We prove that this susceptibility is the curvature at the origin of the zero-field Parisi PDE solution, which Lopatto evaluated for every $β>1$ via his theorem that the support of the Parisi measure accumulates at the origin; we give a short alternative proof of that theorem. The $p$-spin and lattice results and the alternative proof are computer-assisted. The models are proxies for the nearest-neighbour $\pm J$ model on $\mathbb{Z}^2$ and say nothing about $\mathbb{Z}^d$.

math.PR↗

Positive-temperature spin-glass order on the three-dimensional Migdal-Kadanoff lattice

We study the Ising spin glass with independent, identically distributed couplings on the diamond hierarchical lattice with $n$ branches, of effective dimension $1+\log_2 n$; $n=4$ is the Migdal-Kadanoff lattice of $\mathbb{Z}^3$. For $n\ge4$ and every coupling law with a bounded density we prove that at sufficiently low temperature $T>0$, uniformly in the level of the lattice, the poles are ordered, every spin has Edwards-Anderson parameter $1-O(T)$ when the poles are fixed, and the overlap of two free-boundary replicas has second moment $1-O(T)$. For standard Gaussian couplings, $n=3,4,5,7,8$ and every $T\le T^*(n)=4/15,\,6/7,\,6/5,\,7/4,\,2$ ($0.89$ to $0.98$ times numerical estimates of $T_c$), a computer-assisted proof gives pole order and, as the level tends to infinity, site-overlap order and the blue-cluster statements below; likewise for every larger $n$ at these temperatures. Previously, spin-glass order on these lattices with frustrated independent couplings had been proved only for more than $10^{18}$ branches (Collet and Eckmann, 1984). The key step is growth of the effective coupling under the exact renormalization map: for $n\ge4$, by a one-step contraction, via Rogozin's inequality, of a density bound on an event of high probability; near $T_c$, by interval-arithmetic bounds in the peakedness order. A transfer theorem following the ancestor-chain argument of Collet and Eckmann turns this growth into bulk statements. In the Chayes-Machta-Redner representation the same input gives a blue cluster that contains both poles with probability tending to one and whose expected density is bounded away from zero, while the largest other blue cluster has density tending to zero in probability and in $L^1$; hence blue-cluster density imbalance. To our knowledge this is the first proof of such an imbalance for a spin glass on a graph other than the complete graph.

math.PR↗

Macroscopic freezing of a vector Gaussian free field conditioned to avoid a ball

We consider a fixed finite number of independent two-dimensional discrete Gaussian free fields on a box of side $n$, with zero boundary values, conditioned so that the vector-valued field stays outside a fixed ball on a macroscopic interior domain. We prove that the field, divided by $\log n$, converges in distribution in $L^2$ to twice the equilibrium potential of the domain multiplied by a uniform random unit vector. We also identify the exact capacity cost of the conditioning event and obtain alignment on a deterministic density-one set of sites, with no restriction on their mutual distance. The proof combines the norm repulsion theorem of Korzhenkova and Sepúlveda with Gaussian large deviations and the equality case in the capacity variational problem.

math.PR↗

Critical and near-critical influence bounds for ferromagnetic Ising models

For a ferromagnetic Ising model on a graph of maximum degree $Δ\ge3$, we prove a bound of order $\sqrt n$ on every row of the influence matrix at the tree uniqueness threshold. The estimate is uniform in the degree, the external fields, and all pinnings. More generally, if the couplings are bounded by $β$ and $\varepsilon=((Δ-1)\tanhβ-1)_+$, the bound is $C(\sqrt n+n\varepsilon)$. The proof combines a pointwise cavity bound with a positive-series magnetization tilt and the field comparison theorem of Ding, Song and Sun. The critical estimate removes the logarithm in recent general graphical bounds for the ferromagnetic case. As a consequence, zero-field single-site Glauber dynamics mixes in polynomial time throughout the supercritical window $\varepsilon=O(\sqrt{\log n/n})$, with the polynomial degree depending on the window size.

math-ph↗

Uniform displacement bounds and Gibbs limits for periodic one-dimensional Riesz gases

For the neutral periodic one-dimensional Riesz gas with pair potential locally $-|x|^a$, $0<a<1$, we prove a particle-displacement variance bound of order $β^{-1}$, uniformly in the number of particles. Log-concavity also gives exponential displacement tails. Every stationary periodic thermodynamic limit is simple, has intensity one, and admits a stationary ordered matching to the unit lattice with the same bounds. Each limit satisfies the canonical Gibbs equations for the full-line interaction, with an ordinary symmetric spatial principal value for the exterior potential. The matching implies uniformly bounded interval number variance and a positive limiting second moment of the reciprocal-lattice Fourier average at sufficiently low temperature. The main estimate compares the inverse random Hessian, through deterministic electrical flows, to a transient long-range network.

math-ph↗

Correlation comparisons and critical curves for disordered XY models

We prove a lower comparison for disorder-averaged ferromagnetic XY correlations: independent nonnegative random couplings $K_e$ can be replaced by $-\frac12\log\mathbb{E}e^{-2K_e}$. Ginibre's inequality makes each normalized correlation convex in $1-e^{-2K_e}$, so conditional Jensen and thinning compare Bernoulli bond densities; two star-wise Jensen passes handle site dilution on bipartite graphs. Together with the phase-existence theorem of Dario and Garban, these comparisons give local Lipschitz regularity of both the averaged algebraic-phase and susceptibility-divergence thresholds throughout the supercritical density intervals on $\mathbb{Z}^2$. The clean finite-domain criterion of van Engelenburg and Lis also yields explicit finite-size susceptibility lower bounds in a weak-dilution region. For bounded centered bond noise, the possible suppression of the algebraic-phase temperature is at most quadratic in the noise amplitude. Finally, at finite positive thresholds we prove total-variation continuity for bounded iid coupling laws whose essential supremum equals the common support cap, with local Lipschitz control when the reference law has an atom at that cap.

math.PR↗

Disorder transfer for the critical SK overlap law

We give a quantitative disorder comparison for the zero-field Sherrington--Kirkpatrick model at inverse temperature one. For any fixed number of replicas, replacing Gaussian couplings by independent couplings from a bounded symmetric variance-one law changes a bounded replica expectation by at most a constant times the Gaussian overlap second moment plus $N^{-1}$. A multiplicative comparison for nonnegative observables controls the tails. The proof uses Talagrand's positive-observable estimates and Yu-Ting Chen's fourth-order replica cancellation. Assuming the Gaussian critical overlap limit stated by Du and Huang, we obtain the same limit for the random quenched overlap measure in the iterated Wasserstein-2 topology. No separate moment assumption is needed for this transfer. Their additional exponential moment bound gives convergence of the rescaled spin-glass susceptibility in every finite Wasserstein distance. The coupling class includes fair signs, uniform disorder, and signs thinned at any fixed positive density.

math.PR↗

At Most Two Infinite Blue Clusters in the CMR Representation of the Edwards-Anderson Spin Glass

The two-replica Chayes-Machta-Redner (CMR) representation is one of the main proposed geometric signatures of spin-glass order in the short-range Edwards-Anderson model. Mean-field arguments and recent numerics suggest that the low-temperature phase should exhibit two macroscopic blue clusters carrying opposite overlap signs. We prove a rigorous structural constraint in this direction. For any subsequential local weak limit of the standard periodic-torus joint laws on disorder, two spin replicas, and CMR bond variables, the blue subgraph contains at most two infinite connected components; if two exist, then they lie in a common infinite grey cluster and belong to opposite overlap-parity classes. The main obstacle is that the labelled blue geometry does not permit unrestricted insertions across overlap classes, and no positive-association input is available, so the usual Burton-Keane and random-cluster arguments do not apply directly. We isolate an abstract multicolour Burton-Keane proposition based on finite-box label-class coalescence and verify its hypothesis for CMR blue bonds by resampling the full joint measure. As auxiliary input, we establish finite energy and a percolation transition for the grey subgraph via local resampling of the disorder and a parity-based Peierls estimate. These results do not prove the existence of infinite blue clusters or a spin-glass phase transition, but they give a rigorous upper bound compatible with the two-cluster picture for short-range spin glasses.

cond-mat.dis-nn↗

peapods: A Rust-Accelerated Monte Carlo Package for Ising Spin Systems

We present peapods (github.com/PeaBrane/peapods), an open-source Python package for Monte Carlo simulation of Ising spin systems with arbitrary coupling constants on periodic Bravais lattices with user-specified neighbor offsets. The computational core is written in Rust and exposed to Python via PyO3, combining the ergonomic interface of Python with the performance of compiled, memory-safe code. The package implements Metropolis and Gibbs single-spin-flip algorithms, Swendsen-Wang and Wolff cluster updates, parallel tempering, and three replica cluster moves for spin glasses: the Houdayer isoenergetic cluster move, the Jorg stochastic variant, and the Chayes-Machta-Redner (CMR) blue-bond algorithm. Overlap statistics between replica pairs enable computation of the spin glass order parameter and Binder ratio. Replica-level parallelism is achieved through the Rayon work-stealing scheduler. We validate the implementation against the exact critical temperatures of the two-dimensional Ising model on the square and triangular lattices via finite-size scaling of the Binder cumulant.

cond-mat.stat-mech↗

PLEIADES: Building Temporal Kernels with Orthogonal Polynomials

We introduce a class of neural networks named PLEIADES (PoLynomial Expansion In Adaptive Distributed Event-based Systems), which contains temporal convolution kernels generated from orthogonal polynomial basis functions. We focus on interfacing these networks with event-based data to perform online spatiotemporal classification and detection with low latency. By virtue of using structured temporal kernels and event-based data, we have the freedom to vary the sample rate of the data along with the discretization step-size of the network without additional finetuning. We experimented with three event-based benchmarks and obtained state-of-the-art results on all three by large margins with significantly smaller memory and compute costs. We achieved: 1) 99.59% accuracy with 192K parameters on the DVS128 hand gesture recognition dataset and 100% with a small additional output filter; 2) 99.58% test accuracy with 277K parameters on the AIS 2024 eye tracking challenge; and 3) 0.556 mAP with 576k parameters on the PROPHESEE 1 Megapixel Automotive Detection Dataset.

cs.LG↗

aTENNuate: Optimized Real-time Speech Enhancement with Deep SSMs on Raw Audio

We present aTENNuate, a simple deep state-space autoencoder configured for efficient online raw speech enhancement in an end-to-end fashion. The network's performance is primarily evaluated on raw speech denoising, with additional assessments on tasks such as super-resolution and de-quantization. We benchmark aTENNuate on the VoiceBank + DEMAND and the Microsoft DNS1 synthetic test sets. The network outperforms previous real-time denoising models in terms of PESQ score, parameter count, MACs, and latency. Even as a raw waveform processing model, the model maintains high fidelity to the clean signal with minimal audible artifacts. In addition, the model remains performant even when the noisy input is compressed down to 4000Hz and 4 bits, suggesting general speech enhancement capabilities in low-resource environments. Try it out by pip install attenuate

cs.SD↗

Event-Based Eye Tracking. 2025 Event-based Vision Workshop

This survey serves as a review for the 2025 Event-Based Eye Tracking Challenge organized as part of the 2025 CVPR event-based vision workshop. This challenge focuses on the task of predicting the pupil center by processing event camera recorded eye movement. We review and summarize the innovative methods from teams rank the top in the challenge to advance future event-based eye tracking research. In each method, accuracy, model size, and number of operations are reported. In this survey, we also discuss event-based eye tracking from the perspective of hardware design.

cs.CV↗

Let SSMs be ConvNets: State-space Modeling with Optimal Tensor Contractions

We introduce Centaurus, a class of networks composed of generalized state-space model (SSM) blocks, where the SSM operations can be treated as tensor contractions during training. The optimal order of tensor contractions can then be systematically determined for every SSM block to maximize training efficiency. This allows more flexibility in designing SSM blocks beyond the depthwise-separable configuration commonly implemented. The new design choices will take inspiration from classical convolutional blocks including group convolutions, full convolutions, and bottleneck blocks. We architect the Centaurus network with a mixture of these blocks, to balance between network size and performance, as well as memory and computational efficiency during both training and inference. We show that this heterogeneous network design outperforms its homogeneous counterparts in raw audio processing tasks including keyword spotting, speech denoising, and automatic speech recognition (ASR). For ASR, Centaurus is the first network with competitive performance that can be made fully state-space based, without using any nonlinear recurrence (LSTMs), explicit convolutions (CNNs), or (surrogate) attention mechanism. The source code is available as supplementary material on https://openreview.net/forum?id=PkpNRmBZ32

cs.LG↗