Prove CoboundaryExpanders (openai/math family 177: Bounded-degree coboundary expanders in every dimension)…
Prove CoboundaryExpanders (openai/math family 177: Bounded-degree coboundary expanders in every dimension)…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 177 of the release, Bounded-degree coboundary expanders in every dimension…
The task
Context: this statement belongs to family 177 of the release, *Bounded-degree coboundary expanders in every dimension* (Combinatorics). The family as a whole: Constructs arbitrarily large finite $d$-dimensional simplicial complexes, for every $d\ge3$, with uniformly bounded vertex degrees and uniform $\mathbb F_2$…
Part of raising-heart/openai-math.