Reduction of Simplicial Complex by Relation and Dowker Complex

We show a new reduction method on a simplicial complex. This reduction works well with relations and Dowker complexes. The idea is to add a dummy vertex $z$ to the simplicial complex $K$. We add the simplicial cone $z * L$ to $K$ where $L$ is the union of stars from a set of vertices. If $L$ is contractible, then we can apply the Gluing theorem to glue $z * L$ to $K$ to obtain $K'$. Finally, we strong collapse each vertex of $L$ in $K'$ to obtain $K''$. If the conditions are satisfied, then $K$, $K'$ and $K''$ are homotopically equivalent. This trick can be adapted to relation with the associated Dowker complex $K_R$. This notation help to simplify various computations. Relations are simple data structures, and they are represented by binary matrices. This method of reduction with relation is versatile and it can be used on different structures such as simplicial complexes, convex polytopal complexes and covers of topological spaces that satisfy the Nerve Theorem. We develop an algorithm based on the reduction step. Let $n$ be the number of vertices of $K$. We have $O(n^2)$ subcomplexes $L$ to verify contractibility. This verification of $L$ is costly with $O(d \epsilon (n^2 + m^2))$ where $d$ is the dimension of $L$, $m$ the number of toplexes in $L$, $n$ the number of vertices in $L$ and $\epsilon$ the maximal number of toplexes adjacent to a vertex in $L$. But, $L$ is often a small simplicial complex. If $L$ is contractible, then we apply a clean-up method on some columns that takes $O(d m^2)$. Finally, we show the efficiency of the reduction algorithm on several experimental results.