Showing 1–25 of 25 results for author: Wilson, J B

Categorification of characteristic structures

Authors: Peter A. Brooksbank, Heiko Dietrich, Joshua Maglione, E. A. O'Brien, James B. Wilson

Abstract: We develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and description often rely on specific knowledge of the parent object and its automorphisms. In many cases, questions of reproducibility and comparison arise. Here we present… ▽ More We develop a representation theory of categories as a means to explore characteristic structures in algebra. Characteristic structures play a critical role in isomorphism testing of groups and algebras, and their construction and description often rely on specific knowledge of the parent object and its automorphisms. In many cases, questions of reproducibility and comparison arise. Here we present a categorical framework that addresses these questions. We prove that every characteristic structure is the image of a functor equipped with a natural transformation. This shifts the local description in the parent object to a global one in the ambient category. Through constructions in representation theory, such as tensor products, we can combine characteristic structure across multiple categories. Our results are constructive, stated in the language of a constructive type theory, which facilitates implementations in theorem checkers. △ Less

Submitted 3 February, 2025; originally announced February 2025.

Comments: 47 pages

Detecting null patterns in tensor data

Authors: Peter A. Brooksbank, Martin D. Kassabov, James B. Wilson

Abstract: This article introduces a class of efficiently computable null patterns for tensor data. The class includes familiar patterns such as block-diagonal decompositions explored in statistics and signal processing, low-rank tensor decompositions, and Tucker decompositions. It also includes a new family of null patterns -- not known to be detectable by current methods -- that can be thought of as contin… ▽ More This article introduces a class of efficiently computable null patterns for tensor data. The class includes familiar patterns such as block-diagonal decompositions explored in statistics and signal processing, low-rank tensor decompositions, and Tucker decompositions. It also includes a new family of null patterns -- not known to be detectable by current methods -- that can be thought of as continuous decompositions approximating curves and surfaces. We present a general algorithm to detect null patterns in each class using a parameter we call a \textit{chisel} that tunes the search to patterns of a prescribed shape. We also show that the patterns output by the algorithm are essentially unique. △ Less

Submitted 17 June, 2025; v1 submitted 30 August, 2024; originally announced August 2024.

Comments: 17 pages, 8 figures

MSC Class: 15A69; 15A72

Isomorphism invariant metrics

Authors: P. A. Brooksbank, J. F. Maglione, E. A. O'Brien, J. B. Wilson

Abstract: Within a category $\mathtt{C}$, having objects $\mathtt{C}_0$, it may be instructive to know not only that two objects are non-isomorphic, but also how far from being isomorphic they are. We introduce pseudo-metrics $d:\mathtt{C}_0 \times \mathtt{C}_0 \to [0,\infty]$ with the property that $x\cong y$ implies $d(x,y)=0$. We also give a canonical construction that associates to each isomorphism inva… ▽ More Within a category $\mathtt{C}$, having objects $\mathtt{C}_0$, it may be instructive to know not only that two objects are non-isomorphic, but also how far from being isomorphic they are. We introduce pseudo-metrics $d:\mathtt{C}_0 \times \mathtt{C}_0 \to [0,\infty]$ with the property that $x\cong y$ implies $d(x,y)=0$. We also give a canonical construction that associates to each isomorphism invariant a pseudo-metric satisfying that condition. This guarantees a large source of isomorphism invariant pseudo-metrics. We examine such pseudo-metrics for invariants in various categories. △ Less

Submitted 2 April, 2023; originally announced April 2023.

Comments: 16 pages

Group isomorphism is nearly-linear time for most orders

Authors: Heiko Dietrich, James B. Wilson

Abstract: We show that there is a dense set $\ourset\subseteq \mathbb{N}$ of group orders and a constant $c$ such that for every $n\in \ourset$ we can decide in time $O(n^2(\log n)^c)$ whether two $n\times n$ multiplication tables describe isomorphic groups of order $n$. This improves significantly over the general $n^{O(\log n)}$-time complexity and shows that group isomorphism can be tested efficiently fo… ▽ More We show that there is a dense set $\ourset\subseteq \mathbb{N}$ of group orders and a constant $c$ such that for every $n\in \ourset$ we can decide in time $O(n^2(\log n)^c)$ whether two $n\times n$ multiplication tables describe isomorphic groups of order $n$. This improves significantly over the general $n^{O(\log n)}$-time complexity and shows that group isomorphism can be tested efficiently for almost all group orders $n$. We also show that in time $O(n^2 (\log n)^c)$ it can be decided whether an $n\times n$ multiplication table describes a group; this improves over the known $O(n^3)$ complexity. Our complexities are calculated for a deterministic multi-tape Turing machine model. We give the implications to a RAM model in the promise hierarchy as well. △ Less

