Direct constructions of some group divisible designs with block size $4$ and up to $50$ points

R. Julian. R. Abel,Thomas Britz,Yudhistira A. Bunjamin,Diana Combe

2024-01-22

Abstract:In this note, we give direct constructions of some group divisible designs (GDDs) with block size $4$ that have up to $50$ points.

Combinatorics

What problem does this paper attempt to address?

Group divisible designs with block size 4 and group sizes 4 and 7

R. Julian R. Abel,Thomas Britz,Yudhistira A. Bunjamin,Diana Combe

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

IF: 0.773

2024-03-30

Journal of Combinatorial Designs

Abstract:In this paper, we consider the existence of group divisible designs (GDDs) with block size 4 and group sizes 4 and 7 . We show that there exists a 4 ‐GDD of type 4 t 7 s for all but a finite specified set of feasible values for (t , s ) .

mathematics
Block-transitive 2-designs with a chain of imprimitive point-partitions

Carmen Amarra,Alice Devillers,Cheryl E. Praeger

DOI: https://doi.org/10.1016/j.jcta.2024.105866

IF: 1.263

2024-02-03

Journal of Combinatorial Theory Series A

Abstract:More than 30 years ago, Delandtsheer and Doyen showed that the automorphism group of a block-transitive 2-design, with blocks of size k , could leave invariant a nontrivial point-partition, but only if the number of points was bounded in terms of k . Since then examples have been found where there are two nontrivial point partitions, either forming a chain of partitions, or forming a grid structure on the point set. We show, by construction of infinite families of designs, that there is no limit on the length of a chain of invariant point partitions for a block-transitive 2-design. We introduce the notion of an 'array' of a set of points which describes how the set interacts with parts of the various partitions, and we obtain necessary and sufficient conditions in terms of the 'array' of a point set, relative to a partition chain, for it to be a block of such a design.

mathematics
Existence of resolvable group divisible designs with block size four I

Hao Shen,Jiaying Shen

DOI: https://doi.org/10.1016/S0012-365X(01)00299-0

IF: 0.961

2002-01-01

Discrete Mathematics

Abstract:It is proved in this paper that for m≢0,2,6,10(mod12) there exists a resolvable group divisible design of order v, block size 4 and group size m if and only v≡0(mod4), v≡0(modm), v−m≡0(mod3), except when (m,v)=(3,12) and except possibly when (3,264),(3,372),(8,80),(8,104), (9,396) (40,400) or (40,520).
A finiteness theorem of block-transitive point-imprimitive 3-designs

Yunfei Zhu,Haiyan Guan

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

IF: 0.961

2023-12-03

Discrete Mathematics

Abstract:In 2003, Tuan showed a finiteness theorem for block-transitive point-imprimitive 3- (k(k−1)2+1,k,λ) designs. As a generalization of this result, we consider the block-transitive point-imprimitive 3- (v,k,λ) designs with v . Let D=(P,B) be a 3- (v,k,λ) design admitting G as a block-transitive point-imprimitive automorphism group, and G preserve a partition C of the points into d imprimitivity classes of size c , here v=wk(k−1)s+1 , s,w are two positive integers with gcd(s,w)=1 and 2w . We prove that, for a given positive integer s , there are only finitely many numbers v such that there exist nontrivial block-transitive point-imprimitive 3- (v,k,λ) designs with c,d≥3 . Moreover, we obtain the classification for this type of designs when s≤10 .

mathematics
Non-abelian skew Hadamard difference sets fixed by a prescribed automorphism

Tao Feng

DOI: https://doi.org/10.1016/j.jcta.2009.11.004

2011-01-01

Abstract:Let p be a prime larger than 3 and congruent to 3 modulo 4, and let G be the non-abelian group of order p^3 and exponent p. We study the structure of a putative difference set with parameters (p^3,p^3-12,p^3-34) in G which is fixed by a certain element of order p in Aut(G). We then give a construction of skew Hadamard difference set in the group G for each prime p3 that is congruent to 3 modulo 4. This is the first infinite family of non-abelian skew Hadamard difference sets. Finally, we show that the symmetric designs derived from these new difference sets are not isomorphic to the Paley designs.
A construction for regular-graph designs

