Questions in which polynomials (single or several variables) play a key role. It is typically important that this tag is combined with other tags; polynomials appear in very different contexts. Please, use at least one of the top-level tags, such as nt.number-theory, co.combinatorics, ...

learn more… | top users | synonyms

36
votes
0answers
2k views

How to prove this polynomial always has integer values at all integers?

Let $m$ be any positive integer. $$ P_m(x)=\sum_{i=0}^{m}\sum_{j=0}^{m}{x+j\choose j}{x-1\choose j}{j\choose i}{m\choose i}{i\choose m-j}\frac{3}{(2i-1)(2j+1)(2m-2i-1)}. $$ Question: $P_m(x)$ always ...
21
votes
0answers
450 views

Finding a path through real rooted polynomials

This is a lemma I wanted in order to solve Patrizio Neff's conjecture. It turned out to be the wrong way to think about it, but I am still curious if it is true. Let $z^n+a_{n-1} z^{n-1} + \cdots + ...
17
votes
0answers
502 views

What is the best probabilistic estimate from below for a random polynomial on an arc?

I'm currently involved in a small (but quite time consuming) project where we are trying to get some decent bound for the number $N(P)$ of real zeroes of a random polynomial $P(x)=\sum_{k=0}^n\xi_k ...
16
votes
0answers
394 views

Polynomials with roots in convex position

Let $\mathcal P_n$ denote the set of all monic polynomials of degree $n$ with real or complex coefficients such that $P\in\mathcal P_n$ if for all $k\in\lbrace 0,1,\dots,n-2\rbrace$ the $n-k$ roots of ...
13
votes
0answers
418 views

Catalan objects associated to a univariate polynomial

Given a monic degree $n$ polynomial $f(z)$ with no double roots, and a phase $0\leq \theta < \pi$, there are natural constructions which associate to this data: a noncrossing matching on $2n$ ...
13
votes
0answers
678 views

Polynomials with presumably positive coefficients

After seeing that some positivity problems get their solutions on MO, I am quite enthusiastic of posing my (and not only) problem of positive flavour. In order to state it, I have to introduce the ...
12
votes
0answers
308 views

Why is a matrix pencil called a pencil?

I'm trying to understand the historical context behind the word pencil in matrix pencils, or pencil of curves so on. I am aware that even Gantmacher 1959 has this terminology however I don't know ...
12
votes
0answers
267 views

Hyperbolic polynomials and group representations

Recall that a homogeneous polynomial $P\in{\mathbb R}[X_1,\ldots,X_d]$ of degree $n$ is hyperbolic in the direction of a vector $V\ne0$ if for every vector $W$, the univariate polynomial $t\mapsto ...
12
votes
0answers
317 views

Descartes rule of signs for a noncommutative polynomial in matrix variables

Recently, while studying certain notions of "averaging" a set of input matrices, I obtained a nonlinear polynomial in matrix variables. A simple example is \begin{equation*} \mathcal{G}(X) := X^n - ...
12
votes
0answers
262 views

Are the zeros of Tutte polynomials dense in $\mathbb C^2$?

For the chromatic polynomials of graphs we have two nice theorems which describe the behavior of their zeros: Thomassen proved that the set of real zeros of all chromatic polynomials is the union of ...
11
votes
0answers
305 views

Evaluating products of cyclotomic polynomials at roots of unity

Are there general non-trivial conditions on $p(\cdot)$ and $n$, where $p(\cdot)$ is a product of cyclotomic polynomials and $n$ is a positive integer, such that all the coefficients of $p(\cdot)$ are ...
11
votes
0answers
313 views

Do the coefficients of these irreducible polynomials always become periodic?

Fix $n\in\mathbb N$ and a starting polynomial (or seed) $p_n=a_0+a_1x+\dots+a_nx^n$ with $a_k\in\mathbb Z\ \forall k$ and $a_0a_n\ne0$. Define $p_{n+1},p_{n+2},\dots$ recursively by $p_r = ...
11
votes
0answers
573 views

