Dimension formula for induced maximal faces of separable states and genuine entanglement

TL;DR

This paper derives a formula for the dimension of induced maximal faces of the set of separable states in multipartite quantum systems, linking the maximum dimension to genuinely entangled vectors.

Contribution

It provides a simple formula for the dimension of induced maximal faces and characterizes when this maximum is achieved in terms of genuine entanglement.

Findings

Maximum dimension of induced maximal faces is d(d-2).

Maximum is achieved iff the orthogonal complement is spanned by a genuinely entangled vector.

The dimension formula applies to all induced maximal faces in the set of separable states.

Abstract

The normalized separable states of a finite-dimensional multipartite quantum system, represented by its Hilbert space ${\cal H}$, form a closed convex set ${\cal S}_1$. The set ${\cal S}_1$ has two kinds of faces, induced and non-induced. An induced face, $F$, has the form $F=\Gamma(F_V)$, where $V$ is a subspace of ${\cal H}$, $F_V$ is the set of $\rho\in{\cal S}_1$ whose range is contained in $V$, and $\Gamma$ is a partial transposition operator. Such $F$ is a maximal face if and only if $V$ is a hyperplane. We give a simple formula for the dimension of any induced maximal face. We also prove that the maximum dimension of induced maximal faces is equal to $d(d-2)$ where $d$ is the dimension of ${\cal H}$. The equality $\dim\Gamma(F_V)=d(d-2)$ holds if and only if $V^\perp$ is spanned by a genuinely entangled vector.