Perfect difference families, perfect systems of difference sets and their applications

TL;DR

This paper characterizes the existence of perfect difference families with parameters (v,4,λ), resolving a long-standing conjecture and introducing layered difference families to unify and simplify related combinatorial existence proofs.

Contribution

The paper proves a complete characterization of (v,4,λ)-perfect difference families, solving a 50-year-old conjecture, and introduces layered difference families to streamline existence proofs.

Findings

Existence of (v,4,λ)-PDF iff λ(v-1) ≡ 0 mod 12, v ≥ 13, and not (25,1) or (37,1)

Introduces layered difference families as a new concept for unified analysis

Simplifies proofs of cyclic difference packings

Abstract

Let $v$ be a positive odd integer. A $(v,k,\lambda)$-perfect difference family (PDF) is a collection $\mathcal{F}$ of $k$-subsets of $\{0,1,\ldots,v-1\}$ such that the multiset $\bigcup_{F\in \mathcal{F}}\{x-y : x,y\in F, x>y\}$ covers each element of $\left\{1,2,\ldots,(v-1)/2\right\}$ exactly $\lambda$ times. Perfect difference families are a special class of perfect systems of difference sets. They were introduced by Bermond, Kotzig, and Turgeon in the 1970s, following a problem suggested by Erd\H{o}s. In this paper, we prove that a $(v,4,\lambda)$-PDF exists if and only if $\lambda(v-1) \equiv 0 \pmod{12}$, $v \geq 13$, and $(v,\lambda) \notin \{(25,1),(37,1)\}$. This result resolves a nearly 50-year-old conjecture posed by Bermond. Perfect difference families find applications in radio astronomy, optical orthogonal codes for optical code-division multiple access systems, geometric orthogonal codes for DNA origami, difference triangle sets, additive sequences of permutations, and graceful graph labelings. To establish our main result, we introduce a new concept termed a layered difference family. This concept provides a powerful and unified perspective that not only facilitates our proof of the main theorem but also simplifies recent existence proofs for various cyclic difference packings.