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.     

The spectrum for large sets of pure Mendelsohn triple systems

An LPMTS(v) is a collection of v-2 disjoint pure Mendelsohn triple systems on the same set of v elements. In this paper, the concept of t-purely partitionable Mendelsohn candelabra system (or t-PPMCS in short) is introduced for constructing LPMTS(v)s. A powerful recursive construction for t-PPMCSs is also displayed by utilizing s-fan designs. Together with direct constructions, the existence of an LPMTS(v) for and v>1 is established. For odd integer v?7, a special construction from both LPMTS(v) and OLPMTS(v) to LPMTS(2v+1) is set up. Finally, the existence of an LPMTS(v) is completely determined to be the set .     

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.     

Resolvable Mendelsohn triple systems with equal sized holes

An HMTS of type {n₁, n₂, ⋖, n_h} is a directed graph which can be decomposed into 3-circuits. If the 3-circuits can be partitioned into parallel classes, then the HMTS is called an RHMTS. In this article it is shown that the RHMTSs of type m^h exist when mh &equiv 0 (mod 3) and (m, h) &ne (1, 6), with the possible exception of h = 6 and , where M₁₇ = {m|m is divisible by a prime less than 17}. The existence of Mendelsohn frames, which is closely related to RHMTS, is also considered in this article. It is proved that a Mendelsohn frame of type t^u exists if and only if u ≥ 4 and t(u - 1) ≡ 0(mod 3) with 2 possible exceptions. © 1997 John Wiley & Sons, Inc. J Combin Designs 5:329–340, 1997     

Overlarge sets of disjoint Steiner quadruple systems

In this article, we construct overlarge sets of disjoint S(3, 4, 3ⁿ − 1) and overlarge sets of disjoint S(3, 4, 3ⁿ + 1) for all n ≥ 2. Up to now, the only known infinite sequence of overlarge sets of disjoint S(3, 4, v) were the overlarge sets of disjoint S(3, 4, 2ⁿ) obtained from the oval conics of desarguesian projective planes of order 2ⁿ. © 1999 John Wiley & Sons, Inc. J Combin Design 7: 311–315, 1999     

Frame self-orthogonal Mendelsohn triple systems of type

A Mendelsohn triple system (MTS) corresponds to an idempotent semisymmetric Latin square (quasigroup) of the same order. A holey MTS is called frame self-orthogonal, briefly FSOMTS, if its associated holey semisymmetric Latin square is frame self-orthogonal. In this paper, we use FSOMTS(hⁿ) to denote an FSOMTS with n spanning holes of size h. The existence of FSOMTS(hⁿ) for h3 has been known with a few exceptions. We extend the existing results and determine the necessary and sufficient conditions for the existence of FSOMTS(hⁿ) for any h and n with some possible exceptions.     

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.     

The spectrum of resolvable holey Mendelsohn triple systems and holey Mendelsohn frames with block size three

A holey Mendelsohn triple system (HMTS) is a decomposition of a complete multipartite directed graph into directed cycles of length 3. If the directed cycles of length 3 can be partitioned into parallel classes, then the HMTS is called an RHMTS. Bennett, Wei and Zhu [J. Combin. Des., 1997] showed that an RHMTS of type $g^n$ exists when $gn\equiv 0(\mathrm{mod}3)$ and $(g,n)\ne (1,6)$ with some possible exceptions. In this paper, motivated by the application in constructing RHMTSs, we investigate the constructions of holey Mendelsohn frames. We prove that a 3-MHF of type $(n,h^t)$ exists if and only if $n\ge 3$, $t\ge 4$ and $nh(t-1)\equiv 0(\mathrm{mod}3)$, and then determine that the necessary condition for the existence of an RHMTS of type $g^n$, namely, $gn\equiv 0(\mathrm{mod}3)$ is also sufficient except for $(g,n)=(1,6)$. New recursive constructions on incomplete RHMTSs via MHFs are introduced to settle this problem completely.     

Affine Mendelsohn triple systems and the Eisenstein integers

We define a Mendelsohn triple system (MTS) of order coprime with 3, and having multiplication affine over an abelian group, to be affine, nonramified. By exhibiting a one‐to‐one correspondence between isomorphism classes of affine MTS and those of modules over the Eisenstein integers, we solve the isomorphism problem for affine, nonramified MTS and enumerate these isomorphism classes (extending the work of Donovan, Griggs, McCourt, Opr?al, and Stanovský). As a consequence, all entropic MTSs of order coprime with 3 and distributive MTS of order coprime with 3 are classified. Partial results on the isomorphism problem for affine MTS with order divisible by 3 are given, and a complete classification is conjectured. We also prove that for any affine MTS, the qualities of being nonramified, pure, and self‐orthogonal are equivalent.     

