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

learn more… | top users | synonyms

0
votes
3answers
144 views

Find all $x,y,z$ satisfying $xy=z-x-y$ and cyclic permutations

Find all ordered pairs $(x,y,z)$ real numbers, which satisfy the following system of equations: $$xy=z-x-y\\xz=y-x-z\\yz=x-y-z$$
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}$ ?
1
vote
2answers
52 views

If $\alpha_1, \alpha_2, \alpha_3, \alpha_4$ are roots of $x^4 +(2-\sqrt{3})x^2 +2+\sqrt{3}=0$ …

Problem : If $\alpha_1, \alpha_2, \alpha_3, \alpha_4$ are roots of $x^4 +(2-\sqrt{3})x^2 +2+\sqrt{3}=0$ then the value of $(1-\alpha_1)(1-\alpha_2)(1-\alpha_3)(1-\alpha_4)$ is (a) 2$\sqrt{3}$ ...
2
votes
0answers
139 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 ...
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$ ...
1
vote
0answers
80 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}, ...
11
votes
1answer
167 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 ...
0
votes
1answer
469 views

Explain the terms : homogeneous , symmetric , anti-symmetric , cyclic with respect to polynomials.

In answers to some of my previous questions , a lot of people used the terms homogeneous polynomial ( in a,b,c ) (under permutations of variables ) , cyclic polynomial ( in a,b,c) (under permutations ...
0
votes
1answer
60 views

Factoring the group action on $\prod X_k^k $ gives another group?

Let's say you have a monomial symmetric polynomial, like the following $$ m_{(1,2,3,4)}(X_1,X_2,\dots,X_{10})=X_1^1X_2^2X_3^3X_4^4 +X_2^1X_1^2X_3^3X_4^4 + \text{all permutations...} $$ Then you can ...
11
votes
0answers
270 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 ...
1
vote
0answers
48 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 ...
0
votes
0answers
75 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 ...
5
votes
1answer
105 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 ...
1
vote
0answers
53 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
1answer
76 views

symmetric polynomial inequality?

I put $n\ge 2$ balls of various sizes into an urn. I draw two balls (without replacement) from the urn. With each draw, I draw any given ball with probability proportional to its size. Can you ...
2
votes
0answers
73 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 ...
36
votes
2answers
551 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 ...
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 ...
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 ...
0
votes
1answer
67 views

How to prove this symmetric polynomial equations?

I got a problem from a friend, which is to prove that $\Sigma _{i=1}^{n}% \frac{x_{i}^{m}}{\Pi _{j\neq i}(x_{i}-x_{j})}=0$ for m < n-1. I tried to multiply the left of equation with $\Pi _{1\leq ...
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 ...
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 ...
7
votes
2answers
143 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$$
1
vote
1answer
211 views

Decomposition of products of monomial symmetric polynomials into sums of them

I'm trying to make sense of the answer given in: this question I am stuck at the phrase 'where the partitions $\gamma$ result from adding, respectively, from $\alpha$ all distinct partitions obtained ...
5
votes
2answers
239 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 ...
0
votes
2answers
325 views

Solution to a system of symmetric equations

After applying the Lagrange multiplier method, I got the following system of equations, which is quite symmetric: $(x+y)^2 + (x+z)^2 = \frac{2}{3} \lambda x$ $(y+x)^2 + (y+z)^2 = \frac{2}{3} \lambda ...
3
votes
1answer
46 views

How to compute the weights of $\Gamma_{3,1}$ the irrep of $\mathfrak{sl}_3\Bbb C$

I am wondering about a combinatorial formula for computing the weights of the irreducible representations $\Gamma_{a,b}$ of $\mathfrak{sl}_3\Bbb C$. By $\Gamma_{a,b}$ I mean the irrep that has highest ...
1
vote
2answers
119 views

Computing eigenvalues for $\mathrm{Sym}^2(\mathrm{Sym}^3 V))$ for $V = \Bbb C^2$

Given $V = \Bbb C^2$ the standard representation of $\mathfrak{sl}_2\Bbb C$, on page 157 of Fulton and Harris's Representation Theory they state Since $U = \mathrm{Sym}^3 V$ has eigenvalues $-3, ...
2
votes
0answers
198 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 ...
1
vote
1answer
45 views

$p(x)$ be a polynomial over $\mathbb{Z}$. If $P(a)=P(b)=P(c)=-1$ with integers $a,b,c$.Then $P(x)$ has no integral roots

Let $\mathbb{P}(x)$ be a polynomial over $\mathbb{Z}$. If $\mathbb{P}(a)$=$\mathbb{P}(b)$=$\mathbb{P}(c)$=$-1$ with integers $a,b,c.$ Then $\mathbb{P}(x)$ has no integral roots
4
votes
2answers
282 views

Understanding the Fundamental Theorem of Symmetric Polynomials within the context of proving $\pi$ transcendental

I am currently studying the proof of the transcendence of $\pi$. There are a bunch of proofs scattered across the web (here, here, and here, to list some); some derive from the Lindemann-Weierstrass ...
4
votes
0answers
727 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 :)
1
vote
1answer
132 views

