# Curiouser and Curiouser : The Link between Incompressibility and Complexity

Post on 23-Feb-2016

20 views

Category:

## Documents

DESCRIPTION

Curiouser and Curiouser : The Link between Incompressibility and Complexity. CiE Special Session, June 19, 2012. Todays Goal:. To present new developments in a line of research dating back to 2002, presenting some unexpected connections between - PowerPoint PPT Presentation

TRANSCRIPT

Slide 1

Curiouser and Curiouser: The Link between Incompressibility and ComplexityCiE Special Session, June 19, 2012Eric AllenderRutgers UniversityEric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >1Todays Goal:To present new developments in a line of research dating back to 2002, presenting some unexpected connections betweenKolmogorov Complexity (the theory of randomness), andComputational Complexity TheoryWhich ought to have nothing to do with each other!Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >2Complexity ClassesPNPBPPPSPACENEXPEXPSPACEP/polyEric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >A Jewel of Derandomization[Impagliazzo, Wigderson, 1997]: If there is a problem computable in time 2n that requires circuits of size 2n, then P = BPP.Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >4Kolmogorov ComplexityC(x) = min{|d| : U(d) = x}U is a universal Turing machineK(x) = min{|d| : U(d) = x}U is a universal prefix-free Turing machineImportant propertyInvariance: The choice of the universal Turing machine U is unimportant (up to an additive constant). x is random if C(x) |x|.Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >5Kolmogorov ComplexityC(x) = min{|d| : U(d) = x}U is a universal Turing machineK(x) = min{|d| : U(d) = x}U is a universal prefix-free Turing machineImportant propertyInvariance: The choice of the universal Turing machine U is unimportant (up to an additive constant). x is random if C(x) |x|, or K(x) |x|.Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >6K, C, and RandomnessK(x) and C(x) are close:C(x) K(x) C(x) + 2 log |x|Two notions of randomness:RC = {x : C(x) |x|}RK = {x : K(x) |x|}actually, infinitely many notions of randomness:RCU = {x : CU(x) |x|}

Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >K, C, and RandomnessK(x) and C(x) are close:C(x) K(x) C(x) + 2 log |x|Two notions of randomness:RC = {x : C(x) |x|}RK = {x : K(x) |x|}actually, infinitely many notions of randomness:RCU = {x : CU(x) |x|}, RKU = {x : KU(x) |x|}

Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >K, C, and RandomnessWhen it makes no difference, well write R instead of RC or RK.Basic facts:R is undecidablebut it is not easy to use it as an oracle.R is not NP-hard under poly-time m reductions, unless P=NP.Things get more interesting when we consider more powerful types of reducibility.Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >Three Bizarre InclusionsNEXP is contained in NPR. [ABK06]PSPACE is contained in PR. [ABKMR06]BPP is contained in {A : A is poly-time tt R}. [BFKL10]A tt reduction is a non-adaptive reduction.On input x, a list of queries is formulated before receiving any answer from the oracle.Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >Three Bizarre InclusionsNEXP is contained in NPR. [ABK06]PSPACE is contained in PR. [ABKMR06]BPP is contained in PttR. [BFKL10]

Bizarre, because a non-computable upper bound is presented on complexity classes!We have been unable to squeeze larger complexity classes inside. Are these containments optimal?Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >Three Bizarre InclusionsNEXP is contained in NPR. [ABK06]PSPACE is contained in PR. [ABKMR06]BPP is contained in PttR. [BFKL10]

Bizarre, because a non-computable upper bound is presented on complexity classes!

If we restrict attention to RK, then we can do betterEric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >Three Bizarre InclusionsNEXP is contained in NPRK.The decidable sets that are in NPRK for every U are in EXPSPACE. [AFG11]PSPACE is contained in PRK.

BPP is contained in PttRK.The decidable sets that are in PttRK for every U are in PSPACE. [AFG11]

Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >Three Bizarre InclusionsNEXP is contained in NPRK (for every U).The decidable sets that are in NPRK for every U are in EXPSPACE. [AFG11]PSPACE is contained in PRK (for every U).

BPP is contained in PttRK (for every U).The decidable sets that are in PttRK for every U are in PSPACE. [AFG11][CELM] The sets that are in PttRK for every U are decidable.

Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >Three Bizarre InclusionsNEXP is contained in NPRK (for every U).The decidable sets that are in NPRK for every U are in EXPSPACE. [AFG11]PSPACE is contained in PRK (for every U).

BPP is contained in PttRK (for every U).The sets that are in PttRK for every U are in PSPACE. [AFG11]

Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >Three Bizarre InclusionsNEXP is contained in NPRK (for every U).The sets that are in NPRK for every U are in EXPSPACE. [AFG11]PSPACE is contained in PRK (for every U).

BPP is contained in PttRK (for every U).The sets that are in PttRK for every U are in PSPACE. [AFG11]

Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >Three Bizarre InclusionsNEXP is contained in NPRK (for every U).The sets that are in NPRK for every U are in EXPSPACE. [AFG11]Conjecture: This should hold for RC, too.

BPP is contained in PttRK (for every U).The sets that are in PttRK for every U are in PSPACE. [AFG11]

Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >Three Bizarre InclusionsNEXP is contained in NPRK (for every U).The sets that are in NPRK for every U are in EXPSPACE. [AFG11]This holds even for sets in EXPttRK for all U!

BPP is contained in PttRK (for every U).The sets that are in PttRK for every U are in PSPACE. [AFG11]Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >Three Bizarre InclusionsNEXP is contained in NPRK (for every U).The sets that are in NPRK for every U are in EXPSPACE. [AFG11]Conjecture: This class is exactly NEXP.

BPP is contained in PttRK (for every U).The sets that are in PttRK for every U are in PSPACE. [AFG11]Conjecture: This class is exactly BPP.Eric Allender: Curiouser & Curiouser: The Link between Incompressibility and Complexity< # >Three Bizarre InclusionsNEXP is contained in NPRK (for every U).The sets that are in NPRK for every U are in EXPSPACE. [AFG11]Conjecture: This class is exactly NEXP.