Ryser's Theorem for Simple Multi-Latin Rectangle

Fuente: arXiv
Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Bahmanian, Amin
Format: Preprint
Veröffentlicht: 2025
Schlagworte:
Online-Zugang:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
_version_ 1866912586215194624
author Bahmanian, Amin
author_facet Bahmanian, Amin
contents We prove a general result on completing objects similar to Latin rectangles in which the number of occurrences of each symbol is prescribed, each cell contains multiple symbols, and no cell contains repeated symbols. This generalizes several results in the literature, and leads to confirming a conjecture of Cavenagh, Hämäläinen, Lefevre, and Stones. An $r\times s$ {\it $λ$-Latin rectangle} $L$ is an $r\times s$ array in which each cell contains a multiset of $λ$ elements from the set $\{1,\dots,n\}$ of symbols such that each symbol occurs at most $λ$ times in each row and column. If $r=s=n$, then $L$ is a {\it $λ$-Latin square}. A $λ$-Latin rectangle is {\it simple} if no symbol is repeated in any cell. Cavenagh et al. asked for conditions that ensure a simple $λ$-Latin rectangle can be extended to a simple $λ$-Latin square. We solve this problem in a more general setting by allowing the number of occurrences of each symbol to be prescribed. Cavenagh et al. conjectured that for each $r, λ$ there exists some $n(r, λ)$ such that for any $n \geq n(r, λ)$, every simple partial $λ$-Latin square of order $r$ (each cell contain at most $λ$ symbols) embeds in a simple $λ$-Latin square of order $n$. We confirm this conjecture.
format Preprint
id arxiv_https___arxiv_org_abs_2509_11471
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle Ryser's Theorem for Simple Multi-Latin Rectangle
Bahmanian, Amin
Combinatorics
05B15
We prove a general result on completing objects similar to Latin rectangles in which the number of occurrences of each symbol is prescribed, each cell contains multiple symbols, and no cell contains repeated symbols. This generalizes several results in the literature, and leads to confirming a conjecture of Cavenagh, Hämäläinen, Lefevre, and Stones. An $r\times s$ {\it $λ$-Latin rectangle} $L$ is an $r\times s$ array in which each cell contains a multiset of $λ$ elements from the set $\{1,\dots,n\}$ of symbols such that each symbol occurs at most $λ$ times in each row and column. If $r=s=n$, then $L$ is a {\it $λ$-Latin square}. A $λ$-Latin rectangle is {\it simple} if no symbol is repeated in any cell. Cavenagh et al. asked for conditions that ensure a simple $λ$-Latin rectangle can be extended to a simple $λ$-Latin square. We solve this problem in a more general setting by allowing the number of occurrences of each symbol to be prescribed. Cavenagh et al. conjectured that for each $r, λ$ there exists some $n(r, λ)$ such that for any $n \geq n(r, λ)$, every simple partial $λ$-Latin square of order $r$ (each cell contain at most $λ$ symbols) embeds in a simple $λ$-Latin square of order $n$. We confirm this conjecture.
title Ryser's Theorem for Simple Multi-Latin Rectangle
topic Combinatorics
05B15
url https://arxiv.org/abs/2509.11471