Equal-variables problem in three variables

This question resembles Vasile Cirtoaje’s equal-variables results, as explained here (although those results may be useless in the present problem). Let $s,p$ be two positive numbers with ...
0
votes
1answer
47 views

Choose the variables so that the weighted symmetric polynomial is minimal.

I've been struggling with the following problem for hours: Consider the expression $p^2\frac{x}{y+z}+q^2\frac{y}{x+z}+r^2\frac{z}{x+y}$, where $p,q,r>0$ are parameters. Choose $x,y,z\ge0$ so that ...
8
votes
1answer
245 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, ...
2
votes
0answers
86 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 ...
1
vote
0answers
81 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 ...
3
votes
3answers
160 views

Ring of invariants of Klein Four group

Assume $F$ is a field and assume $f\in F[x_1,\ldots,x_4]$ is a polynomial that is invariant under the Klein Four group $V_4$. How can I show that this polynomial can then be rewritten as a polynomial ...
2
votes
1answer
77 views

What is the degree of the fourier expansion

Let $ f:\{-1,1\}^3 \rightarrow \{-1,1\} $ , $f(x)= \operatorname{sgn}(x_1+x_2+x_3)$; (Majority function), then Fourier expansion of $f$ is $f(x)= \frac{1}{2} ...
1
vote
1answer
60 views

Counting primes of the form $S_1(a_n)$ vs primes of the form $S_2(b_n)$

Let $n$ be an integer $>1$. Let $S_1(a_n)$ be a symmetric irreducible integer polynomial in the variables $a_1,a_2,...a_n$. Let $S_2(b_n)$ be a symmetric irreducible integer polynomial in the ...
7
votes
0answers
174 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 ...
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 ...
3
votes
2answers
268 views

Roots of power sum symmetric polynomials

I had a few questions about the roots of power sum symmetric polynomials: Given that $x_1^k+x_2^k+x_3^k= 0$ for all $k \not \equiv 0\mod 3$ and is non-zero otherwise, if we assume none of the ...
2
votes
1answer
158 views

Symmetric polynomial optimization

Recently I asked a stupid question here (there’s no harm in that, even Fields medalist Terence Tao advises to ask dumb questions once in a while). Here is a variant question that may be more ...
1
vote
1answer
71 views

Path connectedness of a particular algebraic set

Let $n\geq 3$, let $a$ and $b$ be two positive numbers, and $$ \Omega = \bigg\lbrace (x_1,x_2, \ldots ,x_n) \in ]0,+\infty[^n \ \bigg| \ x_1+x_2+ \ldots +x_n=a, \ x_1x_2 \ldots x_n=b \bigg\rbrace $$ ...
3
votes
1answer
102 views

Optimize a symmetric polynomial on a compact set

This looks like a stupid question, but the obvious answer (if there is one) eludes me … Let $f(x,y)$ be a symmetric polynomial in $x$ and $y$. Then $f$ attains a minimum $m$ on the compact set ...
2
votes
4answers
124 views

expressing some polynomial in terms of symmetric polynomials

Express the element $(a-b)^2(a-c)^2(b-c)^2$ In terms of the symmetric elementary polynomials. I read the proof using Galois Theory, that any symetric polynomials can be written in terms of the ...
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 ...
16
votes
3answers
483 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 ...