Separable Ball around any Full-Rank Multipartite Product State
We show that around any $m$-partite product state $ρ_{\rm prod}=ρ_1\otimes...\otimesρ_m$ of full rank (that is ${\rm det}(ρ_{\rm prod})\neq 0)$, there exists a finite-sized closed ball of separable states centered around $ρ_{\rm prod}$ whose radius is $β:=2^{1-m/2}λ_{\rm min}(ρ_{\rm prod})$. Here, $λ_{\rm min}(ρ_{\rm prod})$ is the smallest eigenvalue of $ρ_{\rm prod}$. We are assuming that the total Hilbert space is finite dimensional and we use the notion of distance induced by the Frobenius norm. Applying a scaling relation, we also give a new and simple sufficient criterion for multipartite separability based on trace: ${\rm Tr}[ρρ_{\rm prod}]^2/{\rm Tr}[ρ^2]\geq {\rm Tr}[ρ_{\rm prod}^2]-β^2$. Using the separable balls around the full-rank product states, we discuss the existence and possible sizes of separable balls around any multipartite separable states, which are important features for the set of all separable states. We discuss the implication of these separable balls on entanglement dynamics.