Showing 1–26 of 26 results for author: Niemeyer, A C

Topologically Interlocking Blocks inside the Tetroctahedrille

Authors: Reymond Akpanya, Tom Goertzen, Alice C. Niemeyer

Abstract: A topological interlocking assembly consists of rigid blocks together with a fixed frame, such that any subset of blocks is kinematically constrained and therefore cannot be removed from the assembly. In this paper we pursue a modular approach to construct (non-convex) interlocking blocks by combining finitely many tetrahedra and octahedra. This gives rise to polyhedra whose vertices can be descri… ▽ More A topological interlocking assembly consists of rigid blocks together with a fixed frame, such that any subset of blocks is kinematically constrained and therefore cannot be removed from the assembly. In this paper we pursue a modular approach to construct (non-convex) interlocking blocks by combining finitely many tetrahedra and octahedra. This gives rise to polyhedra whose vertices can be described by the tetrahedral-octahedral honeycomb, also known as tetroctahedrille. We show that the resulting interlocking blocks are very versatile and allow many possibilities to form topological interlocking assemblies consisting of copies of a single block. We formulate a generalised construction of some of the introduced blocks to construct families of topological interlocking blocks. Moreover, we demonstrate a geometric application by using the tetroctahedrille to approximate given geometric objects. Finally, we show that given topological interlocking assemblies can be deformed continuously in order to obtain new topological interlocking assemblies. △ Less

Submitted 3 May, 2024; originally announced May 2024.

Comments: Keywords: Topological interlocking, Space Fillings, Triangulations, Origami, Approximations

MSC Class: 05C50; 68U05; 90C59

Bipartite $q$-Kneser graphs and two-generated irreducible linear groups

Authors: S. P. Glasby, Alice C. Niemeyer, Cheryl E. Praeger

Abstract: Let $V:=(\mathbb{F}_q)^d$ be a $d$-dimensional vector space over the field $\mathbb{F}_q$ of order $q$. Fix positive integers $e_1,e_2$ satisfying $e_1+e_2=d$. Motivated by analysing a fundamental algorithm in computational group theory for recognising classical groups, we consider a certain quantity $P(e_1,e_2)$ which arises in both graph theory and group representation theory: $P(e_1,e_2)$ is th… ▽ More Let $V:=(\mathbb{F}_q)^d$ be a $d$-dimensional vector space over the field $\mathbb{F}_q$ of order $q$. Fix positive integers $e_1,e_2$ satisfying $e_1+e_2=d$. Motivated by analysing a fundamental algorithm in computational group theory for recognising classical groups, we consider a certain quantity $P(e_1,e_2)$ which arises in both graph theory and group representation theory: $P(e_1,e_2)$ is the proportion of $3$-walks in the `bipartite $q$-Kneser graph' $Γ_{e_1,e_2}$ that are closed $3$-arcs. We prove that, for a group $G$ satisfying ${\rm SL}_d(q)\leqslant G\leqslant{\rm GL}_d(q)$, the proportion of certain element-pairs in $G$ called `$(e_1,e_2)$-stingray duos' which generate an irreducible subgroup is also equal to $P(e_1,e_2)$. We give an exact formula for $P(e_1,e_2)$, and prove that $1-q^{-1}-q^{-2}< P(e_1,e_2)< 1-q^{-1}-q^{-2}+2q^{-3}-2q^{-5}$ for $2\leqslant e_2\leqslant e_1$ and $q\geqslant2$.These bounds have implications for the complexity analysis of the state-of-the-art algorithms to recognise classical groups, which we discuss in the final section. △ Less

Submitted 9 December, 2023; originally announced December 2023.

Comments: 23 pages, 1 figure

MSC Class: 05C50; 20C30; 20-08; 05C35

Mechanical Comparison of Arrangement Strategies for Topological Interlocking Assemblies

Authors: Tom Goertzen, Domen Macek, Lukas Schnelle, Meike Weiß, Stefanie Reese, Hagen Holthusen, Alice C. Niemeyer

