Frame Self-orthogonal Mendelsohn Triple Systems

A Mendelsohn triple system of order ν, MTS(ν) for short, is a pair (X, B) where X is a ν-set (of points) and B is a collection of cyclic triples on X such that every ordered pair of distinct points from X appears in exactly one cyclic triple of B. The cyclic triple (a, b, c) contains the ordered pairs (a, b), (b, c) and (c, a). An MTS(ν) corresponds to an idempotent semisymmetric Latin square (quasigroup) of order ν. An MTS(ν) is called frame self-orthogonal, FSOMTS for short, if its associated semisymmetric Latin square is frame self-orthogonal. It is known that an FSOMTS(1 ⁿ ) exists for all n≡1 (mod 3) except n=10 and for all n≥15, n≡0 (mod 3) with possible exception that n=18. In this paper, it is shown that (i) an FSOMTS(2 ⁿ ) exists if and only if n≡0,1 (mod 3) and n>5 with possible exceptions n∈{9, 27, 33, 39}; (ii) an FSOMTS(3 ⁿ ) exists if and only if n≥4, with possible exceptions that n∈{6, 14, 18, 19}. *Research supported by NSFC 10371002 *Partially supported by National Science Foundation under Grant CCR-0098093     

The existence of 2-balanced Mendelsohn triple systems

A Mendelsohn triple system MTS$(v,b)$ is a collection of $b$ cyclic triples (blocks) on a set of $v$ points. It is $j$-balanced for $j=1,2,3$ when any two points, ordered pairs, or cyclic triples (resp.) are contained in the same or almost the same number of blocks (difference at most one). A $(2,3)$-balanced Mendelsohn triple system is an MTS$(v,b)$ that is both 2-balanced and 3-balanced. Employing large sets of Mendelsohn triple systems and partitionable Mendelsohn candelabra systems, we completely determine the spectrum for which a 2-balanced Mendelsohn triple system exists. Meanwhile, we determine the existence spectrum for a $(2,3)$-balanced Mendelsohn triple system.     

Self-converse large sets of pure Mendelsohn triple systems

A Mendelsohn triple system of order v （MTS（v）） is a pair （X,B） where X is a v-set and 5g is a collection of cyclic triples on X such that every ordered pair of X belongs to exactly one triple of B. An MTS（v） （X,B） is called pure and denoted by PMTS（v） if （x, y, z） ∈ B implies （z, y, x） ∈B. A large set of MTS（v）s （LMTS（v）） is a collection of v - 2 pairwise disjoint MTS（v）s on a v-set. A self-converse large set of PMTS（v）s, denoted by LPMTS＊ （v）, is an LMTS（v） containing [ v-2/2] converse pairs of PMTS（v）s. In this paper, some results about the existence and non-existence for LPMTS＊ （v） are obtained.     

Further results on large set of disjoint pure Mendelsohn triple systems

In this article, we study a large set of disjoint pure Mendelsohn triple systems “with holes” (briefly LPHMTS), which is a generalization of large set of disjoint pure Mendelsohn triple systems (briefly LPMTS), and give some recursive constructions on LPHMTS. Using these constructions, we show that there exists LPMTS(2ⁿ + 2) for any n ≠ 2. © 2000 John Wiley & Sons, Inc. J Combin Designs 8: 274–290, 2000     

A graph-theoretic proof of the non-existence of self-orthogonal Latin squares of order 6

The non-existence of a pair of mutually orthogonal Latin squares of order six is a well-known result in the theory of combinatorial designs. It was conjectured by Euler in 1782 and was first proved by Tarry in 1900 by means of an exhaustive enumeration of equivalence classes of Latin squares of order six. Various further proofs have since been given, but these proofs generally require extensive prior subject knowledge in order to follow them, or are ‘blind’ proofs in the sense that most of the work is done by computer or by exhaustive enumeration. In this paper we present a graph-theoretic proof of a somewhat weaker result, namely the non-existence of self-orthogonal Latin squares of order six, by introducing the concept of a self-orthogonal Latin square graph. The advantage of this proof is that it is easily verifiable and accessible to discrete mathematicians not intimately familiar with the theory of combinatorial designs. The proof also does not require any significant prior knowledge of graph theory.     

