No, la inevitabilidad de la constructividad definitivamente todavía deja a GCT abierto como un plan viable de ataque en problemas de límite inferior como vs.P .P / p o l yNPP/poly
Primero, vale la pena mencionar que el resultado de Ryan sobre la constructividad es muy similar en sabor a los llamados "Flip Theorems" de Mulmuley, que dicen, por ejemplo, que si el permanente no tiene circuitos aritméticos de tamaño polivinílico, entonces hay un conjunto constructivo aleatorizado de tiempo múltiple de polinomios (polinomialmente muchas) matrices modo que cada pequeño circuito difiere del permanente en una de estas matrices. Ver Pruebas explícitas y The Flip, Informe técnico, Departamento de informática, Universidad de Chicago, septiembre de 2010 por Mulmuley.{M1,…,Mp(n)}
En segundo lugar, la centralidad de la caracterización de simetría (ya mencionada por siuman) en GCT se ha vuelto más evidente desde la encuesta de Regan. Si la caracterización de simetría resulta tan crucial para GCT como parece, entonces esto ya evita la condición de amplitud. Para la definición de caracterización de simetría, vea esta respuesta a una pregunta previa estrechamente relacionada .
Para ver una prueba de que la caracterización de la simetría viola la amplitud, consulte la Sección 3.4.3 "La caracterización de la simetría evita la barrera de Razborov-Rudich" en mi tesis (autoenchufes desvergonzados, pero no sé en ningún otro lugar donde esto esté escrito tan completamente) . Sospecho que también viola la constructividad, pero lo dejé como una pregunta abierta allí. (Anteriormente en el Capítulo 3 también hay una descripción general de los teoremas de volteo en GCT y cómo se relacionan con la caracterización de simetría).
(Me parece interesante que la caracterización de simetría, la misma propiedad que sospechamos que se usará en GCT que se mueve alrededor de Razborov, Rudich, se usa para probar los teoremas de volteo, que esencialmente dicen que la constructividad es necesaria).
Finalmente, vale la pena mencionar que, aunque a la larga GCT tiene como objetivo abordar versus y otros problemas booleanos, en este momento la mayoría del trabajo en GCT se enfoca en análogos algebraicos de estos, como sobre los números complejos, y allí todavía no es un análogo algebraico de Razborov - Rudich (que yo sepa).P / p o l yNPP/poly