Related papers: Enumerating Steiner Triple Systems
We introduce a uniform method of proof for the following results. For {\em each} of the following conditions, there are $2^{\aleph_0}$ families of Steiner systems, satisfying that condition: i) Theorem~2.2.4: (extending \cite{Chicoetal})…
The Terwilliger algebras of asymmetric association schemes of rank $3$, whose nonidentity relations correspond to doubly regular tournaments, are shown to have thin irreducible modules, and to always be of dimension $4k+9$ for some positive…
We define a Mendelsohn triple system (MTS) with self-distributive quasigroup multiplication and order coprime with $3$ to be distributive, non-ramified (DNR). We classify, up to isomorphism, all DNR MTS and enumerate isomorphism classes…
For an integer $\rho$ such that $1 \leq \rho \leq v/3$, define $\beta(\rho,v)$ to be the maximum number of blocks in any partial Steiner triple system on $v$ points in which the maximum partial parallel class has size $\rho$. We obtain…
In this paper, an effort is made to classify which prime character degree graphs having eight vertices occur for some finite solvable group. To approach this, we compile known results and constructions from the literature which are used to…
The gyrogroup is the closest algebraic structure to the group ever discovered. It has a binary operation $\star$ containing an identity element such that each element has an inverse. Furthermore, for each pair $(a,b)$ of elements of this…
We construct a Ramsey class whose objects are Steiner systems. In contrast to the situation with general $r$-uniform hypergraphs, it turns out that simply putting linear orders on their sets of vertices is not enough for this purpose: one…
A closed plane meander of order n is a closed self-avoiding loop intersecting an infinite line 2n times. Meanders are considered distinct up to any smooth deformation leaving the line fixed. We have developed an improved algorithm, based on…
We study a construction, which produces surfaces $Y \subset P_3$ with cusps. For example we obtain surfaces of degree six with 18, 24 or 27 three-divisible cusps. For sextic surfaces in a particular family of up to 30 cusps the codes of…
A Steiner quadruple system (briefly $SQS(n)$) is a pair $(X,B)$ where $|X|=n$ and $B$ is a collection of 4-element blocks such that every 3-subset of $X$ is contained in exactly one member of $B$. Hanani \cite{Hanani} proved that the…
We address the problem of the number of permutations that can be sorted by two stacks in series. We do this by first counting all such permutations of length less than 20 exactly, then using a numerical technique to obtain nineteen further…
We study a sorting machine consisting of two stacks in series where the first stack has the added restriction such that entries in the stack must be in decreasing order from top to bottom. We give the basis of the class of permutations that…
In this work we study $k$-type uniform Steiner bundles, being $k$ the lowest degree of the splitting. We prove sharp upper and lower bounds for the rank in the case $k=1$ and moreover we give families of examples for every allowed possible…
We give estimates on the number of combinatorial designs, which prove (and generalise) a conjecture of Wilson from 1974 on the number of Steiner Triple Systems. This paper also serves as an expository treatment of our recently developed…
In this paper we consider $Z_3$-graded topological symmetries (TSs) in one dimensional quantum mechanics. We give a classification of one dimensional quantum systems possessing these symmetries and show that different classes correspond to…
We classify all of the groups with twelve or fewer subgroups. This paper is the proof of the entries in a submission to the Online Encyclopedia of Integer Sequences.
We describe an incremental algorithm to enumerate the isomorphism classes of double pseudoline arrangements. The correction of our algorithm is based on the connectedness under mutations of the spaces of one-extensions of double pseudoline…
We describe an algorithm to compute the stable multiplicity of a family of irreducible representations in the cohomology of ordered configuration space of the plane. Using this algorithm, we compute the stable multiplicities of all families…
In [C. Ding, An infinite family of Steiner systems $S(2,4,2^m)$ from cyclic codes, {\em J. Combin. Des.} 26 (2018), no.3, 126--144], Ding constructed a family of Steiner systems $S(2,4,2^m)$ for all $m \equiv 2 \pmod{4}$ from a family of…
Five equivalence classes had been found for systems of two second-order ordinary differential equations, transformable to linear equations (linearizable systems) by a change of variables. An "optimal (or simplest) canonical form" of linear…