Anthony Forbes,Carrie Rutherford

2024-09-16

Abstract:A regular-graph design is a block design for which a pair $\{a,b\}$ of distinct points occurs in $\lambda+1$ or $\lambda$ blocks depending on whether $\{a,b\}$ is or is not an edge of a given $\delta$-regular graph. Our paper describes a specific construction for regular-graph designs with $\lambda = 1$ and block size $\delta + 1$. We show that for $\delta \in \{2,3\}$, certain necessary conditions for the existence of such a design with $n$ points are sufficient, with two exceptions in each case and two possible exceptions when $\delta = 3$. We also construct designs of orders 105 and 117 for connected 4-regular graphs.

Combinatorics
Block-Transitive 3-Designs with Block Size At Most 6

Xiaoqin Zhan,Xuan Pang,Yajie Wang

DOI: https://doi.org/10.1007/s00373-022-02544-5

2022-08-18

Graphs and Combinatorics

Abstract:In this paper we consider block-transitive automorphism groups of a 3-design with small block size. Let G be a block-transitive automorphism group of a nontrivial 3- design with . Then one of the following occurs:

mathematics
Higher-dimensional grid-imprimitive block-transitive designs

Seyed Hassan Alavi,Carmen Amarra,Ashraf Daneshkhah,Alice Devillers,Cheryl E. Praeger

2024-04-17

