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

learn more… | top users | synonyms

13
votes
0answers
365 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 ...
8
votes
0answers
145 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*} ...
7
votes
0answers
183 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 ...
5
votes
0answers
79 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 :)
5
votes
0answers
137 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
158 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
135 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
27 views

Arnold's combinatorial description of entropy.

V.I. Arnold says that entropy is related to the asymptotic behaviour of polynomial coefficients. This is mentioned in his book "Dynamics, Statistics and Projective Geometry of Galois Fields". Here ...
4
votes
0answers
45 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
189 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
78 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
210 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$ ...
3
votes
0answers
45 views

A “nice” orthogonal basis for translation invariant symmetric polynomials

It is going to be a rather long question, so I will first state it and then try to explain and motivate it. Take $\Lambda_n $ as the graded ring of symmetric polynomials of a field $F$ in $n$ ...
3
votes
0answers
76 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
36 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) &= ...
3
votes
0answers
44 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
67 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
49 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
50 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 $$ ...
3
votes
0answers
140 views

Elementary symmetrical polynomial equations, whose solutions are known to be natural numbers.

Let $n_1,n_2,\dots,n_k$ be natural numbers (excluding 0), and for each $1\leq i\leq k$ let $\sigma_i(n_1,n_2,\dots,n_k)$ be the elementary symmetrical polynomial consisting of the sum of all products ...
2
votes
0answers
21 views

terms of taylor expansions of multiple variables at the origin

By the fundamental theorem of symmetric polynomials, $X_1,X_2,\cdots,X_n$ are polynomials of $ e_1,\cdots,e_n$ and $$ \mathbb{Z}[ e_1,\cdots,e_n]=\mathbb{Z}[X_1,X_2,\cdots,X_n]. $$ We define a ...
2
votes
0answers
43 views

Looking for the name of particular collection of polynomials

I came across the following algebraic structure when working on a seemingly unrelated problem and am unable to find a name for it. Let $R$ be a commutative ring with identity. Given ...
2
votes
0answers
36 views

Find the coefficients in $(x_1-x_2)^2(x_1-x_3)^2(x_2-x_3)^2 = s_1^2s_2^2 + as_1^3s_3 + bs_1s_2s_3 + cs_2^3+ds_3^2$

Use evaluation homomorphisms $F[x_1,x_2, \dots, x_n] \to F$ to obtain the coefficients in: $$(x_1-x_2)^2(x_1-x_3)^2(x_2-x_3)^2 = s_1^2s_2^2 + as_1^3s_3 + bs_1s_2s_3 + cs_2^3+ds_3^2$$ where the $s_i$ ...
2
votes
0answers
62 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
33 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
155 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 ...
2
votes
0answers
92 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
241 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
89 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
94 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 the polynomial $p_i^{(n)}:=\sum_{j=1}^n x_j^i$ in $n$ indeterminates $x_1,x_2,\ldots,x_n$. Then let ...
2
votes
0answers
89 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
20 views

Group actions; Symmetric Polynomials

This is my first question on MSE so apologies if I go against some kind of protocol! I'm writing about group actions and have given a few examples. I have given two definitions of group actions, i.e. ...
1
vote
0answers
43 views

Center of the group algebra of the symmetric group

How to prove that the center of the group algebra of the symmetric group is generated by 1-cycle conjugacy classes? I mean, that the center (consisting on class functions) is multiplicatively ...
1
vote
0answers
53 views

An Elementary Solution to a Polynomial Problem?

The following problem is from Larson's problem solving through problems: If $a,b$ and $c$ are the roots of the equation $x^3-x^2-x-1=0$, show that $$ \frac{a^{1000}-b^{1000}}{a-b}+ ...
1
vote
0answers
68 views

Symmetrical Non-linear Constrained Equation

How would you approach this problem? I need all the possible solutions $$ (x_1,x_2,x_3,x_4,y_1,y_2,y_3,y_4) $$ which satisfy $$ ...
1
vote
0answers
74 views

An identity with determinant and trace of a matrix

How to prove the following identity: $$\det(A)=\frac{1}{d!}\sum_{\sigma\in S_d}\mathrm{sgn}(\sigma)\mathrm{Tr}_{\sigma}(A)$$ where $\mathrm{Tr}_{\sigma}(A)$ is defined as following if $\sigma$ is ...
1
vote
0answers
26 views

Divided power question.

Let $E$ be a free module, we define the $r$-th divided power as the dual of the symmetric power $D_r(E):=(S_r(E^*))^*$. For every $u \in E$ we can define its $r$-th divided power $u^{(r)} \in D_r$ by ...
1
vote
0answers
65 views

System of (non linear) equations

Let $n \geq 2$. Could it be proved that the following system, with $z_k\in \mathbb C$, $ \begin{cases} z_1^n + z_{n}z_1^{n-1} + z_{n-1}z_1^{n-2} + \cdots + z_2z_1+z_1 & = 0 \\ z_2^n + ...
1
vote
0answers
63 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
49 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
125 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
71 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
47 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
101 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
81 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
54 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
66 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
31 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
42 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 ...
0
votes
0answers
12 views

Concave property on elementary symmetric polynomials

Let ${\sigma _k}$ be the k-th elementary symmetric polynomial, namely ${\sigma _k}({x_1},...,{x_n}) = \sum\limits_{1 \leqslant {i_1} < ... < {i_k} \leqslant n} {{x_{{i_1}}}...{x_{{i_k}}}} $ ...