Abstract: Topological Interlocking assemblies are arrangements of blocks kinematically constrained by a fixed frame, such that all rigid body motions of each block are constrained only by its permanent contact with other blocks and the frame. In the literature several blocks are introduced that can be arranged into different interlocking assemblies. In this study we investigate the influence of arrangement… ▽ More Topological Interlocking assemblies are arrangements of blocks kinematically constrained by a fixed frame, such that all rigid body motions of each block are constrained only by its permanent contact with other blocks and the frame. In the literature several blocks are introduced that can be arranged into different interlocking assemblies. In this study we investigate the influence of arrangement on the overall structural behaviour of the resulting interlocking assemblies. This is performed using the Versatile Block, as it can be arranged in three different doubly periodic ways given by wallpaper symmetries. Our focus lies on the load transfer mechanisms from the assembly onto the frame. For fast a priori evaluation of the assemblies we introduce a combinatorial model called Interlocking Flows. To investigate our assemblies from a mechanical point of view we conduct several finite element studies. These reveal a strong influence of arrangement on the structural behaviour, for instance, an impact on both the point and amount of maximum deflection. The results of the finite element analysis are in very good agreement with the predictions of the Interlocking Flow model. Our source code, data and examples are available under https://doi.org/10.5281/zenodo.10246034. △ Less

Submitted 4 December, 2023; originally announced December 2023.

Random generation of direct sums of finite non-degenerate subspaces

Authors: S. P. Glasby, Alice C. Niemeyer, Cheryl E. Praeger

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

Submitted 22 May, 2022; v1 submitted 3 November, 2021; originally announced November 2021.

Comments: 24 pages, 2 tables, minor changes to Def 3.6(a,b). Proof of Lemma 3.7(a) and Prop 4.11 slightly shortened

MSC Class: 20F65; 20D05; 05-08; 20D06; 68W20

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

Authors: S. P. Glasby, Alice C. Niemeyer, Cheryl E. Praeger

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

Submitted 15 May, 2022; v1 submitted 21 September, 2021; originally announced September 2021.

Comments: 35 pages, 5 tables, hyperlinks and backrefs. Changed 1/(2F) to 3/(2F) and added reference

MSC Class: 20P05; 15A63; 05-08

Conjugacy classes and centralisers in wreath products

Authors: Dominik Bernhardt, Alice C. Niemeyer, Friedrich Rober, Lucas Wollenhaupt

Abstract: In analogy to the disjoint cycle decomposition in permutation groups, Ore and Specht define a decomposition of elements of the full monomial group and exploit this to describe conjugacy classes and centralisers of elements in the full monomial group. We generalise their results to wreath products whose base group need not be finite and whose top group acts faithfully on a finite set. We parameteri… ▽ More In analogy to the disjoint cycle decomposition in permutation groups, Ore and Specht define a decomposition of elements of the full monomial group and exploit this to describe conjugacy classes and centralisers of elements in the full monomial group. We generalise their results to wreath products whose base group need not be finite and whose top group acts faithfully on a finite set. We parameterise conjugacy classes and centralisers of elements in such wreath products explicitly. For finite wreath products, our approach yields efficient algorithms for finding conjugating elements, conjugacy classes, and centralisers. △ Less

Submitted 25 November, 2021; v1 submitted 9 July, 2021; originally announced July 2021.

Comments: V2: We expanded Section 5 and added more motivation and explanations between statements. Corrected some minor typos

MSC Class: 20E22; 20E45; 20-0

A family of hemisystems on the parabolic quadrics

Authors: Jesse Lansdown, Alice C. Niemeyer

Abstract: We constuct a family of hemisystems of the parabolic quadric $\mathcal{Q}(2d, q)$, for all ranks $d \ge 2$ and all odd prime powers $q$, that admit $Ω_3(q) \cong \mathrm{PSL}_2(q)$. This yields the first known construction for $d \ge 4$. We constuct a family of hemisystems of the parabolic quadric $\mathcal{Q}(2d, q)$, for all ranks $d \ge 2$ and all odd prime powers $q$, that admit $Ω_3(q) \cong \mathrm{PSL}_2(q)$. This yields the first known construction for $d \ge 4$. △ Less

Submitted 23 August, 2019; originally announced August 2019.

MSC Class: 51E20; 05B25

The icosahedra of edge length 1

Authors: Karl-Heinz Brakhage, Alice C. Niemeyer, Wilhelm Plesken, Daniel Robertz, Ansgar Strzelczyk

