4 research outputs found
Alternation-Trading Proofs, Linear Programming, and Lower Bounds
A fertile area of recent research has demonstrated concrete polynomial time
lower bounds for solving natural hard problems on restricted computational
models. Among these problems are Satisfiability, Vertex Cover, Hamilton Path,
Mod6-SAT, Majority-of-Majority-SAT, and Tautologies, to name a few. The proofs
of these lower bounds follow a certain proof-by-contradiction strategy that we
call alternation-trading. An important open problem is to determine how
powerful such proofs can possibly be.
We propose a methodology for studying these proofs that makes them amenable
to both formal analysis and automated theorem proving. We prove that the search
for better lower bounds can often be turned into a problem of solving a large
series of linear programming instances. Implementing a small-scale theorem
prover based on this result, we extract new human-readable time lower bounds
for several problems. This framework can also be used to prove concrete
limitations on the current techniques.Comment: To appear in STACS 2010, 12 page
Block Rigidity: Strong Multiplayer Parallel Repetition Implies Super-Linear Lower Bounds for Turing Machines
We prove that a sufficiently strong parallel repetition theorem for a special
case of multiplayer (multiprover) games implies super-linear lower bounds for
multi-tape Turing machines with advice. To the best of our knowledge, this is
the first connection between parallel repetition and lower bounds for time
complexity and the first major potential implication of a parallel repetition
theorem with more than two players.
Along the way to proving this result, we define and initiate a study of block
rigidity, a weakening of Valiant's notion of rigidity. While rigidity was
originally defined for matrices, or, equivalently, for (multi-output) linear
functions, we extend and study both rigidity and block rigidity for general
(multi-output) functions. Using techniques of Paul, Pippenger, Szemer\'edi and
Trotter, we show that a block-rigid function cannot be computed by multi-tape
Turing machines that run in linear (or slightly super-linear) time, even in the
non-uniform setting, where the machine gets an arbitrary advice tape.
We then describe a class of multiplayer games, such that, a sufficiently
strong parallel repetition theorem for that class of games implies an explicit
block-rigid function. The games in that class have the following property that
may be of independent interest: for every random string for the verifier
(which, in particular, determines the vector of queries to the players), there
is a unique correct answer for each of the players, and the verifier accepts if
and only if all answers are correct. We refer to such games as independent
games. The theorem that we need is that parallel repetition reduces the value
of games in this class from to , where is the number of
repetitions.
As another application of block rigidity, we show conditional size-depth
tradeoffs for boolean circuits, where the gates compute arbitrary functions
over large sets.Comment: 17 pages, ITCS 202
One-Tape Turing Machine and Branching Program Lower Bounds for MCSP
For a size parameter s: ? ? ?, the Minimum Circuit Size Problem (denoted by MCSP[s(n)]) is the problem of deciding whether the minimum circuit size of a given function f : {0,1}? ? {0,1} (represented by a string of length N : = 2?) is at most a threshold s(n). A recent line of work exhibited "hardness magnification" phenomena for MCSP: A very weak lower bound for MCSP implies a breakthrough result in complexity theory. For example, McKay, Murray, and Williams (STOC 2019) implicitly showed that, for some constant ?? > 0, if MCSP[2^{??? n}] cannot be computed by a one-tape Turing machine (with an additional one-way read-only input tape) running in time N^{1.01}, then P?NP.
In this paper, we present the following new lower bounds against one-tape Turing machines and branching programs:
1) A randomized two-sided error one-tape Turing machine (with an additional one-way read-only input tape) cannot compute MCSP[2^{???n}] in time N^{1.99}, for some constant ?? > ??.
2) A non-deterministic (or parity) branching program of size o(N^{1.5}/log N) cannot compute MKTP, which is a time-bounded Kolmogorov complexity analogue of MCSP. This is shown by directly applying the Ne?iporuk method to MKTP, which previously appeared to be difficult.
3) The size of any non-deterministic, co-non-deterministic, or parity branching program computing MCSP is at least N^{1.5-o(1)}. These results are the first non-trivial lower bounds for MCSP and MKTP against one-tape Turing machines and non-deterministic branching programs, and essentially match the best-known lower bounds for any explicit functions against these computational models.
The first result is based on recent constructions of pseudorandom generators for read-once oblivious branching programs (ROBPs) and combinatorial rectangles (Forbes and Kelley, FOCS 2018; Viola 2019). En route, we obtain several related results:
1) There exists a (local) hitting set generator with seed length O?(?N) secure against read-once polynomial-size non-deterministic branching programs on N-bit inputs.
2) Any read-once co-non-deterministic branching program computing MCSP must have size at least 2^??(N)
A time lower bound for satisfiability
Abstract. We show that a deterministic Turing machine with one ddimensional work tape and random access to the input cannot solve satisfiability in time na for a < p(d + 2)/(d + 1). For conondeterministic machines, we obtain a similar lower bound for any a such that a3 < 1 + a/(d + 1). The same bounds apply to almost all natural NP-complete problems known. 1 Introduction Proving time lower bounds for natural problems remains the most difficultchallenge in computational complexity. We know exponential lower bounds on severely restricted models of computation (e.g., for parity on constant depthcircuits) and polynomial lower bounds on somewhat restricted models (e.g., for palindromes on single tape Turing machines) but no nontrivial lower bounds ongeneral random-access machines. In this paper, we exploit the recent time-space lower bounds for satisfiability on general random-access machines to establishnew lower bounds of the second type, namely a time lower bound for satisfiability on Turing machines with one multidimensional work tape and random accessto the input