Download presentation
Presentation is loading. Please wait.
Published byDelilah Little Modified over 9 years ago
1
Elusive Functions, and Lower Bounds for Arithmetic Circuits Ran Raz Weizmann Institute
2
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)
3
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)
4
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)
5
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]
6
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,
7
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
8
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
9
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
10
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))
11
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))
12
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))
13
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
14
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
15
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( )
16
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 !!
17
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
18
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]
19
The End
Similar presentations
© 2025 SlidePlayer.com. Inc.
All rights reserved.