Elusive Functions, and Lower Bounds for Arithmetic Circuits Ran Raz Weizmann Institute.

Slides:



Advertisements
Similar presentations
Parikshit Gopalan Georgia Institute of Technology Atlanta, Georgia, USA.
Advertisements

Computing with Polynomials over Composites Parikshit Gopalan Algorithms, Combinatorics & Optimization. Georgia Tech.
On the degree of symmetric functions on the Boolean cube Joint work with Amir Shpilka.
Boolean Circuits of Depth-Three and Arithmetic Circuits with General Gates Oded Goldreich Weizmann Institute of Science Based on Joint work with Avi Wigderson.
How to Fool People to Work on Circuit Lower Bounds Ran Raz Weizmann Institute & Microsoft Research.
Lower bounds for small depth arithmetic circuits Chandan Saha Joint work with Neeraj Kayal (MSRI) Nutan Limaye (IITB) Srikanth Srinivasan (IITB)
Gillat Kol joint work with Ran Raz Competing Provers Protocols for Circuit Evaluation.
Jeff Kinne Indiana State University Part I: Feb 11, 2011 Part II: Feb 25, 2011.
Polynomial Division Division Long and Short. 8/10/2013 Polynomial Division 2 Division of Polynomials Long Division (by hand): Polynomial Functions 245.
CS151 Complexity Theory Lecture 5 April 13, 2004.
On the Hardness of Graph Isomorphism Jacobo Tor á n SIAM J. Comput. Vol 33, p , Presenter: Qingwu Yang April, 2006.
On Uniform Amplification of Hardness in NP Luca Trevisan STOC 05 Paper Review Present by Hai Xu.
Arithmetic Hardness vs. Randomness Valentine Kabanets SFU.
Submitted by : Estrella Eisenberg Yair Kaufman Ohad Lipsky Riva Gonen Shalom.
Complexity 19-1 Complexity Andrei Bulatov More Probabilistic Algorithms.
Princeton University COS 433 Cryptography Fall 2005 Boaz Barak COS 433: Cryptography Princeton University Fall 2005 Boaz Barak Lecture 3: Computational.
Job Scheduling Lecture 19: March 19. Job Scheduling: Unrelated Multiple Machines There are n jobs, each job has: a processing time p(i,j) (the time to.
5.IV. Jordan Form 5.IV.1. Polynomials of Maps and Matrices 5.IV.2. Jordan Canonical Form.
Straight Line Code x i = a x i = x j + x k x i = x j  x k Arithmetic circuit DAG No loop No index as variables No if statement w ij : weight of edges.
CS151 Complexity Theory Lecture 9 April 27, 2004.
1 Slides by Michael Lewin & Robert Sayegh. Adapted from Oded Goldreich’s course lecture notes by Vered Rosen and Alon Rosen.
Tensor-Rank and Lower Bounds for Arithmetic Formulas Ran Raz Weizmann Institute.
Preperiodic Points and Unlikely Intersections joint work with Laura DeMarco Matthew Baker Georgia Institute of Technology AMS Southeastern Section Meeting.
Iddo Tzameret Tel Aviv University The Strength of Multilinear Proofs (Joint work with Ran Raz)
Correlation testing for affine invariant properties on Shachar Lovett Institute for Advanced Study Joint with Hamed Hatami (McGill)
Multilinear NC 1  Multilinear NC 2 Ran Raz Weizmann Institute.
Recent Developments in Algebraic Proof Complexity Recent Developments in Algebraic Proof Complexity Iddo Tzameret Tsinghua Univ. Based on Pavel Hrubeš.
Sub-Constant Error Low Degree Test of Almost-Linear Size Dana Moshkovitz Weizmann Institute Ran Raz Weizmann Institute.
Theory of Computing Lecture 17 MAS 714 Hartmut Klauck.
Zeev Dvir Weizmann Institute of Science Amir Shpilka Technion Locally decodable codes with 2 queries and polynomial identity testing for depth 3 circuits.
Eric Allender Rutgers University Dual VP Classes Joint work with Anna Gál (U. Texas) and Ian Mertz (Rutgers) MFCS, Milan, August 27, 2015.
On Constructing Parallel Pseudorandom Generators from One-Way Functions Emanuele Viola Harvard University June 2005.
FACTORING. Factoring a Monomial From a Trinomial.
1 Building The Ultimate Consistent Reader. 2 Introduction We’ve already built a consistent reader (cube-Vs.-point)... Except it had variables ranging.
Fall 2015 COMP 2300 Discrete Structures for Computation Donghyun (David) Kim Department of Mathematics and Physics North Carolina Central University 1.
2.2 Warm Up Find the sum or difference. 1. (2x – 3 + 8x²) + (5x + 3 – 8x²) 2. (x³ - 5x² - 4x) – (4x³ - 3x² + 2x – 8) 3. (x – 4) – (5x³ - 2x² + 3x – 11)
Growth of Functions. 2 Analysis of Bubble Sort 3 Time Analysis – Best Case The array is already sorted – no swap operations are required.
Arithmetic Sequences as Linear Functions
A Well-Mixed Function with Circuit Complexity 5n ±o(n) - Tightness of the Lachish-Raz-type Bounds - Kazuyuki Amano (Gunma Univ., Japan) Jun Tarui (Univ.
Algebraic Lower Bounds for Computing on Encrypted Data Rafail Ostrovsky William E. Skeith III.
Understanding Polynomials
1 Asymptotically good binary code with efficient encoding & Justesen code Tomer Levinboim Error Correcting Codes Seminar (2008)
Pseudorandom Bits for Constant-Depth Circuits with Few Arbitrary Symmetric Gates Emanuele Viola Harvard University June 2005.
Happy 60 th B’day Noga. Elementary problems encoding computational hardness Avi Wigderson IAS, Princeton or Some problems Noga never solved.
Adding and subtracting polynomials. 5x 3 + 2x 2 – x – 7 5x 3 + 2x 2 – x – 7 This is a polynomial in standard form: Leading Coefficient Degree Constant.
Lower Bounds using shifted partials Chandan Saha Indian Institute of Science Workshop on Algebraic Complexity Theory 2016 Tel-Aviv University.
Characterizing Propositional Proofs as Non-Commutative Formulas Iddo Tzameret Royal Holloway, University of London Based on Joint work Fu Li (Texas Austin)
Pseudorandomness: New Results and Applications Emanuele Viola IAS April 2007.
Degrees of a Monomial. Degree of a monomial: Degree is the exponent that corresponds to the variable. Examples: 32d -2x 4 16x 3 y 2 4a 4 b 2 c 44 has.
Recent Developments in Algebraic & Proof Complexity Recent Developments in Algebraic & Proof Complexity Iddo Tzameret Tsinghua Univ. Based on Hrubes and.
1 IAS, Princeton ASCR, Prague. The Problem How to solve it by hand ? Use the polynomial-ring axioms ! associativity, commutativity, distributivity, 0/1-elements.
Tali Kaufman (Bar-Ilan)
Iddo Tzameret Tel Aviv University
Algebraic Proofs over Noncommutative Formulas
Aim: How do we multiply polynomials?
Matrix PI-algebras and Lower Bounds on Arithmetic Proofs (work in progress) Iddo Tzameret Joint work with Fu Li Tsinghua University.
Umans Complexity Theory Lectures
Dividing Polynomials.
Lesson 5.3 Operations with Polynomials
Tight Fourier Tails for AC0 Circuits
Class Notes 9: Power Series (1/3)
The Curve Merger (Dvir & Widgerson, 2008)
Understanding polynomials
Non-Malleable Extractors
5.5 Polynomials Goals: To identify terms, coefficients, and factors of a term. To simplify a poly by collecting like terms To identify the degree of the.
Real-Valued Functions
Emanuele Viola Harvard University June 2005
Polynomial Functions 1 Definitions 2 Degrees 3 Graphing.
CS151 Complexity Theory Lecture 5 April 16, 2019.
Emanuele Viola Harvard University October 2005
Presentation transcript:

Elusive Functions, and Lower Bounds for Arithmetic Circuits Ran Raz Weizmann Institute

Arithmetic Circuits: Field: C Variables: X 1,...,X n Gates: Every gate in the circuit computes a polynomial in C[X 1,...,X n ] Example: (X 1 ¢ X 1 ) ¢ (X 2 + 1)

Size Lower Bounds: [Strassen,Baur-Strassen]: A lower bound of  (n log n) for the size of arithmetic circuits Open Problem: Better lower bounds The Holy Grail: Super-polynomial lower bounds (say, for the permanent)

Our Main Results: 1) A family of (seemingly unrelated) problems that imply lower bounds for arithmetic circuits 2) Polynomial lower bounds for constant depth arithmetic circuits (for polynomials of constant degree)

