Questions on symmetric polynomials, polynomials in several variables that are invariant under permutation of the variables.

learn more… | top users | synonyms

4
votes
1answer
61 views

Flattening Young Tableaux

Let $\lambda=(\lambda_1,\lambda_2,\cdots,\lambda_k)$ be a partition with $|\lambda|=n$ and $\lambda_1\geq \lambda_2\geq\cdots\geq \lambda_k$. For any Standard Young Tableaux (SYT) $T$ of shape ...
1
vote
1answer
67 views

Irreducibility over $\mathbb{C}$ of symmetric polynomials

Problem. Find all elementary symmetric polynomials that are irreducible over $\mathbb{C}$. My attempt. It's easy to see that if we have polynomial $f(x_1, \dots, x_n)$ and it can be reduced to ...
9
votes
0answers
210 views

Symmetric polynomials

I've got a seemingly simple 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 ...
7
votes
0answers
167 views

Multivariate polynomial with all coefficients positive

Let $n\geq 3$ be an integer. Consider the following polynomials : $$ f(x_1,x_2, \ldots ,x_n)=\bigg(\frac{1}{n}\sum_{k=1}^n x_k^n\bigg)^{2n-2}- \bigg(\prod_{k=1}^n \frac{x_k^{2n-2}+\big(\prod_{j\neq ...
6
votes
0answers
109 views

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*} ...
6
votes
0answers
195 views

'Galois Resolvent' and elementary symmetric polynomials in a paper by Noether

In Emmy Noether's 1915 paper "Der Endlichkeitssatz der Invarianten endlicher Gruppen", I saw the notion of a 'Galois resolvent', which I don't quite understand. Google didn't really help me with that, ...
5
votes
0answers
135 views

Is the application of $\mu$ on $P_x(s)^k$ analogous to the differentiation $\frac{d^k f(\lambda) }{d\lambda^k}\biggr|_{\lambda=0}$?

Let me start with the following on elementary symmetric polynomials: The elementary symmetric polynomials appear when we expand a linear factorization of a monic polynomial: we have the identity ...
5
votes
0answers
142 views

Are there asymptotic expressions for multiple zetas $\small \zeta(s),\zeta(s,s),\zeta(s,s,s),\ldots$ where $\small s=1+\delta, \delta\to 0$?

Playing around with elementary symmetric functions I tried to generalize that to infinite series and arrived at the well known concept of MZV ("multiple zeta values"). At the moment I'm only ...
5
votes
0answers
118 views

Schur skew functions

Let $\lambda,\mu,\nu$ be some partitions. Let's denote with $s_\lambda,s_\mu,s_\nu$ the Schur functions associated to these partitions. If $s_\mu s_\nu=\sum_\lambda c^\lambda_{\mu\nu}s_\lambda$ ...
4
votes
0answers
41 views

Question about primes of polynomial type.

It is well known that $50$ % of the primes are of the form $x^2 + y^2$. Many variants exists where a rational amount of primes is of some integer polynomial form. But I wonder ; are there integer ...
4
votes
0answers
176 views

Writing sum of square roots with symmetric polynomials

I want to write the function $$ F_N=\sum_{i=1}^N\sqrt{x_i} $$ in terms of the $N$ elementary symmetric polynomials of the $N$ positive variables $x_1,\dots,x_N$. The $N=1$ case is trivial, as we ...
4
votes
0answers
71 views

Combinatorics and symmetric functions

(The actual questions in this posting are at the bottom.) Occasionally someone asks here how to show that every nonempty finite set has just as many subsets of odd cardinality as of even cardinality ...
4
votes
0answers
135 views

The close form expression of a Pfaffian

Recall Schur's Pfaffian identity: $$ \mathrm{Pf}\left(\frac{x_j-x_i}{x_j+x_i}\right)_{1\le i,j\le 2n} = \prod_{1\le i<j \le 2n}\frac{x_j-x_i}{x_j+x_i}. $$ Here $x_1,x_2\cdots x_{2n}$ are $2n$ ...
4
votes
0answers
510 views

Proofs of The Fundamental Theorem of Symmetric Polynomials

I have been considering a few proofs of this theorem, and I noticed that a few of them (for example Proof 1, and Proof 2) prove the theorem first for homogeneous symmetric polynomials and then ...
4
votes
0answers
74 views

Die Relationen, welche zwischen den elementaren symmetrischen Functionen bestehen - Translation?

I am trying to find a translation of this paper either in English or French (preferably English). I am not very optimistic, but i thought of asking in case somebody is more resourceful :)
3
votes
0answers
32 views

Finding polynomial with Galois group $S_n$.

I'm studying the proof that for every $n\in \mathbb{N}$, there exists a polynomial $f\in \mathbb{Q}$ such that $\mbox{Gal}(E/\mathbb{Q})\cong S_n$, with $E$ the splitting field of $f$ over ...
3
votes
0answers
33 views

Cauchy Identity for a specialized product of Schur polynomials

Let $\lambda=(\lambda_1,\lambda_2,\cdots,\lambda_d)$ be a partition, with $|\lambda|=n$. Let $\nu=\nu(\lambda):=(\lambda_1-1,\lambda_2,\cdots,\lambda_d).$ In other words, $\nu$ is obtained from ...
3
votes
0answers
45 views

Symmetrizing a sequence of vectors

Given a finite set of real numbers $X_1, \ldots, X_n$, we can compute the first $n$ power sums of these numbers. From the power sums, the set $\{X_1, \ldots, X_n\}$ can be recovered. Essentially we ...
3
votes
0answers
49 views

Existence of a Root of Elementary Monomials

Let $m_\lambda(X_1(t),X_2(t),...X_N(t))$ be a monomial symmetric function with partition $\lambda$. For example: $$ m_{(3,1,1)}(X_1(t),X_2(t),...X_N(t)) =X_1^3X_2X_3 + X_1X_2^3X_3 + X_1X_2X_3^3 $$ ...
2
votes
0answers
29 views

multiples (of primes) coverage formula

I apologize in advance if my explanation is not clear. Please let me know if clarification is required and I will do my best to fix it! I am attempting to find an explicit formula (in terms of ...
2
votes
0answers
28 views

Necessary condition for symmetric sums

It is easy to see that if a function $f(x_1,x_2,x_3)$ can be written in the form: $$ f(x_1,x_2,x_3) = g(x_1,x_2) - g(x_1,x_3) + g(x_2,x_3) $$ for some function $g$, then we have: $$ f(x_1,x_2,x_3) - ...
2
votes
0answers
88 views

are elementary symmetric polynomials concave on probability distributions?

Let $S_{n,k}=\sum_{S\subset[n],|S|=k}\prod_{i\in S} x_i$ be the elementary symmetric polynomial of degree $k$ on $n$ variables. Consider this polynomial as a function, in particular a function on ...
2
votes
0answers
59 views

Expansions of symmetric polynomials in terms of Jack symmetric polynomials

I was wondering if someone could help me with some Jack polynomial calculations. (I use the notation of I.G. Macdonald's book "Symmetric Functions and Hall Polynomials") Those of you familiar with ...
2
votes
0answers
156 views

Galois Theory References

This may not initially be a well posed question, but I'm looking for a good reference on Galois theory that covers it from the viewpoint of the symmetry in roots of an irreducible polynomial and not a ...
2
votes
0answers
83 views

Reference request on symmetric polynomials

Let $e_k$ be the $k$th-degree elementary symmetric polynomial in $x_1,\ldots,x_n$ (and recall that $e_k=0$ if $k>n$). I know very little about these polynomials. I've just noticed this odd ...
2
votes
0answers
73 views

Free software for expresing a resolvent as function of coefficients

This relates to question "Expressing a symmetric polynomial in terms of elementary symmetric polynomials using computer?" I would like to try absolute resolvent for group $C_5$ in $S_5$. For example ...
1
vote
0answers
42 views

Dimension of the Image of Young Projectors corresponding to Tensor factors.

Suppose I define the action of the symmetric group on abstract tensors as shuffling indices. I know this is very naive. I apologise, I am a physicist and working on a problem that involves tensors ...
1
vote
0answers
40 views

Non-symmetric polynomials, game

This is a game I thought was easy but appears to be too hard for me... I'm trying to find a polynomial in x,y,z (they commute) such that permutations of the variables only give rise to 2 different ...
1
vote
0answers
67 views

Express symmetric polynomial $\prod_{i < j} (X_i+X_j)$ in terms of elementary symmetric functions

Exercise: Define a polynomial $\Sigma(X_1,\ldots,X_n)$ as \begin{align*} \Sigma(X_1,\ldots,X_n) = \prod_{i < j} (X_i+X_j) \end{align*} This is a symmetric polynomial, quite clearly. I want to ...
1
vote
0answers
57 views

Independent indeterminate roots and coefficients of a polynomial

Dummit and Foote, Section 14.6: "If the roots of a polynomial $f(x)$ are independent indeterminates over a field $F$, then so are the coefficients of $f(x)$." This is meant to complete the converse of ...
1
vote
0answers
113 views

Symmetric function theorem and Galois Theory — How deep is the connection?

By symmetric function theorem in the title, the fundamental theorem of symmetric polynomials is meant: Any symmetric polynomial has a unique representation as a polynomial in the elementary symmetric ...
1
vote
0answers
77 views

How to solve this system equation of polynomials?

I have: $F(x) + G(x) = 1 + F(x)*M,$ $G(x) = T_{1}(x) + T_{2}(x) + ... + T_{N}(x)$ $F(x )x^{a_{i}} = T_{i}(x) \times C_{i}(x) + \sum_{j \leq N} T_{j}(x) \times P_{ji}(x)$ In which $M, N, a_{i}, ...
1
vote
0answers
43 views

Clarification on proof including symmetric polynomials

This is regarding theorem 3 in this article. My problems begin after the equalities denoted by (5). My problems aren't so much about theory really, I think. I'm disregarding the authors' notation a ...
1
vote
0answers
49 views

Some lemma on elementary symmetric polynomial

$$e_t(x_2,\ldots,x_n) = \sum^{n-t}_{i=1} (-1)^{i+1} \frac{e_{t+i}(x_1,\ldots,x_n)}{x^i_1}\text{ for every } 0\leq t < n.$$ $e_t$ is the $t^{th}$ elementary symmetric polynomial in the variabel ...
1
vote
0answers
27 views

signature of pseudo-Riemannian metric made of Newton polynomials

Given a polynomial with roots $x_1,\ldots,x_n$ and real coefficients, it can be written $$ P(x)=\prod_{i=1}^n \left( x-x_i \right);$$ define Newton polynomials $$s_k(x_1,\ldots,x_n):=\sum_{i=1}^n ...
1
vote
0answers
40 views

Are the coefficients of $\text{minpoly}(\alpha + \beta)$ polynomials in the coefficients of $\text{minpoly}(\alpha)$ and $\text{minpoly}(\beta)$?

Suppose you are given an algebraic field extension $L \supset K$ and $\alpha,\beta \in L$ with $f(X) = \text{minpoly}_K(\alpha)(X)=a_0+...+a_{m-1} X^{m-1}+X^m$ and ...
1
vote
0answers
76 views

Symmetrization of Powersum polynomials

Let $n\in\mathbb{N}$. Then for $i\in\mathbb{N}$ the $i-$th power sum if defined to be $p_i^{(n)}:=\sum_{j=1}^n x_j^i$. Then let $\lambda:=(\lambda_1,\ldots,\lambda_l)$ be a partition of $d$. We can ...
0
votes
0answers
21 views

Finding a generalized form for taking the n$^{th}$ derivative of a falling factorial

I would like to make $$ \frac{d^n}{dx^n}[(x)_c] = n! \times e_{c-n}(x,x-1,\cdots,x-c+1) $$ Where $e_{c-n}(x,x-1,x-2,\cdots,x-c+1)$ is the elementary symmetric polynomial function But lets say that ...
0
votes
0answers
19 views

Convert newton's identities into a explicit function?

Is it possible to create a general explicit function (independent and dependent variable) of Newton's Identities? I apologize in advance if this question is somewhat vague. I will try to clarify if ...
0
votes
0answers
19 views

Hilbert series computation for Hilbert scheme of $n$ points on $\mathbb C^2$

How can we show that $$\sum_{n = 0}^\infty q^n \operatorname{character}_T S^n(\mathbb C[x,y])= \prod_{p_1,p_2\geq 0}\frac{1}{1-t_1^{p_1}t_2^{p_2}q}$$ where $T$ acts on $x,y$ as $(t_1,t_2)$? ...
0
votes
0answers
26 views

Properties of the 'forgotten' symmetric polynomials

In I.G. Mcdonald "Symmetric Functions and Hall Polynomials" pg.22, the forgotten symmetric functions 'f' are introduced very briefly as the result of applying an involution w to the monomial symmetric ...
0
votes
0answers
33 views

LCM of two polynmials when they are represented as point-value.

I`m wondering if we can obtain least common multiple of two polynomial when each polynomial represented as point-value. To be more clear, can we do any computation on these point-values and obtain ...
0
votes
0answers
26 views

Looking for general proof of a sum of an additive form of elementary symmetric polynomials

For sake of avoiding complicated general formulation I try to formulate in the special case of a set of 3 numbers $M=\{a_1,a_2,a_3\}$ with e.g. $a_i\in\mathbb R$. The sum I am looking for is in this ...
0
votes
0answers
34 views

Perform $x_1^3+x_2^3+\cdots+x_n^3$ by basic symetric polynomials.

Perform $x_1^3+x_2^3+\cdots+x_n^3$ by basic symetric polynomials $\sigma_1,...,\sigma_n$. $\sigma_1=x_1+x_2+\cdots x_n\\ \sigma_2=\sum\limits_{i<j}x_i x_j\\ ...\\ \sigma_n= x_1.x_2...x_n$ I ...
0
votes
0answers
29 views

size of orbit of a polynomial under the action of $S_n$

Given a polynomial $\Phi$ in the $n$ variables $X_1,\ldots,X_n$, the values of $\Phi$ are defined to be the polynomials in the orbit of $\Phi$ under the action of the full symmetric group $S_n$. For ...
0
votes
0answers
47 views

Unique “splitting fields” for infinite polynomials

When creating the splitting field of a polynomial we can without loss of generality assume it has constant coefficient $1$ and splits as $\prod_{k=1}^n(1-z_kT)$. The splitting field is obtained by ...
0
votes
0answers
31 views

Identity with symmetric rational functions

I am trying to prove this identity between rational functions involving symmetrization among variables. Let us consider a set of variables $\{p_1,\ldots,p_n\}$, which I indicate globally as ...
0
votes
0answers
42 views

Elementary symmetric polynomials: Why is this sufficient?

Let $x_1,\dotsc,x_n$ be algebraically independent over $K$. $S_n$ acts on $K(x_1,\dotsc,x_n)$ by permuting the $x_i$s, giving rise to distinct field automorphisms of $K(x_1,\dotsc,x_n)$, i.e. a ...
0
votes
0answers
74 views

Is there a subgroup of $S_{10}$ having $5040$ elements other than $S_7$?

I'm trying to generate to monomial symmetric polynomial $$ m_{(1,2,3,4)}(X_1,X_2,\dots,X_{10})=X_1^1X_2^2X_3^3X_4^4 + \text{all permutations,} $$ starting from the first element by applying all ...
0
votes
0answers
132 views

Showing that an alternating polynomial is the product of some symmetric polynomial and the Vandermonde polynomial

For simplicity, consider polynomials of two variables. Let $f(x,y)$ be an arbitrary alternating polynomial. I want to show that $f(x, y)$ is the product of some symmetric polynomial and the ...