**0**

votes

**0**answers

22 views

### Solving cubic equation involving parameters

$$
m^2(1-m)[(1+m)^2 - R] x^3 + [6m^2R + 12mR - 2m(1-m^2)(6+2m) - 4tm^2(1+m)^2] x^2 + [(1-m)(6+2m)^2 + 8tm(1+m)(6+2m)] x - 4t(6+2m)^2=0
$$
where:
m belongs in (0, 0.5),
R in [0, 0.25],
t in [0, 1],
x ...

**1**

vote

**0**answers

33 views

### Basis for a set of polynomials in Sage? [on hold]

I have a large set of polynomials in the coordinates $x,y,z$ in Sage, (e.g. $x^5y-3x^2y^2+2xy^3+x^2yz-y^2z$). I want to know, for example, if $x^5y$ is in the span of my set. Is there a Sage command ...

**8**

votes

**1**answer

72 views

### Schur positivity on 2 letter alphabets implies Schur-positivity on n letters?

Suppose we have a symmetric polynomial $P$ in $n$ variables.
We can partition this alphabet into sets with one or two letters, e.g. ${ {x_1}, {x_2, x_3}}.
We can thus see $P$ as an element in $Q[x_1]...

**4**

votes

**0**answers

184 views

### Zeros of polynomials modulo a non-prime

Suppose I have a set $S$ and I want to find a polynomial $p$ such that $p(s) = 0 \mod n$ if $s \in S$, and that it is non-zero modulo $n$ otherwise.
In the literature such an $S$ is sometimes called ...

**1**

vote

**0**answers

140 views

### A Quaternions version of the Gauss Lucas theorem

Edit: My serious thanks to Christian, Todd and Yemon for their comments to the previous version.
The derivative is the same as Todd says: $(az^{n})'=naz^{n-1}$.
The polynomial is in the form of $\...

**5**

votes

**1**answer

375 views

### Injectivity of a multivariate homogeneous polynomial mapping

Consider the mapping
$$ \Psi: \mathbb R^2 \to \mathbb R^5, \\
\Psi(x) = \begin{pmatrix} x_1 \\ x_2 \\ x_1^2 \\ x_1 x_2 \\ x_2^2 \end{pmatrix}.$$
Which are the matrices $A \in \mathbb R^{m \times 5}$ ...

**3**

votes

**1**answer

65 views

### Minimum degree of a nonnegative polynomial uniformly approximating two constant values on two disjoint closed intervals

This is a one-dimensional problem over $\mathbb{R}$. Given $y_0, y_1 \ge 0$ with $y_0 \neq y_1$, and closed intervals $I_0$ and $I_1$ with $I_0 \cap I_1 = \emptyset$, define a partial function $f(x) = ...

**2**

votes

**1**answer

274 views

### Half spaces free of roots of a given polynomial

