English

Distribution results on polynomials with bounded roots

Number Theory 2017-04-24 v2

Abstract

For dNd \in \mathbb{N} the well-known Schur-Cohn region Ed\mathcal{E}_d consists of all dd-dimensional vectors (a1,,ad)Rd(a_1,\ldots,a_d)\in\mathbb{R}^d corresponding to monic polynomials Xd+a1Xd1++ad1X+adX^d+a_1X^{d-1}+\cdots+a_{d-1}X+a_d whose roots all lie in the open unit disk. This region has been extensively studied over decades. Recently, Akiyama and Peth\H{o} considered the subsets Ed(s)\mathcal{E}_d^{(s)} of the Schur-Cohn region that correspond to polynomials of degree dd with exactly ss pairs of nonreal roots. They were especially interested in the dd-dimensional Lebesgue measures vd(s):=λd(Ed(s))v_d^{(s)}:=\lambda_d(\mathcal{E}_d^{(s)}) of these sets and their arithmetic properties, and gave some fundamental results. Moreover, they posed two conjectures that we prove in the present paper. Namely, we show that in the totally complex case d=2sd=2s the formula v2s(s)v2s(0)=22s(s1)(2ss) \frac{v_{2s}^{(s)}}{v_{2s}^{(0)}} = 2^{2s(s-1)}\binom {2s}s holds for all sNs\in\mathbb{N} and in the general case the quotient vd(s)/vd(0)v_d^{(s)}/v_d^{(0)} is an integer for all choices dNd\in \mathbb{N} and sd/2s\le d/2. We even go beyond that and prove explicit formul\ae{} for vd(s)/vd(0)v_d^{(s)} / v_d^{(0)} for arbitrary dNd\in \mathbb{N}, sd/2s\le d/2. The ingredients of our proofs comprise Selberg type integrals, determinants like the Cauchy double alternant, and partial Hilbert matrices.

Cite

@article{arxiv.1609.06947,
  title  = {Distribution results on polynomials with bounded roots},
  author = {Peter Kirschenhofer and Jörg Thuswaldner},
  journal= {arXiv preprint arXiv:1609.06947},
  year   = {2017}
}

Comments

19 pages

R2 v1 2026-06-22T15:57:51.033Z