Lecture 9: Connecting PH, P/poly and BPP

Similar documents
Lecture 7: Polynomial time hierarchy

4 th Week. Relativizations and Hierarchies

Dimension Characterizations of Complexity Classes

Lecture 24: Randomized Complexity, Course Summary

Math 751 Lecture Notes Week 3

Lecture 17. In this lecture, we will continue our discussion on randomization.

Outline. CS21 Decidability and Tractability. Regular expressions and FA. Regular expressions and FA. Regular expressions and FA

1-way quantum finite automata: strengths, weaknesses and generalizations

Topic: Lower Bounds on Randomized Algorithms Date: September 22, 2004 Scribe: Srinath Sridhar

Lecture 10: Hypercontractivity

Elementary Analysis in Q p

Notes for Lecture 3... x 4

1 Randomized Computation

Umans Complexity Theory Lectures

Introduction to Probability and Statistics

CS 151 Complexity Theory Spring Solution Set 5

Adleman Theorem and Sipser Gács Lautemann Theorem. CS422 Computation Theory CS422 Complexity Theory

Probabilistic Algorithms

Lecture 23: More PSPACE-Complete, Randomized Complexity

Notes for Lecture 3... x 4

Complete problems for classes in PH, The Polynomial-Time Hierarchy (PH) oracle is like a subroutine, or function in

1 Randomized complexity

Lecture 12: Randomness Continued

The Graph Accessibility Problem and the Universality of the Collision CRCW Conflict Resolution Rule

A Social Welfare Optimal Sequential Allocation Procedure

: On the P vs. BPP problem. 30/12/2016 Lecture 11

Lecture 23: Alternation vs. Counting

Lecture 17: Interactive Proof Systems

Lecture 1: Introduction

Quantum Computing Lecture 8. Quantum Automata and Complexity

Analysis of some entrance probabilities for killed birth-death processes

Umans Complexity Theory Lectures

Theory of Computer Science to Msc Students, Spring Lecture 2

Cryptanalysis of Pseudorandom Generators

Lecture 6: Oracle TMs, Diagonalization Limits, Space Complexity

Lecture 4 : Quest for Structure in Counting Problems

CS154, Lecture 17: conp, Oracles again, Space Complexity

EE/Stats 376A: Information theory Winter Lecture 5 Jan 24. Lecturer: David Tse Scribe: Michael X, Nima H, Geng Z, Anton J, Vivek B.

Lecture 18: Oct 15, 2014

U.C. Berkeley CS278: Computational Complexity Professor Luca Trevisan 1/29/2002. Notes for Lecture 3

Lecture 8: Alternatation. 1 Alternate Characterizations of the Polynomial Hierarchy

Lecture 3: Nondeterminism, NP, and NP-completeness

Lecture 21: Algebraic Computation Models

Lecture 20: conp and Friends, Oracles in Complexity Theory

Umans Complexity Theory Lectures

Lecture 5: Logspace reductions and completeness

f(r) = a d n) d + + a0 = 0

Real Analysis 1 Fall Homework 3. a n.

Proof Nets and Boolean Circuits

Approximating min-max k-clustering

2 Evidence that Graph Isomorphism is not NP-complete

CS294: Pseudorandomness and Combinatorial Constructions September 13, Notes for Lecture 5

Homework Set #3 Rates definitions, Channel Coding, Source-Channel coding

Sums of independent random variables

15.1 Proof of the Cook-Levin Theorem: SAT is NP-complete

Lecture 7: The Polynomial-Time Hierarchy. 1 Nondeterministic Space is Closed under Complement

MATH 2710: NOTES FOR ANALYSIS

Lecture Notes Each circuit agrees with M on inputs of length equal to its index, i.e. n, x {0, 1} n, C n (x) = M(x).

B8.1 Martingales Through Measure Theory. Concept of independence

Randomized Complexity Classes; RP

Notes on Complexity Theory Last updated: November, Lecture 10

198:538 Complexity of Computation Lecture 16 Rutgers University, Spring March 2007

1 Gambler s Ruin Problem

CS151 Complexity Theory. Lecture 14 May 17, 2017

Lecture Examples of problems which have randomized algorithms

Handout 5. α a1 a n. }, where. xi if a i = 1 1 if a i = 0.

Lecture 5: The Landscape of Complexity Classes

NP Completeness. Richard Karp, 1972.

1 From previous lectures

Lecture 23: Introduction to Quantum Complexity Theory 1 REVIEW: CLASSICAL COMPLEXITY THEORY

CS151 Complexity Theory. Lecture 1 April 3, 2017

CHAPTER 2: SMOOTH MAPS. 1. Introduction In this chapter we introduce smooth maps between manifolds, and some important

