Related papers: Substructures in Latin squares

A frequency $n$-cube $F^n(4;2,2)$ is an $n$-dimensional $4$-by-...-by-$4$ array filled by $0$s and $1$s such that each line contains exactly two $1$s. We classify the frequency $4$-cubes $F^4(4;2,2)$, find a testing set of size $25$ for…

A partial Latin square of order $n$ can be represented by a $3$-dimensional chess-board of size $n\times n\times n$ with at most $n^2$ non-attacking rooks. Based on this representation, we apply a uniform method to prove the M. Hall's,…

Rudin conjectured that there are never more than c N^(1/2) squares in an arithmetic progression of length N. Motivated by this surprisingly difficult problem we formulate more than twenty conjectures in harmonic analysis, analytic number…

In this paper, we prove that the existence of a complete set of mutually unbiased bases (MUBs) in N-dimensional Hilbert space implies the existence of a complete set of mutually orthogonal Latin squares (MOLSs) of order N. In particular, we…

A Latin square of order $n$ with symbols $a_1,\ldots,a_n$ can be considered as a multiplication table for binary operation in the set $A=\{a_1,\ldots,a_n\}$. We prove that, if this operation is associative, then $A$ is a group.

We prove that with high probability $\mathbb{G}^{(3)}(n,n^{-1+o(1)})$ contains a spanning Steiner triple system for $n\equiv 1,3\pmod{6}$, establishing the exponent for the threshold probability for existence of a Steiner triple system. We…

Akbari and Alipour conjectured that any Latin array of order $n$ with at least $n^2/2$ symbols contains a transversal. We confirm this conjecture for large $n$, and moreover, we show that $n^{399/200}$ symbols suffice.

We construct the most general four-dimensional ${\cal N}=4$ supergravity coupled to an arbitrary number $n$ of vector multiplets in which the global scaling symmetry is gauged, in addition to a subgroup of $\text{SL}(2,\mathbb{R}) \times…

Rectangular designs are classified as regular, Latin regular, semiregular, Latin semiregular and singular designs. Some series of selfdual as well as alpharesolvable designs are obtained using matrix approaches which belong to the above…

We demonstrate a novel approach for the random sampling of Latin squares of order~$n$ via probabilistic divide-and-conquer. The algorithm divides the entries of the table modulo powers of $2$, and samples a corresponding binary contingency…

We introduce the \emph{Generalized Latin Square Graph} $\Gamma(S)$ of a finite semigroup $S$. Since we record global factorization multiplicities and local alternative counts, we define three counting invariants $N_S,N_R,N_C$. This gives…

In this note, we intend to produce all latin squares from one of them using suitable move which is defined by small trades and do the similar work on 4-cycle systems. These problems, reformulate as finding basis for the kernel of special…

A locally irregular graph is a graph whose adjacent vertices have distinct degrees, a regular graph is a graph where each vertex has the same degree and a locally regular graph is a graph where for every two adjacent vertices u, v, their…

A critical set in an n x n array is a set C of given entries, such that there exists a unique extension of C to an n x n Latin square and no proper subset of C has this property. The cardinality of the largest critical set in any Latin…

Let S_n denote the symmetric group on n letters. We consider the S_n-root lattice A_{n-1} = {(z1,...,zn) in Z^n | z1+...+zn = 0}, where S_n acts on Z^n by permuting the coordinates, and its tensor, symmetric, and exterior squares. For odd…

If $\Lambda \subseteq \mathbb{Z}^n$ is a sublattice of index $m$, then $\mathbb{Z}^n/\Lambda$ is a finite abelian group of order $m$ and rank at most $n$. Several authors have studied statistical properties of these groups as we range over…

We will show that there are at least 8, 10 and 9 mutually orthogonal Latin squares (MOLS) of orders $n=54$, $96$ and $108$. The cases $n=54$ and $96$ are obtained by constructing separable permutation codes consisting of $8 \times 54$ and…

A latin bitrade $(T^{\diamond}, T^{\otimes})$ is a pair of partial latin squares which defines the difference between two arbitrary latin squares $L^{\diamond} \supseteq T^{\diamond}$ and $L^{\diamond} \supseteq T^{\otimes}$ of the same…

We study conjectures relating degree conditions in $3$-partite hypergraphs to the matching number of the hypergraph, and use topological methods to prove special cases. In particular, we prove a strong version of a theorem of Drisko…

Using completions of certain universal enveloping algebras, we provide a natural setting for families of defining relations for the principal subspaces of standard modules for untwisted affine Lie algebras. We also use the theory of vertex…