Almost all Steiner triple systems are almost resolvable

Asaf Ferber,Matthew Kwan

DOI: https://doi.org/10.1017/fms.2020.29

2020-01-01

Abstract:Abstract We show that for any n divisible by 3, almost all order- n Steiner triple systems admit a decomposition of almost all their triples into disjoint perfect matchings (that is, almost all Steiner triple systems are almost resolvable ).

What problem does this paper attempt to address?

Almost all Steiner triple systems have perfect matchings

Matthew Kwan

DOI: https://doi.org/10.1112/plms.12373

2020-07-21

Proceedings of the London Mathematical Society

Abstract:We show that for any n divisible by 3, almost all order‐ n Steiner triple systems have a perfect matching (also known as a parallel class or resolution class ). In fact, we prove a general upper bound on the number of perfect matchings in a Steiner triple system and show that almost all Steiner triple systems essentially attain this maximum. We accomplish this via a general theorem comparing a uniformly random Steiner triple system to the outcome of the triangle removal process, which we hope will be useful for other problems. Our methods can also be adapted to other types of designs; for example, we sketch a proof of the theorem that almost all Latin squares have transversals.

mathematics
On the number of resolvable Steiner triple systems of small 3-rank

Minjia Shi,Li Xu,Denis S. Krotov

DOI: https://doi.org/10.1007/s10623-020-00725-y

2019-06-30

Abstract:In a recent work, Jungnickel, Magliveras, Tonchev, and Wassermann derived an overexponential lower bound on the number of nonisomorphic resolvable Steiner triple systems (STS) of order $v$, where $v=3^k$, and $3$-rank $v-k$. We develop an approach to generalize this bound and estimate the number of isomorphism classes of STS$(v)$ of rank $v-k-1$ for an arbitrary $v$ of form $3^kT$.

Combinatorics,Discrete Mathematics
Properties of Steiner triple systems of order 21

Grahame Erskine,Terry S. Griggs

2024-01-24

Abstract:Properties of the 62,336,617 Steiner triple systems of order 21 with a non-trivial automorphism group are examined. In particular, there are 28 which have no parallel class, six that are 4-chromatic, five that are 3-balanced, 20 that avoid the mitre, 21 that avoid the crown, one that avoids the hexagon and two that avoid the prism. All systems contain the grid. None have a block intersection graph that is 3-existentially closed.

Combinatorics
Enumerating Steiner Triple Systems

Daniel Heinlein,Patric R. J. Östergård

2023-06-21

Abstract:Steiner triple systems (STSs) have been classified up to order 19. Earlier estimations of the number of isomorphism classes of STSs of order 21, the smallest open case, are discouraging as for classification, so it is natural to focus on the easier problem of merely counting the isomorphism classes. Computational approaches for counting STSs are here considered and lead to an algorithm that is used to obtain the number of isomorphism classes for order 21: 14,796,207,517,873,771.

Combinatorics
A recursive construction of doubly resolvable Steiner quadruple systems

Zhaoping Meng,Qingling Gao,Zhanggui Wu

DOI: https://doi.org/10.1007/s10623-024-01356-3

IF: 1.4

2024-02-06

Designs Codes and Cryptography

Abstract:Two resolutions of the same 3-design are said to be orthogonal when each parallel class of one resolution has at most one block in common with each parallel class of the other resolution. If a Steiner quadruple system has two mutually orthogonal resolutions, the design is called doubly resolvable and denoted by DRSQS. In this paper, we define almost doubly resolvable candelabra quadruple system and then to get a recursive construction of DRSQS, i.e., for , if there is a DRSQS( n ), then there exists a DRSQS and a DRSQS .

mathematics, applied,computer science, theory & methods
Codegree conditions for (fractional) Steiner triple systems

Michael Zheng

2024-11-13

