The number of Latin rectangles

Peter G. Doyle

DOI: https://doi.org/10.48550/arXiv.math/0703896

2007-03-30

Abstract:We show how to generate an expression for the number of k-line Latin rectangles for any k. The computational complexity of the resulting expression, as measured by the number of additions and multiplications required to evaluate it, is on the order of n^(2^(k-1)). These expressions generalize Ryser's formula for derangements.

Combinatorics

What problem does this paper attempt to address?

Automatic Counting of Generalized Latin Rectangles and Trapezoids

George Spahn,Doron Zeilberger

DOI: https://doi.org/10.48550/arXiv.2108.11285

2021-08-25

Abstract:In this case study in ``fully automated enumeration'', we illustrate how to take full advantage of symbolic computation by developing (what we call) `symbolic-dynamical-programming' algorithms for computing many terms of `hard to compute sequences', namely the number of Latin trapezoids, generalized derangements, and generalized three-rowed Latin rectangles. At the end we also sketch the proof of a generalization of Ira Gessel's 1987 theorem that says that for any number of rows, k, the number of Latin rectangles with k rows and n columns is P-recursive in n. Our algorithms are fully implemented in Maple, and generated quite a few terms of such sequences.

Combinatorics
A simple proof on the number of $(3 \times n)$-Latin rectangles based on a set of $λ$ elements

Pantaree Thengarnanchai,Pawaton Kaemawichanurat,Watcharintorn Ruksasakchai,Natawat Klamsakul

2024-07-10

Abstract:In 1980, Athreya, Pranesachar and Singhi established the chromatic polynomial of $(3 \times n)$-Latin rectangles whose entries based on a set $\{1, 2, ..., \lambda\}$ in which $\lambda \geq n$. Their proof requires Möbius inversion formula and lattice partitions. In this paper, we present a simpler proof by using the idea of mathematical induction and appropriate coloring.

Combinatorics
Subsquares in random Latin squares and rectangles

Alexander Divoux,Tom Kelly,Camille Kennedy,Jasdeep Sidhu

2023-11-09

Abstract:A $k \times n$ partial Latin rectangle is \textit{$C$-sparse} if the number of nonempty entries in each row and column is at most $C$ and each symbol is used at most $C$ times. We prove that the probability a uniformly random $k \times n$ Latin rectangle, where $k < (1/2 - \alpha)n$, contains a $\beta n$-sparse partial Latin rectangle with $\ell$ nonempty entries is $(\frac{1 \pm \varepsilon}{n})^\ell$ for sufficiently large $n$ and sufficiently small $\beta$. Using this result, we prove that a uniformly random order-$n$ Latin square asymptotically almost surely has no Latin subsquare of order greater than $c\sqrt{n\log n}$ for an absolute constant $c$.

Combinatorics
Do K33-Free Latin Squares Exist?

Aleksandr D. Krotov,Denis S. Krotov

2023-04-14

Abstract:We discuss the problem of existence of latin squares without a substructure consisting of six elements $(r_1,c_2,l_3)$, $(r_2,c_3,l_1)$, $(r_3,c_1,l_2)$, $(r_2,c_1,l_3)$, $(r_3,c_2,l_1)$, $(r_1,c_3,l_2)$. Equivalently, the corresponding latin square graph does not have an induced subgraph isomorphic to $K_{3,3}$. The exhaustive search [Brouwer, Wanless. Universally noncommutative loops. 2011] says that there are no such latin squares of order from $3$ to $11$, and there are only two $K_{3,3}$-free latin squares of order $8$, up to equivalence. We repeat the search, establishing also the number of latin $m$-by-$n$ rectangles for each $m$ and $n$ less or equal to $11$. As a switched combination of two orthogonal latin squares of order $8$, we construct a $K_{3,3}$-free (universally noncommutative) latin square of order $16$. Keywords: latin square; transversal; trade; pattern avoiding; eigenfunction; universally noncommutative loops.

