cp's OEIS Frontend

A358394 Number of types of generalized symmetries in orthogonal diagonal Latin squares of order n.

%I A358394 #41 Feb 24 2025 13:35:09
%S A358394 1,0,0,10,7,0,8
%N A358394 Number of types of generalized symmetries in orthogonal diagonal Latin squares of order n.
%C A358394 An orthogonal diagonal Latin square is a square that has at least one orthogonal diagonal mate.
%C A358394 A diagonal Latin square A has a generalized symmetry (automorphism) if for all cells A[x][y] = v and A[x'][y'] = v' the relation is satisfied: x' = Px[x], y' = Py[y], v' = Pv[v], where Px, Py and Pv are some permutations that describe generalized symmetry (automorphism). In view of the possibility of an equivalent permutation of the rows and columns of the square and the corresponding transformations in permutations Px, Py and Pv, it is not the types of permutations that are important, but the structure of the multisets L(P) of cycle lengths in them (number of different multisets of order n is A000041). In view of this, codes of various generalized symmetries can be described by the types like (1,1,1) (trivial), (1,16,16) and so on (see example). Diagonal Latin squares with generalized symmetries are rare; usually they have a large number of transversals, orthogonal mates, etc.
%C A358394 a(8) >= 74, a(9) >= 41, a(10) >= 27.
%C A358394 a(n) <= A000041(n)^3. - _Eduard I. Vatutin_, Jan 01 2023
%C A358394 For all orders in which orthogonal diagonal Latin squares exist a(n) >= 1 due to the existence of the trivial generalized symmetry with code (1,1,1) and Px=Py=Pv=e. - _Eduard I. Vatutin_, Jan 22 2023
%C A358394 The set of the generalized symmetries is a subset of the generalized symmetries in parastrophic slices, so a(n) <= A358891(n). - _Eduard I. Vatutin_, Jan 24 2023
%C A358394 Orthogonal diagonal Latin squares are a subset of diagonal Latin squares, so a(n) <= A357473(n). - _Eduard I. Vatutin_, Jan 25 2023
%H A358394 Eduard I. Vatutin, <a href="https://vk.com/wall162891802_2053">About the number of types of generalized symmetries in orthogonal diagonal Latin squares of orders 1-5</a>.
%H A358394 Eduard I. Vatutin, <a href="https://vk.com/wall162891802_2058">About the number of types of generalized symmetries in orthogonal diagonal Latin squares of orders 7-9</a>.
%H A358394 Eduard I. Vatutin, <a href="https://vk.com/wall162891802_2059">About the number of types of generalized symmetries in orthogonal diagonal Latin squares of orders 10</a>.
%H A358394 Eduard I. Vatutin, Proving lists (<a href="http://evatutin.narod.ru/odls_gen_symms/n4_odls_symmetries_list.html">4</a>, <a href="http://evatutin.narod.ru/odls_gen_symms/n5_odls_symmetries_list.html">5</a>, <a href="http://evatutin.narod.ru/odls_gen_symms/n7_odls_symmetries_list.html">7</a>, <a href="http://evatutin.narod.ru/odls_gen_symms/n8_odls_symmetries_list.html">8</a>, <a href="http://evatutin.narod.ru/odls_gen_symms/n9_odls_symmetries_list.html">9</a>, <a href="http://evatutin.narod.ru/odls_gen_symms/n10_odls_symmetries_list.html">10</a>), Jul 31 2022
%H A358394 <a href="https://oeis.org/index/La#Latin">Index entries for sequences related to Latin squares and rectangles</a>.
%e A358394 For order n=5 there are 7 different multisets L(P) with codes listed below in format "code - multiset":
%e A358394   1 - {1,1,1,1,1},
%e A358394   2 - {1,1,1,2},
%e A358394   3 - {1,1,3},
%e A358394   4 - {1,2,2},
%e A358394   5 - {1,4},
%e A358394   6 - {2,3},
%e A358394   7 - {5}.
%e A358394 The diagonal Latin square
%e A358394   0 1 2 3 4
%e A358394   2 3 4 0 1
%e A358394   4 0 1 2 3
%e A358394   1 2 3 4 0
%e A358394   3 4 0 1 2
%e A358394 of order n=5 has all a(5)=7 possible different types of generalized symmetries:
%e A358394 1. Px=[0,1,2,3,4], Py=[0,1,2,3,4], Pv=[0,1,2,3,4] (trivial generalized symmetry), L(Px)={1,1,1,1,1}, L(Py)={1,1,1,1,1}, L(Pv)={1,1,1,1,1}, generalized symmetry type (1,1,1).
%e A358394 2. Px=[0,1,2,3,4], Py=[1,2,3,4,0], Pv=[1,2,3,4,0], L(Px)={1,1,1,1,1}, L(Py)={5}, L(Pv)={5}, generalized symmetry type (1,7,7).
%e A358394 3. Px=[0,4,3,2,1], Py=[0,4,3,2,1], Pv=[0,4,3,2,1], L(Px)={1,2,2}, L(Py)={1,2,2}, L(Pv)={1,2,2}, generalized symmetry type (4,4,4).
%e A358394 4. Px=[0,2,4,1,3], Py=[0,2,4,1,3], Pv=[0,2,4,1,3], L(Px)={1,4}, L(Py)={1,4}, L(Pv)={1,4}, generalized symmetry type (5,5,5).
%e A358394 5. Px=[1,2,3,4,0], Py=[0,1,2,3,4], Pv=[2,3,4,0,1], L(Px)={5}, L(Py)={1,1,1,1,1}, L(Pv)={5}, generalized symmetry type (7,1,7).
%e A358394 6. Px=[1,2,3,4,0], Py=[3,4,0,1,2], Pv=[0,1,2,3,4], L(Px)={5}, L(Py)={5}, L(Pv)={1,1,1,1,1}, generalized symmetry type (7,7,1).
%e A358394 7. Px=[1,2,3,4,0], Py=[1,2,3,4,0], Pv=[3,4,0,1,2], L(Px)={5}, L(Py)={5}, L(Pv)={5}, generalized symmetry type (7,7,7).
%Y A358394 Cf. A000041, A274171, A287649, A287650, A293777, A358515, A357473, A358891.
%K A358394 nonn,more,hard
%O A358394 1,4
%A A358394 _Eduard I. Vatutin_, Nov 20 2022