Sperner’s Lemma is often called the "combinatorial analog" of Brouwer’s Fixed Point Theorem, and similarly Tucker’s Lemma is often called the combinatorial analog of Borsuk–Ulam’s Theorem. 

Even though we can fairly directly show Borsuk–Ulam implies Brouwer, it seems no direct combinatorial proof is known between Tucker's and Sperner's Lemma. (Please see a related discussion from 2013/2014 with links to good articles at https://mathoverflow.net/q/131488/156936.)

> My question: has there been any new development on research for a direct combinatorial link between the two Lemmas?

For background, to explain what is driving this question, I am using a 2-dimensional example. It is an example where Tucker’s Lemma follows directly from Sperner’s Lemma (under suitable "compatibility" conditions on the boundary labelling).

Take a triangulated polygon with vertices labelled -2, -1, 1, or 2, and anti-symmetric labelling on its boundary, such that it satisfies the conditions of Tucker’s Lemma. 

Assume the boundary labels can be colored in a way that meets the conditions of Sperner’s Lemma; this is the compatibility condition. Here is a simple example for clarification, showing the Tucker anti-symmetric number labelling and the Sperner color labelling of the boundary (it only shows the boundary labelling, not the triangulation and the inside vertices).

[![Boundary labelling for Tucker and Sperner lemmas][1]][1]

Assign the colors to all the number-labelled vertices inside the polygon in the same way, i.e. $1\mapsto \text{orange}$; $2\mapsto \text{blue}$; $-1, -2\mapsto \text{green}$.

Because of the Sperner coloring of the boundary, a 3-colored Sperner triangle must exist. But this 3-colored triangle either has a complementary green–orange edge $(-1,1)$ or a complementary green–blue edge $(-2,2)$. In other words, it follows directly from Sperner’s Lemma that a complementary edge exists, proving Tucker’s Lemma.

So, in cases like this one, Sperner directly implies Tucker without any additional proof steps. This seems to be an obvious, direct combinatorial link between the two Lemmas, hence my question about any recent results or ideas in this direction.


  [1]: https://i.sstatic.net/M00WC.png