0/1-Polytopes related to Latin squares autotopisms
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.