Questions tagged [symmetric-polynomials]
The symmetric-polynomials tag has no usage guidance.
111
questions
3
votes
0
answers
110
views
Explicit basis of symmetric harmonic polynomials
An orthonormal basis for the space of harmonic polynomials in $n$ variables is provided by the spherical harmonics on the $n-1$ sphere, see e.g. wiki.
From there, constructing an orthonormal basis for ...
- 8,775
5
votes
1
answer
248
views
The coefficients of the Jack polynomials are polynomials in the Jack parameter
I implemented the Jack polynomials with a symbolic Jack parameter $\alpha$ in their coefficients ($\alpha=1$ for Schur polynomials, $\alpha=2$ for zonal polynomials). From my implementation (and also ...
- 178k
5
votes
0
answers
199
views
Monotonicity of ratio of symmetric polynomials
The complete homogeneous symmetric polynomials of degree $\ell$ in $n$ variables are defined by
\begin{equation*}
h_{\ell}(x_1,x_2,\ldots,x_n) = \sum_{1 \leq i_1 \leq i_2 \leq \ldots \leq i_{\ell} \...
5
votes
3
answers
401
views
Applying $\sum_i \partial_{x_i}$, $\sum_i x_i \partial_{x_i}$ and $\sum_i x_i^2 \partial_{x_i}$ to Schur polynomials
The operators $L_k=\sum_i x_i^k\frac{\partial}{\partial x_i}$, with integer $k$, take symmetric polynomials into symmetric polynomials.
Is it known how to write the result of the application of $L_0$, ...
- 16.5k
1
vote
1
answer
65
views
Multidimensional power series with coefficients equal to an order of stabilizer of a set of powers
I have encountered a necessity to work with a series of the following form.
There are $N$ variables $x_1,\ldots x_N$. It is convenient to introduce monomial symmetric polynomials $m_{\lambda}$. They ...
- 21.8k
0
votes
0
answers
68
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
1
vote
0
answers
37
views
Matrix transform of the bivariate Narayana polynomials into the arithmetic and geometric means of the two indeterminates
The matrix identity presented below is a specialization of the more general result displayed in the MSE-Q "Lah and associahedra partition polynomials and symmetric functions (reference request)&...
- 9,931
1
vote
0
answers
75
views
Hall-Littlewood polynomials with sage
I need to make some computations with Sage involving Hall-Littlewood polynomials. I couldn't find any satisfying information in the Sage manuals/tutorials that I found on the internet. What I found is ...
- 6,174
2
votes
0
answers
91
views
Lower & upper bound on the maximal component given the system of power sums
Given a non-negative vector $x=(x_1,x_2,\dots,x_n)\in\mathbb{R_{>0}^n}$ and $m\in\mathbb{N}$, construct a system of power sum symmetric polynomials (or norms, if you like)
$$
\begin{cases}
x_1+x_2+\...
- 21
5
votes
0
answers
967
views
A generalization of the difference of squares identity
Let us find explicit integer functions for the coefficients of the monomial expansion of
$$
Q \left( x_1, \ldots , x_n \right) = \prod_{\left( \kappa_1, \ldots , \kappa_{n-1} \right) \in \{-1,1\}^{n-1}...
- 149
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$, ...
- 109k
-1
votes
1
answer
289
views
Must 'special' $u,v \in \mathbb{C}[x,y]$ be symmetric polynomials?
The idea for the following question came from Joachim König's last comment appearing
here, namely, the example with $u=x+y^3,v=x^3+y$.
Let $u,v \in \mathbb{C}[x,y]-\mathbb{C}$. Denote by $\alpha$ the ...
CommunityBot
- 1
4
votes
1
answer
334
views
Can the ring of symmetric polynomials be generated by powers of symmetric polynomials of degree 1?
I'm making a research on Galois theory, and found something interesting regarding the ring of symmetric polynomials:
At least up to 5 variables, we can rewrite the elementary symmetric polynomials ...
- 137k
3
votes
1
answer
60
views
Alternative bases of symmetric polynomials in cohomology ring of flag varieties and coinvariant algebras
$\DeclareMathOperator\Fl{Fl}$It is known that $H^*(\Fl(m)) \cong R^{\mathbb Z}(m)$, where $\Fl(m)$ denotes the variety of complete flags in $\mathbb C^m$, and $R^{\mathbb Z}(m)$ is the coinvariant ...
- 11.4k
7
votes
1
answer
321
views
Decomposition of a tensor product of representations of $\mathrm{GL}_l(\mathbb{C})$ and decomposition of Littlewood-Richardson numbers?
For a positive integer $m$, denote $T(m)=\{(\lambda_1,\dots,\lambda_m)\in \mathbb{Z}^m:\lambda_1\ge \lambda_2\ge\dots \ge\lambda_m\}$ and $T^+(m)=\{ (\lambda_1,\dots,\lambda_m)\in \mathbb{Z}^m:\...
- 960
0
votes
0
answers
91
views
Applications of Jack polynomials
I developed four libraries (Julia, R, Python, Haskell) for the computation of Jack polynomials. I developed them for fun because I found this was programmatically interesting. But now I'd like them to ...
- 2,433
7
votes
0
answers
80
views
Generalization of Lucas sequences to order 3 (and above)
For fixed integer parameters $(P,Q)$, Lucas sequences represent a pair of complimentary integer sequences satisfying the same recurrence with the characteristic polynomial $f(x):=x^2 - Px + Q$. The ...
- 30.6k
13
votes
2
answers
2k
views
Diagonal invariants of the symmetric group on $k[X_1,X_2,...,X_n,Y_1,Y_2,...,Y_n]$
This sounds like something that must have been answered long ago, but for some reason I can find nothing on it in the internet. (There has been lots of recent activity in diagonal covariants, related ...
- 1,446
3
votes
1
answer
292
views
Proof of a combinatorial identity for a sum over partitions of sets giving rise to a symmetric polynomial?
Consider a set $N$ with elements $n_1, n_2, \dots, n_k$ which are distinct integers. Introduce the notation $N_{i=1,2,\dots,s}$ for the $s$ blocks of a set partition of $N$. Consider a supplementary ...
- 21.8k
3
votes
1
answer
143
views
Bounds on symmetric polynomials in power-sum form with bounded coefficients
Let $\boldsymbol{x}=(x_1,\ldots,x_n)$ be a real vector. Define the normalized power-sum symmetric polynomials by $\pi_j(\boldsymbol{x})=\frac 1n(x_1^j+\cdots+x_n^j)$.
For a partition $\lambda= (j_1,\...
CommunityBot
- 1
6
votes
1
answer
514
views
Construction of a symmetric polynomial in the roots that acts like the discriminant
The discriminant $\Delta(P)$ of a monic polynomial $P(x)=x^n + a_{n-1} x^{n-1} + \dotsb + a_0$ of degree $n$, when expanded (using elementary symmetric polynomials), is a symmetric polynomial of ...
- 11.4k
8
votes
1
answer
572
views
When the Littlewood-Richardson rule gives only irreducibles?
Given the famous Littlewood-Richardson rule, in terms of Schur polynomials:
$$s_\mu s_\nu=\sum_\lambda c^{\lambda}_{\mu\nu} s_\lambda,$$
is there a classification of the cases where the LR ...
- 16.3k
1
vote
0
answers
111
views
Schur polynomial with integer values
There is a way to characterize for which $x_1,...,x_d$ a Schur polynomial, that can be defined as
$$s_\lambda(x_1,...,x_d)=\sum_{T\in SSYT(\lambda)}x_1^{t_1}...x_d^{t_d}, $$
with the sum running over ...
2
votes
0
answers
91
views
Symmetric polynomial constructed from symmetric group
Let $n$ be a positive integer, $S_n$ be the symmetric group. For a permutation $p=[p_1,\dots,p_n]\in S_n$, define $x^p := x_1^{p_1}\cdots x_n^{p_n}$. It can be seen that the following polynomial is ...
- 30.6k
3
votes
0
answers
40
views
Different generating sets for conjugation invariants of several matrices
There is a theorem of Procesi that the ring of polynomial functions on tuples $(A_1,A_2, \dots, A_m)$ of $n \times n$ matrices, which are invariant under simultaneous conjugation, is generated by ...
- 60.2k
2
votes
0
answers
115
views
Positive values of Schur polynomials
Recall that for a given partition $\lambda=(\lambda_1,\ldots,\lambda_r)$, its Schur polynomial in $n$-variables is the sum of monomials
$$s_\lambda(x_1,\ldots,x_n)=\sum_{T\in\operatorname{SSYT}(\...
- 823
4
votes
1
answer
307
views
Nonnegativity locus of Schur polynomials
Let $a_1,\ldots,a_n \in \mathbb{C}$ be complex numbers that are the zeros of a real polynomial (meaning that the non-real ones come in complex conjugate pairs). Suppose that these numbers are such ...
- 5,795
23
votes
1
answer
967
views
Symmetric polynomial inequality arising from the fixed-point measure of a random permutation
A somewhat strange elementary polynomial inequality came up recently in my work, and I wonder if anyone has seen other things that are reminiscent of what follows.
Given $n$ non-negative reals $a_1, ...
CommunityBot
- 1
10
votes
1
answer
391
views
Symmetric polynomials that detect positivity
Imagine there are numbers $a_1,\ldots,a_n \in \mathbb R$ and you want to know whether they are all positive. You cannot access the numbers themselves, but you can choose any symmetric polynomials you ...
- 49.5k
3
votes
1
answer
311
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| ...
- 22.2k
1
vote
1
answer
100
views
A question about finding a system of invariants for a subgroup $H$ of the symmetric group $S_n$
If $H = S_n$ then then the fundamental symmetric polynomials allow to write any $S_n$-invariant polynomial $f$ as a polynomial expression of these elementary symmetric functions. In other words, $\...
- 133
3
votes
1
answer
190
views
Conjecture on some combinatorial constant
In the process of computing Shapley values, I observed an interesting combinatorial constant. I am not exactly sure where such behavior comes. And here is the conjecture.
Notations
For any finite non-...
- 6,571
4
votes
1
answer
367
views
Possible values of symmetric functions evaluated on quaternions
$\DeclareMathOperator\sym{sym}$Let $i$, $j$, $k$ be the units of quaternions, in particular $i^2=j^2=k^2=-1$, $ijk=-1$.
We will use non commutative variables $x$, $y$, $z$. Define $\sym_{a,b,c}$ to be ...
CommunityBot
- 1
3
votes
0
answers
139
views
Multiplicities of irreducible $U(n)$-modules in the tensor product $V_{\lambda}\otimes V_{\mu}$
It is known that every irreducible representation of the unitary group $U(n)$ can be uniquely described by the non-increasing sequence $\lambda=(\lambda_1,\ldots,\lambda_n)$ of integers (denote the ...
- 379
13
votes
3
answers
850
views
Examples of 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*}
e_{h}(\...
- 17.5k
6
votes
1
answer
291
views
Representing a symmetric polynomial as a conical sum of squares
This question in inspired by the recent solution to another question.
The following inequality for monomial symmetric polynomials in 4 positive variables $x_1,x_2,x_3,x_4$:
$$m_{(4, 3, 2, 1)} + m_{(4, ...
- 1,054
2
votes
0
answers
321
views
The Galois resolvent in Lagrange
In Edwards' "Galois Theory" articles 29-31, the notion of Galois resolvent is motivated by a result of Lagrange (article 104 in his Réflexions sur la résolution algébrique des équations). ...
- 439
4
votes
2
answers
248
views
Schur positivity of a polynomial
Suppose a polynomial of the form
$$\prod_i^d \sum_j^p x_i^{f_j}$$
clearly symmetric, where $f_j\in \mathbb{N}$. There is a way to find the set of $f$ numbers such that this polynomial is Schur ...
- 15.6k
4
votes
1
answer
237
views
proof of result from Ian Macdonald's paper "A New Class of Symmetric Functions"
I'm currently working my way through Ian MacDonald's somewhat seminal 1988 paper entitled "A New Class of Symmetric Functions" in Seminaire Lotharingien B20a, pp. 131–171 (EuDML). I'm fine ...
- 1,813
1
vote
0
answers
107
views
sum of squares of the coefficients of a monic polynomial [closed]
Consider the monic polynomial $$f: = X^n + a_1 X^{n-1} + \cdots + a_n$$ over $\mathbb Z$. Let $p_i$ be the $i$_th power sum ($1 \le i \le n$) of the roots of $f$ (in some extension of $\mathbb Z$). ...
- 346
20
votes
2
answers
2k
views
Formula expressing symmetric polynomials of eigenvalues as sum of determinants
The trace of a matrix is the sum of the eigenvalues and the determinant is the product of the eigenvalues. The fundamental theorem of symmetric polynomials says that we can write any symmetric ...
- 463
10
votes
1
answer
464
views
Generalization of symmetric functions
A $n$-variable function $f$ is a symmetric function if
$$f(x_1,x_2, \ldots, x_n) = f(x_{\sigma(1)}, x_{\sigma(2)}, \ldots, x_{\sigma(n)})$$
for every permutation $\sigma \in S_n$.
In particular, if $f$...
- 245
5
votes
1
answer
210
views
Frobenius algebras from symmetric polynomials
Let $K$ be a field of characteristic 0 (maybe it works for more general fields) and $K[x_1,...,x_n]$ the polynomial ring in $n$ variables. Let $e_1,e_2,...,e_n$ denote the elementary symmetric ...
- 49.5k
0
votes
0
answers
175
views
Generalization of elementary symmetric polynomials
The elementary symmetric polynomials (ESPs) are defined as -
\begin{align*}
E_{1}^{1}
&= X_1,
\\
E_{1}^{2}
&= X_1 + X_2,
\\
E_{2}^{2}
&= X_1 X_2,
\\
E_{2}^{3}
&= X_1 X_2 + X_1 X_3 + ...
- 47
5
votes
0
answers
373
views
Expressing the elementary symmetric polynomials in the $(x_i-x_j)^2$ variables in term of the elementary polynomials in the $x_k$ variables
Let $n>1$ be an integer and let $P$ be a multivariate symmetric polynomial in $n(n-1)/2$ variables.
Let us define the multivariate polynomial $Q_P$ in n variables as:
$Q_P(x_1,...,x_n)=P\left(\{(...
- 5,163
4
votes
1
answer
512
views
Derivatives of Riemann $\xi$ and traces of zeros
Looking for references essentially corroborating (to authoritatively satisfy some editors) the sketch below of the relationship between even power (2,4,...) sums (traces) of the imaginary part of the ...
- 6,976
1
vote
0
answers
150
views
Symmetric functions for multidimensional variables
I have $N$ variables (let's call them $X$) of dimensionality $D$, that I want to make permutation invariant.
For $D=1$ I know I can use e.g. the elementary symmetric polynomials to accomplish this. ...
- 11
11
votes
3
answers
628
views
Polynomial inequality of sixth degree
There is the following problem.
Let $a$, $b$ and $c$ be real numbers such that $\prod\limits_{cyc}(a+b)\neq0$ and $k\geq2$ such that $\sum\limits_{cyc}(a^2+kab)\geq0.$
Prove that:
$$\sum_{cyc}\...
- 1,054
5
votes
3
answers
497
views
Polynomial inequality $n^2\sum_{i=1}^na_i^3\geq\left(\sum_{i=1}^na_i\right)^3$
Let $n\ge 3$ be an integer. I would like to know if the following property $(P_n)$ holds: for all real numbers $a_i$ such that $\sum\limits_{i=1}^na_i\geq0 $ and $\sum\limits_{1\leq i<j<k\leq n}...
- 1,855
5
votes
2
answers
265
views
Is there a similar theory as for symmetric polynomials, that deals with polynomials on the entries of matrices that are symmetric in both dimensions?
I am looking at a polynomial of the entries of a matrix, and this polynomial is invariant under permutation of the rows or columns of the matrix. Is there a similar characterization as in the case of ...
- 21.8k