arXiv subjects

Robert W. Spekkens

Publications and source records attributed to Robert W. Spekkens.

At least 73 records · Page 4Linked to original sources

arXiv2014

The asymmetry properties of pure quantum states

The asymmetry properties of a state relative to some symmetry group specify how and to what extent the given symmetry is broken by the state. Characterizing these is found to be surprisingly useful for addressing a very common problem: to determine what follows from a system's dynamics (possibly open) having that symmetry. We demonstrate and exploit the fact that the asymmetry properties of a state can be understood in terms of information-theoretic concepts. We show that for a pure state psi and a symmetry group G, they are completely specified by the characteristic function of the state, defined as chi_psi(g)= where g\in G and U is the unitary representation of interest. Based on this observation, we study several important problems about the interconversion of pure states under symmetric dynamics such as determining the conditions for reversible transformations, deterministic irreversible transformations and asymptotic transformations.

quant-ph↗

arXiv2014

Modes of asymmetry: the application of harmonic analysis to symmetric quantum dynamics and quantum reference frames

Finding the consequences of symmetry for open system quantum dynamics is a problem with broad applications, including describing thermal relaxation, deriving quantum limits on the performance of amplifiers, and exploring quantum metrology in the presence of noise. The symmetry of the dynamics may reflect a symmetry of the fundamental laws of nature, a symmetry of a low-energy effective theory, or it may describe a practical restriction such as the lack of a reference frame. In this paper, we apply some tools of harmonic analysis together with ideas from quantum information theory to this problem. The central idea is to study the decomposition of quantum operations---in particular, states, measurements and channels---into different modes, which we call modes of asymmetry. Under symmetric processing, a given mode of the input is mapped to the corresponding mode of the output, implying that one can only generate a given output if the input contains all of the necessary modes. By defining monotones that quantify the asymmetry in a particular mode, we also derive quantitative constraints on the resources of asymmetry that are required to simulate a given asymmetric operation. We present applications of our results for deriving bounds on the probability of success in nondeterministic state transitions, such as quantum amplification, and a simplified formalism for studying the degradation of quantum reference frames.

quant-ph↗

arXiv2014

A mathematical theory of resources

In many different fields of science, it is useful to characterize physical states and processes as resources. Chemistry, thermodynamics, Shannon's theory of communication channels, and the theory of quantum entanglement are prominent examples. Questions addressed by a theory of resources include: Which resources can be converted into which other ones? What is the rate at which arbitrarily many copies of one resource can be converted into arbitrarily many copies of another? Can a catalyst help in making an impossible transformation possible? How does one quantify the resource? Here, we propose a general mathematical definition of what constitutes a resource theory. We prove some general theorems about how resource theories can be constructed from theories of processes wherein there is a special class of processes that are implementable at no cost and which define the means by which the costly states and processes can be interconverted one to another. We outline how various existing resource theories fit into our framework. Our abstract characterization of resource theories is a first step in a larger project of identifying universal features and principles of resource theories. In this vein, we identify a few general results concerning resource convertibility.

quant-ph↗

arXiv2014

A generalization of Schur-Weyl duality with applications in quantum estimation

Schur-Weyl duality is a powerful tool in representation theory which has many applications to quantum information theory. We provide a generalization of this duality and demonstrate some of its applications. In particular, we use it to develop a general framework for the study of a family of quantum estimation problems wherein one is given n copies of an unknown quantum state according to some prior and the goal is to estimate certain parameters of the given state. In particular, we are interested to know whether collective measurements are useful and if so to find an upper bound on the amount of entanglement which is required to achieve the optimal estimation. In the case of pure states, we show that commutativity of the set of observables that define the estimation problem implies the sufficiency of unentangled measurements.

quant-ph↗

arXiv2014

Inferring causal structure: a quantum advantage

The problem of using observed correlations to infer causal relations is relevant to a wide variety of scientific disciplines. Yet given correlations between just two classical variables, it is impossible to determine whether they arose from a causal influence of one on the other or a common cause influencing both, unless one can implement a randomized intervention. We here consider the problem of causal inference for quantum variables. We introduce causal tomography, which unifies and generalizes conventional quantum tomography schemes to provide a complete solution to the causal inference problem using a quantum analogue of a randomized trial. We furthermore show that, in contrast to the classical case, observed quantum correlations alone can sometimes provide a solution. We implement a quantum-optical experiment that allows us to control the causal relation between two optical modes, and two measurement schemes -- one with and one without randomization -- that extract this relation from the observed correlations. Our results show that entanglement and coherence, known to be central to quantum information processing, also provide a quantum advantage for causal inference.

