2. What is the smallest number, denoted , to guarantee that a -matrix with the entries has 2 neighboring entries such that and ? Obviously, , where is the smallest number such that any subset of of size has at least neighbors. Due to Theorem 11, is the smallest number such that the initial segment of length in the simplicial order on has neighbors. In your proof you used the fact that , which implies by Theorem 11 that . However this bound is not tight. Consider the hamming ball . It is easy to see that and . Thus . What about higher dimensions?
Related questions: continued
2. What is the smallest number, denoted , to guarantee that a -matrix with the entries has 2 neighboring entries such that and ? Obviously, , where is the smallest number such that any subset of of size has at least neighbors. Due to Theorem 11, is the smallest number such that the initial segment of length in the simplicial order on has neighbors. In your proof you used the fact that , which implies by Theorem 11 that . However this bound is not tight. Consider the hamming ball . It is easy to see that and . Thus . What about higher dimensions?