In quantum mechanics, separable states are multipartite quantum states that can be written as a convex combination of product states. Product states are multipartite quantum states that can be written as a tensor product of states in each space. The physical intuition behind these definitions is that product states have no correlation between the different degrees of freedom, while separable states might have correlations, but all such correlations can be explained as due to a classical random variable, as opposed as being due to entanglement.
In the special case of pure states the definition simplifies: a pure state is separable if and only if it is a product state.
A state is said to be entangled if it is not separable. In general, determining if a state is separable is not straightforward and the problem is classed as NP-hard.
I was reading a review on single-particle entanglement https://onlinelibrary.wiley.com/doi/10.1002/qute.202000014 and the author says this
It's probably a simple/well known result, but I'm not seeing any trivial proof at the moment. Moreover, I'm interested in the general case of arbitrary...