Questions tagged [polynomials]
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, ac.commutative-algebra, in addition to it. Also, note the more specific tags for some special types of polynomials, e.g., orthogonal-polynomials, symmetric-polynomials.
2,555
questions
1
vote
1
answer
147
views
Refinement of face vectors of the simplicial noncrossing hypertree complexes of McCammond
Einziger on page 65 of "Incidence Hopf algebras: Antipodes, forest formulas, and noncrossing partitions" presents the antipode of a noncrossing partition Hopf algebra as a graded sequence of partition ...
0
votes
0
answers
23
views
Largest root of the Adjacency matrix of two graphs (comparison)
Let $G$ and $H$ be two graphs whose spectral radius (largest eigenvalue) of the adjacency matrix is the largest root of the following polynomial:
$$P_G(x) = x^6-x^5-(2a-n+5)x^4+(2a-n+1)x^3+2(5a-3n+5)x^...
1
vote
1
answer
41
views
Link between two problems involving polynomials and (generalized) Vandermonde matrices?
Let two integers $L\leq N$, a sequence of $L+1$ distinct real numbers $\alpha_0,\dots,\alpha_L$, and integers $k_0,\dots,k_L\in\mathbb N$ such that $N=L+\sum_{i=0}^Lk_i$.
I noticed that the two ...
2
votes
1
answer
380
views
About nonnegative polynomials
Do there exist real polynomials $P(x)$ and $Q(x)$ with nonnegative coefficients such that
$$\left(\sum\limits_{k=0}^{20} x^k\right)^2=(x-3)^2P(x)+(x+4)^2 Q(x)?$$
I asked this question here, but I ...
5
votes
2
answers
543
views
A version of Hilbert's Nullstellensatz for real zeros
$\newcommand\R{\Bbb R}$Let $Q(x_1,\dots,x_n)\in\R[x_1,\dots,x_n]$ be an irreducible polynomial such that the dimension of the set $Z:=\{(x_1,\dots,x_n)\in\R^n\colon Q(x_1,\dots,x_n)=0\}$ (defined, say,...
0
votes
1
answer
210
views
On zeros of real polynomials in two variables
Let $P(x,y)$ be a polynomial with real coefficients in two real variables $x,y$ such that the set of zeros of $P(x,y)$ is the real conic curve $Q(x,y)=0$. Will it be true that there exists a ...
18
votes
7
answers
6k
views
Proofs of the Chevalley-Warning Theorem
A well known proof of the Chevally-Warning Theorem is the one listed on wikipedia: http://en.wikipedia.org/wiki/Chevalley%E2%80%93Warning_theorem
Are there any other proofs of this, or ...
-1
votes
0
answers
53
views
On the structure of the zeros of real polynomials of several real variables
Let $P(x_1,x_2,...,x_n)$ be a polynomial with real coefficients in the real variables $x_1,x_2,...,x_n$ that vanish on the real quadratic surface $Q(x_1,x_2,...,x_n )=0$ where $x_1,x_2,...,x_n$ are ...
25
votes
3
answers
2k
views
Least number of non-zero coefficients to describe a degree n polynomial
I'd be grateful for a good reference on this, it feels like a classic subject yet I couldn't find much about it.
Polynomials in one variable of the form $x^n+a_{n-1}x^{n-1}+\dots +a_1 x+a_0$ can be ...
2
votes
5
answers
431
views
Finding $\sum_i x_i$ given $\{\sum_i x_i^{2n}\}_{n\in \mathbb{N}}$
Can we find $\sum_i x_i$ given $\{\sum_i x_i^{2n}\}_{n\in \mathbb{N}}$, assuming $\{x_i\}_{i\in\mathbb{N}}$ is a set of positive real numbers?
Perhaps an easier question is, can we find $\sum_i x_i$ ...
3
votes
2
answers
330
views
Where to find or how to prove that the ratio of two Bernoulli polynomials is increasing?
It is well known that the classical Bernoulli polynomials $B_j(t)$ are generated by
\begin{equation*}
\frac{s\operatorname{e}^{ts}}{\operatorname{e}^s-1}=\sum_{j=0}^{\infty}B_j(t)\frac{s^j}{j!}, \quad ...
1
vote
1
answer
138
views
Existence of element $(x_0,y)$ in a set of common zeros for all $(x_0,y)$ satisfying system of inequalities
Let $f_1,f_2,\cdots,f_n,g_1,g_2\cdots,g_m\in \mathbb{R}[x,y]$, then define the affine variety and semi-affine variety as follows:
$V(f_1,f_2,\cdots,f_n):=\{(x,y)\in\mathbb{C}^2: f_1(x,y)=f_2(x,y)=\...
2
votes
1
answer
252
views
On properties of sums involving the floor function
During my research on properties of fractional part and integer part functions, I was led to consider the function of two variables $f(n,k)=\frac{2^{k}+1}{2^{ n}+1}\left\lfloor \frac{2^{n}+1}{2^{k}+1}\...
-1
votes
0
answers
70
views
A question about $M_n (R)[x]\cong M_n (R[x])$
Let $R$ be a commutative ring and $n\geq 1$. Assume that $\mathcal{I}'$ is a two-sided ideal of $M_n (R)[x]$. We know that $M_n (R)[x]\cong M_n (R[x])$. Then $\mathcal{I}'$ corresponds to an ideal $\...
2
votes
0
answers
114
views
Alon Tarsi reaches its lower bound for complete multipartite graphs
Consider a complete multipartite graph $G$ with $k$ $(k\ge2)$ parts with equal number of vertices $n$, where $n$ is even. If $k=2$, it is a well known result that the Alon-Tarsi number (ATN)(The ...
2
votes
1
answer
348
views
Simplify multiple sum involving rising factorials
(Previously asked in MSE, no answer even with bounty offer)
In the course of a calculation, I arrived at the quantity
$$ f(x,y,a,b)= \sum_{n,m,i,r,q,l\ge 0}\sum_{k=0}^{n+m} K_{n,m,i,r,l,q,k}\frac{(x)^{...
6
votes
1
answer
190
views
Can the Chebyshev polynomials be constructed from the extremal property?
It is a known fact that the Chebyshev polynomials, defined as $T_n := \cos(n \arccos x)$, have the following extremal property:
Theorem: Of all monic degree $n$ polynomials, $\frac1{2^{n-1}} T_n$ has ...
22
votes
4
answers
5k
views
Is there an intuitive explanation for an extremal property of Chebyshev polynomials?
Consider the following optimization problem:
Problem: find a monic polynomial $p(x)$ of degree $n$ which minimizes $\max_{x \in [-1,1]} |p(x)|$.
The solution is given by Chebyshev polynomials:
Theorem:...
1
vote
0
answers
134
views
Finding if an ideal is the radical of another one
Let's suppose we have, in the ring $\mathbb{Z} [x,y,z,w,v]$, the following polynomials:
$f=xw-yz$,
$g=x^2z-y^3$,
$h=yw^2-z^3$,
$k=xz^2-y^2w$.
The question is to prove that $I=(f,g,h,k)$ is the radical ...
3
votes
1
answer
140
views
When is a solution $P(f'(x)) = Q(f(x))$ periodic or double periodic?
$\newcommand{\cl}{\operatorname{cl}}\newcommand{\sl}{\operatorname{sl}}\newcommand{\cm}{\operatorname{cm}}\newcommand{\sm}{\operatorname{cm}}$Consider the differential equation
$$P(f '(x)) = Q(f(x))$$
...
3
votes
0
answers
113
views
Root separation for polynomials of bounded height
Consider integer polynomials $p$ of degree $\leq d$ and height $\leq H$, irreducible over $\mathbb{Q}$. The separation $\text{sep}(p)$ of $p$ is defined as the minimum absolute difference between any ...
16
votes
1
answer
608
views
Approximating zero sets of real polynomials with "less complicated" polynomials
Let $K \subset \mathbb{R}^n$ be a compact subset, and let $P(x_1,\dots,x_n)$ be a real multivariable polynomial of degree $d$, whose vanishing set we denote by $Z_P$. Is it plausible to approximate $...
8
votes
2
answers
276
views
Counting $m\times n$ $\bigl({1\atop1}{1\atop0}\bigr)$-free $(0,1)$-matrices
Let $G_{m,n}$ denote the number of $m\times n$ $(0,1)$-matrices that avoid the submatrix $\bigl({1\atop1}{1\atop0}\bigr)$. (Submatrices need not be contiguous.) Here are some small values (not yet on ...
5
votes
1
answer
549
views
How different can the bias of two polynomials be?
I'm trying to figure out how to approach the following question:
Let $g,h$ be polynomials over $\mathbb{Z}_p$ (for prime $p$) with $n>1$ variables.
Denote by $bias(g)=|\sum_{x\in \mathbb{Z}_p^n}e^{...
3
votes
0
answers
1k
views
Bound on the real part of roots of a polynomial
Hi,
I'm not sure if you can help me with this, but I'm currently looking for an upper bound on the real part of the roots of a polynomial with real coefficients. In other words, I have a polynomial
$...
3
votes
1
answer
529
views
Why is this polynomial factorizable? [closed]
I met a curious problem on factorizing a homogenerous polynomial of degree 9.
Problem: Show that the following polynomial can be divided by $(a_1+a_2+a_3)$:
\begin{align}
&\quad\left|
\begin{array}...
9
votes
1
answer
672
views
Sequence of real-rooted polynomials
I've been interested in proving a log-concavity result via proving that certain family of polynomials is real-rooted. By performing a sequence of transformations, I can reduce that problem to proving ...
12
votes
2
answers
670
views
Polynomial inequalities of the form $\int_0^1 |f(x)|^2 x \,dx \geq C \int_0^1 |f(x)|^2 \,dx$
Let $P_n$ denote all (real or complex) polynomials $f(x)=\sum_{k=0}^n a_k x^k$. I'm interested in inequalities of the form
$$
\int_0^1 |f(x)|^2 x \,dx \geq C \int_0^1 |f(x)|^2 \, dx, \quad \text{for ...
3
votes
0
answers
354
views
Some specific case of the abc-conjecture related to the Mason-Stothers proof of Serge Lang for polynomials?
I stumbled upon a version of the Mason-Stothers theorem, which can be modified to make a similar statement for natural numbers, which I think I can prove here. It is not the abc-conjecture, but it has ...
1
vote
2
answers
508
views
Finding regions where multi-variate polynomials are positive
Given a constant $k \in \mathbb N$, and a set of $p$ multi-variate polynomials {$P_j:\mathbb N^n\to \mathbb Z$}$\_{j=1...p}$, with $P_j \not\equiv 0$.
Is the following true:
There exists $n$ sets $...
20
votes
1
answer
1k
views
Irreducibility of the polynomial $x^n+5x+3$ over $\mathbb{Q}$
This question is first asked by me on MSE, but I haven't recieve a nice answer yet.
I would like to determine whether the polynomial $p(x)=x^n+5x+3$ is irreducible over $\mathbb{Q}$ when $n\ge 2$. ...
0
votes
0
answers
39
views
When does the sum of squares/cubes of polynomials over finite field have less than maximum degree?
Given polynomials $p_1(x), p_2(x), \dots p_m(x) \in \mathbb{F}_p[x]/\langle x^p-x\rangle$ where $p$ is a prime, when does $\sum_{i=1}^m p^2_i(x)$ have degree $< p-1$? What about $\sum_{i=1}^m p^3_i(...
30
votes
2
answers
803
views
Does there exist a polynomial 𝑃(𝑥,𝑦) which detects all non-squares?
I asked this question in MathStackExchange back in April, and it received more than 30 upvotes, but no answer was offered even after a bounty. I am reposting it here in hopes that someone can answer ...
5
votes
0
answers
198
views
Monotonicity of ratio of symmetric polynomials
The complete homogeneous symmetric polynomials of degree $\ell$ in $n$ variables are defined by
\begin{equation*}
h_{\ell}(x_1,x_2,\ldots,x_n) = \sum_{1 \leq i_1 \leq i_2 \leq \ldots \leq i_{\ell} \...
5
votes
2
answers
484
views
On the derivative of the Bernstein polynomial
$\newcommand\Z{\Bbb Z}\newcommand\De{\Delta}$For a natural $n$ and a function $g\colon\Z\to\Bbb R$, let $B_n g$ be the corresponding Bernstein polynomial, so that
$$(B_n g)(x)=\sum_{k\in\Z} g(k)\binom ...
0
votes
1
answer
41
views
relations between non-negativity of multivariate polynomials and SOS over gradient ideal
We know there is a necessary condition for the non-negativity of multivariate polynomials in the paper "Sum of Squares Decompositions of Polynomials over their Gradient Ideals with Rational ...
4
votes
0
answers
73
views
Combinatorial interpretation of a pfaffian identity?
Let $n$ be a positive even integer. We introduce three types of skew-symmetric matrices, $A_{n+2}$, $B_n$ and $C_n$ (the subscript denotes the dimension of the matrices)
in terms of the variables $z_1,...
3
votes
0
answers
190
views
Do all polynomials (other than generalized cyclotomic polynomials) have the spaced polynomial property?
Anna Erschler just asked me a question that is posed as Question 1.2 in her recent preprint with J. Frisch and M. Rychnovsky. I am asking it here with her permission - since I find it interesting (...
18
votes
5
answers
7k
views
Is $x^p-x+1$ always irreducible in $\mathbb F_p[x]$?
It seems that for any prime number $p$ and for any non-zero element $a$ in the finite field $\mathbb F_p$, the polynomial $x^p-x+a$ is irreducible over $\mathbb F_p$. (It is of course obvious that ...
21
votes
1
answer
571
views
Existence of a polynomial $Q$ of degree $\geq (p-1)/4$ in $\mathbb F_p[x]$ such that $QQ'$ factorizes into distinct linear factors
For all primes up to $p=89$ there exists a product $Q=\prod_{j=1}^d(x-a_j)$ involving $d\geq (p-1)/4$ distinct linear factors $x-a_j$ in $\mathbb F_p[x]$ such that $Q'$ has all its roots in $\mathbb ...
4
votes
0
answers
223
views
When $\langle u,v,w \rangle$ is a maximal ideal in $\mathbb{C}[x,y]$?
Let $u,v,w \in \mathbb{C}[x,y]$ and let $\langle u,v,w \rangle$ be the ideal generated by $u,v,w$.
It is known that for two elements the following result holds:
$\langle u,v \rangle$ is a maximal ...
5
votes
1
answer
162
views
Rational functions of order $3$
Let $p$ be a prime, let $\mathbb K$ a field with $\operatorname{char}(\mathbb K)=p$ and $\mathbb{K}(x)$ be the field of fractions of the polynomial ring $\mathbb{K}[x]$, i.e. $$\mathbb{K}(x)=\left\{\...
7
votes
2
answers
668
views
Polynomials such that $|p(z)|\leq p(|z|)$
Let $p(x)=1+p_1x+p_2x^2+\cdots+p_nx^n$ be a polynomial with real coefficients and no positive zeros. Define
$$\mu(x)=\frac{xp'(x)}{p(x)}, \hspace{3ex} \sigma(x)=x \mu'(x).$$
Many years ago, as part of ...
11
votes
2
answers
755
views
What relationship is there between repeated roots of discriminants and orders of roots of the original polynomials?
Disclaimer:
I asked this problem several days ago on MSE, I'm cross-posting it here. The title sounds like a high school problem, but (as a grad student not in algebra) it feels subtle/deep.
...
3
votes
1
answer
839
views
Find all integer solutions to the following easy-looking Diophantine equations
In general, it is not clear What does it mean to solve an equation? in integers. In this question, let us assume that an equation
$$
P(x_1,\dots,x_n)=0
$$
is solved if we have proved that its integer ...
36
votes
6
answers
3k
views
Number of real roots of 0,1 polynomial
$0,1$ polynomial has coefficients from $\{0,1\}$.
I investigate the number of roots in such polynomials.
We are talking about real roots, and multiples are counted only once.
It was found numerically ...
2
votes
1
answer
98
views
Bound for the $n$-th derivative of a proper rational function with no poles on the right half-plane
Suppose that
$f$ and $g$ are polynomials with nonnegative coefficients,
the degree of $g$ is greater than the degree of $f$,
$g + f$ have no zeros on the right half plane $\mathbb{C}_+ = \{z \in \...
3
votes
1
answer
140
views
Solving a recursion for polynomials defined by a matrix product
Define the polynomial $p_n(X) \in \mathbb{Z}[X_1,...,X_n]$ as the top left entry in $A^n$ for the $(d \times d)$ matrix
\begin{align*}
& A = \left(\begin{matrix}
X_1 & \dots & \...
10
votes
1
answer
547
views
A decision problem concerning Diophantine inequalities
Let $S$ be a subset of $\mathbb{R}^n$ defined by a system $\theta$ of polynomial inequalities with integer coefficients. Let $S+\mathbb{Z}^n$ be all points of the form $s+z$ with $s \in S$ and $z \in \...
6
votes
1
answer
188
views
What is the smallest $\mathbb{Z}[x]$ multiple of $(x-1)^n$ in the coefficient vector $\ell_1$ sense?
Define a norm $\lVert p \rVert_1$ for $p\in \mathbb{Z}[x]$ as the sum of absolute values of the coefficients of $p$, as expressed in the ordinary monomial basis. What is the smallest norm of a ...