English

Directed cycles with zero weight in $\mathbb{Z}_p^k$

Combinatorics 2024-05-28 v2

Abstract

For a finite abelian group AA, define f(A)f(A) to be the minimum integer such that for every complete digraph Γ\Gamma on ff vertices and every map w:E(Γ)Aw:E(\Gamma) \rightarrow A, there exists a directed cycle CC in Γ\Gamma such that eE(C)w(e)=0\sum_{e \in E(C)}w(e) = 0. The study of f(A)f(A) was initiated by Alon and Krivelevich (2021). In this article, we prove that f(Zpk)=O(pk(logk)2)f(\mathbb{Z}_p^k) = O(pk (\log k)^2), where pp is prime, with an improved bound of O(klogk)O(k \log k) when p=2p = 2. These bounds are tight up to a factor which is polylogarithmic in kk.

Keywords

Cite

@article{arxiv.2306.09033,
  title  = {Directed cycles with zero weight in $\mathbb{Z}_p^k$},
  author = {Shoham Letzter and Natasha Morrison},
  journal= {arXiv preprint arXiv:2306.09033},
  year   = {2024}
}

Comments

18 pages (including a 3 page appendix)

R2 v1 2026-06-28T11:05:49.414Z