Showing 1–40 of 40 results for author: Kahle, M

Asymptotics of Redistricting the $n\times n$ grid

Authors: Christopher Donnay, Matthew Kahle

Abstract: How many ways are there to redistrict the $n\times n$ grid into $n$ districts of equal size? How many of these redistricting plans are compact? In this article we give asymptotic bounds on the number of plans, showing there are exponentially many in $n^2$. We then use the lower bound to show that most plans are as least compact as possible. How many ways are there to redistrict the $n\times n$ grid into $n$ districts of equal size? How many of these redistricting plans are compact? In this article we give asymptotic bounds on the number of plans, showing there are exponentially many in $n^2$. We then use the lower bound to show that most plans are as least compact as possible. △ Less

Submitted 22 November, 2023; originally announced November 2023.

Comments: 11 pages, 11 figures

MSC Class: 05A02 (Primary) 05C02 (Secondary)

Maximal persistence in random clique complexes

Authors: Ayat Ababneh, Matthew Kahle

Abstract: We study the persistent homology of an Erdős--Rényi random clique complex filtration on $n$ vertices. Here, each edge $e$ appears at a time $p_e \in [0,1]$ chosen uniform randomly in the interval, and the \emph{persistence} of a cycle $σ$ is defined as $p_2 / p_1$, where $p_1$ and $p_2$ are the birth and death times of the cycle respectively. We show that for fixed $k \ge 1$, with high probability… ▽ More We study the persistent homology of an Erdős--Rényi random clique complex filtration on $n$ vertices. Here, each edge $e$ appears at a time $p_e \in [0,1]$ chosen uniform randomly in the interval, and the \emph{persistence} of a cycle $σ$ is defined as $p_2 / p_1$, where $p_1$ and $p_2$ are the birth and death times of the cycle respectively. We show that for fixed $k \ge 1$, with high probability the maximal persistence of a $k$-cycle is of order roughly $n^{1/k(k+1)}$. These results are in sharp contrast with the random geometric setting where earlier work by Bobrowski, Kahle, and Skraba shows that for random Čech and Vietoris--Rips filtrations, the maximal persistence of a $k$-cycle is much smaller, of order $\left(\log n / \log \log n \right)^{1/k}$. △ Less

Submitted 12 September, 2022; originally announced September 2022.

Comments: 14 pages, 2 figures

On the clique number of noisy random geometric graphs

Authors: Matthew Kahle, Minghao Tian, Yusu Wang

Abstract: Let $G_n$ be a random geometric graph, and then for $q,p \in [0,1)$ we construct a "$(q,p)$-perturbed noisy random geometric graph" $G_n^{q,p}$ where each existing edge in $G_n$ is removed with probability $q$, while and each non-existent edge in $G_n$ is inserted with probability $p$. We give asymptotically tight bounds on the clique number $ω\left(G_n^{q,p}\right)$ for several regimes of paramet… ▽ More Let $G_n$ be a random geometric graph, and then for $q,p \in [0,1)$ we construct a "$(q,p)$-perturbed noisy random geometric graph" $G_n^{q,p}$ where each existing edge in $G_n$ is removed with probability $q$, while and each non-existent edge in $G_n$ is inserted with probability $p$. We give asymptotically tight bounds on the clique number $ω\left(G_n^{q,p}\right)$ for several regimes of parameter. △ Less

Submitted 22 August, 2022; originally announced August 2022.

Comments: 34 pages, 4 figures

MSC Class: 05C80

Asymptotic Betti numbers for hard squares in the homological liquid regime

Authors: Hannah Alpert, Matthew Kahle, Robert MacPherson

Abstract: We study configuration spaces $C(n; p, q)$ of $n$ ordered unit squares in a $p$ by $q$ rectangle. Our goal is to estimate the Betti numbers for large $n$, $j$, $p$, and $q$. We consider sequences of area-normalized coordinates, where $(\frac{n}{pq}, \frac{j}{pq})$ converges as $n$, $j$, $p$, and $q$ approach infinity. For every sequence that converges to a point in the "feasible region" in the… ▽ More We study configuration spaces $C(n; p, q)$ of $n$ ordered unit squares in a $p$ by $q$ rectangle. Our goal is to estimate the Betti numbers for large $n$, $j$, $p$, and $q$. We consider sequences of area-normalized coordinates, where $(\frac{n}{pq}, \frac{j}{pq})$ converges as $n$, $j$, $p$, and $q$ approach infinity. For every sequence that converges to a point in the "feasible region" in the $(x,y)$-plane, we show that the factorial growth rate of the Betti numbers is the same as the factorial growth rate of $n!$. This implies that (1) the Betti numbers are vastly larger than for the configuration space of $n$ ordered points in the plane, which have the factorial growth rate of $j!$, and (2) every point in the feasible region is eventually in the homological liquid regime. △ Less

Submitted 26 July, 2022; originally announced July 2022.

Comments: 15 pages, 6 figures

MSC Class: 55R80 (82B26)

Facets of Random Symmetric Edge Polytopes, Degree Sequences, and Clustering

Authors: Benjamin Braun, Kaitlin Bruegge, Matthew Kahle

Abstract: Symmetric edge polytopes are lattice polytopes associated with finite simple graphs that are of interest in both theory and applications. We investigate the facet structure of symmetric edge polytopes for various models of random graphs. For an Erdős-Renyi random graph, we identify a threshold probability at which with high probability the symmetric edge polytope shares many facet-supporting hyper… ▽ More Symmetric edge polytopes are lattice polytopes associated with finite simple graphs that are of interest in both theory and applications. We investigate the facet structure of symmetric edge polytopes for various models of random graphs. For an Erdős-Renyi random graph, we identify a threshold probability at which with high probability the symmetric edge polytope shares many facet-supporting hyperplanes with that of a complete graph. We also investigate the relationship between the average local clustering, also known as the Watts-Strogatz clustering coefficient, and the number of facets for graphs with either a fixed number of edges or a fixed degree sequence. We use well-known Markov Chain Monte Carlo sampling methods to generate empirical evidence that for a fixed degree sequence, higher average local clustering in a connected graph corresponds to higher facet numbers in the associated symmetric edge polytope. △ Less

