Nilpotent Steiner skeins with nilpotent derived Steiner loops

Armanious and Guelzow obtained the structure theorem of finite nilpotent Steiner skeins. Guelzow gave a construction of a Steiner skein of nilpotence class n with all its derived Steiner loops of nilpotence class 1. Armanious gave a construction for Steiner skeins of nilpotence class n with all its derived Steiner loops of nilpotence class n. In this article we survey the main results on nilpotent Steiner skeins and give a new and simple construction, in the form of polynomials, for Steiner skeins of nilpotence class n with all its derived Steiner loops of nilpotence class n. © 2000 John Wiley & Sons, Inc. J Combin Designs 8: 232–238, 2000     

Moufang loops with commuting inner mappings

We investigate the relation between the structure of a Moufang loop and its inner mapping group. Moufang loops of odd order with commuting inner mappings have nilpotency class at most 2. The 6-divisible Moufang loops with commuting inner mappings have nilpotency class at most 2. There is a Moufang loop of order 2¹⁴ with commuting inner mappings and of nilpotency class 3.     

Uniform two‐class regular partial Steiner triple systems

A 2‐class regular partial Steiner triple system is a partial Steiner triple system whose points can be partitioned into 2‐classes such that no triple is contained in either class and any two points belonging to the same class are contained in the same number of triples. It is uniform if the two classes have the same size. We provide necessary and sufficient conditions for the existence of uniform 2‐class regular partial Steiner triple systems.     

Semiautomorphic inverse property loops

We define a variety of loops called semiautomorphic, inverse property loops that generalize Moufang and Steiner loops. We first show an equivalence between a previously studied variety of loops. Next we extend several known results for Moufang and Steiner loops. That is, the commutant is a subloop and if a is in the commutant, then a² is a Moufang element, a³ is a c-element and a⁶ is in the center. Finally, we give two constructions for semiautomorphic inverse property loops based on Chein’s and de Barros and Juriaans’ doubling constructions.     

A proof of Lindner's conjecture on embeddings of partial Steiner triple systems

Lindner's conjecture that any partial Steiner triple system of order u can be embedded in a Steiner triple system of order v if and is proved. © 2008 Wiley Periodicals, Inc. J Combin Designs 17: 63–89, 2009     

A Generalization of Moufang and Steiner Loops

We study a variety of loops, RIF, which arise naturally from considering inner mapping groups, and a somewhat larger variety, ARIF. All Steiner and Moufang loops are RIF, and all flexible C-loops are ARIF. All ARIF loops are diassociative. Received June 6, 2001; accepted in final form November 14, 2002.     

On 3-Steiner simplicial orderings

Let G be a connected graph and S a nonempty set of vertices of G. A Steiner tree for S is a connected subgraph of G containing S that has a minimum number of edges. The Steiner interval for S is the collection of all vertices in G that belong to some Steiner tree for S. Let k≥2 be an integer. A set X of vertices of G is k-Steiner convex if it contains the Steiner interval of every set of k vertices in X. A vertex x∈X is an extreme vertex of X if X?{x} is also k-Steiner convex. We call such vertices k-Steiner simplicial vertices. We characterize vertices that are 3-Steiner simplicial and give characterizations of two classes of graphs, namely the class of graphs for which every ordering produced by Lexicographic Breadth First Search is a 3-Steiner simplicial ordering and the class for which every ordering of every induced subgraph produced by Maximum Cardinality Search is a 3-Steiner simplicial ordering.     

On semi-planar Steiner quasigroups

A Steiner triple system (briefly ST) is in 1-1 correspondence with a Steiner quasigroup or squag (briefly SQ) [B. Ganter, H. Werner, Co-ordinatizing Steiner systems, Ann. Discrete Math. 7 (1980) 3-24; C.C. Lindner, A. Rosa, Steiner quadruple systems: A survey, Discrete Math. 21 (1979) 147-181]. It is well known that for each n≡1 or 3 (mod 6) there is a planar squag of cardinality n [J. Doyen, Sur la structure de certains systems triples de Steiner, Math. Z. 111 (1969) 289-300]. Quackenbush expected that there should also be semi-planar squags [R.W. Quackenbush, Varieties of Steiner loops and Steiner quasigroups, Canad. J. Math. 28 (1976) 1187-1198]. A simple squag is semi-planar if every triangle either generates the whole squag or the 9-element squag. The first author has constructed a semi-planar squag of cardinality 3n for all n>3 and n≡1 or 3 (mod 6) [M.H. Armanious, Semi-planar Steiner quasigroups of cardinality 3n, Australas. J. Combin. 27 (2003) 13-27]. In fact, this construction supplies us with semi-planar squags having only nontrivial subsquags of cardinality 9. Our aim in this article is to give a recursive construction as n→3n for semi-planar squags. This construction permits us to construct semi-planar squags having nontrivial subsquags of cardinality >9. Consequently, we may say that there are semi-planar (or semi-planar ) for each positive integer m and each n≡1 or 3 (mod 6) with n>3 having only medial subsquags at most of cardinality 3^ν (sub-) for each ν∈{1,2,…,m+1}.     

On the Possible Automorphism Groups of a Steiner Quintuple System of Order 21

A Steiner system is called a Steiner quintuple systems of order v. The smallest order for which the existence, or otherwise, of a Steiner quintuple system is unknown is 21. In this article, we prove that, if an S(4, 5, 21) exists, the order of its full automorphism group is 1, 2, 3, 4, 5, 6, 7, or 10.     

On 6-sparse Steiner triple systems

