0/1-Polytopes related to Latin squares autotopisms
The set LS(n) of Latin squares of order n can be represented in Rn3 as a (n−1)3-dimensional 0/1-polytope. Given an autotopism Θ=(α,β,γ)∈An, 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 R((nα−lα1)⋅n2+lα1⋅nβ⋅n)−(lα1⋅lβ1⋅(n−lγ1)+lα1⋅lγ1⋅(nβ−lβ1)+lβ1⋅lγ1⋅(nα−lα1)), where nα and nβ are the number of cycles of α and β, respectively, and lδ1 is the number of fixed points of δ, for all δ∈{α,β,γ}. Moreover, we study the dimension of these two polytopes for Latin squares of order up to 9.