Submitted 30 November, 2023; v1 submitted 14 April, 2022; originally announced April 2022.

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Combinatorics (December 11, 2023) dmtcs:9925

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.

Comments: (August 2021) This updated manuscript includes stronger, more general results and considers site percolation in addition to plaquette percolation. (September 2023) Reorganized and added examples and figures

Homology of configuration spaces of hard squares in a rectangle

Authors: Hannah Alpert, Ulrich Bauer, Matthew Kahle, Robert MacPherson, Kelly Spendlove

Abstract: We study ordered configuration spaces $C(n;p,q)$ of $n$ hard squares in a $p \times q$ rectangle, a generalization of the well-known "15 Puzzle". Our main interest is in the topology of these spaces. Our first result is to describe a cubical cell complex and prove that is homotopy equivalent to the configuration space. We then focus on determining for which $n$, $j$, $p$, and $q$ the homology grou… ▽ More We study ordered configuration spaces $C(n;p,q)$ of $n$ hard squares in a $p \times q$ rectangle, a generalization of the well-known "15 Puzzle". Our main interest is in the topology of these spaces. Our first result is to describe a cubical cell complex and prove that is homotopy equivalent to the configuration space. We then focus on determining for which $n$, $j$, $p$, and $q$ the homology group $H_j [ C(n;p,q) ]$ is nontrivial. We prove three homology-vanishing theorems, based on discrete Morse theory on the cell complex. Then we describe several explicit families of nontrivial cycles, and a method for interpolating between parameters to fill in most of the picture for "large-scale" nontrivial homology. △ Less

Submitted 11 January, 2022; v1 submitted 27 October, 2020; originally announced October 2020.

Comments: Final version, to appear in "Algebraic & Geometric Topology"

Journal ref: Algebr. Geom. Topol. 23 (2023) 2593-2626

Topology and geometry of random 2-dimensional hypertrees

Authors: Matthew Kahle, Andrew Newman

Abstract: A hypertree, or $\mathbb{Q}$-acyclic complex, is a higher-dimensional analogue of a tree. We study random $2$-dimensional hypertrees according to the determinantal measure suggested by Lyons. We are especially interested in their topological and geometric properties. We show that with high probability, a random $2$-dimensional hypertree $T$ is apsherical, i.e. that it has a contractible universal… ▽ More A hypertree, or $\mathbb{Q}$-acyclic complex, is a higher-dimensional analogue of a tree. We study random $2$-dimensional hypertrees according to the determinantal measure suggested by Lyons. We are especially interested in their topological and geometric properties. We show that with high probability, a random $2$-dimensional hypertree $T$ is apsherical, i.e. that it has a contractible universal cover. We also show that with high probability the fundamental group $π_1(T)$ is hyperbolic and has cohomological dimension $2$. △ Less

Submitted 28 April, 2020; originally announced April 2020.

Comments: 13 pages, 4 figures

A square-grid coloring problem

Authors: Matthew Kahle, Francisco Martinez-Figueroa, Alexander Soifer

Abstract: Suppose that $n \ge 2$, and we wish to plant $k$ different types of trees in the squares of an $n \times n$ square grid. We can have as many of each type as we want. The only rule is that every pair of types must occur in an adjacent pair of squares somewhere in the grid. The question is: given $n$, what is the largest that $k$ can be? Denote this number by $Γ(n)$, and call this the *complete colo… ▽ More Suppose that $n \ge 2$, and we wish to plant $k$ different types of trees in the squares of an $n \times n$ square grid. We can have as many of each type as we want. The only rule is that every pair of types must occur in an adjacent pair of squares somewhere in the grid. The question is: given $n$, what is the largest that $k$ can be? Denote this number by $Γ(n)$, and call this the *complete coloring number* of the $n \times n$ grid. A little thought shows that $Γ(n) \le 2n-1$. The main question we are interested in is whether $Γ(n) = 2n-1$ for every $n \ge 2$. △ Less

Submitted 21 April, 2020; originally announced April 2020.

Comments: 18 pages; 9 figures, 1 table

MSC Class: 05C15; 05Bxx

Journal ref: Geombinatorics XXIX(4), 2020, 167-184

Topology of random 2-dimensional cubical complexes

Authors: Matthew Kahle, Elliot Paquette, Érika Roldán

Abstract: We study a natural model of random 2-dimensional cubical complex which is a subcomplex of an n-dimensional cube, and where every possible square $2$-face is included independently with probability p. Our main result is to exhibit a sharp threshold p=1/2 for homology vanishing as $n \to \infty$. This is a 2-dimensional analogue of the Burtin and Erdős-Spencer theorems characterizing the connectivit… ▽ More We study a natural model of random 2-dimensional cubical complex which is a subcomplex of an n-dimensional cube, and where every possible square $2$-face is included independently with probability p. Our main result is to exhibit a sharp threshold p=1/2 for homology vanishing as $n \to \infty$. This is a 2-dimensional analogue of the Burtin and Erdős-Spencer theorems characterizing the connectivity threshold for random cubical graphs. Our main result can also be seen as a cubical counterpart to the Linial--Meshulam theorem for random 2-dimensional simplicial complexes. However, the models exhibit strikingly different behaviors. We show that if $p > 1 - \sqrt{1/2} \approx 0.2929$, then with high probability the fundamental group is a free group with one generator for every maximal $1$-dimensional face. As a corollary, homology vanishing and simple connectivity have the same threshold, even in the strong "hitting time" sense. This is in contrast with the simplicial case, where the thresholds are far apart. The proof depends on an iterative algorithm for contracting cycles -- we show that with high probability the algorithm rapidly and dramatically simplifies the fundamental group, converging after only a few steps. △ Less

Submitted 17 September, 2020; v1 submitted 21 January, 2020; originally announced January 2020.

Comments: Third version. Presentation improvements