Abstract: Retaining the combinatorial Euclidean structure of a regular icosahedron, namely the 20 equiangular (planar) triangles, the 30 edges of length 1, and the 12 different vertices together with the incidence structure, we investigate variations of the regular icosahedron admitting self-intersections of faces. We determine all rigid equivalence classes of these icosahedra with non-trivial automorphism… ▽ More Retaining the combinatorial Euclidean structure of a regular icosahedron, namely the 20 equiangular (planar) triangles, the 30 edges of length 1, and the 12 different vertices together with the incidence structure, we investigate variations of the regular icosahedron admitting self-intersections of faces. We determine all rigid equivalence classes of these icosahedra with non-trivial automorphism group and find one curve of flexible icosahedra. Visualisations and explicit data for this paper are available under http://algebra.data.rwth-aachen.de/Icosahedra/visualplusdata.html. △ Less

Submitted 19 March, 2019; originally announced March 2019.

Irreducible linear subgroups generated by pairs of matrices with large irreducible submodules

Authors: Alice C. Niemeyer, Sabina B. Pannek, Cheryl E. Praeger

Abstract: We call an element of a finite general linear group $ \textrm{GL}(d,q) $ \emph{fat} if it leaves invariant, and acts irreducibly on, a subspace of dimension greater than $d/2$. Fatness of an element can be decided efficiently in practice by testing whether its characteristic polynomial has an irreducible factor of degree greater than $d/2$. We show that for groups $G$ with… ▽ More We call an element of a finite general linear group $ \textrm{GL}(d,q) $ \emph{fat} if it leaves invariant, and acts irreducibly on, a subspace of dimension greater than $d/2$. Fatness of an element can be decided efficiently in practice by testing whether its characteristic polynomial has an irreducible factor of degree greater than $d/2$. We show that for groups $G$ with $ \textrm{SL}(d,q) \leq G \leq \textrm{GL}(d,q) $ most pairs of fat elements from $G$ generate irreducible subgroups, namely we prove that the proportion of pairs of fat elements generating a reducible subgroup, in the set of all pairs in $ G \times G $, is less than $q^{-d+1}$. We also prove that the conditional probability to obtain a pair $(g_1,g_2)$ in $G \times G$ which generates a reducible subgroup, given that $g_1, g_2$ are fat elements, is less than $2q^{-d+1}$. Further, we show that any reducible subgroup generated by a pair of fat elements acts irreducibly on a subspace of dimension greater than $ d/2 $, and in the induced action the generating pair corresponds to a pair of fat elements. △ Less

Submitted 17 March, 2019; originally announced March 2019.

MSC Class: 20G40; 20P05

Journal ref: Arch. Math. (2012) 98: 105

A Finite Soluble Quotient Algorithm

Authors: Alice C. Niemeyer

Abstract: An algorithm for computing power conjugate presentations for finite soluble quotients of predetermined structure of finitely presented groups is described. Practical aspects of an implementation are discussed. An algorithm for computing power conjugate presentations for finite soluble quotients of predetermined structure of finitely presented groups is described. Practical aspects of an implementation are discussed. △ Less

Submitted 28 January, 2018; originally announced January 2018.

MSC Class: 20D10; 20-04

Journal ref: Journal of Symbolic Computation, 18(6):541-561, 1994

On the second-largest Sylow subgroup of a finite simple group of Lie type

Authors: S. P. Glasby, Alice C. Niemeyer, Tomasz Popiel

Abstract: Let $T$ be a finite simple group of Lie type in characteristic $p$, and let $S$ be a Sylow subgroup of $T$ with maximal order. It is well known that $S$ is a Sylow $p$-subgroup except in an explicit list of exceptions, and that $S$ is always `large' in the sense that $|T|^{1/3} < |S| \leqslant |T|^{1/2}$. One might anticipate that, moreover, the Sylow $r$-subgroups of $T$ with $r \neq p$ are usual… ▽ More Let $T$ be a finite simple group of Lie type in characteristic $p$, and let $S$ be a Sylow subgroup of $T$ with maximal order. It is well known that $S$ is a Sylow $p$-subgroup except in an explicit list of exceptions, and that $S$ is always `large' in the sense that $|T|^{1/3} < |S| \leqslant |T|^{1/2}$. One might anticipate that, moreover, the Sylow $r$-subgroups of $T$ with $r \neq p$ are usually significantly smaller than $S$. We verify this hypothesis by proving that for every $T$ and every prime divisor $r$ of $|T|$ with $r \neq p$, the order of the Sylow $r$-subgroup of $T$ at most $|T|^{2\lfloor\log_r(4(\ell+1) r)\rfloor/\ell}=|T|^{{\rm O}(\log_r(\ell)/\ell)}$, where $\ell$ is the Lie rank of $T$. △ Less