Combinatorics
Latin squares with five disjoint subsquares

Tara Kemp

DOI: https://doi.org/10.1002/jcd.21960

IF: 0.773

2024-10-18

Journal of Combinatorial Designs

Abstract:Given an integer partition (h1h2...hk) of n , is it possible to find an order n latin square with k pairwise disjoint subsquares of orders h1,...,hk ? This question was posed by Fuchs and has been answered for all partitions with k≤4 . In this paper, we answer the question in the case k=5 and expand on results for special cases of this, such as when the largest part is at most three times the smallest part.

mathematics
On Rado numbers for equations with unit fractions

Collier Gaiser

2024-06-25

Abstract:Let $f_r(k)$ be the smallest positive integer $n$ such that every $r$-coloring of $\{1,2,...,n\}$ has a monochromatic solution to the nonlinear equation \[1/x_1+\cdots+1/x_k=1/y,\] where $x_1,...,x_k$ are not necessarily distinct. Brown and Rödl [Bull. Aust. Math. Soc. 43(1991): 387-392] proved that $f_2(k)=O(k^6)$. In this paper, we prove that $f_2(k)=O(k^3)$. The main ingredient in our proof is a finite set $A\subseteq\mathbb{N}$ such that every $2$-coloring of $A$ has a monochromatic solution to the linear equation $x_1+\cdots+x_k=y$ and the least common multiple of $A$ is sufficiently small. This approach can also be used to study $f_r(k)$ with $r>2$. For example, a recent result of Boza, Marín, Revuelta, and Sanz [Discrete Appl. Math. 263(2019): 59-68] implies that $f_3(k)=O(k^{43})$.

Combinatorics
On the (total) Roman domination in Latin square graphs

Chang-Xu Zhang,Fu-Tao Hu,Shu-Cheng Yang

DOI: https://doi.org/10.3934/math.2024031

2024-01-01

AIMS Mathematics

Abstract:Latin square, also known as Latin square matrix, refers to a kind of $ n\times n $ matrix, in which there are exactly $ n $ different symbols and each symbol appears exactly once in each row and column. A Latin square graph $ \Gamma(L) $ is a simple graph associated with a Latin square $ L $. This paper studied the relationships between the (total) Roman domination number and (total) domination number of Latin square graph $ \Gamma(L) $. We showed that $ \gamma_{R}(\Gamma(L)) = 2\gamma(\Gamma(L)) $ or $ \gamma_{R}(\Gamma(L)) = 2\gamma(\Gamma(L))-1 $, and $ \gamma_{tR}(\Gamma(L))\ge \frac{8\gamma_t(\Gamma(L))}{5} $ for $ n\ge 2 $. In 2021, Pahlavsay et al. proved $ \gamma(\Gamma(L))\ge \lceil \frac{n}{2}\rceil $ and $ \gamma_t(\Gamma(L))\ge \lceil \frac{4n-2}{7}\rceil $ for $ n\ge 2 $. In this paper, we showed that $ \gamma_R(\Gamma(L))\ge 2\lceil \frac{n}{2}\rceil $ (equality holds if, and only if, $ \gamma(\Gamma(L)) = \lceil \frac{n}{2}\rceil $) and $ \gamma_t(\Gamma(L)) > \frac{4n}{7} $ for $ n\ge 2 $. Since $ \gamma_R(G)\le 2\gamma(G) $ and $ \gamma_{tR}(G)\le 2\gamma_t(G) $ for any graph $ G $, our results can deduce or improve Pahlavsay et al.'s results. Moreover, we characterized these Latin squares for $ \gamma_R(\Gamma(L)) = 2\lceil \frac{n}{2}\rceil $, which is equal to $ \gamma(\Gamma(L)) = \lceil \frac{n}{2}\rceil $.

mathematics, applied
Two Formulas for the Number of Lines on Complex Projective Hypersurfaces

Javier Álvarez-Vizoso

