Among all entanglement measures negativity arguably is the best known and most popular tool to quantify bipartite quantum correlations. It is easily computed for arbitrary states of a composite system and can therefore be applied to discuss entanglement in an ample variety of situations. However, as opposed to logarithmic negativity, its direct physical meaning has not been pointed out yet. We show that the negativity can be viewed as an estimator of how many degrees of freedom of two subsystems are entangled. As it is possible to give lower bounds for the negativity even in a device-independent setting, it is the appropriate quantity to certify quantumness of both parties in a bipartite system and to determine the minimum number of dimensions that contribute to the quantum correlations.
Among all entanglement measures negativity arguably is the best known and most popular tool to quantify bipartite quantum correlations. It is easily computed for arbitrary states of a composite system and can therefore be applied to discuss entanglement in an ample variety of situations. However, as opposed to logarithmic negativity, its direct physical meaning has not been pointed out yet. We show that the negativity can be viewed as an estimator of how many degrees of freedom of two subsystems are entangled. As it is possible to give lower bounds for the negativity even in a device-independent setting, it is the appropriate quantity to certify quantumness of both parties in a bipartite system and to determine the minimum number of dimensions that contribute to the quantum correlations.
We analyze the general nonclassicality of correlations of a composite quantum system as measured by the negativity of quantumness. The latter corresponds to the minimum entanglement, as quantified by the negativity that is created between the system and an apparatus that is performing local measurements on a selection of subsystems. The negativity of quantumness thus quantifies the degree of nonclassicality on the measured subsystems. We demonstrate a number of possible different interpretations for this measure and for the concept of quantumness of correlations in general. In particular, for general bipartite states in which the measured subsystem is a qubit, the negativity of quantumness acquires a geometric interpretation as the minimum trace distance from the set of classically correlated states. This can be further reinterpreted as minimum disturbance, with respect to trace norm, due to a local measurement or a nontrivial local unitary operation. We calculate the negativity of quantumness in closed form for Werner and isotropic states and for all two-qubit states for which the reduced state of the system that is locally measured is maximally mixed; this includes all Bell diagonal states. We discuss the operational significance and potential role of the negativity of quantumness in quantum information processing.
The unambiguous detection and quantification of entanglement is a hot topic of scientific research, though it is limited to low dimensions or specific classes of states. Here we identify an additional class of quantum states, for which bipartite entanglement measures can be efficiently computed, providing rigorous results. Such states are written in arbitrary $d\ifmmode\times\else\texttimes\fi{}d$ dimensions, where each basis state in the subsystem A is paired with only one state in B. This class, to which we refer as pair basis states, is remarkably relevant in many physical situations, including quantum optics. We find that negativity is a necessary and sufficient measure of entanglement for mixtures of states written in the same pair basis. We also provide analytical expressions for a tight lower-bound estimation of the entanglement of formation, a central quantity in quantum information.
Entangled two-mode Gaussian states are a key resource for quantum information technologies such as teleportation, quantum cryptography, and quantum computation, so quantification of Gaussian entanglement is an important problem. Entanglement of formation is unanimously considered a proper measure of quantum correlations, but for arbitrary two-mode Gaussian states no analytical form is currently known. In contrast, logarithmic negativity is a measure that is straightforward to calculate and so has been adopted by most researchers, even though it is a less faithful quantifier. In this work, we derive an analytical lower bound for entanglement of formation of generic two-mode Gaussian states, which becomes tight for symmetric states and for states with balanced correlations. We define simple expressions for entanglement of formation in physically relevant situations and use these to illustrate the problematic behavior of logarithmic negativity, which can lead to spurious conclusions.
In this thesis we study entanglement in one-dimensional critical quantum many-body systems and in particular we will focus on disconnected regions. Given a system in a pure state, to quantify the amount of entanglement between a multicomponent subsystem and the rest of the full system we can use as an entanglement measure the renowned entanglement entropy. However, if we are interested in the entanglement shared among the disconnected regions, the entanglement entropy fails to be a good quantifier. The reason is that the state of the subsystem is in general mixed once the rest is traced out, and the entanglement entropy is a good measure of entanglement only for pure states. A good measure of entanglement in mixed states is the logarithmic negativity, which is the quantitative version of Peres' criterion of separability. The main advantage of the negativity with respect to other entanglement measures is the simplicity of its definition in terms of the density matrix describing the quantum state. Since the definition does not require any variational calculus, it is much more easily computable than any other entanglement measure, and therefore we can obtain some results also in complicated settings such as many-body systems. We will be mostly interested in the configuration where the full system is divided into two parts, A and B. If we do not have access to the degrees of freedom in B, we can describe subsystem A through its reduced density matrix, where the degrees of freedom in B have been traced out. The residual subsystem in A will in general be left in a mixed state. Subsystem A is then divided again into two parts, A_1 and A_2, and we will be interested in the entanglement shared by these two components. Knowing the full density matrix, the logarithmic negativity can be easily computed from the eigenvalues of its partial transpose with respect to the degrees of freedom living in one of the two subsystems A_1 or A_2. However, the full density matrix of a many-body state is in general unaccessible, even numerically, since the size of the matrix grows exponentially with the size of the system. If we concentrate on critical systems whose low-energy physics can be described by a quantum field theory, we can resort to its powerful tools to compute the entanglement properties. In particular the main tool is the replica trick. The entanglement entropy is obtained from the moments of the reduced density matrix, while the negativity can be computed from the moments of the partial transpose. However, even the computation of the integer-order moments is not an easy task, and exact analytical results are known only for the simplest quantum field theories. Hence, throughout the thesis we will usually consider conformal field theories, which have an enhanced set of symmetries and therefore allow for some exact computations. In the Introduction, we will try to frame this work by briefly reviewing some of the main topics in the literature of quantum many-body systems and quantum field theories where entanglement plays a crucial role. We will also describe what are the main features that are requested to a `good' measure of entanglement, and we will review some of the main measures that have been considered so far in the context of quantum information. We will define the entanglement negativity and stress its main advantages, as well as its drawbacks. After reviewing some basic facts of conformal field theories, we will give some technical details on the computation of entanglement entropy and logarithmic negativity in general quantum field theories, which will be needed in the rest of the thesis. In Chap. 2 we will start the study of the entanglement of several disjoint disconnected regions by considering the entanglement that the union of these regions share with the rest of the system. We will compute the integer-order Rényi entropies of the subsystem from which the entanglement entropy can be obtained through the replica limit. Unfortunately, the exact analytic continuation to real order is still out of reach and therefore the entanglement entropy cannot be computed exactly. However numerical extrapolations allow to obtain some accurate estimates. In the remaining chapters we will focus on the entanglement shared between two non complementary disjoint regions, through the computations of the entanglement negativity in different settings. In Chap. 3, we will consider a global quantum quench starting from a conformal boundary state and evolving through a conformal evolution. A general formula for the mutual information and the logarithmic negativity for two adjacent and disjoint intervals is given in the spacetime limit. In Chap. 4 we focus on the XY chain and we recover a formula for the partial transpose as a sum of four fermionic auxiliary Gaussian density matrices, by generalizing some previous results for the reduced density matrix of spin systems and for the partial transpose of pure fermionc Gaussian states. Even if the computation of the negativity is still out of reach, we can obtain formulas for the integer-order moments of the partial transpose in terms of the correlation matrices relative to the two components and to the region in between them. In Chap. 5 we will study the entanglement negativity for a free Dirac fermion field. Starting from the lattice results, we will obtain a path integral representation of the partial transpose which can be easily generalized to the continuum. With this representation of the partial transpose, we can construct all its integer-order moments and compute them for the simple conformal field theory of the free fermion. Again, the computation of the negativity could not be accomplished due to technical difficulties in the analytic continuation to real order. The same computation has been extended also to the modular invariant Dirac fermion and the Ising model, and the obtained formulas coincide with the ones already present in the literature. This analysis draws an interesting connection between some terms appearing in the formulas for the moments of the partial transpose (as well as of the R\'enyi entropies) found for the lattice models and the ones found for the corresponding theories describing their scaling limit. Whenever possible, all the analytical results will be checked against numerical calculations performed on simple free chain models. In Chaps. 2 and 3 we will consider bosonic Gaussian states, specifically the harmonic chain in its ground state and out of equilibrium, while in Chaps. 4 and 5 we will consider fermionic systems, specifically the XX and Ising spin chains, and the tight-binding model. Finally, we will draw some conclusions and discuss some open problems.
We present a general method to quantify both bipartite and multipartite entanglement in a device-independent manner, meaning that we put a lower bound on the amount of entanglement present in a system based on the observed data only but independent of any quantum description of the employed devices. Some of the bounds we obtain, such as for the Clauser-Horne-Shimony-Holt Bell inequality or the Svetlichny inequality, are shown to be tight. Besides, device-independent entanglement quantification can serve as a basis for numerous tasks. We show in particular that our method provides a rigorous way to construct dimension witnesses, gives new insights into the question whether bound entangled states can violate a Bell inequality, and can be used to construct device-independent entanglement witnesses involving an arbitrary number of parties.
We present a general method to quantify both bipartite and multipartite entanglement in a device-independent manner, meaning that we put a lower bound on the amount of entanglement present in a system based on observed data only but independently of any quantum description of the employed devices. Some of the bounds we obtain, such as for the Clauser-Horne-Shimony-Holt Bell inequality or the Svetlichny inequality, are shown to be tight. Besides, device-independent entanglement quantification can serve as a basis for numerous tasks. We show in particular that our method provides a rigorous way to construct dimension witnesses, gives new insights into the question whether bound entangled states can violate a Bell inequality, and can be used to construct device independent entanglement witnesses involving an arbitrary number of parties.