10,592 research outputs found
Oracles and query lower bounds in generalised probabilistic theories
We investigate the connection between interference and computational power
within the operationally defined framework of generalised probabilistic
theories. To compare the computational abilities of different theories within
this framework we show that any theory satisfying three natural physical
principles possess a well-defined oracle model. Indeed, we prove a subroutine
theorem for oracles in such theories which is a necessary condition for the
oracle to be well-defined. The three principles are: causality (roughly, no
signalling from the future), purification (each mixed state arises as the
marginal of a pure state of a larger system), and strong symmetry existence of
non-trivial reversible transformations). Sorkin has defined a hierarchy of
conceivable interference behaviours, where the order in the hierarchy
corresponds to the number of paths that have an irreducible interaction in a
multi-slit experiment. Given our oracle model, we show that if a classical
computer requires at least n queries to solve a learning problem, then the
corresponding lower bound in theories lying at the kth level of Sorkin's
hierarchy is n/k. Hence, lower bounds on the number of queries to a quantum
oracle needed to solve certain problems are not optimal in the space of all
generalised probabilistic theories, although it is not yet known whether the
optimal bounds are achievable in general. Hence searches for higher-order
interference are not only foundationally motivated, but constitute a search for
a computational resource beyond that offered by quantum computation.Comment: 17+7 pages. Comments Welcome. Published in special issue
"Foundational Aspects of Quantum Information" in Foundations of Physic
On the Average-case Complexity of Parameterized Clique
The k-Clique problem is a fundamental combinatorial problem that plays a
prominent role in classical as well as in parameterized complexity theory. It
is among the most well-known NP-complete and W[1]-complete problems. Moreover,
its average-case complexity analysis has created a long thread of research
already since the 1970s. Here, we continue this line of research by studying
the dependence of the average-case complexity of the k-Clique problem on the
parameter k. To this end, we define two natural parameterized analogs of
efficient average-case algorithms. We then show that k-Clique admits both
analogues for Erd\H{o}s-R\'{e}nyi random graphs of arbitrary density. We also
show that k-Clique is unlikely to admit neither of these analogs for some
specific computable input distribution
Approximating solution structure of the Weighted Sentence Alignment problem
We study the complexity of approximating solution structure of the bijective
weighted sentence alignment problem of DeNero and Klein (2008). In particular,
we consider the complexity of finding an alignment that has a significant
overlap with an optimal alignment. We discuss ways of representing the solution
for the general weighted sentence alignment as well as phrases-to-words
alignment problem, and show that computing a string which agrees with the
optimal sentence partition on more than half (plus an arbitrarily small
polynomial fraction) positions for the phrases-to-words alignment is NP-hard.
For the general weighted sentence alignment we obtain such bound from the
agreement on a little over 2/3 of the bits. Additionally, we generalize the
Hamming distance approximation of a solution structure to approximating it with
respect to the edit distance metric, obtaining similar lower bounds
Generalized Bell Inequality Experiments and Computation
We consider general settings of Bell inequality experiments with many
parties, where each party chooses from a finite number of measurement settings
each with a finite number of outcomes. We investigate the constraints that Bell
inequalities place upon the correlations possible in a local hidden variable
theories using a geometrical picture of correlations. We show that local hidden
variable theories can be characterized in terms of limited computational
expressiveness, which allows us to characterize families of Bell inequalities.
The limited computational expressiveness for many settings (each with many
outcomes) generalizes previous results about the many-party situation each with
a choice of two possible measurements (each with two outcomes). Using this
computational picture we present generalizations of the Popescu-Rohrlich
non-local box for many parties and non-binary inputs and outputs at each site.
Finally, we comment on the effect of pre-processing on measurement data in our
generalized setting and show that it becomes problematic outside of the binary
setting, in that it allows local hidden variable theories to simulate maximally
non-local correlations such as those of these generalised Popescu-Rohrlich
non-local boxes.Comment: 16 pages, 2 figures, supplemental material available upon request.
Typos corrected and references adde
Bayesian clustering in decomposable graphs
In this paper we propose a class of prior distributions on decomposable
graphs, allowing for improved modeling flexibility. While existing methods
solely penalize the number of edges, the proposed work empowers practitioners
to control clustering, level of separation, and other features of the graph.
Emphasis is placed on a particular prior distribution which derives its
motivation from the class of product partition models; the properties of this
prior relative to existing priors is examined through theory and simulation. We
then demonstrate the use of graphical models in the field of agriculture,
showing how the proposed prior distribution alleviates the inflexibility of
previous approaches in properly modeling the interactions between the yield of
different crop varieties.Comment: 3 figures, 1 tabl
On the possible Computational Power of the Human Mind
The aim of this paper is to address the question: Can an artificial neural
network (ANN) model be used as a possible characterization of the power of the
human mind? We will discuss what might be the relationship between such a model
and its natural counterpart. A possible characterization of the different power
capabilities of the mind is suggested in terms of the information contained (in
its computational complexity) or achievable by it. Such characterization takes
advantage of recent results based on natural neural networks (NNN) and the
computational power of arbitrary artificial neural networks (ANN). The possible
acceptance of neural networks as the model of the human mind's operation makes
the aforementioned quite relevant.Comment: Complexity, Science and Society Conference, 2005, University of
Liverpool, UK. 23 page
- …