ABSTRACT
We study the following problem raised by von zur Gathen and Roche [GR97]:
What is the minimal degree of a nonconstant polynomial f: {0,...,n} → {0,...,m}?
Clearly, when m = n the function f(x) = x has degree 1. We prove that when m = n - 1 (i.e. the point {n} is not in the range), it must be the case that deg(f) = n - o(n). This shows an interesting threshold phenomenon. In fact, the same bound on the degree holds even when the image of the polynomial is any (strict) subset of {0,...,n}. Going back to the case m = n, as we noted the function f(x) = x is possible, however, we show that if one excludes all degree 1 polynomials then it must be the case that deg(f) = n - o(n). Moreover, the same conclusion holds even if m = O(n1.475--ε). In other words, there are no polynomials of intermediate degrees that map {0,...,n} to {0,...,m}. Furthermore, we give a meaningful answer when m is a large polynomial, or even exponential, in n. Roughly, we show that if m < (n/c d), for some constant c, then either deg(f) ≤ d - 1 (e.g. f(x) = (x-n/2d - 1) is possible) or deg(f) ≥ n/3 - O(d log n). So, again, no polynomial of intermediate degree exists for such m. We achieve this result by studying a discrete version of the problem of giving a lower bound on the minimal L∞, norm that a monic polynomial of degree d obtains on the interval [-1,1].
We complement these results by showing that for every d = o(√n/log n) there exists a polynomial f: {0,...,n} → {0,...,O(nd+0.5)} of degree n/3 - O(d log n) ≤ deg(f) ≤ n - O(d log (n)).
Our proofs use a variety of techniques that we believe will find other applications as well. One technique shows how to handle a certain set of diophantine equations by working modulo a well chosen set of primes (i.e. a Boolean cube of primes). Another technique shows how to use lattice theory and Minkowski's theorem to prove the existence of a polynomial with certain properties.
- {BdW02} H. Buhrman and R. de Wolf. Complexity measures and decision tree complexity: a survey. Theor. Comput. Sci., 288(1):21--43, 2002. Google ScholarDigital Library
- {Bei93} R. Beigel. The polynomial method in circuit complexity. In Structure in Complexity Theory Conference, pages 82--95, 1993.Google ScholarCross Ref
- {BHP01} R. C. Baker, G. Harman, and J. Pintz. The difference between consecutive primes, II. Proceedings of the London Mathematical Society, 83:532--562, 2001.Google ScholarCross Ref
- {Cra36} H. Cramér. On the order of magnitude of the difference between consecutive prime numbers. Acta Arithmetica, 2:23--46, 1936.Google ScholarCross Ref
- {Fel68} W. Feller. An Introduction to Probability Theory and Its Applications, volume 1. Wiley, New York, 3rd edition, 1968.Google Scholar
- {Gol08} O. Goldreich. Computational Complexity: A Conceptual Perspective. Cambridge University Press, 2008. Google ScholarDigital Library
- {Gop06} P. Gopalan. Computing with Polynomials over Composites. PhD thesis, Georgia Institute of Technology, August 2006. Google ScholarDigital Library
- {GR97} J. von zur Gathen and J. R. Roche. Polynomials with two values. Combinatorica, 17(3):345--362, 1997.Google ScholarCross Ref
- {KLM+09} M. N. Kolountzakis, R. J. Lipton, E. Markakis, A. Mehta, and N. K. Vishnoi. On the fourier spectrum of symmetric boolean functions. Combinatorica, 29(3):363--387, 2009. Google ScholarDigital Library
- {LMN93} N. Linial, Y. Mansour, and N. Nisan. Constant depth circuits, Fourier transform and learnability. J. ACM, 40(3):607--620, 1993. Google ScholarDigital Library
- {Luc78} E. Lucas. Théorie des fonctions numériques simplement périodiques. American Journal of Mathematics, 1(2):184--196, 1878.Google ScholarCross Ref
- {MG02} D. Micciancio and S. Goldwasser. Complexity of Lattice Problems: a cryptographic perspective, volume 671 of The Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publishers, Boston, Massachusetts, March 2002. Google ScholarDigital Library
- {MH03} J. C. Mason and D. C. Handscomb. Chebyshev Polynomials. Chapman & Hall/CRC, Boca Raton, FL, 2003.Google Scholar
- {MOS04} E. Mossel, R. O'Donnell, and R. A. Servedio. Learning functions of k relevant variables. J. Comput. Syst. Sci., 69(3):421--434, 2004. Google ScholarDigital Library
- {Raz87} A. A. Razborov. Lower bounds on the size of bounded depth circuits over a complete basis with logical addition. Math. Notes, 41(4):333--338, 1987.Google ScholarCross Ref
- {Rob55} H. Robbins. A Remark of Stirling's Formula. American Mathematical Monthly, 62:26--29, 1955.Google Scholar
- {Smo87} R. Smolensky. Algebraic methods in the theory of lower bounds for Boolean circuit complexity. In Proceedings of the 19th Annual STOC, pages 77--82, 1987. Google ScholarDigital Library
- {ST10} A. Shpilka and A. Tal. On the Minimal Fourier Degree of Symmetric Boolean Functions. Electronic Colloquium on Computational Complexity (ECCC), 17:178, 2010. To appear in CCC 2011. Google ScholarDigital Library
- {VD99} R. Vein and P. Dale. Determinants and Their Applications in Mathematical Physics. Springer, 1999.Google Scholar
Index Terms
- On the degree of univariate polynomials over the integers
Recommendations
On the degree of univariate polynomials over the integers
We study the following problem raised by von zur Gathen and Roche [6]:
What is the minimal degree of a nonconstant polynomial f: {0,..., n} ź {0,..., m}__ __ Clearly, when m = n the function f(x) = x has degree 1. We prove that when m = n -- 1 (i.e. the ...
The numerical condition of univariate and bivariate degree elevated Bernstein polynomials
The numerical condition of the degree elevation operation on Bernstein polynomials is considered and it is shown that it does not change the condition of the polynomial. In particular, several condition numbers for univariate and bivariate Bernstein ...
Computing low-degree factors of lacunary polynomials: a Newton-Puiseux approach
ISSAC '14: Proceedings of the 39th International Symposium on Symbolic and Algebraic ComputationWe present a new algorithm for the computation of the irreducible factors of degree at most d, with multiplicity, of multivariate lacunary polynomials over fields of characteristic zero. The algorithm reduces this computation to the computation of ...
Comments