arXiv reader

The number of nonunimodular roots of a reciprocal polynomial

Dragan Stankov

arXiv
2203.07710v1 · PDF · 15 March 2022
Categories
math.NT
Licence
CC BY 4.0 The site shows the text.

Abstract

We introduce a sequence P_d of monic reciprocal polynomials with integer coefficients having the central coefficients fixed as well as the peripheral coefficients. We prove that the ratio between number of nonunimodular roots of P_d and its degree d has a limit L when d tends to infinity. We show that if the coefficients of a polynomial can be arbitrarily large in modulus then L can be arbitrarily close to 0. It seems reasonable to believe that if the coefficients are bounded then the analogue of Lehmer’s Conjecture is true: either L = 0 or there exists a gap so that L could not be arbitrarily close to 0. We present an algorithm for calculation the limit ratio and a numerical method for its approximation. We estimated the limit ratio for a family of polynomials. We calculated the limit ratio of polynomials correlated to many bivariate polynomials having small Mahler measure.

Items 15

Example

Example 1

GR39

If x^l+b_{l-1}x^{l-1}+\cdots+b_0 is a Pisot polynomial, b_l=1, k=a_0=0, then (?) is a sequence of Salem polynomials.

Theorem

Theorem 1.1

DJ5P

(Erdős, Turán) Let F(x)=\sum_{k=0}^d a_kx^k\in \mathbb{C}[x] with a_da_0 \ne 0, and let

N(F;\alpha,\beta)=\#\{\textrm{roots}\;\;r\in \mathbb{C}\;\textrm{of}\;F\;\textrm{with}\;\alpha \le \arg(r)\le \beta\}.

Then for all 0\le \alpha<\beta \le 2\pi,

\left|\frac{N(F;\alpha,\beta)}{d}-\frac{\beta-\alpha}{2\pi}\right|\le\frac{16}{\sqrt{d}}\left[\log\left(\frac{|a_0|+\cdots+|a_d|}{\sqrt{|a_0a_d|}}\right)\right]^{1/2}.
Theorem

Theorem 2.1

OUQ1

If k>0 is an integer and b_j=b_l-j, j=0,1,\ldots,l then for all fixed integers a_j, j=1, \ldots,k there is a limit C(P_{2n+2l}) when n tends to infinity.

Definition

Definition 2.2

BFKO

Let the limit of C(P_{2n+2l}) when n tends to infinity be called limit ratio and denoted LC(P_{2n+2l}).

Example

Example 2

XO0J

Let T_{2n+8,m} denote

T_{2n+8,m}(x)=x^{n+4}\left(\sum _{j=0}^4 b_{j,m}\left(x^{n+j}+\frac{1}{x^{n+j}}\right) +2\right).
Used by Theorem 2.3
Theorem

Theorem 2.3

811P

If we use the notation introduced in the previous example then

\lim_{m\rightarrow \infty}LC(T_{2n+8,m}(x))=0.
Lemma

Lemma 2.4

T41L
\sin \frac{t}{2}\left(\sum_{j=1}^{m} 2 \cos jt+1\right)=\sin \frac{(2m+1)t}{2}
Lemma

Lemma 2.5

BRWP
\sin \frac{t}{2}\left(\sum_{j=1}^{m} 2 \cos \frac{(2j-1)t}{2}\right)=\sin mt
Theorem

Theorem 2.6

B78S

If b_0=b_1=\cdots=b_l=1 is valid in (?) then

E(t)=\frac{\sin{\frac{(l+1)t}{2}}}{\sin \frac{t}{2}}.
Definition

Definition 2.7

B0WZ

Let \varphi_A(x) denote the polynomial (x^A-1)/(x-1), and write

P_{A,B}(x,y)=x^{\max(A-B,0)}(\varphi_A(x)+\varphi_B(x)y+x^{B-A}\varphi_A(x)y^2).
Example

Example 3

N35S

Let H_{2n+2l}(x) denote

H_{2n+2l}(x)=x^{n+l}\left(\sum _{j=0}^l \left(x^{n+j}+\frac{1}{x^{n+j}}\right) +1\right).
Theorem

Theorem 2.8

IKIM

If m is an integer greater than 1 then

\frac{2}{\pi(2m+1)}\frac{\sin\frac{(m-1)\pi}{2m}}{\sin\frac{\pi}{2m}}<LC(H_{2n+2m-2}(x))<\frac{2}{6m-\pi}\frac{\sin\frac{(m-1)\pi}{2m}}{\sin\frac{\pi}{2m}}
Corollary

Corollary 2.9

V7H8

If A is an adherent point of the sequence LC(P_{m,1}(x))_{m>1} then

\frac{2}{\pi^2}\le A \le \frac{2}{3\pi}
Conjecture

Conjecture 2.1

KERC

There is the limit of the sequence LC(P_{m,1}(x))_{m>1} satisfying

\lim_{m\rightarrow \infty}LC(P_{m,1}(x))_{m>1}\approx 0.209.
Conjecture

Conjecture 3.1

MAC0

If N is a natural number \ge 1 there is some c(N)>0 such that any sequence P_{2n+2l} of integer polynomials defined in (?), having coefficients \le N in modulus, that has the limit ratio strictly below c(N) has the limit ratio equal to 0.

Source and licence

The text on this page is from arXiv:2203.07710v1 by Dragan Stankov, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2203/2203.07710.jsonl.