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

0
votes
1answer
45 views

On a reciprocal of Ostrowski theorem on Newton polytopes and factorization

$\newcommand\KK{\mathbb{K}}$Let $\KK$ be any field and $f\in\KK[x_1,\dotsc,x_n]$ be a polynomial. Its support $S_f$ is the set $\{(e_1,\dotsc, e_n) : x_1^{e_1}\dotsb x_n^{e_n}$ has a nonzero ...
-1
votes
0answers
54 views

Name and theorems of transitive/Galois groups of quadratic (even) and cubic power polynomials: cyclic group extensions [on hold]

What is the transitive group details of a polynomial where only the third power terms occur? That is ${x}^{3n}+{a}_{n−1}{x}^{3(n−1)}+\cdots+{a}_{1}{x}^{3}+{a}_{0}$. I need the basic theorems that ...
11
votes
3answers
778 views

Probability of coprime polynomials

Given positive integer $N$, we choose $m_1, m_2, n_1, n_2$ independently and with equal probabilities from $\{0,1,\ldots,N\}$, and let $f_1 = x^{m_1} + (1+x)^{n_1}$ and $f_2 = x^{m_2} + (1+x)^{n_2}$ ...
1
vote
1answer
28 views

About convex combinations of real-stable multivariable complex polynomials

Say $f: \mathbb{C}^{n+1} \rightarrow \mathbb{C}$ is a real stable multivariable polynomial on the variables $(z,w_1,w_2,...,w_n)$. (a "real-stable" polynomial is one which has no zeroes in the open ...
6
votes
1answer
255 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$ ...
1
vote
1answer
63 views

About preserving real-rootedness of multivariable polynomials

Say $f_i(z_1,z_2,..,z_m)$ are polynomials real rooted in the $z$s for a bunch of polynomials indexed by $i$. When can one say that $\sum_{i} p_i f_i(z_1,z_2,..,z_m)$ is also real rooted? If ...
2
votes
1answer
119 views

Irreducibility of Faulhaber-like Polynomials over $\mathbb Q[x]$

Motivation: Inspired by the famous Faulhaber polynomials $F_k(N)=\displaystyle\sum_{n=0}^Nn^k,$ I decided to study their alternating versions, $\Phi_k(M)=\displaystyle\sum_{n=0}^M(-1)^nn^k$. For ...
4
votes
1answer
196 views

Counting couples of square-free polynomials over finite fields

I have a curve defined by the following equations over the finite field $\mathbb{F}_q$ with $q=p^r$ with $p \geq 3$: $$C_{h_1,h_2}:\begin{cases} y_1^2=h_1(t) & \\ y_2^2=h_2(t) ...
1
vote
0answers
31 views

About alternating polynomials an the Rowen's notation

Some definitions... Definition 1: A polynomial $f(X_1,\dots ,X_d)$ is $t$-linear if the variables $X_1,\dots ,X_t,\; t\leq d$ appear in all monomials of $f$ and degree of $X_i,\; i=1,2,\dots ,t$ on ...
2
votes
0answers
79 views

Real-rooted polynomials and higher rank matrices

For $A$ and $B$ being matrices of the same dimension and $B$ being rank $1$, one knows that $det(A+tB)$ is a linear polynomial in $t \in \mathbb{R}$. Hence by Taylor series it follows that $det(A + ...
-1
votes
0answers
265 views

Is there a polynomial that generates only primes or semi-primes? [migrated]

I know that no non-constant polynomial function $P(n)$ with integer coefficients exists that evaluates to a prime for every integer value of $n$. My question is - does there exist a non-constant ...
228
votes
15answers
32k views

Why do roots of polynomials tend to have absolute value close to 1?

While playing around with Mathematica I noticed that most polynomials with real coefficients seem to have most complex zeroes very near the unit circle. For instance, if we plot all the roots of a ...
8
votes
1answer
192 views

Factorization of polynomials in two variables

I have read, from the question: Irreducibility of polynomials in two variables, that all polynomials $f(x)-g(y)$, where $f, g$ are indecomposable polynomials, and there are no $a, b$ such that ...
5
votes
1answer
160 views

Orthogonal polynomial under linear transformation

Let $M_n(x) = x^n$ be the standard monomials. The binomial formula allows one to expand $M_n(ax+b)$ as a linear combination of $M_k(x)$, for $k \leq n$, giving $$ M_n(ax+b) = (ax+b)^n = \sum_{k=0}^n ...
0
votes
0answers
62 views

Is it possible the division polynomials evaluated at fixed point to be perfect powers unbounded number of times?

Let $E$ be elliptic curve over the rationals and $P=(X_P,Y_P)$ point on $E$. $\psi_n$ are the division polynomials. Define $a_n=\psi_n(X_P,Y_P)$. Is it possible $a_n$ to be perfect power ...
11
votes
0answers
221 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 ...
4
votes
0answers
157 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 ...
1
vote
0answers
94 views

On reducible polynomials

Let $f(x),g(x)\in\Bbb Z[x]$ with $deg(f)>deg(g)$. Given an integer $B$, is there any algorithm that runs in $\log^c |B|$ for some fixed $c\in \Bbb R$ to find a $h(x)\in\Bbb Z[x]$ (if one exists) ...
16
votes
1answer
704 views

Symmetric polynomial from graphs

Let $g$ be a directed, connected multigraph, on $n$ vertices, without loops. Define $$P_g(x_1,\dots,x_n) := Sym\left[ \prod_{(i,j) \in g} (x_i-x_j) \right]$$ where $(i,j)$ is the directed edge ...
-2
votes
0answers
26 views

Ring functions which 'respects' homomorphisms [migrated]

Let $R$ be a ring, and $\varphi \in End(R) $ an homomorphism. We define $$ S_{\varphi} = \{f:R\ \rightarrow\ R \ | \varphi(a) = \varphi(b) \ \Rightarrow \ \varphi(f(a))=\varphi(f(b))\ \} $$ In a ...
1
vote
0answers
163 views

Polynomial existence over finite field

Denote $\mathcal{F_n}$ as collection of multiaffine polynomials $f\in\Bbb F_2[x_1,\dots,x_n]$. Denote total degree of $f\in\mathcal{F_n}$ as $deg(f)$ (note $deg(f)\leq n$). Denote ...
3
votes
1answer
85 views

Homogeneous polynomial vector fields tangent to the unit sphere

This question has something to do with that one. Let $n\ge1$ and $d\ge1$ be two given integers. Consider the polynomial vector fields $v=(v_1,\ldots,v_n)$ whose components $v_j$ are homogeneous of ...
2
votes
0answers
99 views

Number of common solutions of polynomial system

Let $ \mathbb{F}_p$ be a finite field and $\{f_j\}_{j=1}^{j=r} \subseteq \mathbb{F}_p[X_1,...,X_n]$ be a set of polynomials. Let consider the system of equations: $f_j(x_1,...,x_n)=0$ for $j = ...
12
votes
1answer
509 views

Constructive proof of “Projective implies proper”

For every ring $A$, the structural morphism of schemes $\pi_A : {\bf P}^n_{A} \to {\rm Spec}{A}$ is a closed map. The usual proof of this fact is not constructive : given equations of a closed subset ...
7
votes
3answers
172 views

Polynomial expressions of roots of unity with integer norm

Say a nonconstant polynomial $p(z)$ is $k$-magical if it satisfies the following properties: $p$ is of the form $$p(z) = a_{k-1} z^{k-1} + a_{k-2} z^{k-2} + \cdots + a_1 z + 1$$ where each $a_i \in ...
0
votes
0answers
49 views

Complementary polynomials

Denote $S=\{0,1\}^n$. $\mathsf{MLP}_{d,n}=\{p\in\Bbb R[x_1,\dots,x_n]:p\mathsf{\mbox{ is mutilinear with total degree}}(p)=d\}$. Is there an $n\geq d^2+1$ such that there exists distinct polynomials ...
2
votes
0answers
256 views

Enumerating certain types of permutation polynomials

Given a prime power $q$, I would like to enumerate (preferably up to isomorphism*) all the permutation polynomials $f(x)$ on $K = GF(q^3)$ satisfying the following conditions: $f(ax) = af(x)$ for ...
14
votes
3answers
2k views

How did Ramanujan discover this identity?

Let $$\small F_n=(a+b+c)^n+(b+c+d)^n-(c+d+a)^n-(d+a+b)^n+(a-d)^n-(b-c)^n$$ and $ad=bc$, then $$64*F_6*F_{10}=45*F_8^2$$ This fascinating identity is due to Ramanujan and can be found in ...
0
votes
0answers
118 views

How to find critical points of the following polynomial?

I am trying to find critical points of the following equation in $\mathbb{R}^n$: $$F(x)=d-\sum_i a_{i}x_i^2+H(x).$$ Here, $a_{i}$ are positive real numbers, and $H(x)$ is a $\mathbf{harmonic}$ ...
2
votes
1answer
115 views

Determine whether a system of polynomials with real coefficients has a real solution?

Today my students asked me the following problem: Define polynomials $P_j$ with real coefficients $$P_{j}=\sum_{i_{1},\cdots,i_{s}}a^{(j)}_{i_{1}\cdots i_{s}}X^{i_{1}}_{1}\cdots X^{i_{s}}_{s}, ...
1
vote
1answer
98 views

question about a particular Polynomial ring [closed]

Let K be a field, let $T = K[X_1, X_2,...]$ be a polynomial ring, let $R=K[X_1^{2}, X_1X_2,..,X_i X_j,..]$, and let $L = Frac(R)$ = field of fractions of R. How can we prove that $R =T \cap L$ ?
1
vote
0answers
53 views

Lower bound on difference between polynomials at moderate distance

Fix $r > 0$ and $k, n \in \mathbb{N}$. Also consider a function $f: \mathbb{R}^{d} \rightarrow \mathbb{R}$. Let $x_{1},\ldots, x_{n+1}$ be points chosen uniformly from $[-r,r]^{d}$. For $1 \leq i ...
0
votes
2answers
175 views

A specific polynomial triplet question

Notation $P_k[n]=\{$multilinear polynomials in $\Bbb R[x_1,x_2,\dots,x_{n-1},x_n]$ of total degree exactly $k\}$. $k=1$ is just linear polynomials. QUESTION Is there a triplet $(p,f,g)\in ...
4
votes
1answer
352 views

q-th powers and roots of polynomials

Let $p,q,r$ be integers with $r\ge2$; let $f$ be a polynomial of the form $f(X) = g((X+1)^r)$, which is not a $q$-th power. Let $\omega$ be a $p$-th root of unity. Prove or disprove that the ...
4
votes
0answers
122 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
1answer
222 views

Products of cyclotomic polynomials

Is $\Phi_5(z) \Phi_6(z) = 1 + z^2 + z^3 + z^4 + z^6$ the only product of cyclotomic polynomials that has nonnegative coefficients and satisfies $p(\zeta)=0$, $p(\zeta^2)=2$, $p(\zeta^3)=3$, and ...
11
votes
0answers
297 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 = ...
6
votes
3answers
419 views

Polynomial threading through a monotone corridor

I have a need to find a polynomial of minimal degree that connects two points and stays within a given "corridor," by which I mean an $x$-monotone polygon. Here is an example:       ...
1
vote
1answer
185 views

The Largest Root of Associated Laguerre Polynomial

The Laguerre polynomial $L_n(x)$ is the solution to the Laguerre differential equation \begin{equation*} x\,y'' + (1 - x)\,y' + n\,y = 0. \end{equation*} The associated Laguerre polynomial ...
11
votes
0answers
284 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 ...
4
votes
0answers
92 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 ...
3
votes
2answers
279 views

irreducible polynomials on the polynomial sequence

I suspect this problem is very famous and it must be studied very well. But I searched in Google and I did not find good reference. I will appreciate any answer and reference for any contribution ...
2
votes
2answers
321 views

Polynomials of low degree that clone polynomials of higher degree

Let $f(x_1,\dots,x_{16})=(x_1+x_2+x_3+x_4)(x_5+x_6+x_7+x_8)(x_9+x_{10}+x_{11}+x_{12})(x_{13}+x_{14}+x_{15}+x_{16})\in\Bbb R[x]$. Let $\mathcal{Z}$ be the zero set of $f$ in ...
5
votes
1answer
226 views

Polynomiality of functions over residue rings

Suppose $\mathbb{Z}/m \mathbb{Z}$ is a residue ring for some $m \in \mathbb{N}$. If $m=p$ is a prime number then every function $f:\mathbb{Z}/p \mathbb{Z} \rightarrow \mathbb{Z}/p \mathbb{Z}$ is a ...
5
votes
1answer
163 views

Which criteria for “uniformly splitting” polynomials?

Let $P(x)$ be an irreducible monic polynomial of degree $\ge4$ with integer coefficients. We all know that over a finite field $\mathbb F_p$, $P$ will often split, and I am interested in polynomials ...
1
vote
1answer
175 views

Vector fields whose divergence are proper maps

Let $X$ be a polynomial vector field of degree $2$ on $\mathbb{R}^{2}$. Does there exist a nonvanishing smooth function $g$ such that $Div(gX)$ is a proper map?Or at least the zero locus of ...
8
votes
0answers
491 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 ...
5
votes
3answers
427 views

How to prove that two univariate polynomials are always algebraically dependent?

How to prove that two univariate polynomials(over any field) are always algebraically dependent? Also, how to prove the generalization of this question i.e if number of polynomials are more than ...
4
votes
1answer
109 views

Gauss--Lucas type theorem for tracts and higher derivatives of a polynomial

The Gauss--Lucas Theorem states that all zeros of a degree $n$ complex polynomial $p(z)$ are contained in the convex hull of the zeros of $p$. By iteration, this implies that the zeros of ...
7
votes
1answer
576 views

Roots of a polynomial in a finite field related to Fermat's Last Theorem

In my class, we proved the following condition: define the polynomial $P_l(x)$ as $$P_l(x) = \sum_{r=1}^{l-1}{\frac{1}{r}x^{l-1-r}}$$ Then if for all $a \in \mathbb{Z}/l\mathbb{Z}-\{0,1\},$ ...