-
Myrvold's Results on Orthogonal Triples of $10 \times 10$ Latin Squares: A SAT Investigation
Authors:
Curtis Bright,
Amadou Keita,
Brett Stevens
Abstract:
Ever since E. T. Parker constructed an orthogonal pair of $10\times10$ Latin squares in 1959, an orthogonal triple of $10\times10$ Latin squares has been one of the most sought-after combinatorial designs. Despite extensive work, the existence of such an orthogonal triple remains an open problem, though some negative results are known. In 1999, W. Myrvold derived some highly restrictive constraint…
▽ More
Ever since E. T. Parker constructed an orthogonal pair of $10\times10$ Latin squares in 1959, an orthogonal triple of $10\times10$ Latin squares has been one of the most sought-after combinatorial designs. Despite extensive work, the existence of such an orthogonal triple remains an open problem, though some negative results are known. In 1999, W. Myrvold derived some highly restrictive constraints in the special case in which one of the Latin squares in the triple contains a $4\times4$ Latin subsquare. In particular, Myrvold showed there were twenty-eight possible cases for an orthogonal pair in such a triple, twenty of which were removed from consideration. We implement a computational approach that quickly verifies all of Myrvold's nonexistence results and in the remaining eight cases finds explicit examples of orthogonal pairs -- thus explaining for the first time why Myrvold's approach left eight cases unsolved. As a consequence, the eight remaining cases cannot be removed by a strategy of focusing on the existence of an orthogonal pair; the third square in the triple must necessarily be considered as well.
Our approach uses a Boolean satisfiability (SAT) solver to derive the nonexistence of twenty of the orthogonal pair types and find explicit examples of orthogonal pairs in the eight remaining cases. To reduce the existence problem into Boolean logic we use a duality between the concepts of transversal representation and orthogonal pair and we provide a formulation of this duality in terms of a composition operation on Latin squares. Using our SAT encoding, we find transversal representations (and equivalently orthogonal pairs) in the remaining eight cases in under a day of computing.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
The Gelfand-Tsetlin Realisation of Simple Modules and Monomial Bases
Authors:
Amadou Keita
Abstract:
The most famous simple Lie algebra is $sl_n$ (the $n \times n$ matrices with trace equals $0$). The representation theory for $sl_n$ has been one of the most important research areas for the past hundred years and within their the simple finite-dimensional modules have become very important. They are classified and Gelfand and Tsetlin actually gave an explicit construction of a basis for every sim…
▽ More
The most famous simple Lie algebra is $sl_n$ (the $n \times n$ matrices with trace equals $0$). The representation theory for $sl_n$ has been one of the most important research areas for the past hundred years and within their the simple finite-dimensional modules have become very important. They are classified and Gelfand and Tsetlin actually gave an explicit construction of a basis for every simple module. We extend it by providing theorems and proofs, and construct monomial bases of the simple module.
△ Less
Submitted 3 December, 2018;
originally announced December 2018.
-
On a Conjecture of Schmidt for the Parametric Geometry of Numbers
Authors:
Aminata Dite Tanti Keita
Abstract:
With the help of the recently introduced parametric geometry of numbers by W. M. Schmidt and L. Summerer, we prove a strong version of a conjecture of Schmidt concerning the successive minima of a lattice.
With the help of the recently introduced parametric geometry of numbers by W. M. Schmidt and L. Summerer, we prove a strong version of a conjecture of Schmidt concerning the successive minima of a lattice.
△ Less
Submitted 9 December, 2015;
originally announced December 2015.
-
Continued fractions and parametric geometry of numbers
Authors:
Aminata Dite Tanti Keita
Abstract:
Recently, W. M. Schmidt and L. Summerer developed a new theory called Parametric Geometry of Numbers which approximates the behaviour of the successive minima of a family of convex bodies in $\mathbb{R}^{n}$ related to the problem of simultaneous rational approximation to given real numbers. In the case of one number, we show that the qualitative behaviour of the minima reflects the continued frac…
▽ More
Recently, W. M. Schmidt and L. Summerer developed a new theory called Parametric Geometry of Numbers which approximates the behaviour of the successive minima of a family of convex bodies in $\mathbb{R}^{n}$ related to the problem of simultaneous rational approximation to given real numbers. In the case of one number, we show that the qualitative behaviour of the minima reflects the continued fraction expansion of the smallest distance from this number to an integer.
△ Less
Submitted 30 January, 2015;
originally announced January 2015.
