Finite and infinite barrycades

Abstract

An $n$-barrycade of height $h$ is a set of $h$ permutations of $[n]$ such that all the prefix sums are different. This notion was described in 2020 by Richard Guy, together with the central problem to determine for which values of $n$ there exists a break-free $n$-barrycade, that is, one in which every possible prefix sum from $1$ to $\frac{n(n+1)}{2}-1$ is covered. The height of such barrycade would be $\frac{n+2}{2}$. We prove that barrycades of linear height exist for infinitely many sizes: there is a constant $c>0$ such that for infinitely many positive integers $n$ there exists an $n$-barrycade of height at least $cn$. We also explore an infinite variant of the problem and propose three constructions -- greedy, grasshopper and precise grasshopper -- that give increasingly more satisfying results. Along the way we encounter new integer sequences and formulate conjectures concerning omitted elements, missing partial sums, and word representations of infinite barrycades, which are firmly supported by computational data.