BZPEER

preprint2022arXiv

On the maximum of the weighted binomial sum $2^{-r}\sum_{i=0}^r\binom{m}{i}$

The weighted binomial sum $f_m(r)=2^{-r}\sum_{i=0}^r\binom{m}{i}$ arises in coding theory and information theory. We prove that,for $m\not \in\{0,3,6,9,12\}$ , the maximum value of $f_m(r)$ with $0\leqslant r\leqslant m$ occurs when $r=\lfloor m/3\rfloor+1$ . We also show this maximum value is asymptotic to $\frac{3}{\sqrt{πm}}\left(\frac{3}{2}\right)^m$ as $m\to\infty$ .

preprint2022arXiv

Random generation of direct sums of finite non-degenerate subspaces

Let $V$ be a $d$ -dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate hermitian, alternating, or quadratic form. Suppose $|\mathbb{F}|=q^2$ if $V$ is hermitian, and $|\mathbb{F}|=q$ otherwise. Given integers $e, e'$ such that $e+e'\leqslant d$ , we estimate the proportion of pairs $(U, U')$ , where $U$ is a non-degenerate $e$ -subspace of $V$ and $U'$ is a non-degenerate $e'$ -subspace of $V$ , such that $U\cap U'=0$ and $U\oplus U'$ is non-degenerate (the sum $U\oplus U'$ is direct and usually not perpendicular). The proportion is shown to be positive and at least $1-c/q>0$ for some constant $c$ . For example, $c=7/4$ suffices in both the unitary and symplectic cases. The arguments in the orthogonal case are delicate and assume that $\dim(U)$ and $\dim(U')$ are even, an assumption relevant for an algorithmic application (which we discuss) for recognising finite classical groups. We also describe how recognising a classical groups $G$ relies on a connection between certain pairs $(U,U')$ of non-degenerate subspaces and certain pairs $(g,g')\in G^2$ of group elements where $U={\rm im}(g-1)$ and $U'={\rm im}(g'-1)$ .

preprint2022arXiv

The groups $G$ satisfying a functional equation $f(xk) = xf(x)$ for some $k \in G$

We study the groups $G$ with the curious property that there exists an element $k\in G$ and a function $f\colon G\to G$ such that $f(xk)=xf(x)$ holds for all $x\in G$ . This property arose from the study of near-rings and input-output automata on groups. We call a group with this property a $J$ -group. Finite $J$ -groups must have odd order, and hence are solvable. We prove that every finite nilpotent group of odd order is a $J$ -group if its nilpotency class $c$ satisfies $c\le6$ . If $G$ is a finite $p$ -group, with $p>2$ and $p^2>2c-1$ , then we prove that $G$ is $J$ -group. Finally, if $p>2$ and $G$ is a regular $p$ -group or, more generally, a power-closed one (i.e., in each section and for each $m\geq1$ the subset of $p^m$ -th powers is a subgroup), then we prove that $G$ is a $J$ -group.

preprint2022arXiv

The probability of spanning a classical space by two non-degenerate subspaces of complementary dimension

Let $n,n'$ be positive integers and let $V$ be an $(n+n')$ -dimensional vector space over a finite field $\mathbb{F}$ equipped with a non-degenerate alternating, hermitian or quadratic form. We estimate the proportion of pairs $(U, U')$ , where $U$ is a non-degenerate $n$ -subspace and $U'$ is a non-degenerate $n'$ -subspace of $V$ , such that $U+ U'=V$ (usually such spaces $U$ and $U'$ are not perpendicular). The proportion is shown to be at least $1-c/|\mathbb{F}|$ for some constant $c\leqslant 2$ in the symplectic or unitary cases, and $c<3$ in the orthogonal case.

preprint2021arXiv

Modules induced from a normal subgroup of prime index

Let $G$ be a finite group and $H$ a normal subgroup of prime index $p$ . Let $V$ be an irreducible ${\mathbb F}H$ -module and $U$ a quotient of the induced ${\mathbb F}G$ -module $V\kern-3pt\uparrow$ . We describe the structure of $U$ , which is semisimple when ${\rm char}({\mathbb F})\ne p$ and uniserial if ${\rm char}({\mathbb F})=p$ . Furthermore, we describe the division rings arising as endomorphism algebras of the simple components of $U$ . We use techniques from noncommutative ring theory to study ${\rm End}_{{\mathbb F}G}(V\kern-3pt\uparrow)$ and relate the right ideal structure of ${\rm End}_{{\mathbb F}G}(V\kern-3pt\uparrow)$ to the submodule structure of $V\kern-3pt\uparrow$ .

preprint2020arXiv

Conjugacy class sizes in arithmetic progression

Let ${\rm cs}(G)$ denote the set of conjugacy class sizes of a group $G$ , and let ${\rm cs}^*(G)={\rm cs}(G)\setminus\{1\}$ be the sizes of non-central classes. We prove three results. We classify all finite groups $G$ with ${\rm cs}(G)=\{a, a+d, \dots ,a+rd\}$ an arithmetic progression with $r\geqslant 2$ . (We show that ${\rm cs}(G)=\{1,2,3\}$ .) Our most substantial result classifies all $G$ with ${\rm cs}^*(G)=\{2,4,6\}$ . Finally, we classify all groups $G$ whose largest two non-central conjugacy class sizes are coprime. (Here it is not obvious but it is true that ${\rm cs}^*(G)$ has two elements, and so is an arithmetic progression.)

preprint2020arXiv

Roots of unity and unreasonable differentiation

We explore when it is legal to differentiate a polynomial evaluated at a root of unity using modular arithmetic.

preprint2016arXiv

Arc-transitive digraphs with quasiprimitive local actions

Let $Γ$ be a finite $G$ -vertex-transitive digraph. The in-local action of $(Γ,G)$ is the permutation group $L_-$ induced by the vertex-stabiliser on the set of in-neighbours of $v$ . The out-local action $L_+$ is defined analogously. Note that $L_-$ and $L_+$ may not be isomorphic. We thus consider the problem of determining which pairs $(L_-,L_+)$ are possible. We prove some general results, but pay special attention to the case when $L_-$ and $L_+$ are both quasiprimitive. (Recall that a permutation group is quasiprimitive if each of its nontrivial normal subgroups is transitive.) Along the way, we prove a structural result about pairs of finite quasiprimitive groups of the same degree, one being (abstractly) isomorphic to a proper quotient of the other.

preprint2016arXiv

Primitive prime divisors and the $n$ -th cyclotomic polynomial

Primitive prime divisors play an important role in group theory and number theory. We study a certain number theoretic quantity, called $Φ^*_n(q)$ , which is closely related to the cyclotomic polynomial $Φ_n(x)$ and to primitive prime divisors of $q^n-1$ . Our definition of $Φ^*_n(q)$ is novel, and we prove it is equivalent to the definition given by Hering. Given positive constants $c$ and $k$ , we give an algorithm for determining all pairs $(n,q)$ with $Φ^*_n(q)\le cn^k$ . This algorithm is used to extend (and correct) a result of Hering which is useful for classifying certain families of subgroups of finite linear groups.

preprint2015arXiv

Decomposing modular tensor products, and periodicity of `Jordan partitions'

Let $J_r$ denote an $r\times r$ matrix over a finite field $F$ with minimal and characteristic polynomials $(t-1)^r$ . Suppose $r\leq s$ . It is not hard to show that the Jordan canonical form of $J_r\otimes J_s$ is similar to $J_{λ_1}\oplus\cdots\oplus J_{λ_r}$ where $λ_1\geq\cdots\geqλ_r>0$ and $\sum_{i=1}^rλ_i=rs$ . The partition $λ(r,s,p):=(λ_1,\dots,λ_r)$ of $rs$ , which depends only on $r,s$ and the characteristic $p$ of $F$ , has many applications including to the study of algebraic groups. We prove new periodicity and duality results for $λ(r,s,p)$ that depend on the smallest $p$ -power exceeding $r$ . This generalizes results of J. A. Green, B. Srinivasan, and others which depend on the smallest $p$ -power exceeding the (potentially large) integer $s$ . We show that for fixed $r$ we can construct a finite table allowing the computation of $λ(r,s,p)$ for all $s$ with $s\geq r$ , and all primes $p$ . This generalizes work of K-i. Iima and R. Iwamatsu.

preprint2014arXiv

AS-configurations and skew-translation generalised quadrangles

The only known skew-translation generalised quadrangles (STGQ) having order $(q,q)$ , with $q$ even, are translation generalised quadrangles. Equivalently, the only known groups $G$ of order $q^3$ , $q$ even, admitting an Ahrens-Szekeres (AS-)configuration are elementary abelian. In this paper we prove results in the theory of STGQ giving (i) new structural information for a group $G$ admitting an AS-configuration, (ii) a classification of the STGQ of order $(8,8)$ , and (iii) a classification of the STGQ of order $(q,q)$ for odd $q$ (using work of Ghinelli and Yoshiara).

preprint2014arXiv

Decomposing modular tensor products: `Jordan partitions', their parts and p-parts

Determining the Jordan canonical form of the tensor product of Jordan blocks has many applications including to the representation theory of algebraic groups, and to tilting modules. Although there are several algorithms for computing this decomposition in literature, it is difficult to predict the output of these algorithms. We call a decomposition of the form $J_r\otimes J_s=J_{λ_1}\oplus\cdots\oplus J_{λ_b}$ a `Jordan partition'. We prove several deep results concerning the $p$ -parts of the $λ_i$ where $p$ is the characteristic of the underlying field. Our main results include the proof of two conjectures made by McFall in 1980, and the proof that ${\rm lcm}(r,s)$ and $\gcd(λ_1,\dots,λ_b)$ have equal $p$ -parts. Finally, we establish some explicit formulas for Jordan partitions when $p=2$ .

preprint2014arXiv

Distant parents in complete binary trees

There is a unique path from the root of a tree to any other vertex. Every vertex, except the root, has a parent: the adjoining vertex on this unique path. This is the conventional definition of the parent vertex. For complete binary trees, however, we show that it is useful to define another parent vertex, called a \emph{distant parent}. The study of distant parents leads to novel connections with dyadic rational numbers. Moreover, we apply the concepts of close and distant parent vertices to deduce an apparently new sense in which continued fractions are `best' rational approximations.

preprint2014arXiv

Extraspecial towers and Weil representations

This paper was motivated by a remarkable group, the maximal subgroup $M=S_3\ltimes 2^{2+1}_{-}\ltimes3^{2+1}\ltimes2^{6+1}_{-}$ of the sporadic simple group ${\rm Fi}_{23}$ , where $S_3$ is the symmetric group of degree 3, and $2^{2+1}_{-}$ , $3^{2+1}$ and $2^{6+1}_{-}$ denote extraspecial groups. The representation $3^{2+1}\to{\rm GL}(3,\mathbb{F}_4)\to{\rm GL}(6,\mathbb{F}_2)$ extends (remarkably) to $S_3\ltimes 2^{2+1}_{-}\ltimes3^{2+1}$ and preserves a quadratic form (of minus type) which allows the construction of $M$ . The paper describes certain (Weil) representations of extraspecial groups which extend, and preserve various forms. Incidentally, $M$ is a remarkable solvable group with derived length 10, and composition length 24.

preprint2014arXiv

Point-primitive generalised hexagons and octagons

In 2008, Schneider and Van Maldeghem proved that if a group acts flag-transitively, point-primitively, and line-primitively on a generalised hexagon or generalised octagon, then it is an almost simple group of Lie type. We show that point-primitivity is sufficient for the same conclusion, regardless of the action on lines or flags. This result narrows the search for generalised hexagons or octagons with point- or line-primitive collineation groups beyond the classical examples, namely the two generalised hexagons and one generalised octagon admitting the Lie type groups $\mathsf{G}_2(q)$ , $\,^3\mathsf{D}_4(q)$ , and $\,^2\mathsf{F}_4(q)$ , respectively.

preprint2014arXiv

Proportion of cyclic matrices in maximal reducible matrix algebras

Let ${\rm M}(V)={\rm M}(n,\mathbb{F}_q)$ denote the algebra of $n\times n$ matrices over $\mathbb{F}_q$ , and let ${\rm M}(V)_U$ denote the (maximal reducible) subalgebra that normalizes a given $r$ -dimensional subspace $U$ of $V=\mathbb{F}_q^n$ where $0<r<n$ . We prove that the density of non-cyclic matrices in ${\rm M}(V)_U$ is at least $q^{-2}\left(1+c_1q^{-1}\right)$ , and at most $q^{-2}\left(1+c_2q^{-1}\right)$ , where $c_1$ and $c_2$ are constants independent of $n,r$ , and $q$ . The constants $c_1=-\frac43$ and $c_2=\frac{35}3$ suffice.

preprint2014arXiv

Subgroups of the upper-triangular matrix group with maximal derived length and a minimal number of generators

The group U_n(F) of all nxn unipotent upper-triangular matrices over F has derived length d := Ceiling(log_2 (n)), equivalently 2^{d-1} < n <= 2^d. We prove that U_n(F) has a 3-generated subgroup of derived length d, and it has a 2-generated subgroup of derived length d if and only if (21/32)* 2^d < n <= 2^d.

preprint2014arXiv

The density of uncyclic matrices

An element $X$ in the algebra ${\rm M}(n,\mathbb{F})$ of all $n\times n$ matrices over a field $\mathbb{F}$ is said to be $f$ -cyclic if the underlying vector space considered as an $\mathbb{F}[X]$ -module has at least one cyclic primary component. These are the matrices considered to be `good' in the Holt-Rees version of Norton's irreducibility test in the MeatAxe algorithm. We prove that, for any finite field $\mathbb{F}_q$ , the proportion of matrices in ${\rm M}(n,\mathbb{F}_q)$ that are `not good' decays exponentially to zero as the dimension $n$ approaches infinity. Turning this around, we prove that the density of `good' matrices in ${\rm M}(n,\mathbb{F}_q)$ for the MeatAxe depends on the degree, showing that it is at least $1-\frac2q(\frac{1}{q}+\frac{1}{q^2}+\frac{2}{q^3})^n$ for $q\geq4$ . We conjecture that the density is at least $1-\frac1q(\frac{1}{q}+\frac{1}{2q^2})^n$ for all $q$ and $n$ , and confirm this conjecture for dimensions $n\leq 37$ . Finally we give a one-sided Monte Carlo algorithm called IsfCyclic to test whether a matrix is `good', at a cost of ${\rm O}({\rm Mat}(n)\log n)$ field operations, where ${\rm Mat}(n)$ is an upper bound for the number of field operations required to multiply two matrices in ${\rm M}(n,\mathbb{F}_q)$ .

preprint2014arXiv

Using recurrence relations to count in symmetric groups

We use the fact that certain cosets of the stabilizer of points are pairwise conjugate in a symmetric group $S_n$ in order to construct recurrence relations for enumerating certain subsets of $S_n$ . Occasionally one can find `closed form' solutions to such recurrence relations. For example, the probability that a random element of $S_n$ has no cycle of length divisible by $q$ is $\prod_{d=1}^{\lfloor n/q\rfloor} (1-\frac{1}{dq})$ .

preprint2014arXiv

Writing representations over minimal fields

The chief aim of this paper is to describe a procedure which, given a $d$ -dimensional absolutely irreducible matrix representation of a finite group over a finite field $\mathbb{E}$ , produces an equivalent representation such that all matrix entries lie in a subfield $\mathbb{F}$ of $\mathbb{E}$ which is as small as possible. The algorithm relies on a matrix version of Hilbert's Theorem 90, and is probabilistic with expected running time ${\rm O}(|\mathbb{E}:\mathbb{F}|d^3)$ when $|\mathbb{F}|$ is bounded. Using similar methods we then describe an algorithm which takes as input a prime number and a power-conjugate presentation for a finite soluble group, and as output produces a full set of absolutely irreducible representations of the group over fields whose characteristic is the specified prime, each representation being written over its minimal field.

preprint2010arXiv

Enumerating the rationals from left to right

Farey sequences, Stern-Brocot sequences, the Calkin-Wilf sequences are shown to be generated via almost identical second order recurrence relations. These sequences have combinatorial, computational, and geometric applications, and are useful for enumerating the rational numbers.

preprint2010arXiv

p-groups having a unique proper non-trivial characteristic subgroup

We consider the structure of finite $p$ -groups $G$ having precisely three characteristic subgroups, namely $1$ , $Φ(G)$ and $G$ . The structure of $G$ varies markedly depending on whether $G$ has exponent $p$ or $p^2$ , and, in both cases, the study of such groups raises deep problems in representation theory. We present classification theorems for 3- and 4-generator groups, and we also study the existence of such $r$ -generator groups with exponent $p^2$ for various values of $r$ . The automorphism group induced on the Frattini quotient is, in various cases, related to a maximal linear group in Aschbacher's classification scheme.

preprint2003arXiv

Solvable groups with a given solvable length, and minimal composition length

Let c(d) denote the minimal composition length of all finite solvable groups with solvable (or derived) length d. We prove that c(d) equals 0,1,2,4,5,7,8,13,15 when d=0,1,2,3,4,5,6,7,8.

preprint2003arXiv

Writing representations over proper sub-division rings

Let E be a division ring and G a finite group of automorphisms of E whose elements are distinct modulo inner automorphisms of E. Given a representation ρ: B-> GL(d,E) of an F-algebra B, we give necessary and sufficient conditions for ρto be {\it writable} over F=E^G, i.e. whether or not there exists a matrix A in GL(d,E) that conjugates ρ(B) into GL(d,F). We give an algorithm for constructing an A, or proving that no A exists. The case of particular interest to us is when E is a field, and ρis absolutely irreducible. The algorithm relies on an explicit formula for A, and a generalization of Hilbert's Theorem 90 (Theorem~3) that arises in Galois cohomology. The algorithm has applications to the construction of absolutely irreducible group representations (especially for solvable groups), and to the recognition of one of the classes in Aschbacher's matrix group classification scheme.

S. P. Glasby

Research overview

Is this your work?

24 publications

On the maximum of the weighted binomial sum $2^{-r}\sum_{i=0}^r\binom{m}{i}$

Random generation of direct sums of finite non-degenerate subspaces

The groups $G$ satisfying a functional equation $f(xk) = xf(x)$ for some $k \in G$

The probability of spanning a classical space by two non-degenerate subspaces of complementary dimension

Modules induced from a normal subgroup of prime index

Conjugacy class sizes in arithmetic progression

Roots of unity and unreasonable differentiation

Arc-transitive digraphs with quasiprimitive local actions

Primitive prime divisors and the $n$ -th cyclotomic polynomial

Decomposing modular tensor products, and periodicity of `Jordan partitions'

AS-configurations and skew-translation generalised quadrangles

Decomposing modular tensor products: `Jordan partitions', their parts and p-parts

Distant parents in complete binary trees

Extraspecial towers and Weil representations

Point-primitive generalised hexagons and octagons

Proportion of cyclic matrices in maximal reducible matrix algebras

Subgroups of the upper-triangular matrix group with maximal derived length and a minimal number of generators

The density of uncyclic matrices

Using recurrence relations to count in symmetric groups

Writing representations over minimal fields

Enumerating the rationals from left to right

p-groups having a unique proper non-trivial characteristic subgroup

Solvable groups with a given solvable length, and minimal composition length

Writing representations over proper sub-division rings

See the researcher in context

Building this map preview

S. P. Glasby

Research overview

Is this your work?

24 publications

On the maximum of the weighted binomial sum 2−r∑i=0r(mi)2^{-r}\sum_{i=0}^r\binom{m}{i}2−r∑i=0r​(im​)

Random generation of direct sums of finite non-degenerate subspaces

The groups GGG satisfying a functional equation f(xk)=xf(x)f(xk) = xf(x)f(xk)=xf(x) for some k∈Gk \in Gk∈G

The probability of spanning a classical space by two non-degenerate subspaces of complementary dimension

Modules induced from a normal subgroup of prime index

Conjugacy class sizes in arithmetic progression

Roots of unity and unreasonable differentiation

Arc-transitive digraphs with quasiprimitive local actions

Primitive prime divisors and the nnn-th cyclotomic polynomial

Decomposing modular tensor products, and periodicity of `Jordan partitions'

AS-configurations and skew-translation generalised quadrangles

Decomposing modular tensor products: `Jordan partitions', their parts and p-parts

Distant parents in complete binary trees

Extraspecial towers and Weil representations

Point-primitive generalised hexagons and octagons

Proportion of cyclic matrices in maximal reducible matrix algebras

Subgroups of the upper-triangular matrix group with maximal derived length and a minimal number of generators

The density of uncyclic matrices

Using recurrence relations to count in symmetric groups

Writing representations over minimal fields

Enumerating the rationals from left to right

p-groups having a unique proper non-trivial characteristic subgroup

Solvable groups with a given solvable length, and minimal composition length

Writing representations over proper sub-division rings

See the researcher in context

Building this map preview

On the maximum of the weighted binomial sum $2^{-r}\sum_{i=0}^r\binom{m}{i}$

The groups $G$ satisfying a functional equation $f(xk) = xf(x)$ for some $k \in G$

Primitive prime divisors and the $n$ -th cyclotomic polynomial