Beruflich Dokumente
Kultur Dokumente
of the multi-set consisting of A1 ; : : : An , and similarly for 10. (Threshold-right) From , ! A ; Thk (A ; : : : ; An );
_ , b and Thk . Thus commutativity of the connectives is
1 2
and , ! Thk, (A ; : : : ; An ); derive , !
1 2
implicit. Our proof system operates on sequents which are Thk (A1 ; : : : ; An ); .
sets of formulas of the form A1 ; : : : ; Ap ! B1 ; : : : ; Bq .
The intended meaning is that the conjunction of the Ai ’s The size of a proof is the total size of all the formulas
implies the disjunction of the Bj ’s. A proof of a sequent S that occur in the proof. The depth of a proof is the
in our logic system is a sequence of sequents, S1 ; : : : ; Sr , maximum depth of all the formulas that occur in the
such that each sequent Si is either an initial sequent, or proof.
follows from previous sequents by one of the rules of A family of sequents (,1 ! 1 ); (,2 ! 2 ); (,3 !
inference, and the final sequent, Sr , is S . 3 ); : : : has TC 0 -Frege proofs if each sequent has a
The initial sequents are of the form: (1) A ! A where bounded-depth proof of size polynomial in the size of the
A is any formula; (2) ! ^() ; _() ! ; (3) 1() ! ; ! sequent. More precisely,
0() ; and (4) Thk () ! for k 1 ; ! Th0 (A1 ; : : : ; An )
for n 0 . The rules of inference are as follows. Note that Definition 2 Let F = f(,n ! n ) : n 2 N g be a family
the logical rules are defined for n 1 and k 1 . First we N
of sequents. Then fRn : n 2 g is a family of TC 0 -Frege
have simple structural rules such as weakening (formulas proofs for F if there exist constants c and d such that the
can always be added to the left or to the right), contraction following conditions hold: (1) Each Rn is a valid proof
(two copies of the same formula can be replaced by one), of (,n ! n ) in our system; (2) For all i , the depth of
and permutation (formulas in a sequent can be reordered). Rn is at most d ; and (3) For all n , the size of Rn is at
The remaining rules are the cut rule, and logical rules most (size(,n ! n ))c .
We say that a formula f can be arranged into d levels 1. TTj : this will be a depth 2 circuit that takes
if the connectives of f can be arranged into d groups as input (log n)1=2 numbers, each of length j
L1; : : : ; Ld called levels such that all the inputs of every and outputs their sum. We will only use TTj
connective at some level are either propositional variables for j = O(log log n) , thus these circuits take less
or connectives from the previous levels. Note that f can than log n inputs, and can therefore be defined by
be arranged into d levels if and only if f has depth at the obvious DNF formulas. (TT thus stands for
most d . Moreover, if f has depth less than d , then some truth-table definition.) Note that if j = k log log n ,
of the levels may be empty. then the number of output bits of TTj will be
(k + 1=2) log log n . The formula TTjl represents
Definition 3 The AC 0 -Frege system is a restriction of the the lth output bit of TTj .
TC 0 -Frege system, where we omit the parity and threshold
connectives and the associated rules. 2. +j : This circuit takes two numbers, each j -bits
long, and outputs their sum. Since we will use this
In the following sections, we will use the symbols 0 circuit only for j = O(log log n) , again the total
and 1 in our formulas. These will simply stand for the number of bits is much less than log n , so we will
formulas x ^ :x and x _ :x , respectively. Thus the use the obvious depth-2 truth-table circuit. Note that
sequents 0 ! and ! 1 have constant-size AC 0 -Frege the number of output bits of +j will be j + 1 .
proofs.
3. GEj : This is a depth-2 formula that takes two j -bit
numbers x and y as input and outputs 1 if and only
3. Notation and AC 0 counting formulas if x is greater than or equal to y . We will be using
GEj only for j = O(log log n) , so again this circuit
In this section we will describe some of the AC 0 will be the obvious depth-2 truth-table formula.
formulas that we will be using. Recall that our goal is to 4. EQUIVj : This is a depth-2 formula that takes two
show that TC 0 -Frege proofs of size polynomial in n in j -bit numbers x and y as input and outputs 1 if and
which all the threshold and parity connectives have fan-in only if x is congruent to y modulo 2 . We will be
polylog n can be simulated by AC 0 -Frege proofs of size using EQUIVj only for j = O(log log n) , so again
polynomial in n . To this end, we will define AC 0 circuits this circuit will be the obvious depth-2 truth-table
of size polynomial in n that can simulate threshold and formula.
parity gates of fan-in polylog n .
We will first show how to add polylog n many bits 5. SUMj;i : This circuit takes as input i numbers, each
using AC 0 circuits of size polynomial in n . The j bits long and outputs their sum. The circuit will be
general idea is as follows. Suppose that the original defined inductively using the TT subcircuits repeat-
input bits are x1 ; : : : ; xm , where m = (log n)k for edly. First, SUMj;0 () = 0 and SUMj;1 (x1 ) = x1 .
some k . We will sum these numbers in a divide and Next, consider SUMj;i (x1 ; : : : ; xi ) for i > 1 . There
conquer fashion, by dividing these inputs into (log n)1=2 are two cases, depending on whether or not i is
consecutive groups, where each group will have size a power of (log n)1=2 . First, if i is not a power
(log n)k,1=2 . After adding the numbers in each group of (log n)1=2 , then SUMj;i (x1 ; : : : ; xi ) is equal to
(recursively), we will have (log n)1=2 numbers, each of SUMj;i (x1 ; : : : ; xi ; 0; : : : ; 0) , where we pad with the
length (k , 1=2) log log n . For the final step, we notice minimum number of zeroes such that the total number
that the total number of bits is less than log n , and thus of inputs is a power of (log n)1=2 . In the second
these (log n)1=2 numbers can be added using a DNF case, assume that i is a power of (log n)1=2 , and
formula of size at most n . To summarize, the AC 0 specifically let i = (log n)k . The idea is that
circuit to add (log n)k 1-bit numbers will be composed SUMj;i (x1 ; : : : ; xi ) will be a full tree consisting of
of 2k levels. The input level (level 2k ) will consist of 2k levels of TT ’s. We define SUMj;i as follows:
(log n)k,1=2 “truth table” subcircuits, TT1 , where each
SUMj;(log n) (x1 ; : : : ; x(log n)k )
k
truth-table subcircuit will take (log n)1=2 numbers, each
of length 1, and output their sum. Finally the output level = TTj+(k,1=2) log log n (A1 ; : : : ; A(log n)1=2 )
(level one), will consist of a single truth-table subcircuit,
TT(k,1=2) log log n , which will again take (log n)1=2 num- where Ar = SUMj;(log n)
,
k 1=2
(xmr,1 +1 ; : : : ; xmr )
bers, each of length (k , 1=2) log log n and output their and mt = t(log n)k,1=2 .
sum.
We proceed more carefully below. We define five types 6. THik (x1 ; : : : ; xi ) : This is a constant-depth formula
of AC 0 circuits as follows. that takes i one-bit inputs, and outputs 1 if and only
if the number of 1’s is k or greater. It is defined 1.(, ! F (A); ) from (, ! F (B ); ) , (,; B !
to be equal to GElog i (SUM1;i (x1 ; : : : ; xi ); k ) . It A; ) and (,; A ! B; ) .
2. (,; F (A) ! ) from (,; F (B ) ! ) , (,; B !
is important to note that in simulating the original
threshold gate, Thk , we are going from an unordered
list of the variables to an ordered list of the variables. A; ) and (,; A ! B; ) .
That is, in our formula for THik , the order of the
Lemma 5 In AC 0 -Frege, for every formula A and F (x) ,
variables matters. Even though commutativity of
the following sequents can be proved in size polynomial
the underlying variables was implicit in Thk , we
in the size of A and F (x) :
will need to show that permutation of THk can be
simulated by our formulas. 1. F (0) ! A; F (A)
7. PARITYib (x1 ; : : : ; xi ) : This is a constant-depth for- 2. F (1); A ! F (A)
mula that takes i one-bit inputs, and outputs 1
if and only if the number of 1’s is congruent 3. F (A); A ! F (1)
to b modulo 2 . It is defined to be equal to F (A) ! A; F (0)
EQUIVlog i (SUM1;i (x1 ; : : : ; xi ); b) . Again, we will
4.
need to show that permutation of PARITYb can be Lemma 6 In AC 0 -Frege, for every formula A and F (x) ,
simulated by our formulas. the following sequents can be derived in size polynomial
in the size of A and F (x) :
To simplify notation, we will usually omit the super-
scripts on the above AC 0 formulas. (They can be figured 1. ! F (A) from ! F (0) and ! F (1) .
out from context.) It will be helpful to keep in mind that
the length of all intermediate numbers will be at most 2. F (A) ! from F (0) ! and F (1) ! .
O(log log n) (i.e., j = O(log log n) .) Lemma 7 In AC 0 -Frege, for every formula F (x1 ; : : : ; xn )
Also, sometimes we will use the notation f = g , where
and for every sequence of formulas A1 ; : : : ; An , if
f and g are circuits, each with j outputs. For example, ! F (A1 ; : : : ; An ) is a tautology, then ! F (A1 ; : : : ; An )
SUM(A1 ; A2 ; : : : ; Am ) = SUM(A2 ; A1 ; : : : ; Am ) . This
V can be derived from sequents of the form F (B1 ; : : : ; Bn )
j
notation is shorthand for the sequent ! i=1 ((:fi _ gi ) ^
(:gi _ fi )) . However, when f = g occurs in a sequent,
! F (B(1) ; : : : ; B(n)) where is a permutation. The
Vj
then it represents the formula i=1 ((:fi _ gi ) ^ (:gi _ fi )) .
size of the derivation is polynomial in the size of
F (x1 ; : : : ; xn ) and of the Ai ’s.
Lastly, in general, we will write the above formulas in
prefix notation (i.e., GE(x; y ) ), but for the + formulas Proof By induction on m , we show how to derive the
we will usually use infix notation (i.e., x + y ). sequents ! F (A1 ; : : : ; Am ; 0i ; 1n,m,i ) , 0 i n ,
m . The base case, m = 0 , is easy since the sequents
4. Preliminaries ! F (0i ; 1n,i ) , 0 i n , contain no variables.
Suppose that the case m holds. Let i
be arbitrary. We want to derive the sequent
The lemmas of this section will greatly simplify the
arguments in the rest of the article. Let F (x) be a
! F (A1 ; : : : ; Am+1 ; 0i ; 1n,(m+1),i ) . By Lemma 6, it is
sufficient to derive ! F (A1 ; : : : ; Am ; 0; 0i ; 1n,(m+1),i )
formula depending on propositional variable x . F may and ! F (A1 ; : : : ; Am ; 1; 0i ; 1n,(m+1),i ) . These two se-
also depend on other variables; the notation F (x) means
that only x is relevant in the context. Given another
quents follow from the inductive hypothesis by permuting
the arguments of F .
formula A , F (A) will denote the formula obtained by The bound on the size of the derivation is easy to
replacing every occurrence of x by A . A derivation of a
sequent S from S1 ; : : : ; Sp is a proof of S that uses the
verify. In particular, the total number of permutation
sequents S1 ; : : : ; Sp as additional initial sequents.
sequents used is bounded by n2 . ut
Lemma 4 can be proved by induction on the structure Lemma 8 In AC 0 -Frege, if , ! is a tautology with
of the formula F . Lemma 5 then follows from Lemma 4, at most O(log n) variables, then , ! can be proved
and Lemma 6, from Lemma 5. in size polynomial in n and in the size of , ! .
Lemma 4 In AC 0 -Frege, for every formula A , B and Proof Since the total number of variables is only
F (x) , and for every sequence of formulas , and , the O(log n) , the total number of truth assignments to the
following sequents can be derived in size polynomial in variables is nO(1) . The proof proceeds by giving linear
the size of A , B , F (x) , , and : size proofs (in the size of the sequent) of ; , ! , where
is a set of literals, corresponding to a particular truth parity connectives have fan-in polylog n , then the AC 0
assignment to all O(log n) variables. Then these proofs translation of , ! has an AC 0 -Frege proof of size
are combined using repeated applications of the cut rule polynomial in n .
to remove the literals in , one-by-one. ut
The proof will be by induction on the number of steps
Lemma 9 Let , ! be an AC -Frege tautology with
0
in P . For i = 1; : : : ; jP j , we will show that there is an
underlying variables x1 ; : : : ; xm . Let f1 ; : : : ; fq be dis- AC 0 -Frege proof of L0i , of size polynomial in n , with
joint subformulas occurring in , ! . Let ,0 ! 0 be intermediate lines L01 ; : : : ; L0i,1 .
the result of replacing every occurrence of each subformula For the inductive basis, we need to give polynomial-size
fi by the variable Ai . Suppose that the Ai ’s are now the AC 0 -Frege proofs of the initial sequents of the TC 0 -Frege
only variables in ,0 ! 0 . If ,0 ! 0 is also a tautology system. The first of these sequents is A ! A which
and q = O(log n) , then , ! has an AC 0 -Frege proof translates to A0 ! A00 where A0 and A00 are two—
of size polynomial in n and in the size of , ! . possibly different—AC 0 translations of A . Our first task
is therefore to give a polynomial-size AC 0 -Frege proof of
Proof The proof is very similar to the one above, except A0 ! A00 . We start with the following lemma.
that now we obtain linear size proofs (in the size of the
sequent) of ; , ! , but where now corresponds to a Lemma 11 Let m = polylog n . The sequents
particular truth assignment to all of the O(log n) formulas THk (A1 ; : : : ; Am ) ! THk (A(1) ; : : : ; A(m) ) and
A1 ; : : : ; Aq . Since ,0 ! 0 is a tautology, each of these PARITYb (A1 ; : : : ; Am ) ! PARITYb (A(1) ; : : : ; A(m) ) ,
nO(1) sequents is true and has a simple linear sized proof. where is any permutation, have AC 0 -Frege proofs of
Now again, we use repeated applications of the cut rule size polynomial in n .
(now applied to constant-depth formulas) to remove all of
the formulas in , one-by-one. ut Proof The formula THk (A1 ; : : : ; Am ) is de-
fined as GE(SUM(A1 ; : : : ; Am ); k ) and the circuit
SUM(A1 ; : : : ; Am ) has only O(log log n) outputs. There-
5. Simulating the restricted TC 0 -Frege proofs fore, by Lemma 9, the sequent
Proof Consider the first sequent. Let Theorem 15 Assuming that the Diffie-Hellman function
cannot be computed with circuits of size 2n for any