**20**

votes

**1**answer

550 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

**2**answers

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

**3**answers

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

**17**

votes

**0**answers

271 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

**1**answer

286 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

**0**answers

296 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

**1**answer

618 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

**1**answer

377 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

**1**answer

738 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

**2**answers

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

**1**answer

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

**11**

votes

**4**answers

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

**3**answers

757 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

**1**answer

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

**1**answer

299 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

**2**answers

879 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

**4**answers

524 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

**3**answers

677 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

**1**answer

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

**9**

votes

**2**answers

427 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

**0**answers

197 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

**4**answers

736 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

**3**answers

648 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

**2**answers

307 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

**2**answers

454 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

**1**answer

383 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

**1**answer

190 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

**2**answers

772 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

**1**answer

689 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

**0**answers

210 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

**5**answers

872 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

**1**answer

471 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

**0**answers

72 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

**0**answers

100 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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

843 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

**1**answer

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

**1**answer

789 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

**1**answer

152 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

**2**answers

699 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

**0**answers

127 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

**2**answers

608 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

**2**answers

843 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

**1**answer

442 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

**1**answer

263 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

**1**answer

371 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

**1**answer

353 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

**2**answers

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