Smoothed Complexity Theory

Smoothed analysis is a new way of analyzing algorithms introduced by Spielman and Teng (J. ACM, 2004). Classical methods like worst-case or average-case analysis have accompanying complexity classes, like P and AvgP, respectively. While worst-case or average-case analysis give us a means to talk about the running time of a particular algorithm, complexity classes allows us to talk about the inherent difficulty of problems. Smoothed analysis is a hybrid of worst-case and average-case analysis and compensates some of their drawbacks. Despite its success for the analysis of single algorithms and problems, there is no embedding of smoothed analysis into computational complexity theory, which is necessary to classify problems according to their intrinsic difficulty. We propose a framework for smoothed complexity theory, define the relevant classes, and prove some first hardness results (of bounded halting and tiling) and tractability results (binary optimization problems, graph coloring, satisfiability). Furthermore, we discuss extensions and shortcomings of our model and relate it to semi-random models.Comment: to be presented at MFCS 201

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

Nurturing Breakthroughs: Lessons from Complexity Theory

A general theory of innovation and progress in human society is outlined, based on the combat between two opposite forces (conservatism/inertia and speculative herding "bubble" behavior). We contend that human affairs are characterized by ubiquitous ``bubbles'', which involve huge risks which would not otherwise be taken using standard cost/benefit analysis. Bubbles result from self-reinforcing positive feedbacks. This leads to explore uncharted territories and niches whose rare successes lead to extraordinary discoveries and provide the base for the observed accelerating development of technology and of the economy. But the returns are very heterogeneous, very risky and may not occur. In other words, bubbles, which are characteristic definitions of human activity, allow huge risks to get huge returns over large scales. We outline some underlying mathematical structure and a few results involving positive feedbacks, emergence, heavy-tailed power laws, outliers/kings/black swans, the problem of predictability and the illusion of control, as well as some policy implications.Comment: 14 pages, Invited talk at the workshop Trans-disciplinary Research Agenda for Societal Dynamics (http://www.uni-lj.si/trasd in Ljubljana), organized by J. Rogers Hollingsworth, Karl H. Mueller, Ivan Svetlik, 24 - 25 May 2007, Ljubljana, Sloveni

Complexity Theory, Adaptation, and Administrative Law

Recently, commentators have applied insights from complexity theory to legal analysis generally and to administrative law in particular. This Article focuses on one of the central problems that complexity. theory addresses, the importance and mechanisms of adaptation within complex systems. In Part I, the Article uses three features of complex adaptive systems-emergence from self-assembly, nonlinearity, and sensitivity to initial conditions-and explores the extent to which they may add value as a matter of positive analysis to the understanding of change within legal systems. In Part H, the Article focuses on three normative claims in public law scholarship that depend explicitly or implicitly on notions of adaptation: that states offer advantages over the federal government because experimentation can make them more adaptive, that federal agencies should themselves become more experimentalist using the tool of adaptive management, and that administrative agencies shou Id adopt collaborative mechanisms in policymaking. Using two analytic tools found in the complexity literature, the genetic algorithm and evolutionary game theory, the Article tests the extent to which these three normative claims are borne out

An Introduction to Quantum Complexity Theory

We give a basic overview of computational complexity, query complexity, and communication complexity, with quantum information incorporated into each of these scenarios. The aim is to provide simple but clear definitions, and to highlight the interplay between the three scenarios and currently-known quantum algorithms.Comment: 28 pages, LaTeX, 11 figures within the text, to appear in "Collected Papers on Quantum Computation and Quantum Information Theory", edited by C. Macchiavello, G.M. Palma, and A. Zeilinger (World Scientific

Randomisation and Derandomisation in Descriptive Complexity Theory

We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic L, which is defined from L in a similar way as the complexity class BPP, bounded error probabilistic polynomial time, is defined from PTIME. Our main focus lies on questions of derandomisation, and we prove that there is a query which is definable in BPFO, the probabilistic version of first-order logic, but not in Cinf, finite variable infinitary logic with counting. This implies that many of the standard logics of finite model theory, like transitive closure logic and fixed-point logic, both with and without counting, cannot be derandomised. Similarly, we present a query on ordered structures which is definable in BPFO but not in monadic second-order logic, and a query on additive structures which is definable in BPFO but not in FO. The latter of these queries shows that certain uniform variants of AC0 (bounded-depth polynomial sized circuits) cannot be derandomised. These results are in contrast to the general belief that most standard complexity classes can be derandomised. Finally, we note that BPIFP+C, the probabilistic version of fixed-point logic with counting, captures the complexity class BPP, even on unordered structures