Submitted 10 April, 2021; v1 submitted 5 November, 2020; originally announced November 2020.

Comments: 16 pages

MSC Class: 20-80; 68Q25 ACM Class: F.2.2; I.1.2

Subgroups of simple groups are as diverse as possible

Authors: Martin Kassabov, Brady A. Tyburski, James B. Wilson

Abstract: For a finite group $G$, let $σ(G)$ be the number of subgroups of $G$ and $σ_ι(G)$ the number of isomorphism types of subgroups of $G$. Let $L=L_r(p^e)$ denote a simple group of Lie type, rank $r$, over a field of order $p^e$ and characteristic $p$. If $r\neq 1$, $L\not\cong {^2 B_2}(2^{1+2m})$, then there are constants $c,d$, dependent on the Lie type, such that as $re$ grows… ▽ More For a finite group $G$, let $σ(G)$ be the number of subgroups of $G$ and $σ_ι(G)$ the number of isomorphism types of subgroups of $G$. Let $L=L_r(p^e)$ denote a simple group of Lie type, rank $r$, over a field of order $p^e$ and characteristic $p$. If $r\neq 1$, $L\not\cong {^2 B_2}(2^{1+2m})$, then there are constants $c,d$, dependent on the Lie type, such that as $re$ grows $$p^{(c-o(1))r^4e^2}\leqσ_ι(L_r(p^e))\leqσ(L_r(p^e)) \leq p^{(d+o(1))r^4e^2}.$$ For type $A$, $c=d=1/64$. For other classical groups $1/64\leq c\leq d\leq 1/4$. For exceptional and twisted groups $1/2^{100}\leq c\leq d\leq 1/4$. Furthermore, $$2^{(1/36-o(1))k^2)}\leqσ_ι(\mathrm{Alt}_k)\leq σ(\mathrm{Alt}_k)\leq 24^{(1/6+o(1))k^2}.$$ For abelian and sporadic simple groups $G$, $σ_ι(G),σ(G)\in O(1)$. In general these bounds are best possible amongst groups of the same orders. Thus with the exception of finite simple groups with bounded ranks and field degrees, the subgroups of finite simple groups are as diverse as possible. △ Less

Submitted 11 August, 2020; v1 submitted 20 July, 2020; originally announced July 2020.

MSC Class: 20F69; 20E32; 20E07

Tensor Isomorphism by conjugacy of Lie algebras

Authors: Peter A. Brooksbank, Joshua Maglione, James B. Wilson

Abstract: We introduce an algorithm to decide isomorphism between tensors. The algorithm uses the Lie algebra of derivations of a tensor to compress the space in which the search takes place to a so-called densor space. To make the method practicable we give a polynomial-time algorithm to solve a generalization of module isomorphism for a common class of Lie modules. As a consequence, we show that isomorphi… ▽ More We introduce an algorithm to decide isomorphism between tensors. The algorithm uses the Lie algebra of derivations of a tensor to compress the space in which the search takes place to a so-called densor space. To make the method practicable we give a polynomial-time algorithm to solve a generalization of module isomorphism for a common class of Lie modules. As a consequence, we show that isomorphism testing is in polynomial time for tensors whose derivation algebras are classical Lie algebras and whose densor spaces are 1-dimensional. The method has been implemented in the Magma computer algebra system. △ Less

Submitted 19 April, 2022; v1 submitted 8 May, 2020; originally announced May 2020.

Comments: 15 pages

MSC Class: 15A69; 17B10; 17-08

Journal ref: J. Algebra 604 (2022), 790--807

A spectral theory for transverse tensor operators

Authors: Uriya First, Joshua Maglione, James B. Wilson

