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

1
vote
0answers
54 views

Irreducibility of reflexive compositions of polynomials

Let $m$ be a positive integer. For $k = 1, 2, 3, ... m$, fix $g_k(x_1, ..., x_{k + 1}) \in \mathbb{Z}[x_1, ..., x_{k + 1}]$. For any polynomial $p(x) \in \mathbb{Z}[x]$, let $P_0(x) = p(x), P_1(x) ...
3
votes
2answers
344 views

The holomorphic version of Galois theory

We identify the space of polynomials of degree n with $\mathbb{C}^{n+1}-\mathbb{C}^{n}$, that is an $n+1$ tuple $(a_{n},a_{n-1},\ldots,a_{0})$ with $a_{n} \neq 0$ is identified with $p(z)=a_{n}z^{n} ...
3
votes
2answers
267 views

Irreducible polynomials in $\mathbb{Q}_p((X))[Y]$

I'm looking for some criteria for the irreducibility of polynomials with coefficients in $\mathbb{Q}_p((X))$. In particular, is the polynomial $Y^2+1$ irreducible over $\mathbb{Q}_3((X))$? And how ...
4
votes
2answers
433 views

Is there an integer a such that f(X)+a is irreducible in Z[X]?

Let $f\in\mathbb{Z}[X]$ be an irreducible polynomial. Is there an integer $a\neq 0$ such that $f(X)+a$ is also irreducible in $\mathbb{Z}[X]$? Can this be also extended to $\mathbb{Q}[X]$?
2
votes
1answer
234 views

Random algebraic numbers are linearly disjoint almost surely?

I already posted this question at MSE here, but since it received no answer or comment so far I cross-post it here. It is well-known that if one considers a “random” monic polynomial of fixed degree, ...
4
votes
1answer
123 views

If the sequence of degrees of the iterates of a self-map of $\mathbb{A}^2$ is bounded, is it eventually periodic?

Let $f : \mathbb{A}_k^2 \to \mathbb{A}_k^2$ be a regular self-map of the affine plane over a field $k$ of characteristic zero. Assume that the sequence $(\deg{f^n})_{n \in \mathbb{N}}$ is bounded. Is ...
6
votes
1answer
117 views

How “accidental” are equalities between parts of Ehrhart quasi-polynomials? When do they persist to Euler-Maclaurin?

Background What I think of Ehrhart theory (http://en.wikipedia.org/wiki/Ehrhart_polynomial) asserts that if we take a lattice polytope $P$, and count the number of lattice points in the $t$th ...
7
votes
0answers
225 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
1answer
167 views

Knots indistinguishable by HOMFLY

Is there any list (incomplete of course) of knots, that have similar HOMFLY polynomials? I am mainly interested in torus knots.
7
votes
0answers
82 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. ...
5
votes
1answer
190 views

Large gaps between consecutive irreducible polynomials with small heights

For a prime gap of length at least $n$, a trivial upper bound for its first occurrence is $N=n!$ or $N=lcm(2,\dots,n)$. A bit better is $N=p_1\cdots p_n$ where $p_k$ is the $k$th prime, as then ...
3
votes
1answer
205 views

Are there any efficient (polynomial time) algorithms for finding if a multivariate quadratic polynomial has a root?

I know that in general, polynomial satisfiability is NP; however, I'm curious to know what work has been done on special classes of polynomials, and in particular quadratic polynomials of multiple ...
1
vote
2answers
285 views

Bounds on the largest root of a polynomial

Consider the following polynomial: $p(x)=x^{3}-(k-1)x^{2}-(2k-1)x+(k-1)^{2}$, where $k \geq 5$ is a fixed parameter. I am trying to find a strong lower bound on the largest root $x_{\max}$ of the ...
4
votes
1answer
120 views

Do interpolation nodes have to be dense?

Let $f(x) = \exp(x)$ and $(\xi_i)_{i=0}^\infty, \, \xi_i \in (0,1)$ be a sequence of points from the unit interval. For $n \in \mathbb{N}$ let $P_n$ be a polynomial of degree $n$ that interpolates ...
1
vote
0answers
219 views

When $x^n - (x+a)^{n-k} (x+b)^k$ is irreducible?

Fix a nonzero integer $a$ and a positive integer $k$. I'm looking for some criterion to establish for which nonzero integers $b$ and $n \geq 2$ the polynomial $$f(x) := x^n - (x+a)^{n-k} (x+b)^k$$ is ...
2
votes
2answers
232 views

Irreducible Polynomials from a Reccurence

This question is inspired by a recent one : Let $c$ be a variable and define a sequence by $a_0=0$ $a_1=1$ and $a_{n+1}=a_{n}c-a_{n-1}$ . So $$\begin{align*} a_2 &= c \\ a_3 &={c}^{2}-1= ...
17
votes
5answers
785 views

Cayley-Hamilton revisited

Let $(A_i)_i$ be $n\times n$ matrices with entries in a field $K$ with characteristic $0$. We consider the equation (1) $f(X)=A_kX^k+\cdots+A_1X+A_0=0_n$ where $X\in\mathcal{M}_n(K)$ is unknown. Let ...
3
votes
2answers
320 views

noncommutative polynomials equality

Suppose $x$, $y$, $z$ are three variables satisfying $yz=zy$, $zx=xz$, $xy=yzx$. Could anyone give me two (non-commutative) polynomials $f$ and $g$ in the above three variables such that the ...
3
votes
0answers
145 views

What can we say about a semigroup that's acted on by an ideal of polynomials?

This got no response on MSE, so posting here. Let $S = \{ (a,b) \in \Bbb{Z}^2 : \gcd(a,b) \neq 1 \} \cup (1,1)$. Then $S$ forms a semigroup. The operation being componentwise multiplication. Let ...
10
votes
3answers
670 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}$ ...
2
votes
2answers
164 views

