A finite dimensional quantum mechanical system is modeled by a density rho, a trace one, positive semi-definite matrix on a suitable tensor product space H[N] . For the system to demonstrate experimentally certain non-classical behavior, rho cannot be in S, a closed convex set of densities whose extreme points have a specificed tensor product form. Two mathematical problems in the quantum computing literature arise from this context: (1) the determination whether a given rho is in S and (2) a measure of the ``entanglement'' of such a rho in terms of its distance from S. In this paper we describe these two problems in detail for a linear algebra audience, discuss some recent results from the quantum computing literature, and prove some new results.We emphasize the roles of densities rho as both operators on the Hilbert space H[N] and also as points in a real Hilbert space M. We are able to compute the nearest separable densities tau0 to rho0 in particular classes of inseparable densities and we use the Euclidean distance between the two in M to quantify the entanglement of rho0. We also show the role of tau0 in the construction of separating hyperplanes, so-called entanglement witnesses in the quantum computing literature.
We derive N-particle Bell-type inequalities under the assumption of partial separability, i.e. that the N-particle system is composed of subsystems which may be correlated in any way (e.g. entangled) but which are uncorrelated with respect to each other. These inequalities provide, upon violation, experimentally accessible sufficient conditions for full N-particle entanglement, i.e. for N-particle entanglement that cannot be reduced to mixtures of states in which a smaller number of particles are entangled. The inequalities are shown to be maximally violated by the N-particle Greenberger-Horne…
We give a necessary and sufficient condition for a mixed quantum mechanical state to be separable. The criterion is formulated as a boundedness condition in terms of the greatest cross norm on the tensor product of trace class operators.
We analyze the structure of correlations among more than two quantum systems. We introduce a classification of correlations based on the concept of non-separability, which is different {\em a priori} from the concept of entanglement. Generalizing a result of Svetlichny [Phys. Rev. D {\bf 35} (1987) 3066] on 3-particle correlations, we find an inequality for $n$-particle correlations that holds under the most general separability condition and that is violated by some quantum-mechanical states.
We present a description of finite dimensional quantum entanglement, based on a study of the space of all convex decompositions of a given density matrix. On this space we construct a system of real polynomial equations describing separable states. We further study this system using statistical mechanical methods. Finally, we apply our techniques to Werner states of two qubits and obtain a sufficient criterion for separability.
We present a set of inequalities based on mean values of quantum mechanical observables nonlinear entanglement witnesses for bipartite quantum systems. These inequalities give rise to sufficient and necessary conditions for separability of all bipartite pure states and even some mixed states. In terms of these mean values of quantum mechanical observables a measurable lower bound of the convex-roof extension of the negativity is derived.
We report opposite statistical mechanical behaviors of the two major paradigms in which quantum correlation measures are defined, viz., the entanglement-separability paradigm and the information-theoretic one. We show this by considering the ergodic properties of such quantum correlation measures in transverse quantum XY spin-1/2 systems in low dimensions. While entanglement measures are ergodic in such models, the quantum correlation measures defined from an information-theoretic perspective can be nonergodic.
In this paper, I will discuss the geometrical structures of multipartite quantum systems based on complex projective schemes. In particular, I will explicitly construct multi-qubit states in terms of these schemes and also discuss separability and entanglement of bipartite and multipartite quantum states. These results give some geometrical insight to the fascinating quantum mechanical phenomena of entanglement which is fundamentally important and has many applications in the field of quantum computing.
In this Letter, we show that the fulfillment of uncertainty relations is a sufficient criterion for a quantum-mechanically permissible state. We specifically construct two pseudo-spin observables for an arbitrary non-positive Hermitian matrix whose uncertainty relation is violated. This method enables us to systematically derive separability conditions for all negative partial-transpose states in experimentally accessible forms. In particular, generalized entanglement criteria are derived from the Schrodinger-Robertson inequalities for bipartite continuous-variable states.
Quantum mechanics sets a limit for the precision of continuous measurement of the position of an oscillator. Here we show how it is possible to measure an oscillator without quantum backaction of the measurement by constructing one effective oscillator from two physical oscillators. We realize such a quantum-mechanics free subsystem using two micromechanical oscillators, and show the measurements of two collective quadratures while evading the quantum backaction by $8$ decibels on both of them, obtaining a total noise within a factor two of the full quantum limit. This facilitates detection of…
The quantum nature of bulk ensemble NMR quantum computing --the center of recent heated debate, is addressed. Concepts of the mixed state and entanglement are examined, and the data in a 2 qubit liquid NMR quantum computation are analyzed. It is pointed out that the key problem in the current debate is the understanding of entanglement in a mixed state system. The following points are concluded in this Letter: 1)Density matrix describes the "state" of an average particle in an ensemble. It can not describe the state of an individual particle in an ensemble in detail; 2) Entanglement is a prope…
Given an arbitrary statistical theory, different from quantum mechanics, how to decide which are the nonclassical correlations? We present a formal framework which allows for a definition of nonclassical correlations in such theories, alternative to the current one. This enables one to formulate extrapolations of some important quantum mechanical features via adequate extensions of reciprocal maps relating states of a system with states of its subsystems. These extended maps permit one to generalize i) separability measures to any arbitrary statistical model as well as ii) previous entanglemen…
A new class of state transformations that are quantum mechanically prohibited is introduced. These can be seen as the generalization of the universal-NOT transformation which, for all pure inputs state of a given Hilbert space produces pure outputs whose projection on the original state is fixed to a value smaller than one. The case of not pure output states is also addressed. We give an application of these transformations in the context of separability criteria.
The pairwise quantum correlations in a tripartite optomechanical system comprising a mechanical mode and two optical modes are analyzed. The Simon criterion is used as a witness of the separability. Whereas, the Gaussian discord is employed to capture the quantumness of correlations. Both entanglement and Gaussian discord are evaluated as functions of the parameters characterizing the environment and the system (temperature, squeezing and optomechanical coupling). We work in the resolved-sideband regime. We show that it is possible to reach simultaneous three bipartite entanglements via the qu…
We discuss the problem of determining whether the state of several quantum mechanical subsystems is entangled. As in previous work on two subsystems we introduce a procedure for checking separability that is based on finding state extensions with appropriate properties and may be implemented as a semidefinite program. The main result of this work is to show that there is a series of tests of this kind such that if a multiparty state is entangled this will eventually be detected by one of the tests. The procedure also provides a means of constructing entanglement witnesses that could in princip…
A framework for a quantum mechanical information theory is introduced that is based entirely on density operators, and gives rise to a unified description of classical correlation and quantum entanglement. Unlike in classical (Shannon) information theory, quantum (von Neumann) conditional entropies can be negative when considering quantum entangled systems, a fact related to quantum non-separability. The possibility that negative (virtual) information can be carried by entangled particles suggests a consistent interpretation of quantum informational processes.
** The primary topic of this dissertation is the study of the relationships between parts and wholes as described by particular physical theories, namely generalized probability theories in a quasi-classical physics framework and non-relativistic quantum theory. ** A large part of this dissertation is devoted to understanding different aspects of four different kinds of correlations: local, partially-local, no-signaling and quantum mechanical correlations. Novel characteristics of these correlations have been used to study how they are related and how they can be discerned via Bell-type inequa…
Entanglement is a vital property of multipartite quantum systems, characterised by the inseparability of quantum states of objects regardless of their spatial separation. Generation of entanglement between increasingly macroscopic and disparate systems is an ongoing effort in quantum science which enables hybrid quantum networks, quantum-enhanced sensing, and probing the fundamental limits of quantum theory. The disparity of hybrid systems and the vulnerability of quantum correlations have thus far hampered the generation of macroscopic hybrid entanglement. Here we demonstrate, for the first t…
Entanglement swapping, the process to entangle two particles without coupling them in any way, is one of the most striking manifestations of the quantum-mechanical nonlocal characteristic. Besides fundamental interest, this process has applications in complex entanglement manipulation and quantum communication. Here we report a high-fidelity, unconditional entanglement swapping experiment in a superconducting circuit. The measured concurrence characterizing the qubit-qubit entanglement produced by swapping is above 0.75, confirming most of the entanglement of one qubit with its partner is dete…
Standard quantum mechanics unquestionably violates the separability principle that classical physics (be it point-like analytic, statistical, or field-theoretic) accustomed us to consider as valid. In this paper, quantum nonseparability is viewed as a consequence of the Hilbert-space quantum mechanical formalism, avoiding thus any direct recourse to the ramifications of Kochen-Specker's argument or Bell's inequality. Depending on the mode of assignment of states to physical systems (unit state vectors versus non-idempotent density operators) we distinguish between strong/relational and weak/de…
Stationary entanglement of a levitated oscillator with an optical field
Università di Firenze（佛罗伦萨大学）；INFN, Sezione di Firenze（意大利国家核物理研究所佛罗伦萨分部）；CNR-INO（意大利国家研究委员会光学研究所）；European Laboratory for Non-Linear Spectroscopy (LENS)（欧洲非线性光谱学实验室）
Graphical models of probabilistic dependencies have been extensively investigated in the context of classical uncertainty. However, in some domains (most notably, in computational physics and quantum computing) the nature of the relevant uncertainty is non-classical, and the laws of classical probability theory are superseded by those of quantum mechanics. In this paper we introduce Markovian Entanglement Networks (MEN), a novel class of graphical representations of quantum-mechanical dependencies in the context of such non-classical systems. MEN are the quantum-mechanical analogue of Markovia…
A "quantum-first" approach to gravity is described, where rather than quantizing general relativity, one seeks to formulate the physics of gravity within a quantum-mechanical framework with suitably general postulates. Important guides are the need for appropriate mathematical structure on Hilbert space, and correspondence with general relativity and quantum field theory in weak-gravity situations. A basic physical question is that of "Einstein separability:" how to define mutually independent subsystems, e.g. through localization. Standard answers via tensor products or operator algebras conf…
Doubly-parametric quantum transducers, such as electro-opto-mechanical devices, are quickly approaching quantum operation as decoherence mechanisms such as thermal noise, loss, and limited cooperativities are improved. These devices show potential as the critical link between quantum information contained at frequencies as disparate as those in the optical and microwave domains, thus enabling applications such as long distance networking of superconducting quantum computers. However, the requirements on the operating parameters of the transducers necessary to achieve quantum operation have yet…
