Doyen–Wilson theorem for perfect hexagon triple systems

The graph consisting of the three 3-cycles (or triples) (a,b,c), (c,d,e), and (e,f,a), where a,b,c,d,e and f are distinct is called a hexagon triple. The 3-cycle (a,c,e) is called an inside 3-cycle; and the 3-cycles (a,b,c), (c,d,e), and (e,f,a) are called outside 3-cycles. A hexagon triple system of order v is a pair (X,C), where C is a collection of edge disjoint hexagon triples which partitions the edge set of 3K_v. Note that the outside 3-cycles form a 3-fold triple system. If the hexagon triple system has the additional property that the collection of inside 3-cycles (a,c,e) is a Steiner triple system it is said to be perfect. In 2004, Küçükçifçi and Lindner had shown that there is a perfect hexagon triple system of order v if and only if and v≥7. In this paper, we investigate the existence of a perfect hexagon triple system with a given subsystem. We show that there exists a perfect hexagon triple system of order v with a perfect sub-hexagon triple system of order u if and only if v≥2u+1, and u≥7, which is a perfect hexagon triple system analogue of the Doyen–Wilson theorem.     

The intersection numbers of nearly Kirkman triple systems

In this paper,we investigate the intersection numbers of nearly Kirkman triple systems.J_N [v] is the set of all integers k such that there is a pair of NKTS(v)s with a common uncovered collection of 2-subset intersecting in k triples.It has been established that J_N[v]={0,1,...,v(v-2)/6-6,v(v-2)/6-4,v(v-2)/6} for any integers v ≡ 0(mod 6) and v≥66.For v≤60,there are 8 cases left undecided.     

Quasi‐embeddings of Steiner triple systems,or Steiner triple systems of different orders with maximum intersection

In this paper, we present a conjecture that is a common generalization of the Doyen–Wilson Theorem and Lindner and Rosa's intersection theorem for Steiner triple systems. Given u, v ≡ 1,3 (mod 6), u < v < 2u + 1, we ask for the minimum r such that there exists a Steiner triple system such that some partial system can be completed to an STS , where |?| = r. In other words, in order to “quasi‐embed” an STS(u) into an STS(v), we must remove r blocks from the small system, and this r is the least such with this property. One can also view the quantity (u(u ? 1)/6) ? r as the maximum intersection of an STS(u) and an STS(v) with u < v. We conjecture that the necessary minimum r = (v ? u) (2u + 1 ? v)/6 can be achieved, except when u = 6t + 1 and v = 6t + 3, in which case it is r = 3t for t ≠ 2, or r = 7 when t = 2. Using small examples and recursion, we solve the cases v ? u = 2 and 4, asymptotically solve the cases v ? u = 6, 8, and 10, and further show for given v ? u > 2 that an asymptotic solution exists if solutions exist for a run of consecutive values of u (whose required length is no more than v ? u). Some results are obtained for v close to 2u + 1 as well. The cases where ≈ 3u/2 seem to be the hardest. © 2004 Wiley Periodicals, Inc.     

Embedding Steiner triple systems in hexagon triple systems

A hexagon triple is the graph consisting of the three triangles (triples) {a,b,c},{c,d,e}, and {e,f,a}, where a,b,c,d,e, and f are distinct. The triple {a,c,e} is called an inside triple. A hexagon triple system of order n is a pair (X,H) where H is a collection of edge disjoint hexagon triples which partitions the edge set of K_n with vertex set X. The inside triples form a partial Steiner triple system. We show that any Steiner triple system of order n can be embedded in the inside triples of a hexagon triple system of order approximately 3n.     

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     

The spectrum for overlarge sets of hybrid triple systems

A hybrid triple system of order v and index λ,denoted by HTS(v,λ),is a pair(X,B) where X is a v-set and B is a collection of cyclic triples and transitive triples on X,such that every ordered pair of X belongs to λ triples of B. An overlarge set of disjoint HTS(v,λ),denoted by OLHTS(v,λ),is a collection {(Y {y},Ai)}i,such that Y is a(v+1)-set,each(Y {y},Ai) is an HTS(v,λ) and all Ais form a partition of all cyclic triples and transitive triples on Y.In this paper,we shall discuss the existence problem of OLHTS(v,λ) and give the following conclusion: there exists an OLHTS(v,λ) if and only if λ=1,2,4,v ≡ 0,1(mod 3) and v≥4.     

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.     

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}.     

Steiner triple systems with two disjoint subsystems

It is shown that there exists a triangle decomposition of the graph obtained from the complete graph of order v by removing the edges of two vertex disjoint complete subgraphs of orders u and w if and only if u,w, and v are odd, (mod 3), and . Such decompositions are equivalent to group divisible designs with block size 3, one group of size u, one group of size w, and v – u – w groups of size 1. This result settles the existence problem for Steiner triple systems having two disjoint specified subsystems, thereby generalizing the well‐known theorem of Doyen and Wilson on the existence of Steiner triple systems with a single specified subsystem. © 2005 Wiley Periodicals, Inc. J Combin Designs     

Sequencing partial Steiner triple systems

A partial Steiner triple system of order $n$ is sequenceable if there is a sequence of length $n$ of its distinct points such that no proper segment of the sequence is a union of point‐disjoint blocks. We prove that if a partial Steiner triple system has at most three point‐disjoint blocks, then it is sequenceable.     

Embedding 5-cycle systems into pentagon triple systems

We show that the spectrum for pentagon triple systems is the set of all n≡1,15,21 or . We then construct a 5-cycle system of order 10n+1 which can be embedded in a pentagon triple system of order 30n+1 and also construct a 5-cycle system of order 10n+5 which can be embedded in a pentagon triple system of order 30n+15, with the possible exception of embedding a 5-cycle system of order 21 in a pentagon triple system of order 61.     

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 .

     

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.