Homework 2
This homework covers the material from lectures 6 to 12.
Due date: June 24th, 10pm Waterloo time.
LaTeX template, in case you want to write it in LaTeX.
Required Exercises
Problem 1 - Depth Reduction (25 points)
In this exercise, we will prove another useful depth reduction theorem for algebraic formulas: the log-product decomposition.
Prove the following depth-reduction claim:
Let
- each
is a form
Hint: Like Brent’s depth reduction, find a gate
Problem 2 - Lower Bounds for an easy polynomial (25 points)
Let
Prove that if a circuit from
Remark: given a degree
Problem 3 - Lower Bounds (25 points)
In the first homework, we saw that any elementary symmetric polynomial on
As a first step towards this goal, prove that for
Hint: consider what happens when you restrict the variables to be in a hyperplane, i.e., some linear combination of the variables is zero.
Problem 4 - Shifted Partials of the Determinant (25 points)
We will prove that the shifted partial derivatives of the determinant have large enough dimension.
Let
More precisely, we will show that for any
To do this, we will simply look at how many distinct leading monomials we can get by taking the shifted partial derivatives of the determinant.
Let us use the following monomial ordering on the variables
-
Prove that any
partial derivative of the determinant is either zero or is an minor of . -
Using the monomial ordering above, if
and are two sets of distinct indices, , , show that the leading monomial of the -minor of the determinant is .
Now we would like to say that such leading monomials will yield many distinct leading monomials when we apply the “shifts” (i.e. multiply by distinct monomials of degree
Note that the leading monomial of the
- Prove that
With the above result, it is enough to bound the number of monomials of degree
Definition (canonical increasing sequence): Let
-
Prove the following claim: let
be an -increasing monomial formed by variables in . Then, there are at least variables in such that if is any monomial in these variables, then . -
Using the above claim, prove that
Hint: compute the number of