Searcharxiv⌕ Search

arXiv subjects

Howard Barnum

Publications and source records attributed to Howard Barnum.

At least 37 records · Page 2Linked to original sources

Teleportation in General Probabilistic Theories

In a previous paper, we showed that many important quantum information-theoretic phenomena, including the no-cloning and no-broadcasting theorems, are in fact generic in all non-classical probabilistic theories. An exception is teleportation, which most such theories do not support. In this paper, we investigate which probabilistic theories, and more particularly, which composite systems, {\em do} support a teleportation protocol. We isolate a natural class of composite systems that we term {\em regular}, and establish necessary and sufficient conditions for a regular tripartite system to support a conclusive, or post-selected, teleportation protocol. We also establish a sufficient condition for deterministic teleportation that yields a large supply of theories, neither classical nor quantum, that support such a protocol.

quant-ph↗

Nonclassicality without entanglement enables bit commitment

We investigate the existence of secure bit commitment protocols in the convex framework for probabilistic theories. The framework makes only minimal assumptions, and can be used to formalize quantum theory, classical probability theory, and a host of other possibilities. We prove that in all such theories that are locally non-classical but do not have entanglement, there exists a bit commitment protocol that is exponentially secure in the number of systems used.

quant-ph↗

A generalized no-broadcasting theorem

We prove a generalized version of the no-broadcasting theorem, applicable to essentially \emph{any} nonclassical finite-dimensional probabilistic model satisfying a no-signaling criterion, including ones with ``super-quantum'' correlations. A strengthened version of the quantum no-broadcasting theorem follows, and its proof is significantly simpler than existing proofs of the no-broadcasting theorem.

quant-ph↗

Entanglement and Subsystems, Entanglement beyond Subsystems, and All That

Entanglement plays a pervasive role nowadays throughout quantum information science, and at the same time provides a bridging notion between quantum information science and fields as diverse as condensed-matter theory, quantum gravity, and quantum foundations. In recent years, a notion of ''Generalized Entanglement'' (GE) has emerged, based on the idea that entanglement may be directly defined through expectation values of preferred observables -- without reference to a preferred subsystem decomposition. Preferred observables capture the physically relevant point of view, as defined by dynamical, operational, or fundamental constraints. While reducing to the standard entanglement notion when preferred observables are restricted to arbitrary local observables acting on individual subsystems, GE substantially expands subsystem-based entanglement theories, in terms of both conceptual foundations and range of applicability. Remarkably, the GE framework allows for non-trivial entanglement to exist within a single, indecomposable quantum system, demands in general a distinction between quantum separability and absence of entanglement, and naturally extends to situations where existing approaches may not be directly useful -- such as entanglement in arbitrary convex-cones settings and entanglement for indistinguishable quantum particles. In this paper, we revisit the main motivations leading to GE, and summarize the accomplishments and prospects of the GE program to date, with an eye toward conceptual developments and implications. In particular, we explain how the GE approach both shares strong points of contact with abstract operational quantum theories and, ultimately, calls for an observer-dependent redefinition of concepts like locality, completeness, and reality in quantum theory.

quant-ph↗

Cloning and Broadcasting in Generic Probabilistic Theories

We prove generic versions of the no-cloning and no-broadcasting theorems, applicable to essentially {\em any} non-classical finite-dimensional probabilistic model that satisfies a no-signaling criterion. This includes quantum theory as well as models supporting ``super-quantum'' correlations that violate the Bell inequalities to a larger extent than quantum theory. The proof of our no-broadcasting theorem is significantly more natural and more self-contained than others we have seen: we show that a set of states is broadcastable if, and only if, it is contained in a simplex whose vertices are cloneable, and therefore distinguishable by a single measurement. This necessary and sufficient condition generalizes the quantum requirement that a broadcastable set of states commute.

quant-ph↗

Coordinating quantum agents' perspectives: convex operational theories, quantum information, and quantum foundations

