**1**

vote

**0**answers

101 views

### Generalization of Schur polynomials

I am making a list of generalizations of Schur polynomials and other closely related polynomials that appear in representation theory. My motivation is to eventually make a nice poster of ...

**2**

votes

**3**answers

249 views

### ideals of polynomial ring with complex number coefficients

Let $\mathbb{C}[x,y]$ be the polynomial ring with variables $x,y$ and coefficient in $\mathbb{C}$.
Let $f,g\in \mathbb{C}[x,y]$.
Let $(f,g)$ be the ideal of $\mathbb{C}[x,y]$ generated by $f,g$.
...

**13**

votes

**4**answers

798 views

### Random Diophantine polynomials: Percent solvable?

Suppose one generates a random polynomial
of degree $d$ with integer coefficients
uniformly distributed within $[-c_\max,c_\max]$.
For example, for
$d=8$, $|c_\max|=100$, here is one random ...

**4**

votes

**1**answer

183 views

### Multivariable function analysis

Sorry if the terms I'm going to use is not professional enough:) This is about the complexity analysis of an algorithm.
Let $\alpha$ be the greatest real root of the polynomial ...

**1**

vote

**1**answer

102 views

### ideals of polynomial ring of two variables generated by two elements

Let $f,g$ be two polynomials in $\mathbb{Z}[x,y]$, given by
$$
f(x,y)=x^4-3xy+y^2,$$
$$
g(x,y)=x^5-4xy+3xy^2.$$
Let $I=(f,g)$ be the ideal in $\mathbb{Z}[x,y]$ generated by $f$ and $g$.
Is ...

**5**

votes

**2**answers

231 views

### Common roots of polynomial and its derivative

Suppose $f$ is a uni-variate polynomial of degree at most $2k-1$ for some integer $k\geq1$. Let $f^{(m)}$ denote the $m$-th derivative of $f$. If $f$ and $f^{(m)}$ have $k$ distinct common roots ...

**1**

vote

**1**answer

51 views

### local bernstein type inequality for multivariate polynomials

