O teorema do LMN mostra que, se f é uma função booleana computável por um circuito CA 0 do tamanho M,(f:{−1,1}n→{−1,1})AC0
∑S:|S|>kf^(S)2≤2−Ω(k/(logM)d−1)
⇒f^([n])2≤2−Ω(n/(logM)d−1)
⇒|f^([n])|≤2−Ω(n/(logM)d−1)
nada mais é do que a correlação de f com a função de paridade ( ∏ n i = 1 x i ) . Deixe δ ser a fracção de entradas onde f difere da P A R I T Y .|f^([n])|(∏ni=1xi)δfPARITY
1−2δ≤|1−2δ|⇒δ=|f^([n])|≤2−Ω(n/(logM)d−1)≥1−2−Ω(n/(logM)d−1)
So, if M is poly(n), for f to be equal to PARITY,
δ⇒2n⇒(logM)d−1⇒M≤12n≥2(cn/(logM)d−1)≥(c−1)n≥2Ω(n1/d−1)
So, LMN theorem not only proves that PARITY cannot be computed by AC0 circuits, it also shows that PARITY has low correlation with AC0 circuits.