ECCC-Report TR14-140https://eccc.weizmann.ac.il/report/2014/140Comments and Revisions published for TR14-140en-usSat, 01 Nov 2014 03:19:25 +0200
Paper TR14-140
| Constructing elusive functions with help of evaluation mappings |
Hong Van Le
https://eccc.weizmann.ac.il/report/2014/140We 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 $\F = \C \text{ or } \R$, we construct examples of $(s,r)$-elusive functions whose monomial coefficients are algebraic numbers, which give polynomials with algebraic number coefficients of large circuit size.Sat, 01 Nov 2014 03:19:25 +0200https://eccc.weizmann.ac.il/report/2014/140