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.
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.
The problem of determining when entanglement is present in a quantum system is one of the most active areas of research in quantum physics. Depending on the setting at hand, different notions of entanglement (or lack thereof) become relevant. Examples include separability (of bosons, fermions, and distinguishable particles), Schmidt number, biseparability, entanglement depth, and bond dimension. In this work, we propose and study a unified notion of separability, which we call X-arability, that captures a wide range of applications including these. For a subset (more specifically, an algebraic variety) of pure states X, we say that a mixed quantum state is X-arable if it lies in the convex hull of X. We develop unified tools and provable guarantees for X-arability, which already give new results for the standard separability problem. Our results include: -- An X-tensions hierarchy of semidefinite programs for X-arability (generalizing the symmetric extensions hierarchy for separability), and a new de Finetti theorem for fermionic separability. -- A hierarchy of eigencomputations for optimizing a Hermitian operator over X, with applications to X-tanglement witnesses and polynomial optimization. -- A hierarchy of linear systems for the X-tangled subspace problem, with improved polynomial time guarantees even for the standard entangled subspace problem, in both the generic and worst case settings.
Quantum entanglement is a key property of quantum information theory, that is at the heart of numerous promising applications in fields such as quantum cryptography, quantum computing or quantum sensing. In the past decades, the advent of such innovative technologies has reinforced the need for a better understanding of entanglement. The aim of this thesis is to contribute to this effort through the development of new tools targeting the characterization of several features of entanglement. Concerning the issue of entanglement detection, we present an optimization of the approach that exploits the concept of generalized concurrences to solve the separability problem for pure states. We then reformulate the separability question of mixed states into a matrix analysis problem, from which we obtain general separability criteria for multipartite states of ranks two and three. We also briefly discuss some properties of separable states. In particular, we characterize optimal separable decompositions of symmetric (i.e. permutation invariant) states of two and three qubits with maximal rank properties. Regarding the quantification of entanglement, we propose a function to quantify the entanglement of symmetric multiqubit states within classes of entangled states gathering states that are stochastically equivalent through local operations assisted with classical communication. This function establishes a link between the amount of entanglement of a symmetric state and the distribution of its Majorana points on the Bloch sphere. We finally investigate the robustness of entanglement with respect to particle loss and provide a full description of all multiqubit states that are fragile for the loss of one of their qubits. For symmetric states, the fragility for the loss of one qubit is shown to be related to a particular symmetry of the Majorana points.
We analyze the concept of entanglement for a multipartite system with bosonic and fermionic constituents and its generalization to systems with arbitrary parastatistics. We use the representation theory of symmetry groups to formulate a unified approach to this problem in terms of simple tensors with an appropriate symmetry. For an arbitrary parastatistics, we define the S-rank generalizing the notion of the Schmidt rank. The S-rank, defined for all types of tensors, serves for distinguishing entanglement of pure states. In addition, for Bose and Fermi statistics, we construct an analog of the Jamiołkowski isomorphism.
For several types of correlations: mixed-state entanglement in systems of distinguishable particles, particle entanglement in systems of indistinguishable bosons and fermions and non-Gaussian correlations in fermionic systems we estimate the fraction of non-correlated states among the density matrices with the same spectra. We prove that for the purity exceeding some critical value (depending on the considered problem) fraction of non-correlated states tends to zero exponentially fast with the dimension of the relevant Hilbert space. As a consequence a state randomly chosen from the set of density matrices possessing the same spectra is asymptotically a correlated one. To prove this we developed a systematic framework for detection of correlations via nonlinear witnesses.
We derive a classification and a measure of classical- and quantum-correlation of multipartite qubit, qutrit, and in general, n-level systems, in terms of SU(n) representations of density matrices. We compare the measure for the case of bipartite correlation with concurrence and the entropy of entanglement. The characterization of correlation is in terms of the number of nonzero singular values of the correlation matrix, but that of mixed state entanglement requires additional invariant parameters in the density matrix. For the bipartite qubit case, the condition for mixed state entanglement is written explicitly in terms of the invariant paramters in the density matrix. For identical particle systems we analyze the effects of exchange symmetry on classical and quantum correlation.
The main topic of this compilation thesis is the investigation of multipartite entanglement of finite dimensional systems. We developed a numerical algorithm that detects if a multipartite state is entangled or separable in a finite number of steps of a semi-definite optimization task. This method is an extension of previously known semi-definite methods, which are inconclusive when the state is separable. In our case, if the state is separable, an explicit decomposition into a mixture of separable states can be extracted. This was achieved by mapping the entanglement problem onto the mathematically well studied truncated moment problem. Additionally, a new way of writing the partially transposed state for symmetric multi-qubit states was developed which simplifies many results previously known in entanglement theory. This new way of writing the partial transpose criterion unifies different interpretations and alternative formulations of the partial transpose criterion and it is also a part in the aforementioned semi-definite algorithm. The geometric properties of entangled symmetric states of two qubits were studied in detail: We could answer the question of how far a given pure state is from the convex hull of symmetric separable states, as measured by the Hilbert-Schmidt distance, by giving an explicit formula for the closest separable symmetric state. For mixed states we could provide a numerical upper and analytical lower bound for this distance. For a larger number of qubits we investigated the ball of absolutely classical states, i.e. symmetric multi-qubit states that stay separable under any unitary transformation. We found an analytical lower bound for the radius of this ball around the maximally mixed symmetric state and gave a numerical upper bound on this radius, by searching for an entangled state as close as possible to the maximally mixed symmetric state. The tensor representation of a symmetric multi-qubit state, or spin-j state, allowed us to study entanglement properties based on the spectrum of the tensor via tensor eigenvalues. The definiteness of this tensor relates to the entanglement of the state it represents and, hence, the smallest tensor eigenvalue can be used to detect entanglement. However, the tensor eigenvalues are more difficult to determine than the familiar matrix eigenvalues which made the investigation computationally more challenging. The relationship between the value of the smallest tensor eigenvalue and the amount of entanglement in the state was also investigated. It turned out that they are strongly correlated for small system sizes, i.e. for up to six qubits. However, to investigate this correlation we needed an independent way to gauge the amount of entanglement of a state and in order to do so we improved existing numerical methods to determine the distance of a state to the set of separable symmetric states, using a combination of linear and quadratic programming. The tensor representation of symmetric multi-qubit states was also used to formally define a new tensor class of regularly decomposable tensors that corresponds to the set of separable symmetric multi-qubit states.