Submitted 15 December, 2017; originally announced December 2017.

Comments: 9 pages, 3 tables

MSC Class: 20D08; 20E32; 20E07

On permutations of order dividing a given integer

Authors: Alice C. Niemeyer, Cheryl E. Praeger

Abstract: We give a detailed analysis of the proportion of elements in the symmetric group on $n$ points whose order divides $m$, for $n$ sufficiently large and $m \ge n$ with $m = O(n)$. We give a detailed analysis of the proportion of elements in the symmetric group on $n$ points whose order divides $m$, for $n$ sufficiently large and $m \ge n$ with $m = O(n)$. △ Less

Submitted 23 February, 2017; originally announced February 2017.

MSC Class: Primary 20B30; Secondary 20P05

Journal ref: Journal of Algebraic Combinatorics, August 2007, Volume 26, Issue 1, pp 125-142

The Divisibility Graph of finite groups of Lie Type

Authors: Adeleh Abdolghafourian, Mohammad A. Iranmanesh, Alice C. Niemeyer

Abstract: The Divisibility Graph of a finite group $G$ has vertex set the set of conjugacy class lengths of non-central elements in $G$ and two vertices are connected by an edge if one divides the other. We determine the connected components of the Divisibility Graph of the finite groups of Lie type in odd characteristic. The Divisibility Graph of a finite group $G$ has vertex set the set of conjugacy class lengths of non-central elements in $G$ and two vertices are connected by an edge if one divides the other. We determine the connected components of the Divisibility Graph of the finite groups of Lie type in odd characteristic. △ Less

Submitted 13 December, 2016; originally announced December 2016.

MSC Class: 20G40 (Primary); 05C25 (Secondary)

Maximal linear groups induced on the Frattini quotient of a $p$-group

Authors: John Bamberg, S. P. Glasby, Luke Morgan, Alice C. Niemeyer

Abstract: Let $p>3$ be a prime. For each maximal subgroup $H\leqslant\mathrm{GL}(d,p)$ with $|H| \geqslant p^{3d+1}$, we construct a $d$-generator finite $p$-group $G$ with the property that $\mathrm{Aut}(G)$ induces $H$ on the Frattini quotient $G/Φ(G)$ and $|G| \leqslant p^{\frac{d^4}{2}}$. A significant feature of this construction is that $|G|$ is very small compared to $|H|$, shedding new light upon a… ▽ More Let $p>3$ be a prime. For each maximal subgroup $H\leqslant\mathrm{GL}(d,p)$ with $|H| \geqslant p^{3d+1}$, we construct a $d$-generator finite $p$-group $G$ with the property that $\mathrm{Aut}(G)$ induces $H$ on the Frattini quotient $G/Φ(G)$ and $|G| \leqslant p^{\frac{d^4}{2}}$. A significant feature of this construction is that $|G|$ is very small compared to $|H|$, shedding new light upon a celebrated result of Bryant and Kovács. The groups $G$ that we exhibit have exponent $p$, and of all such groups $G$ with the desired action of $H$ on $G/Φ(G)$, the construction yields groups with smallest nilpotency class, and in most cases, the smallest order. △ Less

Submitted 12 October, 2017; v1 submitted 17 March, 2016; originally announced March 2016.

Comments: 24 pages, 2 figures, 2 tables Typos corrected. Acknowledgement extended. To appear J. Pure. Appl. Algebra

MSC Class: 20D45; 20D15; 20B25

On the Complexity of Multiplication in the Iwahori--Hecke Algebra of the Symmetric Group

Authors: Alice C. Niemeyer, Götz Pfeiffer, Cheryl E. Praeger

Abstract: We present new efficient data structures for elements of Coxeter groups of type $A_m$ and their associated Iwahori--Hecke algebras $H(A_m)$. Usually, elements of $H(A_m)$ are represented as simple coefficient list of length $M = (m+1)!$ with respect to the standard basis, indexed by the elements of the Coxeter group. In the new data structure, elements of $H(A_m)$ are represented as nested coeffic… ▽ More We present new efficient data structures for elements of Coxeter groups of type $A_m$ and their associated Iwahori--Hecke algebras $H(A_m)$. Usually, elements of $H(A_m)$ are represented as simple coefficient list of length $M = (m+1)!$ with respect to the standard basis, indexed by the elements of the Coxeter group. In the new data structure, elements of $H(A_m)$ are represented as nested coefficient lists. While the cost of addition is the same in both data structures, the new data structure leads to a huge improvement in the cost of multiplication in~$H(A_m)$. △ Less