We give the first known examples of 6-sparse Steiner triple systems by constructing 29 such systems in the residue class 7 modulo 12, with orders ranging from 139 to 4447. We then present a recursive construction which establishes the existence of 6-sparse systems for an infinite set of orders. Observations are also made concerning existing construction methods for perfect Steiner triple systems, and we give a further example of such a system. This has order 135,859 and is only the fourteenth known. Finally, we present a uniform Steiner triple system of order 180,907.     

There exist Steiner triple systems of order 15 that do not occur in a perfect binary one‐error‐correcting code

The codewords at distance three from a particular codeword of a perfect binary one‐error‐correcting code (of length 2^m?1) form a Steiner triple system. It is a longstanding open problem whether every Steiner triple system of order 2^m?1 occurs in a perfect code. It turns out that this is not the case; relying on a classification of the Steiner quadruple systems of order 16 it is shown that the unique anti‐Pasch Steiner triple system of order 15 provides a counterexample. © 2006 Wiley Periodicals, Inc. J Combin Designs 15: 465–468, 2007     

Semiboolean SQS-skeins

We will present a counter example to the conjecture that the class of boolean SQS-skeins is defined by the equation q(x, u, q(y, u, z)) = q(q(x, u, y), u, z ). The SQS-skeins satisfying this equation will be seen to be exactly those SQS-skeins that correspond to Steiner quadruple systems whose derived Steiner triple systems are all projective geometries.     

关于对偶Steiner多项式的根的注记

受凸体的Steiner多项式的启发,定义了星体的对偶Steiner多项式,并利用对偶Aleksandrov-Fenchel不等式讨论了对偶Steiner多项式的根.进而,得到了关于对偶Steiner多项式的根的一些不等式,这些不等式恰好是关于Steiner多项式的根的不等式的对偶形式.     

Minimum Networks for Four Points in Space

The minimum network problem (Steiner tree problem) in space is much harder than the one in the Euclidean plane. The Steiner tree problem for four points in the plane has been well studied. In contrast, very few results are known on this simple Steiner problem in 3D-space. In the first part of this paper we analyze the difficulties of the Steiner problem in space. From this analysis we introduce a new concept — Simpson intersections, and derive a system of iteration formulae for computing Simpson intersections. Using Simpson intersections the Steiner points can be determined by solving quadratic equations. As well this new computational method makes it easy to check the impossibility of computing Steiner trees on 4-point sets by radicals. At the end of the first part we consider some special cases (planar and symmetric 3D-cases) that can be solved by radicals. The Steiner ratio problem is to find the minimum ratio of the length of a Steiner minimal tree to the length of a minimal spanning tree. This ratio problem in the Euclidean plane was solved by D. Z. Du and F. K. Hwang in 1990, but the problem in 3D-space is still open. In 1995 W.D. Smith and J.M. Smith conjectured that the Steiner ratio for 4-point sets in 3D-space is achieved by regular tetrahedra. In the second part of this paper, using the variational method, we give a proof of this conjecture.     

Small Embeddings of Partial Steiner Triple Systems

It was proved in 2009 that any partial Steiner triple system of order u has an embedding of order v for each admissible . This result is best possible in the sense that, for each , there exists a partial Steiner triple system of order u that does not have an embedding of order v for any . Many partial Steiner triple systems do have embeddings of orders smaller than , but much less is known about when these embeddings exist. In this paper, we detail a method for constructing such embeddings. We use this method to show that each member of a wide class of partial Steiner triple systems has an embedding of order v for at least half (or nearly half) of the orders for which an embedding could exist. For some members of this class we are able to completely determine the set of all orders for which the member has an embedding.     

Properties of ℛ-Sausages

This paper is concerned with the Steiner ratio. A number of properties about the structure of the flat sausage and -Sausage convex polytopes yielding the best Steiner ratio in two- and three-dimensional Euclidean space, and the topology of the Steiner Minimal Tree for the corresponding vertex sets, are presented.     

Self‐embeddings of cyclic and projective Steiner quasigroups

It is shown that for every admissible order v for which a cyclic Steiner triple system exists, there exists a biembedding of a cyclic Steiner quasigroup of order v with a copy of itself. Furthermore, it is shown that for each n≥2 the projective Steiner quasigroup of order 2ⁿ?1 has a biembedding with a copy of itself. © 2010 Wiley Periodicals, Inc. J Combin Designs 19:16‐27, 2010     

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     

On better heuristics for Steiner minimum trees

Finding a shortest network interconnecting a given set of points in a metric space is called the Steiner minimum tree problem. The Steiner ratio is the largest lower bound for the ratio between lengths of a Steiner minimum tree and a minimum spanning tree for the same set of points. In this paper, we show that in a metric space, if the Steiner ratio is less than one and finding a Steiner minimum tree for a set of size bounded by a fixed number can be performed in polynomial time, then there exists a polynomialtime heuristic for the Steiner minimum tree problem with performance ratio bigger than the Steiner ratio. It follows that in the Euclidean plane, there exists a polynomial-time heuristic for Steiner minimum trees with performance ratio bigger than . This solves a long-standing open problem.Part of this work was done while this author visited the Department of Computer Science, Princeton University, supported in part by DIMACS (Center for Discrete Mathematics and Theoretical Computer Science), a National Science Foundation Science and Technology Center, under NSF grant STC88-09648, supported in part by NSF grant No. CCR-8920505, and also supported in part by the National Natural Science Foundation of China.     

Steiner Ratio for Manifolds

The Steiner ratio characterizes the greatest possible deviation of the length of a minimal spanning tree from the length of the minimal Steiner tree. In this paper, estimates of the Steiner ratio on Riemannian manifolds are obtained. As a corollary, the Steiner ratio for flat tori, flat Klein bottles, and projective plane of constant positive curvature are computed.