quant-ph↗

arXiv2014

Extending Noether's theorem by quantifying the asymmetry of quantum states

Noether's theorem is a fundamental result in physics stating that every symmetry of the dynamics implies a conservation law. It is, however, deficient in several respects: (i) it is not applicable to dynamics wherein the system interacts with an environment, and (ii) even in the case where the system is isolated, if the quantum state is mixed then the Noether conservation laws do not capture all of the consequences of the symmetries. To address these deficiencies, we introduce measures of the extent to which a quantum state breaks a symmetry. Such measures yield novel constraints on state transitions: for nonisolated systems, they cannot increase, while for isolated systems they are conserved. We demonstrate that the problem of finding nontrivial asymmetry measures can be solved using the tools of quantum information theory. Applications include deriving model-independent bounds on the quantum noise in amplifiers and assessing quantum schemes for achieving high-precision metrology.

quant-ph↗

arXiv2013

The Resource Theory of Quantum States Out of Thermal Equilibrium

The ideas of thermodynamics have proved fruitful in the setting of quantum information theory, in particular the notion that when the allowed transformations of a system are restricted, certain states of the system become useful resources with which one can prepare previously inaccessible states. The theory of entanglement is perhaps the best-known and most well-understood resource theory in this sense. Here we return to the basic questions of thermodynamics using the formalism of resource theories developed in quantum information theory and show that the free energy of thermodynamics emerges naturally from the resource theory of energy-preserving transformations. Specifically, the free energy quantifies the amount of useful work which can be extracted from asymptotically-many copies of a quantum system when using only reversible energy-preserving transformations and a thermal bath at fixed temperature. The free energy also quantifies the rate at which resource states can be reversibly interconverted asymptotically, provided that a sublinear amount of coherent superposition over energy levels is available, a situation analogous to the sublinear amount of classical communication required for entanglement dilution.

quant-ph↗

arXiv2013

The theory of manipulations of pure state asymmetry: basic tools and equivalence classes of states under symmetric operations

If a system undergoes symmetric dynamics, then the final state of the system can only break the symmetry in ways in which it was broken by the initial state, and its measure of asymmetry can be no greater than that of the initial state. It follows that for the purpose of understanding the consequences of symmetries of dynamics, in particular, complicated and open-system dynamics, it is useful to introduce the notion of a state's asymmetry properties, which includes the type and measure of its asymmetry. We demonstrate and exploit the fact that the asymmetry properties of a state can also be understood in terms of information-theoretic concepts, for instance in terms of the state's ability to encode information about an element of the symmetry group. We show that the asymmetry properties of a pure state psi relative to the symmetry group G are completely specified by the characteristic function of the state, defined as chi_psi(g)= where g\in G and U is the unitary representation of interest. For a symmetry described by a compact Lie group G, we show that two pure states can be reversibly interconverted one to the other by symmetric operations if and only if their characteristic functions are equal up to a 1-dimensional representation of the group. Characteristic functions also allow us to easily identify the conditions for one pure state to be converted to another by symmetric operations (in general irreversibly) for the various paradigms of single-copy transformations: deterministic, state-to-ensemble, stochastic and catalyzed.

quant-ph↗

arXiv2013

The completeness of quantum theory for predicting measurement outcomes

The predictions that quantum theory makes about the outcomes of measurements are generally probabilistic. This has raised the question whether quantum theory can be considered complete, or whether there could exist alternative theories that provide improved predictions. Here we review recent work that considers arbitrary alternative theories, constrained only by the requirement that they are compatible with a notion of "free choice" (defined with respect to a natural causal order). It is shown that quantum theory is "maximally informative", i.e., there is no other compatible theory that gives improved predictions. Furthermore, any alternative maximally informative theory is necessarily equivalent to quantum theory. This means that the state a system has in such a theory is in one-to-one correspondence with its quantum-mechanical state (the wave function). In this sense, quantum theory is complete.

quant-ph↗

arXiv2012

An information-theoretic account of the Wigner-Araki-Yanase theorem

