I do not think that we can expect a topological proof. Note that the topological proof of the coloring theorem does not rely on assuming n being fixed and d is large. when d is fixed (two) and n is large the coloring result is correct but the density result is far from being correct. When n is fixed and d is large the nature of the problem becomes similar to density Hales Jewett (while weaker) since (#)the paths in the graphs are not so different from combinatorial lines(#).
(Of course, if the question is "Is there a topological proof in the literature then I am quite certain that answer is no.)
The problem is interesting as it is a problem of a type "can we expect a method X leads to a solution of problem Y". Definite answers and even formal ways to pose the questions appear to be very hard. On the other hand, some heuristic arguments can be useful. But I am not aware of many such questions/heuristic answers in the literature.
Regarding my heuristic argument, the statement between the two (#)s looks especially questionable. But even if it is not the case that paths in the graph (when n is fixed and d very large) are "similar" to combinatorial lines, I would still regard the possibility of a topological proof rather unlikely.
Indeed the answer to the problem (if I understqanf it correctly) is known. See the following paper: B. Bollobas, G. Kindler, I. Leader, and R. O'Donnell, Eliminating cycles in the discrete torus, LATIN 2006: Theoretical informatics, 202{210, Lecture Notes in Comput. Sci., 3887, Springer, Berlin, 2006. Also: Algorithmica 50 (2008), no. 4, 446{454. The paper by Alon and Klartag http://www.math.tau.ac.il/~nogaa/PDFS/torus3.pdf is a good source. There is a beautiful new proof via the Brunn Minkowski's theorem by Alon and Feldheim.
The statement is an isoperimetric-type result so this can be regarded as a quantitative version of the topological notion of connectivity.