A promenade through correct test sequences I: Degree of constructible sets, Bézout's Inequality and density

The notion of correct test sequence was introduced in [27]. It has been widely used to design probabilistic algorithms for Polynomial Identity Testing (PIT). In this manuscript we study foundations and generalizations of this notion. We show that correct test sequences are almost omnipresent in the...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Journal of Complexity Ročník 68; s. 101588
Hlavní autoři:	Pardo, Luis M., Sebastián, Daniel
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.02.2022
Témata:	Bounded error probability polynomial time algorithms Bézout's inequality Correct test sequences Degree of constructible and locally closed affine sets Equality test of lists of functions Probability and existence Probability and existence Degree of constructible and locally closed affine sets Bounded error probability polynomial time algorithms Bézout's inequality Correct test sequences Equality test of lists of functions
ISSN:	0885-064X, 1090-2708
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Popis
Shrnutí:	The notion of correct test sequence was introduced in [27]. It has been widely used to design probabilistic algorithms for Polynomial Identity Testing (PIT). In this manuscript we study foundations and generalizations of this notion. We show that correct test sequences are almost omnipresent in the mathematical literature: As hitting sets in PIT, in Function Identity Testing, as norming sets ([1]) or in Reproducing Kernel Hilbert Spaces context. We generalize the main statement of [27] proving that short correct test sequences for lists of polynomials are densely distributed in any constructible set of accurate co–dimension and degree. In order to prove this result we introduce and develop the theory of degree of constructible sets, generalizing [25] and proving two Bezout's Inequalities for two different notions of degree. We exhibit the strength and limitations of correct test sequences with a randomized efficient algorithm for the “Suite Sécante” Problem. Our algorithm generalizes [27], admitting a bigger class of sampling sets, also proving that PIT is in RPK. We reformulate, prove and generalize two results of the Polynomial Method: Dvir's exponential lower bounds for Kakeya sets and Alon's Combinatorial Nullstellensatz.
ISSN:	0885-064X 1090-2708
DOI:	10.1016/j.jco.2021.101588