Polynomial Mappings: f = (f 1,...,f m ) : C n ! C m is a polynomial mapping of degree d if f 1,...,f m are polynomials of (total) degree d f is explicit if given a monomial M and index i, the coefficient of M in f i can be computed in poly time [Val]

The Moments Curve: f: C ! C m f(x) = (x,x 2,x 3,...,x m ) Fact: 8 affine subspace A ( C m 8  :C m-1 ! C m of (total) degree 1,

The Exercise that Was Never Given: Give an explicit f: C ! C m s.t.: 8  : C m-1 ! C m of degree 2, We require: f of degree · Our result: Any explicit f ) super-polynomial lower bounds for the permanent

Elusive Functions: f: C n ! C m is (s,r)-elusive if 8  : C s ! C m of degree r, Our Result: explicit constructions of elusive functions imply lower bounds for the size of arithmetic circuits

The Degree of f: An (s,r)-elusive f:C n ! C m of deg 2 d ) (s,r)-elusive g:C nd ! C m of deg n ¢ d Hence: Enough to consider f of deg · n

f:C n ! C m is (s,r)-elusive if 8  :C s ! C m of degree r, (m=m(n),s=s(n),r=r(n)) Result 1: Explicit (s,r)-elusive f : C n ! C m with s ¸ m 0.9, r=2, n · m o(1) ) super-polynomial lower bounds for the permanent (f is explicit if given a monomial M and index i, the coefficient of M in f i is computed in time poly(n))

