arXiv subjects

John H. Selby

Publications and source records attributed to John H. Selby.

45 records · Page 3Linked to original sources

arXiv2018

How to make unforgeable money in generalised probabilistic theories

We discuss the possibility of creating money that is physically impossible to counterfeit. Of course, "physically impossible" is dependent on the theory that is a faithful description of nature. Currently there are several proposals for quantum money which have their security based on the validity of quantum mechanics. In this work, we examine Wiesner's money scheme in the framework of generalised probabilistic theories. This framework is broad enough to allow for essentially any potential theory of nature, provided that it admits an operational description. We prove that under a quantifiable version of the no-cloning theorem, one can create physical money which has an exponentially small chance of being counterfeited. Our proof relies on cone programming, a natural generalisation of semidefinite programming. Moreover, we discuss some of the difficulties that arise when considering non-quantum theories.

quant-ph↗

arXiv2018

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.

quant-ph↗

arXiv2018

Generalised phase kick-back: the structure of computational algorithms from physical principles

The advent of quantum computing has challenged classical conceptions of which problems are efficiently solvable in our physical world. This motivates the general study of how physical principles bound computational power. In this paper we show that some of the essential machinery of quantum computation -- namely reversible controlled transformations and the phase kick-back mechanism -- exist in any operational-defined theory with a consistent notion of information. These results provide the tools for an exploration of the physics underpinning the structure of computational algorithms. We use these results to investigate the relationship between interference behaviour and computational power, demonstrating that non-trivial interference behaviour is a general resource for post-classical computation. In proving the above, we connect post-quantum interference -- the higher-order interference of Sorkin -- to the existence of post-quantum particle types, potentially providing a novel experimental test for higher-order interference. Finally, we conjecture that theories with post-quantum interference can solve problems intractable even on a quantum computer.

quant-ph↗

arXiv2018

A no-go theorem for theories that decohere to quantum mechanics

To date, there has been no experimental evidence that invalidates quantum theory. Yet it may only be an effective description of the world, in the same way that classical physics is an effective description of the quantum world. We ask whether there exists an operationally-defined theory superseding quantum theory, but which reduces to it via a decoherence-like mechanism. We prove that no such post-quantum theory exists if it is demanded that it satisfy two natural physical principles: causality and purification. Causality formalises the statement that information propagates from present to future, and purification that each state of incomplete information arises in an essentially unique way due to lack of information about an environment. Hence, our result can either be viewed as evidence that the fundamental theory of Nature is quantum, or as showing in a rigorous manner that any post-quantum theory must abandon causality, purification, or both.

quant-ph↗

arXiv2017

The time-reverse of any causal theory is eternal noise

We consider a very general class of theories, process theories, which capture the underlying structure common to most theories of physics as we understand them today (be they established, toy or speculative theories). Amongst these theories, we will be focusing on those which are `causal', in the sense that they are intrinsically compatible with the causal structure of space-time -- as required by relativity. We demonstrate that there is a sharp contrast between these theories and the corresponding time-reversed theories, where time is taken to flow backwards from the future to the past. While the former typically feature a rich gamut of allowed states, the latter only allow for a single state: eternal noise. We illustrate this result by considering of the time-reverse of quantum theory. We also derive a strengthening of the result in PRL 108, 200403 on signalling in time-reversed theories.

quant-ph↗

arXiv2017

Ruling out higher-order interference from purity principles

As first noted by Rafael Sorkin, there is a limit to quantum interference. The interference pattern formed in a multi-slit experiment is a function of the interference patterns formed between pairs of slits, there are no genuinely new features resulting from considering three slits instead of two. Sorkin has introduced a hierarchy of mathematically conceivable higher-order interference behaviours, where classical theory lies at the first level of this hierarchy and quantum theory theory at the second. Informally, the order in this hierarchy corresponds to the number of slits on which the interference pattern has an irreducible dependence. Many authors have wondered why quantum interference is limited to the second level of this hierarchy. Does the existence of higher-order interference violate some natural physical principle that we believe should be fundamental? In the current work we show that such principles can be found which limit interference behaviour to second-order, or "quantum-like", interference, but that do not restrict us to the entire quantum formalism. We work within the operational framework of generalised probabilistic theories, and prove that any theory satisfying Causality, Purity Preservation, Pure Sharpness, and Purification---four principles that formalise the fundamental character of purity in nature---exhibits at most second-order interference. Hence these theories are, at least conceptually, very "close" to quantum theory. Along the way we show that systems in such theories correspond to Euclidean Jordan algebras. Hence, they are self-dual and, moreover, multi-slit experiments in such theories are described by pure projectors.

quant-ph↗

arXiv2017

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.

quant-ph↗

arXiv2016

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.

quant-ph↗

arXiv2016

Entanglement is an inevitable feature of any non-classical theory

One of the most striking features of quantum theory is the existence of entangled states, responsible for Einstein's so called "spooky action at a distance". These states emerge from the mathematical formalism of quantum theory, but to date we do not have a clear idea of which physical principles give rise to entanglement. Why does quantum theory have entangled states? Would any theory superseding classical theory have entangled states, or is quantum theory special? We demonstrate that without entanglement, non-classical degrees of freedom cannot reversibly interact. We present two postulates, no-cloning / no-broadcasting and local transitivity, either of which are sufficient to imply the existence of entangled states in any non-classical theory with reversible interactions. Therefore we argue that entanglement is an inevitable feature of a non-classical universe.

quant-ph↗