The symmetric-functions tag has no wiki summary.

**6**

votes

**2**answers

750 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

**3**answers

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

**2**

votes

**0**answers

272 views

### analogues of power sum polynomials for symmetric Laurent polynomials

To deal with root systems of type B C D, one needs to understand symmetric Laurent polynomials $\Lambda$. I am wondering if the naive definition of power sum symmetric Laurent polynomials form a basis ...

**5**

votes

**1**answer

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

**6**

votes

**0**answers

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

**7**

votes

**5**answers

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

**2**

votes

**2**answers

295 views

### L^2 basis of class functions on a compact Lie group that are point-wise small

Consider first the torus group $\mathbb{T}^k$. A natural $L^2$ basis is given by the 1-dimensional complex representations: $(\theta_1, \ldots, \theta_k) \mapsto e^{i \sum_j c_j \theta_j}$ for ...

**1**

vote

**2**answers

382 views

### Nontrivial algorithm to check for polynomial symmetry?

Hi.
As is known, a polynomial $P \in K[x_1, \dots, x_n]$ is symmetric when permuting its variables always yields the same polynomial. This immediately yields an algorithm $O(n!)$ to check for ...

**2**

votes

**3**answers

184 views

### Constructing the sum of two pairs of symmetric polynomials

I have a question about generating a certain set of symmetric polynomials. I believe that what I'm looking for is known result, but I'm not 100% sure.
Suppose that I have two sets of indeterminates ...

**8**

votes

**1**answer

261 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

**2**answers

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

**6**

votes

**1**answer

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

**2**

votes

**0**answers

208 views

### Picking $n$ so that certain Schur functors of the standard representation of $S_n$ are linearly independent

Let $V_n$ be the standard permutation representation of the symmetric group $S_n$, and let $\mathbb{S}_{\lambda}$ denote the Schur functor associated to the partition $\lambda$.
Let $\lambda$ range ...

**8**

votes

**4**answers

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

**7**

votes

**1**answer

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

**2**

votes

**2**answers

438 views

### Convolution on symmetric group Sn

I have question regarding convolution of functions (say
g and h) defined on Sn. In Fourier space this is equivalent to IFT(G.H),
where G = FT(g) and H = FT(h).
Fast Fourier transforms (Clausen's FFT) ...

**2**

votes

**1**answer

286 views

### Restriction from $\mathfrak{gl}_{2n}$ to $\mathfrak{sp}_{2n}$

Hi,
I am faced with a finite-dimensional representation $V$ of $\mathfrak{gl}_{2n}$, whose character I know. I know how to use this character to determine the irreducibles for $\mathfrak{gl}_{2n}$ ...

**11**

votes

**2**answers

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

**3**

votes

**1**answer

354 views

### A conjecture of parallelogram inside convex and central symmetric curve

Assume Q is a convex central symmetric curve, whose area is $\displaystyle S$. The area of the maximum parallelogram inside Q is $\displaystyle S'$.
How to prove the conjecture that $\displaystyle ...

**2**

votes

**1**answer

254 views

### some rational functions over a field of characteristic 2

I would like to know what are the formal power series $$f(t) = \sum_a \omega_a t^{-a}$$ over an algebraicially closed field of characteristic 2, with two properties: (1) The series represents a ...

**4**

votes

**1**answer

457 views

### Are the Schur functions the minimal basis of the ring of symmetric functions with the following properties?

Let $\Lambda$ denote the ring of symmetric functions in variables $x_1,x_2,\dots$ and with coefficients in $\mathbf{Q}$. Then $\Lambda$ is freely generated as an $\mathbf{Q}$-algebra by ...

**8**

votes

**2**answers

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

**9**

votes

**4**answers

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

**5**

votes

**1**answer

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

**0**

votes

**1**answer

505 views

### Hankel determinants of symmetric functions

The starting point is that it is known that the Hankel determinants for the Catalan sequence give the number of nested sequences of Dyck paths. I would like to promote this to symmetric functions.
...

**11**

votes

**1**answer

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

**17**

votes

**2**answers

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

**8**

votes

**1**answer

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

**3**

votes

**2**answers

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

**9**

votes

**2**answers

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

**5**

votes

**1**answer

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

**5**

votes

**0**answers

411 views

### Generalizations of generators / hyperplanes descriptions for cones to partially-ordered fields?

Background: given a finite-dimensional real vector space V of dimension d, I can define a pointed cone in two ways: either as a set of the form $\{r_1v_1 + \cdots + r_nv_n \mid r_1, \dots, r_n \in ...

**5**

votes

**1**answer

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