Michael Levet

activity

20192026

most citedExperience Report: Standards-Based Grading at Scale in Algorithms

11 citations · 25 across the 18 of their papers we have counts for

collaborators

Showing 2026Show all

2 papers · 1 filter

cs.CC2026

Group Isomorphism and the Polylogarithmic-Time Hierarchy: Depth-2 $\frac{1}{2}$ Circuits and Lower Bounds

Joshua A. Grochow, Gülce Kardeş, Michael Levet

In this paper, we investigate the low-depth circuit complexity of Group Isomorphism in the multiplication (Cayley) table model. We prove the first circuit lower bounds for Group Is…

cs.CC2026

Parallel Algorithms for Group Isomorphism via Code Equivalence

Michael Levet

In this paper, we exhibit $AC^{3}$ isomorphism tests for coprime extensions $H ⋉ N$ where $H$ is elementary Abelian and $N$ is Abelian; and groups where $\text{Rad}(…

Group Isomorphism and the Polylogarithmic-Time Hierarchy: Depth-221​ Circuits and Lower Bounds

Parallel Algorithms for Group Isomorphism via Code Equivalence

Group Isomorphism and the Polylogarithmic-Time Hierarchy: Depth-2 $\frac{1}{2}$ Circuits and Lower Bounds