The Wigner-Araki-Yanase (WAY) theorem can be understood as a result in the resource theory of asymmetry asserting the impossibility of perfectly simulating, via symmetric processing, the measurement of an asymmetric observable unless one has access to a state that is perfectly asymmetric, that is, one whose orbit under the group action is a set of orthogonal states. The simulation problem can be characterized information-theoretically by considering how well both the target observable and the resource state can provide an encoding of an element of the symmetry group. Leveraging this information-theoretic perspective, we show that the WAY theorem is a consequence of the no-programming theorem for projective measurements. The connection allows us to clarify the conceptual content of the theorem and to deduce some interesting generalizations.

quant-ph↗

arXiv2012

The paradigm of kinematics and dynamics must yield to causal structure

The distinction between a theory's kinematics and its dynamics, that is, between the space of physical states it posits and its law of evolution, is central to the conceptual framework of many physicists. A change to the kinematics of a theory, however, can be compensated by a change to its dynamics without empirical consequence, which strongly suggests that these features of the theory, considered separately, cannot have physical significance. It must therefore be concluded (with apologies to Minkowski) that henceforth kinematics by itself, and dynamics by itself, are doomed to fade away into mere shadows, and only a kind of union of the two will preserve an independent reality. The notion of causal structure seems to provide a good characterization of this union.

quant-ph↗

arXiv2012

Reconstruction of Gaussian quantum mechanics from Liouville mechanics with an epistemic restriction

How would the world appear to us if its ontology was that of classical mechanics but every agent faced a restriction on how much they could come to know about the classical state? We show that in most respects, it would appear to us as quantum. The statistical theory of classical mechanics, which specifies how probability distributions over phase space evolve under Hamiltonian evolution and under measurements, is typically called Liouville mechanics, so the theory we explore here is Liouville mechanics with an epistemic restriction. The particular epistemic restriction we posit as our foundational postulate specifies two constraints. The first constraint is a classical analogue of Heisenberg's uncertainty principle -- the second-order moments of position and momentum defined by the phase-space distribution that characterizes an agent's knowledge are required to satisfy the same constraints as are satisfied by the moments of position and momentum observables for a quantum state. The second constraint is that the distribution should have maximal entropy for the given moments. Starting from this postulate, we derive the allowed preparations, measurements and transformations and demonstrate that they are isomorphic to those allowed in Gaussian quantum mechanics and generate the same experimental statistics. We argue that this reconstruction of Gaussian quantum mechanics constitutes additional evidence in favour of a research program wherein quantum states are interpreted as states of incomplete knowledge, and that the phenomena that do not arise in Gaussian quantum mechanics provide the best clues for how one might reconstruct the full quantum theory.

quant-ph↗

arXiv2011

Picturing classical and quantum Bayesian inference

We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum Bayesian inference wherein one considers density operators rather than probability distributions as representative of degrees of belief. The diagrammatic framework is stated in the graphical language of symmetric monoidal categories and of compact structures and Frobenius structures therein, in which Bayesian inversion boils down to transposition with respect to an appropriate compact structure. We characterize classical Bayesian inference in terms of a graphical property and demonstrate that our approach eliminates some purely conventional elements that appear in common representations thereof, such as whether degrees of belief are represented by probabilities or entropic quantities. We also introduce a quantum-like calculus wherein the Frobenius structure is noncommutative and show that it can accommodate Leifer's calculus of `conditional density operators'. The notion of conditional independence is also generalized to our graphical setting and we make some preliminary connections to the theory of Bayesian networks. Finally, we demonstrate how to construct a graphical Bayesian calculus within any dagger compact category.

quant-ph↗

arXiv2010

Phase groups and the origin of non-locality for qubits

We describe a general framework in which we can precisely compare the structures of quantum-like theories which may initially be formulated in quite different mathematical terms. We then use this framework to compare two theories: quantum mechanics restricted to qubit stabiliser states and operations, and Spekkens's toy theory. We discover that viewed within our framework these theories are very similar, but differ in one key aspect - a four element group we term the phase group which emerges naturally within our framework. In the case of the stabiliser theory this group is Z4 while for Spekkens's toy theory the group is Z2 x Z2. We further show that the structure of this group is intimately involved in a key physical difference between the theories: whether or not they can be modelled by a local hidden variable theory. This is done by establishing a connection between the phase group, and an abstract notion of GHZ state correlations. We go on to formulate precisely how the stabiliser theory and toy theory are `similar' by defining a notion of `mutually unbiased qubit theory', noting that all such theories have four element phase groups. Since Z4 and Z2 x Z2 are the only such groups we conclude that the GHZ correlations in this type of theory can only take two forms, exactly those appearing in the stabiliser theory and in Spekkens's toy theory. The results point at a classification of local/non-local behaviours by finite Abelian groups, extending beyond qubits to finitary theories whose observables are all mutually unbiased.