Finding a simpler “local” lower bound for a rational function

I have obtained as the expression for some quantity the following gargantuan formula: $$ \frac{k^8 + 3k^7 + 8k^6 + 3k^5 - 16k^4 - 32k^3 + 63k^2 - 34k + 6}{k^6 + 3k^5 + 6k^4 - 24k^2 + 21k - 5}$$. ...
1
vote
1answer
143 views

Roots of the derivative as symmetric functions of the roots of the polynomial

Let $p(t)=(t^2-a_1^2)\ldots(t^2-a_n^2)$ be an even polynomial with distinct real non-zero roots. Can the roots of its derivative $p'(t)$ be expressed nicely (e.g. as rational symmetric functions) in ...
6
votes
2answers
608 views

“MultiCatalan numbers”

Could anyone provide a reference for the following (sort of) generalization of Catalan numbers: the multinomial coefficient $$ \binom{2k_1+3k_2+4k_3+...}{k_1+2k_2+3k_3+...,k_1,k_2,k_3,...} $$ is ...
1
vote
0answers
140 views

Finite fields: alternating sums of values of polynomials

Notation In what follows let $p$ be a (odd, if needed) prime, $e$ a positive integer, $q = p^e$; $\mathbb{F}_q$ will denote a finite field with $q$ elements whose prime subfield will be denoted as ...
0
votes
0answers
137 views

Image of critical points

Let $K$ be a field of characteristic $0$, $f:K^n\rightarrow K^n$ be an algebraic function, that is, $n$ polynomial functions in $n$ variables. Let $S$ be the set of critical points of $f$. If ...
14
votes
1answer
594 views

When is $f(x_1, \dots, x_n)+c$ an irreducible polynomial for almost all constants $c$?

Let $f\in \mathbb C[x_1, \dots, x_n]$, $n\ge 1$, be a non-constant polynomial. Consider the polynomial $f+t\in \mathbb C[t, x_1,\dots, x_n]$. This is an irreducible polynomial in $\mathbb C(t)[x_1, ...
3
votes
1answer
276 views

Menon’s identity

I also put this question in stackexchange, but remained unanswered. http://math.stackexchange.com/questions/506996/menons-identity Let $G$ be a group of order $n$. Consider an action of $U_n$, the ...
5
votes
1answer
223 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 ...
7
votes
0answers
455 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} ...
2
votes
1answer
344 views

About the practice of Bernstein-Kushnirenko theorem

The following refers to common roots of bivariate polynomial equations and, in particular to the quim's and auniket's comments. The BKK theorem (cf. arXiv:0812.4688. Theorem 5.4) asserts that if we ...
4
votes
2answers
314 views

On $a^4+nb^4 = c^4+nd^4$ and Chebyshev polynomials

In a 1995 paper, Choudhry gave a table of solutions to the quartic Diophantine equation, $a^4+nb^4 = c^4+nd^4\tag{1}$ for $n\leq101$. Seiji Tomita recently extended this to $n<1000$ and solved ...
3
votes
0answers
118 views

Elliptic curves and quasi-self-reciprocal polynomials

I am reading Shoichi Kihara's On the rank of the elliptic curve $y^2=x^3+k, II$ [Proc. Japan Acad. Ser. A Math. Sci. Volume 72, Number 10 (1996), 228-229] which is available here ...
7
votes
2answers
457 views

Dimension of a homogeneous polynomial system

Let $m\geq4$ be an even integer, $V\subset\mathbb{C}^{m-1}$ be the solution set of the following polynomial equations: \begin{cases} ...
5
votes
1answer
371 views

Is an ideal generated by multilinear, irreducible, homogeneous polynomials of different degrees always radical?

I asked this question on math.se and someone even put a bounty on it, yet there was no answer. Hence, I am asking here. Assume $\Bbbk$ to be a field of characteristic zero. Definition. A ...
4
votes
3answers
338 views

Set of primes dividing polynomials and composition

For a non-constant polynomial $A \in \mathbb{Z}[x]$, let $\mathcal{P}(A)$ denote the set of prime numbers $p$ which divide $A(n)$ for some integer $n$. If $\mathcal{P}(A) \subseteq \mathcal{P}(B)$ for ...
4
votes
0answers
106 views