Submitted 30 August, 2016; v1 submitted 16 December, 2015; originally announced December 2015.

Comments: 17 pages; errors corrected; example added. To appear in J. Symb. Comp

MSC Class: 20C08; 20F55; 20B40

Apportionment methods

Authors: Horst F. Niemeyer, Alice C. Niemeyer

Abstract: Most democratic countries use election methods to transform election results into whole numbers which usually give the number of seats in a legislative body the parties obtained. Which election method does this best can be specified by measuring the error between the allocated result and the ideal proportion. We show how to find an election method which is best suited to a given error function. We… ▽ More Most democratic countries use election methods to transform election results into whole numbers which usually give the number of seats in a legislative body the parties obtained. Which election method does this best can be specified by measuring the error between the allocated result and the ideal proportion. We show how to find an election method which is best suited to a given error function. We also discuss several properties of election methods that have been labelled paradoxa. In particular we explain the highly publicised ``Alabama'' Paradox for the Hare/Hamilton method and show that other popular election methods come with their very own paradoxa. △ Less

Submitted 23 October, 2015; originally announced October 2015.

MSC Class: 91B12

Journal ref: Mathematical Social Sciences 56 (2008) 240-253

Finding involutions with small support

Authors: Alice C. Niemeyer, Tomasz Popiel

Abstract: We show that the proportion of permutations $g$ in $S_n$ or $A_n$ such that $g$ has even order and $g^{|g|/2}$ is an involution with support of cardinality at most $\lceil n^\varepsilon \rceil$ is at least a constant multiple of $\varepsilon$. Using this result, we obtain the same conclusion for elements in a classical group of natural dimension $n$ in odd characteristic that have even order and p… ▽ More We show that the proportion of permutations $g$ in $S_n$ or $A_n$ such that $g$ has even order and $g^{|g|/2}$ is an involution with support of cardinality at most $\lceil n^\varepsilon \rceil$ is at least a constant multiple of $\varepsilon$. Using this result, we obtain the same conclusion for elements in a classical group of natural dimension $n$ in odd characteristic that have even order and power up to an involution with $(-1)$-eigenspace of dimension at most $\lceil n^\varepsilon \rceil$ for a linear or unitary group, or $2\lceil \lfloor n/2 \rfloor^\varepsilon \rceil$ for a symplectic or orthogonal group. △ Less

Submitted 16 September, 2015; originally announced September 2015.

Journal ref: Bull. Aust. Math. Soc. 94 (2016) 43-47

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

Authors: S. P. Glasby, Frank Lübeck, Alice C. Niemeyer, Cheryl E. Praeger

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

Submitted 9 October, 2016; v1 submitted 10 April, 2015; originally announced April 2015.

Comments: 14 pages, 5 tables in Journal of the Australian Mathematical Society We replaced $n>1$ with $n>2$ in the statement of Bang's theorem on page 2 (we thank Tim Penttila for pointing this out)

MSC Class: 11T22; 11Y40; 20G05

Elements in finite classical groups whose powers have large 1-Eigenspaces

Authors: Alice C. Niemeyer, Cheryl E. Praeger

Abstract: We estimate the proportion of several classes of elements in finite classical groups which are readily recognised algorithmically, and for which some power has a large fixed point subspace and acts irreducibly on a complement of it. The estimates are used in complexity analyses of new recognition algorithms for finite classical groups in arbitrary characteristic. We estimate the proportion of several classes of elements in finite classical groups which are readily recognised algorithmically, and for which some power has a large fixed point subspace and acts irreducibly on a complement of it. The estimates are used in complexity analyses of new recognition algorithms for finite classical groups in arbitrary characteristic. △ Less

Submitted 9 May, 2014; originally announced May 2014.

MSC Class: 20G40 20P05

On complexity of multiplication in finite soluble groups

Authors: M. F. Newman, Alice C. Niemeyer

