Partitioned difference families and harmonious linear spaces
Authors:
Marco Buratti,
Dieter Jungnickel
Abstract:
We say that a linear space is harmonious if it is resolvable and admits an automorphism group acting sharply transitively on the points and transitively on the parallel classes. Generalizing old results by the first author et al. we present some difference methods to construct harmonious linear spaces. We prove, in particular, that for any finite non-singleton subset $K$ of $\mathbb{Z}^+$ there ar…
▽ More
We say that a linear space is harmonious if it is resolvable and admits an automorphism group acting sharply transitively on the points and transitively on the parallel classes. Generalizing old results by the first author et al. we present some difference methods to construct harmonious linear spaces. We prove, in particular, that for any finite non-singleton subset $K$ of $\mathbb{Z}^+$ there are infinitely many values of $v$ for which there exists a partitioned difference family that is the base parallel class of a harmonious linear space with $v$ points whose block sizes are precisely the elements of $K$.
△ Less
Submitted 20 March, 2023;
originally announced March 2023.
Partitioned difference families: the storm has not yet passed
Authors:
Marco Buratti,
Dieter Jungnickel
Abstract:
Two years ago, we alarmed the scientific community about the large number of bad papers in the literature on {\it zero difference balanced functions}, where direct proofs of seemingly new results are presented in an unnecessarily lengthy and convoluted way. Indeed, these results had been proved long before and very easily in terms of difference families.
In spite of our report, papers of the sam…
▽ More
Two years ago, we alarmed the scientific community about the large number of bad papers in the literature on {\it zero difference balanced functions}, where direct proofs of seemingly new results are presented in an unnecessarily lengthy and convoluted way. Indeed, these results had been proved long before and very easily in terms of difference families.
In spite of our report, papers of the same kind continue to proliferate. Regrettably, a further attempt to put the topic in order seems unavoidable. While some authors now follow our recommendation of using the terminology of {\it partitioned difference families}, their methods are still the same and their results are often trivial or even wrong. In this note, we show how a very recent paper of this type can be easily dealt with.
△ Less
Submitted 28 February, 2021;
originally announced March 2021.
Counting Steiner triple systems with classical parameters and prescribed rank
Authors:
Dieter Jungnickel,
Vladimir D. Tonchev
Abstract:
By a famous result of Doyen, Hubaut and Vandensavel \cite{DHV}, the 2-rank of a Steiner triple system on $2^n-1$ points is at least $2^n -1 -n$, and equality holds only for the classical point-line design in the projective geometry $PG(n-1,2)$. It follows from results of Assmus \cite{A} that, given any integer $t$ with $1 \leq t \leq n-1$, there is a code $C_{n,t}$ containing representatives of al…
▽ More
By a famous result of Doyen, Hubaut and Vandensavel \cite{DHV}, the 2-rank of a Steiner triple system on $2^n-1$ points is at least $2^n -1 -n$, and equality holds only for the classical point-line design in the projective geometry $PG(n-1,2)$. It follows from results of Assmus \cite{A} that, given any integer $t$ with $1 \leq t \leq n-1$, there is a code $C_{n,t}$ containing representatives of all isomorphism classes of STS$(2^n-1)$ with 2-rank at most $2^n -1 -n + t$. Using a mixture of coding theoretic, geometric, design theoretic and combinatorial arguments, we prove a general formula for the number of distinct STS$(2^n-1)$ with 2-rank at most $2^n -1 -n + t$ contained in this code. This generalizes the only previously known cases, $t=1$, proved by Tonchev \cite{T01} in 2001, $t=2$, proved by V. Zinoviev and D. Zinoviev \cite{ZZ12} in 2012, and $t=3$ (V. Zinoviev and D. Zinoviev \cite{ZZ13}, \cite{ZZ13a} (2013), D. Zinoviev \cite{Z16} (2016)), while also unifying and simplifying the proofs. This enumeration result allows us to prove lower and upper bounds for the number of isomorphism classes of STS$(2^n-1)$ with 2-rank exactly (or at most) $2^n -1 -n + t$. Finally, using our recent systematic study of the ternary block codes of Steiner triple systems \cite{JT}, we obtain analogous results for the ternary case, that is, for STS$(3^n)$ with 3-rank at most (or exactly) $3^n -1 -n + t$. We note that this work provides the first two infinite families of 2-designs for which one has non-trivial lower and upper bounds for the number of non-isomorphic examples with a prescribed $p$-rank in almost the entire range of possible ranks.
△ Less
Submitted 5 August, 2018; v1 submitted 18 September, 2017;
originally announced September 2017.
