Searcharxiv⌕ Search

arXiv subjects

D. L. Flannery

Publications and source records attributed to D. L. Flannery.

At least 19 recordsLinked to original sources
arXiv2026

Prime degree irreducible representations of simple algebraic groups and finite simple groups of Lie type

Let $r, p$ be primes and $k$ be a positive integer. We show that if $G$ is a subgroup of $SL_r(p^k)$ lying only in the non-geometric Aschbacher class $\mathscr{C}_9$, then $|G|$ is bounded above by a function of $r$ and $k$, independently of $p$. We also show that, up to conjugacy in $GL_r(p^k)$, the number of such $G$ is bounded above by a function of $r$ that is independent of $p$ and $k$. Apart from being of interest in their own right, these results have an application in a computational version of the strong approximation theorem for finitely generated Zariski-dense subgroups of $SL_r(\mathbb{P})$, where $\mathbb{P}$ is a number field.

math.GR↗
arXiv2026

Algorithms for experimenting with Zariski dense matrix groups over number fields

Let $\mathbb{P}$ be an algebraic number field. We provide a computational analog of the strong approximation theorem for finitely generated Zariski dense groups $H\leq \mathrm{SL}(n,\mathbb{P})$, $n$ prime. That is, we present algorithms to find the set of congruence quotients of $H$ modulo all maximal ideals of a finitely generated subring $R$ of $\mathbb{P}$ such that $H\leq \mathrm{SL}(n,R)$. The algorithms have been implemented in GAP. Potential applications are illustrated by a range of experiments in degree $2$, with a special focus on Bianchi groups.

math.GR↗
arXiv2023

Zariski density and computing with $S$-integral groups

We generalize our methodology for computing with Zariski dense subgroups of $\mathrm{SL}(n, \mathbb{Z})$ and $\mathrm{Sp}(n, \mathbb{Z})$, to accommodate input dense subgroups $H$ of $\mathrm{SL}(n, \mathbb{Q})$ and $\mathrm{Sp}(n, \mathbb{Q})$. A key task, backgrounded by the Strong Approximation theorem, is computing a minimal congruence overgroup of $H$. Once we have this overgroup, we may describe all congruence quotients of $H$. The case $n=2$ receives particular attention.

math.GR↗
arXiv2022

Freeness and $S$-arithmeticity of rational Möbius groups

We initiate a new, computational approach to a classical problem: certifying non-freeness of ($2$-generator, parabolic) Möbius subgroups of $\mathrm{SL}(2,\mathbb{Q})$. The main tools used are algorithms for Zariski dense groups and algorithms to compute a presentation of $\mathrm{SL}(2, R)$ for a localization $R= \mathbb{Z}[\frac{1}{b}]$ of $\mathbb{Z}$. We prove that a Möbius subgroup $G$ is not free by showing that it has finite index in the relevant $\mathrm{SL}(2, R)$. Further information about the structure of $G$ is obtained; for example, we compute the minimal subgroup of finite index in $\mathrm{SL}(2,R)$ that contains $G$.

math.GR↗
arXiv2021

Linear groups and computation

We present an exposition of our ongoing project in a new area of applicable mathematics: practical computation with finitely generated linear groups over infinite fields. Methodology and algorithms available for practical computation in this class of groups are surveyed. We illustrate the solution of hard mathematical problems by computer experimentation. Possible avenues for further progress are discussed. This article is aimed at a broad mathematical audience, and more particularly at users of group-theoretical methods and computer algebra systems.

math.GR↗
arXiv2021

Classifying finite monomial linear groups of prime degree in characteristic zero

Let $p$ be a prime and let $\mathbb{C}$ be the complex field. We explicitly classify the finite solvable irreducible monomial subgroups of $\mathrm{GL}(p,\mathbb{C})$ up to conjugacy. That is, we give a complete and irredundant list of $\mathrm{GL}(p,\mathbb{C})$-conjugacy class representatives as generating sets of monomial matrices. Copious structural information about non-solvable finite irreducible monomial subgroups of $\mathrm{GL}(p,\mathbb{C})$ is also proved, enabling a classification of all such groups bar one family. We explain the obstacles in that exceptional case. For $p\leq 3$, we classify all finite irreducible subgroups of $\mathrm{GL}(p,\mathbb{C})$. Our classifications are available publicly in Magma.

math.GR↗
arXiv2021

Locally nilpotent linear groups

We survey aspects of locally nilpotent linear groups. Then we obtain a new classification; namely, we classify the irreducible maximal locally nilpotent subgroups of $\mathrm{GL}(q, \mathbb F)$ for prime $q$ and any field $\mathbb F$.

math.GR↗
arXiv2020

