3 problems

For each finite NPA level $k$, let $a_k$ be the coefficient in the small-$s$ expansion … where the coefficients satisfy $a_k\downarrow0$ as $k$ increases. Positivity conjecture.…

CoRE-hardness conjecture. Deciding which of these two cases holds is $\mathrm{coRE}$-hard; equivalently, $\mathrm{MIP}^{\mathrm{co}}=\mathrm{coRE}$.

Let $\vec{Q}=\{q(abc|xyz)\}$ be a distribution in the bilocal scenario. Say that $\vec{Q}$ passes the bilocal inflation-NPA hierarchy when it satisfies the hierarchy of compatible…