Search arXiv⌕ Search

arXiv · 2610.36594

CLT for quadratic additive functionals of three-dimensional and four-dimensional voter models

Abstract

In this paper, we prove central limit theorems for the quadratic additive functionals of the three-dimensional and four-dimensional voter models. Our main results show that, under proper time-space scalings, the centered quadratic additive functional of the four-dimensional voter model converges weakly to a Brownian motion and that in the three-dimensional case converges weakly to a Gaussian process without independent increment. The proof of the main result in the four-dimensional case extends the martingale decomposition method. In the three-dimensional case, we introduce a quadratic fluctuation limit theorem which shows that the quadratic fluctuation density field of the voter model converges weakly to a generalized Ornstein-Uhlenbeck process. Then our main result in the three-dimensional case follows from an argument where the quadratic additive functional is approximated by an integral of a test function with respect to the quadratic fluctuation density field. The duality relationship between the voter model and the coalescing random walk is repeatedly utilized in proofs of the main results. The proof strategies introduced in this paper are applicable in deducing CLTs for general additive functionals of three-dimensional and four dimensional voter models. We only deal with those with the quadratic forms to make our exposition easy to catch.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Xiaofeng Xue. 2026-10-27. CLT for quadratic additive functionals of three-dimensional and four-dimensional voter models. https://arxiv.org/abs/2610.36594

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Decay of correlations and thermodynamic limit for the circular Riesz gas

We study the circular Riesz gas, a one-dimensional system of particles with power-law repulsion. For the long-range gas, we prove that the correlation between two gaps at distance $d$ decays like $d^{s-2}$, up to an arbitrarily small loss in the exponent, and that this exponent is sharp. As a consequence, the microscopic point process converges as the number of particles tends to infinity, and its limit is hyperuniform. We also prove the decay of correlations and the convergence of the microscopic point process for the hypersingular gas. The proof analyzes the Helffer-Sjöstrand equation, an elliptic system in high dimension that encodes covariances. It combines the deformation of Combes and Thomas with discrete elliptic regularity estimates and a factorization around the equally spaced configuration.

math.PR↗

A Central Limit Theorem for High-Temperature SYK Model: A case study on mathematical research using AI and Lean

The Sachdev--Ye--Kitaev (SYK) model is a quantum many-body model of Majorana fermions with all-to-all random interactions. It has attracted wide interest in condensed matter and high-energy physics as a solvable model of non-Fermi liquids and holography. Fix an even integer $q\geq4$, and let $Z_N(β)$ be the partition function of the Gaussian $q$-body SYK model. We prove that for all sufficiently small inverse temperatures $β> 0$, there exists $ρ=ρ(β)>0$ such that \[ N^{q/2 -1}(\log Z_N(β)-\mathbb{E}[\log Z_N(β)]) \Longrightarrow \mathcal{N}(0,ρ^2). \] In addition to the mathematical results, we discuss how the proofs were developed and refined through interaction between human researchers and AI, and we describe the subsequent formalization of the main arguments in Lean 4. This work thus serves as a case study of a research workflow that integrates human insight, AI-assisted exploration, iterative proof refinement, and formal verification.

math.PR↗

A sharp survival threshold for branching Brownian motion in a self-generated resource environment

We study branching Brownian motion in a resource environment created by the particles themselves. Particles reproduce at rate $β$ times the resource nearby, resource is consumed at rate $c$ times the number of particles nearby, and each death returns resource mass $m$. Let $θ=βm/c$, which represents the number of births supported by resource from one corpse, assuming perfect efficiency. We prove that the population dies out almost surely if $θ\leq1$, even with perfect recycling $\left(θ=1\right)$. If $θ>1$ and the interaction kernel has finite range and is bounded below at short distances, the population survives with positive probability from every initial state with at least two particles, or with one particle and some resource. The threshold does not depend on the diffusivity, the death rate or the interaction kernel. We prove extinction for $θ\leq 1$ by showing the total mass in the system to be a supermartingale. The proof of survival rests on two estimates: a large colony grows if it consumes its corpses with little waste, and a dense colony recycles corpses efficiently. Together these imply that a large, dense colony grows with exponentially high probability, and a standard doubling and restart argument then yields survival.

math.PR↗