Configuration spaces of disks in an infinite strip

Authors: Hannah Alpert, Matthew Kahle, Robert MacPherson

Abstract: We study the topology of the configuration spaces $C(n,w)$ of $n$ hard disks of unit diameter in an infinite strip of width $w$. We describe ranges of parameter or "regimes", where homology $H_j [C(n,w)]$ behaves in qualitatively different ways. We show that if $w \ge j+2$, then the homology $H_j[C(n, w)]$ is isomorphic to the homology of the configuration space of points in the plane,… ▽ More We study the topology of the configuration spaces $C(n,w)$ of $n$ hard disks of unit diameter in an infinite strip of width $w$. We describe ranges of parameter or "regimes", where homology $H_j [C(n,w)]$ behaves in qualitatively different ways. We show that if $w \ge j+2$, then the homology $H_j[C(n, w)]$ is isomorphic to the homology of the configuration space of points in the plane, $H_j[C(n, \mathbb{R}^2)]$. The Betti numbers of $C(n, \mathbb{R}^2) $ were computed by Arnold, and so as a corollary of the isomorphism, $β_j[C(n,w)]$ is a polynomial in $n$ of degree $2j$. On the other hand, we show that if $2 \le w \le j+1$, then $β_j [ C(n,w) ]$ grows exponentially with $n$. Most of our work is in carefully estimating $β_j [ C(n,w) ]$ in this regime. We also illustrate, for every $n$, the homological "phase portrait" in the $(w,j)$-plane--- the parameter values where homology $H_j [C(n,w)]$ is trivial, nontrivial, and isomorphic with $H_j [C(n, \mathbb{R}^2)]$. Motivated by the notion of phase transitions for hard-spheres systems, we discuss these as the "homological solid, liquid, and gas" regimes. △ Less

Submitted 2 March, 2020; v1 submitted 12 August, 2019; originally announced August 2019.

Comments: Mostly minor revisions in v2. The biggest change is that we now have a complete proof that the isomorphism on homology in the gas regime is induced by the inclusion map

MSC Class: 55R80; 82B26

Branko Grünbaum in many dimensions

Authors: Matthew Kahle

Abstract: This survey article collects a few of my favorite open problems of Branko Grünbaum. This survey article collects a few of my favorite open problems of Branko Grünbaum. △ Less

Submitted 13 July, 2019; v1 submitted 24 January, 2019; originally announced January 2019.

Comments: a few corrections and updates to status of problems

Journal ref: Geombinatorics 2019

The chromatic number of random Borsuk graphs

Authors: Matthew Kahle, Francisco Martinez-Figueroa

Abstract: We study a model of random graph where vertices are $n$ i.i.d. uniform random points on the unit sphere $S^d$ in $\mathbb{R}^{d+1}$, and a pair of vertices is connected if the Euclidean distance between them is at least $2- ε$. We are interested in the chromatic number of this graph as $n$ tends to infinity. It is not too hard to see that if $ε> 0$ is small and fixed, then the chromatic number i… ▽ More We study a model of random graph where vertices are $n$ i.i.d. uniform random points on the unit sphere $S^d$ in $\mathbb{R}^{d+1}$, and a pair of vertices is connected if the Euclidean distance between them is at least $2- ε$. We are interested in the chromatic number of this graph as $n$ tends to infinity. It is not too hard to see that if $ε> 0$ is small and fixed, then the chromatic number is $d+2$ with high probability. We show that this holds even if $ε\to 0$ slowly enough. We quantify the rate at which $ε$ can tend to zero and still have the same chromatic number. The proof depends on combining topological methods (namely the Lyusternik--Schnirelman--Borsuk theorem) with geometric probability arguments. The rate we obtain is best possible, up to a constant factor --- if $ε\to 0$ faster than this, we show that the graph is $(d+1)$-colorable with high probability. △ Less

Submitted 1 August, 2019; v1 submitted 24 January, 2019; originally announced January 2019.

Comments: 17 pages. Minor revisions and corrections from v1. References added

Journal ref: Random Struct Alg. 2020; 56: 838-850

Local cliques in ER-perturbed random geometric graphs

Authors: Matthew Kahle, Minghao Tian, Yusu Wang

Abstract: Random graphs are mathematical models that have applications in a wide range of domains. We study the following model where one adds Erdős--Rényi (ER) type perturbation to a random geometric graph. More precisely, assume $G_\mathcal{X}^{*}$ is a random geometric graph sampled from a nice measure on a metric space $\mathcal{X} = (X,d)$. The input observed graph $\widehat{G}(p,q)$ is generated by re… ▽ More Random graphs are mathematical models that have applications in a wide range of domains. We study the following model where one adds Erdős--Rényi (ER) type perturbation to a random geometric graph. More precisely, assume $G_\mathcal{X}^{*}$ is a random geometric graph sampled from a nice measure on a metric space $\mathcal{X} = (X,d)$. The input observed graph $\widehat{G}(p,q)$ is generated by removing each existing edge from $G_\mathcal{X}^*$ with probability $p$, while inserting each non-existent edge to $G_\mathcal{X}^{*}$ with probability $q$. We refer to such random $p$-deletion and $q$-insertion as ER-perturbation. Although these graphs are related to the objects in the continuum percolation theory, our understanding of them is still rather limited. In this paper we consider a localized version of the classical notion of clique number for the aforementioned ER-perturbed random geometric graphs: Specifically, we study the edge clique number for each edge in a graph, defined as the size of the largest clique(s) in the graph containing that edge. The clique number of the graph is simply the largest edge clique number. Interestingly, given a ER-perturbed random geometric graph, we show that the edge clique number presents two fundamentally different types of behaviors, depending on which "type" of randomness it is generated from. As an application of the above results, we show that by using a filtering process based on the edge clique number, we can recover the shortest-path metric of the random geometric graph $G_\mathcal{X}^*$ within a multiplicative factor of $3$, from an ER-perturbed observed graph $\widehat{G}(p,q)$, for a significantly wider range of insertion probability $q$ than in previous work. △ Less