Abstract: We determine a reasonable upper bound for the complexity of collection from the left to multiply two elements of a finite soluble, or polycyclic, group by restricting attention to certain polycyclic presentations of the group. We determine a reasonable upper bound for the complexity of collection from the left to multiply two elements of a finite soluble, or polycyclic, group by restricting attention to certain polycyclic presentations of the group. △ Less

Submitted 26 August, 2014; v1 submitted 1 May, 2014; originally announced May 2014.

MSC Class: 68Q25; 20D10; 68W30

Fast recognition of alternating groups of unknown degree

Authors: Sebastian Jambor, Martin Leuner, Alice C. Niemeyer, Wilhelm Plesken

Abstract: We present a constructive recognition algorithm to decide whether a given black-box group is isomorphic to an alternating or a symmetric group without prior knowledge of the degree. This eliminates the major gap in known algorithms, as they require the degree as additional input. Our methods are probabilistic and rely on results about proportions of elements with certain properties in alternatin… ▽ More We present a constructive recognition algorithm to decide whether a given black-box group is isomorphic to an alternating or a symmetric group without prior knowledge of the degree. This eliminates the major gap in known algorithms, as they require the degree as additional input. Our methods are probabilistic and rely on results about proportions of elements with certain properties in alternating and symmetric groups. These results are of independent interest; for instance, we establish a lower bound for the proportion of involutions with small support. △ Less

Submitted 16 July, 2013; v1 submitted 4 June, 2013; originally announced June 2013.

Comments: 31 pages, submitted to Journal of Algebra

MSC Class: 20P05; 20B30; 20B40 (Primary) 68Q25; 20-04 (Secondary)

Showcasing straight-line programs with memory via matrix Bruhat decomposition

Authors: Alice C. Niemeyer, Tomasz Popiel, Cheryl E. Praeger, Daniel Rademacher

Abstract: We suggest that straight-line programs designed for algebraic computations should be accompanied by a comprehensive complexity analysis that takes into account both the number of fundamental algebraic operations needed, as well as memory requirements arising during evaluation. We introduce an approach for formalising this idea and, as illustration, construct and analyse straight-line programs for… ▽ More We suggest that straight-line programs designed for algebraic computations should be accompanied by a comprehensive complexity analysis that takes into account both the number of fundamental algebraic operations needed, as well as memory requirements arising during evaluation. We introduce an approach for formalising this idea and, as illustration, construct and analyse straight-line programs for the Bruhat decomposition of $d\times d$ matrices with determinant $1$ over a finite field of order $q$ that have length $O(d^2\log(q))$ and require storing only $O(\log(q))$ matrices during evaluation. △ Less

Submitted 23 April, 2024; v1 submitted 24 May, 2013; originally announced May 2013.

Identifying long cycles in finite alternating and symmetric groups acting on subsets

Authors: Steve Linton, Alice C. Niemeyer, Cheryl E. Praeger

Abstract: Let $H$ be a permutation group on a set $Λ$, which is permutationally isomorphic to a finite alternating or symmetric group $A_n$ or $S_n$ acting on the $k$-element subsets of points from $\{1,\ldots,n\}$, for some arbitrary but fixed $k$. Suppose moreover that no isomorphism with this action is known. We show that key elements of $H$ needed to construct such an isomorphism $\varphi$, such as thos… ▽ More Let $H$ be a permutation group on a set $Λ$, which is permutationally isomorphic to a finite alternating or symmetric group $A_n$ or $S_n$ acting on the $k$-element subsets of points from $\{1,\ldots,n\}$, for some arbitrary but fixed $k$. Suppose moreover that no isomorphism with this action is known. We show that key elements of $H$ needed to construct such an isomorphism $\varphi$, such as those whose image under $\varphi$ is an $n$-cycle or $(n-1)$-cycle, can be recognised with high probability by the lengths of just four of their cycles in $Λ$. △ Less

Submitted 24 April, 2015; v1 submitted 30 May, 2012; originally announced May 2012.

Comments: 45 pages

MSC Class: 20B30; 60C05; 20P05; 05A05

Journal ref: Journal of Algebra Combinatorics Discrete Structures and Applications, Volume: 2, Issue: 2, pp:117-149, 2015

Abundant p-singular elements in finite classical groups

Authors: Alice C. Niemeyer, Tomasz Popiel, Cheryl E. Praeger