2024-05-13

Abstract:Two formulas for the classical number $C_n$ of lines on a generic hypersurface of degree $2n-3$ in $\mathbb{CP}^n$ are obtained which differ from the formulas by Dominici, Harris, Libgober, and van der Waerden-Zagier. We review the splitting principle computation by Harris obtaining a similar general closed-form formula in terms of the Catalan numbers and elementary symmetric polynomials. This in turn yields $C_n$ as a linear difference recursion relation of unbounded order. Thus, for the sequence of certain linear combinations of $C_n$, a simple generating function is found. Then, a result from random algebraic geometry by Basu, Lerario, Lundberg, and Peterson, that expresses these classical enumerative invariants as proportional to the Bombieri norm of particular polynomial determinants, yields another combinatorial expansion in terms of certain set compositions and block labeling counting. As an example, we compute this combinatorial interpretation for the cases of 27 lines on a cubic surface and 2875 lines on a quintic threefold. As an application, we reobtain the parity and asymptotic upper bound of the sequence. In an appendix, we generalize the splitting principle calculation to obtain a formula for the number of lines on a generic complete intersection.

Combinatorics,Algebraic Geometry
On the chromatic number of Latin square graphs

Nazli Besharati,Luis Goddyn,E.S. Mahmoodian,M. Mortezaeefar

DOI: https://doi.org/10.48550/arXiv.1510.02521

2016-04-07

Abstract:The chromatic number of a Latin square is the least number of partial transversals which cover its cells. This is just the chromatic number of its associated Latin square graph. Although Latin square graphs have been widely studied as strongly regular graphs, their chromatic numbers appear to be unexplored. We determine the chromatic number of a circulant Latin square, and find bounds for some other classes of Latin squares. With a computer, we find the chromatic number for all main classes of Latin squares of order at most eight.

Combinatorics
The Number of Ribbon Tilings for Strips

Yinsong Chen,Vladislav Kargin

2023-07-03

Abstract:First, we consider order-$n$ ribbon tilings of an $M$-by-$N$ rectangle $R_{M,N}$ where $M$ and $N$ are much larger than $n$. We prove the existence of the growth rate $\gamma_n$ of the number of tilings and show that $\gamma_n \leq (n-1) \ln 2$. Then, we study a rectangle $R_{M,N}$ with fixed width $M=n$, called a strip. We derive lower and upper bounds on the growth rate $\mu_n$ for strips as $ \ln n - 1 + o(1) \leq \mu_n \leq \ln n $. Besides, we construct a recursive system which enables us to enumerate the order-$n$ ribbon tilings of a strip for all $n \leq 8$ and calculate the corresponding generating functions.

Combinatorics
An additive theorem related to Latin transversals

Zhiwei Sun

2007-01-01

Abstract:Let G be any additive abelian group with cyclic torsion subgroup, and let A, B and C be finite subsets of G with cardinality n < 0. We show that there is a numbering {a i} i=1 n of the elements of A, a numbering {b i} i=1 n of the elements of B and a numbering {c i} i=1 n of the elements of C, such that all the sums a i+b i+c i (1 ≤ i ≤ n) are distinct. Consequently, each subcube of the Latin cube formed by the Cayley addition table of ℤ/Nℤ contains a Latin transversal. This additive theorem is an essential result which can be further extended via restricted sumsets in a field. The whole paper is available from arXiv:math.CO/0610981 or the author's homepage.
On the Number of Conjugate Classes of Derangements

Wen-Wei Li,Zhong-Lin Cheng,Jia-Bao Liu

DOI: https://doi.org/10.1155/2021/6023081

2021-01-01

Journal of Mathematics

