Przybliżony stopień

EDYCJA (v2): Dodano sekcję na końcu tego, co wiem o problemie.

EDYCJA (v3): Dodano dyskusję na temat stopnia progowego na końcu.

Pytanie

To pytanie jest głównie prośbą o referencję. Nie wiem dużo o tym problemie. Chcę wiedzieć, czy wcześniej pracowano nad tym problemem, a jeśli tak, to czy ktoś może wskazać mi jakieś dokumenty, które mówią o tym problemie? Chciałbym również poznać obecne najlepsze granice przybliżonego stopnia . Wszelkie inne informacje byłyby również mile widziane (np. Informacje historyczne, motywacja, związek z innymi problemami itp.).$\textrm{AC}^0$

Definicje

Niech będzie funkcją logiczną. Niech będzie wielomianem nad zmiennymi do z rzeczywistymi współczynnikami. Stopień wielomianu jest maksymalnym stopniem we wszystkich monomialach. Stopień monomialu jest sumą wykładników różnych które pojawiają się w tym monomialu. Na przykład .$f:\{0,1\}^n \to \{0,1\}$$p$$x_1$$x_n$$x_i$$\textrm{deg}(x_1^7x_3^2) = 9$

O wielomianie mówi się, że przybliżone jeśli dla wszystkich . -approximate stopień logiczna funkcja , oznaczoną jako , to stopień najmniej wielomianem że -approximates . Dla zestawu funkcji , jest minimalnym stopniem tak że każda funkcja w może być - aproksymowana przez wielomian stopnia co najwyżejϵ f | f ( x ) - p ( x ) | < ϵ x ϵ f ~ deg ϵ ( f ) ϵ f F ~ deg ϵ ( F ) d F ϵ $p$$\epsilon$$f$$|f(x)-p(x)|<\epsilon$$x$$\epsilon$$f$$\widetilde{\textrm{deg}}_{\epsilon}(f)$$\epsilon$$f$$F$$\widetilde{\textrm{deg}}_{\epsilon}(F)$$d$$F$$\epsilon$$d$.

Zauważ, że każda funkcja może być reprezentowana bezbłędnie przez wielomian stopnia . Niektóre funkcje naprawdę wymagają wielomianu stopnia do przybliżenia dowolnego stałego błędu. Parzystość jest przykładem takiej funkcji.$n$$n$

Opis problemu

Co to jest ? (Stała 1/3 jest dowolna.)$\widetilde{\textrm{deg}}_{1/3}(\textrm{AC}^0)$

Notatki

Problem ten spotkałem w artykule Kwantowa złożoność kwerendy AC0 autorstwa Paula Beame'a i Widada Machmouchiego. Mówią

Ponadto nasze wyniki nie robią nic, aby zamknąć lukę w dolnej granicy przybliżonego stopnia funkcji AC0.

W swoich podziękowaniach wspominają również „problem przybliżonego stopnia AC0”.

Więc zakładam, że wcześniej było trochę pracy nad tym problemem? Czy ktoś może wskazać mi artykuł, który mówi o problemie? A jakie są najbardziej znane górne i dolne granice?

Co wiem o problemie (ta sekcja została dodana w v2 pytania)

Najbardziej znaną górną granicą która jest znana, to trywialna górna granica . Najlepsza dolna granica, jaką znam, pochodzi z dolnej granicy Aaronsona i Shi dla problemów kolizji i różnicowania elementów, co daje dolną granicę . (W przypadku poważnie ograniczonych wersji , takich jak formuły rozmiarze formuły lub obwody głębokości-2 z bramkami , możemy udowodnić górną granicę używając kwantowej złożoności zapytań).n ~ Ω (n2/3)AC0o(N2)O(N2)O(n$\widetilde{\textrm{deg}}_{1/3}(\textrm{AC}^0)$$n$$\tilde{\Omega}(n^{2/3})$$\textrm{AC}^0$$o(n^2)$$o(n^2)$$o(n)$

Powiązane: stopień progowy (Dodano w v3)

Jak zauważa Tsuyoshi w komentarzach, problem ten związany jest z problemem określania progowego stopnia . Stopień progowy funkcji jest minimalnym stopniem wielomianu tak że a . fpf(x)=$\textrm{AC}^0$$f$$p$f ( x ) = $f(x)=1 \implies p(x)>0$$f(x)=0 \implies p(x)<0$

Dolne granice dla progowego stopnia zostały teraz poprawione przez Sherstova. Pokazuje rodzinę formuł o stałej głębokości do jednorazowego odczytu na zmiennych, których stopień progowy zbliża się do gdy głębokość zbliża się do nieskończoności, co jest prawie ciasne, ponieważ formuły raz do odczytu mają próg (a nawet przybliżone ) stopień . Zobacz http://eccc.hpi-web.de/report/2014/009/ . (Sty 2014) nΩ($\mathrm{AC}^0$$n$O($\Omega(\sqrt{n})$$O(\sqrt{n})$

Artykuł autorstwa Marka Bun i Justina Thalera został opublikowany w ECCC bardzo niedawno (w połowie marca 2017 r.), Który precyzyjnie odpowiada na to pytanie: „Prawie optymalna dolna granica dla przybliżonego stopnia AC0”

Twierdzą, że dla dowolnego istnieje funkcja w taka, że , prawie zamykając lukę z trywialną górną granicą . Osiągają to za pomocą ogólnej metody zwiększenia przybliżonego stopnia funkcji o przybliżonym stopniu sublinearnym, utrzymując liczbę zmiennych quasi-liniowych. Z streszczenia:f C 0 ~ d e g 1 / 3 ( f ) = Ω ( n 1 - δ ) O ( n $\delta > 0$$f$$\mathrm{AC}^0$$\widetilde{\mathrm{deg}}_{1/3}(f) = \Omega(n^{1-\delta})$$O(n)$

W szczególności pokazujemy, jak przekształcić dowolną funkcję boolowską o przybliżonym stopniu w funkcję na zmiennych o przybliżonym stopniu co najmniej . W szczególności, jeśli , to jest wielomianowo większe niż . Ponadto, jeśli jest obliczany przez wielomian wielkości logicznego obwodu stałej głębokości, a więc jest .d F O ( n ⋅ p o l y l o g ( n ) $f$$d$$F$$O(n \cdot \mathrm{polylog}(n))$d=$D = Ω(n^{1/3} · d^{2/3} )$ Dd$d = n^{1−Ω(1)}$$D$$d$$f$$F$

Jest to najnowsza aktualizacja w dolnej części tego problemu i jest to znaczący krok naprzód. Sekcje wprowadzenia i zastosowania są również dobrym źródłem informacji na temat wcześniejszych prac i powiązanych problemów.

Oświadczenie: Nie przeczytałem jeszcze dokładnie artykułu.