Bohnet-Waldraff, Fabian, Laboratoire de Physique Théorique et Modèles Statistiques (LPTMS), Centre National de la Recherche Scientifique (CNRS)-Université Paris-Sud - Paris 11 (UP11), Université Paris Saclay (COmUE), Eberhard-Karls-Universität (Tübingen, Allemagne), Olivier Giraud, Daniel Braun, and STAR, ABES
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., Le thème central de cette thèse cumulative est l’étude de l’intrication multi-partite quantique pour des systèmes de dimension finie. Nous avons developpé un algorithme numérique basé sur un problème d’optimisation semi-définie, qui permet de décider si un état est intriqué ou pas en un nombre fini d’itérations. Cet algorithme est une extension d’algorithmes déjà connus qui ne permettent pas de conclure lorsque l’état en question est séparable. Dans notre cas, si l’état est séparable, l’algorithme permet d’obtenir une décomposition de l’état en une mixture d’états séparables. Ces résultats ont été obtenus en exploitant la correspondance entre le problème de l’intrication et le problème des moments tronqués (truncated moment problem). Nous avons aussi développé une nouvelle manière d’exprimer l’état partiellement transposé d’un état symétrique de plusieurs qubits, simplifiant par la-même nombre de résultats bien connus en théorie de l’intrication.Cette nouvelle manière d’écrire le critère de transposée partielle unifie différentes interprétations et formulations alternatives dudit critère, et fait partie intégrante de notre algorithme d’optimisation semi-définie.Nous avons aussi étudié en détails les propriétés géométriques des états intriqués de deux qubits : nous avons pu répondre à la question de savoir à quelle distance un état pur est de l’enveloppe convexe des états symétriques et séparables, en donnant une formule explicite de l’état symétrique et séparable le plus proche — la distance étant celle de Hilbert-Schmidt. Pour les états mixtes nous avons pu obtenir et une borne supérieure numérique et une borne inférieure analytique pour cette distance. Pour un plus grand6nombre de qubits, nous nous sommes intéressés à la boule des états absolument classique,c’est à dire des états symétriques de plusieurs qubits qui restent séparables sous n’importe quelle transformation unitaire. Nous avons trouvé une borne inférieure analytique pour le rayon de cette boule autour de l’état maximallement mixte ainsi qu’une borne supérieure numérique, cette dernière ayant été obtenue en cherchant un état intriqué aussi proche que possible de l’état maximallement mixte.La représentation tensorielle d’un état symétrique de plusieurs qubits, autrement dit de l’état d’un spin j, nous a permis d’étudier des propriétés de l’intrication en nous basant sur le spectre du tenseur (valeurs propres du tenseur). Le caractère défini du tenseur est relié à l’intrication de l’état qu’il représente, donnant la possibilité de détecter la présence d’intrication à l’aide de la valeur propre minimale du tenseur. Toutefois, les valeurs propres du tenseur sont autrement plus compliquée à calculer que les valeurs propres matricielle, rendant l’analyse numérique plus délicate. La relation entre la valeur propre minimale du tenseur et la quantité d’intrication présente dans l’état a aussi été étudiée.Il en ressort que les deux quantités sont étroitement corrélées pour des systèmes de petite taille, c’est à dire jusqu’à six qubits. L’étude de ces corrélations a nécessité une méthode indépendante pour jauger de la quantité d’intrication présente dans un état. Pour cela nous avons amélioré des méthodes numériques pour déterminer la distance entre un état et l’ensemble composé des états symétriques et séparables, en utilisant une combinaison d’algorithmes d’optimisation quadratique et d’optimisation linéaire. La représentation tensorielle des états symétriques de plusieurs qubits a aussi été utilisée pour définir formellement une nouvelle classe de tenseurs, appellés "regularly decomposable tensors",qui correspond à l’ensemble des états symétriques et séparables de plusieurs qubits.