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

learn more… | top users | synonyms

10
votes
4answers
944 views

Algorithm(s) for computing an elementary symmetric polynomial

I've run into an application where I need to compute a bunch of elementary symmetric polynomials. It is trivial to compute a sum or product of quantities, of course, so my concern is with computing ...
5
votes
1answer
115 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
1answer
237 views

Elementary symmetric polynomials and matrices of 1-forms

Let $A$ be a $n \times n$ matrix of 1-forms (for example, a connection form). Note that $A \wedge A$ is not $0$, but by using the anti-symmetry of the wedge product applied to the entries of $A$ we ...
4
votes
1answer
161 views

Symmetric polynomials have unique expressions as polynomials in symmetric elementary functions

Let $s_i$ be the symmetric elementary functions. For example, $s_1=x_1+\cdots+x_n$. Suppose a polynomial $p(z_1,\ldots,z_n)\in R[z_1,\ldots,z_n]$ satisfies $p(s_1,\ldots,s_n)=0$ in ...
3
votes
0answers
128 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 ...
0
votes
1answer
157 views

Roots of elementary monomials

Let $m_\lambda(X_1,X_2,...X_N)$ be a monomial symmetric function with partition $\lambda$. For example: $$ m_{(3,1,1)}(X_1,X_2,X_3) =X_1^3X_2X_3 + X_1X_2^3X_3 + X_1X_2X_3^3 $$ Is there a general ...
3
votes
1answer
261 views

Which Newton's Identities are being referred to here?

I do not understand this line of Wikipedia's page on the Basel problem: If we formally multiply out this product and collect all the $x^2$ terms (we are allowed to do so because of Newton's ...
5
votes
1answer
118 views

Roots of a Cubic Polynomial with Elementary Symmetric Polynomial Coefficients

Let $R_n$ be a set of $n$ distinct nonzero rational numbers. Let $e_k$ be elementary symmetric polynomials over $R_n$---i.e. $e_0=1$, $e_1 = \sum_{1\le i\le n} r_i$, $e_2 = \sum_{1\le i<j\le n} r_i ...
3
votes
1answer
59 views

Inequality of elementary symmetric polynomials

