Showing cs.CCShow all
3 papers · 1 filter
cs.CC2026
Parallel Algorithms for Group Isomorphism via Code Equivalence
Michael Levet
In this paper, we exhibit isomorphism tests for coprime extensions where is elementary Abelian and is Abelian; and groups where $\text{Rad}(…
cs.CC2025
On the Constant-Depth Circuit Complexity of Generating Quasigroups
Nathaniel A. Collins, Joshua A. Grochow, Michael Levet +1
We investigate the constant-depth circuit complexity of the Isomorphism Problem, Minimum Generating Set Problem (MGS), and Sub(quasi)group Membership Problem (Membership) for group…
cs.CC2025
On the Complexity of Identifying Groups without Abelian Normal Subgroups: Parallel, First Order, and GI-Hardness
Joshua A. Grochow, Dan Johnson, Michael Levet
In this paper, we exhibit an isomorphism test for groups without Abelian normal subgroups (a.k.a. Fitting-free groups), a class for which isomorphism testing was…