Helton–McCullough conjecture on convex positivity domains
Helton–McCullough conjecture. If ppp is irreducible and Dp\mathcal D_pDp is convex, then Dp\mathcal D_pDp is a ball.