Showing 1–17 of 17 results for author: Flannery, D L

Zariski density and computing with $S$-integral groups

Authors: A. S. Detinko, D. L. Flannery, A. Hulpke

Abstract: 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 desc… ▽ More 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. △ Less

Submitted 10 March, 2023; originally announced March 2023.

MSC Class: 20-04; 20G15; 20H25; 68W30

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

Authors: A. S. Detinko, D. L. Flannery, A. Hulpke

Abstract: 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… ▽ More 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$. △ Less

Submitted 27 July, 2022; v1 submitted 31 March, 2022; originally announced March 2022.

MSC Class: 20-04; 20G15; 20H25; 68W30

Classifying finite monomial linear groups of prime degree in characteristic zero

Authors: Z. Bácskai, D. L. Flannery, E. A. O'Brien

Abstract: 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 irredu… ▽ More 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. △ Less

Submitted 26 September, 2021; v1 submitted 26 July, 2021; originally announced July 2021.

MSC Class: 20H20; 20E99; 20-04

Locally nilpotent linear groups

Authors: A. S. Detinko, D. L. Flannery

Abstract: 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$. 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$. △ Less

Submitted 12 March, 2021; originally announced March 2021.

MSC Class: Primary 20F19; Secondary 20H20

Journal ref: Irish Math. Soc. Bull. 56 (2005), 37-51

Almost supplementary difference sets and quaternary sequences

Authors: J. A. Armario, D. L. Flannery

Abstract: 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 g… ▽ More 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. △ Less

Submitted 10 January, 2020; v1 submitted 20 November, 2019; originally announced November 2019.

Algorithms for computing with nilpotent matrix groups over infinite domains

Authors: A. S. Detinko, D. L. Flannery

Abstract: 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 h… ▽ More 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. △ Less

Submitted 13 July, 2019; originally announced July 2019.

Journal ref: J. Symbolic Comput. 43 (2008), no.1, 8-26

Algorithms for arithmetic groups with the congruence subgroup property

Authors: A. S. Detinko, D. L. Flannery, A. Hulpke

Abstract: 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… ▽ More 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. △ Less

Submitted 25 June, 2019; originally announced June 2019.

Journal ref: Journal of Algebra 421 (2015), 234-259

Deciding finiteness of matrix groups in positive characteristic

Authors: A. S. Detinko, D. L. Flannery, E. A. O'Brien

Abstract: 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… ▽ More 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. △ Less

Submitted 16 May, 2019; originally announced May 2019.

Journal ref: Journal of Algebra 322 (2009), 4151-4160

Algorithms for the Tits alternative and related problems

Authors: A. S. Detinko, D. L. Flannery, E. A. O'Brien

Abstract: 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. 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. △ Less

Submitted 13 May, 2019; originally announced May 2019.

Journal ref: Journal of Algebra 344 (2011), 397-406

Recognizing finite matrix groups over infinite fields

Authors: A. S. Detinko, D. L. Flannery, E. A. O'Brien

Abstract: 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… ▽ More 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. △ Less

Submitted 12 May, 2019; originally announced May 2019.

Journal ref: Journal of Symbolic Computation 50 (2013), 100-109

Algorithms for linear groups of finite rank

Authors: A. S. Detinko, D. L. Flannery, E. A. O'Brien

Abstract: 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. 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. △ Less

Submitted 11 May, 2019; originally announced May 2019.

Journal ref: J. Algebra 393 (2013), 187-196

Integrality and arithmeticity of solvable linear groups

Authors: W. A. de Graaf, A. S. Detinko, D. L. Flannery

Abstract: We develop a practical algorithm to decide whether a finitely generated subgroup of a solvable algebraic group $G$ is arithmetic. This incorporates a procedure to compute a generating set of an arithmetic subgroup of $G$. We also provide a simple new algorithm for integrality testing of finitely generated solvable-by-finite linear groups over the rational field. The algorithms have been implemente… ▽ More We develop a practical algorithm to decide whether a finitely generated subgroup of a solvable algebraic group $G$ is arithmetic. This incorporates a procedure to compute a generating set of an arithmetic subgroup of $G$. We also provide a simple new algorithm for integrality testing of finitely generated solvable-by-finite linear groups over the rational field. The algorithms have been implemented in {\sc Magma}. △ Less

Submitted 10 May, 2019; originally announced May 2019.

MSC Class: 20-04; 20G15; 20H25; 68W30

Journal ref: Journal of Symbolic Computation, 68 (2015) 138-145

Experimenting with symplectic hypergeometric monodromy groups

Authors: A. S. Detinko, D. L. Flannery, A. Hulpke

Abstract: 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. 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. △ Less

Submitted 27 May, 2020; v1 submitted 6 May, 2019; originally announced May 2019.

MSC Class: 20-04; 20G15; 20H25; 68W30

Generalized binary arrays from quasi-orthogonal cocycles

Authors: J. A. Armario, D. L. Flannery

Abstract: 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$-cocy… ▽ More 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. △ Less

Submitted 10 January, 2020; v1 submitted 23 February, 2019; originally announced February 2019.

Journal ref: Des. Codes Cryptogr. 87 (2019), no.10, 2405--2417

On quasi-orthogonal cocycles

Authors: J. A. Armario, D. L. Flannery

Abstract: 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 qu… ▽ More 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. △ Less

Submitted 25 August, 2019; v1 submitted 23 February, 2019; originally announced February 2019.

Journal ref: Journal of Combinatorial Designs 2018; 26: 401-411

L.G. Kovács and linear groups

Authors: A. S. Detinko, D. L. Flannery

Abstract: We survey the legacy of L.G. Kovács in linear group theory, with a particular focus on classification questions. We survey the legacy of L.G. Kovács in linear group theory, with a particular focus on classification questions. △ Less

Submitted 12 August, 2018; v1 submitted 31 July, 2018; originally announced July 2018.

MSC Class: 20H20; 20E45; 20E99

Journal ref: Journal of the Australian Mathematical Society, Volume 102, Issue 1, 2017

Linear groups and computation

Authors: A. S. Detinko, D. L. Flannery

Abstract: 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… ▽ More 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. △ Less

Submitted 30 September, 2021; v1 submitted 15 May, 2018; originally announced May 2018.

MSC Class: 20G15; 20H20; 68W30

Journal ref: Expositiones Mathematicae, Volume 37, Issue 4, 2019, 454-484