Unentangled pure states on a bipartite system are exactly the coherent states with respect to the group of local transformations. What aspects of the study of entanglement are applicable to generalized coherent states? Conversely, what can be learned about entanglement from the well-studied theory of coherent states? With these questions in mind, we characterize unentangled pure states as extremal states when considered as linear functionals on the local Lie algebra. As a result, a relativized notion of purity emerges, showing that there is a close relationship between purity, coherence, and (non)entanglement. To a large extent, these concepts can be defined and studied in the even more general setting of convex cones of states. Based on the idea that entanglement is relative, we suggest considering these notions in the context of partially ordered families of Lie algebras or convex cones, such as those that arise naturally for multipartite systems. The study of entanglement includes notions of local operations and, for information-theoretic purposes, entanglement measures and ways of scaling systems to enable asymptotic developments. We propose ways in which these may be generalized to the Lie-algebraic setting and, to a lesser extent, to the convex-cones setting. One of our motivations for this program is to understand the role of entanglementlike concepts in condensed matter. We discuss how our work provides tools for analyzing the correlations involved in quantum phase transitions and other aspects of condensed-matter systems.
Unentangled pure states on a bipartite system are exactly the coherent states with respect to the group of local transformations. What aspects of the study of entanglement are applicable to generalized coherent states? Conversely, what can be learned about entanglement from the well-studied theory of coherent states? With these questions in mind, we characterize unentangled pure states as extremal states when considered as linear functionals on the local Lie algebra. As a result, a relativized notion of purity emerges, showing that there is a close relationship between purity, coherence, and (non)entanglement. To a large extent, these concepts can be defined and studied in the even more general setting of convex cones of states. Based on the idea that entanglement is relative, we suggest considering these notions in the context of partially ordered families of Lie algebras or convex cones, such as those that arise naturally for multipartite systems. The study of entanglement includes notions of local operations and, for information-theoretic purposes, entanglement measures and ways of scaling systems to enable asymptotic developments. We propose ways in which these may be generalized to the Lie-algebraic setting and, to a lesser extent, to the convex-cones setting. One of our motivations for this program is to understand the role of entanglementlike concepts in condensed matter. We discuss how our work provides tools for analyzing the correlations involved in quantum phase transitions and other aspects of condensed-matter systems.
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, namely the Lipkin-Meshkov-Glick model and the spin-21 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.
We study partial coherence and its connection with entanglement. First, we provide a sufficient and necessary condition for bipartite pure-state transformation under partially incoherent operations: A bipartite pure state can be transformed to another one if and only if a majorization relationship holds between their partial coherence vectors. As a consequence, we introduce the concept of maximal partial coherent states in the sense that they can be used to construct any bipartite state of the same system via partial incoherent operations. Second, we provide a strategy to construct measures of partial coherence by use of symmetric concave functions. Third, we establish the relationship between partial coherence and entanglement. We show that the minimal partial coherence under local unitary transformations is also a measure of entanglement for bipartite pure states, which can be extended to all mixed states by convex-roof extension. Conversely, every entanglement measure can be constructed as a partial coherence measure, and we further show that partial coherence measures are induced through maximal entanglement under partially incoherent operations for bipartite pure states.
One of the most important questions in quantum information theory is the so-called separability problem. It involves characterizing the set of separable (or, equivalently entangled) states among mixed states of a multipartite quantum system. In this thesis we study the generalization of this problem to types of quantum correlations that are defined in a manner analogous to entanglement. We start with the subset of set of pure states of a given quantum system and call states belonging to the convex hull of this subset "non-correlated" states. Consequently, the states laying outside the convex hull are referred to as "correlated". In this work we focus on cases when there exist a symmetry group that preserves the class of "non-correlated" pure states. The presence of symmetries allows to obtain a unified treatment of many types of seemingly unrelated types of correlations. We apply our general results to particular types of correlations: (i) entanglement of distinguishable particles, (ii) particle entanglement of bosons, (iii) "entanglement" of fermions, (iv) non-convex-Gaussian correlations in fermionic systems, (v) genuine multiparty entanglement, and finally (vi) refined notions of bipartite entanglement based on the concept of the Schmidt number. We investigate the natural problems and questions concerning the correlations defined above: (I) We provide explicit polynomial characterization of various types of correlations for pure states. (II) We examine cases in which it is possible to give a complete analytical characterization of correlated mixed states. (III) We derive a variety of polynomial criteria for detection of correlations in mixed states.(IV) We use the above criteria and the technique of measure concentration to study typical properties of correlations on sets of isospectral density matrices.
Entanglement is a key resource in the emerging field of Quantum Information. The strong correlations between systems described by an entangled state allow us to perform certain tasks more efficiently than it would be possible by using only classical resources. This is why the characterization of entanglement is one of the most important problems in Quantum Information. In this thesis, we analyze several aspects of entanglement. First, we introduce a new family of criteria to determine if a bipartite mixed state is entangled or not. This family consists of a sequence of tests that can be implemented efficiently, and has the property that all entangled states can be detected by some test in the sequence. Each test in the family can be stated as a semidefinite program, which is a class of convex optimization problems. The duality structure of these programs allows us to explicitly construct an entanglement witness that proves entanglement of a state, whenever the state fails one of the tests in the sequence. The entanglement witnesses constructed in this manner have well-defined algebraic properties that can be used to give a characterization of the interior of the set of all possible entanglement witnesses, as well as the set of strictly positive bihermitian forms and the set of strictly positive maps. We also study deterministic transformations of three-qubit pure state when only local operations and classical communication (LOCC) are allowed. We derive strong constraints that the operations and states involved must satisfy, and we apply these results to characterize the set of real states that can be obtained from the GHZ state by LOCC.
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.
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.