-
The Geometry of Fixed-Magnetization Spin Systems at Low Temperature
Authors:
Jacob Calvert,
Shunhao Oh,
Dana Randall
Abstract:
Spin systems are fundamental models of statistical physics that provide insight into collective behavior across scientific domains. Their interest to computer science stems in part from the deep connection between the phase transitions they exhibit and the computational complexity of sampling from the probability distributions they describe. Our focus is on the geometry of spin configurations, mot…
▽ More
Spin systems are fundamental models of statistical physics that provide insight into collective behavior across scientific domains. Their interest to computer science stems in part from the deep connection between the phase transitions they exhibit and the computational complexity of sampling from the probability distributions they describe. Our focus is on the geometry of spin configurations, motivated by applications to programmable matter and computational biology. Rigorous results in this vein are scarce because the natural setting of these applications is the low-temperature, fixed-magnetization regime. Recent progress in this regime is largely limited to spin systems under which magnetization concentrates, which enables the analysis to be reduced to that of the simpler, variable-magnetization case. More complicated models, like those that arise in applications, do not share this property.
We study the geometry of spin configurations on the triangular lattice under the Generalized Potts Model (GPM), which generalizes many fundamental models of statistical physics, including the Ising, Potts, clock, and Blume--Capel models. Moreover, it specializes to models used to program active matter to solve tasks like compression and separation, and it is closely related to the Cellular Potts Model, widely used in computational models of biological processes. Our main result shows that, under the fixed-magnetization GPM at low temperature, spins of different types are typically partitioned into regions of mostly one type, separated by boundaries that have nearly minimal perimeter. The proof uses techniques from Pirogov--Sinai theory to extend a classic Peierls argument for the fixed-magnetization Ising model, and introduces a new approach for comparing the partition functions of fixed- and variable-magnetization models.
△ Less
Submitted 24 April, 2025; v1 submitted 5 November, 2024;
originally announced November 2024.
-
Collapse and Diffusion in Harmonic Activation and Transport
Authors:
Jacob Calvert,
Shirshendu Ganguly,
Alan Hammond
Abstract:
For an $n$-element subset $U$ of $\mathbb{Z}^2$, select $x$ from $U$ according to harmonic measure from infinity, remove $x$ from $U$, and start a random walk from $x$. If the walk leaves from $y$ when it first enters $U$, add $y$ to $U$. Iterating this procedure constitutes the process we call Harmonic Activation and Transport (HAT).
HAT exhibits a phenomenon we refer to as collapse: informally…
▽ More
For an $n$-element subset $U$ of $\mathbb{Z}^2$, select $x$ from $U$ according to harmonic measure from infinity, remove $x$ from $U$, and start a random walk from $x$. If the walk leaves from $y$ when it first enters $U$, add $y$ to $U$. Iterating this procedure constitutes the process we call Harmonic Activation and Transport (HAT).
HAT exhibits a phenomenon we refer to as collapse: informally, the diameter shrinks to its logarithm over a number of steps which is comparable to this logarithm. Collapse implies the existence of the stationary distribution of HAT, where configurations are viewed up to translation, and the exponential tightness of diameter at stationarity. Additionally, collapse produces a renewal structure with which we establish that the center of mass process, properly rescaled, converges in distribution to two-dimensional Brownian motion.
To characterize the phenomenon of collapse, we address fundamental questions about the extremal behavior of harmonic measure and escape probabilities. Among $n$-element subsets of $\mathbb{Z}^2$, what is the least positive value of harmonic measure? What is the probability of escape from the set to a distance of, say, $d$? Concerning the former, examples abound for which the harmonic measure is exponentially small in $n$. We prove that it can be no smaller than exponential in $n \log n$. Regarding the latter, the escape probability is at most the reciprocal of $\log d$, up to a constant factor. We prove it is always at least this much, up to an $n$-dependent factor.
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
Existence of a Phase Transition in Harmonic Activation and Transport
Authors:
Jacob Calvert
Abstract:
Harmonic activation and transport (HAT) is a stochastic process that rearranges finite subsets of $\mathbb{Z}^d$, one element at a time. Given a finite set $U \subset \mathbb{Z}^d$ with at least two elements, HAT removes $x$ from $U$ according to the harmonic measure of $x$ in $U$, and then adds $y$ according to the probability that simple random walk from $x$, conditioned to hit the remaining set…
▽ More
Harmonic activation and transport (HAT) is a stochastic process that rearranges finite subsets of $\mathbb{Z}^d$, one element at a time. Given a finite set $U \subset \mathbb{Z}^d$ with at least two elements, HAT removes $x$ from $U$ according to the harmonic measure of $x$ in $U$, and then adds $y$ according to the probability that simple random walk from $x$, conditioned to hit the remaining set, steps from $y$ when it first does so. In particular, HAT conserves the number of elements in $U$.
We study the classification of HAT as recurrent or transient, as the dimension $d$ and number of elements $n$ in the initial set vary. It was recently proved that the stationary distribution of HAT (on sets viewed up to translation) exists when $d = 2$, for every number of elements $n \geq 2$. We prove that HAT exhibits a phase transition in both $d$ and $n$, in the sense that HAT is transient when $d \geq 5$ and $n \geq 4$.
Remarkably, transience occurs in only one "way": The set splits into clusters of two or three elements, which then grow steadily, indefinitely separated. We call these clusters dimers and trimers. Underlying this characterization of transience is the fact that, from any set, HAT reaches a set consisting exclusively of dimers and trimers, in a number of steps and with at least a probability which depend on $d$ and $n$ only.
△ Less
Submitted 23 August, 2023; v1 submitted 26 October, 2021;
originally announced October 2021.