Overlarge sets and partial geometries

We extend our earlier work on overlarge sets of Fano planes, obtaining three results of particular interest. We find seven new partial geometries pg(8,7,4) and nine new strongly regular graphs, by means of switching cliques of points with spreads of lines. One of these new strongly regular graphs supports four different partial geometries. Then we give a new construction of the recently discovered eightfold cover of the complete graph K₁₆.Supported by NSERC grant OGP0008651Supported by ARC grant A49130102 and an Australian Senior Research Fellowship     

带可分解性质的幂等拟群大集

具有幂单正交侣的幂等拟群称为可分解的. 具有幂等正交侣的幂等拟群称为几乎可分解的. 若v 元集合上的所有分量互不相同的3-向量能够分拆成互不相交(幂等3-向量除外) 的v-2 个v 阶幂等拟群, 则称之为v 阶幂等拟群大集. 本文使用t-平衡设计(t=2; 3) 的方法给出了可分解幂等拟群大集、几乎可分解幂等拟群大集及可分解对称幂等拟群大集(即可分解高尔夫设计) 的构造方法, 给出了其存在性的若干结果.     

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     

Overlarge sets of resolvable idempotent quasigroups

An idempotent quasigroup $(X,°)$ of order $v$ is called resolvable (denoted by RIQ$\left(v\right)$) if the set of $v(v?1)$ non-idempotent 3-vectors $\{(a,b,a°b):a,b\in X,a\ne b\}$ can be partitioned into $v?1$ disjoint transversals. An overlarge set of idempotent quasigroups of order $v$, briefly by OLIQ$\left(v\right)$, is a collection of $v+1$ IQ$\left(v\right)$s, with all the non-idempotent 3-vectors partitioning all those on a $(v+1)$-set. An OLRIQ$\left(v\right)$ is an OLIQ$\left(v\right)$ with each member IQ$\left(v\right)$ being resolvable. In this paper, it is established that there exists an OLRIQ$\left(v\right)$ for any positive integer $v\ge 3$, except for $v=6$, and except possibly for $v\in \{10,11,14,18,19,23,26,30,51\}$. An OLIQ${}^{?}\left(v\right)$ is another type of restricted OLIQ$\left(v\right)$ in which each member IQ$\left(v\right)$ has an idempotent orthogonal mate. It is shown that an OLIQ${}^{?}\left(v\right)$ exists for any positive integer $v\ge 4$, except for $v=6$, and except possibly for $v\in \{14,15,19,23,26,27,30\}$.     

The spectrum for self-converse large set of pure Mendelsohn triple systems

An $LPMTS(v,\lambda )$ is a collection of $\frac{v-2}{\lambda }$ disjoint pure Mendelsohn triple system $PMTS(v,\lambda )s$ on the same set of v elements. An $LPMT{S}^{⁎}(v)$ is a special $LPMTS(v,1)$ which contains exactly $\frac{v-2}{2}$ converse pairs of $PMTS(v)s$. In this paper, we mainly discuss the existence of an $LPMT{S}^{⁎}(v)$ for $v\equiv 6,10\mathrm{mod 12}$ and get the following conclusions: (1) there exists an $LPMT{S}^{⁎}(v)$ if and only if $v\equiv 0,4\mathrm{mod 6},v\ge 4$ and $v\ne 6$. (2) There exists an $LPMTS(v,\lambda )$ with index $\lambda \equiv 2,4\mathrm{mod 6}$ if and only if $v\equiv 0,4\mathrm{mod 6},v\ge 2\lambda +2,v\equiv 2\mathrm{mod}\mathit{\lambda }$.     

Smallest defining sets of directed triple systems

A directed triple system of order v, , is a pair (V,B) where V is a set of v elements and B is a collection of ordered triples of distinct elements of V with the property that every ordered pair of distinct elements of V occurs in exactly one triple as a subsequence. A set of triples in a D is a defining set for D if it occurs in no other on the same set of points. A defining set for D is a smallest defining set for D if D has no defining set of smaller cardinality. In this paper we are interested in the quantity

     

Large sets of extended directed triple systems with odd orders

For three types of triples, unordered, cyclic and transitive, the corresponding extended triple, extended triple system and their large set are introduced. The spectrum of LEDTS(v) for even v has been given in our paper (Liu and Kang (2009) [9]). In this paper, we shall discuss the existence problem of LEDTS(v) for odd v and give the almost complete conclusion: there exists an LEDTS(v) for any positive integer v≠4 except possible v=95,143,167,203,215.