Lower bounds for non-commutative computation
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Counting classes: thresholds, parity, mods, and fewness
Theoretical Computer Science - Selected papers of the 7th Annual Symposium on theoretical aspects of computer science (STACS '90) Rouen, France, February 1990
A Monte-Carlo algorithm for estimating the permanent
SIAM Journal on Computing
Gap-definable counting classes
Journal of Computer and System Sciences
A combinatorial algorithm for the determinant
SODA '97 Proceedings of the eighth annual ACM-SIAM symposium on Discrete algorithms
Some Exact Complexity Results for Straight-Line Computations over Semirings
Journal of the ACM (JACM)
Randomness efficient identity testing of multivariate polynomials
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Matching is as easy as matrix inversion
STOC '87 Proceedings of the nineteenth annual ACM symposium on Theory of computing
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Derandomizing polynomial identity tests means proving circuit lower bounds
Proceedings of the thirty-fifth annual ACM symposium on Theory of computing
Clifford algebras and approximating the permanent
Journal of Computer and System Sciences - STOC 2002
Algebras with Polynomial Identities and Computing the Determinant
FOCS '04 Proceedings of the 45th Annual IEEE Symposium on Foundations of Computer Science
Deterministic polynomial identity testing in non-commutative models
Computational Complexity
More on Noncommutative Polynomial Identity Testing
CCC '05 Proceedings of the 20th Annual IEEE Conference on Computational Complexity
Regular expressions: new results and open problems
Journal of Automata, Languages and Combinatorics
Multilinear Formulas, Maximal-Partition Discrepancy and Mixed-Sources Extractors
FOCS '08 Proceedings of the 2008 49th Annual IEEE Symposium on Foundations of Computer Science
Almost settling the hardness of noncommutative determinant
Proceedings of the forty-third annual ACM symposium on Theory of computing
Noncommutativity makes determinants hard
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
Hi-index | 0.00 |
\begin{abstract} In this paper we study the computational complexity of computing the noncommutative determinant. We first consider the arithmetic circuit complexity of computing the noncommutative determinant polynomial. Then, more generally, we also examine the complexity of algorithms computing the determinant over noncommutative domains. Our hardness results are summarized below: We show that if the noncommutative determinant polynomial has small noncommutative arithmetic circuits then so does the noncommutative permanent. Consequently, the commutative permanent polynomial has small commutative arithmetic circuits. For any field F we show that computing the n x n permanent over F is polynomial-time reducible to computing the 2n x 2n (noncommutative) determinant whose entries are O(n2) x O(n2) matrices over the field F. We also derive as a consequence that computing the n x n permanent over the nonnegative rationals is polynomial-time reducible to computing the noncommutative determinant over Clifford algebras of dimension nO(1). Our techniques are elementary and use primarily the notion of the Hadamard Product of noncommutative polynomials introduced in an earlier paper [AJS09].