1. For mathematical point of view, Quantum Information Theory deals with finite dimensional Hilbert spaces, the state spaces of finite k-bipartite systems. In the case of pure k-bipartite systems, this space has the special form 2. H=V1 ⊗ ... ⊗ Vk, 3. where Vi denotes a finite dimensional state space of the ith particle of the system (most of the time, one assumes that it is a qubit, i.e. dim Vi = 2). The interesting non-classical behavior already occurs for two-qubit systems, for the so-called entangled states: the states which cannot be written in the form v1 ⊗ v2. There is no general agreement on the definition of entanglement for system with more than two parts. Klyachko has proposed to regard as entangled the states which are semi-stable for the action of the SLOCC group (G=SL(V1) × ... × SL(Vk)) in the sense of geometric invariant theory. Geometric invariant theory provides 4. methods for characterizing such states without explicitly computing the invariants. In order to test the significance of this property, we have explicitly computed the invariants in the simplest cases. 5. The non-locality properties of an entangled states does not change under unitary operations acting independently on each of its subsystem. The idea to construct entanglement measure by means of unitary invariant have been explored for example by Grassl et al. (1998), Schlienz and Mahler (1996). We have proved in 2006, that such invariants can be deduced from SLOCC-covariants. The knowledge of all the covariants and hence, the classification of the SLOCC orbits seems to be relevant in this context. However, except for simplest systems there are far too many orbits and the complete classification is out of reach. 6. 7. The aim of the series of four lectures given by Jean-Gabriel Luque and Jean-Yves Thibon is to explain a subproblem: how to compute the Hilbert series of the algebraic invariants for the pure k-qubit systems. 8. 9. In the two first lectures, Jean-Gabriel Luque will give a brief account on the symmetric functions and the characters of the symmetric groups. The first two talks will be meant for an audience of beginner in the area of symmetric functions. In the 10. two remaining lectures, Jean-Yves Thibon will explore the links between symmetric functions and Kronecker product (Lecture 3) in order to explain how to compute the Hilbert series (Lecture 4).
For mathematical point of view, Quantum Information Theory deals with finite dimensional Hilbert spaces, the state spaces of finite k-bipartite systems. In the case of pure k-bipartite systems, this space has the special form 2. H=V1 ⊗ ... ⊗ Vk, 3. where Vi denotes a finite dimensional state space of the ith particle of the system (most of the time, one assumes that it is a qubit, i.e. dim Vi = 2). The interesting non-classical behavior already occurs for two-qubit systems, for the so-called entangled states: the states which cannot be written in the form v1 ⊗ v2. There is no general agreement on the definition of entanglement for system with more than two parts. Klyachko has proposed to regard as entangled the states which are semi-stable for the action of the SLOCC group (G=SL(V1) × ... × SL(Vk)) in the sense of geometric invariant theory. Geometric invariant theory provides 4. methods for characterizing such states without explicitly computing the invariants. In order to test the significance of this property, we have explicitly computed the invariants in the simplest cases. 5. The non-locality properties of an entangled states does not change under unitary operations acting independently on each of its subsystem. The idea to construct entanglement measure by means of unitary invariant have been explored for example by Grassl et al. (1998), Schlienz and Mahler (1996). We have proved in 2006, that such invariants can be deduced from SLOCC-covariants. The knowledge of all the covariants and hence, the classification of the SLOCC orbits seems to be relevant in this context. However, except for simplest systems there are far too many orbits and the complete classification is out of reach. 6. 7. The aim of the series of four lectures given by Jean-Gabriel Luque and Jean-Yves Thibon is to explain a subproblem: how to compute the Hilbert series of the algebraic invariants for the pure k-qubit systems. 8. 9. In the two first lectures, Jean-Gabriel Luque will give a brief account on the symmetric functions and the characters of the symmetric groups. The first two talks will be meant for an audience of beginner in the area of symmetric functions. In the 10. two remaining lectures, Jean-Yves Thibon will explore the links between symmetric functions and Kronecker product (Lecture 3) in order to explain how to compute the Hilbert series (Lecture 4).
It is a recent observation that entanglement classification for qubits is closely related to local SL(2,C)-invariants including the invariance under qubit permutations [Dür, et al., Phys. Rev. A 62, 062314 (2000); Osterloh, A. and Siewert, J., Phys. Rev. A 72, 012337 (2005); O. Chterental and D. Ž. Ðoković, Linear Algebra Research Advances (Nova Science, Hauppauge, N.Y., 2007), Chap. 4, p. 133], which has been termed SL∗ invariance. In order to single out the SL∗ invariants, we analyze the SL(2,C)-invariants of four (five) qubits and decompose them into irreducible modules for the symmetric group S4 (S5) of qubit permutations. A classifying set of measures of genuine multipartite entanglement is given by the ideal of the algebra of SL∗-invariants vanishing on arbitrary product states. We find that low degree homogeneous components of this ideal can be constructed in full by using the approach introduced by Osterloh and Siewert [Phys. Rev. A 72, 012337 (2005); Int. J. Quant. Inf. 4, 531 (2006)]. Our analysis highlights an intimate connection between this latter procedure and the standard methods to create invariants, such as the Ω-process [Luque, J.-G. and Thibon, J.-Y., J. Phys. A 39, 371 (2005)]. As the degrees of invariants increase, the alternative method proves to be particularly efficient.
Quantum states that are symmetric with respect to permutations of their subsystems appear in a wide range of physical settings, and they have a variety of promising applications in quantum information science. In this thesis, the entanglement of symmetric multipartite states is categorized, with a particular focus on the pure multi-qubit case and the geometric measure of entanglement. An essential tool for this analysis is the Majorana representation, a generalization of the single-qubit Bloch sphere representation, which allows for a unique representation of symmetric n-qubit states by n points on the surface of a sphere. Here this representation is employed to search for the maximally entangled symmetric states of up to 12 qubits in terms of the geometric measure, and an intuitive visual understanding of the upper bound on the maximal symmetric entanglement is given. Furthermore, it will be seen that the Majorana representation facilitates the characterization of entanglement equivalence classes such as stochastic local operations and classical communication (SLOCC) and the degeneracy configuration (DC). It is found that SLOCC operations between symmetric states can be described by the Möbius transformations of complex analysis, which allows for a clear visualization of the SLOCC freedoms and facilitates the understanding of SLOCC invariants and equivalence classes. In particular, explicit forms of representative states for all symmetric SLOCC classes of up to five qubits are derived. Well-known entanglement classification schemes such as the four qubit entanglement families or polynomial invariants are reviewed in the light of the results gathered here, which leads to sometimes surprising connections. Some interesting links and applications of the Majorana representation to related fields of mathematics and physics are also discussed.
This special issue of Mathematical Structures in Computer Science contains several contributions related to the modern field of Quantum Information and Quantum Computing. The first two papers deal with entanglement. The paper by R. Mosseri and P. Ribeiro presents a detailed description of the two- and three-qubit geometry in Hilbert space, dealing with the geometry of fibrations and discrete geometry. The paper by J.-G.Luque et al. is more algebraic and considers invariants of pure k-qubit states and their application to entanglement measurement.
The mixed two qutrit system: local unitary invariants, entanglement monotones, and the SLOCC group SL(3,C)
We consider local unitary invariants and entanglement monotones for the mixed two qutrit system. Character methods for the local SU(3)xSU(3) transformation group are used to establish the count of algebraically independent polynomial invariants up to degree 5 in the components of the density operator. These are identified up to quartic degree in the standard basis of Gell-Mann matrices, with the help of the calculus of f and d coefficients. Next, investigating local measurement operations, we study a SLOCC qutrit group, which plays the role of a `relativistic' transformation group analogous to that of the Lorentz group SL(2,C)_R ~ SO(3,1) for the qubit case. This is the group SL(3,C)_R, presented as a group of real 9x9 matrices acting linearly on the 9-dimensional space of projective coordinates for the qutrit density matrix. The counterpart, for qutrits, of the invariant 4x4 Minkowski metric of the qubit case, proves to be a certain 9x9x9 totally symmetric three-fold tensor generalizing the Gell-Mann d coefficient. Using this structure, we provide a count of the corresponding LSL polynomial invariants using group character methods. Finally, we give an explicit construction of the lowest degree quantity (the cubic invariant) and its expansion in terms of SU(3)xSU(3) invariants, and we indicate how to construct higher degree analogues. These quantities are proven to yield entanglement monotones. This work generalizes and partly extends the paper of King, Welsh and Jarvis (Journal of Physics A, 40(33):10083, 2007) on the mixed two qubit system, which is reviewed in an appendix.
If a one-phrase summary of the subject of this thesis were required, it would be something like: miscellaneous large (but finite) dimensional phenomena in quantum information theory. That said, it could nonetheless be helpful to briefly elaborate. Starting from the observation that quantum physics unavoidably has to deal with high dimensional objects, basically two routes can be taken: either try and reduce their study to that of lower dimensional ones, or try and understand what kind of universal properties might precisely emerge in this regime. We actually do not choose which of these two attitudes to follow here, and rather oscillate between one and the other. In the first part of this manuscript, our aim is to reduce as much as possible the complexity of certain quantum processes, while of course still preserving their essential characteristics. The two types of processes we are interested in are quantum channels and quantum measurements. Oppositely, the second part of this manuscript is specifically dedicated to the analysis of high dimensional quantum systems and some of their typical features. Stress is put on multipartite systems and on entanglement-related properties of theirs. In the third part of this manuscript we eventually come back to a more dimensionality reduction state of mind. This time though, the strategy is to make use of the symmetries inherent to each particular situation we are looking at in order to derive a problem-dependent simplification.
We provide a systematic classification of multiparticle entanglement in terms of equivalence classes of states under stochastic local operations and classical communication (SLOCC). We show that such a SLOCC equivalency class of states is characterized by ratios of homogenous polynomials that are invariant under local action of the special linear group. We then construct the complete set of all such SL-invariant polynomials (SLIPs). Our construction is based on Schur-Weyl duality and applies to any number of qudits in all (finite) dimensions. In addition, we provide an elegant formula for the dimension of the homogenous SLIPs space of a fixed degree as a function of the number of qudits. The expressions for the SLIPs involve in general many terms, but for the case of qubits we also provide much simpler expressions.