arXiv++ Combinatorics

Hadamard ideals were introduced in 2006 as a set of nonlinear polynomial equations whose zeros are uniquely related to Hadamard matrices with one or two circulant cores of a given order. Based on this idea, the cocyclic Hadamard test enable us to describe a polynomial ideal that characterizes the set of cocyclic Hadamard matrices over a fixed finite group $G$ of order $4t$. Nevertheless, the complexity of the computation of the reduced Gröbner basis of this ideal is $2^{O(t^2)}$, which is excessive even for very small orders. In order to improve the efficiency of this polynomial method, we take advantage of some recent results on the inner structure of a cocyclic matrix to describe an alternative polynomial ideal that also characterizes the mentioned set of cocyclic Hadamard matrices over $G$. The complexity of the computation decreases in this way to $2^{O(n)}$, where $n$ is the number of $G$-coboundaries. Particularly, we design two specific procedures for looking for $\mathbb{Z}_t \times \mathbb{Z}_2^2$-cocyclic Hadamard matrices and $D_{4t}$-cocyclic Hadamard matrices, so that larger cocyclic Hadamard matrices (up to $t \leq 31$) are explicitly obtained.

Symmetries of a partial Latin square are determined by its autotopism group. Analogously to the case of Latin squares, given an isotopism $Θ$, the cardinality of the set $\mathcal{PLS}_Θ$ of partial Latin squares which are invariant under $Θ$ only depends on the conjugacy class of the latter, or, equivalently, on its cycle structure. In the current paper, the cycle structures of the set of autotopisms of partial Latin squares are characterized and several related properties studied. It is also seen that the cycle structure of $Θ$ determines the possible sizes of the elements of $\mathcal{PLS}_Θ$ and the number of those partial Latin squares of this set with a given size. Finally, it is generalized the traditional notion of partial Latin square completable to a Latin square.

There exists a bijection between the set of Latin squares of order $n$ and the set of feasible solutions of the 3-dimensional planar assignment problem ($3PAP_n$). In this paper, we prove that, given a Latin square isotopism $Θ$, we can add some linear constraints to the $3PAP_n$ in order to obtain a 1-1 correspondence between the new set of feasible solutions and the set of Latin squares of order $n$ having $Θ$ in their autotopism group. Moreover, we use Gröbner bases in order to describe an algorithm that allows one to obtain the cardinal of both sets.

Latin squares have been historically used in order to create statistical designs in which, starting from a small number of experiments, it can be obtained a large experimental space. In this sense, the optimization of the selection of Latin squares can be decisive. A factor to take into account is the symmetry that the experimental space must verify and which is established by the autotopism group of each Latin square. Although the size of this group is known for Latin squares of order up to 10, a classification of the different symmetries has not yet been done. In this paper, given a cycle structure of a Latin square autotopism, it is studied the regularity of the incidence structure formed by the set of autotopisms having this cycle structure and the set of Latin squares remaining stable by at least one of the previous autotopisms. Moreover, it is proven that every substructure given by the isotopism class of a Latin square is a 1-$(v,k,r)$ design. Since the corresponding parameter $k$ is known for Latin squares of order up to 7, we obtain the rest of the parameters of all these substructures and, consequently, a classification of all possible symmetries is reached for these orders.

The set LS(n) of Latin squares of order $n$ can be represented in $\mathbb{R}^{n^3}$ as a $(n-1)^3$-dimensional 0/1-polytope. Given an autotopism $Θ=(α,β,γ)\in\mathfrak{A}_n$, we study in this paper the 0/1-polytope related to the subset of LS(n) having $Θ$ in their autotopism group. Specifically, we prove that this polyhedral structure is generated by a polytope in $\mathbb{R}^{((\mathbf{n}_α-\mathbf{l}_α^1)\cdot n^2 + \mathbf{l}_α^1\cdot \mathbf{n}_β\cdot n)-(\mathbf{l}_α^1\cdot \mathbf{l}_β^1\cdot (n -\mathbf{l}_γ^1) + \mathbf{l}_α^1\cdot \mathbf{l}_γ^1\cdot (\mathbf{n}_β -\mathbf{l}_β^1) + \mathbf{l}_β^1\cdot \mathbf{l}_γ^1\cdot (\mathbf{n}_α -\mathbf{l}_α^1))}$, where $\mathbf{n}_α$ and $\mathbf{n}_β$ are the number of cycles of $α$ and $β$, respectively, and $\mathbf{l}_δ^1$ is the number of fixed points of $δ$, for all $δ\in \{α,β,γ\}$. Moreover, we study the dimension of these two polytopes for Latin squares of order up to 9.

The cycle structure of a Latin square autotopism $Θ=(α,β,γ)$ is the triple $(\mathbf{l}_α,\mathbf{l}_β,\mathbf{l}_γ)$, where $\mathbf{l}_δ$ is the cycle structure of $δ$, for all $δ\in\{α,β,γ\}$. In this paper we study some properties of these cycle structures and, as a consequence, we give a classification of all autotopisms of the Latin squares of order up to 11.