A new existence proof for Steiner quadruple systems

作者：Zhang, Xiande; Ge, Gennian^*

来源：Designs, Codes and Cryptography, 2013, 69(1): 65-76.

DOI：10.1007/s10623-012-9621-6

• Candelabra systems
• H-designs
• H-frames
• Steiner quadruple systems

A Steiner quadruple system of order v is an ordered pair , where X is a set of cardinality v, and is a set of 4-subsets of X, called blocks, with the property that every 3-subset of X is contained in a unique block. Such designs exist if and only if . The first and second proofs of this result were given by Hanani in 1960 and in 1963, respectively. All the existing proofs are rather cumbersome, even though simplified proofs have been given by Lenz in 1985 and by Hartman in 1994. To study Steiner quadruple systems, Hanani introduced the concept of H-designs in 1963. The purpose of this paper is to provide an alternative existence proof for Steiner quadruple systems via H-designs of type 2 (n) . In 1990, Mills showed that for n > 3, n not equal 5, an H-design of type g (n) exists if and only if ng is even and g(n - 1)(n - 2) is divisible by 3, where the main context is the complicated existence proof for H-designs of type 2 (n) . However, Mill's proof was based on the existence result of Steiner quadruple systems. In this paper, by using the theory of candelabra systems and H-frames, we give a new existence proof for H-designs of type 2 (n) independent of the existence result of Steiner quadruple systems. As a consequence, we also provide a new existence proof for Steiner quadruple systems.

• 出版日期2013-10
• 单位浙江大学