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

learn more… | top users | synonyms

2
votes
0answers
37 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
3answers
83 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
1answer
63 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
24 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 ...
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*}
3
votes
1answer
80 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, ...
1
vote
1answer
44 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) + ...
2
votes
1answer
84 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 ...
3
votes
0answers
83 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} ...
4
votes
2answers
85 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
209 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 + ...
14
votes
1answer
230 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, ...
3
votes
0answers
37 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
5answers
49 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 ...
1
vote
1answer
48 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 ...
0
votes
1answer
87 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 ...
3
votes
2answers
74 views

Prove coefficients of polynomial are elementary symmetric polynomials

I want to show that for the $k$-th elementary symmetric polynomial $s_k:=\sum_{i_1\lt\cdots\lt i_k}X_{i_1}\cdots X_{i_k}\in R[X_1,\ldots,X_n]$ a monic polynomial that factors $\prod_{i=1}^n ...
3
votes
0answers
46 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 ...
6
votes
1answer
105 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
0answers
30 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 ...
2
votes
1answer
98 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 ...
2
votes
0answers
68 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 ...
0
votes
1answer
64 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: ...
1
vote
1answer
57 views

Representing a symmetric function in elementary symmetric functions

I'm trying to represent the following in the elementary symmetric functions base: $ \sum\limits_{i \neq j} x^2_i x_j $ and $ \sum\limits_{i \neq j} x_i^2 x_j^2 $ I don't really know how to ...
2
votes
1answer
85 views

Write the determinant as a polynomial expression in the elementary symmetric polynomials

How to write $\det\begin{bmatrix}x_1&x_2&x_3&x_4\\x_2&x_3&x_4&x_1\\x_3&x_4&x_1&x_2\\x_4&x_1&x_2&x_3 \end{bmatrix}$in terms of elementary symmetric ...
1
vote
1answer
31 views

Polynom as sum/product of symmetric polynoms

I have a polynom $(x_1^2x_3 + x_2^2x_1 + x_3^2x_2)(x_1^2x_2 + x_2^2x_3 + x_3^2x_1)$ and I need to express as sum/product of elemental symmetric polynoms $s_1,s_2,s_3$. I know there is an algoritm for ...
0
votes
1answer
44 views

Build a polynomial

I have $f=x^3 + ax^2 +bx +c \in \mathbb C[x], \alpha_1,\alpha_2,\alpha_3 \in \mathbb C$ are roots of $f$. $\beta_1 = {\alpha_1 \over \alpha_2} + {\alpha_2 \over \alpha_3} + {\alpha_3 \over \alpha_1}, ...
0
votes
1answer
81 views

A question about the elementary symmetric polynomial

I have asked this question and have come up with a possible answer $$ \frac{d^j}{dx^j}[\frac{(x)_c}{j!}] = e_{c-j}(x,x-1, \cdots ,x-c+1) $$ My first question is, how can I prove this? It seems trivial ...
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 ...
6
votes
2answers
61 views

$a_1^k+a_2^k+\ldots+a_n^k$ integer implies all integers?

Let $n$ be a positive integer, and let $a_1,\ldots,a_n$ be rational numbers. Suppose that $a_1^k+a_2^k+\ldots+a_n^k$ is an integer for all positive integers $k$. Is it true that $a_1,a_2,\ldots,a_n$ ...
7
votes
4answers
768 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]$ a free ...
3
votes
0answers
71 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 ...
4
votes
1answer
114 views

Solving systems of equations

I had a system of equations and i want know the perfect method to solve that: Solve for $X, Y, Z$ where : $\\$ $X^² = Y + a$ $Y^² = Z + a$ $Z^² = X + a$
0
votes
3answers
88 views

System of equations (contest problem)

Compute the ordered triple $(x,y,z)$ of positive real numbers that satisfies all three of the equations: $xy+x+y=19$ $yz+y+z=29$ $xz+x+z=53$ Please show me specific work and explain the law or ...
0
votes
1answer
52 views

Prove the following for integers

How can I show that ...
4
votes
1answer
89 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 $\omega$ to the monomial ...
2
votes
2answers
60 views

Roots of simultaneous power sum equations (numerically or otherwise)

I'm a physicist, and I've come across a problem in my research where I need to solve a set of equations looking like (e.g. in 3D) $$r_1 + r_2 + r_3 = k_1$$ $$r_1^2 + r_2^2 + r_3^2 = k_2$$ $$r_1^3 + ...
1
vote
2answers
29 views

Implications of zero elemntary symmetric polynomials over a finite field

For a prime $q$ and an integer $n<q$, consider working over the finite field of $q^n$ elements. Denote by $s_n^k$ the $k$-th elementary symmetric polynomial in $n$ variables. That is, ...
2
votes
1answer
96 views

How big are Kostka-Numbers

Let $n\in\mathbf{N}$ and $\lambda=(\lambda_1,\ldots,\lambda_\ell)$ be integers such that $\sum_{i=1}^\ell\lambda_i=n$. To this partition consider the Schur-Polynomial $s_\lambda$. When expressed in ...
1
vote
1answer
53 views

How many terms are in $\sum \alpha_1^{a_1}\alpha_2^{a_2}\cdots \alpha_r^{a_r}\alpha_{r+1}\alpha_{r+2}\cdots \alpha_s$

Suppose that $\alpha_1, \cdots, \alpha_n$ be $n$ roots of the polynomial equation $p(x)=0$ of degree $n$. I was studying on symmetric polynomial and have come accross of several problems on like $\sum ...
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) - ...
0
votes
0answers
41 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 ...
4
votes
0answers
192 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
2answers
1k views

Sum of cubes of roots of a quartic equation

$x^4 - 5x^2 + 2x -1= 0$ What is the sum of cube of the roots of equation other than using substitution method? Is there any formula to find the sum of square of roots, sum of cube of roots, and sum ...
1
vote
0answers
66 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 ...
2
votes
3answers
1k views

How to solve a system of three nonlinear equation in a simple way

Given the system: $$ \begin{cases} x^2y^2+x^2z^2=axyz & \\ y^2z^2+y^2x^2=bxyz &\\ z^2x^2+z^2y^2=cxyz \end{cases} $$ The solution could be gotten in a very tedious way. Is ...
1
vote
1answer
57 views

Basic Manipulation of Adams operations in R(G)

This is part of an exercise in Serre's representation theory book I am self-studying, but mostly it is about manipulation of symmetric polynomials. Let $\rho$ be a representation of a finite group ...
2
votes
1answer
158 views

natural isomorphism of polynomial functions on $V$ and $S(V^*)$

In Humphreys, reflection groups and coxeter group book, Humphreys denotes $S(V^*)$ as the ring of polynomial function on the finite dim vector space $V$. Why we are considering $S(V^*)$ rather than ...
4
votes
0answers
80 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 ...
1
vote
1answer
47 views

Symmetric polynomials in some variables

Let $A_k$ be a set of polinomials $f(x_1,x_2,\ldots,x_n)$ in $\mathbb{Q}[x_1,x_2,\ldots,x_n]$ symmetric on $k<n$ variables: $$f(x_{\sigma(1)},\ldots, x_{\sigma(k)},x_{k+1}, ...