EDIT (v2): Adicionada uma seção no final sobre o que eu sei sobre o problema.
EDIT (v3): adicionada discussão sobre o grau do limiar no final.
Questão
Esta pergunta é principalmente uma solicitação de referência. Eu não sei muito sobre o problema. Quero saber se já houve trabalho anterior sobre esse problema. Em caso afirmativo, alguém pode me apontar para algum artigo que fale sobre esse problema? Eu também gostaria de conhecer os melhores limites atuais no grau aproximado de . Qualquer outra informação também seria apreciada (por exemplo, informações históricas, motivação, relação com outros problemas, etc.).
Definições
Seja uma função booleana. Seja um polinômio sobre as variáveis a com coeficientes reais. O grau de um polinômio é o grau máximo em todos os monômios. O grau de um monômio é a soma dos expoentes dos vários que aparecem nesse monômio. Por exemplo .
Diz-se que um polinômio é aproximado se para todo . O grau aproximado de de uma função booleana , denotada como , é o grau mínimo de um polinômio que aproxima de . Para um conjunto de funções, , é o grau mínimo modo que todas as funções em possam ser aproximadas por um polinômio de grau no máximo d.
Observe que todas as funções podem ser representadas sem erro por um grau polinomial. Algumas funções realmente precisam de um polinômio de grau para se aproximar de qualquer erro constante. Paridade é um exemplo dessa função.
Declaração do problema
O que é ? (A constante 1/3 é arbitrária.)
Notas
Encontrei esse problema no artigo A complexidade quântica de consultas do AC0 de Paul Beame e Widad Machmouchi. Eles dizem
Além disso, nossos resultados não fazem nada para fechar a lacuna no limite inferior no grau aproximado de funções AC0.
Eles mencionam "o problema do grau aproximado de AC0" em seus agradecimentos também.
Então, eu suponho que já houve algum trabalho sobre esse problema antes? Alguém pode me indicar um artigo que fale sobre o problema? E quais são os limites superior e inferior mais conhecidos?
O que eu sei sobre o problema (Esta seção foi adicionada na v2 da pergunta)
O limite superior mais conhecido em que é conhecido é o limite superior trivial . O melhor limite inferior que conheço vem do limite inferior de Aaronson e Shi para os problemas de colisão e distinção de elementos, o que fornece um limite inferior de . (Para versões severamente restritas de , como fórmulas com tamanho de fórmula ou circuitos de profundidade 2 com portas , podemos provar um limite superior usando a complexidade da consulta quântica.)n ~ Ω (n2/3)AC0O(n2)o(n2)o(n)
Relacionado: grau limite (adicionado na v3)
Como Tsuyoshi aponta nos comentários, esse problema está relacionado ao problema de determinar o grau de limiar de . O grau de limiar de uma função é o grau mínimo de um polinómio tal que e . fpf(x)=1f ( x ) = 0
Os limites inferiores para o grau limite de foram aprimorados por Sherstov. Ele exibe uma família de fórmulas de leitura única de profundidade constante em variáveis cujo grau de limiar se aproxima de medida que a profundidade vai para o infinito, o que é quase restrito, pois as fórmulas de leitura única possuem limiar (e até aproximado ) grau . Veja http://eccc.hpi-web.de/report/2014/009/ . (Jan, 2014) nΩ( √O( √