The ``entanglement of formation'' of a mixed state of a bipartite quantum system can be defined in terms of the number of pure singlets needed to create the state with no further transfer of quantum information. We find an exact formula for the entanglement of formation for all mixed states of two qubits having no more than two non-zero eigenvalues, and we report evidence suggesting that the formula is valid for all states of this system.

How can one prove that a given state is entangled? In this paper we review different methods that have been proposed for entanglement detection. We first explain the basic elements of entanglement theory for two or more particles and then entanglement verification procedures such as Bell inequalities, entanglement witnesses, the determination of nonlinear properties of a quantum state via measurements on several copies, and spin squeezing inequalities. An emphasis is given on the theory and application of entanglement witnesses. We also discuss several experiments, where some of the presented methods have been implemented.

We discuss the relationship between entropic uncertainty relations and entanglement. We present two methods for deriving separability criteria in terms of entropic uncertainty relations. Especially we show how any entropic uncertainty relation on one part of the system results in a separability condition on the composite system. We investigate the resulting criteria using the Tsallis entropy for two and three qubits.

We derive a family of necessary separability criteria for finite-dimensional systems based on inequalities for variances of observables. We show that every pure bipartite entangled state violates some of these inequalities. Furthermore, a family of bound entangled states and true multipartite entangled states can be detected. The inequalities also allow to distinguish between different classes of true tripartite entanglement for qubits. We formulate an equivalent criterion in terms of covariance matrices. This allows us to apply criteria known from the regime of continuous variables to finite-dimensional systems.

Entangled states represent correlations between two separate systems that are too precise to be represented by products of local quantum states. We show that this limit of precision for the local quantum states of a pair of N-level systems can be defined by an appropriate class of uncertainty relations. The violation of such local uncertainty relations may be used as an experimental test of entanglement generation.

Quantum entanglement is a key resource, which grants quantum systems the ability to accomplish tasks that are classically impossible. Here, we apply Feynman's sum-over-histories formalism to interacting bipartite quantum systems and introduce entanglement measures for bipartite quantum histories. Based on the Schmidt decomposition of the matrix comprised of the Feynman propagator complex coefficients, we prove that bipartite quantum histories are entangled if and only if the Schmidt rank of this matrix is larger than 1. The proposed approach highlights the utility of using a separable basis for constructing the bipartite quantum histories and allows for quantification of their entanglement from the complete set of experimentally measured sequential weak values. We then illustrate the non-classical nature of entangled histories with the use of Hardy's overlapping interferometers and explain why local hidden variable theories are unable to correctly reproduce all observable quantum outcomes. Our theoretical results elucidate how the composite tensor product structure of multipartite quantum systems is naturally extended across time and clarify the difference between quantum histories viewed as projection operators in the history Hilbert space or viewed as chain operators and propagators in the standard Hilbert space.

Entanglement is the quintessential quantum mechanical phenomenon understood to lie at the heart of future quantum technologies and the subject of fundamental scientific investigations. Mixture, resulting from noise, is often an unwanted result of interaction with an environment, but is also of fundamental interest, and is proposed to play a role in some biological processes. Here we report an integrated waveguide device that can generate and completely characterize pure two-photon states with any amount of entanglement and arbitrary single-photon states with any amount of mixture. The device consists of a reconfigurable integrated quantum photonic circuit with eight voltage controlled phase shifters. We demonstrate that for thousands of randomly chosen configurations the device performs with high fidelity. We generate maximally and non-maximally entangled states, violate a Bell-type inequality with a continuum of partially entangled states, and demonstrate generation of arbitrary one-qubit mixed states.

We exhibit an orthogonal set of product states of two three-state particles that nevertheless cannot be reliably distinguished by a pair of separated observers ignorant of which of the states has been presented to them, even if the observers are allowed any sequence of local operations and classical communication between the separate observers. It is proved that there is a finite gap between the mutual information obtainable by a joint measurement on these states and a measurement in which only local actions are permitted. This result implies the existence of separable superoperators that cannot be implemented locally. A set of states are found involving three two-state particles which also appear to be nonmeasurable locally. These and other multipartite states are classified according to the entropy and entanglement costs of preparing and measuring them by local operations.

We study entanglement in Valence-Bond-Solid state. It describes the ground state of Affleck, Kennedy, Lieb and Tasaki quantum spin chain. The AKLT model has a gap and open boundary conditions. We calculate an entropy of a subsystem (continuous block of spins). It quantifies the entanglement of this block with the rest of the ground state. We prove that the entanglement approaches a constant value exponentially fast as the size of the subsystem increases. Actually we proved that the density matrix of the continuous block of spins depends only on the length of the block, but not on the total size of the chain [distance to the ends also not essential]. We also study reduced density matrices of two spins both in the bulk and on the boundary. We evaluated concurrencies.

Entanglement measures quantify the amount of quantum entanglement that is contained in quantum states. Typically, different entanglement measures do not have to be partially ordered. The presence of a definite partial order between two entanglement measures for all quantum states, however, allows for meaningful conceptualization of sensitivity to entanglement, which will be greater for the entanglement measure that produces the larger numerical values. Here, we have investigated the partial order between the normalized versions of four entanglement measures based on Schmidt decomposition of bipartite pure quantum states, namely, concurrence, tangle, entanglement robustness and Schmidt number. We have shown that among those four measures, the concurrence and the Schmidt number have the highest and the lowest sensitivity to quantum entanglement, respectively. Further, we have demonstrated how these measures could be used to track the dynamics of quantum entanglement in a simple quantum toy model composed of two qutrits. Lastly, we have employed state-dependent entanglement statistics to compute measurable correlations between the outcomes of quantum observables in agreement with the uncertainty principle. The presented results could be helpful in quantum applications that require monitoring of the available quantum resources for sharp identification of temporal points of maximal entanglement or system separability.