In this paper, I propose a project of enlisting quantum information science as a source of task-oriented axioms for use in the investigation of operational theories in a general framework capable of encompassing quantum mechanics, classical theory, and more. Whatever else they may be, quantum states of systems are compendia of probabilities for the outcomes of possible operations we may perform on the systems: ``operational theories.'' I discuss appropriate general frameworks for such theories, in which convexity plays a key role. Such frameworks are appropriate for investigating what things look like from an ``inside view,'' i.e. for describing perspectival information that one subsystem of the world can have about another. Understanding how such views can combine, and whether an overall ``geometric'' picture (``outside view'') coordinating them all can be had, even if this picture is very different in nature from the structure of the perspectives within it, is the key to understanding whether we may be able to achieve a unified, ``objective'' physical view in which quantum mechanics is the appropriate description for certain perspectives, or whether quantum mechanics is truly telling us we must go beyond this ``geometric'' conception of physics. The nature of information, its flow and processing, as seen from various operational persepectives, is likely to be key to understanding whether and how such coordination and unification can be achieved.

quant-ph↗

Efficient solvability of Hamiltonians and limits on the power of some quantum computational models

We consider quantum computational models defined via a Lie-algebraic theory. In these models, specified initial states are acted on by Lie-algebraic quantum gates and the expectation values of Lie algebra elements are measured at the end. We show that these models can be efficiently simulated on a classical computer in time polynomial in the dimension of the algebra, regardless of the dimension of the Hilbert space where the algebra acts. Similar results hold for the computation of the expectation value of operators implemented by a gate-sequence. We introduce a Lie-algebraic notion of generalized mean-field Hamiltonians and show that they are efficiently ("exactly") solvable by means of a Jacobi-like diagonalization method. Our results generalize earlier ones on fermionic linear optics computation and provide insight into the source of the power of the conventional model of quantum computation.

quant-ph↗

Influence-free states on compound quantum systems

Let Alice and Bob be able to make local quantum measurements and communicate classically. The set of mathematically consistent joint probability assignments (``states'') for such measurements is properly larger than the set of quantum-mechanical mixed states for the Alice-Bob system. It is canonically isomorphic to the set of positive (not necessarily completely positive) linear maps Phi from the bounded linear operators on Alice's space to those on Bob's, for which Tr Phi(I)=1. We review the fact that allowing classical communication is equivalent to enforcing ``no-instantaneous-signalling'' (``no--influence'') in the direction opposite the communication. We establish that in the subclass of ``decomposable'' states, i.e. convex combinations of positive states with "PTP" ones whose partial transpose is positive, the extremal states are just the extremal positive and extremal PTP states. We show that two such states, shared by the same pair of parties, cannot necessarily be combined as independent states (their tensor product) if the full set of quantum operations is allowed locally to each party. We use a framework of ``test spaces'' and states on these, suited for exhibiting the analogies and deviations of empirical probabilistic theories from classical probability theory. This leads to a deeper understanding of analogies between quantum mechanics and Bayesian probability theory. The existence of a ``most Bayesian'' quantum rule for updating states after measurement, and its association with the situation when information on one system is gained by measuring another, is a case of a general proposition holding for test spaces combined subject to the no-signalling requirement.

quant-ph↗

Generalization of entanglement to convex operational theories: Entanglement relative to a subspace of observables

We define what it means for a state in a convex cone of states on a space of observables to be generalized-entangled relative to a subspace of the observables, in a general ordered linear spaces framework for operational theories. This extends the notion of ordinary entanglement in quantum information theory to a much more general framework. Some important special cases are described, in which the distinguished observables are subspaces of the observables of a quantum system, leading to results like the identification of generalized unentangled states with Lie-group-theoretic coherent states when the special observables form an irreducibly represented Lie algebra. Some open problems, including that of generalizing the semigroup of local operations with classical communication to the convex cones setting, are discussed.

quant-ph↗

Better bound on the exponent of the radius of the multipartite separable ball

