arXiv++ Combinatorics

Label the vertices of the complete graph $K_v$ with the integers $\{ 0, 1, \ldots, v-1 \}$ and define the length of the edge between $x$ and $y$ to be $\min( |x-y| , v - |x-y| )$. Let $L$ be a multiset of size $v-1$ with underlying set contained in $\{ 1, \ldots, \lfloor v/2 \rfloor \}$. The Buratti-Horak-Rosa Conjecture is that there is a Hamiltonian path in $K_v$ whose edge lengths are exactly $L$ if and only if for any divisor $d$ of $v$ the number of multiples of $d$ appearing in $L$ is at most $v-d$. We introduce "growable realizations," which enable us to prove many new instances of the conjecture and to reprove known results in a simpler way. As examples of the new method, we give a complete solution when the underlying set is contained in $\{ 1,4,5 \}$ or in $\{ 1,2,3,4 \}$ and a partial result when the underlying set has the form $\{ 1, x, 2x \}$. We believe that for any set $U$ of positive integers there is a finite set of growable realizations that implies the truth of the Buratti-Horak-Rosa Conjecture for all but finitely many multisets with underlying set $U$.

The conjecture, still widely open, posed by Marco Buratti, Peter Horak and Alex Rosa states that a list $L$ of $v-1$ positive integers not exceeding $\left\lfloor \frac{v}{2}\right\rfloor$ is the list of edge-lengths of a suitable Hamiltonian path of the complete graph with vertex-set $\{0,1,\ldots,v-1\}$ if and only if, for every divisor $d$ of $v$, the number of multiples of $d$ appearing in $L$ is at most $v-d$. In this paper we present new methods that are based on linear realizations and can be applied to prove the validity of this conjecture for a vast choice of lists. As example of their flexibility, we consider lists whose underlying set is one of the following: $\{x,y,x+y\}$, $\{1,2,3,4\}$, $\{1,2,4,\ldots,2x\}$, $\{1,2,4,\ldots,2x,2x+1\}$. We also consider lists with many consecutive elements.