Abstract:The number of conjugate classes of derangements of order n is the same as the number h n of the restricted partitions with every portion greater than 1. It is also equal to the number of isotopy classes of 2 × n Latin rectangles. Sometimes the exact value is necessary, while sometimes we need the approximation value. In this paper, a recursion formula of h n will be obtained and also will some elementary approximation formulae with high accuracy for h n be presented. Although we may obtain the value of h n in some computer algebra system, it is still meaningful to find an efficient way to calculate the approximate value, especially in engineering, since most people are familiar with neither programming nor CAS software. This paper is mainly for the readers who need a simple and practical formula to obtain the approximate value (without writing a program) with more accuracy, such as to compute the value in a pocket science calculator without programming function. Some methods used here can also be applied to find the fitting functions for some types of data obtained in experiments.
Tiling with Cuisenaire Rods

M. Connolly

DOI: https://doi.org/10.48550/arXiv.1610.09470

2016-10-29

Abstract:In this paper a closed form expression for the number of tilings of an $n\times n$ square border with $1\times 1$ and $2\times1$ cuisenaire rods is proved using a transition matrix approach. This problem is then generalised to $m\times n$ rectangular borders. The number of distinct tilings up to rotational symmetry is considered, and closed form expressions are given, in the case of a square border and in the case of a rectangular border. Finally, the number of distinct tilings up to dihedral symmetry is considered, and a closed form expression is given in the case of a square border.

Combinatorics
Intercalates and Discrepancy in Random Latin Squares

Matthew Kwan,Benny Sudakov

DOI: https://doi.org/10.48550/arXiv.1607.04981

2017-01-17

Abstract:An intercalate in a Latin square is a $2\times2$ Latin subsquare. Let $N$ be the number of intercalates in a uniformly random $n\times n$ Latin square. We prove that asymptotically almost surely $N\ge\left(1-o\left(1\right)\right)\,n^{2}/4$, and that $\mathbb{E}N\le\left(1+o\left(1\right)\right)\,n^{2}/2$ (therefore asymptotically almost surely $N\le fn^{2}$ for any $f\to\infty$). This significantly improves the previous best lower and upper bounds. We also give an upper tail bound for the number of intercalates in two fixed rows of a random Latin square. In addition, we discuss a problem of Linial and Luria on low-discrepancy Latin squares.

Combinatorics
Enumeration of Sets of Mutually Orthogonal Latin Rectangles

Gerold Jäger,Klas Markström,Lars-Daniel Öhman,Denys Shcherbak

DOI: https://doi.org/10.37236/9049

2024-03-08

The Electronic Journal of Combinatorics

Abstract:We study sets of mutually orthogonal Latin rectangles (MOLR), and a natural variation of the concept of self-orthogonal Latin squares which is applicable on larger sets of mutually orthogonal Latin squares and MOLR, namely that each Latin rectangle in a set of MOLR is isotopic to each other rectangle in the set. We call such a set of MOLR homogeneous.In the course of doing this, we perform a complete enumeration of non-isotopic sets of $t$ mutually orthogonal $k\times n$ Latin rectangles for $k\leq n \leq 7$, for all $t < n$. Specifically, we keep track of homogeneous sets of MOLR, as well as sets of MOLR where the autotopism group acts transitively on the rectangles, and we call such sets of MOLR transitive.We build the sets of MOLR row by row, and in this process we also keep track of which of the MOLR are homogeneous and/or transitive in each step of the construction process. We use the prefix stepwise to refer to sets of MOLR with this property.Sets of MOLR are connected to other discrete objects, notably finite geometries and certain regular graphs. Here we observe that all projective planes of order at most 9 except the Hughes plane can be constructed from a stepwise transitive MOLR.

mathematics, applied
On the Number of Maximum Inner Distance Latin Squares

Omar Aceval Garcia

DOI: https://doi.org/10.48550/arXiv.2112.13912

2021-12-28

