paulfchristiano comments on Towards formalizing universality

[paulfchristiano]

I’m aiming for things like:

• $n$ round debate dominating any fast computation with $n-1$ alternations (including an $n-1$ round debate)

• max-HCH with budget $kn$ dominating max-HCH with budget $n$ for some constant $k>1$.

• HCH with advice and budget $kn$ dominating HCH with no advice and budget $n$.