52,399 research outputs found
Construction of an NP Problem with an Exponential Lower Bound
In this paper we present a Hashed-Path Traveling Salesperson Problem (HPTSP),
a new type of problem which has the interesting property of having no
polynomial time solutions. Next we show that HPTSP is in the class NP by
demonstrating that local information about sub-routes is insufficient to
compute the complete value of each route. As a consequence, via Ladner's
theorem, we show that the class NPI is non-empty
Popular progression differences in vector spaces II
Green used an arithmetic analogue of Szemer\'edi's celebrated regularity
lemma to prove the following strengthening of Roth's theorem in vector spaces.
For every , , and prime number , there is a least
positive integer such that if ,
then for every subset of of density at least there is
a nonzero for which the density of three-term arithmetic progressions with
common difference is at least . We determine for the
tower height of up to an absolute constant factor and an
additive term depending only on . In particular, if we want half the random
bound (so ), then the dimension required is a tower of
twos of height . It turns
out that the tower height in general takes on a different form in several
different regions of and , and different arguments are used
both in the upper and lower bounds to handle these cases.Comment: 34 pages including appendi
Oracles Are Subtle But Not Malicious
Theoretical computer scientists have been debating the role of oracles since
the 1970's. This paper illustrates both that oracles can give us nontrivial
insights about the barrier problems in circuit complexity, and that they need
not prevent us from trying to solve those problems.
First, we give an oracle relative to which PP has linear-sized circuits, by
proving a new lower bound for perceptrons and low- degree threshold
polynomials. This oracle settles a longstanding open question, and generalizes
earlier results due to Beigel and to Buhrman, Fortnow, and Thierauf. More
importantly, it implies the first nonrelativizing separation of "traditional"
complexity classes, as opposed to interactive proof classes such as MIP and
MA-EXP. For Vinodchandran showed, by a nonrelativizing argument, that PP does
not have circuits of size n^k for any fixed k. We present an alternative proof
of this fact, which shows that PP does not even have quantum circuits of size
n^k with quantum advice. To our knowledge, this is the first nontrivial lower
bound on quantum circuit size.
Second, we study a beautiful algorithm of Bshouty et al. for learning Boolean
circuits in ZPP^NP. We show that the NP queries in this algorithm cannot be
parallelized by any relativizing technique, by giving an oracle relative to
which ZPP^||NP and even BPP^||NP have linear-size circuits. On the other hand,
we also show that the NP queries could be parallelized if P=NP. Thus, classes
such as ZPP^||NP inhabit a "twilight zone," where we need to distinguish
between relativizing and black-box techniques. Our results on this subject have
implications for computational learning theory as well as for the circuit
minimization problem.Comment: 20 pages, 1 figur
Complexity Theory, Game Theory, and Economics: The Barbados Lectures
This document collects the lecture notes from my mini-course "Complexity
Theory, Game Theory, and Economics," taught at the Bellairs Research Institute
of McGill University, Holetown, Barbados, February 19--23, 2017, as the 29th
McGill Invitational Workshop on Computational Complexity.
The goal of this mini-course is twofold: (i) to explain how complexity theory
has helped illuminate several barriers in economics and game theory; and (ii)
to illustrate how game-theoretic questions have led to new and interesting
complexity theory, including recent several breakthroughs. It consists of two
five-lecture sequences: the Solar Lectures, focusing on the communication and
computational complexity of computing equilibria; and the Lunar Lectures,
focusing on applications of complexity theory in game theory and economics. No
background in game theory is assumed.Comment: Revised v2 from December 2019 corrects some errors in and adds some
recent citations to v1 Revised v3 corrects a few typos in v
Cellular mixing with bounded palenstrophy
We study the problem of optimal mixing of a passive scalar advected by
an incompressible flow on the two dimensional unit square. The scalar
solves the continuity equation with a divergence-free velocity field with
uniform-in-time bounds on the homogeneous Sobolev semi-norm ,
where and . We measure the degree of mixedness of the
tracer via the two different notions of mixing scale commonly used in
this setting, namely the functional and the geometric mixing scale. For
velocity fields with the above constraint, it is known that the decay of both
mixing scales cannot be faster than exponential. Numerical simulations suggest
that this exponential lower bound is in fact sharp, but so far there is no
explicit analytical example which matches this result. We analyze velocity
fields of cellular type, which is a special localized structure often used in
constructions of explicit analytical examples of mixing flows and can be viewed
as a generalization of the self-similar construction by Alberti, Crippa and
Mazzucato. We show that for any velocity field of cellular type both mixing
scales cannot decay faster than polynomially.Comment: 20 pages, 5 figure
- …