f:C n ! C m is (s,r)-elusive if 8  :C s ! C m of degree r, (m=m(n),s=s(n),r=r(n)) Result 2: Explicit (s,r)-elusive f : C n ! C m with m=n r ¸ s > poly(n), ) super-polynomial lower bounds for the permanent (f is explicit if given a monomial M and index i, the coefficient of M in f i is computed in time poly(n))

f:C n ! C m is (s,r)-elusive if 8  :C s ! C m of degree r, (m=m(n),s=s(n),r=r(n)) Result 3: Explicit (s,2r-1)-elusive f: C n ! C m with m=n r+1, ) lower bounds of (f is explicit if given a monomial M and index i, the coefficient of M in f i is computed in time poly(n))

Results for Known  : (example) r=3, m=n 3, s=n 2.5, Given  : C s ! C m of degree 3, Give an explicit f: C n ! C m s.t.: Explicit f ) A Lower bound of  (n 1.25 ) A win-win result

Sketch of Proof: Notation: Fix r, (say, r=  (1)) m = number of monomials of degree r, over x 1,...,x n C m = C r [x 1,...,x n ] = homogenous polynomials of degree r For a polynomial f 2 C m, Comp(f) = complexity of f

Sketch of Proof: Lemma: 8 s, 9  : C s’ ! C m of degree 2r-1, (with s’ ¼ s 2 ), s.t.: 1) Comp(f) · s ) f 2 Image(  ) 2) f 2 Image(  ) ) Comp(f) · s’ Image(  ) = polynomials that can be computed by small circuits. Proving lower bounds = Finding points outside Image(  )

Sketch of Proof: The lower bound: Assume f: C n ! C m, s.t. 8 z 1,..,z n 2 C, f(z 1,..,z n ) 2 C r [x 1,..,x n ] Let h(z 1,..,z n,x 1,..,x n ) = f(z 1,..,z n )(x 1,..,x n ) Comp(h) · s ) 8 z 1,..,z n Comp(f(z 1,..,z n )) · s ) 8 z 1,..,z n f(z 1,..,z n ) 2 Image(  ) ) Thus: Comp(h) > s !!

Lower Bounds for the Permanent: If h is explicit and the lower bound is super-polynomial then lower bounds for h ) lower bounds for the permanent

Lower Bounds for Depth-d Circuits: 8 d, we give g: C n ! C of degree O(d) (with coefficients in {0,1}), s.t., Any depth d circuit for g is of size ¸ n 1+  (1/d) If d=O(1) then deg(g)=O(1), and size ¸ n 1+  (1) Previously: (for g of degree O(1)), only bounds of n ¢ d (n) (slightly superlinear) [Pud,RS]

The End