PIRSA:14090070

Algebraic characterization of entanglement classes

APA

Grassl, M. (2014). Algebraic characterization of entanglement classes. Perimeter Institute for Theoretical Physics. https://pirsa.org/14090070

MLA

Grassl, Markus. Algebraic characterization of entanglement classes. Perimeter Institute for Theoretical Physics, Sep. 19, 2014, https://pirsa.org/14090070

BibTex

          @misc{ scivideos_PIRSA:14090070,
            doi = {10.48660/14090070},
            url = {https://pirsa.org/14090070},
            author = {Grassl, Markus},
            keywords = {Quantum Information},
            language = {en},
            title = {Algebraic characterization of entanglement classes},
            publisher = {Perimeter Institute for Theoretical Physics},
            year = {2014},
            month = {sep},
            note = {PIRSA:14090070 see, \url{https://scivideos.org/pirsa/14090070}}
          }
          

Markus Grassl Max Planck Institute for the Science of Light

Talk numberPIRSA:14090070
Source RepositoryPIRSA

Abstract

Entanglement is a key feature of composite quantum system which is directly related to the potential power of quantum computers. In most computational models, it is assumed that local operations are relatively easy to implement. Therefore, quantum states that are related by local operations form a single entanglement class. In the case of local unitary operations, a finite set of polynomial invariants provides a complete characterization of the entanglement classes. Unfortunately, one faces the problem of combinatorial explosion so that computing such a complete set of invariants becomes difficult already for quite small system. The two main problems in this context are to compute invariants and to decide completeness, i.e., whether a given set of invariants generates the full invariant ring. Important tools are both univariate and multivariate Hilbert series which are already difficult to compute. We will also address computational aspects of these problems and techniques for showing completeness of a set of invariants.