-
Polynomial-time proofs that groups are hyperbolic
Authors:
Derek Holt,
Stephen Linton,
Max Neunhoeffer,
Richard Parker,
Markus Pfeiffer,
Colva M. Roney-Dougal
Abstract:
It is undecidable in general whether a given finitely presented group is word hyperbolic. We use the concept of pregroups, introduced by Stallings, to define a new class of van Kampen diagrams, which represent groups as quotients of virtually free groups. We then present a polynomial-time procedure which analyses these diagrams, and either returns an explicit linear Dehn function for the presentat…
▽ More
It is undecidable in general whether a given finitely presented group is word hyperbolic. We use the concept of pregroups, introduced by Stallings, to define a new class of van Kampen diagrams, which represent groups as quotients of virtually free groups. We then present a polynomial-time procedure which analyses these diagrams, and either returns an explicit linear Dehn function for the presentation, or returns fail, together with its reasons for failure. Furthermore, if our procedure succeeds we are often able to produce in polynomial time a word problem solver for the presentation that runs in linear time. Our algorithms have been implemented, and are often many orders of magnitude faster than KBMAG, the only comparable publicly available software.
△ Less
Submitted 21 August, 2020; v1 submitted 23 May, 2019;
originally announced May 2019.
-
FinInG: a package for Finite Incidence Geometry
Authors:
John Bamberg,
Anton Betten,
Philippe Cara,
Jan De Beule,
Max Neunhöffer,
Michel Lavrauw
Abstract:
FinInG is a package for computation in Finite Incidence Geometry. It provides users with the basic tools to work in various areas of finite geometry from the realms of projective spaces to the flat lands of generalised polygons. The algebraic power of GAP is exploited, particularly in its facility with matrix and permutation groups.
FinInG is a package for computation in Finite Incidence Geometry. It provides users with the basic tools to work in various areas of finite geometry from the realms of projective spaces to the flat lands of generalised polygons. The algebraic power of GAP is exploited, particularly in its facility with matrix and permutation groups.
△ Less
Submitted 16 June, 2016;
originally announced June 2016.
-
Embeddings into Thompson's group $V$ and $co\mathcal{CF}$ groups
Authors:
Collin Bleak,
Francesco Matucci,
Max Neunhöffer
Abstract:
Lehnert and Schweitzer show in [20] that R. Thompson's group $V$ is a co-context-free ($co\mathcal{CF}$) group, thus implying that all of its finitely generated subgroups are also $co\mathcal{CF}$ groups. Also, Lehnert shows in his thesis that $V$ embeds inside the $co\mathcal{CF}$ group $\mathrm{QAut}(\mathcal{T}_{2,c})$, which is a group of particular bijections on the vertices of an infinite bi…
▽ More
Lehnert and Schweitzer show in [20] that R. Thompson's group $V$ is a co-context-free ($co\mathcal{CF}$) group, thus implying that all of its finitely generated subgroups are also $co\mathcal{CF}$ groups. Also, Lehnert shows in his thesis that $V$ embeds inside the $co\mathcal{CF}$ group $\mathrm{QAut}(\mathcal{T}_{2,c})$, which is a group of particular bijections on the vertices of an infinite binary $2$-edge-colored tree, and he conjectures that $\mathrm{QAut}(\mathcal{T}_{2,c})$ is a universal $co\mathcal{CF}$ group. We show that $\mathrm{QAut}(\mathcal{T}_{2,c})$ embeds into $V$, and thus obtain a new form for Lehnert's conjecture. Following up on these ideas, we begin work to build a representation theory into R. Thompson's group $V$. In particular we classify precisely which Baumslag-Solitar groups embed into $V$.
△ Less
Submitted 6 December, 2013;
originally announced December 2013.
-
Sporadic neighbour-transitive codes in Johnson graphs
Authors:
Max Neunhoeffer,
Cheryl E Praeger
Abstract:
We classify the neighbour-transitive codes in Johnson graphs J(v, k) of minimum distance at least three which admit a neighbour-transitive group of automorphisms that is an almost simple two-transitive group of degree v and does not occur in an infinite family of two-transitive groups. The result of this classification is a table of 22 codes with these properties. Many have relatively large minimu…
▽ More
We classify the neighbour-transitive codes in Johnson graphs J(v, k) of minimum distance at least three which admit a neighbour-transitive group of automorphisms that is an almost simple two-transitive group of degree v and does not occur in an infinite family of two-transitive groups. The result of this classification is a table of 22 codes with these properties. Many have relatively large minimum distance in comparison to their length v and number of code words. We construct an additional five neighbour-transitive codes with minimum distance two admitting such a group. All 27 codes are t-designs with t at least two.
△ Less
Submitted 1 August, 2013;
originally announced August 2013.
-
Deciding Word Problems of Semigroups using Finite State Automata
Authors:
Max Neunhöffer,
Markus Pfeiffer,
Nik Ruskuc
Abstract:
We explore a natural class of semigroups that have word problem decidable by finite state automata. Among the main results are invariance of this property under change of generators, invariance under basic algebraic constructions and algebraic properties of these semigroups.
We explore a natural class of semigroups that have word problem decidable by finite state automata. Among the main results are invariance of this property under change of generators, invariance under basic algebraic constructions and algebraic properties of these semigroups.
△ Less
Submitted 16 October, 2019; v1 submitted 8 June, 2012;
originally announced June 2012.
-
The classification of normalizing groups
Authors:
João Araújo,
Peter J. Cameron,
James Mitchell,
Max Neunhöffer
Abstract:
Let $X$ be a finite set such that $|X|=n$. Let $\trans$ and $\sym$ denote respectively the transformation monoid and the symmetric group on $n$ points. Given $a\in \trans\setminus \sym$, we say that a group $G\leq \sym$ is $a$-normalizing if $$<a,G> \setminus G=<g^{-1}ag\mid g\in G>.$$ If $G$ is $a$-normalizing for all $a\in \trans\setminus \sym$, then we say that $G$ is normalizing. The goal of t…
▽ More
Let $X$ be a finite set such that $|X|=n$. Let $\trans$ and $\sym$ denote respectively the transformation monoid and the symmetric group on $n$ points. Given $a\in \trans\setminus \sym$, we say that a group $G\leq \sym$ is $a$-normalizing if $$<a,G> \setminus G=<g^{-1}ag\mid g\in G>.$$ If $G$ is $a$-normalizing for all $a\in \trans\setminus \sym$, then we say that $G$ is normalizing. The goal of this paper is to classify normalizing groups and hence answer a question posed elsewhere. The paper ends with a number of problems for experts in groups, semigroups and matrix theory.
△ Less
Submitted 4 October, 2012; v1 submitted 2 May, 2012;
originally announced May 2012.
-
A new construction of the asymptotic algebra associated to the $q$-Schur algebra
Authors:
Olivier Brunat,
Max Neunhöffer
Abstract:
We denote by A the ring of Laurent polynomials in the indeterminate v and by K its field of fractions. In this paper, we are interested in representation theory of the "generic" q-Schur algebra S_q(n,r) over A. We will associate to every non-degenerate symmetrising trace form τon KS_q(n,r) a subalgebra J_τ of KS_q(n,r) which is isomorphic to the "asymptotic" algebra \J(n,r)_A defined by J. Du. A…
▽ More
We denote by A the ring of Laurent polynomials in the indeterminate v and by K its field of fractions. In this paper, we are interested in representation theory of the "generic" q-Schur algebra S_q(n,r) over A. We will associate to every non-degenerate symmetrising trace form τon KS_q(n,r) a subalgebra J_τ of KS_q(n,r) which is isomorphic to the "asymptotic" algebra \J(n,r)_A defined by J. Du. As a consequence, we give a new criterion for James' conjecture.
△ Less
Submitted 13 October, 2008;
originally announced October 2008.
-
Formulas for primitive Idempotents in Frobenius Algebras and an Application to Decomposition maps
Authors:
Max Neunhoeffer,
Sarah Scherotzke
Abstract:
In the first part of this paper we present explicit formulas for primitive idempotents in arbitrary Frobenius algebras using the entries of representing matrices coming from projective indecomposable modules with respect to a certain choice of basis. The proofs use a generalisation of the well known Frobenius-Schur relations for semisimple algebras.
The second part of this paper considers…
▽ More
In the first part of this paper we present explicit formulas for primitive idempotents in arbitrary Frobenius algebras using the entries of representing matrices coming from projective indecomposable modules with respect to a certain choice of basis. The proofs use a generalisation of the well known Frobenius-Schur relations for semisimple algebras.
The second part of this paper considers $\Oh$-free $\Oh$-algebras of finite $\Oh$-rank over a discrete valuation ring $\Oh$ and their decomposition maps under modular reduction modulo the maximal ideal of $\Oh$, thereby studying the modular representation theory of such algebras.
Using the formulas from the first part we derive general criteria for such a decomposition map to be an isomorphism that preserves the classes of simple modules involving explicitly known matrix representations on projective indecomposable modules.
Finally we show how this approach could eventually be used to attack a conjecture by Gordon James in the formulation of Meinolf Geck for Iwahori-Hecke-Algebras, provided the necessary matrix representations on projective indecomposable modules could be constructed explicitly.
△ Less
Submitted 4 March, 2008;
originally announced March 2008.
-
Computing Minimal Polynomials of Matrices
Authors:
Max Neunhoeffer,
Cheryl E. Praeger
Abstract:
We present and analyse a Monte-Carlo algorithm to compute the minimal polynomial of an $n\times n$ matrix over a finite field that requires $O(n^3)$ field operations and O(n) random vectors, and is well suited for successful practical implementation. The algorithm, and its complexity analysis, use standard algorithms for polynomial and matrix operations. We compare features of the algorithm with…
▽ More
We present and analyse a Monte-Carlo algorithm to compute the minimal polynomial of an $n\times n$ matrix over a finite field that requires $O(n^3)$ field operations and O(n) random vectors, and is well suited for successful practical implementation. The algorithm, and its complexity analysis, use standard algorithms for polynomial and matrix operations. We compare features of the algorithm with several other algorithms in the literature. In addition we present a deterministic verification procedure which is similarly efficient in most cases but has a worst-case complexity of $O(n^4)$. Finally, we report the results of practical experiments with an implementation of our algorithms in comparison with the current algorithms in the {\sf GAP} library.
△ Less
Submitted 7 April, 2008; v1 submitted 7 May, 2007;
originally announced May 2007.
-
Generalised sifting in black-box groups
Authors:
Sophie Ambrose,
Max Neunhoeffer,
Cheryl E. Praeger,
Csaba Schneider
Abstract:
We present a generalisation of the sifting procedure introduced originally by Sims for computation with finite permutation groups, and now used for many computational procedures for groups, such as membership testing and finding group orders. Our procedure is a Monte Carlo algorithm, and is presented and analysed in the context of black-box groups. It is based on a chain of subsets instead of a…
▽ More
We present a generalisation of the sifting procedure introduced originally by Sims for computation with finite permutation groups, and now used for many computational procedures for groups, such as membership testing and finding group orders. Our procedure is a Monte Carlo algorithm, and is presented and analysed in the context of black-box groups. It is based on a chain of subsets instead of a subgroup chain. Two general versions of the procedure are worked out in detail, and applications are given for membership tests for several of the sporadic simple groups.
Our major objective was that the procedures could be proved to be Monte Carlo algorithms, and their costs computed. In addition we explicitly determined suitable subset chains for six of the sporadic groups, and we implemented the algorithms involving these chains in the {\sf GAP} computational algebra system. It turns out that sample implementations perform well in practice. The implementations will be made available publicly in the form of a {\sf GAP} package.
△ Less
Submitted 3 November, 2005; v1 submitted 21 January, 2005;
originally announced January 2005.
