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     

Self-converse large sets of pure directed triple systems

An $LPDTS(v,\lambda )$ is a collection of $\frac{3(v?2)}{\lambda }$ pairwise disjoint $PDTS(v,\lambda )s$ on the same set of v elements. An $LPDT{S}^{?}(v)$ is a special $LPDTS(v,1)$ which contains exactly $\frac{v?2}{2}$ converse hexads of $PDTS(v)s$. In this paper, we mainly discuss the existence of an $LPDT{S}^{?}(v)$ and get the following conclusions: (1) there exists an $LPDT{S}^{?}(v)$ if and only if $v\equiv 0,4\mathrm{mod 6},v\ge 4$ except possibly $v=30$. (2) There exists an $LPDTS(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 }$ except possibly $v=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 }$.     

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 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 for large sets of pure directed triple systems

An LPDTS(ν) is a collection of 3(ν-2) disjoint pure directed triple systems on the same set ofνelements. It is showed in Tian's doctoral thesis that there exists an LPDTS(ν) forν=0,4 (mod 6),ν≥4. In this paper, we establish the existence of an LPDTS(ν) forν= 1,3 (mod 6),ν> 3. Thus the spectrum for LPDTS(ν) is completely determined to be the set {ν:ν= 0, 1 (mod 3),ν≥4}.     

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.     

Some infinite families of large sets of Kirkman triple systems

A large set of Kirkman triple systems of order v, denoted by LKTS(v), is a collection {(X, B_i) : 1 ≤ i ≤ v ? 2}, where every (X,B_i) is a KTS(v) and all B_i form a partition of all triples on X. Many researchers have studied the existence of LKTS(v) for a long time. In [13], the author introduced a concept—large set of generalized Kirkman systems (LGKS), which plays an important role in the discussion of LKTS. In this article, we give a new construction for LGKS and obtain some new results of LKTS, that is, there exists an LKTS(6u + 3) for u = qⁿ, where n ≥ 1, q ≡ 7 (mod 12) and q is a prime power. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 202–212, 2008     

Self-converse large sets of pure hybrid triple systems

Acta Mathematicae Applicatae Sinica, English Series - A hybrid triple system of order v, briefly by HTS (v), is a pair (X, B) where X is a v-set and B is a collection of cyclic and transitive...     

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.     

Indecomposable large sets of Steiner triple systems with indices 5, 6

A family ( X, B1 ), (X, B2 ), . . . , (X, Bq ) of q STS(v)s is a λ-fold large set of STS(v) and denoted by LSTS λ (v) if every 3-subset of X is contained in exactly λ STS(v)s of the collection. It is indecomposable and denoted by IDLSTS λ (v) if there does not exist an LSTS λ'(v) contained in the collection for any λ' λ. In this paper, we show that for λ = 5, 6, there is an IDLSTS λ (v) for v ≡ 1 or 3 (mod 6) with the exception IDLSTS6 (7).     

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.     

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 .     

Further results on large sets of Kirkman triple systems

An LR design is introduced by the second author in his recent paper and it plays a very important role in the construction of LKTS (a large set of disjoint Kirkman triple system). In this paper, we generalize it and introduce a new design RPICS. Some constructions for these two designs are also presented. With the relationship between them and LKTS, we obtain some new LKTSs.     

Another construction for large sets of Kirkman triple systems

A large set of Kirkman triple systems of order v, denoted by LKTS(v), is a collection , where every is a KTS(v) and all form a partition of all triples on X. In this article, we give a new construction for LKTS(6v + 3) via OLKTS(2v + 1) with a special property and obtain new results for LKTS, that is there exists an LKTS(3v) for , where p, q ≥ 0, r _i , s _j ≥ 1, q _i is a prime power and mod 12.      

A new existence proof for large sets of disjoint Steiner triple systems

A Steiner triple system of order v (briefly STS(v)) consists of a v-element set X and a collection of 3-element subsets of X, called blocks, such that every pair of distinct points in X is contained in a unique block. A large set of disjoint STS(v) (briefly LSTS(v)) is a partition of all 3-subsets (triples) of X into v-2 STS(v). In 1983–1984, Lu Jiaxi first proved that there exists an LSTS(v) for any v≡1 or with six possible exceptions and a definite exception v=7. In 1989, Teirlinck solved the existence of LSTS(v) for the remaining six orders. Since their proof is very complicated, it is much desired to find a simple proof. For this purpose, we give a new proof which is mainly based on the 3-wise balanced designs and partitionable candelabra systems.     

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

     

More large sets of resolvable MTS and DTS with even orders

In this paper, we first introduce a special structure that allows us to construct a large set of resolvable Mendelsohn triple systems of orders 2q ＋ 2, or LRMTS（2q ＋ 2）, where q = 6t ＋ 5 is a prime power. Using a computer, we find examples of such structure for t C T = {0, 1, 2, 3, 4, 6, 7, 8, 9, 14, 16, 18, 20, 22, 24}. Furthermore, by a method we introduced in [13], large set of resolvable directed triple systems with the same orders are obtained too. Finally, by the tripling construction and product construction for LRMTS and LRDTS introduced in [2, 20, 21], and by the new results for LR-design in [8], we obtain the existence for LRMTS（v）and LRDTS（v）, where v = 12（t ＋ 1） mi≥0（2.7mi＋1）mi≥0（2.13ni＋1）and t∈T,which provides more infinite family for LRMTS and LRDTS of even orders.     

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.