Separable ball around any full-rank multipartite product state

We show that around any m-partite product state 𝜌_(prod) = 𝜌¹⊗…⊗𝜌_𝑚 of full rank (that is det(𝜌_(prod)) ≠ 0), there exists a finite-sized closed ball of separable states centered around 𝜌prod whose radius is 𝛽: = 2^(1−𝑚/2)𝜆_(min)(𝜌_(prod)). Here, 𝜆_(min)(𝜌_(prod)) is the smallest eigenvalue of 𝜌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: Tr[𝜌𝜌_(prod)]²/Tr[𝜌²]⩾Tr[𝜌²_(prod)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.