**20**

votes

**1**answer

527 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

490 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

**1**answer

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

**16**

votes

**0**answers

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

**14**

votes

**0**answers

291 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

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

**13**

votes

**1**answer

366 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

734 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

996 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

463 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

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

747 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

301 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

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

**9**

votes

**2**answers

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

**4**answers

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

**3**answers

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

**9**

votes

**2**answers

425 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

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

**8**

votes

**4**answers

727 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

642 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

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

**2**answers

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

**1**answer

375 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

329 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

**1**answer

187 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

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

**8**

votes

**1**answer

681 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

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

**7**

votes

**5**answers

867 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

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

**7**

votes

**0**answers

70 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

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

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

830 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

778 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} = ...

**6**

votes

**1**answer

142 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

690 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

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

**5**

votes

**2**answers

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

**5**

votes

**2**answers

814 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

426 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

260 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

366 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

344 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

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

**5**

votes

**1**answer

746 views

### Specializations of Schur functions at consecutive integers

Given a partition λ = (λ1, λ2, ..., λn) denote with sλ the associated Schur function.
There exists a nice product formula for the principal specializations:
...