Submitted 16 June, 2019; v1 submitted 19 October, 2018; originally announced October 2018.

MSC Class: 05C80 ACM Class: F.2.2; G.2.2

Polyominoes with maximally many holes

Authors: Matthew Kahle, Érika Roldán

Abstract: What is the maximum number of holes that a polyomino with $n$ tiles can enclose? Call this number $f(n)$. We show that if $n_k = \left( 2^{2k+1} + 3 \cdot 2^{k+1}+4 \right) / 3$ and $h_k = \left( 2^{2k}-1 \right) /3$, then $f(n_k) = h_k$ for $k \ge 1$. We also give nearly matching upper and lower bounds for large $n$, showing as a corollary that $f(n) \approx n/2$. What is the maximum number of holes that a polyomino with $n$ tiles can enclose? Call this number $f(n)$. We show that if $n_k = \left( 2^{2k+1} + 3 \cdot 2^{k+1}+4 \right) / 3$ and $h_k = \left( 2^{2k}-1 \right) /3$, then $f(n_k) = h_k$ for $k \ge 1$. We also give nearly matching upper and lower bounds for large $n$, showing as a corollary that $f(n) \approx n/2$. △ Less

Submitted 26 July, 2018; originally announced July 2018.

Comments: 16 pages, 10 figures, 1 table

MSC Class: 05B50; 05Dxx

Cohen--Lenstra heuristics for torsion in homology of random complexes

Authors: Matthew Kahle, Frank Lutz, Andrew Newman, Kyle Parsons

Abstract: We study torsion in homology of the random $d$-complex $Y \sim Y_d(n,p)$ experimentally. Our experiments suggest that there is almost always a moment in the process where there is an enormous burst of torsion in homology $H_{d-1}(Y)$. This moment seems to coincide with the phase transition studied in \cite{AL,LP,LP3} , where cycles in $H_d(Y)$ first appear with high probability. Our main study i… ▽ More We study torsion in homology of the random $d$-complex $Y \sim Y_d(n,p)$ experimentally. Our experiments suggest that there is almost always a moment in the process where there is an enormous burst of torsion in homology $H_{d-1}(Y)$. This moment seems to coincide with the phase transition studied in \cite{AL,LP,LP3} , where cycles in $H_d(Y)$ first appear with high probability. Our main study is the limiting distribution on the $q$-part of the torsion subgroup of $H_{d-1}(Y)$ for small primes $q$. We find strong evidence for a limiting Cohen--Lenstra distribution, where the probability that the $q$-part is isomorphic to a given $q$-group $H$ is inversely proportional to the order of the automorphism group $|\mbox{Aut}(H)|$. We also study the torsion in homology of the uniform random $\Q$-acyclic $2$-complex. This model is analogous to a uniform spanning tree on a complete graph, but more complicated topologically since Kalai showed that the expected order of the torsion group is exponentially large in $n^2$ \cite{Kalai}. We give experimental evidence that in this model also, the torsion is Cohen--Lenstra distributed in the limit. △ Less

Submitted 3 May, 2018; v1 submitted 16 October, 2017; originally announced October 2017.

Comments: minor revisions in version 2

Random simplicial complexes

Authors: Matthew Kahle

Abstract: Random shapes arise naturally in many contexts. The topological and geometric structure of such objects is interesting for its own sake, and also for applications. In physics, for example, such objects arise naturally in quantum gravity, in material science, and in other settings. Stochastic topology may also be considered as a null hypothesis for topological data analysis. In this chapter we ov… ▽ More Random shapes arise naturally in many contexts. The topological and geometric structure of such objects is interesting for its own sake, and also for applications. In physics, for example, such objects arise naturally in quantum gravity, in material science, and in other settings. Stochastic topology may also be considered as a null hypothesis for topological data analysis. In this chapter we overview combinatorial aspects of stochastic topology. We focus on the topological and geometric properties of random simplicial complexes. We introduce a few of the fundamental models in Section 23.1. We review high-dimensional expander-like properties of random complexes in Section 23.2. We discuss threshold behavior and phase transitions in Section 23.3, and Betti numbers and persistent homology in Section 23.4. △ Less

Submitted 24 July, 2016; originally announced July 2016.

Comments: 23 pages, book chapter to appear in 3rd edition of Handbook of Discrete & Computational Geometry

Maximally Persistent Cycles in Random Geometric Complexes

Authors: Omer Bobrowski, Matthew Kahle, Primoz Skraba

Abstract: We initiate the study of persistent homology of random geometric simplicial complexes. Our main interest is in maximally persistent cycles of degree-$k$ in persistent homology, for a either the \cech or the Vietoris--Rips filtration built on a uniform Poisson process of intensity $n$ in the unit cube $[0,1]^d$. This is a natural way of measuring the largest "$k$-dimensional hole" in a random point… ▽ More We initiate the study of persistent homology of random geometric simplicial complexes. Our main interest is in maximally persistent cycles of degree-$k$ in persistent homology, for a either the \cech or the Vietoris--Rips filtration built on a uniform Poisson process of intensity $n$ in the unit cube $[0,1]^d$. This is a natural way of measuring the largest "$k$-dimensional hole" in a random point set. This problem is in the intersection of geometric probability and algebraic topology, and is naturally motivated by a probabilistic view of topological inference. We show that for all $d \ge 2$ and $1 \le k \le d-1$ the maximally persistent cycle has (multiplicative) persistence of order $$ Θ\left(\left(\frac{\log n}{\log \log n} \right)^{1/k} \right),$$ with high probability, characterizing its rate of growth as $n \to \infty$. The implied constants depend on $k$, $d$, and on whether we consider the Vietoris--Rips or \cech filtration. △ Less

Submitted 15 May, 2016; v1 submitted 14 September, 2015; originally announced September 2015.

Comments: revised according to referee reports. 35 pages, 7 figures

MSC Class: Primary: 60B99; 60D05; 05E45; Secondary: 55U10

2-complexes with large 2-girth