quant-ph↗

arXiv2009

Measuring the quality of a quantum reference frame: the relative entropy of frameness

In the absence of a reference frame for transformations associated with a group G, any quantum state that is non-invariant under the action of G may serve as a token of the missing reference frame. We here introduce a novel measure of the quality of such a token: the relative entropy of frameness. This is defined as the relative entropy distance between the state of interest and the nearest G-invariant state. Unlike the relative entropy of entanglement, this quantity is straightforward to calculate and we find it to be precisely equal to the G-asymmetry, a measure of frameness introduced by Vaccaro et al. It is shown to provide an upper bound on the mutual information between the group element encoded into the token and the group element that may be extracted from it by measurement. In this sense, it quantifies the extent to which the token successfully simulates a full reference frame. We also show, that despite a suggestive analogy from entanglement theory, the regularized relative entropy of frameness is zero and therefore does not quantify the rate of interconversion between the token and some standard form of quantum reference frame. Finally, we show how these investigations yield a novel approach to bounding the relative entropy of entanglement.

quant-ph↗

arXiv2009

Quantum communication using a bounded-size quantum reference frame

Typical quantum communication schemes are such that to achieve perfect decoding the receiver must share a reference frame with the sender. Indeed, if the receiver only possesses a bounded-size quantum token of the sender's reference frame, then the decoding is imperfect, and we can describe this effect as a noisy quantum channel. We seek here to characterize the performance of such schemes, or equivalently, to determine the effective decoherence induced by having a bounded-size reference frame. We assume that the token is prepared in a special state that has particularly nice group-theoretic properties and that is near-optimal for transmitting information about the sender's frame. We present a decoding operation, which can be proven to be near-optimal in this case, and we demonstrate that there are two distinct ways of implementing it (corresponding to two distinct Kraus decompositions). In one, the receiver measures the orientation of the reference frame token and reorients the system appropriately. In the other, the receiver extracts the encoded information from the virtual subsystems that describe the relational degrees of freedom of the system and token. Finally, we provide explicit characterizations of these decoding schemes when the system is a single qubit and for three standard kinds of reference frame: a phase reference, a Cartesian frame (representing an orthogonal triad of spatial directions), and a reference direction (representing a single spatial direction).

quant-ph↗

arXiv2009

Preparation contextuality powers parity-oblivious multiplexing

In a noncontextual hidden variable model of quantum theory, hidden variables determine the outcomes of every measurement in a manner that is independent of how the measurement is implemented. Using a generalization of this notion to arbitrary operational theories and to preparation procedures, we demonstrate that a particular two-party information-processing task, "parity-oblivious multiplexing," is powered by contextuality in the sense that there is a limit to how well any theory described by a noncontextual hidden variable model can perform. This bound constitutes a "noncontextuality inequality" that is violated by quantum theory. We report an experimental violation of this inequality in good agreement with the quantum predictions. The experimental results also provide the first demonstration of 2-to-1 and 3-to-1 quantum random access codes. Consequently, our experimental results also demonstrate better-than-classical performance for this task. They also represent the first demonstration of 2-to-1 and 3-to-1 quantum random access codes.

quant-ph↗

arXiv2008

Negativity and contextuality are equivalent notions of nonclassicality

Two notions of nonclassicality that have been investigated intensively are: (i) negativity, that is, the need to posit negative values when representing quantum states by quasiprobability distributions such as the Wigner representation, and (ii) contextuality, that is, the impossibility of a noncontextual hidden variable model of quantum theory (also known as the Bell-Kochen-Specker theorem). Although both of these notions were meant to characterize the conditions under which a classical explanation cannot be provided, we demonstrate that they prove inadequate to the task and we argue for a particular way of generalizing and revising them. With the refined version of each in hand, it becomes apparent that they are in fact one and the same. We also demonstrate the impossibility of noncontextuality or nonnegativity in quantum theory with a novel proof that is symmetric in its treatment of measurements and preparations.

quant-ph↗