Related papers: A remark about positive polynomials
The polynomials that arise as coefficients when a power series is raised to the power $x$ include many important special cases, which have surprising properties that are not widely known. This paper explains how to recognize and use such…
The Ap\'ery numbers $A_n$ and central Delannoy numbers $D_n$ are defined by $$A_n=\sum_{k=0}^{n}{n+k\choose 2k}^2{2k\choose k}^2, \quad D_n=\sum_{k=0}^{n}{n+k\choose 2k}{2k\choose k}. $$ Motivated by some recent work of Z.-W. Sun, we prove…
If a real polynomial $f(x)=p(x^2)+xq(x^2)$ is Hurwitz stable (every root if $f$ lies in the open left half-plane), then the Hermite-Biehler Theorem says that the polynomials $p(-x^2)$ and $q(-x^2)$ have interlacing real roots. We extend…
In a recent study, H. Alzer and the author showed that the sine polynomial $$ \sum_{k=1}^{n-1} \left( \frac{n}{k} - \frac{k}{n} \right) ^\beta \,\sin(kx) > 0 $$ is nonnegative for $ x\in[0,\pi ] $, $ n\geq 2, \, \beta \geq \beta _1 :=…
Let p be any prime, and let a and n be nonnegative integers. Let $r\in Z$ and $f(x)\in Z[x]$. We establish the congruence $$p^{\deg f}\sum_{k=r(mod p^a)}\binom{n}{k}(-1)^k f((k-r)/p^a) =0 (mod p^{\sum_{i=a}^{\infty}[n/p^i]})$$ (motivated by…
Oberchkoff's inequality says that a polynomial of degree d with non-negative coefficients has at most 2ad/pi zeros in the angle {|arg z|<a}. We improve and generalize this inequality, and study the case of equality.
Let $\Phi_n^{(k)}(x)$ be the $k$-th derivative of $n$-th cyclotomic polynomial. Extending a work of D.~H.~Lehmer, we show some curious congruences: $2\Phi^{(3)}_n(1)$ is divisible by $\phi(n)-2$ and $\Phi^{(2k+1)}_n(1)$ is divisible by…
We prove that a random bivariate polynomial with plus minus 1 coefficients is irreducible with high probability.
In this paper we obtain some novel identities involving trigonometric functions. Let $n$ be any positive odd integer. We show that $$\sum_{r=0}^{n-1}\frac1{1+\sin2\pi\frac{x+r}n+\cos2\pi\frac{x+r}n}…
Let $P_1, \ldots, P_m \in K[y]$ be polynomials with distinct degrees, no constant terms and coefficients in a general locally compact topological field $K$. We give a quantitative count of the number of polynomial progressions $x, x+P_1(y),…
In this paper, we prove that the equation $x^2-(p^{2k+2}+1)y^2=-p^{2l+1}$, $l \in \{0,1,\dots,k\}, k \geq 0$, where $p$ is an odd prime number, is not solvable in positive integers $x$ and $y$. By combining that result with other known…
We prove that if $P(X) \in \mathbb{Z}[X]$ is an integer polynomial of degree $n$ and having $P(0) = 1$, then either $P(X)$ is a product of cyclotomic polynomials, or else at least one of the complex roots of $P$ belongs to the disk $|z|…
We prove that for all p>1/2 there exists a constant $\gamma_p>0$ such that, for any symmetric measurable set of positive measure $E\subset \TT$ and for any $\gamma<\gamma_p$, there is an idempotent trigonometrical polynomial f satisfying…
Let $f(x) = \sum\limits _{i=0}^{n} a_i x^i $ be a polynomial with coefficients from the ring $\mathbb{Z}$ of integers satisfying either $(i)$ $0 < a_0 \leq a_{1} \leq \cdots \leq a_{k-1} < a_{k} < a_{k+1} \leq \cdots \leq a_n$ for some $k$,…
Let $ a_1(x)p_1(x)^n + \cdots + a_k(x)p_k(x)^n $ as well as $ b_1(x)q_1(x)^m + \cdots + b_l(x) q_l(x)^m $ be two polynomial power sums where the complex polynomials $ p_i(x) $ and $ q_j(x) $ are all non-constant. Then in the present paper…
To prove that a polynomial is nonnegative on R^n one can try to show that it is a sum of squares of polynomials (SOS). The latter problem is now known to be reducible to a semidefinite programming (SDP) computation much faster than…
In this paper, we study some supercongruences involving the sequence $$ t_n(x)=\sum_{k=0}^n\binom{n}{k}\binom{x}{k}\binom{x+k}{k}2^k $$ and solve some open problems. For any odd prime $p$ and $p$-adic integer $x$, we determine…
Let $2s$ points $y_i=-\pi\le y_{2s}<\ldots<y_1<\pi$ be given. Using these points, we define the points $y_i$ for all integer indices $i$ by the equality $y_i=y_{i+2s}+2\pi$. We shall write $f\in\bigtriangleup^{(1)}(Y)$ if $f$ is a…
Let $${\mathcal K}_n := \left\{p_n: p_n(z) = \sum_{k=0}^n{a_k z^k}, \enspace a_k \in {\mathbb C}\,,\enspace |a_k| = 1 \right\}\,.$$ A sequence $(P_n)$ of polynomials $P_n \in {\mathcal K}_n$ is called ultraflat if $(n +…
It is shown that for every splitting of a polynomial with noncommutative coefficients into linear factors $(X-a_{k})$ with $a_{k}$'s commuting with coefficients, any cyclic permutation of linear factors gives the same result and all $a_{k}$…