Authors: Dominic Dotterrer, Larry Guth, Matthew Kahle

Abstract: The 2-girth of a 2-dimensional simplicial complex $X$ is the minimum size of a non-zero 2-cycle in $H_2(X, \mathbb{Z}/2)$. We consider the maximum possible girth of a complex with $n$ vertices and $m$ 2-faces. If $m = n^{2 + α}$ for $α< 1/2$, then we show that the 2-girth is at most $4 n^{2 - 2 α}$ and we prove the existence of complexes with 2-girth at least $c_{α, ε} n^{2 - 2 α- ε}$. On the othe… ▽ More The 2-girth of a 2-dimensional simplicial complex $X$ is the minimum size of a non-zero 2-cycle in $H_2(X, \mathbb{Z}/2)$. We consider the maximum possible girth of a complex with $n$ vertices and $m$ 2-faces. If $m = n^{2 + α}$ for $α< 1/2$, then we show that the 2-girth is at most $4 n^{2 - 2 α}$ and we prove the existence of complexes with 2-girth at least $c_{α, ε} n^{2 - 2 α- ε}$. On the other hand, if $α> 1/2$, the 2-girth is at most $C_α$. So there is a phase transition as $α$ passes 1/2. Our results depend on a new upper bound for the number of combinatorial types of triangulated surfaces with $v$ vertices and $f$ faces. △ Less

Submitted 10 July, 2017; v1 submitted 13 September, 2015; originally announced September 2015.

Comments: mostly minor revisions from previous version

Erratum: Limit theorems for Betti numbers of random simplicial complexes

Authors: Matthew Kahle, Elizabeth Meckes

Abstract: We correct the proofs of the main theorems in our paper "Limit theorems for Betti numbers of random simplicial complexes". We correct the proofs of the main theorems in our paper "Limit theorems for Betti numbers of random simplicial complexes". △ Less

Submitted 15 January, 2015; originally announced January 2015.

Comments: 13 pages

Topology of random geometric complexes: a survey

Authors: Omer Bobrowski, Matthew Kahle

Abstract: In this expository article, we survey the rapidly emerging area of random geometric simplicial complexes. In this expository article, we survey the rapidly emerging area of random geometric simplicial complexes. △ Less

Submitted 23 July, 2017; v1 submitted 16 September, 2014; originally announced September 2014.

MSC Class: Primary: 60B99; 60D05; 05E45. Secondary: 55U10

New lower bounds on $χ(R^d)$ for $d=8 \dots 12$

Authors: Matthew Kahle, Birra Taha

Abstract: We improve the best lower bounds on the chromatic number of Euclidean space in small dimensions. The new results depend on extensive computations in Sage. We improve the best lower bounds on the chromatic number of Euclidean space in small dimensions. The new results depend on extensive computations in Sage. △ Less

Submitted 3 September, 2014; originally announced September 2014.

Comments: 8 pages

The threshold for integer homology in random d-complexes

Authors: Christopher Hoffman, Matthew Kahle, Elliot Paquette

Abstract: Let Y ~ Y_d(n,p) denote the Bernoulli random d-dimensional simplicial complex. We answer a question of Linial and Meshulam from 2003, showing that the threshold for vanishing of homology H_{d-1}(Y; Z) is less than 80d log n / n. This bound is tight, up to a constant factor. Let Y ~ Y_d(n,p) denote the Bernoulli random d-dimensional simplicial complex. We answer a question of Linial and Meshulam from 2003, showing that the threshold for vanishing of homology H_{d-1}(Y; Z) is less than 80d log n / n. This bound is tight, up to a constant factor. △ Less

Submitted 10 April, 2014; v1 submitted 28 August, 2013; originally announced August 2013.

Comments: 12 pages, updated to include an additional torsion group bound

Topology of random simplicial complexes: a survey

Authors: Matthew Kahle

Abstract: This expository article is based on a lecture from the Stanford Symposium on Algebraic Topology: Application and New Directions, held in honor of Gunnar Carlsson, Ralph Cohen, and Ib Madsen. This expository article is based on a lecture from the Stanford Symposium on Algebraic Topology: Application and New Directions, held in honor of Gunnar Carlsson, Ralph Cohen, and Ib Madsen. △ Less

Submitted 22 October, 2013; v1 submitted 30 January, 2013; originally announced January 2013.

Comments: After revisions, now 21 pages, 5 figures

Inside the critical window for cohomology of random k-complexes

Authors: Matthew Kahle, Boris Pittel

Abstract: We prove sharper versions of theorems of Linial-Meshulam and Meshulam-Wallach which describe the behavior for (Z/2)-cohomology of a random k-dimensional simplicial complex within a narrow transition window. In particular, we show that within this window the (k-1)st Betti number is in the limit Poisson distributed. For k=2 we also prove that in an accompanying growth process, with high probability,… ▽ More We prove sharper versions of theorems of Linial-Meshulam and Meshulam-Wallach which describe the behavior for (Z/2)-cohomology of a random k-dimensional simplicial complex within a narrow transition window. In particular, we show that within this window the (k-1)st Betti number is in the limit Poisson distributed. For k=2 we also prove that in an accompanying growth process, with high probability, first cohomology vanishes exactly at the moment when the last isolated (k-1)-simplex gets covered by a k-simplex. △ Less

Submitted 7 January, 2013; originally announced January 2013.

Comments: 19 pages

Random graph products of finite groups are rational duality groups

Authors: Michael W. Davis, Matthew Kahle

Abstract: Given an edge-independent random graph G(n,p), we determine various facts about the cohomology of graph products of groups for the graph G(n,p). In particular, the random graph product of a sequence of finite groups is a rational duality group with probability tending to 1 as n goes to infinity. This includes random right angled Coxeter groups as a special case. Given an edge-independent random graph G(n,p), we determine various facts about the cohomology of graph products of groups for the graph G(n,p). In particular, the random graph product of a sequence of finite groups is a rational duality group with probability tending to 1 as n goes to infinity. This includes random right angled Coxeter groups as a special case. △ Less