Autoreducibility of NP-Complete Sets under Strong Hypotheses

ON THE LEAST SIGNIFICANT p ADIC DIGITS OF CERTAIN LUCAS NUMBERS

Lecture 3 (Notes) 1. The book Computational Complexity: A Modern Approach by Sanjeev Arora and Boaz Barak;

Randomized Computation

CSC 5170: Theory of Computational Complexity Lecture 5 The Chinese University of Hong Kong 8 February 2010

DRAFT. Algebraic computation models. Chapter 14

CS154, Lecture 15: Cook-Levin Theorem SAT, 3SAT

8 STOCHASTIC PROCESSES

6.045: Automata, Computability, and Complexity (GITCS) Class 17 Nancy Lynch

SQUARES IN Z/NZ. q = ( 1) (p 1)(q 1)

GOOD MODELS FOR CUBIC SURFACES. 1. Introduction

COMPLEXITY THEORY. PSPACE = SPACE(n k ) k N. NPSPACE = NSPACE(n k ) 10/30/2012. Space Complexity: Savitch's Theorem and PSPACE- Completeness

The Polynomial Hierarchy

Inference for Empirical Wasserstein Distances on Finite Spaces: Supplementary Material

CSC 5170: Theory of Computational Complexity Lecture 9 The Chinese University of Hong Kong 15 March 2010

Lecture 17: Cook-Levin Theorem, NP-Complete Problems

1 1 c (a) 1 (b) 1 Figure 1: (a) First ath followed by salesman in the stris method. (b) Alternative ath. 4. D = distance travelled closing the loo. Th

MA3H1 TOPICS IN NUMBER THEORY PART III

15-451/651: Design & Analysis of Algorithms October 23, 2018 Lecture #17: Prediction from Expert Advice last changed: October 25, 2018

A Parallel Algorithm for Minimization of Finite Automata

DISCRIMINANTS IN TOWERS

A.Antonopoulos 18/1/2010

Lecture 9: Polynomial-Time Hierarchy, Time-Space Tradeoffs

CS Communication Complexity: Applications and New Directions

Lecture: Condorcet s Theorem

Impossibility of a Quantum Speed-up with a Faulty Oracle

Additive results for the generalized Drazin inverse in a Banach algebra

ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM

Transcription:

Comutational Comlexity Theory, Fall 010 Setember Lecture 9: Connecting PH, P/oly and BPP Lecturer: Kristoffer Arnsfelt Hansen Scribe: Martin Sergio Hedevang Faester Although we do not know how to searate P from NP, It is a standard hyosthesis of comutational comlexity theory that the two classes differ. Hyothesis 1. P NP Another common hyothesis is that NP and conp differ. We note P = NP NP = conp (since P is closed under comlement of languages). This could also be written as NP conp P NP. Thus the hyothesis that NP conp is a stronger hyothesis than P NP. In general we may hyothesize that the entire olynomial time hiearchy is a strict hierarchy. Hyothesis (generalized). For all k: 1. Σ k+1 Σ k. Σ k Π k NP P conp Figure 1: Polynomial-time hierarchy The second hyothesis at least as strong as the first: Proosition 3. Σ k+1 = Σ k Σ k = Π k (equivalently Σ k Π k Σ k+1 Σ k ) Proof. We will show that Π k Σ k. Consider the following Π k Σ k+1 by asm. = Σ k By comlements, we also have Σ k Π k. We next show that if the hyothesis Σ k Π k collases to the kth level. fails, then the entire olynomial time hierarchy 1

