arithmetic circuits with locally low algebraic rank
play

Arithmetic circuits with locally low algebraic rank Mrinal Kumar - PowerPoint PPT Presentation

Arithmetic circuits with locally low algebraic rank Mrinal Kumar Joint work with Shubhangi Saraf Plan for the talk Plan for the talk Depth four arithmetic circuits. Plan for the talk Depth four arithmetic circuits. The problem we


  1. A toy example Function of Qi’ s in basis! Algebraic rank -> linear rank, {Q1, Q2, …, Qk} is in linear span of {Q1, Q2,…, Qd} • Q1.Q2.Q3……Qk = f(Q1.Q2……Qd) T T ∑ reduces to ∑ C = ⋅ Q i 2 ! Q ik C = ⋅ Q i 2 ! Q id ) Q i 1 F i ( Q i 1 i = 1 i = 1

  2. A toy example Function of Qi’ s in basis! Algebraic rank -> linear rank, {Q1, Q2, …, Qk} is in linear span of {Q1, Q2,…, Qd} • Q1.Q2.Q3……Qk = f(Q1.Q2……Qd) T T ∑ reduces to ∑ C = ⋅ Q i 2 ! Q ik C = ⋅ Q i 2 ! Q id ) Q i 1 F i ( Q i 1 i = 1 i = 1 Prove lower bounds for the new model.

  3. A toy example Function of Qi’ s in basis! Algebraic rank -> linear rank, {Q1, Q2, …, Qk} is in linear span of {Q1, Q2,…, Qd} • Q1.Q2.Q3……Qk = f(Q1.Q2……Qd) T T ∑ reduces to ∑ C = ⋅ Q i 2 ! Q ik C = ⋅ Q i 2 ! Q id ) Q i 1 F i ( Q i 1 i = 1 i = 1 Prove lower bounds for the new model. Partial derivative based methods prove useful!

  4. Key idea

  5. Key idea • Product of polynomials of linear rank d, is a function of the polynomials in the basis.

  6. Key idea • Product of polynomials of linear rank d, is a function of the polynomials in the basis. • Use this to reduce express each product gate as a polynomial in few variables (polynomials in the basis).

  7. Key idea • Product of polynomials of linear rank d, is a function of the polynomials in the basis. • Use this to reduce express each product gate as a polynomial in few variables (polynomials in the basis). • Such functions are ‘simple’ even though they could be of high degree.

  8. Key question

  9. Key question • Q = {Q1, Q2, …, Qr} - algebraically independent

  10. Key question • Q = {Q1, Q2, …, Qr} - algebraically independent • F such that {F , Q1, Q2, …, Qr} - algebraically dependent

  11. Key question • Q = {Q1, Q2, …, Qr} - algebraically independent • F such that {F , Q1, Q2, …, Qr} - algebraically dependent • Can we infer something about the structure of F , from Q?

  12. Key question • Q = {Q1, Q2, …, Qr} - algebraically independent • F such that {F , Q1, Q2, …, Qr} - algebraically dependent • Can we infer something about the structure of F , from Q? If this is linear dependence, then yes!

  13. Key question • Q = {Q1, Q2, …, Qr} - algebraically independent • F such that {F , Q1, Q2, …, Qr} - algebraically dependent • Can F be expressed a polynomial function of Q?

  14. Key question • Q = {Q1, Q2, …, Qr} - algebraically independent • F such that {F , Q1, Q2, …, Qr} - algebraically dependent • Can F be expressed a polynomial function of Q? No! Q = {x^2}, F = x

  15. Key lemma • For almost all , there is a polynomial b ∈ F n H(y1, y2, …, yr), such that F(x+b) equals the low degree component of H(Q1(x+b), Q2(x+b), …, Qr(x+b)).

  16. Key lemma • For almost all , there is a polynomial b ∈ F n H(y1, y2, …, yr), such that F(x+b) equals the low degree component of H(Q1(x+b), Q2(x+b), …, Qr(x+b)). Algebraic dependence implies functional dependence!

  17. Toy example

  18. Toy example • Q(x) = x^2, F(x) = x

  19. Toy example • Q(x) = x^2, F(x) = x • Pick a non zero b.

  20. Toy example • Q(x) = x^2, F(x) = x • Pick a non zero b. • Take H(y) = 1/2b (y^2 + b^2)

  21. Toy example • Q(x) = x^2, F(x) = x • Pick a non zero b. • Take H(y) = 1/2b (y^2 + b^2) • H(Q) = (x + b) + degree 2 terms!

  22. Subsequently, Pandey, Saxena, Sinhababu showed that the converse of the lemma is also true. In summary, functional dependence is (almost) captured by algebraic dependence and vice versa.

  23. Proof of key lemma

  24. Proof sketch

  25. Proof sketch A(x), B(x) are algebraically dependent. Goal is to express B • as a polynomial in A; upto a translation, taking homog. components.

  26. Proof sketch A(x), B(x) are algebraically dependent. Goal is to express B • as a polynomial in A; upto a translation, taking homog. components. Let G(y, z) be a non-zero polynomial such that G(A, B) = 0 •

  27. Proof sketch A(x), B(x) are algebraically dependent. Goal is to express B • as a polynomial in A; upto a translation, taking homog. components. Let G(y, z) be a non-zero polynomial such that G(A, B) = 0 • Let G be the minimum degree annihilator of {A, B} •

  28. Proof sketch A(x), B(x) are algebraically dependent. Goal is to express B • as a polynomial in A; upto a translation, taking homog. components. Let G(y, z) be a non-zero polynomial such that G(A, B) = 0 • Let G be the minimum degree annihilator of {A, B} • Consider the univariate polynomial in z, G(A(x), z) •

  29. Proof sketch A(x), B(x) are algebraically dependent. Goal is to express B • as a polynomial in A; upto a translation, taking homog. components. Let G(y, z) be a non-zero polynomial such that G(A, B) = 0 • Let G be the minimum degree annihilator of {A, B} • Consider the univariate polynomial in z, G(A(x), z) • z-B(x) is a root of G(A(x), z) •

  30. Proof sketch

  31. Proof sketch Can we say something interesting about the structure of • roots of a polynomial?

  32. Proof sketch Can we say something interesting about the structure of • roots of a polynomial? Yes! •

  33. Proof sketch Can we say something interesting about the structure of • roots of a polynomial? Yes! • [Dvir et al.] Under mild constraints* the roots of G(A(x), z) • can be written as the low deg. component of a polynomial in A(x)

  34. Proof sketch Can we say something interesting about the structure of • roots of a polynomial? Yes! • [Dvir et al.] Under mild constraints* the roots of G(A(x), z) • can be written as the low deg. component of a polynomial in A(x) (*) is where a translation is needed •

  35. Over fields of characteristic zero, the converse is also easy • to show. Relies on Jacobian criterion for algebraic independence

  36. Over fields of characteristic zero, the converse is also easy • to show. Relies on Jacobian criterion for algebraic independence Proofs over positive characteristic are much more technical •

  37. Questions

  38. Questions • Depth 4 circuits over small finite fields:

  39. Questions • Depth 4 circuits over small finite fields: • What can we say about product of low degree polynomials of large algebraic rank over small fields ?

  40. Questions • Depth 4 circuits over small finite fields: • What can we say about product of low degree polynomials of large algebraic rank over small fields ? • Can they be ‘approximated’ by simple functions?

Recommend


More recommend