Abstract:It was shown in 1989 by Delandtsheer and Doyen that, for a $2$-design with $v$ points and block size $k$, a block-transitive group of automorphisms can be point-imprimitive (that is, leave invariant a nontrivial partition of the point set) only if $v$ is small enough relative to $k$. Recently, exploiting a construction of block-transitive point-imprimitive $2$-designs given by Cameron and the last author, four of the authors studied $2$-designs admitting a block-transitive group that preserves a two-dimensional grid structure on the point set. Here we consider the case where there a block-transitive group preserves a multidimensional grid structure on points. We provide necessary and sufficient conditions for such $2$-designs to exist in terms of the parameters of the grid, and certain `array parameters' which describe a subset of points (which will be a block of the design). Using this criterion, we construct explicit examples of $2$-designs for grids of dimensions three and four, and pose several open questions.

Combinatorics
Embeddings of Resolvable Group Divisible Designs with Block Size 3

Jun Shen,Hao Shen

DOI: https://doi.org/10.1007/s10623-006-9010-0

IF: 1.4

2006-01-01

Designs Codes and Cryptography

Abstract:It is proved in this paper that an RGD(3, g;v) can be embedded in an RGD(3, g;u) if and only if$u-g\equiv v-g\equiv 0 (mod 2)$,$u\equiv v\equiv 0 (mod 3)$,$u\equiv v\equiv 0 (mod g)$, v ≥ 3g, u ≥ 3v, and (g,v) ≠ (2,6),(2,12),(6,18).
Implications of Line-Transitivity for Designs

Cheryl E. Praeger

DOI: https://doi.org/10.1007/978-1-4613-0283-4_18

2001-01-01

Abstract:For a t-design D(t≥2) transitivity of a group G of automorphisms on the blocks (or lines) of D implies transitivity on points. Delandtsheer and Doyen proved in 1989 that if in addition the group G leaves invariant a non-trivial partition of the v points, that is, G is point-imprimitive, then v is bounded above by ((2k) - 1)2, where k is the block size. Such designs may be 2-designs, or 3-designs, and we discuss a recent proof by Mann and Tuan of a conjecture of Cameron and the author that for a block-transitive, point-imprimitive 3-design, the number v of points is bounded above by (2k) + 1. The subclass of line-transitive pointimprimitive 2-designs that are linear spaces have also received much attention: apart from finite projective planes, there are exactly 469 known examples and they all have one of two sets of parameters: (v, k) = (91,6) or (729, 8). Efforts to obtain restrictions on the parameters and the structure of the group G may lead to new constructions of line-transitive, point-imprimitive linear spaces.
Solvable Block Transitive Automorphism Groups of 2 (v, 5, 1) Designs

WW Tong,HL Li

DOI: https://doi.org/10.1016/s0012-365x(02)00763-x

IF: 0.961

2003-01-01

Discrete Mathematics

Abstract:Let G be a solvable block transitive automorphism group of a 2-(v, 5, 1) design and suppose that G is not flag transitive. We will prove that (1) if G is point imprimitive, then v = 21, and G ≤ Z 21 : Z 6 ; (2) if G is point primitive, then G ≤ AΓL (1,v) and v = p a , where p is a prime number with p ≡ 21 (mod 40), and a an odd integer.
On point and block primitive designs invariant under permutation groups

Amin Saeidi

2024-09-15

Abstract:In this paper, we present a method for constructing point primitive block transitive $t$-designs invariant under finite groups. Furthermore, we demonstrate that every point and block primitive $G$-invariant design can be generated using this method. Additionally, we establish the theoretical possibility of identifying all block transitive $G$-invariant designs. However, in practice, the feasibility of enumerating all designs for larger groups may be limited by the computational complexity involved.

Combinatorics
Simple 3-designs with block size d + 1 from PSL(2, 2 2) where d{pipe}(2 n - 1) *

Weixia Li,Hao Shen

2011-01-01

Abstract:Let G be the projective special linear group PSL(2,2 n), let X be the projective line and B be any subgroup of GF *(2 n). We give a new infinite family of simple 3-designs by determining the parameter set of (X, G(B 0)), where B 0 = B ∪ {0}.
Flag-transitive point-primitive quasi-symmetric $2$-designs with block intersection numbers $0$ and $y\leq10$

Jianbing Lu,Yu Zhuang

2024-10-25

Abstract:In this paper, we show that for a non-trivial quasi-symmetric $2$-design $\mathcal{D}$ with two block intersection numbers $x=0$ and $2\leq y\leq10$, if $G\leq \mathrm{Aut}(\mathcal{D})$ is flag-transitive and point-primitive, then $G$ is either of affine type or almost simple type. Moreover, we prove that the socle of $G$ cannot be an alternating group. If the socle of $G$ is a sporadic group, then $\mathcal{D}$ and $G$ must be one of the following: $\mathcal{D}$ is a $2$-$(12,6,5)$ design with block intersection numbers $0,3$ and $G=\mathrm{M}_{11}$, or $\mathcal{D}$ is a $2$-$(22,6,5)$ design with block intersection numbers $0,2$ and $G=\mathrm{M}_{22}$ or $\mathrm{M}_{22}:2$.

Combinatorics
Semi-cyclic holey group divisible designs with block size three and applications to sampling designs and optical orthogonal codes

Tao Feng,Xiaomiao Wang,Ruizhong Wei

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

2014-10-22

Abstract:We consider the existence problem for a semi-cyclic holey group divisible design of type (n,m^t) with block size 3, which is denoted by a 3-SCHGDD of type (n,m^t). When t is odd and n\neq 8 or t is doubly even and t\neq 8, the existence problem is completely solved; when t is singly even, many infinite families are obtained. Applications of our results to two-dimensional balanced sampling plans and optimal two-dimensional optical orthogonal codes are also discussed.

Combinatorics
Chain-imprimitive, flag-transitive 2-designs

Carmen Amarra,Alice Devillers,Cheryl E. Praeger

2024-01-25

Abstract:We consider $2$-designs which admit a group of automorphisms that is flag-transitive and leaves invariant a chain of nontrivial point-partitions. We build on our recent work on $2$-designs which are block-transitive but not necessarily flag-transitive. In particular we use the concept of the ``array'' of a point subset with respect to the chain of point-partitions; the array describes the distribution of the points in the subset among the classes of each partition. We obtain necessary and sufficient conditions on the array in order for the subset to be a block of such a design. By explicit construction we show that for any $s \geq 2$, there are infinitely many $2$-designs admitting a flag-transitive group that preserves an invariant chain of point-partitions of length $s$. Moreover an exhaustive computer search, using {\sc Magma}, seeking designs with $e_1e_2e_3$ points (where each $e_i\leq 50$) and a partition chain of length $s=3$, produced $57$ such flag-transitive designs, among which only three designs arise from our construction -- so there is still much to learn.

Combinatorics
The flag-transitive symmetric designs with 45 points, blocks of size 12, and 3 blocks on every point pair

Cheryl E. Praeger

DOI: https://doi.org/10.1007/s10623-007-9071-8

2007-05-15

Abstract:We construct two flag-transitive designs with the parameters of the title, and prove that these are the only two examples. One is point-primitive and related to unitary geometry, while the other is point-imprimitive and constructed from a 1-dimensional affine space. This classification may be contrasted with a construction by Mathon and Spence in 1996 of more than 3,700 designs with these parameters, almost a third of which had a trivial automorphism group.
Flag-transitive 2-designs with prime-square or prime-cube block length

Chuyi Zhong,Shenglin Zhou

DOI: https://doi.org/10.1515/jgth-2023-0082

2024-09-22

Journal of Group Theory

Abstract:We study 2- ( v , k , λ ) designs D = ( P , B ) admitting a flag-transitive automorphism group G, where k = p 2 or p 3 , and p is prime. We prove that if k = p 2 , then G must be point-primitive, and G is of affine or almost simple type except for two examples. If k = p 3 , and G is point-primitive, then G is of affine, almost simple, or product type with G ≤ H ≀ S 2 acting on P = Δ × Δ , where H is a primitive group on Δ. Furthermore, if G is point-imprimitive with a system Σ of imprimitivity consisting of d classes of size c, we determine the parameters ( v , k , μ , c , d ) , where μ is the size of the nonempty set B ∩ C with B ∈ B and C ∈ Σ . Moreover, some infinite families of flag-transitive 2- ( v , p 3 , λ ) designs are also constructed.

mathematics
Alternating groups as flag-transitive automorphism groups of 2-designs with block size seven

Ashraf Daneshkhah

2023-12-12

Abstract:In this article, we prove that if $\mathcal{D}$ is a $2$-design with $k=7$ admitting flag-transitive almost simple automorphism group with socle an alternating group, then $\mathcal{D}$ is $PG_{2}(3,2)$ with parameter set $(15,7,3)$ and $G=A_7$, or $\mathcal{D}$ is the $2$-design with parameter set $(55, 7, 1680)$ and $G=A_{11}$ or $S_{11}$.

Group Theory,Combinatorics

Direct constructions of some group divisible designs with block size $4$ and up to $50$ points

Group divisible designs with block size 4 and group sizes 4 and 7

Block-transitive 2-designs with a chain of imprimitive point-partitions

Existence of resolvable group divisible designs with block size four I

A finiteness theorem of block-transitive point-imprimitive 3-designs

Non-abelian skew Hadamard difference sets fixed by a prescribed automorphism

A construction for regular-graph designs

Block-Transitive 3-Designs with Block Size At Most 6

Higher-dimensional grid-imprimitive block-transitive designs

Embeddings of Resolvable Group Divisible Designs with Block Size 3

Implications of Line-Transitivity for Designs

Solvable Block Transitive Automorphism Groups of 2 (v, 5, 1) Designs

On point and block primitive designs invariant under permutation groups

Simple 3-designs with block size d + 1 from PSL(2, 2 2) where d{pipe}(2 n - 1) *

Flag-transitive point-primitive quasi-symmetric $2$-designs with block intersection numbers $0$ and $y\leq10$

Semi-cyclic holey group divisible designs with block size three and applications to sampling designs and optical orthogonal codes

Chain-imprimitive, flag-transitive 2-designs

The flag-transitive symmetric designs with 45 points, blocks of size 12, and 3 blocks on every point pair

Flag-transitive 2-designs with prime-square or prime-cube block length

Alternating groups as flag-transitive automorphism groups of 2-designs with block size seven