The symmetric-polynomials tag has no usage guidance.

**6**

votes

**0**answers

247 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

164 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

56 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

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

**4**

votes

**2**answers

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

**6**

votes

**1**answer

189 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

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

**1**

vote

**1**answer

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

**5**

votes

**2**answers

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

**2**

votes

**0**answers

66 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

237 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)$ ...

**10**

votes

**2**answers

301 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^{...

**0**

votes

**0**answers

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

**36**

votes

**4**answers

2k 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 , ...

**9**

votes

**3**answers

674 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=(...

**1**

vote

**0**answers

140 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

136 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

**0**answers

360 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

119 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

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

**4**

votes

**0**answers

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

**9**

votes

**2**answers

426 views

### A particular specialization of symmetric polynomials: is it bijective?

Let $\Lambda^d_n$ the space of symmetric polynomials
in $n$ variables, with maximum 'partial degree' of each variable $d$.
A basis for this space is the set of symmetrized monomials $m_\lambda$,
where ...

**0**

votes

**1**answer

296 views

### Decomposition of symmetric homogeneous polynomials

Can every symmetric polynomial of degree $r$ in $d$ variables that has no constant term be written as a sum of the $r$th powers of linear polynomials in $d$ variables and a homogeneous polynomial of ...

**6**

votes

**0**answers

181 views

### Find a symmetric polynomial with a projection divisible by a known polynomial

Consider the polynomial $Q$, a homogeneous quartic in seven variables:
$$ Q(R, s_1, s_2, s_3, s_4, d_1, d_2) = \\
(d_1^2-(R+s_1+s_2-s_3-s_4)(R+s_1-s_2+s_3+s_4))\\(d_1^2-(R-s_1-s_2-s_3-s_4)(R-s_1+s_2+...

**8**

votes

**1**answer

350 views

### Combinatorics and symmetric functions

No answers from stackexchange, so I'll try this here:
(The actual questions in this posting are at the bottom.)
Occasionally someone asks on stackexchange how to show that every nonempty finite set ...

**1**

vote

**0**answers

71 views

### Irreducibility of a certain matrix variety

Let $R=\mathbb{Q}[x_{i,j}\,:\, 1\leq i,j\leq n]$. Let $M$ be the $n\times n$ matrix $(x_{i.j})$. Let $\chi(M)$ be the characteristic polynomial of $M$. Finally, let $I$ be the ideal of $R$ ...

**5**

votes

**1**answer

275 views

### Examples of specializations of elementary symmetric polynomials

Let $\mathcal{S}_{x}=\{x_{1,},x_{2},\ldots x_{n}\}$ be a set of $n$
indeterminates. The $h^{th}$elementary symmetric polynomial is the
sum of all monomials with $h$ factors
\begin{eqnarray*}
e_{h}(\...

**3**

votes

**1**answer

181 views

### Values of symmetric polynomials determining inputs

I've got a question that I've become curious about as a result of supervising some undergraduate research. Let's suppose we have some sequence of polynomials $f_0, f_1, f_2, \cdots \in \mathbb{Z}[X]$,...

**1**

vote

**0**answers

87 views

### Different bases of symmetric polynomials

Let the symmetric group $S_n$ act on $R^n$ by permuting coordinates and consider the ring of symmetric polynoials. These symmetric polynomials can be written fro example as polynomials in the ...

**3**

votes

**0**answers

158 views

### Significance behind splitting of (x+y)^7-(x^7+y^7)? [closed]

A quick check via third roots of unity establishes$$(x+y)^7-(x^7+y^7) = 7xy(x+y)(x^2+xy+y^2)^2$$
Some questions:
What is the significance of this factorization?
Does it have any connection to the ...

**1**

vote

**2**answers

267 views

### When powers of matrices are represented as a sum of integral matrices

There is a ring $R$ and its subring $K$ with unit. We have a matrix $A$ of order $n$ over $R$. Someone said, that if $A^m$ for $m=1,...,n$ can be represented as a sum of matrices over $R$ which a ...

**5**

votes

**1**answer

519 views

### Normal forms for homogeneous cubic polynomials in $\mathbb{R}[x_1, x_2, x_3]$

Is there a standard normal form for homogeneous cubic polynomials in $\mathbb{R}[x_1, x_2, x_3]$? Or, put another way, is there a nice way to describe the orbit space of the natural (diagonal) action ...

**4**

votes

**2**answers

181 views

### Reference request on symmetric polynomials

A version of this question on stackexchange got a few comments from one person and no answers.
Let $e_k$ be the $k$th-degree elementary symmetric polynomial in variables $x_1,\ldots,x_n$ (so in ...

**5**

votes

**1**answer

293 views

### A nice generating set for the symmetric power of an algebra

I'm looking for a reference for the following fact.
Suppose $A$ is a finitely generated associative commutative unital algebra over an algebraically closed field of characteristic zero. Let $S^n(A)$ ...

**1**

vote

**0**answers

127 views

### Multivariate polynomial with positive coefficients

This question was originally asked at stack exchange (http://math.stackexchange.com/questions/292922/multivariate-polynomial-with-all-coefficients-positive), but did not receive any feedback for more ...

**5**

votes

**0**answers

155 views

### algebra of endomorphisms over the diagonal invariants

Let $k$ be a field of characteristic 0 (say $\mathbb{C}$).
Consider the ring of polynomials $R = k[X_1,...,X_n]$ and its subring of invariant polynomials $S = R^{S_n}$.
It is known that the ...

**1**

vote

**1**answer

251 views

### Majorization of power sum symmetric functions

I'm wondering if there is a characterization for whether
$$p_\lambda(x_1, \dotsc, x_r) \geq p_\mu (x_1, \dotsc, x_r) \text{ for every $r \in \mathbb{N}$ and $x_1, \dotsc, x_r \in \mathbb{R}^+$}.$$
(Or ...

**8**

votes

**2**answers

705 views

### Generalizing the Fundamental Theorem of Symmetric Polynomials

The fundamental theorem of symmetric polynomials tells us that the ring $\mathbb{Z}[x_1,\ldots,x_n]^{S_n}$ of symmetric polynomials in $n$ variables is generated (without relations) by the elementary ...

**6**

votes

**2**answers

842 views

### Diagonal invariants of the symmetric group on $k[X_1,X_2,…,X_n,Y_1,Y_2,…,Y_n]$

This sounds like something that must have been answered long ago, but for some reason I can find nothing on it in the internet. (There has been lots of recent activity in diagonal covariants, related ...

**0**

votes

**0**answers

330 views

### Looking for product of symmetric polynomials evaluated at roots of unity

Consider $a_{1} = \alpha^{N-n}, a_{2} = \alpha^{N-n+1}, a_{3} = \alpha^{N-n+2}, a_{4} = \alpha^{N-n+3}, \cdots, a_{n} = \alpha^{N-1}$ where $\alpha$ is a complex $N$th root of unity where $N = 2 + (n-...