The van der Waerden complex
We introduce the van der Waerden complex defined as the simplicial complex whose facets correspond to arithmetic progressions of length in the vertex set . We show the van der Waerden complex is homotopy equivalent to a -complex whose cells asymptotically have dimension at most . Furthermore, we give bounds on and which imply that the van der Waerden complex is contractible.