**16**

votes

**0**answers

267 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

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

**9**

votes

**0**answers

192 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

**0**answers

202 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

**0**answers

69 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

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

**0**answers

85 views

### A particular proof of the Littlewood Richardson rule

Given $\lambda \subseteq \nu$ we define a tableau of shape $\nu\setminus \lambda$ and weight $\mu$ to be a map ${\sf T}: [\nu\setminus\lambda] \rightarrow \{1,\ldots, r\}$ such that $\mu_c=|\{ x ...

**5**

votes

**0**answers

62 views

### Uniform generation of Symmetric Plane Partitons

In the conclusion of An Involution Principle-Free Proof of Stanley's Hook-Content Formula Krattenthaler notes that the techniques of the paper might be useful for finding bijective proofs of the ...

**5**

votes

**0**answers

224 views

### Power sums and Jack symmetric functions

Let $\Lambda$ be the algebra of symmetric functions in infinitely many variables over $\mathbb{C}$.
The $n$-th power sum symmetric function $p_n$ is defined (formally) as
\begin{equation}
p_n=\sum_i ...

**5**

votes

**0**answers

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

**4**

votes

**0**answers

70 views

### Is there a nice way to invert this expression?

Let us first define the Euler polynomials to be the polynomials $P_n(q)$ that satisfy
$$
\frac{qP_n(q)}{(1 - q)^{n+1}} = \Big(q\frac{d}{dq}\Big)^n\frac{q}{1 - q}.
$$
For example, $P_0(q) = P_1(q) = ...

**4**

votes

**0**answers

353 views

### On a positivity property of Hall-Littlewood polynomials

Here's the new, more thought through version.
Consider a sequence of nonnegative integers $\lambda=(\lambda_1,\ldots,\lambda_n)$ with $\lambda_i\ge \lambda_{i+1}+2$ (the weight $\lambda-2\rho$ is ...

**4**

votes

**0**answers

164 views

### Anti-arithmetic product of symmetric functions: (why) is it integral?

This is an analogue of MathOverflow question #138148. Indeed it is so analogous that I wrote the following by copypasting said question and making the necessary changes.
For every commutative ring ...

**4**

votes

**0**answers

239 views

### Littlewood-Richardson rule for Schubert polynomials

What is the current state of the problem of finding a combinatorial rule for multiplying two Schubert polynomials? Is the problem still open?

**4**

votes

**0**answers

285 views

### Generalization of Macdonald polynomials?

Let $G$ be a semi-simple group with maximal torus $T$ and Weyl group $W$. It looks like from some geometric considerations I can define a family $P_{\lambda,\alpha}(q,t,z)$ of
$W$-invariant ...

**3**

votes

**0**answers

50 views

### Do any specializations of variables give valid equalities of series and products involving Witt symmetric functions?

Formally, Witt symmetric functions $w_n(x_1,x_2,...)$ ($n\geqslant1$) can be defined by
$$
\prod_n(1-w_nt^n)=1+\sum_k(-1)^ke_kt^k=\prod_j(1-x_jt),
$$
where $e_k(x_1,x_2,...)$ are the elementary ...

**3**

votes

**0**answers

115 views

### A “nice” Orthogonal Basis for Translation Invariant Symmetric Polynomials

It is going to be a rather long question, so I will first state it and then try to explain and motivate it.
Take $\Lambda_n $ as the graded ring of symmetric polynomials of a field $F$ in $n$ ...

**3**

votes

**0**answers

118 views

### Efficiently computing (plethysm-like?)substitutions of symmetric functions

This is a rather technical question, it arose in connection of some calculations that I need to have better grasp of the question Formal group law over $\mathbb{F}_p$ and my own older one What is ...

**3**

votes

**0**answers

157 views

### A generalization of Macdonald functions?

I am interested in finding a set of functions $f(z_1,\cdots ,z_k;q,\,t)$, conjecturally polynomials, which depend on two parameters $(q,t)$ and an integer $k$, and are orthogonal under the following ...

**3**

votes

**0**answers

89 views

### Is the quasisymmetric expansion of the inner product of two Schur functions known?

The question is in the title, however; there is a Hopf algebra of quasisymmetric functions which has the Hopf algebra of symmetric functions as a sub - Hopf algebra. The quasisymmetric functions have ...

**2**

votes

**0**answers

72 views

### integral schur function over standard simplex

Let $T^d$ be the standard simplex,
$$ T^d = \left\{(t_1,\cdots,t_d)\in\mathbb{R}^{d}\mid\sum_{i = 1}^{d}{t_i} = 1 \mbox{ and } t_i \ge 0 \mbox{ for all } i\right\}
$$
For any partition ...

**2**

votes

**0**answers

131 views

### Permutation-invariant matrix representation

The question guide says that Mathoverflow is for research level mathematics. While I do not perform research in mathematics (I study quantum chemistry), I believe this question is research-level ...

**2**

votes

**0**answers

123 views

### Jack symmetric functions and their inner products

I have some questions regarding Jack polynomials. I use the notation of of I.G. Macdonald's book "Symmetric Functions and Hall polynomials".
Let $\Lambda$ be the ring of symmetric functions over ...

**2**

votes

**0**answers

183 views

### root system generalizations of Sekiguchi-Debiard (aka Laplace-Beltrami) operators

For the root system $A_n$, taking the limit $q = t^\alpha$ and $t \to 1$, and letting $Y = (t-1) X -1$ one obtains from the Macdonald operator the so-called Sekiguchi-Debiard operator:
$$D_\alpha(X) ...

**2**

votes

**0**answers

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

**2**

votes

**0**answers

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

**1**

vote

**0**answers

24 views

### Need explicit formula for reversion of a Chern-character-like series

On the first sight this looks like homotopy theory question but actually came from need to simplify some expressions related to the Rasch model from the Item Response Theory.
Let
$$
...

**1**

vote

**0**answers

163 views

### What is the definition of plethysm in the representation theory of permutation groups

Let $s_\lambda \circ s_\mu$ be a plethysm. Here let $\lambda, \mu$ be $m,n$ box Young diagrams.
I have seen the definition of plethysms in symmetric functions. I would like to understand the ...

**1**

vote

**0**answers

114 views

### Evaluation of Macdonald Polynomials at $x_1=x_2=…=x_n = h$

This question is related to my previous question (here).
Let $P_\lambda$(q,t) be the Macdonald polynomials with partition $\lambda$. Let $\Lambda$ denote the ring of symmetric functions over the ...

**1**

vote

**0**answers

114 views

### Character sums over a fixed subset of skew tableaux

Let $f(\lambda)$ count the number standard young tableaux of shape $\lambda\vdash n$ and $\lambda=(\lambda_1,\cdots,\lambda_r)$. Let $\mu \vdash k$ be a partition for $k<n$. It is a consequence of ...

**1**

vote

**0**answers

113 views

### How should this multinomial identity be written?

Question if it is correct, how is the identity tagged (4) below usually written, and can the use of conjugate partitions be avoided?
Motivation I apologize for the length of this question - it's as ...

**1**

vote

**0**answers

138 views

### counting how many boxes from a given Young tableau contribute to hook length made out of two YTs

Think of a Young diagram as a collection of rows with numbers of elements
$\mu_1 \geq \mu_2 \geq \cdots \geq \mu_d \geq \mu_{d+1}=0$ (and $\mu_k=0$ for $k>d$) and define for $s=(i,j)$ (where $i$ ...

**1**

vote

**0**answers

67 views

### The relation on the set of functions

Let $\varphi: \mathbb{R}^{2} \to \mathbb{R}$ be a symmetric (not necessarily continuous) function (so, $\varphi(x,y)=\varphi(y,x)$ $\forall (x,y)\in \mathbb{R}^{2}$),
let $\mathcal{F}$ be the set of ...

**1**

vote

**0**answers

167 views

### Generalized Schur polynomial from block Toeplitz matrices

By using the Jacobi-Trudi identity, one may interpret banded Toeplitz matrices, and minors of such matrices in terms of Schur polynomials, see for example
...

**1**

vote

**0**answers

302 views

### Passing from Regular sequence to Prime ideal, for power sum symmetric polynomial

Let $S=\mathbb{C}[x_1,x_2,x_3,x_4]$ be a polynomial ring. Let $p_i=x_1^i+\cdots+x_4^i$ be the power sum symmetric polynomial in $\mathbb{C}[x_1,x_2,x_3,x_4]$.
Let $I=(p_1,p_2)$ be an Ideal of ...

**0**

votes

**0**answers

136 views

### Irreducible representations of $S_n$ inside the ring of symmetric polynomials

I will describe two ways to associate irreducible representations of $S_n$ with polynomials inside the ring of symmetric polynomials and I want to know if there is any connection between the two.
...