Submitted 21 November, 2013; v1 submitted 16 October, 2012; originally announced October 2012.

Comments: 29 pages

MSC Class: 05C10; 05C80; 20F36; 20F55; 20F65; 20J06 (Primary) 57M07 (Secondary)

Journal ref: J. of Topology 7 (2014), 589-606

Sharp vanishing thresholds for cohomology of random flag complexes

Authors: Matthew Kahle

Abstract: For every $k \ge 1$, the $k$th cohomology group $H^k(X, \Q)$ of the random flag complex $X \sim X(n,p)$ passes through two phase transitions: one where it appears, and one where it vanishes. We describe the vanishing threshold and show that it is sharp. Using the same spectral methods, we also find a sharp threshold for the fundamental group $π_1(X)$ to have Kazhdan's property (T). Combining with… ▽ More For every $k \ge 1$, the $k$th cohomology group $H^k(X, \Q)$ of the random flag complex $X \sim X(n,p)$ passes through two phase transitions: one where it appears, and one where it vanishes. We describe the vanishing threshold and show that it is sharp. Using the same spectral methods, we also find a sharp threshold for the fundamental group $π_1(X)$ to have Kazhdan's property (T). Combining with earlier results, we obtain as a corollary that for every $k \ge 3$ there is a regime in which the random flag complex is rationally homotopy equivalent to a bouquet of $k$-dimensional spheres. △ Less

Submitted 2 October, 2013; v1 submitted 30 June, 2012; originally announced July 2012.

Comments: 20 pages, revised. This paper has been accepted to appear in Annals of Mathematics

MSC Class: 55U10; 05C80; 60B20

Spectral gaps of random graphs and applications

Authors: Christopher Hoffman, Matthew Kahle, Elliot Paquette

Abstract: We study the spectral gap of the Erdős--Rényi random graph through the connectivity threshold. In particular, we show that for any fixed $δ> 0$ if $$p \ge \frac{(1/2 + δ) \log n}{n},$$ then the normalized graph Laplacian of an Erdős--Rényi graph has all of its nonzero eigenvalues tightly concentrated around $1$. We estimate both the decay rate of the spectral gap to $1$ and the failure probability… ▽ More We study the spectral gap of the Erdős--Rényi random graph through the connectivity threshold. In particular, we show that for any fixed $δ> 0$ if $$p \ge \frac{(1/2 + δ) \log n}{n},$$ then the normalized graph Laplacian of an Erdős--Rényi graph has all of its nonzero eigenvalues tightly concentrated around $1$. We estimate both the decay rate of the spectral gap to $1$ and the failure probability, up to a constant factor. We also show that the $1/2$ in the above is optimal, and that if $p = \frac{c \log n}{n}$ for $c < 1/2,$ then there are eigenvalues of the Laplacian restricted to the giant component that are separated from $1.$ We then describe several applications of our spectral gap results to stochastic topology and geometric group theory. These all depend on Garland's "p-adic curvature" method, a kind of spectral geometry for simplicial complexes. These can all be considered to be high-dimensional expander properties. △ Less

Submitted 13 July, 2019; v1 submitted 2 January, 2012; originally announced January 2012.

Comments: final version, 38 pages

MSC Class: 20F65; 05C80

Journal ref: International Mathematics Research Notices (IMRN) 2019

Computational topology for configuration spaces of hard disks

Authors: Gunnar Carlsson, Jackson Gorham, Matthew Kahle, Jeremy Mason

Abstract: We explore the topology of configuration spaces of hard disks experimentally, and show that several changes in the topology can already be observed with a small number of particles. The results illustrate a theorem of Baryshnikov, Bubenik, and Kahle that critical points correspond to configurations of disks with balanced mechanical stresses, and suggest conjectures about the asymptotic topology as… ▽ More We explore the topology of configuration spaces of hard disks experimentally, and show that several changes in the topology can already be observed with a small number of particles. The results illustrate a theorem of Baryshnikov, Bubenik, and Kahle that critical points correspond to configurations of disks with balanced mechanical stresses, and suggest conjectures about the asymptotic topology as the number of disks tends to infinity. △ Less

Submitted 13 November, 2011; v1 submitted 29 August, 2011; originally announced August 2011.

Comments: version 3: 16 pages, 11 figures; made minor changes requested by journal --- changed some color figures to black and white, and reordered bibliography to appear in order of citation rather than alphabetical order

Min-type Morse theory for configuration spaces of hard spheres

Authors: Yuliy Baryshnikov, Peter Bubenik, Matthew Kahle

Abstract: We study configuration spaces of hard spheres in a bounded region. We develop a general Morse-theoretic framework, and show that mechanically balanced configurations play the role of critical points. As an application, we find the precise threshold radius for a configuration space to be homotopy equivalent to the configuration space of points. We study configuration spaces of hard spheres in a bounded region. We develop a general Morse-theoretic framework, and show that mechanically balanced configurations play the role of critical points. As an application, we find the precise threshold radius for a configuration space to be homotopy equivalent to the configuration space of points. △ Less

Submitted 29 August, 2011; v1 submitted 15 August, 2011; originally announced August 2011.

Comments: Minor changes, new title

Journal ref: Int Math Res Notices (2014) 2014 (9): 2577-2592

Coboundary expanders

Authors: Dominic Dotterrer, Matthew Kahle

Abstract: We describe a natural topological generalization of edge expansion for graphs to regular CW complexes and prove that this property holds with high probability for certain random complexes. We describe a natural topological generalization of edge expansion for graphs to regular CW complexes and prove that this property holds with high probability for certain random complexes. △ Less

Submitted 15 April, 2011; v1 submitted 23 December, 2010; originally announced December 2010.

Comments: Version 2: significant rewrite. 18 pages, title changed, and main theorem extended to more general random complexes

MSC Class: 05C80; 55U10

The fundamental group of random 2-complexes

Authors: Eric Babson, Christopher Hoffman, Matthew Kahle

