Invariance under local unitary operations is a fundamental property that must be obeyed by every proper measure of quantum entanglement. However, this is not the only aspect of entanglement theory where local unitaries play a relevant role. In the present work we show that the application of suitable local unitary operations defines a family of bipartite entanglement monotones, collectively referred to as "mirror entanglement". They are constructed by first considering the (squared) Hilbert-Schmidt distance of the state from the set of states obtained by applying to it a given local unitary. To the action of each different local unitary there corresponds a different distance. We then minimize these distances over the sets of local unitaries with different spectra, obtaining an entire family of different entanglement monotones. We show that these mirror entanglement monotones are organized in a hierarchical structure, and we establish the conditions that need to be imposed on the spectrum of a local unitary for the associated mirror entanglement to be faithful, i.e. to vanish on and only on separable pure states. We analyze in detail the properties of one particularly relevant member of the family, the "stellar mirror entanglement" associated to traceless local unitaries with nondegenerate spectrum and equispaced eigenvalues in the complex plane. This particular measure generalizes the original analysis of [Giampaolo and Illuminati, Phys. Rev. A 76, 042301 (2007)], valid for qubits and qutrits. We prove that the stellar entanglement is a faithful bipartite entanglement monotone in any dimension, and that it is bounded from below by a function proportional to the linear entropy and from above by the linear entropy itself, coinciding with it in two- and three-dimensional spaces.
In certain cases the communication time required to deterministically implement a nonlocal bipartite unitary using prior entanglement and LOCC (local operations and classical communication) can be reduced by a factor of two. We introduce two such "fast" protocols and illustrate them with various examples. For some simple unitaries, the entanglement resource is used quite efficiently. The problem of exactly which unitaries can be implemented by these two protocols remains unsolved, though there is some evidence that the set of implementable unitaries may expand at the cost of using more entangl…
The problem of conditions on the initial correlations between the system and the environment that lead to completely positive (CP) or not-completely positive (NCP) maps has been studied by various authors. Two lines of study may be discerned: one concerned with families of initial correlations that induce CP dynamics under the application of an arbitrary joint unitary on the system and environment; the other concerned with specific initial states that may be highly entangled. Here we study the latter problem, and highlight the interplay between the initial correlations and the unitary applied.…
The interaction with the environment is one of the main obstacles to be circumvented in practical implementations of quantum information tasks. The use of local unitaries, while not changing the initial entanglement present in a given state, can enormously change its dynamics through a noisy channel, and consequently its ability to be used as a resource. This way, local unitaries provide an easy and accessible way to enhance quantum correlations in a variety of different experimental platforms. Given an initial entangled state and a certain noisy channel, what are the local unitaries providing…
Any bipartite nonlocal unitary operation can be carried out by teleporting a quantum state from one party to the other, performing the unitary gate locally, and teleporting a state back again. This paper investigates unitaries which can be carried out using less prior entanglement and classical communication than are needed for teleportation. Large families of such unitaries are constructed using (projective) representations of finite groups. Among the tools employed are: a diagrammatic approach for representing entangled states, a theorem on the necessary absence of information at certain tim…
Efficient verification of quantum states and gates is crucial to the development of quantum technologies. Although the sample complexities of quantum state verification and quantum gate verification have been studied by many researchers, the number of experimental settings has received little attention and is poorly understood. In this work we study systematically quantum state verification and quantum gate verification with a focus on the number of experimental settings. We show that any bipartite pure state can be verified by only two measurement settings based on local projective measuremen…
We analyze implementations of bipartite unitaries by means of local operations and classical communication (LOCC) assisted by shared entanglement. We employ concepts and techniques developed in quantum Shannon theory to study an asymptotic scenario, in which two distant parties perform the same bipartite unitary on infinitely many pairs of inputs. We analyze minimum cost of entanglement and classical communication per copy. For two-round LOCC protocols, we derive a single-letter formula for the minimum cost of entanglement and classical communication, under an additional requirement that the e…
We show that the quantification of entanglement of any rank-2 state with any polynomial entanglement measure can be recast as a geometric problem on the corresponding Bloch sphere. This approach provides novel insight into the properties of entanglement and allows us to relate different polynomial measures to each other, simplifying their quantification. In particular, unveiling and exploiting the geometric structure of the concurrence for two qubits, we show that the convex roof of any polynomial measure of entanglement can be quantified exactly for all rank-2 states of an arbitrary number of…
We introduce geometric measures of entanglement for indistinguishable particles, which apply to mixed states, multipartite systems, and arbitrary dimensions. They are based on generalized (i.e., not necessarily finite) norms on the set of quantum states and lead to the first necessary and sufficient computational separability criterion in this general setting. The coherent approach developed in the paper allows us to compare, in particular, entanglement for fermionic and distinguishable particles: The entanglement measure for fermionic particles coincides with the corresponding entanglement me…
The problem of the estimation of multiple phases (or of commuting unitaries) is considered. This is a sub-model of the estimation of a completely unknown unitary operation where it has been shown in recent works that there are considerable improvements by using entangled input states and entangled measurements. Here it is shown that when estimating commuting unitaries, there is practically no advantage in using entangled input states or entangled measurements.
Nonlocal properties (globalness) of a non-separable unitary determine how the unitary affects the entanglement properties of a quantum state. We apply a given two-qubit unitary on a quadpartite system including two reference systems and analyze its "LOCC partial invertibility" under two-party LOCC. A decomposition given by Kraus and Cirac for two-qubit unitaries shows that the globalness is completely characterized by three parameters. Our analysis shows that the number of non-zero parameters (the Kraus-Cirac number) has an operational significance when converting entanglement properties of mu…
We present a theoretical method to determine the multipartite entanglement between different partitions of multimode, fully or partially symmetric Gaussian states of continuous variable systems. For such states, we determine the exact expression of the logarithmic negativity and show that it coincides with that of equivalent two--mode Gaussian states. Exploiting this reduction, we demonstrate the scaling of the multipartite entanglement with the number of modes and its reliable experimental estimate by direct measurements of the global and local purities.
We introduce two independent quantifications for 3-mode and 4-mode entanglement. We investigate the conversion of one type of nonclassicality, i.e. single-mode nonclassicality, into another type of nonclassicality, i.e. multi-mode entanglement, in beam-splitters. We observe parallel behavior of the two quantifications. The methods can be generalized to the quantification of any multi-mode entanglement.
In this work, we provide an analytical proof of the robustness of topological entanglement under a model of random local perturbations. We define a notion of average topological subsystem purity and show that, in the context of quantum double models, this quantity does detect topological order and is robust under the action of a random quantum circuit of shallow depth.
We develop theoretical and numerical tools for the quantification of entanglement in systems with continuous degrees of freedom. Continuous variable entanglement swapping is introduced and based on this idea we develop methods of entanglement purification for continuous variable systems. The success of these entanglement purification methods is then assessed using these tools.
We present a new set of generators for unitary maps over \otimes^n(C^2) which differs from the traditional rotation-based generating set in that it uses a single-parameter family of 1-qubit unitaries J(a), together with a single 2-qubit unitary controlled-Z. Each generator is implementable in the one-way model using only two qubits, and this leads to both parsimonious and robust implementations of general unitaries. As an illustration, we give an implementation of the controlled-U family which uses only 14 qubits, and has a 2-colourable underlying entanglement graph (known to yield robust enta…
A convergent iterative procedure is proposed for the calculation of the relative entropy of entanglement of a given bipartite quantum state. When this state turns out to be non-separable the algorithm provides the corresponding optimal entanglement witness measurement.
We report on experimental studies on entanglement quantification and verification based on uncertainty relations for systems consisting of two qubits. The new proposed measure is shown to be invariant under local unitary transformations, by which entanglement quantification is implemented for two-qubit pure states. The nonlocal uncertainty relations for two-qubit pure states are also used for entanglement verification which serves as a basic proposition and promise to be a good choice for verification of multipartite entanglement.
We propose one and a half criteria for determining how many measurements are needed to quantify entanglement reliably. We base these criteria on Bayesian analysis of measurement results, and apply our methods to four-qubit entanglement, but generalizations to more qubits are straightforward.
In this paper, we investigate how to reduce the number of measurement configurations needed for sufficiently precise entanglement quantification. Instead of analytical formulae, we employ artificial neural networks to predict the amount of entanglement in a quantum state based on results of collective measurements (simultaneous measurements on multiple instances of the investigated state). This approach allows us to explore the precision of entanglement quantification as a function of measurement configurations. For the purpose of our research, we consider general two-qubit states and their ne…
We show that entanglement of pure multi-party states can be quantified by means of quantum uncertainties of certain basic observables through the use of measure that has been initially proposed in [10] for bipartite systems.
We show that entangling capacities based on the Jamiolkowski isomorphism may be used to place lower bounds on the communication capacities of arbitrary bipartite unitaries. Therefore, for these definitions, the relations which have been previously shown for two-qubit unitaries also hold for arbitrary dimensions. These results are closely related to the theory of the entanglement-assisted capacity of channels. We also present more general methods for producing ensembles for communication from initial states for entanglement creation.
We clarify the mathematical structure underlying unitary $t$-designs. These are sets of unitary matrices, evenly distributed in the sense that the average of any $t$-th order polynomial over the design equals the average over the entire unitary group. We present a simple necessary and sufficient criterion for deciding if a set of matrices constitutes a design. Lower bounds for the number of elements of 2-designs are derived. We show how to turn mutually unbiased bases into approximate 2-designs whose cardinality is optimal in leading order. Designs of higher order are discussed and an example …
The nonclassicality of single-mode quantum states is studied in relation to the entanglement created by a beam splitter. It is shown that properly defined quantifications -- based on the quantum superposition principle -- of the amounts of nonclassicality and entanglement are strictly related to each other. This can be generalized to the amount of genuine multipartite entanglement, created from a nonclassical state by an N splitter. As a consequence, a single-mode state of a given amount of nonclassicality is fully equivalent, as a resource, to exactly the same amount of entanglement. This rel…
The use of multidimensional entanglement opens new perspectives for quantum information processing. However, an important challenge in practice is to certify and characterize multidimensional entanglement from measurement data that are typically limited. Here, we report the certification and quantification of two-photon multidimensional energy-time entanglement between many temporal modes, after one photon has been stored in a crystal. We develop a method for entanglement quantification which makes use of only sparse data obtained with limited resources. This allows us to efficiently certify a…
Entanglement is a key ingredient for quantum technologies and a fundamental signature of quantumness in a broad range of phenomena encompassing many-body physics, thermodynamics, cosmology, and life sciences. For arbitrary multiparticle systems, entanglement quantification typically involves nontrivial optimisation problems, and may require demanding tomographical techniques. Here we develop an experimentally feasible approach to the evaluation of geometric measures of multiparticle entanglement. Our approach provides analytical results for particular classes of mixed states of N qubits, and c…
We discuss the entanglement properties of symmetric states of $n$ qubits. The Majorana representation maps a generic such state into a system of $n$ points on a sphere. Entanglement invariants, either under local unitaries (LU) or stochastic local operations and classical communication (SLOCC), can then be addressed in terms of the relative positions of the Majorana points. In the LU case, an over complete set of invariants can be built from the inner product of the radial vectors pointing to these points; this is detailed for the well documented three-qubits case. In the SLOCC case, cross rat…
We investigate the energy-constrained (EC) diamond norm distance between unitary channels acting on possibly infinite-dimensional quantum systems, and establish a number of results. Firstly, we prove that optimal EC discrimination between two unitary channels does not require the use of any entanglement. Extending a result by Acín, we also show that a finite number of parallel queries suffices to achieve zero error discrimination even in this EC setting. Secondly, we employ EC diamond norms to study a novel type of quantum speed limits, which apply to pairs of quantum dynamical semigroups. We …
A necessary and sufficient condition for characterization and quantification of entanglement of any bipartite Gaussian state belonging to a special symmetry class is given in terms of classicality measures of one-party states. For Gaussian states whose local covariance matrices have equal determinants it is shown that separability of a two-party state and classicality of one party state are completely equivalent to each other under a nonlocal operation, allowing entanglement features to be understood in terms of any available classicality measure.
The robust estimation of entanglement is key to the validation of implementations of quantum systems. On the one hand, the evaluation of standard entanglement measures, either using quantum tomography or using quantitative entanglement witnesses requires perfect implementation of measurements. On the other hand, measurement-device-independent entanglement witnesses (MDIEWs) can certify entanglement of all entangled states using untrusted measurement devices. We show that MDIEWs can be used as well to quantify entanglement according to standard entanglement measures, and present a practical met…
Maximally entangled bipartite unitary operators or gates find various applications from quantum information to being building blocks of minimal models of many-body quantum chaos, and have been referred to as "dual unitaries". Dual unitary operators that can create the maximum average entanglement when acting on product states have to satisfy additional constraints. These have been called "2-unitaries" and are examples of perfect tensors that can be used to construct absolutely maximally entangled states of four parties. Hitherto, no systematic method exists, in any local dimension, which resul…
Many-body localization was proven under realistic assumptions by constructing a quasi-local unitary rotation that diagonalizes the Hamiltonian (Imbrie, 2016). A natural generalization is to consider all unitaries that have a similar structure. We bound entanglement for states generated by such unitaries, thus providing an independent proof of area law in eigenstates of many-body localized systems. An error of approximating the unitary by a finite-depth local circuit is obtained. We connect the defined family of unitaries to other results about many-body localization (Kim et al, 2014), in parti…
We present a significantly improved scheme of entanglement detection inspired by local uncertainty relations for a system consisting of two qubits. Developing the underlying idea of local uncertainty relations, namely correlations, we demonstrate that it's possible to define a measure which is invariant under local unitary transformations and which is based only on local measurements. It is quite simple to implement experimentally and it allows entanglement quantification in a certain range for mixed states and exactly for pure states, without first obtaining full knowledge (e.g. through tomog…
It is known that any bipartite unitary operator of Schmidt rank three is equivalent to a controlled unitary under local unitaries. We propose a standard form of such operators. Using the form we improve the upper bound for the entanglement cost to implement such operators under local operations and classical communications (LOCC), and provide a corresponding protocol. A part of our protocol is based on a recursive-control protocol which is helpful for implementing other unitary operators. We show that any bipartite permutation unitary of Schmidt rank three can be implemented using LOCC and two…
Gradual loss of the entanglement of a twin beam containing around 25 photon pairs with the increasing external noise is experimentally investigated. The entanglement is quantified by the non-classicality depths and the non-classicality counting parameters related to several non-classicality criteria. The reduction of intensity moments of the analyzed multi-mode twin beams to single-mode ones allows to determine the negativity as another quantifier of the entanglement. Both the raw photocount histograms and the reconstructed photon-number distributions are analyzed in parallel.
In this letter, we propose a method of dark count correction in quantum state tomography of entangled photon pairs. The framework is based on a linear model of dark counts, which is imposed on the measurement formalism. The method is tested on empirical data derived from an experiment on polarization-entangled photons. We demonstrate that the numerical approach to dark count correction guarantees more reliable state reconstruction compared with standard estimation. Most importantly, however, the conceptually simple theoretical approach proves to be more efficient at entanglement quantification…
Characterizing quantum channels from local-unitary invariants
Institute for Quantum Inspired and Quantum Optimization, Hamburg University of Technology（汉堡工业大学量子启发与量子优化研究所）；University of Tsukuba（筑波大学）；Center for Artificial Intelligence Research (C-AIR), University of Tsukuba（筑波大学人工智能研究中心）
Here we propose an experimental set-up in which it is possible to measure the entanglement of a two-mode Gaussian state, be it pure or mixed, using only simple linear optical devices. After a proper unitary manipulation of the two-mode Gaussian state only number and purity measurements of just one of the modes suffice to give us a complete and exact knowledge of the state's entanglement.
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 …
Quantifying entanglement in composite systems is a fundamental challenge, yet exact results are only available in few special cases. This is because hard optimization problems are routinely involved, such as finding the convex decomposition of a mixed state with the minimal average pure-state entanglement, the so-called convex roof. We show that under certain conditions such a problem becomes trivial. Precisely, we prove by a geometric argument that polynomial entanglement measures of degree 2 are independent of the choice of pure-state decomposition of a mixed state, when the latter has only …
Asymptotic quantification of entanglement with a single copy
Scuola Normale Superiore（高等师范学院）；QuSoft；Korteweg–de Vries Institute for Mathematics, University of Amsterdam（阿姆斯特丹大学柯尔沃特-德弗里斯数学研究所）；Institute for Theoretical Physics, University of Amsterdam（阿姆斯特丹大学理论物理研究所）；Institute for Quantum Information, RWTH Aachen University（亚琛工业大学量子信息研究所）；Mathematical Quantum Information RIKEN Hakubi Research Team, RIKEN Pioneering Research Institute (PRI) and RIKEN Center for Quantum Computing (RQC)（理化学会Hakubi研究团队、理化学会先锋研究研究所及理化学会量子计算中心）
We introduce an approach which allows a detailed structural and quantitative analysis of multipartite entanglement. The sets of states with different structures are convex and nested. Hence, they can be distinguished from each other using appropriate measurable witnesses. We derive equations for the construction of optimal witnesses and discuss general properties arising from our approach. As an example, we formulate witnesses for a 4-cluster state and perform a full quantitative analysis of the entanglement structure in the presence of noise and losses. The strength of the method in multimode…
We address the question of how much entanglement can be certified from the observed correlations and the knowledge of the Hilbert space dimension of the measured systems. We focus on the case in which both systems are known to be qubits. For several correlations (though not for all), one can certify the same amount of entanglement as with state tomography, but with fewer assumptions, since nothing is assumed about the measurements. We also present security proofs of quantum key distribution without any assumption on the measurements. We discuss how both the amount of entanglement and the secur…
We develop the minimal requirements for the complete entanglement quantification of an arbitrary two-mode bipartite Gaussian state via local measurements and a classical communication channel. The minimal set of measurements is presented as a reconstruction protocol of local covariance matrices and no previous knowledge of the state is required but its Gaussian character. The protocol becomes very simple mostly when dealing with Gaussian states transformed to its standard form, since photocounting/intensity measurements define the whole set of entangled states. In addition, conditioned on some…
The degree to which a pure quantum state is entangled can be characterized by the distance or angle to the nearest unentangled state. This geometric measure of entanglement is explored for bi-partite and multi-partite pure and mixed states. It is determined analytically for arbitrary two-qubit mixed states, generalized Werner, and isotropic states, and is also applied to certain multi-partite mixed states, including two distinct multi-partite bound entangled states. Moreover, the ground-state entanglement of the XY model in a transverse field is calculated and shown to exhibit singular behavio…
