# Configuration spaces of hard squares in a rectangle

- Published in 2020
- Added on

In the collection

We study the configuration spaces C(n;p,q) of n labeled hard squares in a p by 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.

## Links

## Other information

- key
- Configurationspacesofhardsquaresinarectangle
- type
- article
- date_added
- 2020-11-06
- date_published
- 2020-11-28

### BibTeX entry

@article{Configurationspacesofhardsquaresinarectangle, key = {Configurationspacesofhardsquaresinarectangle}, type = {article}, title = {Configuration spaces of hard squares in a rectangle}, author = {Hannah Alpert and Ulrich Bauer and Matthew Kahle and Robert MacPherson and Kelly Spendlove}, abstract = {We study the configuration spaces C(n;p,q) of n labeled hard squares in a p by 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.}, comment = {}, date_added = {2020-11-06}, date_published = {2020-11-28}, urls = {http://arxiv.org/abs/2010.14480v1,http://arxiv.org/pdf/2010.14480v1}, collections = {puzzles}, url = {http://arxiv.org/abs/2010.14480v1 http://arxiv.org/pdf/2010.14480v1}, year = 2020, urldate = {2020-11-06}, archivePrefix = {arXiv}, eprint = {2010.14480}, primaryClass = {math.AT} }