Indecomposable \(S_ 6(2,3,v)'s\) (Q805619): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Balanced incomplete block designs and related designs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3809810 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5522938 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Indecomposable triple systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3043160 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Simple neighbourhoods in triple systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3745846 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Graph factorization, general triple systems, and cyclic triple systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On making two Steiner triple systems disjoint / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3789576 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3901528 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3820607 / rank | |||
Normal rank |
Latest revision as of 17:34, 21 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Indecomposable \(S_ 6(2,3,v)'s\) |
scientific article |
Statements
Indecomposable \(S_ 6(2,3,v)'s\) (English)
0 references
1991
0 references
Let \(S_{\lambda}(2,3,v)\) denote the design (V,B), where V is a v-set and B is a collection of 3-subsets of V, called blocks or triples, such that each 2-subset of V is contained in exactly \(\lambda\) blocks. For \(\lambda =1\) we have a Steiner triple system (STS). It is well-known that an \(S_ 1(2,3,v)\) exists if and only if \(v=1\) or 3(mod 6), and an \(S_ 6(2,3,v)\) exists for all \(v\geq 3\). An \(S_{\lambda}(2,3,v)\) is said to be simple if it has no repeated blocks. A maximum packing of triples of order v, MPT(v), is a pair (X,C), where X is a v-set and C is a collection of 3-subsets of X such that (i) each 2- subset of X is contained in at most one triple, (ii) no triples can be adjoined to C without violating (i), and (iii) if D is any collection of 3-subsets satisfying (i) and (ii), then \(| C| \geq | D|.\) An \(S_{\lambda}(2,3,v(V,B)\) is said to be decomposable if it can be written as the union of two smaller designs \(S_{\lambda_ 1}(2,3,v)(V,B_ 1)\) and \(S_{\lambda_ 2}(2,3,v)(V,B_ 2)\), with \(B=B_ 1\cup B_ 2\) and \(1\leq \lambda_ 1\), \(\lambda_ 2<\lambda\). Otherwise it is said to be indecomposable. An \(S_{\lambda}(2,3,v)\) is MPT-free if its set of triples contains no MPT(v). The existence of indecomposable \(S_{\lambda}(2,3,v)'s\) has been shown by E. S. Kramer for \(\lambda =2,3\), and by C. J. Colbourn and A. Rosa for \(\lambda =4\). Beyond this, little is known. Indecomposable triple systems with repeated blocks exist for all \(\lambda\) odd, as a consequence of the characterization of neighbourhood graphs by C. J. Colbourn. In this paper the existence of an indecomposable \(S_ 6(2,3,v)\) is proved for all \(v\geq 8\). These designs have no repeated blocks for all \(v\geq 17\) and \(v=8,14\). In Section 4 they have examined the problem, presented by C. J. Colbourn et al., of the existence of MPT-free \(S_ 6(2,3,v)'s\). The existence of MPT-free \(S_ 6(2,3,v)\) for all \(v\geq 9\) and \(v=7\), has been proved. These designs have no repeated blocks for all \(v\geq 23\) and \(v=17,19,21\).
0 references
Steiner triple system
0 references
maximum packing of triples
0 references
decomposable
0 references