Dimension and the Structure of Complexity Classes

09/13/2021
by   Jack H. Lutz, et al.
0

We prove three results on the dimension structure of complexity classes. 1. The Point-to-Set Principle, which has recently been used to prove several new theorems in fractal geometry, has resource-bounded instances. These instances characterize the resource-bounded dimension of a set X of languages in terms of the relativized resource-bounded dimensions of the individual elements of X, provided that the former resource bound is large enough to parameterize the latter. Thus for example, the dimension of a class X of languages in EXP is characterized in terms of the relativized p-dimensions of the individual elements of X. 2. Every language that is ≤^P_m-reducible to a p-selective set has p-dimension 0, and this fact holds relative to arbitrary oracles. Combined with a resource-bounded instance of the Point-to-Set Principle, this implies that if NP has positive dimension in EXP, then no quasipolynomial time selective language is ≤^P_m-hard for NP. 3. If the set of all disjoint pairs of NP languages has dimension 1 in the set of all disjoint pairs of EXP languages, then NP has positive dimension in EXP.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/16/2020

The Dimensions of Hyperspaces

We use the theory of computing to prove general hyperspace dimension the...
research
07/30/2022

A point to set principle for finite-state dimension

Effective dimension has proven very useful in geometric measure theory t...
research
09/22/2021

The Point-to-Set Principle, the Continuum Hypothesis, and the Dimensions of Hamel Bases

We prove that the Continuum Hypothesis implies that every real number in...
research
08/23/2023

Cliquewidth and dimension

We prove that every poset with bounded cliquewidth and with sufficiently...
research
12/21/2020

Ergodic Theorems for PSPACE functions and their converses

We initiate the study of effective pointwise ergodic theorems in resourc...
research
11/26/2022

Derandomization under Different Resource Constraints

We provide another proof to the EL Theorem. We show the tradeoff between...
research
04/14/2021

On the Vapnik-Chervonenkis dimension of products of intervals in ℝ^d

We study combinatorial complexity of certain classes of products of inte...

Please sign up or login with your details

Forgot password? Click here to reset