Table of Contents
Fetching ...

Around the "Fundamental Theorem of Algebra"

Boris Kazarnovskii

TL;DR

The paper surveys the classical Kac analogue for real roots of real polynomials and presents two additional Fundamental Theorem of Algebra analogues: one for real Laurent polynomials and another for exponential sums, including their multidimensional forms. It develops probabilistic formulas for the mean number of real zeros and the real-root probability in the Laurent setting, via mappings to real trigonometric polynomials and Crofton-type geometry, and expresses these quantities in terms of the spectrum $\Lambda$ and the Newton ellipsoid $\mathrm{Ell}(\Lambda)$. For exponential sums, it derives asymptotics N$(f,r)$ driven by the Newton polygon $\Delta$ and extends to systems in several variables using the pseudovolume $\mathrm{pvol}$ of convex bodies, connecting to Koushnirenko-type results and mixed volumes. Overall, the work highlights how classical algebraic results extend to probabilistic and geometric contexts, with explicit formulas that link zero counts to convex-geometric invariants like Newton ellipsoids and pseudovolumes.

Abstract

The Fundamental Theorem of Algebra (FTA) asserts that every complex polynomial has as many complex roots, counted with multiplicities, as its degree. A probabilistic analogue of this theorem for real roots of real polynomials, commonly referred to as the Kac theorem, was introduced in 1938 by J. Littlewood and A. Offord. In this paper, we present the Kac theorem and prove two more theorems that can be interpreted as analogues of the FTA: a version of FTA for real Laurent polynomials, and another version for exponential sums. In these two cases, we also provide formulations of multidimensional analogues of corresponding FTA. While these results are not new, they may appear unexpected and are therefore worth highlighting.

Around the "Fundamental Theorem of Algebra"

TL;DR

The paper surveys the classical Kac analogue for real roots of real polynomials and presents two additional Fundamental Theorem of Algebra analogues: one for real Laurent polynomials and another for exponential sums, including their multidimensional forms. It develops probabilistic formulas for the mean number of real zeros and the real-root probability in the Laurent setting, via mappings to real trigonometric polynomials and Crofton-type geometry, and expresses these quantities in terms of the spectrum and the Newton ellipsoid . For exponential sums, it derives asymptotics N driven by the Newton polygon and extends to systems in several variables using the pseudovolume of convex bodies, connecting to Koushnirenko-type results and mixed volumes. Overall, the work highlights how classical algebraic results extend to probabilistic and geometric contexts, with explicit formulas that link zero counts to convex-geometric invariants like Newton ellipsoids and pseudovolumes.

Abstract

The Fundamental Theorem of Algebra (FTA) asserts that every complex polynomial has as many complex roots, counted with multiplicities, as its degree. A probabilistic analogue of this theorem for real roots of real polynomials, commonly referred to as the Kac theorem, was introduced in 1938 by J. Littlewood and A. Offord. In this paper, we present the Kac theorem and prove two more theorems that can be interpreted as analogues of the FTA: a version of FTA for real Laurent polynomials, and another version for exponential sums. In these two cases, we also provide formulations of multidimensional analogues of corresponding FTA. While these results are not new, they may appear unexpected and are therefore worth highlighting.

Paper Structure

This paper contains 7 sections, 5 theorems, 18 equations.

Key Result

Theorem 1

Let the coefficients of a random real polynomial of degree $m$ in one variable be independent, normally distributed random variables with zero mean and unit variance. Then, as $m\to\infty$, the expected number of real roots is asymptotically $\frac{2}{\pi}\log m$. Equivalently, $\mathcal{P}(m)\asymp

Theorems & Definitions (14)

  • Theorem 1
  • Remark 1.1
  • Remark 1.2
  • Theorem 2
  • Remark 2.1
  • Theorem 3
  • Proposition 2.1
  • proof
  • Remark 2.2
  • Remark 2.2
  • ...and 4 more