Abstract:We establish an upper bound on the minimum codegree necessary for the existence of spanning, fractional Steiner triple systems in $3$-uniform hypergraphs. This improves upon a result by Lee in 2023. In particular, together with results from Lee's paper, our results imply that if $n$ is sufficiently large and satisfies some necessary divisibility conditions, then a $3$-uniform, $n$-vertex hypergraph $H$ contains a Steiner triple system if every pair of vertices forms an edge in $H$ with at least $0.8579n$ other vertices.

Combinatorics
Steiner Triple Systems of Order 21 with Subsystems

Daniel Heinlein,Patric R. J. Östergård

DOI: https://doi.org/10.48550/arXiv.2104.06825

2022-08-24

Abstract:The smallest open case for classifying Steiner triple systems is order 21. A Steiner triple system of order 21, an STS(21), can have subsystems of orders 7 and 9, and it is known that there are 12,661,527,336 isomorphism classes of STS(21)s with sub-STS(9)s. Here, the classification of STS(21)s with subsystems is completed by settling the case of STS(21)s with sub-STS(7)s. There are 116,635,963,205,551 isomorphism classes of such systems. An estimation of the number of isomorphism classes of STS(21)s is given.

Combinatorics
The Steiner triple systems of order 21 with a transversal subdesign TD(3,6)

Yue Guan,Minjia Shi,Denis S. Krotov

DOI: https://doi.org/10.1134/S0032946020010032

2019-05-23

Abstract:We prove several structural properties of Steiner triple systems (STS) of order 3w+3 that include one or more transversal subdesigns TD(3,w). Using an exhaustive search, we find that there are 2004720 isomorphism classes of STS(21) including a subdesign TD(3,6), or, equivalently, a 6-by-6 latin square.

Combinatorics,Discrete Mathematics
The 3-way flower intersection problem for Steiner triple systems

H. Amjadi,N. Soltankhah

DOI: https://doi.org/10.48550/arXiv.1908.06679

2019-08-19

Combinatorics

Abstract:The flower at a point x in a Steiner triple system (X; B) is the set of all triples containing x. Denote by J3F(r) the set of all integers k such that there exists a collection of three STS(2r+1) mutually intersecting in the same set of k + r triples, r of them being the triples of a common flower. In this article we determine the set J3F(r) for any positive integer r = 0, 1 (mod 3) (only some cases are left undecided for r = 6, 7, 9, 24), and establish that J3F(r) = I3F(r) for r = 0, 1 (mod 3) where I3F(r) = {0, 1,..., 2r(r-1)/3-8, 2r(r-1)/3-6, 2r(r-1)/3}.
On a Conjecture of Erdős on Locally Sparse Steiner Triple Systems

Stefan Glock,Daniela Kühn,Allan Lo,Deryk Osthus

DOI: https://doi.org/10.1007/s00493-019-4084-2

2020-04-28

COMBINATORICA

Abstract:A famous theorem of Kirkman says that there exists a Steiner triple system of order n if and only if n ≡ 1,3 mod 6. In 1973, Erdős conjectured that one can find so-called 'sparse' Steiner triple systems. Roughly speaking, the aim is to have at most j−3 triples on every set of j points, which would be best possible. (Triple systems with this sparseness property are also referred to as having high girth.) We prove this conjecture asymptotically by analysing a natural generalization of the triangle removal process. Our result also solves a problem posed by Lefmann, Phelps and Rödl as well as Ellis and Linial in a strong form, and answers a question of Krivelevich, Kwan, Loh and Sudakov. Moreover, we pose a conjecture which would generalize the Erdős conjecture to Steiner systems with arbitrary parameters and provide some evidence for this.

mathematics
Duplicated Steiner triple systems with self-orthogonal near resolutions

Peter J. Dukes,Esther R. Lamken

2024-06-22

