For a positive integer $n$ and a finite simplicial complex $K$, we describe an algorithmic procedure constructing a maximal discrete gradient field $W(K,n)$ on Abrams' discretized configuration space $\text{ DConf}(K,n)$. Computer experimentation shows that the field is generically optimal. We study the field $W(K,n)$ for $n=2$ and $K=\Delta^{ m,d}$, the $d$-dimensional skeleton of the $m$-dimensional simplex. In particular, we prove that $\text{ DConf}(\Delta^{ m,d},2)$ is $(\min\{ d,m-1\}-1)$-connected, has torsion-free homology and admits a minimal cell structure. We compute the Betti numbers of $\text{ DConf}(\Delta^{ m,d},2)$ and, for certain values of $d$, we prove that $\text{ DConf}(\Delta^{ m,d},2)$ breaks, up to homotopy, as a wedge of (not necessarily equidimensional) spheres.

Categories: math.AT

An algorithmic discrete gradient field for non-colliding cell-like objects and the topology of pairs of points on skeleta of simplexes