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

learn more… | top users | synonyms

9
votes
0answers
216 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
169 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
113 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
205 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
143 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
122 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
44 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
177 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
72 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
145 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
570 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
75 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
49 views

Is there an expression for Jack polynomials in terms of the power sum basis?

The Jack polynomials are the 1-parameter family of eigenfunctions of the differential operator: $$ D_\alpha = \frac{\alpha}{2} \sum_{i} x_i^2 \frac{\partial^2}{\partial x_i^2} + \sum_{i \neq j} ...
3
votes
0answers
35 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
39 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
46 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
15 views

(representation theoretic) meaning of sum over even rows of a Young tableau

Think of a Young tableau $R$ as composed by $d$ rows with number of elements $\mu_i:=\mu_i^R$ $\mu_1 \geq \mu_2 \geq \cdots \geq \mu_d > \mu_{d+1}=0$ (and $\mu_i =0\, \forall i >d$) and define ...
2
votes
0answers
22 views

Coefficients of Lagrange resolvent

I'm trying to make sense of some things I read about Galois theory. Let $p$ be a monic polynomial of degree $n$ with known coefficients $a_i$ and unknown roots $x_i$: \begin{alignat*}{2} p(X) &= ...
2
votes
0answers
34 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
30 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
89 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
63 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
171 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
85 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
76 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
36 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 ...
1
vote
0answers
48 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
41 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
71 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
51 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 ...
1
vote
0answers
35 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 ...
1
vote
0answers
61 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
119 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
78 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
50 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
28 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
41 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
78 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
22 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
21 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
20 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
35 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
27 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
35 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
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
134 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 ...