# Questions tagged [symmetric-polynomials]

The symmetric-polynomials tag has no usage guidance.

69
questions

**0**

votes

**0**answers

45 views

### Symmetric functions for multidimensional variables

I have $N$ variables (let's call them $X$) of dimensionality $D$, that I want to symmetrize.
For $D=1$ I know I can use e.g. the elementary symmetric polynomials to accomplish this. What if $D>1$...

**9**

votes

**3**answers

368 views

### Polynomial inequality of sixth degree

There is the following problem.
Let $a$, $b$ and $c$ be real numbers such that $\prod\limits_{cyc}(a+b)\neq0$ and $k\geq2$ such that $\sum\limits_{cyc}(a^2+kab)\geq0.$
Prove that:
$$\sum_{cyc}\...

**5**

votes

**3**answers

331 views

### Polynomial inequality $n^2\sum_{i=1}^na_i^3\geq\left(\sum_{i=1}^na_i\right)^3$

Let $n\ge 3$ be an integer. I would like to know if the following property $(P_n)$ holds: for all real numbers $a_i$ such that $\sum\limits_{i=1}^na_i\geq0 $ and $\sum\limits_{1\leq i<j<k\leq n}...

**1**

vote

**0**answers

137 views

### Chebyshev polynomials from roots [closed]

Given a polynomial $P_n(x)$ with roots at $\{a_i\}$:
$P_n(x)=\prod\limits_{i=1}^{i=n} (x-a_i)$
one can obtain the Chebyshev coefficients from the roots.
It is implemented eg in
python.
Can we ...

**2**

votes

**0**answers

106 views

### Have these polynomials been studied? (Perhaps as generalizations of Schur polynomials in vector variables?)

For $n\geq 3$, let $\mathbf{a}_1,\ldots,\mathbf{a}_n \in \mathbb{Z}^2$ be a collection of points in the plane with integer coordinates $\mathbf{a}_i = (a_{1i},a_{2i})$ where each $a_{1i} > 0$. For ...

**4**

votes

**1**answer

97 views

### Applying a simple involution to Hall-Littlewood polynomials

Consider the Hall-Littlewood polynomial
$$
P_\lambda(x_1,\ldots,x_n;t)=\sum_{\sigma\in S_n/S_n^\lambda}\sigma\left(x_1^{\lambda_1}\cdots x_n^{\lambda_n}\prod\limits_{\lambda_i>\lambda_j}\dfrac{x_i-...

**5**

votes

**1**answer

303 views

### Polynomial defined recursively by a resultant

Cross posting from MSE.
Definition:
For any natural number $n\ge 3$, define the polynomial $P_{n}\left(x_1,x_2,...,x_{n-1},x_{n} \right)$, with indeterminates $x_{i}$, where $i\in\{1,2,...,n-1,n\}$, ...

**1**

vote

**0**answers

175 views

### An explicit formula for characteristic polynomial of matrix tensor product [closed]

Consider two polynomials P and Q and their companion matrices. It seems that char polynomial of tensor product of said matrices would be a polynomial with roots that are all possible pairs product of ...

**3**

votes

**1**answer

204 views

### Possible values of symmetric functions evaluated on quaternions

Let $i,j,k$ the units of quaternions, in particular $i^2=j^2=k^2=-1, ijk=-1$.
We will use non commutative variables $x,y,z$. Define $sym_{a,b,c}$ to be the polynomial made of the sum of monomials ...

**0**

votes

**1**answer

211 views

### Symmetric polynomials in two sets of variables

Suppose $f(x_1,...,x_m,y_1,...,y_n)$ is a polynomial with coefficients in some field which is invariant under permuting the $x$'s and the $y$'s. Then $f$ can be generated elementary functions $e_k(x_1,...

**6**

votes

**2**answers

340 views

### Maximize $L^p$ norm over sphere

For $p \in \mathbb{R}$, consider the function
$$F_p(\lambda_1, \dots, \lambda_n) = \lambda_1^p + \dots + \lambda_n^p.$$
My goal is to maximize this function under the constraints that
$$ \lambda_1^2 +...

**2**

votes

**0**answers

55 views

### Classes of curves with “determinant-like operation”

Consider a motivating example:
Let $E\in \mathbb{Q}[y][x]$ be of degree $n=2$ (in $x$) and separable when viewed as a member of $\mathbb{Q}[x,y]$. Therefore we can calculate it's roots in $\mathbb{Q}[...

**1**

vote

**1**answer

33 views

### Does stability of equilibrium point preserved by permutation matrix (symmetry)?

Given the following differential equations:
\begin{equation}
\begin{aligned}
\dot{x}_1 &= f_1(x_1,\ldots,x_n) \\
\vdots \\
\dot{x}_n &= f_n(x_1,\ldots,x_n)
\end{aligned}
\end{equation}
In ...

**3**

votes

**0**answers

51 views

### Bounds related to Monomial Symmetric Functions

Two of the well studied bases for symmetric functions over $\mathbb{Q}$ are the monomial symmetric functions $\{ m_{\lambda} \}_{\lambda \text{ a partition}}$ and the power sum symmetric functions $\{ ...

**3**

votes

**0**answers

223 views

### Can we efficiently factor $n$ given that $n=pq$ where $p,q$ are primes satisfying $p=a^2+b^2, q=2ab+1$ for some $a,b$

Suppose we're given a particular number $n \in \mathbb{N}$.
We're also given that $n=pq$ where $p,q$ are unknown primes satisfying
$$
p=a^2+b^2
$$ and
$$
q=2ab+1
$$
for some $a,b$.
Is there an ...

**5**

votes

**1**answer

188 views

### When is a linear combination of the elementary symmetric polynomials reducible?

Let $n\ge 2$ and consider the polynomial ring $\mathbb F [X_1,...,X_n]$, where $\mathbb F$ is a field. Let $e_j:=e_j(X_1,...,X_n)$ be the elementary symmetric polynomial of degree $j$ in $X_1,...,X_n$...

**3**

votes

**1**answer

329 views

### Symmetry in the triangular distribution

A continuous function vanishes on $(-\infty,a]$ and on $[c,\infty),$ its graph is a straight line on the interval $[a,b]$ and another straight line on $[b,c],$ and its integral is $1.$
The mean of ...

**4**

votes

**1**answer

404 views

### Symmetric functions of eigenvalues

Let $f: \mathbb{R}^n \rightarrow \mathbb{R}$ be a smooth function, which is symmetric under the action of the symmetric group (acting on $\mathbb{R}^n$ by permuting the variables).
Let $M_{n\times n}$...

**7**

votes

**0**answers

201 views

### Characterizing $n$-exceptions of the ring of symmetric polynomials

(Also in Mathematics Stack Exchange: https://math.stackexchange.com/questions/2528000/characterizing-n-exceptions-on-the-ring-of-symmetric-polynomials)
We say that an homogeneous symmetric polynomial ...

**2**

votes

**0**answers

41 views

### Different term's contribution in zonal polynomial

I am very interested in the contribution of different terms in a zonal polynomial. Let's focus on the simplest case. In (20) in "Distributions of matrix variates and latent roots derived from normal ...

**4**

votes

**1**answer

368 views

### Homogeneous polynomials and symmetric binary forms

Let $f\in k[x_0,...,x_n]_d$ be a degree $d$ homogeneous polynomial in $n+1$ variables.
Is there a way to associate to $f$ a form $g(y_1,...,y_m)$ which is symmetric in the sets of binary variables $...

**10**

votes

**1**answer

384 views

### Cauchy identity in three sets of variables?

The Cauchy identity states that
$$
\prod_{i,j} \frac{1}{1-x_i y_j} = \sum_\lambda s_\lambda(x) s_\lambda(y),
$$
where $s_\lambda(x)$ is the Schur function.
Is there a known decomposition of the ...

**2**

votes

**0**answers

117 views

### Macdonald polynomials: existence and specializations

I am reading Macdonald's Symmetric Functions and Orthogonal Polynomials lecture notes, and have several related questions:
In both the type A case (chapter 1) and the general irreducible root system ...

**3**

votes

**1**answer

293 views

### Singular locus of zero set of elementary symmetric polynomial

Let $\sigma_{m, r}$ be the degree-$r$ elementary symmetric polynomial in $m$ variables. Let $X_{m, r}$ be the zero set of $\sigma_{m, r}$ and $S_{m, r}$ its singular locus. I.e.,
$S_{m,r}$ is the set ...

**1**

vote

**5**answers

599 views

### Inequality with symmetric polynomials [closed]

How to prove the inequality $a^6+b^6 \geqslant ab^5+a^5b$ for all $a, b \in \mathbb R$?

**3**

votes

**0**answers

136 views

### How to Prove that the Eigenvalues of this Matrix are Zero, $\pm b$ for $b$ Real or Imaginary?

The matrix, $M$, is defined (below) in terms of elementary symmetric polynomials of a set. For some special cases the matrix is nilpotent; for other (sufficiently small) cases the characteristic ...

**5**

votes

**0**answers

173 views

### Extracting the “positive” part of a polynomial

Let $p$ be an even polynomial of degree $2n$ such that all its roots are real; hence, it can be written as $p(x)=q(x)q(-x)$, where $q$ is a polynomial of degree $n$ will all roots non-negative. I am ...

**4**

votes

**1**answer

128 views

### Normalization of Jack polynomial integral-scalar product?

In eq. (10.35) of his book "Symmetric functions and Hall polynomials" I.G.Macdonald gives the following scalar product, under which Jack polynomials with different partitions $\mu\neq\lambda$ are ...

**9**

votes

**1**answer

232 views

### Hyper-symmetric polynomials (reference request)

Let $M_n$ be the linear space of $n\times n$ matrices. The product of symmetric groups $S_n\times S_n$ acts naturally on $M_n$, and thus induces an action on the coordinate algebra $k[M_n]$. Is there ...

**6**

votes

**0**answers

294 views

### Coefficients in expansion of a classical symmetric polynomial

If we expand \begin{equation} P_3(x_1,\ldots, x_n):=\Pi_{1\leq i<j<k\leq n} (x_i+x_j+x_k), \end{equation} then \begin{equation} P_3 = \sum_\alpha \sum_{\mathcal{O}(\alpha)} c_\alpha x_1^{\...

**5**

votes

**0**answers

201 views

### A question on symmetric functions

Let $0 \leq m \leq n$ be integers. The group $S_n$ of permutations acts on the ring $\mathbb{Z}[X_1,\dots,X_n]$ by permuting the coordinates, with fixed subring $\mathbb{Z}[\sigma_1,\dots,\sigma_n]$, ...

**1**

vote

**0**answers

67 views

### Uniform limit of m-homogeneous polynomials over compact subsets of a Banach Space

I am trying to solve problem 1.2.A from Mujica's book "Complex Analysis in Banach Spaces".
We denote by $\mathcal{P}_a(^mE;F)$ the space of all $m-$homogeneous polynomials from $E$ into $F$, i.e, the ...

**5**

votes

**1**answer

163 views

### Symmetric polynomial separating points

I've been looking for references/answers to this problem for several days and I couldn't find anything.
If we consider the closed unit ball $B$ in $\mathbb C^2$ then for any point $(z_1,z_2)\notin B$ ...

**5**

votes

**2**answers

223 views

### sum of squares of Schur polynomials indexed over partition valued functions on a set

Fix a finite set $X$ and two natural numbers $d$ and $n$.
For a partition $\lambda$ and a number $d$ denote by $s_\lambda^d(x_1,\dots,x_d)$ the Schur polynomial in $d$-many variables $x_1,\dots,x_d$. ...

**7**

votes

**1**answer

274 views

### PDE characterisation of elementary symmetric functions?

For $k\leq{}n$ the elementary symmetric polynomials are defined by:
$$e_k(x_1,\ldots,x_n)=\sum_{1\leq{}i_1<...<i_k\leq{}n}x_{i_1}\cdots x_{i_k}$$
I believe I can prove (by a complex brute force ...

**2**

votes

**0**answers

230 views

### what is the link between plethysm in regular representation of the symmetric group and plethysm in Schur functions.

I am trying to understand first how one can define the plethysm say $s_\lambda \circ s_\mu$ as a module in the regular representation of the symmetric group.
1)How is it connected to the plethysms ...

**3**

votes

**1**answer

274 views

### Connection between the Chebyshev polynomials and the Faber polynomials

From a comment on this question:
@draks, there is a connection between the Chebyshev polynomials and the Faber polynomials (a.k.a. Shur polynomials), which 'invert" the cyclic partition polynomials ...

**5**

votes

**2**answers

245 views

### Is there a similar theory as for symmetric polynomials, that deals with polynomials on the entries of matrices that are symmetric in both dimensions?

I am looking at a polynomial of the entries of a matrix, and this polynomial is invariant under permutation of the rows or columns of the matrix. Is there a similar characterization as in the case of ...

**5**

votes

**1**answer

158 views

### Alternating elements in free graded-commutative algebras

It is classical that every alternating polynomial is (uniquely) the product of a symmetric polynomial with the Vandermonde polynomial, in particular the alternating polynomials are a free rank-one ...

**7**

votes

**2**answers

352 views

### Schur polynomial, change of variable

Let $k=(k_1,k_2,k_3,k_4)\in \mathbb{N}^4$ and let $s_k(x_1,x_2,x_3,x_4)$ be the Schur polynomial on $GL_4$.
Question 1: If I replace $x_3$ with $x_1$ and $x_4$ with $x_2$, can $s_k(x_1,x_2,x_1,x_2)$ ...

**6**

votes

**2**answers

408 views

### Free $k[x_1, \dots, x_n]^{S_n}$-module?

Let $\text{char}\,k = 0$ and $n \ge 2$. What is the easiest way to see that $k[x_1, \dots, x_n]$ is a free $k[x_1, \dots, x_n]^{S_n}$-module with basis$$x_2^{m_2}x_3^{m_3} \dots x_{n-1}^{m_{n-1}} x_n^{...

**1**

vote

**0**answers

233 views

### Irreducible representations of $S_n$ inside the ring of symmetric polynomials

I will describe two ways to associate irreducible representations of $S_n$ with polynomials inside the ring of symmetric polynomials and I want to know if there is any connection between the two.
$\...

**38**

votes

**4**answers

3k views

### The sum of squared logarithms conjecture

I am searching for the first proof of (or counterexample to) the following conjecture.
(The sum of squared logarithms conjecture)
For all natural numbers $n$ and positive numbers $x_1,x_2, \ldots , ...

**13**

votes

**4**answers

914 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 $y=(...

**2**

votes

**0**answers

159 views

### counting how many boxes from a given Young tableau contribute to hook length made out of two YTs

Think of a Young diagram as a collection of rows with numbers of elements
$\mu_1 \geq \mu_2 \geq \cdots \geq \mu_d \geq \mu_{d+1}=0$ (and $\mu_k=0$ for $k>d$) and define for $s=(i,j)$ (where $i$ ...

**3**

votes

**1**answer

147 views

### Polynomial that is symmetric in some variables

I would like to construct (or determine the existence/inexistence) of a polynomial $p(x_1,...,x_k, y_1,...,y_n)$ satisfying the following properties:
$p$ is symmetric with relation to the variables $...

**4**

votes

**2**answers

657 views

### On a positivity property of Hall-Littlewood polynomials

Here's the new, more thought through version.
Consider a sequence of nonnegative integers $\lambda=(\lambda_1,\ldots,\lambda_n)$ with $\lambda_i\ge \lambda_{i+1}+2$ (the weight $\lambda-2\rho$ is ...

**2**

votes

**0**answers

144 views

### Behavior of elementary symmetric polynomials near zero sets

It is straightforward to show (see Characterizing intersection of zero sets of elementary symmetric polynomials on R^n) that the set of points $\Lambda_{k}$ in $x \in \mathbb{R}^{n}$ with $\sigma_{k}(...

**4**

votes

**2**answers

757 views

### Isotypic components of the action of the symmetric group on polynomials

The polynomial ring $\mathbb{C}[x_1,\ldots,x_n]$ decomposes as a direct sum of isotypic components for the action of the symmetric group $S_n$. The isotypic component of the trivial representation is ...

**5**

votes

**0**answers

218 views

### Strategy to prove formula for top chern class from knowlege of chern character

I am trying to prove a conjecture that involves an enumerative problem. In the course of doing so, the following situation came up.
I have a sequence of (smooth, complex, rationally connected) ...