Questions tagged [symmetric-functions]

Symmetric functions are symmetric polynomials, in finitely many, or countably infinitely many variables. They arise in the representation theory of symmetric groups and in the polynomial representation theory of general linear groups. Bases of the ring of symmetric functions are indexed by integer partitions. Schur functions, elementary symmetric functions, complete symmetric functions, and power sum symmetric functions are the most commonly used bases.

Filter by
Sorted by
Tagged with
0
votes
1answer
77 views

Derivatives of Riemann $\xi$ and traces of zeros

Looking for references essentially corroborating the sketch below of the relationship between even power (2,4,...) sums (traces) of the imaginary part of the complex zeros above the real axis of the ...
0
votes
0answers
48 views

Symmetric functions for multidimensional variables

I have $N$ variables (let's call them $X$) of dimensionality $D$, that I want to symmetrize. For $D=1$ I know I can use e.g. the elementary symmetric polynomials to accomplish this. What if $D>1$...
0
votes
0answers
71 views

Can we extend a function from the diagonal matrices to an orthogonally-invariant function on $\text{GL}_n$?

This is a cross-post. Let $g:(0,\infty)^n \to [0,\infty)$ be a symmetric function -i.e. $g(\sigma_1,\dots,\sigma_n)$ does not depend on the order of the $\sigma_i$, with $g(1,\dots,1)=0$. We ...
5
votes
1answer
163 views

Jack function in power symmetric basis

In Macdonald's book, the Jack symmetric function $J_{\lambda}(x_1,\ldots, x_n)$ for a partition $\lambda$ is defined by three properties (orthogonality, triangularity, and normalization). In the ...
5
votes
1answer
133 views

Using irreducible characters of the orthogonal group as basis for homogeneous symmetric polynomials

The irreducible characters of the orthogonal group $O(2N)$ are given by $$ o_\lambda(x_1,x_1^{-1},...x_N,x_N^{-1})=\frac{\det(x_j^{N+\lambda_i-i}+x_j^{-(N+\lambda_i-i)})}{\det(x_j^{N-i}+x_j^{-(N-i)})}...
7
votes
2answers
264 views

What makes skew characters of the symmetric group special?

For integer partitions $\mu\subset\lambda$ we can define the skew character $\chi^{\lambda/\mu}$ (for example?) via the Littlewood-Richardson rule. Many combinatorial gadgets and algorithms extend in ...
0
votes
0answers
24 views

Multivariate analogue of exponential infinite series

(Originally asked in MSE, but got no answers) The most famous infinite series are the geometric and exponential ones, $$ \sum_{n=0}^\infty x^n=\frac{1}{1-x},\quad \sum_{n=0}^\infty \frac{x^n}{n!}=e^{...
1
vote
0answers
85 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 $$...
3
votes
0answers
40 views

Solutions to a special confluent Vandermonde system

Consider the polynomial $P(X) =\prod_{i=1}^k (X-x_i)^s$ and let $M$ be the corresponding confluent Vandermonde matrix. Concretely, here is what I mean by that. Define $$ M^{(0)} = \begin{pmatrix} 1 &...
1
vote
0answers
89 views

Change variable in integration with symmetry

Not sure if I can ask such fundamental problem here. Let $G$ be a finite group, $\sigma \in G$. Consider linear group actions fo $G$ on $\mathbb{R}^n$. $\sigma(K)=\{x\in \mathbb{R}^n: \sigma^{-1}(...
3
votes
0answers
46 views

Why do we define the hypergeometric function of a matrix argument for symmetric matrices only?

The hypergeometric function of a matrix argument has form $$ {}_pF_q^{(\alpha)}(a_1, \ldots, a_p; b_1, \ldots, b_q;X) = \sum_{k=0}^\infty\sum_{\kappa\vdash k} c^{(\alpha)}_{a,b} J^{(\alpha)}_\kappa(X)...
1
vote
0answers
18 views

Does the hypergeometric function of a matrix argument depend on $\alpha$ for a $1\times 1$ matrix?

I already posted this question on maths.SE but got no answer. The hypergeometric function of a matrix argument has form $$ {}_pF_q^{(\alpha)}(a_1, \ldots, a_p; b_1, \ldots, b_q;X) = \sum_{k=0}^\...
4
votes
1answer
97 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-...
1
vote
0answers
48 views

look for differentiable symmetric functions whose global minimizer has all distinct components

For symmetric functions, people ask Do symmetric problems have symmetric solutions?, e.g., [3] and [4]. The answer is no in general. However, solutions of symmetric problems often exhibit certain ...
2
votes
0answers
74 views

Macdonald's idea of his kth weight

This question is about Macdonald's symmetric polynomials theory. Going through related papers and literature, it seems to me that the magical part of his theory lies in how the k-th weight function $\...
6
votes
1answer
247 views

Iterated derivative and rectangular standard Young tableaux

We first make a few definitions, seemingly out of the blue (they are introduced/defined in this paper). Let $F^0_{a}(z) = (1-z)^{-1}$ and define recursively $$ F^{k+1}_{a}(z) = z^{a-1} \frac{d^a}{dz^...
3
votes
0answers
69 views

Decomposing Schur functor applied to a tensor product

I want to compute $$ S^{2,2,\dots,2,1}(\mathbb C^{2m-1} \otimes W)^{SL(2m-1)} $$ Here $m$ numbers should appear in the superscipt of the Schur functor, and the last superscript means to take $SL(2m-1)$...
3
votes
1answer
94 views

Pieri-type rule for Schur P-functions

This question is about symmetric functions. As usual, let $s_\lambda$ denote the Schur function corresponding to a partition $\lambda$. For $r\geqslant1$, let $d_r$ denote the map defined on symmetric ...
1
vote
0answers
47 views

$G$-analogues of symmetric functions (reference request)

Let $G$ be a simple graph with vertex set $V$. Stanley defined the $G$-analogs of the symmetric function as follows: For $i \ge 0$, define $$e^G_i = \sum_S \big(\prod_{v \in S}v\big)$$ where the sum ...
1
vote
1answer
79 views

Interpolating Maximum function with symmetric polynomials

Let $n$ and $p$ be two positive integers. Consider the function $$\max_{n,p}:\{0,\dots,n\}^p\to\{0,\dots,n\}$$ that computes the maximum of a $p$-tuple of integers in the range $\{0,\dots,n\}$. Are ...
2
votes
0answers
82 views

Is there an example of two graphs with the same Dichromatic Symmetric Function?

There are examples of two graphs with the same Symmetric Chromatic Function. I was wondering if there was an example that held for the Dichromatic Symmetric Chromatic Function. EDIT : To define the ...
1
vote
0answers
23 views

Extension of definition of Holonomic closure

My question is about finding the annihilator of a series. Let me begin with what is known and then ask my question. Let $s_d(\frac{q_1}{h},\ldots )$ denote schur function for partition $\lambda =[d]$ ...
9
votes
0answers
250 views

Symmetric function transition matrix and a non-conjecture by Clifford and Stanley

Consider the transition matrix $R = \left(R_{\lambda,\mu}\right)$, defined by $$ p_\lambda = \sum_{\mu} R_{\lambda\mu}m_\mu , $$ between the power-sum and the monomial basis of the ring of symmetric ...
2
votes
0answers
71 views

Schur function on unit circles

Define $T^d$ as following $$ T^d = \left\{(t_1,\cdots,t_d)\in\mathbb{C}^{d}\mid |t_i|= 1 \mbox{ for all } i\right\} $$ For any partition $\lambda\vdash n$,The Schur function is defined $$ \...
7
votes
2answers
218 views

Characters of orthogonal groups as symmetric functions

This question was asked on MSE some time ago, here, but got no attention. The Schur functions are characters of irreps of the unitary group, $s_\lambda(U)=Tr(R_\lambda(U))$. They are symmetric ...
8
votes
3answers
568 views

The vanishing of sum of coefficients: symmetric polynomials

Denote $\pmb{X}_n=(x_1,x_2,\dots,x_n)$. Consider the symmetric polynomial $$f_n(\pmb X_n)=\prod_{1\leq i<j\leq n}(x_i+x_j).$$ Expand these in terms of elementary symmetric polynomials, say $$f_n(\...
4
votes
1answer
130 views

Littlewood-Richardson coefficients for zonal polynomials

The Littlewood-Richardson coefficients $c^\lambda_{\mu\nu}$ appear in the expansion of a product of Schur functions into Schur functions, $s_{\mu}(x)s_\nu(x)=\sum_\lambda c^\lambda_{\mu\nu}s_\lambda(x)...
2
votes
0answers
84 views

How to prove this identity on summations and partitions?

Let $f$ be a symmetric function of $s$ variables. The identity is $$\sum_{all \ k's}^\infty f(k_1,k_2,k_3,...,k_s)=\sum_{n=s}^\infty \sum_{\lambda\vdash n}\frac{s!\prod_l \lambda_l}{z_\lambda} f(\...
2
votes
1answer
297 views

An inequality on elementary symmetric polynomial of eigenvalues

For $A \in \mathbb{R}^{n\times n}$, I am wondering if the following inequality holds, $$\text{tr}(A)^2 - \text{tr}(A^2) \leq ||A||_*^2 - ||A||_F^2$$ This is equivalent to the following inequality on ...
2
votes
0answers
127 views

A symmetric function that appears in the coefficients of a power expansion

Let's say we have the expression $$\sum_{k_1=1}^\infty\sum_{k_2=1}^\infty\sum_{k_3=1}^\infty\sum_{k_4=1}^\infty\sum_{k_5=1}^\infty x^{k_1+k_2+k_3+k_4+k_5} f(k_1,k_2+k_3,k_4+k_5)$$ where $f(a,b,c)$ is ...
1
vote
1answer
239 views

Evaluation of a complete homogeneous symmetric polynomial related to Stirling number of 2nd kind

It is well known that the complete homogeneous symmetric polynomial $h_{n-k}(1,\,2,\,3, ...,\,k-1,\,k)$ equals $S(n,\,k)$ the Stirling number of the second kind. [Wikipedia] During a research project ...
15
votes
1answer
506 views

Schur-Weyl duality and q-symmetric functions

Disclaimer: I'm far from an expert on any of the topics of this question. I apologize in advance for any horrible mistakes and/or inaccuracies I have made and I hope that the spirit of the question ...
4
votes
1answer
118 views

Optimizing a multivariate symmetric (permutation-invariant) function

Let $\ell$ and $d$ be two integers such that $\ell \le d$. I would like to find the global maxima of the following symmetric function $f\colon (0,1]^n \to \mathbb{R}$, $$f(x_1, \ldots, x_n) := \sum_{\...
8
votes
0answers
135 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,...
12
votes
1answer
300 views

Is there a Giambelli identity with dual representations?

For natural numbers $a,b$ with $b\leq n-1$, let $V_{ (a|b)}$ be the irreducible representation of $GL_n$ with highest weight vector $(a+1, 1^b, 0^{n-b-1})$ where the exponentiation denotes repetition. ...
6
votes
0answers
143 views

Macdonald's “Symmetric Functions and Hall Polynomials” Section 1.5 Example 9

I'm trying to follow Example 9 in Section 1.5 of the 2nd edition of Macdonald's book "Symmetric Functions and Hall Polynomials". I have trouble with understanding some points. Before stating my ...
3
votes
0answers
99 views

Shifted schur function and holonomic

Now let us denote by $\Lambda^{*}(n)$ the algebra of polynomials in $x_{1},\ldots,x_{n}$ that become symmetric in new variables $$ x_{i}'=x_{i}-i+c, \ i \in 1,\ldots,n.$$ Here c is a arbitrary fixed ...
9
votes
1answer
288 views

A binomial determinant formula: a new variant

In a previous MO question, the OP asks a proof for $\det_{1\leq i,j\leq n}\left(\binom{i}{2j}+\binom{-i}{2j}\right)=1$. Subsequently, Gjergji Zaimi generalized the problem to $$\det_{1\le i,j\le n}\...
14
votes
0answers
172 views

Generalization of Newton's identities to Schur functions

In some recent work, I've stumbled across the following identity for $\lambda \vdash n$: $$ n s_\lambda = \sum_{k=1}^n p_k \sum_{\mu \nearrow_k \lambda} (-1)^{\mathrm{ht}(\lambda/\mu)} s_\mu. $$ Here, ...
2
votes
1answer
144 views

Frobenius coordinate expansion of character

Let $\lambda$ be the partition of integer $d$. The Frobenius coordinate of $\lambda$ is given $$ (a_1 ,\ldots,a_{d(\lambda)}|b_1,\ldots,b_{d(\lambda)}),$$ where $d(\lambda)$ denote the diagonal of $\...
2
votes
0answers
68 views

Diagonal operator and infinite wedge space formalism

Let $\bigwedge^{\infty /2}V$ denote semiinfinte wedge space. The followin article section 2 gives a good description about the space and the operator on it. https://arxiv.org/pdf/math/0207233.pdf ...
8
votes
1answer
159 views

Reference for Kakutani result on power sum bases of symmetric functions

Numerical semigroups are additive submonoids $A$ of the natural numbers such that the greatest common divisor of all elements of $A$ is 1. The complement of a numerical semigroup in $\mathbb{N}$ is ...
1
vote
0answers
49 views

Necessary conditions for a function to be represented as symmetric tensor product

Let $f(\cdot,\cdot)$ be any function of 2 arguments. Suppose also that the following equation holds $$f(y,x)+f(x,y)=g(x) h(y) +g(y)h(x) \quad \forall x, y$$ for arbitrary $h(\cdot)$ and $g(\cdot)$. ...
1
vote
1answer
33 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 ...
3
votes
0answers
51 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 $\{ ...
0
votes
2answers
230 views

A symmetric polynomial inequality

I improve my previous question. Because this conjecture is exactly natural development of A Muirhead Like Inequality and Muirhead's Inequality so I think the conjecture is true. But I can not prove it....
4
votes
2answers
298 views

Combination power elementary symmetric polynomial inequality

Combine my first previous question and second previous question with the Muirhead inequality. I have posed conjectures of two inequalities as follows: Inequality 1: Let $n>2$ and $1 \le m \le n$...
3
votes
1answer
329 views

A generalization of Newton-Girard Identities

Let $x_1, ..., x_n$ be formal variables. One variant of the Newton-Girard identities expresses $$\sum_{\pi \in S_n} x_{\pi(1)} x_{\pi(2)} \cdots x_{\pi(k)}$$ as a polynomial in the power sums of the $...
3
votes
0answers
57 views

Quasi-symmetric functions and determinants

In the field of symmetric functions, determinants show up all the time. For example, Jacobi-Trudi, Giambelli identity, definition of Schur polynomials as a quotient of determinants, and so on. This ...
7
votes
1answer
397 views

A Muirhead Like Inequality

I am looking for a proof of the inequality as follow: Let $n$ be an integer number $n \ge 2$ and $x_1, \cdots, x_n$ and $y_1,\cdots, y_n$ are nonegative real numbers such that $(x_1,\cdots, x_n)$ ...

1
2 3 4 5