Monotonicity conjecture for separability of random induced states
Let d⩾2d\geqslant 2d⩾2 and let πd,s\pi_{d,s}πd,s denote the probability that a random state on Cd⊗Cd\mathbf{C}^d\otimes\mathbf{C}^dCd⊗Cd with distribution μd2,s\mu_{d^2,s}μd2,s is separable. Monotonicity co…