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

learn more… | top users | synonyms

36
votes
2answers
552 views

What is the function space generated by addition and $(a,b)\mapsto (a+b)^{-1}\cdot a\cdot b$ of elements and their inverses?

(the motivation section turned out a little long, the mathematical question is at the end) I need to work with electrical circuts at the moment, computing effective impedances etc. From ...
16
votes
3answers
484 views

A generalized (MacLaurin's) average for functions

The average value of a function $y=f(x)$, on an interval $[a,b]$, is ${1\over {b-a}}\int_a^b f(t)dt$. This of course relates to the arithmetic average. It is easy to see that a corresponding formula ...
15
votes
12answers
2k views

How to prove $(a-b)^3 + (b-c)^3 + (c-a)^3 -3(a-b)(b-c)(c-a) = 0$ without calculations

I read somewhere that I can prove this identity below with abstract algebra in a simpler and faster way without any calculations, is that true or am I wrong? $$(a-b)^3 + (b-c)^3 + (c-a)^3 ...
15
votes
2answers
3k views

Why does the discriminant of a cubic polynomial being less than 0 indicate complex roots?

The discriminant $\Delta = 18abcd - 4b^3d + b^2 c^2 - 4ac^3 - 27a^2d^2$ of the cubic polynomial $ax^3 + bx^2 + cx+ d$ indicates not only if there are repeated roots when $\Delta$ vanishes, but also ...
14
votes
1answer
3k views

Using Vieta's theorem for cubic equations to derive the cubic discriminant

Background: Vieta's Theorem for cubic equations says that if a cubic equation $x^3 + px^2 + qx + r = 0$ has three different roots $x_1, x_2, x_3$, then $$\begin{eqnarray*} -p &=& x_1 + x_2 ...
13
votes
0answers
298 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 ...
11
votes
1answer
170 views

Polynomials invariant under the action of $S_m \times S_n$

The polynomial ring $\mathbb{C}[x_1,\ldots,x_n]$ has a maximal subring invariant under the action of $S_n$ on the variables. This is the ring of symmetric polynomials. Suppose we have ...
11
votes
4answers
1k 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 ...
11
votes
1answer
161 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, ...
11
votes
1answer
275 views

Basis for $\Bbb Z[x_1,\cdots,x_n]$ over $\Bbb Z[e_1,\cdots,e_n]$

I'm reading the introductory bits in Procesi's Lie Groups, and on p. 22 we have (paraphrasing) Theorem 2. $\mathcal{B}=\{x_1^{\large h_1}\cdots x_n^{\large h_n}: 0\le h_k\le n-k\}$ is a basis for ...
10
votes
2answers
175 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 + ...
9
votes
1answer
206 views

Generalizing Newton's identities: Trace formula for Schur functors

We work over $\mathbb C$. A general linear group ${\rm GL}(V)$ acts diagonally on the tensor power $V^{\otimes n}$ as $$(A^{\otimes n})(v_1\otimes\cdots\otimes v_n):=(Av_1)\otimes\cdots\otimes ...
9
votes
1answer
144 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}$$ ...
9
votes
1answer
266 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, ...
9
votes
1answer
255 views

What are the analogues of Littlewood-Richardson coefficients for monomial symmetric polynomials?

The product of monomial symmetric polynomials can be expressed as $m_{\lambda} m_{\mu} = \Sigma c_{\lambda\mu}^{\nu}m_{\nu}$ for some constants $c_{\lambda\mu}^{\nu}$. In the case of Schur ...
8
votes
0answers
133 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
4answers
2k views

Expressing a symmetric polynomial in terms of elementary symmetric polynomials using computer?

Are there any computer algebra systems with the functionality to allow me to enter in an explicit symmetric polynomial and have it return that polynomial in terms of the elementary symmetric ...
7
votes
4answers
179 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 ...
7
votes
2answers
282 views

Can $e_n$ always be written as a linear combination of $n$-th powers of linear polynomials?

User Eric Gregor and I were talking in chat and he mentioned this question and postulated the possibility of an approach through symmetric polynomials. After some thinking, I came to this: ...
7
votes
2answers
317 views

System $a+b+c=4$, $a^2+b^2+c^2=8$. find all possible values for $c$.

$$a+b+c=4$$$$a^2+b^2+c^2=8$$ I'm not sure if my solution is good, since I don't have answers for this problem. Any directions, comments and/or corrections would be appreciated. It's obvious that ...
7
votes
2answers
145 views

A simple 2 grade equations system

If we have: $$x^2 + xy + y^2 = 25 $$ $$x^2 + xz + z^2 = 49 $$ $$y^2 + yz + z^2 = 64 $$ How do we calculate $$x + y + z$$
7
votes
0answers
175 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
4answers
463 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 ...
6
votes
3answers
879 views

Three-variable system of simultaneous equations

