Tagged Questions

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

32 views

Making a multivariate polynomial monic in one of its variables

I apologise in advance for the general nature of this question. Suppose we have a non-commutative ring $R$ that is relatively well-behaved as non-commutative rings go (I was thinking of $R$ being the ...
132 views

Polynomial ring operations on $\mathbb{Z}$

I have asked this on Math Stack Exchange but without answers: The usual ring operations on $\mathbb{Z}$ can be defined via polynomials in $\mathbb{Z}[a,b]$ (when viewing $a,b$ as variables): ...
36 views

Polynomial with subset of critical points and values prescribed

Motivated by this question I am motivated to pose the following question: Given $k$ points $(x_1, y_1), \ldots (x_k, y_k)$ with (WLOG) $x_i < x_{i+1}$, can we find a polynomial $p(x)\in\Bbb R[x]$ ...
27 views

Does a polynomial system with precisely e solutions have a Groebner basis of degree bounded by e?

Let $k$ be a field and let $R=k[X_1,...,X_n]$ be a polynomial ring. Let $F \subset R$ be a finite subset generating a radical ideal $I$ with precisely $e$ solutions over an algebraic closure of $k$. ...
76 views

69 views

polynomials with a given support

As far as I remember there is a conjecture that a polynomial with a support A (being a subset of the integer grid) can't vanish on A. I need a reference to a paper containing this conjecture.
123 views

Bounds on the smallest real positive root of a polynomial

I'm trying to find upper and lower bounds of the smallest positive root of a polynomial, stated in terms of its coefficients. As I appreciate it might be a very general problem, My specific interest ...
18 views

What are the fixed points of $\beta_j^{-n}[\alpha^n--\beta_j^{n-1}\mu_j-\beta_j^{n-2}\mu_j-…-\mu_j]$ for a fixed $j$ [on hold]

Let us consider the polynomial ring $\Bbb C[x_1,...,x_s]$ and $\alpha(x_i)= \beta_i x_i + \mu_i$ where $\mu_i \in \Bbb C$ are not all zero. Then $\alpha \in \mathrm{Aut}(\Bbb C[x_1,...,x_s])$. ...
120 views

433 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 ...
292 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 ...
175 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$ ...
60 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 ...
83 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 ...
490 views

53 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 ...
385 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 ...
74 views

143 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 ...
97 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 ...
130 views

74 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 ...
50 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 ...
344 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 ...
180 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$ ...
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 ...
Let $X\subset\mathbb{P}^n$ be a hypersurface of degree $d$ and with multiplicities $m_1,...,m_k$ at $p_1,...,p_k\in\mathbb{P}^n$ general points. Let $S\subseteq |\mathcal{O}_{\mathbb{P}^n}(d)|$ be ...