Amplifying lower Amplifying lower bounds by means bounds by means of self-reducibilityof self-reducibility

Eric Allender Eric Allender MichalMichal KouckýKoucký

Rutgers University Rutgers University Academy of SciencesAcademy of Sciences

Czech RepublicCzech Republic

2

P P NP NP PPSPACESPACE EXP EXPACAC00 ACC ACC00 TC TC00 NCNC1 1 L L

≈ ≈ poly-size circuitspoly-size circuits

O(log O(log nn)-depth poly-size )-depth poly-size circuitscircuitsO( 1 )-depth poly-size circuitsO( 1 )-depth poly-size circuits

CCCC00

QuestionQuestionMOD-qMOD-q

, ,

, , , MAJ, MAJ , , , MOD-q, MOD-q

3

Current statusCurrent status

Goal: Goal: Show SAT Show SAT CKT-SIZE( CKT-SIZE( n n k k ), for all ), for all kk >1.>1.

We have:We have:

explicit explicit ff CKT-SIZE( 4.5 CKT-SIZE( 4.5 nn ))

lower-bounds lower-bounds ΩΩ( ( n n 1+1+d d ))

( formula size ( formula size ΩΩ( ( n n 33 ), branching programs ), branching programs ΩΩ( ( n n 22 ) ) ))

Razborov-Rudich:Razborov-Rudich: a a natural natural proof of proof of ff CKT- CKT-SIZE(SIZE(n n k k ) ) pseudorandom generators pseudorandom generators CKT-SIZE(CKT-SIZE(n n k’ k’ ))

4

Our resultsOur results

Thm: Thm: Let Let ff be be quickly downward self-quickly downward self-reduciblereducible and and CC be a be a usualusual circuit class. circuit class.

ff is in is in CC -SIZE( -SIZE( n n kk ) ) for some for some kk > 1.> 1.

ff is in is in CC -SIZE( -SIZE( n n 1+1+ ) ) for any for any > 0.> 0.

5

Some corollaries:Some corollaries: W5-STCONN W5-STCONN TC TC00

W5-STCONN W5-STCONN TC TC00-SIZE( -SIZE( n n 1+1+ ) ) for any for any > 0.> 0.

MAJ MAJ ACC ACC00

MAJ MAJ ACC ACC00-SIZE( -SIZE( n n 1+1+ ) ) for any for any > 0.> 0.

W5-STCONN:W5-STCONN: … …

TCTC00=NC=NC

11

ACCACC00=TC=TC00

6

Downward self-reducibilityDownward self-reducibility

ff is is quickly downward self-reduciblequickly downward self-reducible if for some if for some > 0 > 0 there exists a O(1)-depth and O(there exists a O(1)-depth and O(nn poly-log poly-log nn)-size )-size circuit family computing circuit family computing ffnn using using -gates, fan-in 2 -gates, fan-in 2 , , --gates and gates computing gates and gates computing ff

n n . .

E.g.,E.g., W5-STCONN: W5-STCONN:

nn

ffnn ffnn ffnn ffnn

ffnn

nn

7

Thm:Thm: W5-STCONN W5-STCONN CC-SIZE( -SIZE( n n kk ) )

W5-STCONN W5-STCONN CC-SIZE( -SIZE( n n ((k k + 1) /2+ 1) /2 ) .) .

Pf:Pf:

C’C’nn

CCnn CCnn CCnn CCnn

CCnn

C’C’n n of size (of size (nn +1)∙O+1)∙O((n n kk ) + O( ) + O( n n ) = ) = O( O( n n ((k k + 1) /2+ 1) /2 ) )

the size of the reductionthe size of the reduction

8

Q: Q: To which functions can this be To which functions can this be applied?applied?

Thm: Thm: If If AA and and BB are complete for are complete for CC and and AA is is downward self-reducible then so is downward self-reducible then so is BB..

Thm: Thm: Let Let ff have NC have NC11 circuits of depth circuits of depth d d ( ( n n ). ).

ff TC TC00-SIZE( 3-SIZE( 3d d ( ( n n )) ) ) NC NC1 1 TC TC00..

Thm: Thm: If multiplying If multiplying nn matrices of dim. 2 matrices of dim. 2log log nn 2 2log log nn over ring ({0,1}, over ring ({0,1}, , , ) is not in NC) is not in NC11-SIZE ( -SIZE ( n n 1+1+ ) ) then NCthen NC1 1 NL. NL.

9

Q: Q: Can this be applied to SAT?Can this be applied to SAT?

Thm: Thm: 1) If 1) If ff is quickly downward self-reducible to is quickly downward self-reducible to ffn n

then then f f NC. NC.

2) If 2) If ff is downward self-reducible to is downward self-reducible to ffn n

by poly- by poly-time time computation then computation then f f P. P.

Thm (A. Srinivasan 2008): Thm (A. Srinivasan 2008): If computing weak If computing weak approximations to MAX-CLIQUE cannot be done in approximations to MAX-CLIQUE cannot be done in det. time det. time n n 1+1+

then P then P NP. NP.

10

Natural proofsNatural proofs

Razborov-Rudich:Razborov-Rudich:

TTnn { {h h :{0,1}:{0,1}nn{0,1}} is a {0,1}} is a natural property natural property if if

1) “ 1) “ ff T Tn n ?” is decidable in time 2?” is decidable in time 2nnO(1)O(1), and, and

2) |T2) |Tn n |>2|>222n n /2/2

nn..

{ T{ Tnn } is a } is a useful property against useful property against C C if if

for every function { for every function { ffnn } } { T { Tn n }, }, ff CC..

Thm [RR’95]: Thm [RR’95]: If { TIf { Tnn } is a natural and useful } is a natural and useful

property against property against CC-SIZE( -SIZE( mm ) then there are no ) then there are no pseudorandom function generators in pseudorandom function generators in CC-SIZE( -SIZE( m m ).).

11

Natural proofsNatural proofs

Example:Example:

TTnn = { = {h h :{0,1}:{0,1}nn{0,1}, {0,1}, hh does not have circuits of does not have circuits of

depth log*depth log*nn and size and size nn22 consisting of consisting of and MAJ and MAJ gates}gates}

Claim: Claim: { T{ Tnn } is natural and useful against TC } is natural and useful against TC00-SIZE( -SIZE( nn1.51.5

).).

Q: Q: Is downward self-reducibility natural property?Is downward self-reducibility natural property?

1)1) It is sparse.It is sparse.

2)2) It is not really a property as it relates different It is not really a property as it relates different input sizes !input sizes !

12

ChallengesChallenges

Prove Prove Ω Ω ( ( nn1+ 1/1+ 1/d d ) lower bound on size of depth-) lower bound on size of depth-dd circuits computing an explicit function. circuits computing an explicit function.

Prove Prove Ω Ω ( ( nn2.5 2.5 ) lower bound on the length of ) lower bound on the length of

width-5 branching programs computing an width-5 branching programs computing an explicit function. explicit function.

Open problemsOpen problems

Are there downward self-reducible function Are there downward self-reducible function beyond NCbeyond NC11? ?

Does NP in non-uniform CCDoes NP in non-uniform CC00[6] [6] SAT SAT CC CC00[6]-[6]-SIZE( SIZE( n n 22 ) ?) ?