The word problem and the Aharoni-Berger-Ziv conjecture on the connectivity of independence complexes
arXiv:1009.3900
Abstract
For each finite simple graph , Aharoni, Berger and Ziv consider a recursively defined number which gives a lower bound for the topological connectivity of the independence complex . They conjecture that this bound is optimal for every graph. We use a result of recursion theory to give a short disproof of this claim.
2 pages