Abstract:The inner distance of a Latin square was defined by myself and six others during an REU in the Summer of 2020 at Moravian College. Since then, I have been curious about its possible connections to other combinatorial mathematics. The inner distance of a matrix is the minimum value of the distance between entries in adjacent cells, where our distance metric is distance modulo $n$. Intuitively, one expects that most Latin squares have inner distance 1, for example there probably exists a pair of adjacent cells with consecutive integers. And very few should have \textit{maximum} inner distance; the maximum inner distance was found by construction for all $n\geq 3$ to be exactly $\left \lfloor\frac{n-1}{2}\right \rfloor$. In this paper we also establish existence for all smaller inner distances. Much of our introductory work is showcased in \cite{inner distance}, with a primary focus on determining the maximum inner distance for Latin squares and Sudoku Latin squares. In this paper, we focus on enumerating maximum inner distance squares, and calculated the exact number for any $n$.

Combinatorics
A proof of Catalan's Convolution formula

Alon Regev

DOI: https://doi.org/10.48550/arXiv.1109.0571

2011-09-03

Abstract:We give a new proof of the $k$-fold convolution of the Catalan numbers. This is done by enumerating a certain class of polygonal dissections called $k$-in-$n$ dissections. Furthermore, we give a formula for the average number of cycles in a triangulation.

Combinatorics
A new approach to the results of Kövari, Sós, and Turán concerning rectangle-free subsets of the grid

Jeremy F. Alm,Jacob Manske

DOI: https://doi.org/10.48550/arXiv.1206.1107

2012-10-21

Abstract:For positive integers $m$ and $n$, define $f(m,n)$ to be the smallest integer such that any subset $A$ of the $m \times n$ integer grid with $|A| \geq f(m,n)$ contains a rectangle; that is, there are $x\in [m]$ and $y \in [n]$ and $d_{1},d_{2} \in \mathbb{Z}^{+}$ such that all four points $(x,y)$, $(x+d_{1},y)$, $(x,y+d_{2})$, and $(x+d_{1},y+d_{2})$ are contained in $A$. In \cite{kovarisosturan}, Kövari, Sós, and Turán showed that $\dlim_{k \to \infty}\dfrac{f(k,k)}{k^{3/2}} = 1$. They also showed that whenever $p$ is a prime number, $f(p^{2},p^{2}+p) = p^{2}(p+1)+1$. We recover their asymptotic result and strengthen the second, providing cleaner proofs which exploit a connection to projective planes, first noticed by Mendelsohn in \cite{mendelsohn87}. We also provide an explicit lower bound for $f(k,k)$ which holds for all $k$.

Combinatorics
Realizations with five subsquares

Tara Kemp

2024-06-03

Abstract:Given an integer partition $(h_1,h_2,\dots,h_k)$ of $n$, is it possible to find an order $n$ latin square with $k$ disjoint subsquares of orders $h_1,\dots,h_k$? This question was posed by L.Fuchs and is only partially solved. Existence has been determined in general when $k\leq 4$, and in this paper we will complete the case when $k=5$. We also prove some less general results for partitions with $k=5$.

Combinatorics

The number of Latin rectangles

Automatic Counting of Generalized Latin Rectangles and Trapezoids

A simple proof on the number of $(3 \times n)$-Latin rectangles based on a set of $λ$ elements

Subsquares in random Latin squares and rectangles

Do K33-Free Latin Squares Exist?

Latin squares with five disjoint subsquares

On Rado numbers for equations with unit fractions

On the (total) Roman domination in Latin square graphs

Two Formulas for the Number of Lines on Complex Projective Hypersurfaces

On the chromatic number of Latin square graphs

The Number of Ribbon Tilings for Strips

An additive theorem related to Latin transversals

On the Number of Conjugate Classes of Derangements

Tiling with Cuisenaire Rods

Intercalates and Discrepancy in Random Latin Squares

Enumeration of Sets of Mutually Orthogonal Latin Rectangles

On the Number of Maximum Inner Distance Latin Squares

A proof of Catalan's Convolution formula

A new approach to the results of Kövari, Sós, and Turán concerning rectangle-free subsets of the grid

Realizations with five subsquares