Is OEIS A007018 really a subsequence of squarefree numbers?

A comment in A007018 a(n) = a(n-1)^2 + a(n-1), a(0)=1 claims Subsequence of squarefree numbers (A005117). - Reinhard Zumkeller, Nov 15 2004 Is it really so? As far as I know, it is open problem ...
10
votes
0answers
248 views

Positivity of polynomial sequences via generating series

In this question I address the problem of proving the nonnegativity of a numerical sequence $a_0,a_1,a_2,\dots$ via generating series technique. In the notation $A(x)=\sum_{n=0}^\infty a_nx^n\ge0$ ...
9
votes
0answers
250 views

Reciprocal polynomials with roots off the unit circle

A polynomial is called reciprocal if its coefficients read forwards are the same as those read backward - there is an obvious translation of reciprocal polynomials into cosine polynomials (since a ...
9
votes
0answers
779 views

Dissecting trapezoids into triangles of equal area

[Lightly edited for copy and proper formatting of mathematics. -- Pete L. Clark] The Background: Let $T$ be a trapezoid. Sherman Stein, using valuation theory, showed that if $T$ is dissectible into ...
8
votes
0answers
505 views

How prove this polynomial inequality from a book

Question: Let $$f(X)=(X-x_{1})(X-x_{2})\cdots (X-x_{n})$$ be an irreducible polynomial over the field of rational numbers,with integer coefficients and real zeros. Prove that $$\prod_{1\le ...
8
votes
0answers
632 views

What is the relation between hypocycloids and ideals in polynomial rings as alluded to in Arnold's text on teaching mathematics?

While browsing through this site, I came upon the text of Arnold: "On teaching mathematics". http://pauli.uni-muenster.de/~munsteg/arnold.html containing the phrase ... it can be said that a ...
8
votes
0answers
230 views

Symmetric Polynomials generating squares

For some n>4, can one find two symmetric polynomials $S_1$ and $S_2$ in $\mathbb{Q}[x_1,...,x_n]$ such that $S_1+x_1S_2$ is a square in $\mathbb{Q}[x_1,...,x_n]$? I have such a construction for the ...
7
votes
0answers
204 views

Theorems proved using combinatorial nullstellensatz that have no other known proof

Alon's (or Alon and Tarsi's?) combinatorial nullstellensatz is a powerful algebraic tool with many applications in combinatorics and number theory. See this, this, this and this mathoverflow question. ...
7
votes
0answers
459 views

Getting a bound via polynomial equations

When studying the existence problem of power residue deference sets, I came across the following system of polynomial equations over $\mathbb{C}$, \begin{cases} ...
7
votes
0answers
150 views

When is the Locus of Equi-modular points of two monic polynomials with integer coefficients contained in the unit disk?

If $\lambda_{1}(z)$ and $\lambda_{2}(z)$ are two monic polynomials (relatively prime) with integer coefficients and $$\Gamma=\lbrace z \rm{\ s.t.\ } |\lambda_{1}(z)|=|\lambda_{2}(z)|\rbrace,$$ when is ...
6
votes
0answers
85 views

Recursions which define polynomials?

Let $k$ be a positive integer and let $$h(n,k,q)=\frac{1-(1+q^{k})q^{2k(n-1)+1}+q^{2}}{1-q^{2n-1}}h(n-1,k,q)-\frac{(1-q^{k(2n-3)})(1-q^{2k(n-1)})q^2}{(1-q^{2n-1})(1-q^{2n-3})}h(n-2,k,q)$$ with ...
6
votes
0answers
166 views

Criteria for irreducibility using the location of complex roots

I would like to see criteria for the irreducibility of a polynomial over $\mathbb{Z}$ based (mainly) on the location of the roots of the polynomial in the complex plane. An example of such a criterion ...
6
votes
0answers
89 views

Is there a ``Ladner's Theorem" for the PH-vs-PSPACE scenario?

Like a statement of the kind, ``If the Polynomial Hierarchy (PH) $\neq$ PSPACE then there exists $L \in PSPACE \backslash PH$ which is not PSPACE-complete"? Or is there something else that states ...
6
votes
0answers
407 views

Find a polynomial not in any ideal generated by polynomials of total degree $o(n)$

Is there an explicit nontrivial (= not a constant) polynomial $p \in \mathbb{C}[x_1, \ldots, x_n]$ such that, for any ideal $I \not= \mathbb{C}[x_1, \ldots, x_n]$ generated by $f_1, f_2, \ldots, f_m$ ...
6
votes
0answers
234 views

Factors of the polynomial $X^n-a$

I am interested in the polynomial $X^n-a$ in $\mathbb{Q}[X]$, for some $a\in \mathbb{Q}^*$, and would like to know the irreducible factors of it. Is there something in the literature which gives a ...
6
votes
0answers
172 views

Find a symmetric polynomial with a projection divisible by a known polynomial

Consider the polynomial $Q$, a homogeneous quartic in seven variables: $$ Q(R, s_1, s_2, s_3, s_4, d_1, d_2) = \\ ...
6
votes
0answers
61 views

Bounding volume of cell in complement of zero set

I am given an integer polynomial $f \in \mathbb{Z}[X_1, \ldots, X_n]$ of bounded degree and bounded coefficient size. The polynomial's zero set partitions $\mathbb{R}^n$ into cells. What I am looking ...
6
votes
0answers
243 views

Zeros of polynomials related to Jensen polynomial associated with Riemann xi function $\xi(x)$

We encountered polynomials defined by the recursive relations for the coefficients $b_k>0$ as defined below: $$p_{n}(x)=\sum_{k=0}^{n}\binom{2n}{2k}b_k x^k$$ ...
6
votes
0answers
90 views

Irreducibility testing and factoring

It is a result of van Hoeij and Novicin (Algorithmica, 2012) that factoring polynomials of degree $d$ over the integers can be done in $O(d^6 + d^4 \log^2 A)$ time, where $A$ is the coefficient bound. ...
6
votes
0answers
301 views

Polynomials and divided differences

I would greatly appreciate any hint for proving the following. Question: Let $f:[0, 1] \to {\bf R}$. Can it be proved that if $[0, 1/(N+m),\dots, (N+m)/(N+m) ; f ]=0$ for all $m=1,2, 3,\dots$, then ...
6
votes
0answers
381 views

How many values a polynomial map misses?

Let $F$ be a field. For a uni-variate polynomial $f(x)$ over $F$,let $M_f(F)$ denote the number of values that $f$ misses, that is, the cardinality of the subset $F - f(F)$ in $F$. Assume that $f$ is ...
6
votes
0answers
465 views

Does anyone know this sequence of polynomials?

A referee on a paper of mine showed me the following recurrence for polynomials $P_{n,k}\in\mathbb Q[q,q^{-1}]$ for $n\geq 0$ and $0\leq k\leq n/2$. ...
6
votes
0answers
370 views

“Consecutive” irreducible polynomials

If $P\in {\mathbb Z}[X]$ is a polynomial of degree $2$, then it is easy to see that for any integer $m$, at least one of the polynomials $P-(m+1),P-(m+2),P-(m+3),P-(m+4)$ is irreducible in ${\mathbb ...
6
votes
0answers
209 views

Involution on sextic polynomials?

The strangeness of $Aut(S_{6})$ suggests the following question: Let $a_{1}, a_{2}, a_{3}, a_{4}, a_{5}, a_{6}$ be the zeros of a 6th degree polynomial $P$ over a field $F$. Let ...
6
votes
0answers
219 views

Polynomial upper approximation with respect to the Gaussian measure

Let $f = 1_{[a,+\infty)}$ be the indicator function of a half-line. Does there exist a sequence $(P_n)$ of polynomials such that $f(x) \leq P_n(x)$ for every real $x$ and $$ \lim_{n\to \infty} ...
5
votes
0answers
168 views

Degree of Chebyshev polynomial necessary

In general, given $0<a<1$, I want to find a polynomial $f(x)\in\Bbb R[x]$ such that $f(x)\in[1-\frac{a}2,1+\frac{a}2]$ at every $x\in[1-a,1+a]$ and $f(0)=0$. What is minimum degree that is ...
5
votes
0answers
84 views

Real Zeros - tail estimate

Given a random polynomial with Gaussian coefficients, the Kac-Rice formula tells us what the expected number of real zeros is (for more on this, see the excellent paper of Edelman and Kostlan in the ...
5
votes
0answers
165 views

Operator connected with Hermite polynomials

For $n \geq 1$, define the following operator $M_n$ on the ring of all polynomials with real coefficients. $$M_n P(x) = nP(x)^2 - x \int_0^x (P'(t))^2 \, \mathrm{d}t$$ Monomials $x^k$ are mapped to $n ...
5
votes
0answers
171 views

Are the roots of chromatic polynomials plus a fixed constant dense in $\mathbb{C}$?

Alan Sokal proved that chromatic roots are dense in the whole complex plane. I.e., if $P(G;z)$ denotes the chromatic polynomial of a finite simple graph $G$ evaluated at $z \in \mathbb{C}$, then ...
5
votes
0answers
171 views

“Unknot” algebraic set defined by two mutually dependent set of variables

Let $n$ be an integer $\geq 4$, and let $V \subseteq {\mathbb C}^{2n-1}$ be the set of all $(a_1,a_2, \ldots ,a_n,b_1,b_2, \ldots ,b_{n-1}) \in {\mathbb C}^{2n-1}$ such that the derivative of the ...
4
votes
0answers
155 views

An equivalent relation on the space of polynomials in one complex variable

Let $P(z)$ be a polynomial with complex variable $z$. We consider the following distribution for the roots of $P(z)=0$: the distribution is a triple $(n_{1},n_{2},n_{3})$ where these integers are ...
4
votes
0answers
84 views

Can a product of conjugates be a Pisot number again?

Let $p(X) \in \mathbb{Z}[X]$ be an irreducible polynomial, and let $\alpha_1 \dots, \alpha_n$ be its roots in $\mathbb{C}$. Suppose that $\alpha_1$ is a Pisot number (that is, $\alpha_1 \in ...
4
votes
0answers
138 views

Expressing every algebraic number using roots of trinomials?

This question is a continuation of Is every polynomial a factor of a trinomial? We say that $T(X) \in \mathbb{Q}[X]$ is a trinomial if there exist $A,B,C \in \mathbb{Q}$ such that $T(X) = AX^n + BX^m ...
4
votes
0answers
50 views

shifted symmetric power sums

The functions $p^*_k(x)=\sum_{i=1}^N ((x_i-i)^k-(-i)^k)$ are analogues of power sum symmetric functions, called shifted symmetric by Okounkov and Olshanski. Define ...
4
votes
0answers
222 views

Analog of Euler's factoring technique

Is there an analog of Euler's Two Squares factoring theorem over polynomial rings $\Bbb Z[x]$ by considering a version for non-negative polynomials? Euler's two squares factoring states that numbers ...
4
votes
0answers
132 views

How many roots can $P(x):=\sum_s(x-s)^{(p-1)/2}$ have in ${\mathbb F}_p$?

For a prime $p$ and a set $S\subset{\mathbb F}_p$ of size $n:=|S|\approx \sqrt p$, what is the largest possible number of roots that the polynomial $$ P(x) := \sum_{s\in S} ...
4
votes
0answers
97 views

Notions of positivity for q-polynomials

What are some existing notions of positivity (or nonnegativity) for $\mathbf{R}[q]$ such that all $q$-integers $[n]_q = 1+q+...+q^{n-1}$ are positive, as well as all polynomials that can be expressed ...
4
votes
0answers
94 views

Perturbing the constant term of a polynomial and implications to stability

Let $p(s)\in\mathbb{R}[s]$ be s.t. $p(0)=0$; $p(s)$ has at least one root in the right half complex plane $\{s\in\mathbb{C}\,:\,\Re\mathrm{e}(s)>0 \}$. Then for every ...