52,399 research outputs found

    Construction of an NP Problem with an Exponential Lower Bound

    Get PDF
    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

    Full text link
    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 α>0\alpha>0, β<α3\beta<\alpha^3, and prime number pp, there is a least positive integer np(α,β)n_p(\alpha,\beta) such that if nnp(α,β)n \geq n_p(\alpha,\beta), then for every subset of Fpn\mathbb{F}_p^n of density at least α\alpha there is a nonzero dd for which the density of three-term arithmetic progressions with common difference dd is at least β\beta. We determine for p19p \geq 19 the tower height of np(α,β)n_p(\alpha,\beta) up to an absolute constant factor and an additive term depending only on pp. In particular, if we want half the random bound (so β=α3/2\beta=\alpha^3/2), then the dimension nn required is a tower of twos of height Θ((logp)loglog(1/α))\Theta \left((\log p) \log \log (1/\alpha)\right). It turns out that the tower height in general takes on a different form in several different regions of α\alpha and β\beta, 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

    Full text link
    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

    Full text link
    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

    Get PDF
    We study the problem of optimal mixing of a passive scalar ρ\rho advected by an incompressible flow on the two dimensional unit square. The scalar ρ\rho solves the continuity equation with a divergence-free velocity field uu with uniform-in-time bounds on the homogeneous Sobolev semi-norm W˙s,p\dot{W}^{s,p}, where s>1s>1 and 1<p1< p \leq \infty. We measure the degree of mixedness of the tracer ρ\rho 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
    corecore