Feasible arithmetic computations: Valiant's hypothesis
Journal of Symbolic Computation
Annual review of computer science: vol. 3, 1988
Lower bounds for non-commutative computation
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Why is Boolean complexity theory difficult?
Poceedings of the London Mathematical Society symposium on Boolean function complexity
An exponential lower bound for depth 3 arithmetic circuits
STOC '98 Proceedings of the thirtieth annual ACM symposium on Theory of computing
Lower bounds on arithmetic circuits via partial derivatives
Computational Complexity
Depth-3 arithmetic circuits over fields of characteristic zero
Computational Complexity
Multilinear formulas and skepticism of quantum computing
STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing
Deterministic polynomial identity testing in non-commutative models
Computational Complexity
Derandomizing polynomial identity tests means proving circuit lower bounds
Computational Complexity
A Lower Bound for the Size of Syntactically Multilinear Arithmetic Circuits
FOCS '07 Proceedings of the 48th Annual IEEE Symposium on Foundations of Computer Science
Lower Bounds and Separations for Constant Depth Multilinear Circuits
CCC '08 Proceedings of the 2008 IEEE 23rd Annual Conference on Computational Complexity
Multilinear Formulas, Maximal-Partition Discrepancy and Mixed-Sources Extractors
FOCS '08 Proceedings of the 2008 49th Annual IEEE Symposium on Foundations of Computer Science
A quadratic lower bound for the permanent and determinant problem over any characteristic ≠ 2
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Tensor-rank and lower bounds for arithmetic formulas
Proceedings of the forty-second ACM symposium on Theory of computing
Non-commutative circuits and the sum-of-squares problem
Proceedings of the forty-second ACM symposium on Theory of computing
Exponential time complexity of the permanent and the Tutte polynomial
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming
Arithmetic Circuits: A survey of recent results and open questions
Foundations and Trends® in Theoretical Computer Science
Black-box identity testing of depth-4 multilinear circuits
Proceedings of the forty-third annual ACM symposium on Theory of computing
Algebraic proofs over noncommutative formulas
Information and Computation
Algebraic proofs over noncommutative formulas
TAMC'10 Proceedings of the 7th annual conference on Theory and Applications of Models of Computation
Reconstruction of depth-4 multilinear circuits with top fan-in 2
STOC '12 Proceedings of the forty-fourth annual ACM symposium on Theory of computing
Arithmetic circuit lower bounds via maxrank
ICALP'13 Proceedings of the 40th international conference on Automata, Languages, and Programming - Volume Part I
Tensor-Rank and Lower Bounds for Arithmetic Formulas
Journal of the ACM (JACM)
Resource Trade-offs in Syntactically Multilinear Arithmetic Circuits
Computational Complexity
Hi-index | 0.00 |
An arithmetic formula is multilinear if the polynomial computed by each of its subformulas is multilinear. We prove that any multilinear arithmetic formula for the permanent or the determinant of an n × n matrix is of size super-polynomial in n. Previously, super-polynomial lower bounds were not known (for any explicit function) even for the special case of multilinear formulas of constant depth.