Abstract:A Steiner triple system, STS$(v)$, is a family of $3$-subsets (blocks) of a set of $v$ elements such that any two elements occur together in precisely one block. A collection of triples consisting of two copies of each block of an STS is called a duplicated Steiner triple system, DSTS. A resolvable (or near resolvable) DSTS is called self-orthogonal if every pair of distinct classes in the resolution has at most one block in common. We provide several methods to construct self-orthogonal near resolvable DSTS and settle the existence of such designs for all values of $v$ with only four possible exceptions. This addresses a recent question of Bryant, Davies and Neubecker.

Combinatorics
The Intersection Problems of Simple Three-Fold Triple Systems of Order v

李亮,沈灏

DOI: https://doi.org/10.3321/j.issn:1006-2467.2004.01.035

2004-01-01

Abstract:A triple system is called simple if it contains no repeated blocks. In this paper, the intersection problem was completely solved for simple three fold triple systems, by using embedding technigues and the difference method.
The fine intersection problem for Steiner triple systems

Yeow Meng Chee,Alan C. H. Ling,Hao Shen

DOI: https://doi.org/10.48550/arXiv.0807.2500

2008-07-16

Combinatorics

Abstract:The intersection of two Steiner triple systems (X,A) and (X,B) is the set A intersect B. The fine intersection problem for Steiner triple systems is to determine for each v, the set I(v), consisting of all possible pairs (m,n) such that there exist two Steiner triple systems of order v whose intersection has n blocks over m points. We show that for v = 1 or 3 (mod 6), |I(v)| = Omega(v^3), where previous results only imply that |I(v)| = Omega(v^2).
Special overlarge sets of Kirkman triple systems

Juanjuan Xu,Lijun Ji

DOI: https://doi.org/10.1007/s10623-024-01386-x

IF: 1.4

2024-04-06

Designs Codes and Cryptography

Abstract:A Steiner quadruple system of order with resolvable derived designs (every derived Steiner triple system of order v at a point is resolvable), abbreviated as RDSQS , has been used to construct a large set of Kirkman triple systems of order 3 v . In this paper, an RDSQS is reduced to an overlarge set of Kirkman triple systems of order v with an additional property (OLKTS ), which plays the same role in constructing an LKTS(3 v ) as an RDSQS . Some recursive constructions of OLKTS s are also established. As a result, some infinite classes of OLKTS s and LKTSs are obtained.

mathematics, applied,computer science, theory & methods
On the number of small Steiner triple systems with Veblen points

Galici Mario,Giuseppe Filippone

DOI: https://doi.org/10.1016/j.disc.2024.114294

2024-11-25

Abstract:The concept of Schreier extensions of loops was introduced in the general case in [11] and, more recently, it has been explored in the context of Steiner loops in [6]. In the latter case, it gives a powerful method for constructing Steiner triple systems containing Veblen points. Counting all Steiner triple systems of order v is an open problem for v>21. In this paper, we investigate the number of Steiner triple systems of order 19, 27 and 31 containing Veblen points and we present some examples.

Combinatorics,Group Theory
High-Girth Steiner Triple Systems

Matthew Kwan,Ashwin Sah,Mehtaab Sawhney,Michael Simkin

2024-05-06

Abstract:We prove a 1973 conjecture due to Erdős on the existence of Steiner triple systems with arbitrarily high girth.

Combinatorics
On partial parallel classes in partial Steiner triple systems

Douglas R. Stinson

DOI: https://doi.org/10.1016/j.disc.2020.112279

IF: 0.961

2021-04-01

Discrete Mathematics

