On the complexity of matrix product
@article{Raz2002OnTC, title={On the complexity of matrix product}, author={Ran Raz}, journal={Electron. Colloquium Comput. Complex.}, year={2002} }
We prove a lower bound of &OHgr;(m2 log m) for the size of any arithmetic circuit for the product of two matrices, over the real or complex numbers, as long as the circuit doesn't use products with field elements of absolute value larger than 1 (where mxm is the size of each matrix). That is, our lower bound is super-linear in the number of inputs and is applied for circuits that use addition gates, product gates and products with field elements of absolute value up to 1.More generally, for any…
104 Citations
A super-quadratic lower bound for depth four arithmetic circuits
- Computer Science, MathematicsElectron. Colloquium Comput. Complex.
- 2020
An Ω(n2.5) lower bound is shown for general depth four arithmetic circuits computing an explicit n-variate degree-Θ(n) multilinear polynomial over any field of characteristic zero, inspired by a well-known greedy approximation algorithm for the weighted set-cover problem.
Towards an Almost Quadratic Lower Bound on the Monotone Circuit Complexity of the Boolean Convolution
- Computer Science, MathematicsTAMC
- 2017
We study the monotone circuit complexity of the so called semi-disjoint bilinear forms over the Boolean semi-ring, in particular the n-dimensional Boolean vector convolution. Besides the size of a…
Orbits and Arithmetical Circuit Lower Bounds
- Mathematics
- 2007
The orbit of a regular function f over a field F under action by a matrix group G is the collection of functions f(Ex) for E ∈ G. We show that some lower bounds of Bürgisser and Lotz [BL03] and…
Elusive functions and lower bounds for arithmetic circuits
- Mathematics, Computer ScienceSTOC
- 2008
It is shown that for many settings of the parameters n,m,s,r, explicit constructions of elusive polynomial-mappings imply strong (up to exponential) lower bounds for general arithmetic circuits.
Lower bound frontiers in arithmetical circuit complexity
- Mathematics
- 2006
We expand the lower bound frontier in arithmetical circuit complexity for several recently considered restricted computational models. The main results are the following.
First, Shpilka and…
Optimal Complexity Lower Bound for Polynomial Multiplication
- Mathematics, Computer Science
- 2003
Lower bounds of order n log n are proved for both the problem of multiplying polynomials of degree n, and of dividing polynomers with remainder, in the model of bounded coefficient arithmetic circuits over the complex numbers, to establish a new lower bound on the bounded coefficient complexity of linear forms in terms of the singular values of the corresponding matrix.
A nonlinear lower bound for constant depth arithmetical circuits via the discrete uncertainty principle
- Computer ScienceTheor. Comput. Sci.
- 2008
Small normalized circuits for semi-disjoint bilinear forms require logarithmic and-depth
- Computer ScienceTheor. Comput. Sci.
- 2020
Computing Elementary Symmetric Polynomials with a Subpolynomial Number of Multiplications
- Computer Science, MathematicsSIAM J. Comput.
- 2002
This work proves that for constant $k$'s, $S_n^k$ modulo composite numbers m=p1p2 can be computed using only no(1) multiplications if the coefficients of monomials xi1xi2 are allowed to be 1 either mod p1 or mod p2 but not necessarily both.
Lower bounds on the bounded coefficient complexity of bilinear maps
- Mathematics, Computer ScienceJACM
- 2004
Lower bounds of order n log n are proved for both the problem of multiplying polynomials of degree n, and of dividing polynomers with remainder, in the model of bounded coefficient arithmetic circuits over the complex numbers, to establish a new lower bound on the bounded coefficient complexity of linear forms in terms of the singular values of the corresponding matrix.
References
SHOWING 1-10 OF 33 REFERENCES
Lower Bounds for Matrix Product in Bounded Depth Circuits with Arbitrary Gates
- Mathematics, Computer ScienceSIAM J. Comput.
- 2003
The lower bound for the number of edges in any constant depth arithmetic circuit for matrix product (over any field) is superlinear in m2 (where m × m is the size of each matrix) and the lower bound is super linear in theNumber of input variables.
Lower Bounds for Matrix Product
- Computer Science, MathematicsSIAM J. Comput.
- 2003
The number of product gates in any bilinear (or quadratic) circuit that computes the product of two n × n matrices over ${\rm GF}(2)$ is at least 3n2 - o(n2).
Lower bounds for matrix product, in bounded depth circuits with arbitrary gates
- Computer Science, MathematicsSTOC '01
- 2001
Lower bounds for the number of edges in any constant depth arithmetic circuit for matrix product (over any field is super-linear in m^2), where m is the size of each matrix, are proved.
Spectral methods for matrix rigidity with applications to size-depth tradeoffs and communication complexity
- Computer Science, MathematicsProceedings of IEEE 36th Annual Foundations of Computer Science
- 1995
It is shown that the lower bound on a variant of rigidity implies lower bounds on size-depth tradeoffs for arithmetic circuits with bounded coefficients computing linear transformations, and this results complement and strengthen a result of Razborov.
Lower bounds on the bounded coefficient complexity of bilinear maps
- Mathematics, Computer ScienceThe 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings.
- 2002
Lower bounds of order n log n are proved for both the problem to multiply polynomials of degree n, and to divide polynmials with remainder, in the model of bounded coefficient arithmetic circuits over the complex numbers, which establishes a new lower bound on the bounded coefficient complexity of linear forms in terms of the singular values of the corresponding matrix.
A Spectral Approach to Lower Bounds with Applications to Geometric Searching
- Mathematics, Computer ScienceSIAM J. Comput.
- 1998
It is shown that summing up the weights of n (weighted) points within n halfplanes requires $\Omega(n\log n)$ additions and subtractions, the first nontrivial lower bound for range searching over a group.
Algebraic complexity theory
- Computer Science
- 1988
Algebraic complexity theory investigates the computational cost of solving problems with an algebraic flavor, and takes its questions from computer science, mainly numerical and symbolic computation.
Gaussian elimination is not optimal
- Mathematics
- 1969
t. Below we will give an algorithm which computes the coefficients of the product of two square matrices A and B of order n from the coefficients of A and B with tess than 4 . 7 n l°g7 arithmetical…
A note on the use of determinant for proving lower bounds on the size of linear circuits
- Mathematics, Computer ScienceInf. Process. Lett.
- 1998
A 5/2 n2-Lower Bound for the Rank of n×n Matrix Multiplication over Arbitrary Fields
- Mathematics, Computer ScienceFOCS
- 1999
We prove a lower bound of 5/2n/sup 2/-3n for the rank of n/spl times/n-matrix multiplication over an arbitrary field. Similar bounds hold for the rank of the multiplication in noncommutative division…