Can spin structure explain disentangler bounds?
For approximate disentanglers, relate input dimension to the requirements that outputs be nearly separable and that every separable target be approximately attainable.
Discuss this questionFix a definition of approximate disentangler, its input and output dimensions, and its two approximation requirements. Ask whether a symmetry decomposition of the output or a purified channel yields an alternative proof, a sharpened bound, or a restricted-model separation.
Why this is interesting
The symmetric and antisymmetric subspaces appearing in disentangler bounds suggest asking whether subsystem spin gives a more direct account of the obstruction.
A place to start
Audit the recent / oracle-separation and disentangler results, then test a symmetric restricted channel family before attempting the general bound.
Related work
These works provide context and established results. They need not be the origin of this exact formulation.
Discuss this question
Reading is public. Posting requires a GitHub account. You can also write to Kunal.