**10**

votes

**3**answers

520 views

### Relating the roots of polynomials to the solution sets of certain functional equations

Consider a functional equation of the following form:
$$\sum_{k=0}^n a_k\,\underbrace{f(f(\cdots f}_{k}(x)\cdots )=0\quad \big(f:\,\mathbb{R}\to\mathbb{R},\;a_i\in ...

**4**

votes

**2**answers

400 views

### Characterizing $\mathbb{Q}[X]$ via a property of its tensor powers

Let $\varphi: \mathbb{Q}[X] \longrightarrow R$ an inclusion of commutative rings. Suppose that the map
$$- \circ \varphi: \operatorname{Hom}_{\mathbb{Q}\operatorname{-alg}}(R, R^{\otimes_{\mathbb{Q}} ...

**10**

votes

**1**answer

251 views

### Reducibility of polynomials maps

Motivated by this question.
Let $f \in \mathbb{Q}[x]$ or$f \in \mathbb{Z}[x]$ .
Consider the sequence $f(x),f(f(x)), \ldots f^n(x)$.
If some $f^k(x)$ is reducible, the rest iterates will be ...

**7**

votes

**2**answers

90 views

### Bounds on coefficients of factors of a multivariate polynomial

Given a multivariate polynomial $F(x, y, ..)$ what is the smallest bound B that can be quickly found such that $|G|_{\infty} \le B$ for all factors $G$ of $F$. (I'm using $|G|_{\infty}$ to denote the ...

**1**

vote

**0**answers

53 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

**2**answers

341 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

**2**answers

266 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

**2**answers

424 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

**1**answer

233 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

**1**answer

121 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

**1**answer

110 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

**0**answers

221 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

**1**answer

159 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

**0**answers

80 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

**1**answer

186 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

**1**answer

203 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

**2**answers

272 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 ...

**0**

votes

**0**answers

106 views

### On the Brioschi-like quintic $v^5 - 5d v^3 + 10 d^2 v - d^2 =0 $

The general quintic can be transformed in radicals using a rational Tschirnhausen transformation to the one-parameter Brioschi quintic,
$$u^5 - 10c u^3 + 45 c^2 u - c^2 = 0\tag{1}$$
which can be ...

**4**

votes

**1**answer

115 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

**0**answers

218 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

**2**answers

228 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= ...

**16**

votes

**5**answers

757 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

**2**answers

316 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

**0**answers

143 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

**3**answers

653 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

**2**answers

161 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}$$.
...

**0**

votes

**0**answers

83 views

### Lower-Upper bounds on the cardinality of a set

Let $S$ be a finite set which is a subset of $\{(\alpha ,\beta ):\alpha , \beta \in \mathbb{Z}, \alpha\geq 0, \beta \geq 0\}$ and $ T(x,y)=\sum_{(\alpha ,\beta ) \in S} h_{\alpha, \beta} ...

**1**

vote

**1**answer

140 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

**2**answers

565 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

**0**answers

137 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

**0**answers

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

**1**answer

582 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

**1**answer

265 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

**1**answer

197 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

**0**answers

454 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

**1**answer

328 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

**2**answers

307 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

**0**answers

115 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

**2**answers

445 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

**1**answer

332 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

**3**answers

326 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

**0**answers

101 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

**0**answers

138 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}$
...

**2**

votes

**4**answers

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

**1**answer

131 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

**4**answers

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

**1**answer

354 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

**3**answers

374 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

**1**answer

315 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

**0**answers

205 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 ...