Experimenting with symplectic hypergeometric monodromy groups

We present new computational results for symplectic monodromy groups of hypergeometric differential equations. In particular, we compute the arithmetic closure of each group, sometimes justifying arithmeticity. The results are obtained by extending our previous algorithms for Zariski dense groups, based on the strong approximation and congruence subgroup properties.

math.GR↗
arXiv2020

Almost supplementary difference sets and quaternary sequences

We introduce almost supplementary difference sets (ASDS). For odd $m$, certain ASDS in ${\mathbb Z}_m$ that have amicable incidence matrices are equivalent to quaternary sequences of odd length $m$ with optimal autocorrelation. As one consequence, if $2m-1$ is a prime power, or $m \equiv 1 \mod 4$ is prime, then ASDS of this kind exist. We also explore connections to optimal binary sequences and group cohomology.

math.CO↗
arXiv2020

Generalized binary arrays from quasi-orthogonal cocycles

Generalized perfect binary arrays (GPBAs) were used by Jedwab to construct perfect binary arrays. A non-trivial GPBA can exist only if its energy is $2$ or a multiple of $4$. This paper introduces generalized optimal binary arrays (GOBAs) with even energy not divisible by $4$, as analogs of GPBAs. We give a procedure to construct GOBAs based on a characterization of the arrays in terms of $2$-cocycles. As a further application, we determine negaperiodic Golay pairs arising from generalized optimal binary sequences of small length.

math.CO↗
arXiv2019

On quasi-orthogonal cocycles

We introduce the notion of quasi-orthogonal cocycle. This is motivated in part by the maximal determinant problem for square $\{\pm 1\}$-matrices of size congruent to $2$ modulo $4$. Quasi-orthogonal cocycles are analogous to the orthogonal cocycles of algebraic design theory. Equivalences with new and known combinatorial objects afforded by this analogy, such as quasi-Hadamard groups, relative quasi-difference sets, and certain partially balanced incomplete block designs, are proved.

math.CO↗
arXiv2019

Algorithms for computing with nilpotent matrix groups over infinite domains

We develop methods for computing with matrix groups defined over a range of infinite domains, and apply those methods to the design of algorithms for nilpotent groups. In particular, we provide a practical algorithm to test nilpotency of matrix groups over an infinite field. We also provide algorithms that answer a number of structural questions for a given nilpotent matrix group. The algorithms have been implemented in GAP and MAGMA.

math.GR↗
arXiv2019

Algorithms for arithmetic groups with the congruence subgroup property

We develop practical techniques to compute with arithmetic groups $H\leq \mathrm{SL}(n,\mathbb{Q})$ for $n>2$. Our approach relies on constructing a principal congruence subgroup in $H$. Problems solved include testing membership in $H$, analyzing the subnormal structure of $H$, and the orbit-stabilizer problem for $H$. Effective computation with subgroups of $\mathrm{GL}(n,\mathbb{Z}_m)$ is vital to this work. All algorithms have been implemented in GAP.

math.GR↗
arXiv2019

Deciding finiteness of matrix groups in positive characteristic

We present a new algorithm to decide finiteness of matrix groups defined over a field of positive characteristic. Together with previous work for groups in zero characteristic, this provides the first complete solution of the finiteness problem for finitely generated matrix groups over an arbitrary field. We also give an algorithm to compute the order of a finite matrix group over a function field of positive characteristic. Our MAGMA implementations of these algorithms are publicly available.

math.GR↗
arXiv2019

Algorithms for the Tits alternative and related problems

We present an algorithm that decides whether a finitely generated linear group over an infinite field is solvable-by-finite: a computationally effective version of the Tits alternative. We also give algorithms to decide whether the group is nilpotent-by-finite, abelian-by-finite, or central-by-finite. Our algorithms have been implemented in MAGMA and are publicly available.

math.GR↗
arXiv2019

Recognizing finite matrix groups over infinite fields

We present a uniform methodology for computing with finitely generated matrix groups over any infinite field. As one application, we completely solve the problem of deciding finiteness in this class of groups. We also present an algorithm that, given such a finite group as input, in practice successfully constructs an isomorphic copy over a finite field, and uses this copy to investigate the group's structure. Implementations of our algorithms are available in MAGMA.

math.GR↗
arXiv2019

Algorithms for linear groups of finite rank

Let $G$ be a finitely generated solvable-by-finite linear group. We present an algorithm to compute the torsion-free rank of $G$ and a bound on the Prüfer rank of $G$. This yields in turn an algorithm to decide whether a finitely generated subgroup of $G$ has finite index. The algorithms are implemented in MAGMA for groups over algebraic number fields.

math.GR↗