Table of Contents
Fetching ...

Almost sure behavior of the critical points of random polynomials

Jürgen Angst, Dominique Malicet, Guillaume Poly

Abstract

Let $(Z_k)_{k\geq 1}$ be a sequence of independent and identically distributed complex random variables with common distribution $μ$ and let $P_n(X):=\prod_{k=1}^n (X-Z_k)$ the associated random polynomial in $\mathbb C[X]$. In [Kab15], the author established the conjecture stated by Pemantle and Rivin in [PR13] that the empirical measure $ν_n$ associated with the critical points of $P_n$ converges weakly in probability to the base measure $μ$. In this note, we establish that the convergence in fact holds in the almost sure sense. Our result positively answers a question raised by Z. Kabluchko and formalized as a conjecture in the recent paper [MV22].

Almost sure behavior of the critical points of random polynomials

Abstract

Let be a sequence of independent and identically distributed complex random variables with common distribution and let the associated random polynomial in . In [Kab15], the author established the conjecture stated by Pemantle and Rivin in [PR13] that the empirical measure associated with the critical points of converges weakly in probability to the base measure . In this note, we establish that the convergence in fact holds in the almost sure sense. Our result positively answers a question raised by Z. Kabluchko and formalized as a conjecture in the recent paper [MV22].
Paper Structure (6 sections, 11 theorems, 58 equations)

This paper contains 6 sections, 11 theorems, 58 equations.

Key Result

Theorem 1.1

As $n$ goes to infinity, the sequence of empirical measures $(\nu_n)$ converges in probability to $\mu$, in the space of complex probability measures, equipped with the topology of the convergence in distribution.

Theorems & Definitions (25)

  • Theorem 1.1: Theorem 1.1 of MR3283656
  • Theorem 1.2
  • Remark 1.1
  • Definition 2.1
  • Remark 2.1
  • Proposition 2.1
  • Remark 2.2
  • proof : Proof of Proposition \ref{['prop.kolmorogo']}
  • Lemma 2.1
  • proof : Proof of Lemma \ref{['lem.petrov']}
  • ...and 15 more