A Lower Bound on Determinantal Complexity
Christian Engels October 23, 2020 [TCS, Arithmetic Circuits]Paper
Results
- Determinantal Complexity of : Smallest dimension of a matrix filled with affine linear forms such that computes .
- Determinantal Complexity of is .
- Permanent has determinantal complexity (over reals). This is the same as the number of variables in Perm.
Proof Overview
- Let be a matrix that computes .
- Converting the matrix into normal form.
- The constnat part of the matrix (i.e., ) can be assumed to be diagonal matrix of rank .
- Determinantal Complexity of high degree polynomials.
- If has entries being polynomials of degree and is in normal form and , then .
- The same holds for any polynomial with .
- Trading Dimension of the Matrix as Degree
- If there is an matrix with affine functions and , then there is a matrix of dimension whose entries are polynomials of degree at most .
- Normal form keeps intact.
- Now the lowerbound from implies that , hence that with degree . Hence .
Needed Lemmas
- Lemma 3.1: Let be polynomials that have a common root and be polynomials such that and . Then .
- Lemma 3.8: Let . Then .
- Proof:
- .
Second Part
- Lemma 3.9: If , additionally at is zero and one on the diagonal and the constant part is diagonal and where and constant free.
- Then .
- Proof:
- Using the Laplace expansion gives us where is the submatrix of deleting the th row and th column.
- Claim: is a constant free polynomial for .
- has at most non-zero entries
- has at most non-zero entries by assumption.
- has at most non-zero entries
- is the identity matrix.
- Hence, with being constant free.
- We can write .
- Hence, .
- Now .
- Since (per entry) and all other polynomials are constant free (have the common root 0), we can apply Lemma 3.1.
- Notice that our requirement says that the constant part of at needs to be zero (which is a requirement) and as the constant part of is a diagonal matrix, all are zero.
- The requirement coming from the proof is much less than required, as we only need to find a laplace decomposition where and are zero.
Third Part
- Let be a matrix.
- Let be the principal minor of which is obtained by deleting the first rows and columns.
- is invertible for all $t\leq m-1.
- is non-zero as is the identity matrix (by constant requirement). This is then implied by .
- As every entry in has degree one and has degree , .
- Hence, is invertible.
- Let .
- By Lemma 3.8 .
- Since where is the adjugate of .
- The adjugate is given by: the entry of is the th minor of times .
- Now the entries of can be written a a ratio of two polynomials where the denominator has degree at most and the numerator has degree at most .
- As the minor removes at least one row/column and hence one linear form.
- Now the entries of are given by polynomials with the following maximum degree (in order) .
- This gives us that the entries have degree in the numerator and in the denominator.
- This also implies that is a matrix.
- The reason is that is a degree polynomial and is a degree polynomial.
- Hence, has to produce a degree polynomial.
- As have only linear forms, this means the matrix size has to be at least .
- The denominator now gets cleared by the additional multiplication of .
- Hence, we can have a matrix that is givey by that has entries of degree at most .
- Let .
- Then we can write where is the matrix multiplied every entry with .
- This follows from the dimension of .
- Simplifying further gives us .
- Using the fact that .
- This gives us the bound, provided we show that the constant part of at position is zero and one on the diagonal.
- I am skipping this part.