Abstract: In 1995, Isaacs, Kantor and Spaltenstein proved that for a finite simple classical group G defined over a field with q elements, and for a prime divisor p of |G| distinct from the characteristic, the proportion of p-singular elements in G (elements with order divisible by p) is at least a constant multiple of (1 - 1/p)/e, where e is the order of q modulo p. Motivated by algorithmic applications, w… ▽ More In 1995, Isaacs, Kantor and Spaltenstein proved that for a finite simple classical group G defined over a field with q elements, and for a prime divisor p of |G| distinct from the characteristic, the proportion of p-singular elements in G (elements with order divisible by p) is at least a constant multiple of (1 - 1/p)/e, where e is the order of q modulo p. Motivated by algorithmic applications, we define a subfamily of p-singular elements, called p-abundant elements, which leave invariant certain "large" subspaces of the natural G-module. We find explicit upper and lower bounds for the proportion of p-abundant elements in G, and prove that it approaches a (positive) limiting value as the dimension of G tends to infinity. It turns out that the limiting proportion of p-abundant elements is at least a constant multiple of the Isaacs-Kantor-Spaltenstein lower bound for the proportion of all p-singular elements. △ Less

Submitted 28 May, 2012; v1 submitted 7 May, 2012; originally announced May 2012.

Journal ref: Journal of Algebra (408), 189-204, 2014

Linear spaces with a line-transitive point-imprimitive automorphism group and Fang-Li parameter gcd(k,r) at most eight

Authors: Anton Betten, Anne Delandtsheer, Maska Law, Alice C. Niemeyer, Cheryl E. Praeger, Shenglin Zhou

Abstract: In 1991, Weidong Fang and Huiling Li proved that there are only finitely many non-trivial linear spaces that admit a line-transitive, point-imprimitive group action, for a given value of gcd(k,r), where k is the line size and r is the number of lines on a point. The aim of this paper is to make that result effective. We obtain a classification of all linear spaces with this property having gcd(k… ▽ More In 1991, Weidong Fang and Huiling Li proved that there are only finitely many non-trivial linear spaces that admit a line-transitive, point-imprimitive group action, for a given value of gcd(k,r), where k is the line size and r is the number of lines on a point. The aim of this paper is to make that result effective. We obtain a classification of all linear spaces with this property having gcd(k,r) at most 8. To achieve this we collect together existing theory, and prove additional theoretical restrictions of both a combinatorial and group theoretic nature. These are organised into a series of algorithms that, for gcd(k,r) up to a given maximum value, return a list of candidate parameter values and candidate groups. We examine in detail each of the possibilities returned by these algorithms for gcd(k,r) at most 8, and complete the classification in this case. △ Less

Submitted 31 January, 2007; v1 submitted 23 January, 2007; originally announced January 2007.

Comments: 47 pages Version 1 had bbl file omitted. Apologies

MSC Class: 05B05 (Primary); 05B25; 20B25 (Secondary)

Journal ref: Acta Mathematica Sinica, English Series. 25 (2009), 1399-1436

On the frequency of permutations containing a long cycle

Authors: Alice C. Niemeyer, Cheryl E. Praeger

Abstract: A general explicit upper bound is obtained for the proportion $P(n,m)$ of elements of order dividing $m$, where $n-1 \le m \le cn$ for some constant $c$, in the finite symmetric group $S_n$. This is used to find lower bounds for the conditional probabilities that an element of $S_n$ or $A_n$ contains an $r$-cycle, given that it satisfies an equation of the form $x^{rs}=1$ where $s\leq3$. For exa… ▽ More A general explicit upper bound is obtained for the proportion $P(n,m)$ of elements of order dividing $m$, where $n-1 \le m \le cn$ for some constant $c$, in the finite symmetric group $S_n$. This is used to find lower bounds for the conditional probabilities that an element of $S_n$ or $A_n$ contains an $r$-cycle, given that it satisfies an equation of the form $x^{rs}=1$ where $s\leq3$. For example, the conditional probability that an element $x$ is an $n$-cycle, given that $x^n=1$, is always greater than 2/7, and is greater than 1/2 if $n$ does not divide 24. Our results improve estimates of these conditional probabilities in earlier work of the authors with Beals, Leedham-Green and Seress, and have applications for analysing black-box recognition algorithms for the finite symmetric and alternating groups. △ Less

Submitted 23 March, 2006; originally announced March 2006.

MSC Class: 20B30

Journal ref: Journal of Algebra, 300(1), 289-304, 2006