arXiv++ Combinatorics

We investigate a geometric generalization of trifference, a concept introduced by Elias in 1988 in the study of zero-error channel capacity. In the discrete setting, a code C \subseteq {0,1,2}^n is trifferent if for any three distinct codewords x, y, z in C, there exists a coordinate i in [n] where x_i, y_i, z_i are all distinct. Determining the maximum size of such codes remains a central open problem; the classical upper bound |C| \leq 2 * (3/2)^n, proved via a simple pruning argument, has resisted significant improvement. Motivated by the search for new techniques, and in line with vectorial extensions of other classical combinatorial notions, we introduce the concept of vector trifferent codes. Consider C \subseteq (S^2)^n, where the alphabet is the unit sphere S^2 = { v in R^3 : ||v|| = 1 }. We say C is vector trifferent if for any three distinct x, y, z in C, there is an index i where the vectors x_i, y_i, z_i are mutually orthogonal. A direct reduction of the vectorial problem to the discrete setting appears infeasible, making it difficult to replicate Elias's pruning argument. Nevertheless, we develop a new method to establish the upper bound |C| \leq (sqrt(2) + o(1)) * (3/2)^n. Interestingly, our approach, when adapted back to the discrete setting, yields a polynomial improvement to Elias's bound: |C| \lesssim n^(-1/4) * (3/2)^n. This improvement arises from a technique that parallels, but is not identical to, a recent method of the authors, though it still falls short of the sharper n^(-2/5) factor obtained there. We also generalize the concept of vector trifferent codes to richer alphabets and prove a vectorial version of the Fredman-Komlos theorem (1984) for general k-separating codes.

A subset $\mathcal{C}\subseteq\{0,1,2\}^n$ is said to be a $\textit{trifferent}$ code (of block length $n$) if for every three distinct codewords $x,y, z \in \mathcal{C}$, there is a coordinate $i\in \{1,2,\ldots,n\}$ where they all differ, that is, $\{x(i),y(i),z(i)\}$ is same as $\{0,1,2\}$. Let $T(n)$ denote the size of the largest trifferent code of block length $n$. Understanding the asymptotic behavior of $T(n)$ is closely related to determining the zero-error capacity of the $(3/2)$-channel defined by Elias'88, and is a long-standing open problem in the area. Elias had shown that $T(n)\leq 2\times (3/2)^n$ and prior to our work the best upper bound was $T(n)\leq 0.6937 \times (3/2)^n$ due to Kurz'23. We improve this bound to $T(n)\leq c \times n^{-2/5}\times (3/2)^n$ where $c$ is an absolute constant.

We show that if $\mathbb Z^3$ can be tiled by translated copies of a set $F\subseteq\mathbb Z^3$ of cardinality the square of a prime then there is a weakly periodic $F$-tiling of $\mathbb Z^3$, that is, there is a tiling $T$ of $\mathbb Z^3$ by translates of $F$ such that $T$ can be partitioned into finitely many $1$-periodic sets.

We develop a Van der Waerden type theorem in an axiomatic setting of graded lattices and show that this axiomatic formulation can be applied to various lattices, for instance the set partition and the Boolean lattices. We derive the Hales-Jewett theorem as a corollary.

Let $c:\mathbb Z^2\to \{0, 1\}$ be a configuration with a non-trivial annihilator. We show that if $c$ is weakly periodic then the directions of periodicity in a minimal weakly periodic decomposition of $c$ can be detected from the annihilator ideal associated to $c$. We show that the order of a weakly periodic configuration is same as the number of components in any minimal decomposition into $1$-periodic elements. We then give an upper bound on the order in terms of the support of any of its annihilators. In the special case of tilings this gives an upper bound on the order of any tiling in terms of a geometric quantity associated to the tile. We prove that if $c:\mathbb Z^2\to \{0, 1\}$ is a configuration having a non-trivial annihilator and has order $2$ then it can be written as a sum of two $1$-periodic configurations valued in $\{0, 1\}$. Lastly we show that any tiling of $\mathbb Z^2$ by a tile of cardinality the square of a prime has a point of order at most $2$ in its orbit closure.

We introduce notions of Cheeger constants for graphons and graphings. We prove Cheeger and Buser inequalities for these. On the way we prove co-area formulae for graphons and graphings.