Abstract:For an integer <math>ρ</math> such that <math>1≤ρ≤v∕3</math>, define <math>β(ρ,v)</math> to be the maximum number of blocks in any partial Steiner triple system on <math>v</math> points in which the maximum partial parallel class has size <math>ρ</math>. We obtain lower bounds on <math>β(ρ,v)</math> by giving explicit constructions, and upper bounds on <math>β(ρ,v)</math> result from counting arguments. We show that <math>β(ρ,v)∈Θ(v)</math> if <math>ρ</math> is a constant, and <math>β(ρ,v)∈Θ(v2)</math> if <math>ρ=v∕c</math>, where <math>c</math> is a constant. When <math>ρ</math> is a constant, our upper and lower bounds on <math>β(ρ,v)</math> differ by a constant that depends on <math>ρ</math>. Finally, we apply our results on <math>β(ρ,v)</math> to obtain infinite classes of sequenceable partial Steiner triple systems.

mathematics
Thresholds for $(n,q,2)$-Steiner Systems via Refined Absorption

Michelle Delcourt,Tom Kelly,Luke Postle

2024-02-28

Abstract:We prove that if $p \geq n^{-(q-6)/2}$, then asymptotically almost surely the binomial random $q$-uniform hypergraph $G^{(q)}(n,p)$ contains an $(n,q,2)$-Steiner system, provided $n$ satisfies the necessary divisibility conditions.

Combinatorics
Two Theorems on Large Sets of Disjoint Steiner Triple System and Kirkman Triple System

罗洪田,王宇,孙晶,赵金伟

2009-01-01

Abstract:We propose a method for generating large sets of a given Steiner triple system of order V,or of a given Kirkman triple system of order V,and obtain a sufficient condition for the existence of large sets in terms of cyclic numbers.This paper gives two theorems: Theorem1: A sufficient condition for the existence of large sets of Steiner triple systems S(V) and Kirkman triple systems K(V) is the existence of a cyclic number with totally different distances.Theorem2: There exist large sets for non-decomposable Kirkman triple systems and there exists no large set for a decomposable one.
Support Sizes of Threefold Resolvable Triple Systems

YX Chang,G Lo Faro,H Shen

DOI: https://doi.org/10.1002/jcd.10037

IF: 0.773

2003-01-01

Journal of Combinatorial Designs

Abstract:Let SSR(v, 3) denote the set of all integer b* such that there exists a RTS(v, 3) with b* distinct triples. In this paper, we determine the set SSR(v, 3) for v ≡ 3 (mod 6) and v ≥ 3 with only five undecided cases. We establish that SSR(v, 3) = P(v, 3) for v ≡ 3 (mod 6), v ≥ 21 and v ≠ 33, 39 where P(v, 3) = {mv, mv + 4, mv + 6, mv + 7, …, 3mv} and mv, = v(v − 1)/6. As a by‐product, we remove the last two undecided cases for the intersection numbers of Kirkman triple system of order 27, this improves the known result provided in [ 2 ]. © 2003 Wiley Periodicals, Inc. J Combin Designs 11: 275–289, 2003; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/jcd.10037

Almost all Steiner triple systems are almost resolvable

Almost all Steiner triple systems have perfect matchings

On the number of resolvable Steiner triple systems of small 3-rank

Properties of Steiner triple systems of order 21

Enumerating Steiner Triple Systems

A recursive construction of doubly resolvable Steiner quadruple systems

Codegree conditions for (fractional) Steiner triple systems

Steiner Triple Systems of Order 21 with Subsystems

The Steiner triple systems of order 21 with a transversal subdesign TD(3,6)

The 3-way flower intersection problem for Steiner triple systems

On a Conjecture of Erdős on Locally Sparse Steiner Triple Systems

Duplicated Steiner triple systems with self-orthogonal near resolutions

The Intersection Problems of Simple Three-Fold Triple Systems of Order v

The fine intersection problem for Steiner triple systems

Special overlarge sets of Kirkman triple systems

On the number of small Steiner triple systems with Veblen points

High-Girth Steiner Triple Systems

On partial parallel classes in partial Steiner triple systems

Thresholds for $(n,q,2)$-Steiner Systems via Refined Absorption

Two Theorems on Large Sets of Disjoint Steiner Triple System and Kirkman Triple System

Support Sizes of Threefold Resolvable Triple Systems