Extended directed triple systems

Let {n;b₂,b₁} denote the class of extended directed triple systems of the order n in which the number of blocks of the form [a,b,a] is b₂ and the number of blocks of the form [b,a,a] or [a,a,b] is b₁. In this paper, we have shown that the necessary and sufficient condition for the existence of the class {n;b₂,b₁} is b₁≠1, 0?b₂+b₁?n and

(1)

for ;

(2)

for .

     

Transitive resolvable idempotent quasigroups and large sets of resolvable Mendelsohn triple systems

We first define a transitive resolvable idempotent quasigroup (TRIQ), and show that a TRIQ of order v exists if and only if 3∣v and . Then we use TRIQ to present a tripling construction for large sets of resolvable Mendelsohn triple systems s, which improves an earlier version of tripling construction by Kang. As an application we obtain an for any integer n≥1, which provides an infinite family of even orders.     

The spectrum for quasigroups with cyclic automorphisms and additional symmetries

We determine necessary and sufficient conditions for the existence of a quasigroup of order n having an automorphism consisting of a single cycle of length m and n−m fixed points, and having any combination of the additional properties of being idempotent, unipotent, commutative, semi-symmetric or totally symmetric. Quasigroups with such additional properties and symmetries are equivalent to various classes of triple systems.     

Existence of frame SOLS of type ab

An SOLS (self-orthogonal latin square) of order v with n_i missing sub-SOLS (holes) of order h_i (1ik), which are disjoint and spanning (i.e. ∑_i=1^k n_ih_i=v), is called a frame SOLS and denoted by FSOLS(h₁^n₁h₂^n₂ h_k^n_k). It has been proved that for b2 and n odd, an FSOLS(aⁿb¹) exists if and only if n4 and n1+2b/a. In this paper, we show the existence of FSOLS(aⁿb¹) for n even and FSOLS(aⁿ1¹) for n odd.     

Completing partial commutative quasigroups constructed from partial Steiner triple systems is NP-complete

Deciding whether an arbitrary partial commutative quasigroup can be completed is known to be NP-complete. Here, we prove that it remains NP-complete even if the partial quasigroup is constructed, in the standard way, from a partial Steiner triple system. This answers a question raised by Rosa in [A. Rosa, On a class of completable partial edge-colourings, Discrete Appl. Math. 35 (1992) 293-299]. To obtain this result, we prove necessary and sufficient conditions for the existence of a partial Steiner triple system of odd order having a leave L such that E(L)=E(G) where G is any given graph.     

The parity of the number of quasigroups

Let I(n) be the number of isomorphism classes of quasigroups of order n. Despite prior enumerations showing that I(n) is odd for 1≤n≤11, we find that I(12) is even. We also give a method for finding the parity of I(n), which we use to show that I(n) is odd for n∈{13,14,15,16,17,19,21}.     

Algebraic properties of quantum quasigroups

Quantum quasigroups provide a self-dual framework for the unification of quasigroups and Hopf algebras. This paper furthers the transfer program, investigating extensions to quantum quasigroups of various algebraic features of quasigroups and Hopf algebras. Part of the difficulty of the transfer program is the fact that there is no standard model-theoretic procedure for accommodating the coalgebraic aspects of quantum quasigroups. The linear quantum quasigroups, which live in categories of modules under the direct sum, are a notable exception. They form one of the central themes of the paper.From the theory of Hopf algebras, we transfer the study of grouplike and setlike elements, which form separate concepts in quantum quasigroups. From quasigroups, we transfer the study of conjugate quasigroups, which reflect the triality symmetry of the language of quasigroups. In particular, we construct conjugates of cocommutative Hopf algebras. Semisymmetry, Mendelsohn, and distributivity properties are formulated for quantum quasigroups. We classify distributive linear quantum quasigroups that furnish solutions to the quantum Yang-Baxter equation. The transfer of semisymmetry is designed to prepare for a quantization of web geometry.     

