English

New bounds on the Graham-Pollak theorem for hypergraphs

Combinatorics 2026-07-17 v1 Discrete Mathematics

Abstract

For a fixed rr, let fr(n)f_r(n) denote the minimum number of complete rr-partite rr-uniform hypergraphs required to partition the edge set of the complete rr-uniform hypergraph on nn vertices. The Graham-Pollak theorem states that f2(n)=n1f_2(n)=n-1. It was known that fr(n)(1+o(1))(nr2)f_r(n) \leq (1+o(1)){n \choose \lfloor{\frac{r}{2}}\rfloor}, which was subsequently improved to fr(n)[r2(1415)r/4+o(1)](nr/2)f_r(n)\le \left[ \frac{r}{2} \left(\frac{14}{15}\right)^{r/4} +o(1) \right] \binom{n}{\lfloor r/2\rfloor}. Let crc_r be limnfr(n)(nr/2)\displaystyle \lim_{n \to \infty}\frac{f_r(n)}{\binom{n}{\lfloor r/2 \rfloor}}. It was known that cr<1c_r<1 for every even r4r \geq 4, while for odd rr the smallest known value satisfying cr<1c_r<1 was 113113. In this note we lower this to 8585 and also provide a constant-factor improvement in the known bounds for fr(n)f_r(n).

Cite

@article{arxiv.2607.15658,
  title  = {New bounds on the Graham-Pollak theorem for hypergraphs},
  author = {Anand Babu},
  journal= {arXiv preprint arXiv:2607.15658},
  year   = {2026}
}

Comments

10 pages