Let $\lambda=(\lambda_1,\lambda_2,\lambda_3,\lambda_4)$ with $\lambda_i>0$ for $i=1,2,3,4$. Let $$\sigma_k(\lambda)=\sum_{1\leq ...
2
votes
0answers
32 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
1answer
49 views

$S_k(x+y)-S_k(x)-S_k(y)$ where $S_k$ is symmetric polynomial

Let $S_k$ be the $k$-th symmetric polynomial of $n$-variable. 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 ...
2
votes
2answers
55 views

Find numbers $a, b, c$ given that $a+b+c=12$, $a^2+b^2+c^2=50$, and $a^3+b^3+c^3=168$

Let $a+b+c=12$, $a^2+b^2+c^2=50$, and $a^3+b^3+c^3=168$. Find $a,b,c$ Suppose $a, b, c$ are roots of $P(x)$. $$P(x) = k(x - a)(x - b)(x - c)$$ But then I get $(k = 1)$ $$P(x) = x^3 - 12x^2 + ...
7
votes
4answers
174 views

Is there a simpler approach to these system of equations?

I recently came across the following system of equations: $$x + y + z = 1 \\ x^2 + y^2 + z^2 = 2 \\ x^3 + y ^3 + z^3 = 3$$ And I have two questions: One, is there a way to prove or disprove ...
4
votes
1answer
33 views

Symmetric polynomials and g non symmetric

If $g=x_1+2x_2+3x_3, s_1=x_1+x_2+x_2, s_2=x_1x_2+x_1x_3+x_2x_3$ and $s_3=x_1x_2x_3$ , write $x_1, x_2$ and $x_3$ in function of $g, s_1, s_2$ and $s_3$.
8
votes
1answer
246 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
9answers
408 views

If $\,\,x+\dfrac{1}{x}=5,\,\,$ find $\,\,x^5+\dfrac{1}{x^5}$.

If $x>0$ and $\,x+\dfrac{1}{x}=5,\,$ find $\,x^5+\dfrac{1}{x^5}$. Is there any other way find it? $$ \left(x^2+\frac{1}{x^2}\right)\left(x^3+\frac{1}{x^3}\right)=23\cdot 110. $$ Thanks
3
votes
1answer
55 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 ...
1
vote
0answers
62 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 + ...
6
votes
4answers
220 views

How can I use Fundamental Theorem of Symmetric Polynomials to factor polynomials?

How can I use The fundamental theorem of symmetric polynomials (or its proof) to factor symmetric polynomials? The link I've given to the theorem uses elaborate wordings using 'rings', ...
0
votes
1answer
29 views

Algorithm for writing a symmetric polynomial P(x,y) in terms of x+y and xy

Assume I am given a polynomial of two variables by the list of its coefficients, $P(X,Y)=\sum_{i,j}C_{ij}X^i Y^j$, and that this polynomial is symmetric, i.e. $C_{ij}=C_{ji}$. I am looking for an ...
0
votes
0answers
26 views

Is every polynomial of two variables separable into a symmetric and antisymmetric part?

How can I split a polynomial into parts which are symmetric and antisymmetric under exchange of the variables? I have an explicit polynomial, which is a function of two variables (and some further ...
0
votes
1answer
29 views

Splitting a polynomial into parts which are symmetric and antisymmetric under exchange of variables.

How can I split a polynomial into parts which are symmetric and antisymmetric under exchange of the variables? I have an explicit polynomial, which is a function of three variables (and some further ...
1
vote
1answer
28 views

Splitting a polynomial into a symmetric and an antisymmetric part.

How can I split a polynomial into a symmetric and an antisymmetric part? I have an explicit polynomial, which is a function of three variables (and some further constants). The symmetry properties ...
0
votes
0answers
44 views

fundamental theorem of symmetric polynomials

Let $P_n(a,b,c)$ be a polynomial of variables $a,b,c$. By Newton's fundamental theorem of symmetric polynomials, there is a unique $P_n$ such that $$ x^n+y^n+z^n=P_n(x+y+z, x^2+y^2+z^2,x^3+y^3+z^3). ...
9
votes
1answer
139 views

On an identity with $n$ variables

We know the followings : $$\color{red}{{x_1}^2+{x_2}^2-2x_1x_2}=\color{blue}{(x_1-x_2)^2}$$ ...
0
votes
1answer
63 views

How to solve the system of 4 equations of four unknowns

Solve this system of the four equations of four unknowns $a, b, c, d>0 $ $$ 165(a+b+c)=abc\tag1 $$ $$220(a+b+d)=abd \tag2 $$ $$297(a+c+d)=acd\tag3 $$ $$540(b+c+d)=bcd \tag4 $$ I tried to ...
1
vote
1answer
48 views

What is a symmetric polynomial?

I'm reading about symmetric polynomials at the moment, and came upon this statement: Let $G(x_1, \ldots, x_n)$ be a symmetric polynomial. Separate out $x_n$, representing $G$ as follows: $G_\nu ...
1
vote
1answer
34 views

Newton polynomials

Consider the family of symmetric polynomials $\sum^n_{i=1} x_i^k\in\mathbf{Z}[x_1,\ldots,x_n]$. By the fundamental theorem on symmetric polynomials there is a unique Newton poylnomial ...
2
votes
3answers
67 views

Solving $n$ unknowns with $n$ independent equations

Is it always possible to solve $n$ independent equations with $n$ unknowns? Or is it possible to solve the following 3 equations with 3 unknowns? $$x + y + z = a$$ $$x^2 + y^2 + z^2 = b$$ $$x^3 + ...
2
votes
0answers
33 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$ ...
1
vote
2answers
177 views

If $\prod x_k=1$, then $\prod\frac{1+x_k}{2}\leq ( \frac{x_1+\cdots +x_n}{n})^{n-1}$

Despite many attempts, no one at StackOverflow has succeeded in solving that old question about proving a deceptively simple-looking inequality. I propose now a weaker and slightly simpler inequality ...
1
vote
1answer
39 views

Why is the inverse of this matrix expressible in terms of elementary symmetric polynomials?

Suppose we have $N$ distinct real numbers $x_1, x_2, \ldots, x_N$ and consider the $N \times N$ matrix $$P = \left[\! \begin{array}{ccccc} 1 & 1 & 1 & \cdots & 1 \\ x_1 & x_2 & ...
1
vote
1answer
35 views

A system of non-linear equations with a small parameter

Is there any way to solve analytically the following system of equations to the leading order in $\epsilon$: $$\left\{ \begin{array}{rcl} \mu^2 \phi_1 + \lambda \phi_1 (\phi_1^2 + \phi_2^2) + ...
0
votes
0answers
17 views

counting how many entries from a given Young tableau contribute to hook length made from two differtn 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 define for $s=(i,j)\in R$ (it makes also sense for $s$ outside ...
1
vote
1answer
23 views

A question on a proof concerning resultants I don't quite get

http://planetmath.org/proofthatsylvestersmatrixequalstheresultant Heres a link to a proof I found concerning the relation between Sylvesters matrix and resultants. Most of it makes sense. I do have ...
1
vote
3answers
172 views

How to solve system equation $x^3+y^3+z^3=x+y+z, x^2+y^2+z^2=xyz$ for $x,y,z\in\mathbb{R}$?

How to solve system equation $\left\{\begin{matrix}x^3+y^3+z^3=x+y+z&\\x^2+y^2+z^2=xyz&\end{matrix}\right.$ , $x,y,z\in\mathbb{R}$ ?
3
votes
2answers
71 views

System of equations with 2 parameters

I have no idea how even to start! \begin{align*} (u^2+v^2)(u+v)&=15uv \\ (u^4+v^4)(u^2+v^2)&=85u^2v^2 \end{align*}
8
votes
1answer
136 views

A generalization of arithmetic and geometric means using elementary symmetric polynomials

Let $a_1, a_2, \ldots, a_n$ be positive real numbers. A while ago I noticed that if you form the polynomial $$ P(x) = (x - a_1)(x-a_2) \cdots (x-a_n) $$ then: The arithmetic mean of $a_1, \ldots, ...
2
votes
1answer
53 views

An inequality with elementary symmetric polynomials

Fix a natural number $n\geq 1$. Let $a_1, \ldots, a_n$ be $n$ real numbers such that $a_i>0$ for each $i$. Show that for each natural $k$ with $0\leq k\leq n$ $$e_k(a_1,\ldots, ...
3
votes
0answers
58 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} ...
1
vote
5answers
47 views

Solving system when terms have both variables

$$x^3-3y^2x=-1$$ $$3yx^2 -y^3=1$$ This was the real part and imaginary part on a previous question I asked, instead of the system it was easier to just use polar coordinates to solve, but if this was ...
4
votes
2answers
54 views

$\{p_i\}$ generate the $k$-algebra of symmetric polynomials in $k[t_1, \dots, t_n]$ and are algebraically independent over $k$

Let $k$ be a field of characteristic $0$. For $j \ge 0$, let $p_j = t_1^j + \dots + t_n^j \in k[t_1, \dots, t_n]$. Prove that $p_1, \dots, p_n$ generate the $k$-algebra of symmetric polynomials in ...
10
votes
2answers
165 views

Show that the roots of the polynomial $x^4 - px^3 + qx^2 - pqx + 1 = 0$ satisfy a certain relationship

Here is the question: If the roots of the equation $$ x^4 - px^3 + qx^2 - pqx + 1 = 0 $$ are $\alpha, \beta, \gamma,$ and $\delta$, show that $$ (\alpha + \beta + \gamma)(\alpha + \beta + ...
3
votes
1answer
628 views

Factoring $(a+b)(a+c)(b+c)=(a+b+c)(ab+bc+ca)-abc$

How to prove the following equality? $$(a+b)(a+c)(b+c)=(a+b+c)(ab+bc+ca)-abc$$ I did it $$\begin{aligned} a^2b + a^2c + ab^2 + cb^2 + bc^2 + ac^2 + 2abc &=a^2(b + c) + bc(b + c) + a(b^2 + ...
2
votes
0answers
28 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) &= ...
1
vote
1answer
39 views

Find the equation which has key root $x=\sqrt{a}+\sqrt{b}+\sqrt{c}$

In my last question which was Proving $x=\sqrt{a}+\sqrt{b}$ is the key root to solve $x^4-2(a+b)x^2+(a-b)^2=0$ ,I could find the coefficients(were very easy) of fourth-degree equation, so I went to ...
6
votes
1answer
84 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 ...
0
votes
1answer
54 views

Solving a simple systems of equations

Update: 1) As @Amzoti mentioned, I made a mistake in the mathematica code. There should be spaces between x, y and z. So now the following code works: ...
6
votes
4answers
423 views

Ring of polynomials as a module over symmetric polynomials

Consider the ring of polynomials $\mathbb{k} [x_1, x_2, \ldots , x_n]$ as a module over the ring of symmetric polynomials $\Lambda_{\mathbb{k}}$. Is $\mathbb{k} [x_1, x_2, \ldots , x_n]$ free ...
0
votes
1answer
85 views

How can I convince students a certain polynomial equation is symmetric?

How can I convince students that $p(x)=0$ is a symmetric equation if they ask me, where $p(x)$ is polynomial of degree $n$ with reals coefficients. For example : $A(x)=2x^4-9x^3+8x^2-9x+2=0 $ is ...