Todas as funções cujo peso fourier está concentrado nos pequenos conjuntos calculadas pelos circuitos AC0?


18

Todas as funções cujo peso fourier está concentrado nos conjuntos pequenos (ou termos com baixo grau) são computadas pelos circuitos ?AC0


Essa pergunta parece interessante, embora eu não tenha parte da base na análise de fourier. Eu apreciaria referências à literatura relacionada.
Markus28

5
@Markus: este livro 2,0 por Ryan O'Donnell é uma excelente referência: contrib.andrew.cmu.edu/~ryanod
Alessandro Cosentino

quase o inverso de Linial, Mansour, Nissan 1993 ? resultado de Aaronsons, contra-exemplo ao Linial-Nissan generalizado parece próximo? mas há IMHO tem que haver uma maneira de generalizar o resultado 1993 de alguma forma ... talvez em grande forma ....
vzn

outra idéia semelhante em vez de AC ^ 0, mais difícil de provar, seria ilimitada em profundidade, mas circuitos limitados de porta total limitados por alguma função "pequena", digamos polinomial etc ...? Também não é tão conhecida a relação entre circuitos monótonos e coeficientes de fourier ...?
vzn

Respostas:


19

No. Considere a seguinte função em : f ( x ) = x 0x n - {0,1}n Claramente, esta função é difícil para AC0. Por outro lado, a função é quase constante, então quase todo o seu espectro de Fourier está no primeiro nível.

f(x)=x0xnn1(xnnxn1).

Se você quiser um contra-equilibrada, considere

g(x)=x0[x1xnn1(xnnxn1)].
x0

3
Você tem algum exemplo robusto em que a função não pode ser aproximada em AC0?
MCH

2
O(1)O(1)O(1)

AC0

@Arul Um nível de Fourier consiste em todos os coeficientes de Fourier correspondentes a conjuntos de um determinado tamanho. Pensamos neles como ordenados em ordem crescente de tamanho. Quanto ao motivo pelo qual essa função é difícil para AC0, este é um exercício. Dica: a paridade é difícil para AC0.
Yuval Filmus 10/10

7

Existem várias maneiras de entender a pergunta de acordo com o significado preciso de "tamanho pequeno" e "concentrado".

1o(1)S1o(1)AC0

2) Existe um teorema de Bourgain que, se a concentração está bem acima da função majoritária, a função é aproximadamente uma Junta e, portanto, depende das variáveis ​​O (1).

f^2(S)AC0polylog(n)

O(logn)AC0

O(polylog(n))npolylog(n)

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.