¿Clases de complejidad "enjauladas"?

Esta es una pregunta algo frívola que surgió en mi cabeza después de leer las diversas respuestas a "¿Cuál es la clase de complejidad" más pequeña "para la que se conoce un circuito superlineal? ".

Las respuestas se refieren a , y cuando miré la entrada del zoológico , descubrí esto:$\mathsf{S_2 P}$

: No preguntar$\mathsf{S_2-EXP•P^{NP}}$

Una de las clases enjauladas del complejo zoológico.

Ha sido implicado en un escándalo de colapso que involucra a , c o N P y E $\mathsf{AM}[\text{polylog}]$$\mathsf{coNP}$$\mathsf{EH}$

Entonces ahora estoy intrigado. ¿Qué es una clase de complejidad enjaulada y cuál es el jugoso escándalo aquí :)? El zoológico no tiene referencias para aclarar.

Complexity Zoo tiene una referencia a ese resultado en la descripción de la clase AM [polylog] :

[…] [SS04] muestra que si AM [polylog] contiene coNP , EH colapsa a S ₂ -EXP • P ^NP . ( [PV04] mejoró el colapso a AM _EXP .)

En Complexity Zoo, una clase o una declaración se enjaula cuando parece muy aterrador. Se pueden encontrar ejemplos de declaraciones enjauladas en las descripciones de coNP / poly y SF _k (no para los que se asustan fácilmente, se recomienda la discreción del lector).