arXiv++ Combinatorics

Let $p$ be a prime. In 2017, Kemarsky, Paulin, and Shapira (KPS) conjectured that any Laurent series over $\mathbb{F}_p$ exhibits full escape of mass with respect to any irreducible polynomial $P(t)\in\mathbb{F}_p[t]$. In 2025, this was shown to be false in the case $p=2$ and $P(t)=t$ by Nesharim, Shapira and the first named author. This work shows that for any odd prime $p$ and any irreducible polynomial $P(t)\in\mathbb{F}_p[t]$, the so-called $p$-Cantor sequence provides a counterexample to the aforementioned conjecture over $\mathbb{F}_p$. Furthermore, the concepts of maximal escape of mass and generic escape of mass are introduced. These lead to two natural variations of the KPS conjecture, both of which are shown to hold for all previous counterexamples.

Let $\mathcal{K}=\mathbb{F}_q((x^{-1}))$. Analogous to orthogonality in the Euclidean space $\mathbb{R}^n$, there exists a well-studied notion of ultrametric orthogonality in $\mathcal{K}^n$. In this paper, we extend the work of \cite{AB24} about counting results related to orthogonality in $\mathcal{K}^n$. For example, we answer an open question from \cite{AB24} by bounding the size of the largest ``orthogonal sets'' in $\mathcal{K}^n$. Furthermore, we investigate analogues of Hadamard matrices over $\mathcal{K}$. Finally, we use orthogonality to compute the number of sublattices of $\mathbb{F}_q[x]^n$ with a certain geometric structure, as well as to determine the number of orthogonal bases for a sublattice in $\mathcal{K}^n$. The resulting formulas depend crucially on successive minima.

Let $\mathcal{K}$ be a discrete valued field with finite residue field. In analogy with orthogonality in the Euclidean space $\mathbb{R}^n$, there is a well-studied notion of "ultrametric orthogonality" in $\mathcal{K}^n$. In this paper, motivated by a question of Erd{ő}s in the real case, given integers $k \geq \ell \geq 2$, we investigate the maximum size of a subset $S \subseteq \mathcal{K}^n \setminus\{{\bf 0}\}$ satisfying the following property: for any $E \subseteq S$ of size $k$, there exists $F \subseteq E$ of size $\ell$ such that any two distinct vectors in $F$ are orthogonal. Other variants of this property are also studied.