Questions tagged [symmetric-polynomials]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
0 answers
56 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}(\...
user avatar
4 votes
1 answer
202 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 ...
user avatar
  • 4,184
9 votes
1 answer
200 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 ...
user avatar
  • 1,493
0 votes
0 answers
76 views

Number of integer solutions of a certain polynomial system of equations

Let the homogeneous polynomials $f_1,f_2,f_3\in\mathbb{Z}[x_1,x_2,x_3]$ be defined by \begin{align}f_1&=x_1^2x_2^2+x_1^2x_3^2+x_2^2x_3^2, \\\ f_2&=x_1x_2x_3(x_1+x_2+x_3), \\\ f_3&=(x_1-x_2)...
user avatar
  • 291
23 votes
1 answer
861 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, ...
user avatar
  • 543
5 votes
0 answers
610 views

A generalization of the difference of two squares identity

This question deals with finding explicit integer functions for the coefficients of the monomial expansion of the polynomial $$ Q \left( x_1, \ldots , x_n \right) = \prod_{\kappa_1, \ldots , \kappa_{n-...
user avatar
3 votes
1 answer
272 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| ...
user avatar
1 vote
1 answer
77 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, $\...
user avatar
3 votes
1 answer
179 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-...
user avatar
  • 183
3 votes
0 answers
93 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 ...
user avatar
  • 193
6 votes
1 answer
247 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, ...
user avatar
2 votes
0 answers
208 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). ...
user avatar
4 votes
2 answers
195 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 ...
user avatar
4 votes
1 answer
217 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 ...
user avatar
1 vote
0 answers
62 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$). ...
user avatar
  • 311
10 votes
1 answer
358 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$...
user avatar
  • 213
20 votes
2 answers
1k 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 ...
user avatar
  • 463
5 votes
1 answer
156 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 ...
user avatar
  • 22.2k
0 votes
0 answers
118 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 + ...
user avatar
5 votes
0 answers
252 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(\{(...
user avatar
  • 51
3 votes
1 answer
408 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 ...
user avatar
  • 8,262
1 vote
0 answers
111 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. ...
user avatar
  • 11
11 votes
3 answers
509 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}\...
user avatar
5 votes
3 answers
422 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}...
user avatar
2 votes
0 answers
113 views

Have these polynomials been studied? (Perhaps as generalizations of Schur polynomials in vector variables?)

For $n\geq 3$, let $\mathbf{a}_1,\ldots,\mathbf{a}_n \in \mathbb{Z}^2$ be a collection of points in the plane with integer coordinates $\mathbf{a}_i = (a_{1i},a_{2i})$ where each $a_{1i} > 0$. For ...
user avatar
  • 121
4 votes
1 answer
144 views

Applying a simple involution to Hall-Littlewood polynomials

Consider the Hall-Littlewood polynomial $$ P_\lambda(x_1,\ldots,x_n;t)=\sum_{\sigma\in S_n/S_n^\lambda}\sigma\left(x_1^{\lambda_1}\cdots x_n^{\lambda_n}\prod\limits_{\lambda_i>\lambda_j}\dfrac{x_i-...
user avatar
5 votes
1 answer
385 views

Polynomial defined recursively by a resultant

Cross posting from MSE. Definition: For any natural number $n\ge 3$, define the polynomial $P_{n}\left(x_1,x_2,...,x_{n-1},x_{n} \right)$, with indeterminates $x_{i}$, where $i\in\{1,2,...,n-1,n\}$, ...
user avatar
1 vote
0 answers
329 views

An explicit formula for characteristic polynomial of matrix tensor product [closed]

Consider two polynomials P and Q and their companion matrices. It seems that char polynomial of tensor product of said matrices would be a polynomial with roots that are all possible pairs product of ...
user avatar
  • 119
4 votes
1 answer
355 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 ...
user avatar
0 votes
1 answer
376 views

Symmetric polynomials in two sets of variables

Suppose $f(x_1,...,x_m,y_1,...,y_n)$ is a polynomial with coefficients in some field which is invariant under permuting the $x$'s and the $y$'s. Then $f$ can be generated elementary functions $e_k(x_1,...
user avatar
7 votes
2 answers
662 views

Maximize $L^p$ norm over sphere

For $p \in \mathbb{R}$, consider the function $$F_p(\lambda_1, \dots, \lambda_n) = \lambda_1^p + \dots + \lambda_n^p.$$ My goal is to maximize this function under the constraints that $$ \lambda_1^2 +...
user avatar
2 votes
0 answers
55 views

Classes of curves with "determinant-like operation"

Consider a motivating example: Let $E\in \mathbb{Q}[y][x]$ be of degree $n=2$ (in $x$) and separable when viewed as a member of $\mathbb{Q}[x,y]$. Therefore we can calculate it's roots in $\mathbb{Q}[...
user avatar
1 vote
1 answer
53 views

Does stability of equilibrium point preserved by permutation matrix (symmetry)?

Given the following differential equations: \begin{equation} \begin{aligned} \dot{x}_1 &= f_1(x_1,\ldots,x_n) \\ \vdots \\ \dot{x}_n &= f_n(x_1,\ldots,x_n) \end{aligned} \end{equation} In ...
user avatar
3 votes
0 answers
59 views

Bounds related to Monomial Symmetric Functions

Two of the well studied bases for symmetric functions over $\mathbb{Q}$ are the monomial symmetric functions $\{ m_{\lambda} \}_{\lambda \text{ a partition}}$ and the power sum symmetric functions $\{ ...
user avatar
3 votes
0 answers
268 views

Can we efficiently factor $n$ given that $n=pq$ where $p,q$ are primes satisfying $p=a^2+b^2, q=2ab+1$ for some $a,b$

Suppose we're given a particular number $n \in \mathbb{N}$. We're also given that $n=pq$ where $p,q$ are unknown primes satisfying $$ p=a^2+b^2 $$ and $$ q=2ab+1 $$ for some $a,b$. Is there an ...
user avatar
5 votes
1 answer
248 views

When is a linear combination of the elementary symmetric polynomials reducible?

Let $n\ge 2$ and consider the polynomial ring $\mathbb F [X_1,...,X_n]$, where $\mathbb F$ is a field. Let $e_j:=e_j(X_1,...,X_n)$ be the elementary symmetric polynomial of degree $j$ in $X_1,...,X_n$...
user avatar
3 votes
1 answer
509 views

Symmetry in the triangular distribution

A continuous function vanishes on $(-\infty,a]$ and on $[c,\infty),$ its graph is a straight line on the interval $[a,b]$ and another straight line on $[b,c],$ and its integral is $1.$ The mean of ...
user avatar
4 votes
1 answer
576 views

Symmetric functions of eigenvalues

Let $f: \mathbb{R}^n \rightarrow \mathbb{R}$ be a smooth function, which is symmetric under the action of the symmetric group (acting on $\mathbb{R}^n$ by permuting the variables). Let $M_{n\times n}$...
user avatar
7 votes
0 answers
221 views

Characterizing $n$-exceptions of the ring of symmetric polynomials

(Also in Mathematics Stack Exchange: https://math.stackexchange.com/questions/2528000/characterizing-n-exceptions-on-the-ring-of-symmetric-polynomials) We say that an homogeneous symmetric polynomial ...
user avatar
2 votes
0 answers
52 views

Different term's contribution in zonal polynomial

I am very interested in the contribution of different terms in a zonal polynomial. Let's focus on the simplest case. In (20) in "Distributions of matrix variates and latent roots derived from normal ...
user avatar
  • 113
3 votes
1 answer
485 views

Homogeneous polynomials and symmetric binary forms

Let $f\in k[x_0,...,x_n]_d$ be a degree $d$ homogeneous polynomial in $n+1$ variables. Is there a way to associate to $f$ a form $g(y_1,...,y_m)$ which is symmetric in the sets of binary variables $...
user avatar
  • 6,663
10 votes
1 answer
431 views

Cauchy identity in three sets of variables?

The Cauchy identity states that $$ \prod_{i,j} \frac{1}{1-x_i y_j} = \sum_\lambda s_\lambda(x) s_\lambda(y), $$ where $s_\lambda(x)$ is the Schur function. Is there a known decomposition of the ...
user avatar
  • 273
2 votes
0 answers
147 views

Macdonald polynomials: existence and specializations

I am reading Macdonald's Symmetric Functions and Orthogonal Polynomials lecture notes, and have several related questions: In both the type A case (chapter 1) and the general irreducible root system ...
user avatar
3 votes
1 answer
398 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 ...
user avatar
1 vote
5 answers
706 views

Inequality with symmetric polynomials [closed]

How to prove the inequality $a^6+b^6 \geqslant ab^5+a^5b$ for all $a, b \in \mathbb R$?
user avatar
3 votes
0 answers
142 views

How to Prove that the Eigenvalues of this Matrix are Zero, $\pm b$ for $b$ Real or Imaginary?

The matrix, $M$, is defined (below) in terms of elementary symmetric polynomials of a set. For some special cases the matrix is nilpotent; for other (sufficiently small) cases the characteristic ...
user avatar
5 votes
0 answers
182 views

Extracting the "positive" part of a polynomial

Let $p$ be an even polynomial of degree $2n$ such that all its roots are real; hence, it can be written as $p(x)=q(x)q(-x)$, where $q$ is a polynomial of degree $n$ will all roots non-negative. I am ...
user avatar
  • 652
4 votes
1 answer
155 views

Normalization of Jack polynomial integral-scalar product?

In eq. (10.35) of his book "Symmetric functions and Hall polynomials" I.G.Macdonald gives the following scalar product, under which Jack polynomials with different partitions $\mu\neq\lambda$ are ...
user avatar
9 votes
1 answer
243 views

Hyper-symmetric polynomials (reference request)

Let $M_n$ be the linear space of $n\times n$ matrices. The product of symmetric groups $S_n\times S_n$ acts naturally on $M_n$, and thus induces an action on the coordinate algebra $k[M_n]$. Is there ...
user avatar
6 votes
0 answers
297 views

Coefficients in expansion of a classical symmetric polynomial

If we expand \begin{equation} P_3(x_1,\ldots, x_n):=\Pi_{1\leq i<j<k\leq n} (x_i+x_j+x_k), \end{equation} then \begin{equation} P_3 = \sum_\alpha \sum_{\mathcal{O}(\alpha)} c_\alpha x_1^{\...
user avatar
  • 61