A Generalization of Plexes of Latin Squares

A $k$-plex of a latin square is a collection of cells representing each row, column, and symbol precisely $k$ times. The classic case of $k=1$ is more commonly known as a transversal. We introduce the concept of a $k$-weight, an integral weight function on the cells of a latin square whose row, column, and symbol sums are all $k$. We then show that several non-existence results about $k$-plexes can been seen as more general facts about $k$-weights and that the weight-analogues of several well-known existence conjectures for plexes actually hold for $k$-weights

Completion and deficiency problems

Given a partial Steiner triple system (STS) of order $n$, what is the order of the smallest complete STS it can be embedded into? The study of this question goes back more than 40 years. In this paper we answer it for relatively sparse STSs, showing that given a partial STS of order $n$ with at most $r \le \varepsilon n^2$ triples, it can always be embedded into a complete STS of order $n+O(\sqrt{r})$, which is asymptotically optimal. We also obtain similar results for completions of Latin squares and other designs. This suggests a new, natural class of questions, called deficiency problems. Given a global spanning property $\mathcal{P}$ and a graph $G$, we define the deficiency of the graph $G$ with respect to the property $\mathcal{P}$ to be the smallest positive integer $t$ such that the join $G\ast K_t$ has property $\mathcal{P}$. To illustrate this concept we consider deficiency versions of some well-studied properties, such as having a $K_k$-decomposition, Hamiltonicity, having a triangle-factor and having a perfect matching in hypergraphs. The main goal of this paper is to propose a systematic study of these problems; thus several future research directions are also given