Existe uma prova alternativa ou uma exposição de: Limite inferior exponencial para circuitos [Grigoriev-Karpinski (1998)]?

Existe uma prova alternativa ou uma exposição do resultado de Grigoriev e Karpinski (STOC 1998, doi: 10.1145 / 276698.276872 ) nos limites exponenciais inferiores dos circuitos aritméticos da Profundidade 3 que computam durante um campo finito fixo?$\mathsf{DET}_{n\times n}$

Eu não conseguia entender a seção 2 do artigo. Qual é a intuição por trás do operador F-linear ?$T_g$

Houve uma prorrogação subsequente por Grigoriev e Razborov (PS), que apresenta uma exposição mais curta da prova.