First note that under the reflection across the (𝑡1,𝑡3) plane these points are sent outside of 𝒯. By the PPT criterion it suffices to see that such a point corresponds to a matrix with at least one negative eigenvalue. This last claim is checked by contradiction. Indeed the (...
We propose the first correct special-purpose quantum circuits for preparation of Bell diagonal states (BDS), and implement them on the IBM Quantum computer, characterizing and testing complex aspects of their quantum correlations in the full parameter space. Among the circuits proposed, one involves...