Abstract: Tensors are multiway arrays of data, and transverse operators are the operators that change the frame of reference. We develop the spectral theory of transverse tensor operators and apply it to problems closely related to classifying quantum states of matter, isomorphism in algebra, clustering in data, and the design of high performance tensor type-systems. We prove the existence and uniqueness of… ▽ More Tensors are multiway arrays of data, and transverse operators are the operators that change the frame of reference. We develop the spectral theory of transverse tensor operators and apply it to problems closely related to classifying quantum states of matter, isomorphism in algebra, clustering in data, and the design of high performance tensor type-systems. We prove the existence and uniqueness of the optimally-compressed tensor product spaces over algebras, called \emph{densors}. This gives structural insights for tensors and improves how we recognize tensors in arbitrary reference frames. Using work of Eisenbud--Sturmfels on binomial ideals, we classify the maximal groups and categories of transverse operators, leading us to general tensor data types and categorical tensor decompositions, amenable to theorems like Jordan--Hölder and Krull--Schmidt. All categorical tensor substructure is detected by transverse operators whose spectra contain a Stanley--Reisner ideal, which can be analyzed with combinatorial and geometrical tools via their simplicial complexes. Underpinning this is a ternary Galois correspondence between tensor spaces, multivariable polynomial ideals, and transverse operators. This correspondence can be computed in polynomial time. We give an implementation in the computer algebra system \textsf{Magma}. △ Less

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

Comments: 45 pages, 6 figures

MSC Class: 15A69; 46B28; 47A80; 16W22

Incorporating Weisfeiler-Leman into algorithms for group isomorphism

Authors: Peter A. Brooksbank, Joshua A. Grochow, Yinan Li, Youming Qiao, James B. Wilson

