Table of Contents
Fetching ...

Outline Rectangles, Allocations, and Latin Young Diagrams

Jack Allsop, Daniel Kotlar, Ian Wanless

TL;DR

The paper connects wide Young diagrams to Latin fillings via allocations and Hilton's outline-rectangle method, proving that a diagram has an allocation if and only if it is Latin. This equivalence reduces Chow et al.'s Wide Partition Conjecture to showing wide diagrams admit allocations, and the authors establish the conjecture for diagrams with three distinct row lengths. It also provides a practical wideness test with quadratic complexity and a constructive proof for the three-length case, while outlining generalization strategies through allocations and a hypergraph framework. Collectively, the work advances the understanding of Latin fillings in the free matroid setting and suggests inductive and hypergraph-based routes toward the general conjecture.

Abstract

A Young diagram is \emph{Latin} if there is an assignment of integers to its cells so that each row $i$ of length $l_i$ is populated by the numbers $1,\ldots,l_i$, and the numbers in each column are distinct. A Young diagram is called \emph{wide} if any subdiagram, formed by a subset of its rows, dominates its conjugate. Chow et al. [Advances in Applied Mathematics, 31, 2003] conjectured that any wide Young diagram is Latin. We introduce a notion of an \emph{allocation} which can be thought of as a coarse attempt at finding a Latin filling for a Young diagram. Using a theorem of Hilton, we prove that a Young diagram has an allocation if and only if it is Latin. This enables us to prove Chow et al.'s conjecture for Young diagrams with three distinct row lengths.

Outline Rectangles, Allocations, and Latin Young Diagrams

TL;DR

The paper connects wide Young diagrams to Latin fillings via allocations and Hilton's outline-rectangle method, proving that a diagram has an allocation if and only if it is Latin. This equivalence reduces Chow et al.'s Wide Partition Conjecture to showing wide diagrams admit allocations, and the authors establish the conjecture for diagrams with three distinct row lengths. It also provides a practical wideness test with quadratic complexity and a constructive proof for the three-length case, while outlining generalization strategies through allocations and a hypergraph framework. Collectively, the work advances the understanding of Latin fillings in the free matroid setting and suggests inductive and hypergraph-based routes toward the general conjecture.

Abstract

A Young diagram is \emph{Latin} if there is an assignment of integers to its cells so that each row of length is populated by the numbers , and the numbers in each column are distinct. A Young diagram is called \emph{wide} if any subdiagram, formed by a subset of its rows, dominates its conjugate. Chow et al. [Advances in Applied Mathematics, 31, 2003] conjectured that any wide Young diagram is Latin. We introduce a notion of an \emph{allocation} which can be thought of as a coarse attempt at finding a Latin filling for a Young diagram. Using a theorem of Hilton, we prove that a Young diagram has an allocation if and only if it is Latin. This enables us to prove Chow et al.'s conjecture for Young diagrams with three distinct row lengths.

Paper Structure

This paper contains 5 sections, 8 theorems, 97 equations, 3 figures.

Key Result

Theorem 3

A wide Young diagram with three distinct row lengths is Latin.

Figures (3)

  • Figure 1: Rectangular regions for an allocation.
  • Figure 2: Embedding an allocation in an outline rectangle. The size of each cell is indicative of the size of the multiset that is assigned to it.
  • Figure 3: An allocation for $(4,3,3)$ that cannot be extended to an allocation for $(5,4,3,3)$.

Theorems & Definitions (62)

  • Definition 1
  • Conjecture 2
  • Theorem 3
  • Conjecture 4
  • Definition 5
  • Theorem 6
  • proof
  • Claim 4
  • proof
  • Claim 6
  • ...and 52 more