Abstract: We study Linial-Meshulam random 2-complexes, which are two-dimensional analogues of Erdős-Rényi random graphs. We find the threshold for simple connectivity to be p = n^{-1/2}. This is in contrast to the threshold for vanishing of the first homology group, which was shown earlier by Linial and Meshulam to be p = 2 log(n)/n. We use a variant of Gromov's local-to-global theorem for linear isoperimet… ▽ More We study Linial-Meshulam random 2-complexes, which are two-dimensional analogues of Erdős-Rényi random graphs. We find the threshold for simple connectivity to be p = n^{-1/2}. This is in contrast to the threshold for vanishing of the first homology group, which was shown earlier by Linial and Meshulam to be p = 2 log(n)/n. We use a variant of Gromov's local-to-global theorem for linear isoperimetric inequalities to show that when p = O(n^{-1/2 -ε}) the fundamental group is word hyperbolic. Along the way we classify the homotopy types of sparse 2-dimensional simplicial complexes and establish isoperimetric inequalities for such complexes. △ Less

Submitted 10 May, 2011; v1 submitted 28 October, 2010; originally announced October 2010.

Comments: This article has been withdrawn by the author due to duplicate posting and can now be found at arXiv:0711.2704

MSC Class: 20F65; 05C80

Journal ref: J. Amer. Math. Soc. 24 (2011), 1-28

Limit theorems for Betti numbers of random simplicial complexes

Authors: Matthew Kahle, Elizabeth Meckes

Abstract: There have been several recent articles studying homology of various types of random simplicial complexes. Several theorems have concerned thresholds for vanishing of homology, and in some cases expectations of the Betti numbers. However little seems known so far about limiting distributions of random Betti numbers. In this article we establish Poisson and normal approximation theorems for Betti… ▽ More There have been several recent articles studying homology of various types of random simplicial complexes. Several theorems have concerned thresholds for vanishing of homology, and in some cases expectations of the Betti numbers. However little seems known so far about limiting distributions of random Betti numbers. In this article we establish Poisson and normal approximation theorems for Betti numbers of different kinds of random simplicial complex: Erdős-Rényi random clique complexes, random Vietoris-Rips complexes, and random Čech complexes. These results may be of practical interest in topological data analysis. △ Less

Submitted 17 January, 2011; v1 submitted 21 September, 2010; originally announced September 2010.

Comments: 29 pages; 4 figures. A mistake was found in the proof of lemma 3.13, which has now been corrected

Warmth and mobility of random graphs

Authors: Sukhada Fadnavis, Matthew Kahle, Francisco Martinez-Figueroa

Abstract: A graph homomorphism from the rooted $d$-branching tree $φ: T^d \to H$ is said to be cold if the values of $φ$ for vertices arbitrarily far away from the root can restrict the value of $φ$ at the root. Warmth is a graph parameter that measures the non-existence of cold maps. We study warmth of random graphs $G(n,p)$, and for every $d \ge 1$, we exhibit a nearly-sharp threshold for the existence of… ▽ More A graph homomorphism from the rooted $d$-branching tree $φ: T^d \to H$ is said to be cold if the values of $φ$ for vertices arbitrarily far away from the root can restrict the value of $φ$ at the root. Warmth is a graph parameter that measures the non-existence of cold maps. We study warmth of random graphs $G(n,p)$, and for every $d \ge 1$, we exhibit a nearly-sharp threshold for the existence of cold maps. As a corollary, for $p=O(n^{-α})$ warmth of $G(n,p)$ is concentrated on at most two values. As another corollary, a conjecture of Lovász relating mobility to chromatic number holds for "almost all" graphs. Finally, our results suggest new conjectures relating graph parameters from statistical physics with graph parameters from equivariant topology. △ Less

Submitted 1 September, 2021; v1 submitted 3 September, 2010; originally announced September 2010.

Comments: This version is a substantial rewrite from earlier versions

MSC Class: 05C80; O5C15

Random geometric complexes

Authors: Matthew Kahle

Abstract: We study the expected topological properties of Cech and Vietoris-Rips complexes built on i.i.d. random points in R^d. We find higher dimensional analogues of known results for connectivity and component counts for random geometric graphs. However, higher homology H_k is not monotone when k > 0. In particular for every k > 0 we exhibit two thresholds, one where homology passes from vanishing to no… ▽ More We study the expected topological properties of Cech and Vietoris-Rips complexes built on i.i.d. random points in R^d. We find higher dimensional analogues of known results for connectivity and component counts for random geometric graphs. However, higher homology H_k is not monotone when k > 0. In particular for every k > 0 we exhibit two thresholds, one where homology passes from vanishing to nonvanishing, and another where it passes back to vanishing. We give asymptotic formulas for the expectation of the Betti numbers in the sparser regimes, and bounds in the denser regimes. The main technical contribution of the article is in the application of discrete Morse theory in geometric probability. △ Less

Submitted 6 December, 2010; v1 submitted 9 October, 2009; originally announced October 2009.

Comments: 26 pages, 3 figures, final revisions, to appear in Discrete & Computational Geometry

MSC Class: 60D05; 55U10; 05C80

Journal ref: Discrete Comput Geom (2011) 45: 553-573

Sparse stable configurations of hard discs in a box

Authors: Matthew Kahle

Abstract: We construct stable configurations of n overlap** discs of radius r in a unit square, with r = O(1/n). By a result of Diaconis, Lebeau, and Michel, this result is best possible, up to a constant factor. A consequence is that the Metropolis algorithm, a well-studied Markov chain on the hardcore model, is not irreducible in this range of parameters. We construct stable configurations of n overlap** discs of radius r in a unit square, with r = O(1/n). By a result of Diaconis, Lebeau, and Michel, this result is best possible, up to a constant factor. A consequence is that the Metropolis algorithm, a well-studied Markov chain on the hardcore model, is not irreducible in this range of parameters. △ Less

Submitted 28 October, 2010; v1 submitted 13 August, 2009; originally announced August 2009.

Comments: 10 pages; 8 figures -- minor revisions

MSC Class: 52C15; 60J22

