854693.fig.002
Figure 2: The probability of phase-conjugate-state-pair appearance defined in (2) must be no smaller than where is the dimension of each of the two subsystems. For separable states, holds, and thus the state which satisfies must be entangled. The probability of identical-state-pair appearance defined in (22) must be no larger than . For separable states, holds, and thus the state which satisfies must be entangled. This type of diagram was already presented in [12] where the maximally entangled fraction and the fraction of the flip operator are used to specify the conditions.