Constructing elusive functions with help of evaluation mappings
Abstract
We develop a method to construct elusive functions using techniques of commutative algebra and algebraic geometry. The key notions of this method are elusive subsets and evaluation mappings. We also develop the effective elimination theory combined with algebraic number field theory in order to construct concrete points outside the image of a polynomial mapping. Using the developed methods, for , we construct examples of -elusive functions whose monomial coefficients are algebraic numbers, which give polynomials with algebraic number coefficients of large circuit size.
Cite
@article{arxiv.1011.2887,
title = {Constructing elusive functions with help of evaluation mappings},
author = {Hong Van Le},
journal= {arXiv preprint arXiv:1011.2887},
year = {2014}
}
Comments
v. 5: 23 pages, misprints are corrected, a condition on $n$ and $r$ in Proposition 4.11 is added, a proof of Corollary 4.12 is added, v. 6: 24 pages, improved presentation, in particular Lemmas 4.8, 4.13 are added, Reference 5 is added (and commented)