Interesting Esoterica

Configuration spaces of hard squares in a rectangle

Article by Hannah Alpert and Ulrich Bauer and Matthew Kahle and Robert MacPherson and Kelly Spendlove
  • 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-03-14

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-03-14},
	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}
}