Abstract: In this paper we combine many of the standard and more recent algebraic techniques for testing isomorphism of finite groups (GpI) with combinatorial techniques that have typically been applied to Graph Isomorphism. In particular, we show how to combine several state-of-the-art GpI algorithms for specific group classes into an algorithm for general GpI, namely: composition series isomorphism (Rosen… ▽ More In this paper we combine many of the standard and more recent algebraic techniques for testing isomorphism of finite groups (GpI) with combinatorial techniques that have typically been applied to Graph Isomorphism. In particular, we show how to combine several state-of-the-art GpI algorithms for specific group classes into an algorithm for general GpI, namely: composition series isomorphism (Rosenbaum-Wagner, Theoret. Comp. Sci., 2015; Luks, 2015), recursively-refineable filters (Wilson, J. Group Theory, 2013), and low-genus GpI (Brooksbank-Maglione-Wilson, J. Algebra, 2017). Recursively-refineable filters -- a generalization of subgroup series -- form the skeleton of this framework, and we refine our filter by building a hypergraph encoding low-genus quotients, to which we then apply a hypergraph variant of the k-dimensional Weisfeiler-Leman technique. Our technique is flexible enough to readily incorporate additional hypergraph invariants or additional characteristic subgroups. △ Less

Submitted 6 May, 2019; originally announced May 2019.

Comments: 42 pages; 2 figures

MSC Class: 68Q25; 20D30; 15A69

A Frobenius-Schreier-Sims Algorithm to tensor decompose algebras

Authors: Ian Holm Kessler, Henry Kvinge, James B. Wilson

Abstract: We introduce a decomposition of associative algebras into a tensor product of cyclic modules. This produces a means to encode a basis with logarithmic information and thus extends the reach of calculation with large algebras. Our technique is an analogue to the Schreier-Sims algorithm for permutation groups and is a by-product of Frobenius reciprocity. We introduce a decomposition of associative algebras into a tensor product of cyclic modules. This produces a means to encode a basis with logarithmic information and thus extends the reach of calculation with large algebras. Our technique is an analogue to the Schreier-Sims algorithm for permutation groups and is a by-product of Frobenius reciprocity. △ Less

Submitted 15 December, 2018; v1 submitted 8 December, 2018; originally announced December 2018.

Comments: 15 pages, added additional acknowledgments

Exact sequences of inner automorphisms of tensors

Authors: Peter A. Brooksbank, Joshua Maglione, James B. Wilson

Abstract: We produce a long exact sequence whose terms are unit groups of associative algebras that behave as inner automorphisms of a given tensor. Our sequence generalizes known sequences for associative and non-associative algebras. In a manner similar to those, our sequence facilitates inductive reasoning about, and calculation of the groups of symmetries of a tensor. The new insights these methods affo… ▽ More We produce a long exact sequence whose terms are unit groups of associative algebras that behave as inner automorphisms of a given tensor. Our sequence generalizes known sequences for associative and non-associative algebras. In a manner similar to those, our sequence facilitates inductive reasoning about, and calculation of the groups of symmetries of a tensor. The new insights these methods afford can be applied to problems ranging from understanding algebraic structures to distinguishing entangled states in particle physics. △ Less

Submitted 6 July, 2019; v1 submitted 1 December, 2018; originally announced December 2018.

Comments: 16 pages, 2 figures

MSC Class: 15A69; 16E99

Journal ref: J. Algebra, 2020, 545, 43--63

Isomorphism testing of groups of cube-free order

Authors: Heiko Dietrich, James B. Wilson

Abstract: A group $G$ has cube-free order if no prime to the third power divides $|G|$. We describe an algorithm that given two cube-free groups $G$ and $H$ of known order, decides whether $G\cong H$, and, if so, constructs an isomorphism $G\to H$. If the groups are input as permutation groups, then our algorithm runs in time polynomial in the input size, improving on the previous super-polynomial bound. An… ▽ More A group $G$ has cube-free order if no prime to the third power divides $|G|$. We describe an algorithm that given two cube-free groups $G$ and $H$ of known order, decides whether $G\cong H$, and, if so, constructs an isomorphism $G\to H$. If the groups are input as permutation groups, then our algorithm runs in time polynomial in the input size, improving on the previous super-polynomial bound. An implementation of our algorithm is provided for the computer algebra system {\sf GAP}. △ Less

Submitted 4 October, 2018; originally announced October 2018.

Comments: arXiv admin note: substantial text overlap with arXiv:1806.08872

Journal ref: J. Algebra 2019

Polynomial-time isomorphism testing of groups of most finite orders

Authors: Heiko Dietrich, James B. Wilson

Abstract: [PLEASE SEE COMMENT] We consider the isomorphism problem for finite abelian groups and finite meta-cyclic groups. We prove that for a dense set of positive integers $n$, isomorphism testing for abelian groups of black-box type of order $n$ can be done in time polynomial in $\log n$. We also prove that for a dense set of orders $n$ with given prime factors, one can test isomorphism for coprime meta… ▽ More [PLEASE SEE COMMENT] We consider the isomorphism problem for finite abelian groups and finite meta-cyclic groups. We prove that for a dense set of positive integers $n$, isomorphism testing for abelian groups of black-box type of order $n$ can be done in time polynomial in $\log n$. We also prove that for a dense set of orders $n$ with given prime factors, one can test isomorphism for coprime meta-cyclic groups of black-box type of order $n$ in time polynomial in $\log n$. Prior methods for these two classes of groups have running times exponential in $\log n$. △ Less

Submitted 1 September, 2021; v1 submitted 22 June, 2018; originally announced June 2018.

Comments: This draft contains some erroneous statements and some proofs have gaps; please refer to the following publications for corrections. (1) Isomorphism testing of groups of cube-free order. J. Algebra 545 (2020) 174-197. (2) Group isomorphism is nearly-linear time for most orders. FOCS 2021 (accepted, arXiv:2011.03133) (3) The content on groups of black-box type will be revised in a different draft

MSC Class: 20B05; 20B40; 20K30; 03D15

Testing isomorphism of graded algebras

Authors: Peter A. Brooksbank, E. A. O'Brien, James B. Wilson

Abstract: We present a new algorithm to decide isomorphism between finite graded algebras. For a broad class of nilpotent Lie algebras, we demonstrate that it runs in time polynomial in the order of the input algebras. We introduce heuristics that often dramatically improve the performance of the algorithm and report on an implementation in Magma. We present a new algorithm to decide isomorphism between finite graded algebras. For a broad class of nilpotent Lie algebras, we demonstrate that it runs in time polynomial in the order of the input algebras. We introduce heuristics that often dramatically improve the performance of the algorithm and report on an implementation in Magma. △ Less

Submitted 2 May, 2019; v1 submitted 29 August, 2017; originally announced August 2017.

MSC Class: 17B70

Journal ref: Trans. Amer. Math. Soc. 2019

The threshold for subgroup profiles to agree is $Ω(\log n)$

Authors: James B. Wilson

Abstract: For primes $p,e>2$ there are at least $p^{e-3}/e$ groups of order $p^{2e+2}$ that have equal multisets of isomorphism types of proper subgroups and proper quotient groups, isomorphic character tables, and power maps. This obstructs recent speculation concerning a path towards efficient isomorphism tests for general finite groups. These groups have a special purpose polylogarithmic-time isomorphism… ▽ More For primes $p,e>2$ there are at least $p^{e-3}/e$ groups of order $p^{2e+2}$ that have equal multisets of isomorphism types of proper subgroups and proper quotient groups, isomorphic character tables, and power maps. This obstructs recent speculation concerning a path towards efficient isomorphism tests for general finite groups. These groups have a special purpose polylogarithmic-time isomorphism test. △ Less

Submitted 20 December, 2016; v1 submitted 5 December, 2016; originally announced December 2016.

MSC Class: 20E07

Journal ref: Theory of Computing, 2019, 15, (19) 1--25

A fast isomorphism test for groups of genus 2

Authors: Peter A. Brooksbank, Joshua Maglione, James B. Wilson

Abstract: Motivated by the need for efficient isomorphism tests for finite groups, we present a polynomial-time method for deciding isomorphism within a class of groups that is well-suited to studying local properties of general finite groups. We also report on the performance of an implementation of the algorithm in the computer algebra system {\sc magma}. Motivated by the need for efficient isomorphism tests for finite groups, we present a polynomial-time method for deciding isomorphism within a class of groups that is well-suited to studying local properties of general finite groups. We also report on the performance of an implementation of the algorithm in the computer algebra system {\sc magma}. △ Less

Submitted 12 August, 2015; originally announced August 2015.

Comments: 39 pages, 5 figures

MSC Class: 20D15; 20D45; 15A22; 20B40

Journal ref: J. Algebra, 2017 (473) 545--590

Skolem-Noether for nilpotent products

Authors: James B. Wilson

Abstract: We consider the structure of groups and algebras that can be represented as automorphisms or derivations of distributive products -- which includes nonassociative rings, modules, forms, and commutation of groups and nonassociative loops. In many ways this is too broad to be possible, for instance even naive structure, such as inner automorphisms and derivations, are undefined for general bilinear… ▽ More We consider the structure of groups and algebras that can be represented as automorphisms or derivations of distributive products -- which includes nonassociative rings, modules, forms, and commutation of groups and nonassociative loops. In many ways this is too broad to be possible, for instance even naive structure, such as inner automorphisms and derivations, are undefined for general bilinear maps. The appeal for working in this generality is broad applicability. We introduce fundamental structures and prove several results akin to ones in ring theory, including theorems of Morita and of Skolem-Noether type. Applications and examples are included. △ Less

Submitted 26 October, 2015; v1 submitted 15 July, 2015; originally announced July 2015.

Comments: 29 pages, 2 figures, 1 table

Journal ref: Comm. Algebra, 2017, 45 (4) 1452-1478

New Lie products for groups and their automorphisms

Authors: James B. Wilson

Abstract: We generalize the common notion of descending and ascending central series. The descending approach determines a naturally graded Lie ring and the ascending version determines a graded module for this ring. We also link derivations of these rings to the automorphisms of a group. This uncovers new structure in 4/5 of the approximately 11.8 million groups of size at most 1000 and beyond that point p… ▽ More We generalize the common notion of descending and ascending central series. The descending approach determines a naturally graded Lie ring and the ascending version determines a graded module for this ring. We also link derivations of these rings to the automorphisms of a group. This uncovers new structure in 4/5 of the approximately 11.8 million groups of size at most 1000 and beyond that point pertains to at least a positive logarithmic proportion of all finite groups. △ Less

Submitted 22 January, 2015; v1 submitted 19 January, 2015; originally announced January 2015.

MSC Class: 20D30; 20D15; 20D25

Longer nilpotent series

Authors: James B. Wilson

Abstract: New nilpotent series are produced that refine the usual nilpotent series of a group. These refinements can be arbitrarily longer than the series they refine and therefore clarify in greater detail the structure of automorphisms of nilpotent groups. Examples, properties, and an application to group-isomorphism testing are provided. New nilpotent series are produced that refine the usual nilpotent series of a group. These refinements can be arbitrarily longer than the series they refine and therefore clarify in greater detail the structure of automorphisms of nilpotent groups. Examples, properties, and an application to group-isomorphism testing are provided. △ Less

Submitted 13 March, 2013; originally announced March 2013.

Journal ref: J. Group Theory, 16, 6 (2013) 875-897

Groups acting on tensor products

Authors: Peter A. Brooksbank, James B. Wilson

Abstract: Groups preserving a distributive product are encountered often in algebra. Examples include automorphism groups of associative and nonassociative rings, classical groups, and automorphism groups of p-groups. While the great variety of such products precludes any realistic hope of describing the general structure of the groups that preserve them, it is reasonable to expect that insight may be gaine… ▽ More Groups preserving a distributive product are encountered often in algebra. Examples include automorphism groups of associative and nonassociative rings, classical groups, and automorphism groups of p-groups. While the great variety of such products precludes any realistic hope of describing the general structure of the groups that preserve them, it is reasonable to expect that insight may be gained from an examination of the universal distributive products: tensor products. We give a detailed description of the groups preserving tensor products over semisimple and semiprimary rings, and present effective algorithms to construct generators for these groups. We also discuss applications of our methods to algorithmic problems for which all currently known methods require an exponential amount of work. △ Less

Submitted 2 October, 2012; originally announced October 2012.

MSC Class: 20H20; 15A69

Journal ref: J. Pure Appl. Alge. 218 (2014) 405-416

Isomorphism in expanding families of indistinguishable groups

Authors: Mark L. Lewis, James B. Wilson

Abstract: For every odd prime $p$ and every integer $n\geq 12$ there is a Heisenberg group of order $p^{5n/4+O(1)}$ that has $p^{n^2/24+O(n)}$ pairwise nonisomorphic quotients of order $p^{n}$. Yet, these quotients are virtually indistinguishable. They have isomorphic character tables, every conjugacy class of a non-central element has the same size, and every element has order at most $p$. They are also di… ▽ More For every odd prime $p$ and every integer $n\geq 12$ there is a Heisenberg group of order $p^{5n/4+O(1)}$ that has $p^{n^2/24+O(n)}$ pairwise nonisomorphic quotients of order $p^{n}$. Yet, these quotients are virtually indistinguishable. They have isomorphic character tables, every conjugacy class of a non-central element has the same size, and every element has order at most $p$. They are also directly and centrally indecomposable and of the same indecomposability type. The recognized portions of their automorphism groups are isomorphic, represented isomorphically on their abelianizations, and of small index in their full automorphism groups. Nevertheless, there is a polynomial-time algorithm to test for isomorphisms between these groups. △ Less

Submitted 13 October, 2011; v1 submitted 26 October, 2010; originally announced October 2010.

Comments: 28 pages

MSC Class: 20B40; 20C15; 68Q15

Journal ref: Groups Complex. Cryptol. 4 (2012), 73 - 110

Division, adjoints, and dualities of bilinear maps

Authors: James B. Wilson

Abstract: The distributive property can be studied through bilinear maps and various morphisms between these maps. The adjoint-morphisms between bilinear maps establish a complete abelian category with projectives and admits a duality. Thus the adjoint category is not a module category but nevertheless it is suitably familiar. The universal properties have geometric perspectives. For example, products are o… ▽ More The distributive property can be studied through bilinear maps and various morphisms between these maps. The adjoint-morphisms between bilinear maps establish a complete abelian category with projectives and admits a duality. Thus the adjoint category is not a module category but nevertheless it is suitably familiar. The universal properties have geometric perspectives. For example, products are orthogonal sums. The bilinear division maps are the simple bimaps with respect to nondegenerate adjoint-morphisms. That formalizes the understanding that the atoms of linear geometries are algebraic objects with no zero-divisors. Adjoint-isomorphism coincides with principal isotopism; hence, nonassociative division rings can be studied within this framework. This also corrects an error in an earlier pre-print; see Remark 2.11. △ Less

Submitted 20 May, 2011; v1 submitted 25 July, 2010; originally announced July 2010.

MSC Class: 15A63; 18A40; 17A35

Finding direct product decompositions in polynomial time

Authors: James B. Wilson

Abstract: A polynomial-time algorithm is produced which, given generators for a group of permutations on a finite set, returns a direct product decomposition of the group into directly indecomposable subgroups. The process uses bilinear maps and commutative rings to characterize direct products of p-groups of class 2 and reduces general groups to p-groups using group varieties. The methods apply to quotie… ▽ More A polynomial-time algorithm is produced which, given generators for a group of permutations on a finite set, returns a direct product decomposition of the group into directly indecomposable subgroups. The process uses bilinear maps and commutative rings to characterize direct products of p-groups of class 2 and reduces general groups to p-groups using group varieties. The methods apply to quotients of permutation groups and operator groups as well. △ Less

Submitted 4 May, 2010; originally announced May 2010.

Comments: 39 pages, 6 figures

MSC Class: 20B40; 20D15; 20D40

Journal ref: Groups Complex. Cryptol. 4 (2012), 33 - 72

Optimal algorithms of Gram-Schmidt type

Authors: James B. Wilson

Abstract: Three algorithms of Gram-Schmidt type are given that produce an orthogonal decomposition of finite $d$-dimensional symmetric, alternating, or Hermitian forms over division rings. The first uses $d^3/3+O(d^2)$ ring operations with very simple implementation. Next, that algorithm is adapted in two new directions. One is an optimal sequential algorithm whose complexity matches the complexity of matri… ▽ More Three algorithms of Gram-Schmidt type are given that produce an orthogonal decomposition of finite $d$-dimensional symmetric, alternating, or Hermitian forms over division rings. The first uses $d^3/3+O(d^2)$ ring operations with very simple implementation. Next, that algorithm is adapted in two new directions. One is an optimal sequential algorithm whose complexity matches the complexity of matrix multiplication. The other is a parallel NC algorithm with similar complexity. △ Less

Submitted 19 January, 2011; v1 submitted 2 October, 2009; originally announced October 2009.

Comments: 7 pages

MSC Class: 15A63; 11E39; 68W10

Journal ref: Lin. Alge. Appl. 2013, 438 (12) 4573-4583

Finding central decompositions of p-groups

Authors: James B. Wilson

Abstract: Polynomial-time algorithms are given to find a central decomposition of maximum size for a finite p-group of class 2 and for a nilpotent Lie ring of class 2. The algorithms use Las Vegas probabilistic routines to compute the structure of finite *-rings and also the Las Vegas C-MeatAxe. When p is small, the probabilistic methods can be replaced by deterministic polynomial-time algorithms. The m… ▽ More Polynomial-time algorithms are given to find a central decomposition of maximum size for a finite p-group of class 2 and for a nilpotent Lie ring of class 2. The algorithms use Las Vegas probabilistic routines to compute the structure of finite *-rings and also the Las Vegas C-MeatAxe. When p is small, the probabilistic methods can be replaced by deterministic polynomial-time algorithms. The methods introduce new group isomorphism invariants including new characteristic subgroups. △ Less

Submitted 31 August, 2008; v1 submitted 22 January, 2008; originally announced January 2008.

Comments: 28 pages

MSC Class: 20D15 (Primary); 16W10 (Secondary)

Journal ref: J. Group Theory 12 (2009), 813--830

Decomposing p-groups via Jordan algebras

Authors: James B. Wilson

Abstract: For finite p-groups P of class 2 and exponent p the following are invariants of fully refined central decompositions of P: the number of members in the decomposition, the multiset of orders of the members, and the multiset of orders of their centers. Unlike for direct product decompositions, Aut P is not always transitive on the set of fully refined central decompositions, and the number of orbi… ▽ More For finite p-groups P of class 2 and exponent p the following are invariants of fully refined central decompositions of P: the number of members in the decomposition, the multiset of orders of the members, and the multiset of orders of their centers. Unlike for direct product decompositions, Aut P is not always transitive on the set of fully refined central decompositions, and the number of orbits can in fact be any positive integer. The proofs use the standard semi-simple and radical structure of Jordan algebras. These algebras also produce useful criteria for a p-group to be centrally indecomposable. △ Less

Submitted 1 November, 2007; originally announced November 2007.

Comments: 39 pages

MSC Class: 20D15 (primary); 17C50 (secondary)

Journal ref: J. of Algebra 322 (2009) 2642-2679