Q39 — Which compact-group irrep measurements support universal computation?

[marwahaha]

Discussion of Q39: Which compact-group irrep measurements support universal computation?.

Replace qubits and $\mathrm{SU}(2)$ by a fixed representation of a compact group. Classify the computation generated by measuring irreducible labels on small subsets.

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

The question page contains the full formulation and references. This conversation also appears beneath the question on both versions of the website.