¿Existe una prueba alternativa o una exposición de: límite inferior exponencial para circuitos

¿Existe una prueba alternativa o una exposición del resultado de Grigoriev y Karpinski (STOC 1998, doi: 10.1145 / 276698.276872 ) en los límites inferiores exponenciales para circuitos aritméticos de Profundidad 3 que calculan sobre un campo finito fijo?$\mathsf{DET}_{n\times n}$

No pude entender la sección 2 del documento. ¿Cuál es la intuición detrás de considerar el operador lineal F ?$T_g$

Hubo una extensión posterior de Grigoriev y Razborov (PS) que tiene una exposición de prueba más corta.