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 ...

learn more… | top users | synonyms

20
votes
1answer
530 views

Bounding Schur symmetric polynomials on the unit circle

Recall the Schur polynomial in $n$ variables, indexed by the partition $\lambda$, with $\ell(\lambda) \leq n$, is given by \begin{equation} s_\lambda(x_1,\ldots, x_n) = a_{\lambda + \delta}(x_1, \...
17
votes
2answers
2k views

What role does Cauchy's determinant identity play in combinatorics?

When studying representation theory, special functions or various other topics one is very likely to encounter the following identity at some point: $$\det \left(\frac{1}{x _i+y _j}\right) _{1\le i,j \...
17
votes
3answers
501 views

Is there a short proof that the Kostka number $K_{\lambda \mu}$ is non-zero whenever $\lambda$ dominates $\mu$?

This is maybe a little basic for MathOverflow, but I'm hoping it will get some interesting answers. Let $\unrhd$ be the dominance order on partitions of $n \in \mathbb{N}$. For partitions $\lambda$ ...
16
votes
0answers
269 views

Deforming a basis of a polynomial ring

The ring $Symm$ of symmetric functions in infinitely many variables is well-known to be a polynomial ring in the elementary symmetric functions, and has a $\mathbb Z$-basis of Schur functions $\{S_\...
15
votes
1answer
274 views

Cohomology of configuration space as a representation of the symmetric group

Let $X_n$ be the space of $n$ distinct labeled points in $\mathbb{R}^3$, which is equipped with an action of the symmetric group $S_n$. It is well known that the total cohomology of $X_n$ is ...
14
votes
0answers
293 views

An algebraic strengthening of the Saturation Conjecture

The Saturation Conjecture (proved by Knutson-Tao) asserts that $c_{n\mu,n\nu}^{n\lambda}\neq 0\Rightarrow c_{\mu,\nu}^{\lambda} \neq 0$, where $c$ denotes a Littlewood-Richardson coefficient and $n$ ...
13
votes
1answer
606 views

Why are the power symmetric functions sums of hook Schur functions only?

One interesting fact in symmetric function theory is that the power symmetric function $p_n$ can be written as an alternating sum of hook Schur functions $s_{\lambda}$: $$ p_n = \sum_{k+\ell = n} (-1)^...
13
votes
1answer
371 views

An introduction to Macdonald polynomials other (better?!) than SFHP

Long story short, I personally find Macdonald's celebrated book Symmetric Functions and Hall Polynomials somewhat difficult to read for various reasons. I also know for a fact that I'm not the only ...
12
votes
1answer
736 views

Can the Jacobi-Trudi identity be understood as a BGG resolution?

The thought process that led me to this question is that the identity $$ \left(\prod_i \frac1{1-x_i}\right)\left(\prod_i {1-x_i}\right)=1$$ can be understood as expressing exactness of the Koszul ...
12
votes
2answers
1k views

Sym(V ⊕ ∧² V) isomorphic to direct sum of all Schur functors of V

Let $V$ be a finite-dimensional $K$-vector space. Then, the symmetric power $\mathrm{Sym}\left(V\oplus \wedge^2 V\right)$ is isomorphic to the direct sum of all Schur functors applied to $V$ (each one ...
11
votes
1answer
469 views

Plugging $1-x$ into Schur polynomials

I have a symmetric Laurent polynomial $f$ in $k$ variables expressed as a linear combination of Schur polynomials. I'd like to know what happens when I make the substitution $p(x_1,\ldots,x_k)\mapsto ...
10
votes
4answers
3k 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 ...
10
votes
3answers
752 views

A class of matrix determinants between Wronskians and Vandermondes

Update: see below Let $M$ be an $n\times n$ matrix that's constructed as follows. Construct the right-most column of $M$ as $[\alpha_1(x_1),\cdots,\alpha_n(x_n)]^T$ for some class of fixed functions $...
10
votes
1answer
304 views

Dynamics of RSK

There is a way of viewing the RSK correspondence as a map (in fact, bijection) $A \overset{RSK}\longrightarrow \widehat{A}$ from $n\times n$ matrices with entries $\mathbb{N}$ to (weak) reverse plane ...
10
votes
1answer
295 views

Reference request: Grothendieck groups of Hecke algebras at root of unity and symmetric functions

Let $\zeta$ be an $\ell^{\text{th}}$ root of unity, and consider $H_n(\zeta)$, the (finite) Hecke algebra of type A. One can consider a dual pair of Hopf algebras arising from this data, denoted $G(\...
9
votes
2answers
877 views

Can you find linear recurrence relation for dimensions of invariant tensors?

Let $V$ be a finite dimensional highest weight representation of a (semi)-simple Lie algebra. For each $n\ge 0$ take $a_n$ to be the dimension of the space of invariant tensors in $\otimes^n V$. In ...
9
votes
4answers
523 views

Heisenberg algebra from Pieri operators and their transposes?

Let $Symm$ be the vector space with basis $(b_\lambda)$ given by the set of all partitions $\lambda$ (of all natural numbers), thought of as Young diagrams. Let $e_i$ be the degree $i$ Pieri operator ...
9
votes
3answers
674 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=(...
9
votes
2answers
426 views

A particular specialization of symmetric polynomials: is it bijective?

Let $\Lambda^d_n$ the space of symmetric polynomials in $n$ variables, with maximum 'partial degree' of each variable $d$. A basis for this space is the set of symmetrized monomials $m_\lambda$, where ...
9
votes
0answers
196 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^*_{...
8
votes
4answers
731 views

universality of Macdonald polynomials

I have been recently learning a lot about Macdonald polynomials, which have been shown to have probabilistic interpretations, more precisely the eigenfunctions of certain Markov chains on the ...
8
votes
3answers
645 views

Arithmetic product of symmetric functions: why is it integral?

For every commutative ring $A$, let $\mathbf{Symm}_A$ be the ring of symmetric functions over $A$. Let $\mathbf{Symm}$ without a subscript denote $\mathbf{Symm}_{\mathbb{Z}}$. We can define a ...
8
votes
2answers
304 views

How do I find coefficients of a product expansion

Any power series $f(t) = 1 + t \mathbb{Z}[[t]]$ can be uniquely expanded in the following two ways: $$1 + \sum_{i=1}^\infty f_i t^i = \prod_{i=1}^\infty (1-t^i)^{-n_i}$$ Here, the $f_i$ and $n_i$ ...
8
votes
2answers
453 views

Symmetric functions in type B and type D

It is well known that the symmetric groups have a very nice and explicit representation theory. This is in particular true when one works with the collection of all symmetric groups simultaneously, in ...
8
votes
1answer
379 views

Plethysm of $\mathrm{QSym}$ into $\mathrm{QSym}$: can it be defined?

I will denote by $\Lambda$ the ring of symmetric functions, and by $\mathrm{QSym}$ the ring of quasisymmetric functions (both in infinitely many variables $x_1$, $x_2$, $x_3$, ..., both over $\mathbb ...
8
votes
1answer
337 views

Restriction of characters of hyperoctahedral groups.

The hyperoctahedral group $H_n$ has several descriptions; as a wreath product; as signed permutation matrices; as the Weyl group of type $B_n$ or $C_n$. In all these descriptions it is apparent that ...
8
votes
1answer
188 views

Most computationally efficient Littlewood-Richardson rule

There are many, many different versions of the Littlewood-Richardson rule: the original characterization via Yamanouchi words, Remmel's version, a description via the Poirier-Reutenauer bialgebra, the ...
8
votes
2answers
766 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-...
8
votes
1answer
682 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 ...
8
votes
0answers
207 views

Littlewood-Richardson coefficients for Jack symmetric functions

Let $\Lambda$ be the algebra of symmetric functions over $\mathbb{Q}(\alpha)$. We define a scalar product $\langle \cdot,\cdot\rangle_\alpha$ on $\Lambda$ by setting $\langle p_\mu,p_\nu\rangle_\...
7
votes
5answers
869 views

Rearrangement-style inequality with lots of terms and little evidence

This is another of the problems I designed for contests but wasn't able to solve on my own for years. Maybe AoPS is a better place for it, but let me try it here. [UPDATE: I have streamlined the ...
7
votes
1answer
465 views

Characterizing intersection of zero sets of elementary symmetric polynomials on R^n

Stated simply, the question is: Consider two elementary symmetric polynomials $\sigma_{k}$ and $\sigma_{k+1}$ on $\mathbb{R}^{n}$ with zero sets $U_{k}$ and $U_{k+1}$. Let $V_{i_{1}i_{2}\dotsb i_{...
7
votes
0answers
71 views

Skew zonal polynomials, skew zonal spherical functions, and combinatorics

Zonal polynomials may be expressed in terms of power sums as $$Z_\lambda=n!\sum_\nu \frac{1}{z_\nu }2^{n-\ell(\nu)}\omega_\lambda(\nu)p_\nu,$$ with usual notation in which $\omega_\lambda(\nu)$ are ...
7
votes
0answers
98 views

Constant term identity and the Grassmannian Gr(2,6)

The following conjecture is motivated by two different presentations of the affine cone over Grassmannian $Gr(2,6).$ One as a GIT quotient of $Hom(\mathbb{C}^2, \mathbb{C}^6)//SU(2)$ and the other as ...
7
votes
0answers
219 views

Deformation of the product of symmetric functions

Matthias Lederer and I are studying a deformation of the Littlewood-Richardson product of Schur functions. It's a bit complicated to define (and work in progress) so I won't give the full definition ...
7
votes
0answers
153 views

Bijective proof for bialgebra identity of LR coefficients

Let $\Lambda$ be the ring of symmetric functions in infinitely many variables, $x_1$, $x_2$, .... For $f \in \Lambda$, let $\Delta(f) \in \Lambda \otimes \Lambda$ be $f(x_1 \otimes 1, 1 \otimes x_1, ...
6
votes
1answer
1k views

Jack polynomials as determinants

Jack symmetric polynomials are known to be generalizations of Schur functions $\chi_\lambda$, for which powerful Weyl determinant formulas are known. Are there any generalizations of two determinant ...
6
votes
2answers
837 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 ...
6
votes
1answer
1k views

Sum of products of p-th powers of roots of 1 and monomial symmetric functions

Hello mathematicians, i'm looking for explicit computations of expressions like $$ \sum_{\substack{0\leq i,j,k<n\\i\neq j\neq k \neq i}}\zeta_n^{ip^{k_1}+jp^{k_2}+kp^{k_3}} $$ and its ...
6
votes
1answer
782 views

Symmetric polynomials theorem

Hello all, I would appreciate comments on the following question: A main theorem of symmetric functions might be formulated: Let k be a field of char. 0. Then $k[x_1,...,x_n]^{S_n} = k[s_1,...,s_n]$,...
6
votes
1answer
148 views

Super-plethysm?

Let $U$ be a representation of $S_m$ and $V$ a representation of $S_n$. Then the representation $\operatorname{Ind}_{S_m\wr S_n}^{S_{mn}}(U^{\otimes{n}}\otimes V)$ has a nice interpretation in terms ...
6
votes
2answers
694 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 ...
6
votes
0answers
110 views

Symmetry of function defined by integral

(Originally posed in Math.SE in Jan 2013. Received no complete answers as of yet.) Define a function $f(\alpha, \beta)$, $\alpha \in (-1,1)$, $\beta \in (-1,1)$ as $$ f(\alpha, \beta) = \int_0^{\...
5
votes
2answers
602 views

Can one recognize this symmetric function?

$\newcommand{\lm}{\lambda}$ $\newcommand{\bR}{\mathbb{R}}$ Let $m$ be an integer $>1$. Define $$ I_m:\bR^m\to \bR,\;\; I_m(\lm_1,\dotsc, \lm_m)=\int_{S^{m-1}}\exp\Bigl(-\sum_{j=1}^m \lm_j^2x_j^2\...
5
votes
2answers
829 views

Is there a known formula for the number of SSYT of given shape with partition type?

Let $s_{\lambda}$ and $m_{\lambda}$ be the Schur and monomial symmetric functions indexed by an integer partition $\lambda$ ($\ell(\lambda)$ is the number of parts of $\lambda$ and $m_i(\lambda)$ is ...
5
votes
1answer
434 views

A formula on Kronecker coefficients

Accidentally, I proved the following formula for the Kronecker coefficients using some obscure method. $$g_{lm^n,mn^l}^{m^{nl}}=1,\ \forall l,m,n\in\mathbb{N},$$ where $n^m$ is the rectangle ...
5
votes
1answer
261 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$. ...
5
votes
1answer
368 views

Criteria for ghost-Witt vectors: looking for history and references

I am looking for references (both of the readable and of the historical kind!) for the following result (which I formulate in one of its least general forms, so as not to complicate the discussion). I ...
5
votes
1answer
348 views

schur weyl duality for real orthogonal groups and relation to hyperoctahedral groups

I am wondering whether the Lie groups $SO(n)$ and the hyperoctahedral groups $H_n$ form some sort of duality. I am mainly interested in how to parametrize the conjugacy classes of $H_n$ in terms of ...
5
votes
2answers
257 views

Does the ring generated by the odd power sum symmetric functions have a name?

Let $\Lambda$ be the ring of symmetric functions and recall the power sum symmetric function $p_i = \sum x_1^i + x_2^i + \dots$ generate this ring. Let $\tilde\Lambda$ be the ring generated by the odd ...