Existence of locally maximally entangled quantum states via geometric invariant theory

Aug 4, 2017
17 pages
Published in:
  • Annales Henri Poincare 19 (2018) 2491
e-Print:

Citations per year

2017201920212023202410
Abstract: (arXiv)
We study a question which has natural interpretations in both quantum mechanics and in geometry. Let V1,...,VnV_1,..., V_n be complex vector spaces of dimension d1,...,dnd_1,...,d_n and let G=SLd1××SLdnG= SL_{d_1} \times \dots \times SL_{d_n}. Geometrically, we ask given (d1,...,dn)(d_1,...,d_n), when is the geometric invariant theory quotient P(V1Vn)//G\mathbb{P}(V_1 \otimes \dots \otimes V_n)// G non-empty? This is equivalent to the quantum mechanical question of whether the multipart quantum system with Hilbert space V1VnV_1\otimes \dots \otimes V_n has a locally maximally entangled state, i.e. a state such that the density matrix for each elementary subsystem is a multiple of the identity. We show that the answer to this question is yes if and only if R(d1,...,dn)0R(d_1,...,d_n)\geqslant 0 where \[ R(d_1,...,d_n) = \prod_i d_i +\sum_{k=1}^n (-1)^k \sum_{1\leq i_1
Note:
  • Improved the exposition and streamlined some proofs using results of Littelmann and Sato-Kimura
  • entanglement: quantum
  • space: vector
  • quantum mechanics
  • density matrix
  • Hilbert space
  • geometry
  • [AVE67]
    Orbits of highest dimension of semisimple linear Lie groups, Funkcional. Anal. i Priloˇ zen. 1 , no. 4, 3-7. MR0267040. English translation in
    • E.M. Andreev
      ,
    • E.B. Vinberg
      ,
    • A.G. Elashvili
      • Funct.Anal.Appl. 1 (1967) 257-261
  • [BLRV]
    Locally maximally entangled states of multipart quantum systems, in preparation
    • J. Bryan
      ,
    • S. Leutheusser
      ,
    • Z. Reichstein
      ,
    • M. Van Raamsdonk
    • [E72]
      svili, Stationary subalgebras of points of general position for irreducible linear Lie groups, Funkcional. Anal. i Priloˇ zen. 6 , no. 2, 65-78. MR0304555. English translation in
      • A.G. Èla
        • Funct.Anal.Appl. 6 (1972) 139-148
    • [GKZ94]
      Discriminants, resultants, and multidimensional determinants, Mathematics: Theory & Applications, Birkhäuser Boston, Inc., Boston, MA,. MR1264417
      • I.M. Gelfand
        ,
      • M.M. Kapranov
        ,
      • A.V. Zelevinsky
    • [GW13]
      Gilad Gour / Classification of Multipartite Entanglement of All Finite Dimensionality
      • Wallach
        ,
      • Nolan R.
        • Phys.Rev.Lett. 111 (2013) 060502
    • [Hos12]
      Geometric Invariant Theory and Symplectic Quotients, lecture notes
      • V. Hoskins
    • [Kly02]
      Coherent states, entanglement, and geometric invariant theory,, arXiv:
      • A.A. Klyachko
    • [Kly04]
      Quantum marginal problem and representations of the symmetric group,, arXiv:
      • A.A. Klyachko
    • [Kly07]
      Dynamical symmetry approach to entanglement. In Physics and theoretical computer science, volume 7 of NATO Secur. Sci. Ser. D / Inf. Commun. Secur., pages 25-54. IOS, Amsterdam
      • A.A. Klyachko
    • [Li90]
      Koreguläre und äquidimensionale Darstellungen / MR1000484
      • P. Littelmann
        • J.Algebra 123 (1989) 193-222
    • [MFK94]
      Geometric invariant theory, third edition, Ergebnisse der Mathematik und ihrer Grenzgebiete (2), 34 / -Verlag, Berlin,. MR1304906
      • D. Mumford
        ,
      • J. Fogarty
        ,
      • F. Kirwan
    • [Po70]
      Criteria for the stability of the action of a semisimple group on the factorial of a manifold / MR0262416
      • V.L. Popov
        • Izv.Akad.Nauk SSR (Ser.Mat.) 34 (1970) 523-531
    • [PV94]
      Invariant Theory, in Algebraic geometry. IV, Encyclopaedia of Mathematical Sciences, 55 / Berlin,, 123-284. MR1309681
      • V.L. Popov
        ,
      • E.B. Vinberg
    • [Reid02]
      Graded Rings and Varieties in Projective Space
      • M. Reid
    • [Ros56]
      Some basic theorems on algebraic groups / MR0082183
      • M. Rosenlicht
        • Am.J.Math. 78 (1956) 401-443
    • [Rich72]
      Jr., Principal orbit types for algebraic transformation spaces in characteristic zero / MR0294336
      • R.W. Richardson
        • Invent.Math. 16 (1972) 6-14
    • [SK77]
      A classification of irreducible prehomogeneous vector spaces and their relative invariants / MR0430336
      • M. Sato
        ,
      • T. Kimura
        • Nagoya Math.J. 65 (1977) 1-155
    • [Wall08]
      Quantum computing and entanglement for mathematicians, in Representation theory and complex analysis, lectures given at the C.I.M.E. Summer School / held in Venice, Italy, June 10-17, 2004, 345-376, Lecture Notes in Math., 1931 / Berlin,. MR2409702
      • N.R. Wallach