Quantum entanglement and geometry of determinantal varieties

TL;DR

This paper introduces algebraic geometric invariants called determinantal varieties for quantum states, providing new tools for understanding entanglement, separability, and Hamiltonian simulation in quantum information theory.

Contribution

It develops a novel algebraic geometric framework using determinantal varieties as invariants for quantum states under local unitary transformations, advancing the analysis of entanglement.

Findings

Algebraic sets must be linear for separable states.

Low-rank bipartite states are generally entangled.

Projective isomorphisms of algebraic sets relate to Hamiltonian simulation.

Abstract

Quantum entanglement was first recognized as a feature of quantum mechanics in the famous paper of Einstein, Podolsky and Rosen [18]. Recently it has been realized that quantum entanglement is a key ingredient in quantum computation, quantum communication and quantum cryptography ([16],[17],[6]). In this paper, we introduce algebraic sets, which are determinantal varieties in the complex projective spaces or the products of complex projective spaces, for the mixed states in bipartite or multipartite quantum systems as their invariants under local unitary transformations. These invariants are naturally arised from the physical consideration of measuring mixed states by separable pure states. In this way algebraic geometry and complex differential geometry of these algebraic sets turn to be powerful tools for the understanding of quantum enatanglement. Our construction has applications in the following important topics in quantum information theory: 1) separability criterion, it is proved the algebraic sets have to be the sum of the linear subspaces if the mixed states are separable; 2) lower bound of Schmidt numbers, that is, generic low rank bipartite mixed states are entangled in many degrees of freedom; 3) simulation of Hamiltonians, it is proved the simulation of semi-positive Hamiltonians of the same rank implies the projective isomorphisms of the corresponding algebraic sets; 4) construction of bound enatanglement, examples of the entangled mixed states which are invariant under partial transpositions (thus PPT bound entanglement) are constructed systematically from our new separability criterion. On the other hand many examples of entangled mixed states with rich algebraic-geometric structure in their associated determinantal varieties are constructed and studied from this point of view.