-
Some Properties of the Plaquette Random-Cluster Model
Authors:
Paul Duncan,
Benjamin Schweinhart
Abstract:
We show that the $i$-dimensional plaqutte random-cluster model with coefficients in $\mathbb{Z}_q$ is dual to a $(d-i)$-dimensional plaquette random cluster model. In addition, we explore boundary conditions, infinite volume limits, and uniqueness for these models. For previously known results, we provide new proofs that rely more on the tools of algebraic topology.
We show that the $i$-dimensional plaqutte random-cluster model with coefficients in $\mathbb{Z}_q$ is dual to a $(d-i)$-dimensional plaquette random cluster model. In addition, we explore boundary conditions, infinite volume limits, and uniqueness for these models. For previously known results, we provide new proofs that rely more on the tools of algebraic topology.
△ Less
Submitted 21 June, 2024; v1 submitted 12 June, 2024;
originally announced June 2024.
-
A Sharp Deconfinement Transition for Potts Lattice Gauge Theory in Codimension Two
Authors:
Paul Duncan,
Benjamin Schweinhart
Abstract:
In 1983, Aizenman, Chayes, Chayes, Fröhlich, and Russo proved that $2$-dimensional Bernoulli plaquette percolation in $\mathbb{Z}^3$ exhibits a sharp phase transition for the event that a large rectangular loop is "bounded by a surface of plaquettes.'' We extend this result both to $(d-1)$-dimensional plaquette percolation in $\mathbb{Z}^d,$ and to a dependent model of plaquette percolation called…
▽ More
In 1983, Aizenman, Chayes, Chayes, Fröhlich, and Russo proved that $2$-dimensional Bernoulli plaquette percolation in $\mathbb{Z}^3$ exhibits a sharp phase transition for the event that a large rectangular loop is "bounded by a surface of plaquettes.'' We extend this result both to $(d-1)$-dimensional plaquette percolation in $\mathbb{Z}^d,$ and to a dependent model of plaquette percolation called the plaquette random-cluster model. As a consequence, we obtain a sharp phase transition for Wilson loop expectations in $(d-2)$-dimensional $q$-state Potts hyperlattice gauge theory on $\mathbb{Z}^d$ dual to that of the Potts model. Our proof is unconditional for Ising lattice gauge theory, but relies on a regularity conjecture for the random-cluster model in slabs when $q>2.$ We also further develop the general theory of the $i$-plaquette random cluster model and its relationship with $(i-1)$-dimensional Potts lattice gauge
△ Less
Submitted 3 May, 2024; v1 submitted 14 August, 2023;
originally announced August 2023.
-
Topological Phases in the Plaquette Random-Cluster Model and Potts Lattice Gauge Theory
Authors:
Paul Duncan,
Benjamin Schweinhart
Abstract:
The $i$-dimensional plaquette random-cluster model on a finite cubical complex is the random complex of $i$-plaquettes with each configuration having probability proportional to $$p^{\text{# of plaquettes}}(1-p)^{\text{# of complementary plaquettes}}q^{\mathbf{ b}_{i-1}},$$ where $q\geq 1$ is a real parameter and $\mathbf{b}_{i-1}$ denotes the rank of the $(i-1)$-homology group with coefficients i…
▽ More
The $i$-dimensional plaquette random-cluster model on a finite cubical complex is the random complex of $i$-plaquettes with each configuration having probability proportional to $$p^{\text{# of plaquettes}}(1-p)^{\text{# of complementary plaquettes}}q^{\mathbf{ b}_{i-1}},$$ where $q\geq 1$ is a real parameter and $\mathbf{b}_{i-1}$ denotes the rank of the $(i-1)$-homology group with coefficients in a specified coefficient field. When $q$ is prime and the coefficient field is $\mathbb{F}_q$, this model is coupled with the $(i-1)$-dimensional $q$-state Potts lattice gauge theory. We prove that the probability that an $(i-1)$-cycle in $\mathbb{Z}^d$ is null-homologous in the plaquette random-cluster model equals the expectation of the corresponding generalized Wilson loop variable. This provides the first rigorous justification for a claim of Aizenman, Chayes, Chayes, Frölich, and Russo that there is an exact relationship between Wilson loop variables and the event that a loop is bounded by a surface in an interacting system of plaquettes. We also prove that the $i$-dimensional plaquette random-cluster model on the $2i$-dimensional torus exhibits a sharp phase transition at the self-dual point $p_{\mathrm{sd}} \mathrel{\vcenter{:}}= \frac{\sqrt{q}}{1+\sqrt{q}}$ in the sense of homological percolation. This implies a qualitative change in the generalized Swendsen--Wang dynamics from local to non-local behavior.
△ Less
Submitted 14 August, 2023; v1 submitted 17 July, 2022;
originally announced July 2022.
-
Homological percolation on a torus: plaquettes and permutohedra
Authors:
Paul Duncan,
Matthew Kahle,
Benjamin Schweinhart
Abstract:
We study higher-dimensional homological analogues of bond percolation on a square lattice and site percolation on a triangular lattice.
By taking a quotient of certain infinite cell complexes by growing sublattices, we obtain finite cell complexes with a high degree of symmetry and with the topology of the torus $\mathbb{T}^d$. When random subcomplexes induce nontrivial $i$-dimensional cycles in…
▽ More
We study higher-dimensional homological analogues of bond percolation on a square lattice and site percolation on a triangular lattice.
By taking a quotient of certain infinite cell complexes by growing sublattices, we obtain finite cell complexes with a high degree of symmetry and with the topology of the torus $\mathbb{T}^d$. When random subcomplexes induce nontrivial $i$-dimensional cycles in the homology of the ambient torus, we call such cycles \emph{giant}. We show that for every $i$ and $d$ there is a sharp transition from nonexistence of giant cycles to giant cycles spanning the homology of the torus.
We also prove convergence of the threshold function to a constant in certain cases. In particular, we prove that $p_c=1/2$ in the case of middle dimension $i=d/2$ for both models. This gives finite-volume high-dimensional analogues of Kesten's theorems that $p_c=1/2$ for bond percolation on a square lattice and site percolation on a triangular lattice.
△ Less
Submitted 29 September, 2023; v1 submitted 24 November, 2020;
originally announced November 2020.
-
Topology and local geometry of the Eden model
Authors:
Fedor Manin,
Erika Roldan,
Benjamin Schweinhart
Abstract:
The Eden cell growth model is a simple discrete stochastic process which produces a "blob" in $\mathbb{R}^d$: start with one cube in the regular grid, and at each time step add a neighboring cube uniformly at random. This process has been used as a model for the growth of aggregations, tumors, and bacterial colonies and the healing of wounds, among other natural processes. Here, we study the topol…
▽ More
The Eden cell growth model is a simple discrete stochastic process which produces a "blob" in $\mathbb{R}^d$: start with one cube in the regular grid, and at each time step add a neighboring cube uniformly at random. This process has been used as a model for the growth of aggregations, tumors, and bacterial colonies and the healing of wounds, among other natural processes. Here, we study the topology and local geometry of the resulting structure, establishing asymptotic bounds for Betti numbers. Our main result is that the Betti numbers grow at a rate between the conjectured rate of growth of the site perimeter and the actual rate of growth of the site perimeter. We also present the results of computational experiments on finer aspects of the geometry and topology, such as persistent homology and the distribution of shapes of holes.
△ Less
Submitted 11 December, 2020; v1 submitted 25 May, 2020;
originally announced May 2020.
-
Fractal Dimension Estimation with Persistent Homology: A Comparative Study
Authors:
Jonathan Jaquette,
Benjamin Schweinhart
Abstract:
We propose that the recently defined persistent homology dimensions are a practical tool for fractal dimension estimation of point samples. We implement an algorithm to estimate the persistent homology dimension, and compare its performance to classical methods to compute the correlation and box-counting dimensions in examples of self-similar fractals, chaotic attractors, and an empirical dataset.…
▽ More
We propose that the recently defined persistent homology dimensions are a practical tool for fractal dimension estimation of point samples. We implement an algorithm to estimate the persistent homology dimension, and compare its performance to classical methods to compute the correlation and box-counting dimensions in examples of self-similar fractals, chaotic attractors, and an empirical dataset. The performance of the $0$-dimensional persistent homology dimension is comparable to that of the correlation dimension, and better than box-counting.
△ Less
Submitted 16 August, 2019; v1 submitted 25 July, 2019;
originally announced July 2019.
-
Fractal Dimension and the Persistent Homology of Random Geometric Complexes
Authors:
Benjamin Schweinhart
Abstract:
We prove that the fractal dimension of a metric space equipped with an Ahlfors regular measure can be recovered from the persistent homology of random samples. Our main result is that if $x_1,\ldots, x_n$ are i.i.d. samples from a $d$-Ahlfors regular measure on a metric space, and $E^0_α\left(x_1,\ldots,x_n\right)$ denotes the $α$-weight of the minimum spanning tree on $x_1,\ldots,x_n:$ \[E_α^0\le…
▽ More
We prove that the fractal dimension of a metric space equipped with an Ahlfors regular measure can be recovered from the persistent homology of random samples. Our main result is that if $x_1,\ldots, x_n$ are i.i.d. samples from a $d$-Ahlfors regular measure on a metric space, and $E^0_α\left(x_1,\ldots,x_n\right)$ denotes the $α$-weight of the minimum spanning tree on $x_1,\ldots,x_n:$ \[E_α^0\left(x_1,\ldots,x_n\right)=\sum_{e\in T\left(x_1,\ldots,x_n\right)} |e|^α\,,\] then there exist constants $0<C_1\leq C_2$ so that \[C_1\leq n^{-\frac{d-α}{d}} E^0_α\left(x_1,\ldots,x_n\right)\leq C_2\,\] with high probability as $n\rightarrow \infty.$ In particular, \[\log\big(E^0_α(x_1,\ldots,x_n)\big)/\log(n)\longrightarrow (d-α)/d\,.\] This is a generalization of a result of Steele (1988) from the non-singular case to the fractal setting. Our result is best possible, in the sense that there exist Ahlfors regular measures for which the limit $\lim_{n\rightarrow\infty} n^{-\frac{d-α}{d}} E^0_α\left(x_1,\ldots,x_n\right)$ does not exist with high probability. We also prove analogous results for weighted sums defined in terms of higher dimensional persistent homology.
△ Less
Submitted 24 June, 2020; v1 submitted 6 August, 2018;
originally announced August 2018.
-
Weighted Persistent Homology Sums of Random Čech Complexes
Authors:
Benjamin Schweinhart
Abstract:
We study the asymptotic behavior of random variables of the form \begin{equation*} E_α^i\left(x_1,\ldots,x_n\right)=\sum_{\left(b,d\right)\in \mathit{PH}_i\left(x_1,\ldots,x_n\right)} \left(d-b\right)^α \end{equation*} where $\left\{x_j\right\}_{j\in\mathbb{N}}$ are i.i.d. samples from a probability measure on a triangulable metric space, and $\textit{PH}_i\left(x_1,\ldots,x_n\right)$ denotes the…
▽ More
We study the asymptotic behavior of random variables of the form \begin{equation*} E_α^i\left(x_1,\ldots,x_n\right)=\sum_{\left(b,d\right)\in \mathit{PH}_i\left(x_1,\ldots,x_n\right)} \left(d-b\right)^α \end{equation*} where $\left\{x_j\right\}_{j\in\mathbb{N}}$ are i.i.d. samples from a probability measure on a triangulable metric space, and $\textit{PH}_i\left(x_1,\ldots,x_n\right)$ denotes the $i$-dimensional reduced persistent homology of the Čech complex of $\left\{x_1,\ldots,x_n\right\}.$ These quantities are a higher-dimensional generalization of the $α$-weighted sum of a minimal spanning tree; we seek to prove analogues of the theorems of Steele (1988) and Aldous and Steele (1992) in this context.
As a special case of our main theorem, we show that if $\left\{x_j\right\}_{j\in\mathbb{N}}$ are distributed independently and uniformly on the $m$-dimensional Euclidean sphere, $α<m,$ and $0\leq i <n,$ then there are real numbers $γ$ and $Γ$ so that \begin{equation*} γ\leq \lim_{n\rightarrow\infty} n^{-\frac{m-α}{m}} E_i^α\left(x_1,\ldots,x_n\right) \leq Γ\end{equation*}
in probability. More generally, we prove results about the asymptotics of the expectation of $E_α^i$ for points sampled from a locally bounded probability measure on a space that is the bi-Lipschitz image of an $m-$dimensional Euclidean simplicial complex, as well as measures supported on sets of fractional dimension that respect box counting.
△ Less
Submitted 5 September, 2018; v1 submitted 18 July, 2018;
originally announced July 2018.
-
Persistent Homology and the Upper Box Dimension
Authors:
Benjamin Schweinhart
Abstract:
We introduce a fractal dimension for a metric space defined in terms of the persistent homology of extremal subsets of that space. We exhibit hypotheses under which this dimension is comparable to the upper box dimension; in particular, the dimensions coincide for subsets of $\mathbb{R}^2$ whose upper box dimension exceeds $1.5.$ These results are related to extremal questions about the number of…
▽ More
We introduce a fractal dimension for a metric space defined in terms of the persistent homology of extremal subsets of that space. We exhibit hypotheses under which this dimension is comparable to the upper box dimension; in particular, the dimensions coincide for subsets of $\mathbb{R}^2$ whose upper box dimension exceeds $1.5.$ These results are related to extremal questions about the number of persistent homology intervals of a set of $n$ points in a metric space.
△ Less
Submitted 29 July, 2019; v1 submitted 1 February, 2018;
originally announced February 2018.
-
Limits of Embedded Graphs, and Universality Conjectures for the Network Flow
Authors:
Benjamin Schweinhart
Abstract:
We define notions of local topological convergence and local geometric convergence for embedded graphs in $\mathbb{R}^n,$ and study their properties. The former is related to Benjamini-Schramm convergence, and the latter to weak convergence of probability measures with respect to a certain topology on the space of embedded graphs. These are used to state universality conjectures for the long-term…
▽ More
We define notions of local topological convergence and local geometric convergence for embedded graphs in $\mathbb{R}^n,$ and study their properties. The former is related to Benjamini-Schramm convergence, and the latter to weak convergence of probability measures with respect to a certain topology on the space of embedded graphs. These are used to state universality conjectures for the long-term behavior of the network flow, or curvature flow on embedded graphs. To provide evidence these conjectures, we develop and apply computational methods to test for local topological and local geometric convergence.
△ Less
Submitted 26 June, 2017; v1 submitted 29 May, 2016;
originally announced May 2016.
-
Measuring Shape with Topology
Authors:
Robert MacPherson,
Benjamin Schweinhart
Abstract:
We propose a measure of shape which is appropriate for the study of a complicated geometric structure, defined using the topology of neighborhoods of the structure. One aspect of this measure gives a new notion of fractal dimension. We demonstrate the utility and computability of this measure by applying it to branched polymers, Brownian trees, and self-avoiding random walks.
We propose a measure of shape which is appropriate for the study of a complicated geometric structure, defined using the topology of neighborhoods of the structure. One aspect of this measure gives a new notion of fractal dimension. We demonstrate the utility and computability of this measure by applying it to branched polymers, Brownian trees, and self-avoiding random walks.
△ Less
Submitted 16 December, 2010; v1 submitted 9 November, 2010;
originally announced November 2010.