$x + y + z = 4$ $x^2 + y^2 + z^2 = 4$ $x^3 + y^3 + z^3 = 4$ Any ideas on how to solve for $(x,y,z)$ satisfying the three simultaneous equations, provided there can be both real and complex ...
6
votes
2answers
346 views

Number of terms in a monomial symmetric polynomial

Is there a closed form expression for the number of terms in a monomial symmetric polynomial in a given number of variables for a particular partition of exponents, in terms of which/how many ...
6
votes
4answers
249 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', ...
6
votes
2answers
581 views

Number of distinct $f(x_1,x_2,x_3,\ldots,x_n)$ under permutation of the input

$\alpha _n ^n-1=0$ $\alpha _n=e^{2 \pi i/n}$ $$f(x_1,x_2,x_3,\ldots,x_n)=(x_1+\alpha _n x_2+ \alpha _n ^2 x_3+\cdots+\alpha _n ^{n-1} x_n)^n$$ I have read in Jim Brown's paper on page 5 that ...
6
votes
2answers
60 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$ ...
6
votes
1answer
93 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 ...
5
votes
9answers
418 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
5
votes
2answers
2k views

symmetric polynomials and the Newton identities

I want to write $P(x,y,z)=yx^{3}+zx^{3}+xy^{3}+zy^{3}+xz^{3}+yz^{3}$ in terms of elementary symmetric polynomials, but I'm getting stuck at the first step. I know I should follow the proof of the ...
5
votes
2answers
145 views

Are the elementary symmetric polynomials “unique”?

The elementary symmetric polynomials are interesting in that they generate the set of symmetric polynomials, in the sense that every symmetric polynomial is some polynomial applied to the elementary ...
5
votes
1answer
89 views

Taking a power of a polynomial to make it symmetric

Suppose I have a non-symmetric multi-variable polynomial in $n$ variables $P(x_1,x_2,...,x_n)$. For example $P$ might be $x_1^2+x_2$ or $x_1-x_2$ Under what conditions will some power $m$ of $P$ ...
5
votes
2answers
261 views

Derivative of Schur function

In his answer to http://mathoverflow.net/questions/129854, R. Stanley says that the partial derivative (over the relevant x[i]) of the Schur function of a partition lambda of n equals the sum the ...
5
votes
1answer
130 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 ...
5
votes
1answer
420 views

A proof of the fundamental theorem of symmetric polynomials

I'm reading Exploratory Galois Theory by John Swallow. On page 123 he gives the following remark / alternate proof of the fundamental theorem of symmetric polynomials: Let $K$ be a field and $L$ ...
5
votes
1answer
128 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 ...
5
votes
0answers
800 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 ...
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
153 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
128 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
2answers
2k views

Sum of cubed roots

I need to calculate the sums $$x_1^3 + x_2^3 + x_3^3$$ and $$x_1^4 + x_2^4 + x_3^4$$ where $x_1, x_2, x_3$ are the roots of $$x^3+2x^2+3x+4=0$$ using Viete's formulas. I know that ...
4
votes
2answers
575 views

Need help solving a particular system of non-linear equations analytically

How would one go about analytically solving a system of non-linear equations of the form: $a + b + c = 4$ $a^2 + b^2 + c^2 = 6$ $a^3 + b^3 + c^3 = 10$ Thanks!
4
votes
3answers
88 views

Finding value of equation without solving for a quadratic equation

How do I go about solving this problem: If $α$ and $β$ are the roots of $x^2+2x-3=0$, without solving the equation, find the values of $α^6 +β^6$. In my thoughts: I commenced by expanding $(α ...
4
votes
2answers
49 views

Prove or disprove the system about $n$th power has only one solution $x=y=1$

$$\begin{cases}x^n+y^n=2\\x+y=2\end{cases}\;,\;n\in\mathbb{N}\;,\;x,y\in\mathbb{R}\;,\;n>2$$ I have tried to show that $\displaystyle y'=-\frac{x^{n-1}}{y^{n-1}}=-1$ $$......$$ therefore $x=y=1$ ...
4
votes
1answer
107 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$
4
votes
1answer
128 views

Analog of Newton's theorem for symmetric polynomials

Newton's theorem of symmetric polynomials says that every symmetric polynomial can be written as a polynomial in elementary symmetric polynomials. Hence when $S_n$ acts on $\mathbb{Q}(x_1,...,x_n)$ ...
4
votes
1answer
656 views

Character of the $n^{\text{th}}$ symmetric power of the standard representation of $S_3$

So I am working out Fulton-Harris's Representation Theory text. For $S_3$, there is the standard representation $V$ which is two dimensional. That's all great and fine. Let $Sym^k(V)$ be the symmetric ...
4
votes
1answer
26 views

Generating function of symmetric power representation

Let $\rho:G\rightarrow GL(V)$ be a complex representation. For each $n$, let $\chi_{\text{Sym}^n}$ be the character of the n-th symmetric power of $V$. Prove for each $g\in G$, $$\sum_{i=0}^\infty ...
4
votes
1answer
166 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 ...