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

What problem does this paper attempt to address?

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.
Block-transitive $3$-$(v,k,1)$ designs on exceptional groups of Lie type

Ting Lan,Weijun Liu,Fu-Gang Yin

2023-05-24

Abstract:Let $\mathcal{D}$ be a non-trivial $G$-block-transitive $3$-$(v,k,1)$ design, where $T\leq G \leq \mathrm{Aut}(T)$ for some finite non-abelian simple group $T$. It is proved that if $T$ is a simple exceptional group of Lie type, then $T$ is either the Suzuki group ${}^2B_2(q)$ or $G_2(q)$. Furthermore, if $T={}^2B_2(q)$ then the design $\mathcal{D}$ has parameters $v=q^2+1$ and $k=q+1$, and so $\mathcal{D}$ is an inverse plane of order $q$; and if $T=G_2(q)$ then the point stabilizer in $T$ is either $\mathrm{SL}_3(q).2$ or $\mathrm{SU}_3(q).2$, and the parameter $k$ satisfies very restricted conditions.

Combinatorics
Block-transitive 3-(v, k, 1) designs on exceptional groups of Lie type

Ting Lan,Weijun Liu,Fu-Gang Yin

DOI: https://doi.org/10.1007/s10801-024-01315-0

2024-04-07

Journal of Algebraic Combinatorics

Abstract:Let be a non-trivial G -block-transitive 3-( v , k , 1) design, where for some finite non-abelian simple group T . It is proved that if T is a simple exceptional group of Lie type, then T is either the Suzuki group or . Furthermore, if then the design has parameters and , and so is an inverse plane of order q , and if then the point stabilizer in T is either or , and the parameter k satisfies very restricted conditions.

mathematics
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
Small transitive homogeneous $3$-$(v,\{4,6\},1)$ designs

M. Epstein,D.L. Kreher,S. S. Magliveras

2023-05-06

Abstract:A $3$-$(v,\{4,6\},1)$ design is a configuration of $v$ points and a collection of $4$- and $6$-element subsets called blocks, that jointly contain every 3-element subset exactly once. Using an exhaustive computer search on $v\leq 28$ points we investigate the $3$-$(v,\{4,6\},1)$ designs that have a transitive automorphism group and where the blocks of size 6 form a 2-class symmetric design. A 2-class symmetric design with parameters $(v,k{;}\lambda_1,\lambda_2{;}\delta_1,\delta_2)$ is a set-system on $v$ points and $v$ blocks of size $k$, where every pair of points are in $\lambda_1$ or $\lambda_2$ blocks and every pair of blocks intersect in $\delta_1$ or $\delta_2$ points. The 2-class symmetric designs include biplanes, semi-biplanes, and 2-class symmetric partially balanced incomplete block designs.

Combinatorics
Fixed Subgroups of 3-Manifold Group Automorphisms

Boju Jiang,Feng Wang,Shicheng Wang,Hao Zheng

DOI: https://doi.org/10.1016/j.topol.2021.107708

IF: 0.583

2021-01-01

Topology and its Applications

Abstract:We present a 3-manifold automorphism f:M→M with rankFix(f⁎)=2rankπ1(M). Related facts are discussed.
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}.
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
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.
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
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
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
On $3$-designs from $PGL(2,q)$

Paul Tricot

2024-08-27

Abstract:The group $PGL(2,q)$ acts $3$-transitively on the projective line $GF(q) \cup \{\infty\}$. Thus, an orbit of its action on the $k$-subsets of the projective line is the block set of a $3$-$(q+1,k,\lambda)$ design. We find the parameters of the designs formed by the orbit of a block of the form $\langle \theta^r \rangle$ or $\langle \theta^r \rangle \cup \{ 0\}$, where $\theta$ is a primitive element of $GF(q)$.

Combinatorics
Infinite families of 3‐designs from APN functions

Chunming Tang

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

IF: 0.773

2019-11-08

Journal of Combinatorial Designs

Abstract:Combinatorial t‐designs have nice applications in coding theory, finite geometries, and several engineering areas. A classical method for constructing t‐designs is by the action of a permutation group that is t‐transitive or t‐homogeneous on a point set. This approach produces t‐designs, but may not yield (t+1)‐designs. The objective of this paper is to study how to obtain 3‐designs with 2‐transitive permutation groups. The incidence structure formed by the orbits of a base block under the action of the general affine groups, which are 2‐transitive, is considered. A characterization of such incidence structure to be a 3‐design is presented, and a sufficient condition for the stabilizer of a base block to be trivial is given. With these general results, infinite families of 3‐designs are constructed by employing almost perfect nonlinear functions. Some 3‐designs presented in this paper give rise to self‐dual binary codes or linear codes with optimal or best parameters known. Several conjectures on 3‐designs and binary codes are also presented.

mathematics
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
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
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).
Interactive specification of three-dimensional multiblock topologies

Roland W. Lewis,Yao Zheng,David T. Gethin

DOI: https://doi.org/10.1016/0965-9978(94)90006-X

IF: 4.255

1993-01-01

Advances in Engineering Software

Abstract:A scheme is described in this paper to deal with the topological and geometrical data which must be specified for macro-block based mesh generators. The topological and geometrical data is inputted interactively with the aid of graphical facilities, which reduces the burden on users of editing such large data files. The corresponding mesh generator uses macro-blocks as geometrical primitives described by isoparametric hexahedral elements, each of twenty nodes, and subdivides them into required meshes.
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
Designs, permutations, and transitive groups

Minjia Shi,XiaoXiao Li,Patrick Solé

2023-06-24

Abstract:A notion of $t$-designs in the symmetric group on $n$ letters was introduced by Godsil in 1988. In particular $t$-transitive sets of permutations form a $t$-design. We derive special lower bounds for $t=1$ and $t=2$ by a power moment method. For general $n,t$ we give a %linear programming lower bound . For $n\ge 4$ and $t=2,$ this bound is strong enough to show a lower bound on the size of such $t$-designs of $n(n-1)\dots (n-t+1),$ which is best possible when sharply $t$-transitive sets of permutations exist. This shows, in particular, that tight $2$-designs do not exist.

Combinatorics,Discrete Mathematics

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

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

Block-transitive $3$-$(v,k,1)$ designs on exceptional groups of Lie type

Block-transitive 3-(v, k, 1) designs on exceptional groups of Lie type

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

Small transitive homogeneous $3$-$(v,\{4,6\},1)$ designs

Fixed Subgroups of 3-Manifold Group Automorphisms

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

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

Implications of Line-Transitivity for Designs

Higher-dimensional grid-imprimitive block-transitive designs

On point and block primitive designs invariant under permutation groups

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

On $3$-designs from $PGL(2,q)$

Infinite families of 3‐designs from APN functions

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

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

Embeddings of Resolvable Group Divisible Designs with Block Size 3

Interactive specification of three-dimensional multiblock topologies

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

Designs, permutations, and transitive groups