Let's say $p(x_1,...,x_n)$ is an n-variate degree d homogenous polynomial. Assume $U \subset S^{n-1}$ and $ vol(U) > 0 $ is there any Bernstein type inequality saying
$$ \max_{x \in U , y \in ...

**2**

votes

**2**answers

310 views

### Ideals generated by two elements in the polynomial ring of two variables over a field

Let $k$ be a field. For example, $k=\mathbb{Q}$ or $\mathbb{Z}/p$, $p$ prime.
Let $k[x,y]$ be the polynomial ring.
Let $f,g\in k[x,y]$.
Let the ideal $I=(f,g)$ be the ideal of $k[x,y]$ ...

**4**

votes

**4**answers

348 views

### Examples of polynomials $x_1(t), x_2(t)$ such that $(x_1(t))^4 + (x_2(t))^4$ has a double root

Are there examples of polynomials $x_1(t), x_2(t) \in \mathbb{Q}[t]$ of equal degree at least one, with $\gcd(x_1(t), x_2(t)) = 1$, such that the sum $(x_1(t))^4 + (x_2(t))^4$ is divisible by the ...

**9**

votes

**3**answers

658 views

### $S_k(x+y)-S_k(x)-S_k(y)$ where $S_k$ is symmetric polynomial

Let $S_k$ be the $k$-th elementary symmetric polynomial of $n$ variables. How can I rewrite $$S_k(x+y)-S_k(x)-S_k(y)$$ by just using $x,y,S_1,S_2,\cdots S_{k-1}$ where $x=(x_1,x_2,\cdots,x_n)$ and ...

**3**

votes

**0**answers

176 views

### How to handle a polynomial whose roots exhibit obvious symmetry

I've got a sequence of polynomials, and for each of them the roots obviously follow a definite pattern. Here are the roots of the 34th one
All others have their roots arranged in a similar ...

**1**

vote

**1**answer

136 views

### Zeros of Polynomial with decreasing coefficients [closed]

If $n_1<n_2<n_3\cdots<n_m$ are positive integers. Does the polynomial $a_0+a_1z^{n_1}+a_2z^{n_2}+\cdots+a_mz^{n_m}$ satisfying
$$ 0<a_0\leq a_1\leq \cdots\leq a_m $$ has all its zeros ...

**3**

votes

**2**answers

266 views

### Proof that image of a polynomial map is a cone

Consider the nonlinear mapping $\phi: \mathbb R^{2 \times 2} \to \mathbb R^3$ given by $X \mapsto \begin{pmatrix} x_{11} x_{21} \\ x_{11} x_{22} + x_{21} x_{12} \\ x_{12}x_{22} \end{pmatrix}$.
I ...

**2**

votes

**2**answers

194 views

### Integrating a barycentric monomial over a simplex

Are there standard formulas for the integral over a simplex of a monomial in the barycentric coordinates? Can someone supply a reference? I think I have seen such formulas, but I am unable to find ...

**1**

vote

**0**answers

281 views

### Generalization of proposition of Granville related to abc conjecture

Related to this question.
For polynomial $f$, let $rad(f)$ denote the radical of $f$,
the product of irreducible factors.
Suppose that $G(x,y) \in \mathbb{C}[x,y]$ is homogeneous
without any ...

**6**

votes

**2**answers

660 views

### Counterexample to Proposition of Granville related to abc conjecture

Looks like there is counterexample to Proposition related to
abc conjecture. Confusion is likely.
From RATIONAL AND INTEGRAL POINTS ON QUADRATIC TWISTS OF A GIVEN HYPERELLIPTIC CURVE, Andrew ...

**3**

votes

**0**answers

109 views

### Small polynomial roots modulo prime powers

Let $f(x) \in \mathbb{Z}[x]$ have no rational roots,
$n>1,q=p^n$ for prime $p$.
Let $r$ be the smallest root of $f(x)=0$ modulo $q$.
Smallest mean smallest absolute value when lifted
to the ...

**0**

votes

**0**answers

94 views

### Polynomial generated with primitive element modulo p

This question is equivalent to the question "Normal basis in cyclotomic number fields" that I asked recently. I am posing this question because maybe in this format somebody can have an answer:
Let ...

**1**

vote

**2**answers

240 views

### Algorithm for fast factorization of polynomial over $\mathbb Z$ or over $\mathbb F_p$

I want to fast decompose polynomial over ring of integers (original polynomial has integer coefficients and all of factors have integer coefficients) and also over ring of integers modulo prime ...

**4**

votes

**2**answers

305 views

### Find all possible rational values of a parametric quartic such that it is reducible

Description: Given the following parametric quartic polynomial
$y^4 - 28 z y^3 - 14 (656 - 328 z + 83 z^2) y^2 +
4 z (-20464 + 10232 z + 3409 z^2) y +
91 (62208 - 62208 z + 41504 z^2 - 12976 z^3 ...

**2**

votes

**2**answers

102 views

### Moment problem for discrete distributions

Let $x_1, \dots, x_N \in \mathbb R$ and consider the discrete distribution $\mu := \frac{1}{N} \sum_{i=1}^N \delta_{x_i}$, where $\delta_x$ denotes the Dirac measure, i.e. for any measurable set $B ...

**5**

votes

**1**answer

207 views

### Represent matrix immanants using Schur functions

For each irreducible character $\chi^\lambda$ of the symmetric group $S_n$, the immanant of an $n\times n$ square matrix $A$ is defined as
\begin{equation*}
d_\lambda(A) := \sum_{\sigma \in S_n} ...

**5**

votes

**0**answers

86 views

### Real Zeros - tail estimate

Given a random polynomial with Gaussian coefficients, the Kac-Rice formula tells us what the expected number of real zeros is (for more on this, see the excellent paper of Edelman and Kostlan in the ...

**2**

votes

**1**answer

124 views

### Prove or disprove an inequality concerning zeros of a polynomial

If a polynomial $p(z)$ of degree $n$ with zeros $z_1,z_2,\cdots,z_n$ assumes maximum at $w$ on $|z|=1.$ Prove or disprove that the Harmonic mean of $|z_k-w|,$ $k=1,2,\cdots,n$ is greater or equal to ...

**2**

votes

**1**answer

230 views

### If a polynomial $p(z)$ omits a value, then $p(z)-\dfrac{(1-e^{i\psi})}{n}zp^{\prime}(z)$ also omits that value

Suppose that a polynomial $p(z)$ of degree $n$ does not assume the value $w$ for $|z|<1$, that is $p(z)\neq w$ for $|z|<1.$ Show that $p(z)-\dfrac{(1-e^{i\psi})}{n}zp^{\prime}(z)\neq w$ for ...

**8**

votes

**2**answers

272 views

### Root criterion for polynomial over number fields

It's well known that if $\alpha $ is a rational root to an integer coefficient polynomial, then its denominator divides the leading coefficient and its numerator divides the constant term. I'm asking ...

**2**

votes

**1**answer

181 views

### About distinct eigenvalues of a graph

if a graph with adjacency matrix $A$ and Laplacian $L$ has $k$ distinct eigenvalues then does this fact naturally help define or prove existence of a polynomial $p$ of degree $k-1$ such that ...

**2**

votes

**1**answer

67 views

### Reference for multivariate orthogonal polynomials

I want to learn about multivariate orthogonal polynomials. Is there a good textbook/survey that you could suggest? I need to see common examples like Jack's polynomials etc .. and also general ...

**0**

votes

**0**answers

45 views

### t-linked extension

Let $A\subseteq B$ be an extension of commutative integral domains. the extension is t-linked if it satisfies the following property:
If P is a finitely generated ideal of A such that $P^{-1}=A$ than ...

**1**

vote

**1**answer

141 views

### polynomials with similar maxima-minima

Assume $p$ and $q$ are n-variate degree d, homogeneous polynomials. Define $ |p|_{\infty}= \max_{x \in S^{n-1}} |p(x)|$
$D(p)=\{ x \in S^{n-1} : p(x)= |p|_{\infty} \}$
$E(p)=\{x \in S^{n-1} : p(x)= ...

**0**

votes

**1**answer

223 views

### Find all possible rational values of the parameter of a parametric cubic such that it is reducible

Description: Given the following parametric cubic polynomials ${E}^{3}
- 15\, {\beta}_{\pm}\, {E}^{2} - 3 \left({71\, {\beta}_{\pm}^{2} + 352\, {\beta}_{\mp}}\right) E
+ 135\, {\beta}_{\pm} ...

**4**

votes

**1**answer

251 views

### Permutation polynomials mod $p$ of the form $(x+1)^n-x^n$

Among some permutation polynomials I've been studying, $f(x)=(x+1)^n-x^n$ is one of the polynomials that I cannot grasp.
Question : For a given odd prime $p$, how can we find every positive ...

**8**

votes

**2**answers

617 views

### Sum of consecutive cubes

I'm investigating when the sum of $n$ consecutive cubes equals a cube, i.e., for which $n$ does
$$\sum_{i=0}^{n-1} (k+i)^3 = k^3 + (k+1)^3 + \cdots + (k+n-1)^3 = Y^3 $$
have nontrivial solutions ...

**3**

votes

**1**answer

166 views

### Periodic points in C^2

I came up with a problem which is similar to the following quesitons:
Consider a map: $f(x,y)=(y^2-2,xy-2)$. It is seems that the number of periodic points of given period is bounded.
I want to ...

**6**

votes

**0**answers

93 views

### Is there a ``Ladner's Theorem" for the PH-vs-PSPACE scenario?

Like a statement of the kind, ``If the Polynomial Hierarchy (PH) $\neq$ PSPACE then there exists $L \in PSPACE \backslash PH$ which is not PSPACE-complete"?
Or is there something else that states ...

**1**

vote

**1**answer

75 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**

vote

**1**answer

58 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

**0**answers

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

**2**

votes

**2**answers

130 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

**1**answer

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

**2**

votes

**0**answers

201 views

### Fixed points of self maps

Given $m$ points on $S^n$, is there an explicit polynomial self $1-1$ map of minimum degree $f:S^n\rightarrow S^n$ that fixes only these $m$ points? Can we say something about symmetry group of $f$ if ...

**1**

vote

**0**answers

40 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

**0**answers

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

**4**

votes

**1**answer

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

**8**

votes

**1**answer

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

**0**

votes

**0**answers

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

**12**

votes

**0**answers

345 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

**0**answers

228 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

**0**answers

187 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

**1**answer

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