Points in a triangle forcing small triangles

Authors: Matthew Kahle

Abstract: An old theorem of Alexander Soifer's is the following: Given five points in a triangle of unit area, there must exist some three of them which form a triangle of area 1/4 or less. It is easy to check that this is not true if "five" is replaced by "four", but can the theorem be improved in any other way? We discuss in this article two different extensions of the original result. First, we allow… ▽ More An old theorem of Alexander Soifer's is the following: Given five points in a triangle of unit area, there must exist some three of them which form a triangle of area 1/4 or less. It is easy to check that this is not true if "five" is replaced by "four", but can the theorem be improved in any other way? We discuss in this article two different extensions of the original result. First, we allow the value of "small", 1/4, to vary. In particular, our main result is to show that given five points in a triangle of unit area, then there must exist some three of them determining a triangle of area 6/25 or less. Second, we put bounds on the minimum number of small triangles determined by n points in a triangle, and make a conjecture about the asymptotic right answer as n tends to infinity. △ Less

Submitted 14 November, 2008; originally announced November 2008.

Comments: 14 pages, 17 figures; in honor of Alexander Soifer's 60th birthday

MSC Class: 05B50

Journal ref: Geombinatorics 18 (2009), no. 3, 114--128

The fundamental group of random 2-complexes

Authors: Eric Babson, Christopher Hoffman, Matthew Kahle

Abstract: We study Linial-Meshulam random 2-complexes, which are two-dimensional analogues of Erdős-Rényi random graphs. We find the threshold for simple connectivity to be p = n^{-1/2}. This is in contrast to the threshold for vanishing of the first homology group, which was shown earlier by Linial and Meshulam to be p = 2 log(n)/n. We use a variant of Gromov's local-to-global theorem for linear isoperimet… ▽ More We study Linial-Meshulam random 2-complexes, which are two-dimensional analogues of Erdős-Rényi random graphs. We find the threshold for simple connectivity to be p = n^{-1/2}. This is in contrast to the threshold for vanishing of the first homology group, which was shown earlier by Linial and Meshulam to be p = 2 log(n)/n. We use a variant of Gromov's local-to-global theorem for linear isoperimetric inequalities to show that when p = O(n^{-1/2 -ε}) the fundamental group is word hyperbolic. Along the way we classify the homotopy types of sparse 2-dimensional simplicial complexes and establish isoperimetric inequalities for such complexes. These intermediate results do not involve randomness and may be of independent interest. △ Less

Submitted 10 May, 2011; v1 submitted 16 November, 2007; originally announced November 2007.

Comments: 28 pages, 3 figures; major revisions

MSC Class: 20F65; 05C80

Journal ref: J. Amer. Math. Soc. 24 (2011), 1-28

Topology of random clique complexes

Authors: Matthew Kahle

Abstract: In a seminal paper, Erdos and Renyi identified the threshold for connectivity of the random graph G(n,p). In particular, they showed that if p >> log(n)/n then G(n,p) is almost always connected, and if p << log(n)/n then G(n,p) is almost always disconnected, as n goes to infinity. The clique complex X(H) of a graph H is the simplicial complex with all complete subgraphs of H as its faces. In c… ▽ More In a seminal paper, Erdos and Renyi identified the threshold for connectivity of the random graph G(n,p). In particular, they showed that if p >> log(n)/n then G(n,p) is almost always connected, and if p << log(n)/n then G(n,p) is almost always disconnected, as n goes to infinity. The clique complex X(H) of a graph H is the simplicial complex with all complete subgraphs of H as its faces. In contrast to the zeroth homology group of X(H), which measures the number of connected components of H, the higher dimensional homology groups of X(H) do not correspond to monotone graph properties. There are nevertheless higher dimensional analogues of the Erdos-Renyi Theorem. We study here the higher homology groups of X(G(n,p)). For k > 0 we show the following. If p = n^alpha, with alpha < -1/k or alpha > - 1/(2k+1), then the kth homology group of X(G(n,p)) is almost always vanishing, and if -1/k < alpha < -1/(k+1), then it is almost always nonvanishing. We also give estimates for the expected rank of homology, and exhibit explicit nontrivial classes in the nonvanishing regime. These estimates suggest that almost all d-dimensional clique complexes have only one nonvanishing dimension of homology, and we cannot rule out the possibility that they are homotopy equivalent to wedges of spheres. △ Less

Submitted 7 November, 2008; v1 submitted 19 May, 2006; originally announced May 2006.

Comments: 23 pages; final version, to appear in Discrete Mathematics. At suggestion of anonymous referee, a section briefly summarizing the topological prerequisites has been added to make the article accessible to a wider audience

MSC Class: 05C80; 55U10; 60C05

Journal ref: Discrete Math. 309 (2009), no. 6, 1658--1671

The neighborhood complex of a random graph

Authors: Matthew Kahle

Abstract: For a graph G, the neighborhood complex N[G] is the simplicial complex having all subsets of vertices with a common neighbor as its faces. It is a well known result of Lovasz that if N[G] is k-connected, then the chromatic number of G is at least k + 3. We prove that the connectivity of the neighborhood complex of a random graph is tightly concentrated, almost always between 1/2 and 2/3 of the… ▽ More For a graph G, the neighborhood complex N[G] is the simplicial complex having all subsets of vertices with a common neighbor as its faces. It is a well known result of Lovasz that if N[G] is k-connected, then the chromatic number of G is at least k + 3. We prove that the connectivity of the neighborhood complex of a random graph is tightly concentrated, almost always between 1/2 and 2/3 of the expected clique number. We also show that the number of dimensions of nontrivial homology is almost always small, O(log d), compared to the expected dimension d of the complex itself. △ Less

Submitted 1 February, 2006; v1 submitted 4 December, 2005; originally announced December 2005.

Comments: 9 pages; stated theorems more clearly and slightly generalized, and fixed one or two typos

MSC Class: 05C80; 05C15; 54C15; 55S35

Journal ref: J. Combin. Theory Ser. A 114 (2007), no. 2, 380--387