We show that for an m-qubit quantum system, there is a ball of radius asymptotically approaching kappa 2^{-gamma m} in Frobenius norm, centered at the identity matrix, of separable (unentangled) positive semidefinite matrices, for an exponent gamma = (1/2)((ln 3/ln 2) - 1), roughly .29248125. This is much smaller in magnitude than the best previously known exponent, from our earlier work, of 1/2. For normalized m-qubit states, we get a separable ball of radius sqrt(3^(m+1)/(3^m+3)) * 2^{-(1 + γ)m}, i.e. sqrt{3^{m+1}/(3^m+3)}\times 6^{-m/2} (note that κ= \sqrt{3}), compared to the previous 2 * 2^{-3m/2}. This implies that with parameters realistic for current experiments, NMR with standard pseudopure-state preparation techniques can access only unentangled states if 36 qubits or fewer are used (compared to 23 qubits via our earlier results). We also obtain an improved exponent for m-partite systems of fixed local dimension d_0, although approaching our earlier exponent as d_0 approaches infinity.

quant-ph↗

Entanglement as an Observer-Dependent Concept: An Application to Quantum Phase Transitions

This paper addresses the following main question: Do we have a theoretical understanding of entanglement applicable to a full variety of physical settings? It is clear that not only the assumption of distinguishability, but also the few-subsystem scenario, are too narrow to embrace all possible physical settings. In particular, the need to go beyond the traditional subsystem-based framework becomes manifest when one tries to apply the conventional concept of entanglement to the physics of matter, since the constituents of a quantum many-body system are indistinguishable particles. We shall discuss here a notion of generalized entanglement, which can be applied to any operator language (fermions, bosons, spins, etc.) used to describe a physical system and which includes the conventional entanglement settings introduced to date in a unified fashion. This is realized by noticing that entanglement is an observer-dependent concept, whose properties are determined by the expectations of a distinguished set of observables without reference to a preferred subsystem decomposition, i.e., it depends on the physically relevant point of view. This viewpoint depends in turn upon the relationship between different sets of observables that determine our ability to control the system of interest. Indeed, the extent to which entanglement is present depends on the observables used to measure a system and describe its states. This represents a most conspicuous advantage as will be highlighted by the condensed-matter application we will discuss.

quant-ph↗

Nature and Measure of Entanglement in Quantum Phase Transitions

Characterizing and quantifying quantum correlations in states of many-particle systems is at the core of a full understanding of phase transitions in matter. In this work, we continue our investigation of the notion of generalized entanglement [Barnum et al. Phys. Rev. A 68, 032308 (2003)] by focusing on a simple Lie-algebraic measure of purity of a quantum state relative to an observable set. For the algebra of local observables on multi-qubit systems, the resulting local purity measure is equivalent to a recently introduced global entanglement measure [Meyer and Wallach, J. Math. Phys. 43, 4273 (2002)]. In the condensed-matter setting, the notion of Lie-algebraic purity is exploited to identify and characterize the quantum phase transitions present in two exactly solvable models: the Lipkin-Meshkov-Glick model, and the spin-1/2 anisotropic XY model in a transverse magnetic field. For the latter, we argue that a natural fermionic observable-set arising after the Jordan-Wigner transformation, better characterizes the transition than alternative measures based on qubits. This illustrates the usefulness of going beyond the standard subsystem-based framework while providing a global disorder parameter for this model. Our results show how generalized entanglement leads to useful tools for distinguishing between the ordered and disordered phases in the case of broken symmetry quantum phase transitions. Additional implications and possible extensions of concepts to other systems of interest in condensed matter physics are also discussed.

quant-ph↗

Entanglement beyond subsystems

We present a notion of generalized entanglement which goes beyond the conventional definition based on quantum subsystems. This is accomplished by directly defining entanglement as a property of quantum states relative to a distinguished set of observables singled out by Physics. While recovering standard entanglement as a special case, our notion allows for substantially broader generality and flexibility, being applicable, in particular, to situations where existing tools are not directly useful.

quant-ph↗

No-signalling-based version of Zurek's derivation of quantum probabilities: A note on "Environment-assisted invariance, entanglement, and probabilities in quantum physics"