Is the normalised Kauffman bracket more powerful than the Kauffman bracket?

The Kauffman bracket polynomial for a knot diagram $D$ is a Laurent polynomial $\langle D \rangle \in \mathbb{Z}[A, A^{-1}]$. Although it is invariant under Reidemeister moves of type II and III, ...
3
votes
0answers
140 views

Basis of multivariate polynomials with a specified set of roots

I'm studying certain polynomials of 2 complex variables, say x and y. These polynomials have roots at the non-negative integers, that is both $x$ and $y$ have to be $x,y \in \mathbb{N}$ ...
3
votes
4answers
1k views

Solving a System of Quadratic Equations

I have many polynomial equations in many variables which I want to jointly minimize (in a mean square sense, but you could pick a different reasonable measure which favors anything where all ...
3
votes
1answer
134 views

Irreducibility of trinomials over number fields

I wonder if the following is known or, not very difficult to see: Let $K$ be a number field and $\alpha \in K$ be nonzero. Does there necessarily exist a positive integer $n > 1$ such that the ...
21
votes
4answers
1k views

Distribution of roots of complex polynomials

I generated random quadratic and cubic polynomials with coefficients in $\mathbb{C}$ uniformly distributed in the unit disk $|z| \le 1$. The distribution of the roots of 10000 of these polynomials are ...
4
votes
1answer
408 views

On composition of polynomials

Given two irreducible polynomials $f_{u}(x),f_{r}(x) \in \Bbb Q[x]$, can one find two polynomials or rational functions $h_{u}(x),h_{r}(x) \in \Bbb Q[x]$ or $\Bbb Q(x)$ respectively such ...
7
votes
3answers
375 views

How few terms may appear in a polynomial with given (cyclotomic) roots and nonnegative coefficients?

Given $W \subset \mathbb C$, let $S_W$ be the set of polynomials in $\mathbb R[x]$ that vanish on $W$ and have only nonnegative coefficients. Warm-up question: It's clear that if $W$ contains a ...
1
vote
1answer
333 views

Is there a quick way to find all roots of a real polynomial with multiple variables?

If I am asked to find the roots of a polynomial of one variable, I will use a computer to estimate the eigenvalues of its companion matrix. Now suppose I'm given a real polynomial of multiple ...
1
vote
0answers
230 views

Every antisymmetric (alternating) polynomial is divisible by Vandermonde product

I am looking for a proof of the statement: Every antisymmetric (alternating) polynomial is divisible by Vandermonde product, yielding a symmetric polynomial in the result. The statement is really ...
3
votes
1answer
176 views

Irreducibility of trinomials

I wonder if the following is known or, not very difficult to see: Let $K$ be a number field and $A, B \in \mathcal{O}_K$ be nonzero integers of $K$. Does there necessarily exist a positive integer $n ...
1
vote
1answer
147 views

If $F(a_1,\ldots,a_k)=0$ whenever $a_1,\ldots,a_k$ are integers such that $f(x)=x^k-a_1x^{k-1}-\cdots-a_k$ is irreducible, then $F\equiv0$

I'm trying to understand a proof of the following theorem (from section II of Hall's paper An Isomorphism Between Linear Recurring Sequences and Algebraic Rings): If $F(a_1, \ldots, a_k)$ is a ...
0
votes
1answer
171 views

Integral points on genus 0 curves related to polynomial identities

Consider the identity $$(x+1)^5+(y+1)^5 = (2x + 6y) ( -x +y )^4 + f(x,y)$$ where $f(x,y)=-x^5 + 2*x^4*y + 12*x^3*y^2 - 28*x^2*y^3 + 22*x*y^4 - 5*y^5 + 5*x^4 + 5*y^4 + 10*x^3 + 10*y^3 + 10*x^2 + ...
7
votes
3answers
489 views

Idempotent polynomials

Let $R$ be a commutative ring with identity and let $f \in R[x]$. There are well known characterizations for $f$ to be a nilpotent element of $R[x]$ or to have a multiplicative inverse in $R[x]$. Is ...
9
votes
3answers
732 views

Why is the gcd so large in an identity related to the $abc$ conjecture?

Consider the identity $$ (x+z)^5+(y-z)^5 = (-3 x + 4 y)^2 (x + y)^3 + (x+y) f(x,y,z) $$ Where $f(x,y,z)=(-8*x^4 + 5*x^3*y + 24*x^2*y^2 - 9*x*y^3 - 15*y^4 + 5*x^3*z - 5*x^2*y*z + 5*x*y^2*z - 5*y^3*z + ...
3
votes
0answers
82 views

Usefulness of polynomial ideals for graphs

Given a graph $G=(V,E)$ on $n$ vertices, one can associate to it the polynomial $f \in k[x_1,\dots,x_n]$ given by $f = \prod_{\{i,j\}\in E}(x_i - x_j)$. Then one can map various graph properties into ...