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

learn more… | top users | synonyms

1
vote
2answers
161 views

Three inequalities with sums of fractions over two positive integers

In a proof, I arrive at three inequalities for all $p,q \geqslant 0$: \begin{align} \frac{p+1}{q+1} + \frac{q+1}{p+1} &\geqslant 1 + \frac{p}{2q+1} + \frac{q}{2p+1} + \frac{1}{p+q+1};\cr ...
3
votes
0answers
42 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 ...
4
votes
1answer
355 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$ ...
4
votes
1answer
121 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)$ ...
2
votes
1answer
181 views

Primitive Element for Field Extension of Rational Functions over Symmetric Rational Functions

A rational function $f$ in $n$ variables is a ratio of $2$ polynomials, $$f(x_1,...x_n) = \frac{p(x_1,...x_n)}{q(x_1,...x_n)}$$ where $q$ is not identically $0$. The function is called symmetric if ...
3
votes
0answers
49 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 $$ ...
2
votes
1answer
157 views

Identifying $k[x_1,x_2,y_1,y_2]^{\epsilon}$ with $k[x,y]\wedge k[x,y]$

Suppose the symmetric group $S_2$ of order 2 acts on $k^4=Spec \;k[x_1, x_2, y_1, y_2]$ by the following: for $\sigma\not=e$, $$\sigma\circ(x_1, x_2, y_1, y_2)=(x_2,x_1,y_2,y_1).$$ That is, the ...
0
votes
0answers
125 views

Showing that an alternating polynomial is the product of some symmetric polynomial and the Vandermonde polynomial

For simplicity, consider polynomials of two variables. Let $f(x,y)$ be an arbitrary alternating polynomial. I want to show that $f(x, y)$ is the product of some symmetric polynomial and the ...
7
votes
2answers
248 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: ...
5
votes
0answers
141 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 ...
8
votes
1answer
223 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 ...
4
votes
1answer
492 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 ...
6
votes
2answers
539 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 ...
2
votes
2answers
129 views

Why is this corollary a corollary? (Field extensions and symmetric polynomials.)

In Stewart and Tall's book on Algebraic Number Theory, they give a theorem of Newton: Theorem 1.12. Let $R$ be a ring. Then every symmetric polynomial in $R[t_1, \ldots, t_n]$ is expressible as a ...
9
votes
1answer
215 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 ...
6
votes
4answers
1k 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 ...
11
votes
1answer
2k 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 ...
3
votes
3answers
212 views

Do these special power functions generate all homogeneous symmetric polynomials?

Over rational numbers, the set of all power functions up to a certain degree generate all symmetric polynomials in that degree. My question is as follows. To be succinct, let's say we have four ...
4
votes
2answers
408 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!
5
votes
0answers
117 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 ...
6
votes
3answers
709 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 ...
2
votes
1answer
165 views

An identity on symmetric polynomial

In the polynomial algebra $\mathbb{C}[X_1, X_2,\ldots, X_n]$, we define a set of symmetric polynomials as follows $h_i(X_k, X_{k+1}, \ldots, X_n)$ = sum of all monomials of total degree $i$ in the set ...
6
votes
2answers
286 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 ...
5
votes
2answers
1k 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 ...
15
votes
2answers
2k 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 ...