Theorem 4. If Σ k = Π k for some k then P H = Σ k Proof. By induction, we will rove that Σ k+i+1 = Σ k (= Π k ). The base case is done in the same way as the inductive ste. Let L Σ k+i+1. Then there exists some olynomial and R P such that Now, define L Π k+i by x L y 1 y y 3 Q y k+i+1 x, y 1, y,..., y k+i+1 R x, y L y y 3 Q y k+i+1 x, y 1, y,..., y k+i+1 R By induction L Π k = Σ k so there is a olynomial ˆ and ˆR P such that Then x, y 1 L ˆ z 1 ˆ z Qˆ z k x, y 1, z 1, z,..., z k ˆR x L This concludes the roof that L Σ k. merge +ˆ y 1,z 1 {}}{ y 1 ˆ z 1 ˆ z Qˆ z k x, y 1, z 1, z,..., z k ˆR Corollary 5. If P H has a comlete roblem then P H collases (i.e. P H = Σ k for some k) Proof. Assume L is comlete for P H. Then L Σ k for some k. Σ k since any L P H reduces to L, P H Σ k. is closed under reduction and Corollary 6. If P H = P SP ACE then P H collases Proof. P SP ACE has comlete roblems. Theorem 7 (Kar-Liton). If NP P/oly then P H = Σ = Π Proof. Assume NP P/P oly. We will show Π Σ. Let L Π then there is some olynomial and R P such that x L y z x, y, z R Define L NP by x, y L z x, y, z R and define L re NP by x, y, z re L re z such that x, y, z R and z re is a refix of z. By assumtion we have olynomial-sized circuits (L re P/oly). Using circuits for L re we can find a witness z, given x, y, in olynomial time, if it exists. Converting this to a multi-outut circuit C, we obtain that C( x, y ) oututs a witness z if it exists. Now, we can write x L C y x, y, C( x, y ) R. Thus L Σ. Theorem 8 (Meyer). If EXP P/oly then EXP = Σ = Π.

nk z i, t at time t, store content of cell i is the head scanning the cell? if so, internal state Figure : We can comute the content of the cell by looking at the three neighbors below. Proof. Let L EXP and let M be a 1-tae Turing machine deciding L in time nk. Consider the comutation tableau for M, and assume each osition (i, t) encodes as a string z i,t the content of cell i at time t, whether the tae head is scanning cell i at time t, and if so, stores the internal state of the machine. Now consider the following tableau language for M. L M = { x, i, t, z on inut x we have z i,t = z for M} By simulating M we have L M EXP P/oly. Using olynomial size circuits for L M we can construct a olynomial-size multi-outut circuit C such that C( x, i, t ) = z. Now we write x L C i, t : C( x, i, t ) follow from C( x, i t, t 1 ), C( x, i, t 1 ) and C( x, i+1, t t1 ) and C( x, 1, nk ) is acceting. Theorem 9. BP P P/oly Proof. The roof technique here is known as the robabilistic method, which is used for showing existence of an object by deriving that the robability of finding the object is strictly greater than 0 (which yields the existence). We shall assume our alhabet is Σ = {0, 1}. Let L BP P. By success amlification there is a robabilistic olynomial time Turing machine M that comutes L with error < 1. n Fix x {0, 1} n. Taking the robability over the for internal coin flis, Pr[M errs on x] < 1. n By a union bound we have the following Pr[M errs on some x {0, 1} n ] Σ x {0,1} n Pr[M errs on x] < n 1 n = 1 Thus, there are some internal coin-flis where M makes no error on any x {0, 1} n. Convert M into a circuit and hardwire the lucky coin-flis (mentioned right above). Theorem 10. BP P Σ Π 3

Proof. We will rove BP P Σ. Suose L BP P and let us recall the definition of this: L BP P olynomial, L P x L : Pr[ x, y L ] 3 x L : Pr[ x, y L ] 3 for y {0, 1} ( x ). Recall the details of success amlification: If we use m coin-flis to get error < 1 3 then by running O(k) indeendent trials, i.e., by using O(km) coin-flis, we can get error < 1. k Then there exists a Turing machine M using m = m(n) random bits to get error < 1 m. That is, we have L P such that x L : Pr[ x, y L ] 1 1 m x L : Pr[ x, y L ] < 1 m where y {0, 1} m. For a given x, let S x = {y {0, 1} m x, y L }: S x S x Figure 3: (*) [on the left] and (**) [on the right] x L : S x (1 1 m )m (*) x L : S x < 1 m m (**) The idea now is that by a few random shifts one can cover the entire robability sace in (*) but not in (**): Notation: S {0, 1} m, y {0, 1} m ; Shift S by y S := {y x x S x }. Claim 1. x L u 1, u,..., u m {0, 1} m r {0, 1} m : m [ x, r u i L ] Note: The above exression is a Σ statement as needed for the conclusion. 4 i

This may also be rewritten as u 1, u,..., u m {0, 1} m r {0, 1} m i : r u i S x and further (note r u i S x r u i S x ) u 1, u,..., u m {0, 1} m : u i S x = {0, 1} m Proof of claim. x L: Let u 1, u,..., u m be arbitrary. u i S x i m u i S x m m m < m Hence for all choices for u 1,..., u m we have that m u i S x {0, 1} m. x L: Pick u 1, u,..., u m at random. Fix r {0, 1} m and consider the rewrites Pr[r u i S x ] = Pr[ i : r u i S x ] = Pr[ i : u i r S x ] = m Pr[u i r S x ] ( 1 m )m < 1 m (1) Taking a union bound over all r, we get that Pr[r m u i S x for some x] < 1. Hence concluding by the robabilistic method there exists some choice for u 1,..., u m such that m u i S x = {0, 1} m. 5