arXiv++ Combinatorics

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.

We discuss ways in which tools from topology can be used to derive lower bounds for the circuit complexity of Boolean functions.

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.

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.