Abstract:For a finite Abelian group $(\Gamma,+)$, let $n(\Gamma)$ denote the smallest positive integer $n$ such that for each labelling of the arcs of the complete digraph of order $n$ using elements from $\Gamma$, there exists a directed cycle such that the total sum of the arc-labels along the cycle equals $0$. Alon and Krivelevich initiated the study of the parameter $n(\cdot)$ on cyclic groups and proved that $n(\mathbb{Z}_q)=O(q\log q)$. Studying the prototypical case when $\Gamma=\mathbb{Z}_p^d$ is a power of a cyclic group of prime order, Letzter and Morrison recently showed that $n(\mathbb{Z}_p^d) \le O(pd(\log d)^2)$ and that $n(\mathbb{Z}_2^d)\le O(d \log d)$. They then posed the problem of proving an (asymptotically optimal) upper bound of $n(\mathbb{Z}_p^d)\le O(pd)$ for all primes $p$ and $d \in \mathbb{N}$. In this paper, we solve this problem for $p=2$ and improve their bound for all primes $p \ge 3$ by proving $n(\mathbb{Z}_2^d)\le 5d$ and $n(\mathbb{Z}_p^d)\le O(pd\log d)$. While the first bound determines $n(\mathbb{Z}_2^d)$ up to a multiplicative error of $5$, the second bound is tight up to a $\log d$ factor. Moreover, our result shows that a tight bound of $n(\mathbb{Z}_p^d)=\Theta(pd)$ for arbitrary $p$ and $d$ would follow from a (strong form) of the well-known conjecture of Jaeger, Linial, Payan and Tarsi on additive bases in $\mathbb{Z}_p^d$. Along the way to proving these results, we establish a generalization of a hypergraph matching result by Haxell in a matroidal setting. Concretely, we obtain sufficient conditions for the existence of matchings in a hypergraph whose hyperedges are labelled by the elements of a matroid, with the property that the edges in the matching induce a basis of the matroid. We believe that these statements are of independent interest.

More on maximal line-free sets in $\mathbb{F}_p^n$

Maximal line-free sets in $\mathbb{F}_p^n$

New lower bounds for three-term progression free sets in $\mathbb{F}_p^n$

Large sum-free sets in finite vector spaces I

Effective Bounds for Restricted $3$-Arithmetic Progressions in $\mathbb{F}_p^n$

Improving Behrend's construction: Sets without arithmetic progressions in integers and over finite fields

The structure of large sum-free sets in $\mathbb{F}_p^n$

Maximal subsets free of arithmetic progressions in arbitrary sets

Subsets of $\mathbb{F}_p^n\times\mathbb{F}_p^n$ without L-shaped configurations

Avoiding secants of given size in finite projective planes

On $p$-groups with a maximal elementary abelian normal subgroup of rank $k$

On the $p$-adic limit of class numbers along a pro-$p$-extension

On the lower bounds of $p$-modulus of families of paths and a finite connectedness

Maximum subsets of $\mathbb{F}^n_q$ containing no right angles

Uniform Recurrence in the Motzkin Numbers and Related Sequences mod $p$

Improved bounds for zero-sum cycles in $\mathbb{Z}_p^d$

A quantitative bound on Furstenberg-Sárközy patterns with shifted prime power common differences in primes

Maximal sections of the unit ball of $l^n_p(\mathbb{C})$ for $p > 2$

An incidence bound for $k$-planes in $F^n$ and a planar variant of the Kakeya maximal function

Generalized Ramsey numbers at the linear and quadratic thresholds

Squares and difference sets in finite fields