Existence of self-conjugate self-orthogonal diagonal latin squares

In this article we give some new constructions of self-conjugate self-orthogonal diagonal Latin squares (SCSODLS). As an application of such constructions, we give a conclusive result regarding the existence of SCSODLS and show that there exists an SCSODLS of order n if and only if n ≡ 0, 1 (mod 4), except for n = 5. This result completely disproves a conjecture of Danhof, Phillips, and Wallis about SCSODLS in Danhof, Philips, and Wallis, JCMCC, 8 (1990), 3–8. © 1998 John Wiley & Sons, Inc. J Combin Designs 6:51–62, 1998     

CONSTRUCTING SELF-CONJUGATE SELF-ORTHOGONAL DIAGONAL LATIN SQUARES

1.IntroductionALatinsquareofordernisannxnarraysuchthateveryrowandeverycolumnisapermutationofann-setN.AtransversalinaLatinsquareisasetofpositions,oneperrowandonepercolumn,amongwhichthesymbolsoccurpreciselyonceeach.AdiagonalLatinsquareisaLatinsquarewhosemaindiagonalandbackdiagonalarebothtransversals.TwoLatinsquaresofordernareorthogonalifeachsymbolinthefirstsquaremeetseachsymbolinthesecondsquareexactlyoncewhentheyaresuperposed.ALatinsquareisself-orthogonalifitisorthogonaltoitstranspose.Inanea…     

Some new perfect Steiner triple systems

In a Steiner triple system STS(v) = (V, B), for each pair {a, b} ⊂ V, the cycle graph G_a,b can be defined as follows. The vertices of G_a,b are V \ {a, b, c} where {a, b, c} ∈ B. {x, y} is an edge if either {a, x, y} or {b, x, y} ∈ B. The Steiner triple system is said to be perfect if the cycle graph of every pair is a single (v − 3)-cycle. Perfect STS(v) are known only for v = 7, 9, 25, and 33. We construct perfect STS (v) for v = 79, 139, 367, 811, 1531, 25771, 50923, 61339, and 69991. © 1999 John Wiley & Sons, Inc. J Combin Designs 7: 327–330, 1999     

Dialgebras and related triple systems

We consider some algebraical systems that lead to various nearly associative triple systems. We deal with a class of algebras which contains Leibniz-Poisson algebras, dialgebras, conformal algebras, and some triple systems. We describe all homogeneous structures of ternary Leibniz algebras on a dialgebra. For this purpose, in particular, we use the Leibniz-Poisson structure on a dialgebra. We then find a corollary describing the structure of a Lie triple system on an arbitrary dialgebra, a conformal associative algebra and a classical associative triple system. We also describe all homogeneous structures of an (ε, δ)-Freudenthal-Kantor triple system on a dialgebra.     

Purely tetrahedral quadruple systems

An oriented tetrahedron is a set of four vertices and four cyclic triples with the property that any ordered pair of vertices is contained in exactly one of the cyclic triples. A tetrahedral quadruple system of order n (briefly TQS(n)) is a pair (X,B), where X is an nelement set and B is a set of oriented tetrahedra such that every cyclic triple on X is contained in a unique member of B. A TQS(n) (X,B) is pure if there do not exist two oriented tetrahedra with the same vertex set. In this paper, we show that there is a pure TQS(n) if and only if n = 2,4 (mod 6), n > 4, or n = 1,5 (mod 12). One corollary is that there is a simple two-fold quadruple system of order n if and only if n = 2,4 (mod 6) and n > 4, or n = 1,5 (mod 12). Another corollary is that there is an overlarge set of pure Mendelsohn triple systems of order n for n=1,3 (mod 6), n > 3, or n =0,4 (mod 12).