Hitting Sets and Reconstruction for Dense Orbits in $\text{VP}_e$ and $\Sigma\Pi\Sigma$ Circuits
Abstract
In this paper we study polynomials in (polynomial-sized formulas) and in (polynomial-size depth- circuits) whose orbits, under the action of the affine group , are in their ambient class. We construct hitting sets and interpolating sets for these orbits as well as give reconstruction algorithms. As , our results for translate immediately to with a quasipolynomial blow up in parameters. If any of our hitting or interpolating sets could be made then this would immediately yield a hitting set for the superclass in which the relevant class is dense, and as a consequence also a lower bound for the superclass. Unfortunately, we also prove that the kind of constructions that we have found (which are defined in terms of -independent polynomial maps) do not necessarily yield robust hitting sets.
Cite
@article{arxiv.2102.05632,
title = {Hitting Sets and Reconstruction for Dense Orbits in $\text{VP}_e$ and $\Sigma\Pi\Sigma$ Circuits},
author = {Dori Medini and Amir Shpilka},
journal= {arXiv preprint arXiv:2102.05632},
year = {2021}
}