6,320 research outputs found
The Limitations of Optimization from Samples
In this paper we consider the following question: can we optimize objective
functions from the training data we use to learn them? We formalize this
question through a novel framework we call optimization from samples (OPS). In
OPS, we are given sampled values of a function drawn from some distribution and
the objective is to optimize the function under some constraint.
While there are interesting classes of functions that can be optimized from
samples, our main result is an impossibility. We show that there are classes of
functions which are statistically learnable and optimizable, but for which no
reasonable approximation for optimization from samples is achievable. In
particular, our main result shows that there is no constant factor
approximation for maximizing coverage functions under a cardinality constraint
using polynomially-many samples drawn from any distribution.
We also show tight approximation guarantees for maximization under a
cardinality constraint of several interesting classes of functions including
unit-demand, additive, and general monotone submodular functions, as well as a
constant factor approximation for monotone submodular functions with bounded
curvature
Extension of positivity bounds to non-local theories: IR obstructions to Lorentz invariant UV completions
We derive positivity bounds on low energy effective field theories which
admit gapped, analytic, unitary, Lorentz invariant, and possibly non-local UV
completions, by considering 2 to 2 scatterings of Jaffe fields whose
Lehmann-K\"{a}ll\'{e}n spectral density can grow exponentially. Several
properties of S-matrix, such as analyticity properties, are assumed in our
derivation. Interestingly, we find that some of the positivity bounds obtained
in the literature, such as sub-leading order forward-limit bounds, must be
satisfied even when UV completions fall into non-localizable theories in
Jaffe's language, unless momentum space Wightman functions grow too rapidly at
high energy. Under this restriction on the growth rate, such bounds may provide
IR obstructions to analytic, unitary, and Lorentz invariant UV completions.Comment: 24 pages, 1 figure. v3: matches published versio
On optimal heuristic randomized semidecision procedures, with application to proof complexity
The existence of a (p-)optimal propositional proof system is a major open
question in (proof) complexity; many people conjecture that such systems do not
exist. Krajicek and Pudlak (1989) show that this question is equivalent to the
existence of an algorithm that is optimal on all propositional tautologies.
Monroe (2009) recently gave a conjecture implying that such algorithm does not
exist.
We show that in the presence of errors such optimal algorithms do exist. The
concept is motivated by the notion of heuristic algorithms. Namely, we allow
the algorithm to claim a small number of false "theorems" (according to any
samplable distribution on non-tautologies) and err with bounded probability on
other inputs.
Our result can also be viewed as the existence of an optimal proof system in
a class of proof systems obtained by generalizing automatizable proof systems.Comment: 11 pages, accepted to STACS 201
Generalizing Boolean Satisfiability I: Background and Survey of Existing Work
This is the first of three planned papers describing ZAP, a satisfiability
engine that substantially generalizes existing tools while retaining the
performance characteristics of modern high-performance solvers. The fundamental
idea underlying ZAP is that many problems passed to such engines contain rich
internal structure that is obscured by the Boolean representation used; our
goal is to define a representation in which this structure is apparent and can
easily be exploited to improve computational performance. This paper is a
survey of the work underlying ZAP, and discusses previous attempts to improve
the performance of the Davis-Putnam-Logemann-Loveland algorithm by exploiting
the structure of the problem being solved. We examine existing ideas including
extensions of the Boolean language to allow cardinality constraints,
pseudo-Boolean representations, symmetry, and a limited form of quantification.
While this paper is intended as a survey, our research results are contained in
the two subsequent articles, with the theoretical structure of ZAP described in
the second paper in this series, and ZAP's implementation described in the
third
Enhanced thermal stability of the toric code through coupling to a bosonic bath
We propose and study a model of a quantum memory that features
self-correcting properties and a lifetime growing arbitrarily with system size
at non-zero temperature. This is achieved by locally coupling a 2D L x L toric
code to a 3D bath of bosons hopping on a cubic lattice. When the stabilizer
operators of the toric code are coupled to the displacement operator of the
bosons, we solve the model exactly via a polaron transformation and show that
the energy penalty to create anyons grows linearly with L. When the stabilizer
operators of the toric code are coupled to the bosonic density operator, we use
perturbation theory to show that the energy penalty for anyons scales with
ln(L). For a given error model, these energy penalties lead to a lifetime of
the stored quantum information growing respectively exponentially and
polynomially with L. Furthermore, we show how to choose an appropriate coupling
scheme in order to hinder the hopping of anyons (and not only their creation)
with energy barriers that are of the same order as the anyon creation gaps. We
argue that a toric code coupled to a 3D Heisenberg ferromagnet realizes our
model in its low-energy sector. Finally, we discuss the delicate issue of the
stability of topological order in the presence of perturbations. While we do
not derive a rigorous proof of topological order, we present heuristic
arguments suggesting that topological order remains intact when perturbative
operators acting on the toric code spins are coupled to the bosonic
environment.Comment: This manuscript has some overlap with arXiv:1209.5289. However, a
different model is the focus of the current work. Since this model is exactly
solvable, it allows a clearer demonstration of the principle behind our
quantum memory proposal. v2: minor changes and additional referenc
The deduction theorem for strong propositional proof systems
This paper focuses on the deduction theorem for propositional logic. We define and investigate different deduction properties and show that the presence of these deduction properties for strong proof systems is powerful enough to characterize the existence of optimal and even polynomially bounded proof systems. We also exhibit a similar, but apparently weaker condition that implies the existence of complete disjoint NP-pairs. In particular, this yields a sufficient condition for the completeness of the canonical pair of Frege systems and provides a general framework for the search for complete NP-pairs
- …