31,973 research outputs found
Fredholm Operators and Einstein Metrics on Conformally Compact Manifolds
The main purpose of this monograph is to give an elementary and
self-contained account of the existence of asymptotically hyperbolic Einstein
metrics with prescribed conformal infinities sufficiently close to that of a
given asymptotically hyperbolic Einstein metric with nonpositive curvature. The
proof is based on an elementary derivation of sharp Fredholm theorems for
self-adjoint geometric linear elliptic operators on asymptotically hyperbolic
manifolds.Comment: Latex; 83 + vi pages. Fixed an error in the proof of Lemma 3.7(b
Higher-order interference in extensions of quantum theory
Quantum interference lies at the heart of several quantum computational
speed-ups and provides a striking example of a phenomenon with no classical
counterpart. An intriguing feature of quantum interference arises in a three
slit experiment. In this set-up, the interference pattern can be written in
terms of the two and one slit patterns obtained by blocking some of the slits.
This is in stark contrast with the standard two slit experiment, where the
interference pattern is irreducible. This was first noted by Rafael Sorkin, who
asked why quantum theory only exhibits irreducible interference in the two slit
experiment. One approach to this problem is to compare the predictions of
quantum theory to those of operationally-defined `foil' theories, in the hope
of determining whether theories exhibiting higher-order interference suffer
from pathological--or at least undesirable--features. In this paper two
proposed extensions of quantum theory are considered: the theory of Density
Cubes proposed by Dakic et al., which has been shown to exhibit irreducible
interference in the three slit set-up, and the Quartic Quantum Theory of
Zyczkowski. The theory of Density Cubes will be shown to provide an advantage
over quantum theory in a certain computational task and to posses a
well-defined mechanism which leads to the emergence of quantum theory. Despite
this, the axioms used to define Density Cubes will be shown to be insufficient
to uniquely characterise the theory. In comparison, Quartic Quantum Theory is
well-defined and we show that it exhibits irreducible interference to all
orders. This feature of the theory is argued not to be a genuine phenomenon,
but to arise from an ambiguity in the current definition of higher-order
interference. To understand why quantum theory has limited interference
therefore, a new operational definition of higher-order interference is needed.Comment: Updated in response to referee comments. 17 pages. Comments welcom
Deriving Grover's lower bound from simple physical principles
Grover's algorithm constitutes the optimal quantum solution to the search
problem and provides a quadratic speed-up over all possible classical search
algorithms. Quantum interference between computational paths has been posited
as a key resource behind this computational speed-up. However there is a limit
to this interference, at most pairs of paths can ever interact in a fundamental
way. Could more interference imply more computational power? Sorkin has defined
a hierarchy of possible interference behaviours---currently under experimental
investigation---where classical theory is at the first level of the hierarchy
and quantum theory belongs to the second. Informally, the order in the
hierarchy corresponds to the number of paths that have an irreducible
interaction in a multi-slit experiment. In this work, we consider how Grover's
speed-up depends on the order of interference in a theory. Surprisingly, we
show that the quadratic lower bound holds regardless of the order of
interference. Thus, at least from the point of view of the search problem,
post-quantum interference does not imply a computational speed-up over quantum
theory.Comment: Updated title and exposition in response to referee comments. 6+2
pages, 5 figure
Preliminary study of the damping factor in roll
This paper constitutes a general theoretical discussion of the damping factor in roll, together with the results of wind tunnel tests on the continuous rolling of U.S.A. 30 airfoil
Conical Euler solution for a highly-swept delta wing undergoing wing-rock motion
Modifications to an unsteady conical Euler code for the free-to-roll analysis of highly-swept delta wings are described. The modifications involve the addition of the rolling rigid-body equation of motion for its simultaneous time-integration with the governing flow equations. The flow solver utilized in the Euler code includes a multistage Runge-Kutta time-stepping scheme which uses a finite-volume spatial discretization on an unstructured mesh made up of triangles. Steady and unsteady results are presented for a 75 deg swept delta wing at a freestream Mach number of 1.2 and an angle of attack of 30 deg. The unsteady results consist of forced harmonic and free-to-roll calculations. The free-to-roll case exhibits a wing rock response produced by unsteady aerodynamics consistent with the aerodynamics of the forced harmonic results. Similarities are shown with a wing-rock time history from a low-speed wind tunnel test
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
Virtual Population Units: A New Institutional Approach to Fisheries Management
This paper describes an alternative, rights-based approach to the economic problems of fisheries management and governance. The approach is based on the concept of a Virtual Population (VP), which provides an alternative way to define use rights in a fishery management system. Included is a comparison of harvest rates under the VP regime, “sole-owner,†and open-access regimes. In comparison, a VP solution is more efficient than open access and can approach that of a sole owner. More importantly, in our opinion, the approach contains a higher degree of local control over issues such as concentration of ownership and, unlike some community-based systems, provides an explicit, decentralized incentive for conservation. It also contains a built-in incentive mechanism for end-of-year conservation that is absent from individual transferable quotas (ITQs).Virtual populations, virtual population units, ITQs, marginal valuation, Resource /Energy Economics and Policy, Q220, Q590, C720, D830,
- …