Real Stability and Log Concavity are coNP-Hard. - Tracy Chin (CoRR, 2024)