All Questions
Tagged with polynomials symmetric-functions
35 questions
20
votes
4
answers
8k
views
Expressing power sum symmetric polynomials in terms of lower degree power sums
Is there an explicit formula expressing the power sum symmetric polynomials
$$p_k(x_1,\ldots,x_N)=\sum\nolimits_{i=1}^N x_i^k = x_1^k+\cdots+x_N^k$$
of degree $k$ in $N < k$ variables entirely ...
- 203
17
votes
2
answers
3k
views
Maclaurin's inequality on elementary symmetric polynomials of arbitrary real numbers
Is there a universal constant $C$ such that the following statement holds? For concreteness, you may assume $C=10000$.
Let $a = (a_1, \ldots, a_n)$ be $n$ arbitrary real numbers. For an integer $k$, ...
- 381
14
votes
2
answers
1k
views
Symmetric group action on squarefree polynomials
The following dynamical system on polynomials comes mostly from idle curiosity, but I hope it is of some interest.
Background Fix some natural number $n$. Let $P$ be the quotient of the polynomial ...
- 15.5k
13
votes
4
answers
1k
views
$S_k(x+y)-S_k(x)-S_k(y)$ where $S_k$ is symmetric polynomial
Let $S_k$ be the $k$-th elementary symmetric polynomial of $n$ variables. 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 $y=(...
- 181
13
votes
1
answer
228
views
Recognizing algebraic independence among Schur polynomials
Given a set of integer partitions $\{\lambda_1, \lambda_2,\dots \lambda_n\}$. Are there combinatorial criteria for deciding whether the associated Schur polynomials $s_{\lambda_1}, s_{\lambda_2},\dots ...
- 85.6k
12
votes
3
answers
884
views
Symmetric version of Hilbert's seventeenth problem?
Artin's solution to Hilbert's seventeenth problem tells us that a multivariate polynomial $f$ takes only non-negative values over the reals if and only if it is a sum of squares of rational functions.
...
- 82.7k
12
votes
2
answers
660
views
On shifted symmetric power sums
The functions $p^*_k(x)=\sum_{i=1}^N ((x_i-i)^k-(-i)^k)$ are analogues of power sum symmetric functions, called shifted symmetric by Okounkov and Olshanski. Define $p^*_{(k_1,k_2,...)}=p^*_{k_1}p^*_{...
- 2,552
10
votes
1
answer
1k
views
Todd polynomials
Let $T_k(x_1,\ldots,x_n)$ be the Todd polynomials, $e_k(x_1,\ldots,x_n)$ the elementary symmetric polynomials and $p_k(x_1,\ldots, x_n)$ the power sums of degree $k$.
We have the following generating ...
- 988
9
votes
1
answer
820
views
When the splitting fields of shifted generic polynomials are linearly disjoint?
Let me start by rigorously pose my question.
Let $K$ be an algebraically closed field of characteristic $2$, let $n$ be an even integer number, let $f(X) = X^n + T_1 X^{n-1} + \cdots + T_n$, be the ...
- 3,362
8
votes
2
answers
2k
views
Expression for the sum of square roots of zeros of a polynomial
Let $f(x)$ be a polynomial of degree $n$ with rational coefficients whose zeroes are nonnegative real numbers: $x_1, \dots, x_n\geq 0$.
General question. Does there exist a simple expression for the ...
- 34.3k
8
votes
2
answers
1k
views
What is known about zero-sets of Schur polynomials?
Consider a set S of partitions not containing the empty partition (I would be happy with, say, all the partitions of size less than k, except for the empty one).
Let $U_\lambda^{(r)}$ be the zero-...
- 81
8
votes
0
answers
171
views
An Ehrhart positivity question related to Schur polynomials
Consider the Schur polynomial $s_\lambda(x_1,\dotsc,x_k)$.
It is easy to see from the hook-content formula for counting the number of semi-standard tableaux, that the function
$$
n \to s_{n \lambda}(1,...
- 15.8k
6
votes
1
answer
308
views
A "known" Pythagorean identity in algebra?
Some will recognize this as similar to a question I asked before, but
I want to ask it without the trigonometry.
Let $e_k$ be the $k$th-degree elementary symmetric polynomial in
$x_1,x_2,x_3,\ldots$. ...
6
votes
1
answer
320
views
Sum of derivative of polynomial over its simple roots
Let $P$ and $Q$ be polynomials over $\mathbb C$, and $n\in\mathbb N$ be a positive integer. I'm interested in the root sums of the form
$$ \sum_{P(x)=0}\frac{Q(x)}{P'(x)^n},$$
where the sum runs over ...
- 99
6
votes
1
answer
1k
views
Specializations of Schur functions at consecutive integers
Given a partition λ = (λ1, λ2, ..., λn) denote with sλ the associated Schur function.
There exists a nice product formula for the principal specializations:
sλ...
- 1,412
5
votes
1
answer
242
views
Jack polynomials and the Witt algebra
The symmetric Jack polynomials $J_n^{\alpha}(x_1,x_2,..,x_{n+1})$, a special subset of the symmetric Jack functions presented in Stanley's paper in equation a) on page 80, can be represented by the ...
- 10.5k
4
votes
1
answer
434
views
Jack symmetric functions and their inner products
I have some questions regarding Jack polynomials. I use the notation of of I.G. Macdonald's book "Symmetric Functions and Hall polynomials".
Let $\Lambda$ be the ring of symmetric functions over $\...
- 41
3
votes
1
answer
535
views
Singular locus of zero set of elementary symmetric polynomial
Let $\sigma_{m, r}$ be the degree-$r$ elementary symmetric polynomial in $m$ variables. Let $X_{m, r}$ be the zero set of $\sigma_{m, r}$ and $S_{m, r}$ its singular locus. I.e.,
$S_{m,r}$ is the set ...
- 595
3
votes
1
answer
100
views
Is there a (simple) criterion for membership to the base field of an inseparable extension?
Let $F$ be a field, let $f \in F[x]$, let $E$ be the splitting field of $f$, and let $e \in E$ be written in terms of the roots of $f$.
I'm looking for a simple way to establish if $e \in F$.
If $E/F$ ...
- 157
3
votes
1
answer
323
views
Polynomial function defined recursively by a resultant - is it well defined?
Preliminaries
Let $ n $ be an integer such that $ n \geq3 $. Denote $ \left[ n \right] \equiv \{1,2, \ldots ,n \} $. Let $ P $ be a non-empty subset of $ \left[ n \right] $ such that $ \left|P \right| ...
- 149
3
votes
1
answer
245
views
Degree principles for non-symmetric polynomials
A theorem of Timofte says that a symmetric polynomial inequality of degree $d$ holds on $\mathbb{R}^{n}_{+}$ if and only if it holds for all vectors in $\mathbb{R}^{n}_{+}$ with at most $\max\{\lfloor ...
- 6,962
3
votes
0
answers
119
views
Is there an analog of polarization for skew-symmetric forms?
This question might be too lightweight here but on math.SE it did not receive any feedback since May 2, so...
Polarization works both ways. Not only can you represent any homogeneous polynomial $f$ of ...
- 18.4k
3
votes
0
answers
84
views
Subalgebras of a polynomial ring carved out by (families of) coefficient equalities
Let $\mathbf{k}$ be a field, and let $P=\mathbf{k}\left[ x_{1},x_{2}
,\ldots,x_{n}\right] $ be a polynomial ring over $\mathbf{k}$ in $n$
variables $x_{1},x_{2},\ldots,x_{n}$. Alternatively, $P$ can ...
- 33.8k
2
votes
1
answer
431
views
Lagrange interpolation vs homogeneous symmetric polynomials?
This question is a follow-up on another MO query here.
Question. For $r\geq$ an integer, is it true that there exists homogeneous symmetric polynomial $P_r(x_1,\dots,x_n)$ with positive ...
- 43.2k
2
votes
1
answer
162
views
Maximally independent polynomial families with row symmetry
Introduction:
In the 1-dimensional case, given $m$-variables
$$\mathbf{x} = (x_1,x_2,\dots,x_m)^T,$$
the elementary symmetric polynomials $(e_k(\mathbf{x}))_{k=1}^m$ give a "symmetric basis",...
- 473
2
votes
0
answers
55
views
Function expansion in high partition Jack polynomials?
For Jack polynomials $J_\lambda^\alpha(x_1,x_2,...,x_n)$ there exists i.e. the following relation
$$\sum_\lambda J_\lambda^\alpha(x_1,x_2,...,x_n)J_{\lambda'}^{\frac{1}{\alpha}}(y_1,y_2,...,y_m)=\...
- 331
1
vote
1
answer
426
views
Roots of the derivative as symmetric functions of the roots of the polynomial
Let $p(t)=(t^2-a_1^2)\ldots(t^2-a_n^2)$ be an even polynomial with distinct real non-zero roots. Can the roots of its derivative $p'(t)$ be expressed nicely (e.g. as rational symmetric functions) in ...
- 131
1
vote
1
answer
243
views
Combinatorics and geometry underlying a refined Pascal matrix/Newton identities
The partition polynomials of OEIS A263633 give the coefficients of the power series/o.g.f of the multiplicative inverse (reciprocal) of a power series/o.g.f. and so give the Newton identities for ...
- 10.5k
1
vote
0
answers
63
views
Factorization of the symmetric function identity $E(t)=1/H(t)$ with the refined Euler characteristic polynomials of associahedra / Lagrange inversion
I've come across two matrix identities, flagged with daggers below, relating the two sets of elementary and complete homogeneous symmetric polynomials/functions via the two sets of refined Lah and ...
- 10.5k
1
vote
0
answers
216
views
Classical and free cumulants, symmetric functions, and inverses (references), related to associahedra, parking functions, noncrossing partitions
Looking for references for one or more of the following four sets of partition polynomials 1a) through 4a), particularly those which present geometric / topological combinatorial interpretations.
...
- 10.5k
1
vote
0
answers
136
views
Calculation of complete homogeneous symmetric functions [closed]
Say you have a complete homogeneous symmetric function $$h_4 = \sum_{1\leq i \leq j \leq k \leq l}q^{-i}q^{-j}q^{-k}q^{-l},$$ where $i = 1, 2, 3, \ldots$. There are 7 cases to consider, given by
$$...
0
votes
0
answers
176
views
$\mathbb{C}(x,f,g)=\mathbb{C}(x,y)$, with each pair of $\{f,g,x\}$ not generating $\mathbb{C}(x,y)$
Let $f,g \in \mathbb{C}[x,y]$ with total degrees $\deg_{1,1}(f),\deg_{1,1}(g) \geq 1$.
Write,
$f=a_ny^n+a_{n-1}y^{n-1}+\cdots+a_1y^1+a_0$
and
$g=b_my^m+b_{m-1}y^{m-1}+\cdots+b_1y^1+b_0$,
for some $n,m ...
- 2,837
0
votes
0
answers
96
views
"Degenerate" Schur polynomials
Let's say that a Schur polynomial is degenerate if its number of variables is less than the weight of the partition it is associated to. For example, according to Sage, the Schur polynomial of the ...
- 2,560
0
votes
0
answers
36
views
Sufficient conditions for a polynomial function to have the same critical points as its symmetrized version
Are there any sufficient conditions known for a polynomial function (of many variables) to have the same critical points as its symmetrized version (with respect to all variables)?
This question has ...
- 765
0
votes
0
answers
79
views
Quick calculation of a symmetric product with two indices
Say I have a product $\prod_{1\le i \le N-1}\prod_{i<j\le N-1} (1+t_i t_j a_{ij})$, where $a_{ij}$s are real number. I want to calculate the coefficient of $\prod_{0 \le i < N} t_i$. Is there an ...
- 397