Zurek has derived the quantum probabilities for Schmidt basis states of bipartite quantum systems in pure joint states, from the assumption that they should be not be affected by one party's action if the action can be undone by the other party (``envariance of probability'') and an auxiliary assumption. We argue that a natural generalization of the auxiliary assumption is actually strong enough to yield the Born rule itself, but that Zurek's argument and protocol can be adapted to do without this assumption, at the cost of using envariance of probability in both directions. We consider alternative motivations for envariance, one based on the no-signalling constraint that actions on one subsystem of a quantum system not allow signalling to another subsystem entirely distinct from the first, and another which is perhaps strongest in the context of a relative-state interpretation of quantum mechanics. In part because of this, we argue that the relative appeal of our version and the original version of Zurek's argument depends in part upon whether one interprets the quantum formalism in terms of relative states or definite measurement outcomes.

quant-ph↗

On the reversible extraction of classical information from a quantum source

Consider a source E of pure quantum states with von Neumann entropy S. By the quantum source coding theorem, arbitrarily long strings of signals may be encoded asymptotically into S qubits/signal (the Schumacher limit) in such a way that entire strings may be recovered with arbitrarily high fidelity. Suppose that classical storage is free while quantum storage is expensive and suppose that the states of E do not fall into two or more orthogonal subspaces. We show that if E can be compressed with arbitrarily high fidelity into A qubits/signal plus any amount of auxiliary classical storage then A must still be at least as large as the Schumacher limit S of E. Thus no part of the quantum information content of E can be faithfully replaced by classical information. If the states do fall into orthogonal subspaces then A may be less than S, but only by an amount not exceeding the amount of classical information specifying the subspace for a signal from the source.

quant-ph↗

A subsystem-independent generalization of entanglement

We introduce a generalization of entanglement based on the idea that entanglement is relative to a distinguished subspace of observables rather than a distinguished subsystem decomposition. A pure quantum state is entangled relative to such a subspace if its expectations are a proper mixture of those of other states. Many information-theoretic aspects of entanglement can be extended to the general setting, suggesting new ways of measuring and classifying entanglement in multipartite systems. By going beyond the distinguishable-subsystem framework, generalized entanglement also provides novel tools for probing quantum correlations in interacting many-body systems.

quant-ph↗

Quantum information processing, operational quantum logic, convexity, and the foundations of physics

Quantum information science is a source of task-related axioms whose consequences can be explored in general settings encompassing quantum mechanics, classical theory, and more. Quantum states are compendia of probabilities for the outcomes of possible operations we may perform a system: ``operational states.'' I discuss general frameworks for ``operational theories'' (sets of possible operational states of a system), in which convexity plays key role. The main technical content of the paper is in a theorem that any such theory naturally gives rise to a ``weak effect algebra'' when outcomes having the same probability in all states are identified, and in the introduction of a notion of ``operation algebra'' that also takes account of sequential and conditional operations. Such frameworks are appropriate for investigating what things look like from an ``inside view,'' i.e. for describing perspectival information that one subsystem of the world can have about another. Understanding how such views can combine, and whether an overall ``geometric'' picture (``outside view'') coordinating them all can be had, even if this picture is very different in structure from the perspectives within it, is the key to whether we may be able to achieve a unified, ``objective'' physical view in which quantum mechanics is the appropriate description for certain perspectives, or whether quantum mechanics is truly telling us we must go beyond this ``geometric'' conception of physics.

quant-ph↗

Separable balls around the maximally mixed multipartite quantum states

We show that for an m-partite quantum system, there is a ball of radius 2^{-(m/2-1)} in Frobenius norm, centered at the identity matrix, of separable (unentangled) positive semidefinite matrices. This can be used to derive an epsilon below which mixtures of epsilon of any density matrix with 1 - epsilon of the maximally mixed state will be separable. The epsilon thus obtained is exponentially better (in the number of systems) than existing results. This gives a number of qubits below which NMR with standard pseudopure-state preparation techniques can access only unentangled states; with parameters realistic for current experiments, this is 23 qubits (compared to 13 qubits via earlier results). A ball of radius 1 is obtained for multipartite states separable over the reals.

quant-ph↗