Q13 — The singlet conjecture

[marwahaha]

Discussion of Q13: The singlet conjecture.

Possible reductions, counterexamples, special cases, and related results are welcome. Please state the assumptions and link to relevant work.

The interaction in the question is

$$K^{\prime}=K-\lvert\tau\rangle\langle\tau\rvert.$$

This conversation also appears beneath the question on both versions of the website.