I thank Loic Teyssier and Emil Jerabek who helped me to revise the two previous version
This question is motivated by the following fact in complex variable:(I learned this fact from the book of ...

**13**

votes

**1**answer

408 views

### Why sum of three squares of real polynomials is a sum of two squares?

If $f(x),g(x)$ are real polynomials, then $f^2+g^2+1$ is a sum of two squares of polynomials. This easily follows from Fundamental Theorem of Algebra, but is there an argument avoiding it? What are ...

**4**

votes

**0**answers

171 views

### Enumerating a class of polynomials

How many equivalence classes of $\Bbb F_2[x,y]$ polynomials with $x$ degree $n_x$ and $y$ degree $n_y$ are there such that each $y^i$ coefficient (polynomial in $\Bbb Z[x]$) is distinct and $x^i$ ...

**5**

votes

**1**answer

95 views

### Density of the linear span of products of harmonic polymomials

Let $\mathcal{H}$ denote the space of all harmonic polynomials with complex coefficients in $n$ variables $x_1,\ldots, x_n$ in $\mathbb{R}^n$. I'm trying to show that the linear span of the set $\...

**2**

votes

**1**answer

58 views

### Uniform Mahler Measure Lower Bound

I'm working on a problem in multiplicative ergodic theory, and Mahler measure has just made another appearance. I am looking for a uniform lower bound on Mahler measure over all polynomials of fixed ...

**5**

votes

**0**answers

79 views

### Calculate Ramanujan's class invariant by using modular equation of degree $5$

Let $$K(k):=\int_{0}^{\frac{\pi}{2}}\frac{d\phi}{\sqrt{1-k^2\sin^2\phi}}=\frac{\pi}{2}{ _2F_1\bigg(\frac{1}{2},\frac{1}{2},1;k^2 \bigg)}$$
where $0<k<1$
Let $K, K′, L$ and $L′$ denote the ...

**2**

votes

**1**answer

240 views

### On a (possible?) equivalence of Bunyakovsky conjecture

Dirichlet's Theorem on primes in arithmetical progressions is equivalent to the following statement: for all integer numbers $a,b$, where $\gcd(a,b)=1$, there exists at least one prime of the form $an+...

**1**

vote

**0**answers

69 views

### Question about radical ideal

Suppose $\mathbb{R}[X]$ is the normal multivariate polynomial ring where $X = x_1,...x_n$. $\mathbb{R}[X]_t$ is the truncated set such that $\mathbb{R}[X]_t =\left\{f: f \in \mathbb{R}[X], \deg(f) \...

**4**

votes

**1**answer

226 views

### minimal polynomial for a graph

I wonder if there is any result relating the degree $d$ of the minimal polynomial of a directed finite graph to any of its topological features - such as its diameter, or any other similar 'natural' ...

**49**

votes

**6**answers

4k views

### How to recognise that the polynomial method might work

A couple of days ago I was at a nice seminar given by Christian Reiher, during which he told us about a short proof of the following special case of a theorem of Olson.
Theorem. Let $(a_1,b_1),\dots,(...

**6**

votes

**1**answer

3k views

### Tschirnhaus Transformation

Recently in my Intro to Proofs class, we've been talking about the fundamental theorem of algebra, which states that all polynomials of degree n always have n, not necessarily distinct, not ...

**6**

votes

**1**answer

483 views

### Is this a semi algebraic set?

Put $$A=\{(a_{0},a_{1},\ldots,a_{n}) \in \mathbb{C}^{n+1}\mid p(z)=a_{0}+a_{1}z+\ldots a_{n}z^{n} \;\;\text{is a one-to one function on the unit disc} \{z\in \mathbb{C} \mid |z|\leq 1\}$$
Is $\{(...

**8**

votes

**1**answer

368 views

### Polynomial approximations of curves

This is the 3D version of this question. The responses to that question contained a lot of complaints about fuzzy definition of the problem, so I made this new question very narrow and explicit.
For ...

**1**

vote

**0**answers

45 views

### Does cutting off the taylor expansion of e^x always give an irreducible polynomial? [duplicate]

I am talking of the polynomials:
$P_n(x)$ = $1+x..+x^n/n!$
I've tested this for the first 10 values and it seems so. I know this might be random but I've got a hunch that there's something deeper ...

**8**

votes

**1**answer

209 views

### $p | f(x)$ if and only if $p^k | x$.

Given a prime number $p$ and a positive integer $k$. Consider integer-valued polynomials $f$ satisfying the property that $p | f(x) \Leftrightarrow p^k | x$.
Question. What is the smallest degree of ...

**0**

votes

**0**answers

49 views

### Bounds on the positive roots of a bivariate polynomial

It is well known that various real root isolation methods are based on computing, first, the bounds on the values of the positive real roots of a polynomial equation. For the univariate case such ...

**2**

votes

**0**answers

130 views

### system of complex number equations

Let $a_1,a_2,a_3,a_4\in \mathbb{C}$ be distinct such that
$$a_1^3+a_2^3+a_3^3+a_4^3=0$$
$$(1+|a_1|^2)a_1^2+(1+|a_2|^2)a_2^2+(1+|a_3|^2)a_3^2+(1+|a_4|^2)a_4^2=0$$
$$(1+2|a_1|^2+2|a_1|^4)a_1+(1+2|a_2|^...

**0**

votes

**1**answer

156 views

### How many the distinct linear factors of $f(x)-f(y)$ can be for f in Q[x]?

Let $f \in \mathbb{Q}[x]$.
Let $S(f)$ denote the number of distinct linear factors
of $f(x)-f(y)$.
$S(f)$ is bounded by $\deg(f)$.
Q1 Is $S(f)$ bounded by constant?
Q2 Is it possible $S(f)&...

**4**

votes

**1**answer

361 views

### Irreducible polynomial $p_{n}(x)=\sum_{k=0}^{n}\frac{x^k}{k!}$ for all positive integers $n$

Let $n$ be a positive integer greater than $1$, and define the polynomial $$p_{n}(x)=\sum_{k=0}^{n}\dfrac{x^k}{k!}$$
Is $p_{n}(x)$ irreducible in $\mathbf{Q}[x]$?
I can show it when $n$ is a ...

**6**

votes

**1**answer

223 views

### On property of monic polynomial with integer coefficients

For a monic polynomial with integer coefficients $f$ where $\partial f = 2$, we have
$$
\textrm{inf}(f(x)) > 0 \implies
\textrm{inf}(f(x)) \geq \frac{3}{4} .
$$
Could we generalize this (for ...

**0**

votes

**0**answers

160 views

### Warren's Theorem

At the end of page 12 in this document Noga Alon mentions Warren's Theorem on sign patterns: tau.ac.il/~nogaa/PDFS/tools1.pdf
Does anyone know of an intuitive explanation of the proof of it ? Also, ...

**1**

vote

**1**answer

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

**0**

votes

**0**answers

33 views

### Partial Fraction Decomposition based on Monomials

Given two positive integers $m$ and $k$, complex $a$ and the rational polynomial
$$ q(z) = \frac{1}{z^{m+k} + a z^{m} + a z^{k} + 1}. $$
Is there a partial fraction expansion over the complex numbers, ...

**3**

votes

**1**answer

125 views

### A question on surjectivity of a bilinear quadratic map

Let $a=(a_0, a_1, ..., a_n )$, $b=(b_0, b_1, ..., b_n )$ that belong to ${\mathbb R}^{n+1}$. Define polynomials $f_a (t)=a_0 +a_1 t+ ... + a_n t^n$ and $f_b (t)=b_0 +b_1 t+ ... + b_n t^n$ and let $f_{...

**4**

votes

**1**answer

138 views

### Irreducible monic polynomials

I am looking for criteria for the irreducibility of monic polynomials with constant term $\pm1$ over $\mathbb Q$. Eisenstein's criterion clearly doesn't apply here.
For instance, for the family of ...

**11**

votes

**3**answers

1k views

### When does $P(a−b)=0$ for $a≠b$ ensure $P(0)=0$? (Continued.)

As a natural (and expectable) extension of my earlier question:
How large must be a set $A\subset F_2^n$ to ensure that if $P$ is a cubic polynomial in $n$ variables over the field $F_2$, ...

**2**

votes

**0**answers

134 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) ...

**9**

votes

**0**answers

95 views

### Factorisation in $\mathbb{N}[X]$?

Do we know an efficient algorithm to factorise in $\mathbb{N}[X]$ ?
One way to do factorisation in $\mathbb{N}[X]$ is to use an algorithm to factorise in $\mathbb{Z}[X]$ and to combine some factor to ...

**1**

vote

**3**answers

747 views

### Detecting if a polynomial is a Pfaffian

Given an explicit polynomial, is there any kind of trick/algorithm to check whether it is a pfaffian of a matrix with linear entries?
The pfaffian can be defined as $\sqrt{{\rm det}(A) } $ when $A$ ...

**2**

votes

**0**answers

56 views

### Spectrum of Kernel - Discrete orthogonal polynomials

Trying to solve a problem, I encounter a Kernel of the form
$$K(n,m)=\frac{2^{m+n} q^{(m+n+1)}}{n-m} \left[\Gamma(\frac{n}{2}+1)\sin(\pi \frac{n}{2})\Gamma(\frac{m-1}{2}+1) \sin(\pi \frac{m-1}{2}) - ...

**20**

votes

**5**answers

2k views

### Given a polynomial f, can there be more than one constant c such that every root of f(x)-c is repeated?

The question
Let $f$ be a nonconstant polynomial over $\mathbb{C}$. Let's say that a point $c \in \mathbb{C}$ is unusual for $f$ if every root $x$ of $f(x) - c$ is repeated. Can $f$ have more than ...

**4**

votes

**2**answers

201 views

### Invariant polynomials under diagonal action of the orthogonal group

Consider the diagonal action of the orthogonal group $O(n)$ on $\mathbb{R}^n\times\mathbb{R}^n$ defined as: $U\cdot (x,y) = (Ux,Uy)$ for $U\in O(n)$ and $x,y\in\mathbb{R}^n$. I am looking for a ...

**20**

votes

**1**answer

884 views

### Why can the general quintic be transformed to $v^5-5\beta v^3+10\beta^2v-\beta^2 = 0$?

The quintic can be transformed to the one-parameter Brioschi quintic,
$$u^5-10\alpha u^3+45\alpha^2u-\alpha^2 = 0\tag1$$
This form is well-known for its connection to the symmetries of the ...

**0**

votes

**0**answers

29 views

### Does this system have a closed-form solution? $x_j = \left(\sum_{i=1}^n B_{ij} x_i\right)^\alpha $

I am interested in solving the following system of $n$ equations:
$$x_j = \left(\sum_{i=1}^n B_{ij} x_i\right)^\alpha $$
for all $j\in\{1,\dots,n\}$, where $n$ is a positive integer, $0<\alpha<...

**13**

votes

**2**answers

459 views

### regular polygon question

Let $a_1,a_2,\ldots,a_n$ be distinct points on the complex plane $\mathbb{C}$ and $L$ be a circle in $\mathbb{C}$ such that
$$f(z):=\sum_{i=1}^n|z-a_i|^{2n-2}$$
is constant on $L.$ Could somebody ...

**2**

votes

**0**answers

77 views

### Octahedron and System of trigonometric equations

Could somebody help me to prove the following?
$$\sum_{k=1}^6 \cos(2 \theta_k) (\cos(2\phi_k)-1))=0$$
$$\sum_{k=1}^6 \sin(2 \theta_k) (\cos(2\phi_k)-1))=0$$
$$\sum_{k=1}^6 \cos (\phi_k)=0$$
$$\sum_{k=...

**2**

votes

**0**answers

71 views

### Relating face polytopes of permutohedra to integer partitions

The OEIS entries A019538, A049019, and A133314, relate a refinement of the face polynomials of the permutohedra (A049019) to partition polynomials (A133314) defined by multiplicative inversion of an ...

**4**

votes

**0**answers

48 views

### Is the restriction of a graded automorphism linearizable in characteristic zero?

This question follows up a previous one which was answered by Todd Leason. I want to impose two new requirements on the setup.
Let $k$ be a characteristic zero field. Let $A=k[x_1,\dots,x_n]$ be the ...

**13**

votes

**3**answers

1k views

### Periodic orbits and polynomials

There are two simple and classic enumerations that still I'm puzzled about. Let's start with a simple counting problem from a well-known dynamical system.
fact 1 Consider the "tent map" f:[0,1]→[...

**7**

votes

**2**answers

339 views

### Link between the hairy ball theorem and the fundamental theorem of algebra

I read in the book "Concepts of modern mathematics" by Ian Stewart that it was possible to proof the fundamental theorem of algebra using the hairy ball theorem (complete reference to the page is in ...

**4**

votes

**1**answer

179 views

### Polynomial roots in the ring extension

Let $R$ be a ring with identity (not necessarily commutative) and $R[x]$ be a ring of polynomials over $R$. We say that a ring $S$ is an extension of $R$ if there is a subring $\tilde{R}$ in $S$ ...

**2**

votes

**1**answer

67 views

### Is the restriction of a graded automorphism of a polynomial ring to a polynomial subring linearizeable?

Let $k$ be a field and let $A=k[x_1,\dots,x_n]$ be a polynomial algebra over $k$, and let $B\subset A$ be a graded subalgebra that is itself a polynomial ring, i.e. $B=k[f_1,\dots,f_m]$ for some ...