Joshua A. Grochow

Orcid: 0000-0002-6466-0476

Affiliations:
  • University of Colorado at Boulder, Department of Computer Science, CO, USA


According to our database1, Joshua A. Grochow authored at least 50 papers between 2007 and 2024.

Collaborative distances:
  • Dijkstra number2 of three.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On <i>p</i>-Group Isomorphism: Search-to-Decision, Counting-to-Decision, and Nilpotency Class Reductions via Tensors.
ACM Trans. Comput. Theory, March, 2024

On the Constant-Depth Circuit Complexity of Generating Quasigroups.
CoRR, 2024

On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials III: Actions by Classical Groups.
Proceedings of the 15th Innovations in Theoretical Computer Science Conference, 2024

2023
Polynomial-Time Axioms of Choice and Polynomial-Time Cardinality.
Theory Comput. Syst., June, 2023

On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials I: Tensor Isomorphism-Completeness.
SIAM J. Comput., April, 2023

Is stochastic thermodynamics the key to understanding the energy costs of computation?
CoRR, 2023

On the Descriptive Complexity of Groups without Abelian Normal Subgroups (Extended Abstract).
Proceedings of the Fourteenth International Symposium on Games, 2023

On the complexity of isomorphism problems for tensors, groups, and polynomials IV: linear-length reductions and their applications.
CoRR, 2023

Polynomial Identity Testing and the Ideal Proof System: PIT is in NP if and only if IPS can be p-simulated by a Cook-Reckhow proof system.
CoRR, 2023

Matrix Multiplication via Matrix Groups.
Proceedings of the 14th Innovations in Theoretical Computer Science Conference, 2023

On the Parallel Complexity of Group Isomorphism via Weisfeiler-Leman.
Proceedings of the Fundamentals of Computation Theory - 24th International Symposium, 2023

On the Algebraic Proof Complexity of Tensor Isomorphism.
Proceedings of the 38th Computational Complexity Conference, 2023

2022
On the Descriptive Complexity of Groups without Abelian Normal Subgroups.
CoRR, 2022

Experience Report: Standards-Based Grading at Scale in Algorithms.
Proceedings of the ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8, 2022

2021
Weisfeiler-Leman for Group Isomorphism: Action Compatibility.
CoRR, 2021

Average-Case Algorithms for Testing Isomorphism of Polynomials, Algebras, and Multilinear Forms.
Proceedings of the 38th International Symposium on Theoretical Aspects of Computer Science, 2021

On p-Group Isomorphism: Search-To-Decision, Counting-To-Decision, and Nilpotency Class Reductions via Tensors.
Proceedings of the 36th Computational Complexity Conference, 2021

2020
Complexity in Ideals of Polynomials: Questions on Algebraic Complexity of Circuits and Proofs.
Bull. EATCS, 2020

An Improved Algorithm for Coarse-Graining Cellular Automata.
CoRR, 2020

2019
Isomorphism problems for tensors, groups, and cubic forms: completeness and reductions.
CoRR, 2019

Incorporating Weisfeiler-Leman into algorithms for group isomorphism.
CoRR, 2019

2018
Beyond Number of Bit Erasures: New Complexity Questions Raised by Recently Discovered Thermodynamic Costs of Computation.
SIGACT News, 2018

Circuit Complexity, Proof Complexity, and Polynomial Identity Testing: The Ideal Proof System.
J. ACM, 2018

Computational Topology and the Unique Games Conjecture.
Proceedings of the 34th International Symposium on Computational Geometry, 2018

2017
Monotone Projection Lower Bounds from Extended Formulation Lower Bounds.
Theory Comput., 2017

Comparing Information-Theoretic Measures of Complexity in Boltzmann Machines.
Entropy, 2017

Designing Strassen's algorithm.
Electron. Colloquium Comput. Complex., 2017

Towards an algebraic natural proofs barrier via polynomial identity testing.
Electron. Colloquium Comput. Complex., 2017

Minimum Circuit Size, Graph Isomorphism, and Related Problems.
Electron. Colloquium Comput. Complex., 2017

Which groups are amenable to proving exponent two for matrix multiplication?
CoRR, 2017

2016
NP-hard sets are not sparse unless P=NP: An exposition of a simple proof of Mahaney's Theorem, with applications.
Electron. Colloquium Comput. Complex., 2016

Matrix multiplication algorithms from group orbits.
CoRR, 2016

On cap sets and the group-theoretic approach to matrix multiplication.
CoRR, 2016

Dynamics of beneficial epidemics.
CoRR, 2016

Boundaries of VP and VNP.
Proceedings of the 43rd International Colloquium on Automata, Languages, and Programming, 2016

2015
Graph Isomorphism and Circuit Size.
Electron. Colloquium Comput. Complex., 2015

Multi-scale structure and topological anomaly detection via a new network statistic: The onion decomposition.
CoRR, 2015

Polynomial-time isomorphism test of groups that are tame extensions.
CoRR, 2015

Unifying Known Lower Bounds via Geometric Complexity Theory.
Comput. Complex., 2015

Polynomial-Time Isomorphism Test of Groups that are Tame Extensions - (Extended Abstract).
Proceedings of the Algorithms and Computation - 26th International Symposium, 2015

2014
Circuit complexity, proof complexity, and polynomial identity testing.
Electron. Colloquium Comput. Complex., 2014

A framework for optimal high-level descriptions in science and engineering - preliminary report.
CoRR, 2014

2013
Algorithms for group isomorphism via group extensions and cohomology.
Electron. Colloquium Comput. Complex., 2013

Unifying and generalizing known lower bounds via geometric complexity theory
CoRR, 2013

2012
Report on "Mathematical Aspects of P vs. NP and its Variants."
CoRR, 2012

Matrix Isomorphism of Matrix Lie Algebras.
Proceedings of the 27th Conference on Computational Complexity, 2012

2011
Complexity classes of equivalence problems revisited.
Inf. Comput., 2011

Lie algebra conjugacy.
Electron. Colloquium Comput. Complex., 2011

Code Equivalence and Group Isomorphism.
Proceedings of the Twenty-Second Annual ACM-SIAM Symposium on Discrete Algorithms, 2011

2007
Network Motif Discovery Using Subgraph Enumeration and Symmetry-Breaking.
Proceedings of the Research in Computational Molecular Biology, 2007


  Loading...