**4**

votes

**0**answers

240 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?

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

**5**

votes

**0**answers

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

**1**

vote

**1**answer

386 views

### Prove or disprove $ \int_{0}^{\infty} \int_{-x}^{0} f(x)f(y)dydx > \int_{0}^{\infty} \int_{-\infty}^{-x} f(x)f(y)dydx. $

Consider a symmetric, unimodal distribution $f(x)$ such that $\int_{0}^{\infty} f(x) > 1/2$. I want to prove or disprove the following:
$$
\int_{0}^{\infty} \int_{-x}^{0} f(x)f(y)dydx > ...

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

**-1**

votes

**1**answer

135 views

### Algorithm to find symmetric function given specialization

I have a symmetric function f(c1,c2,c3,c4,c5) which, when c1 < c2 < c3 < c4 < c5, has the form p1(c1)+p2(c2)+p3(c3)+p4(c4)+p5(c5), where the p_i's happen to be polynomials of degree ...

**1**

vote

**1**answer

168 views

### Roots of the derivative as symmetric functions of the roots of the polynomial

Let $p(t)=(t^2-a_1^2)\ldots(t^2-a_n^2)$ be an even polynomial with distinct real non-zero roots. Can the roots of its derivative $p'(t)$ be expressed nicely (e.g. as rational symmetric functions) in ...

**5**

votes

**1**answer

178 views

### Hopf algebra structure on the ring of quasisymmetric functions

I'm looking for a particular description of the Hopf algebra structure on the ring of quasisymmetric functions.
Let me illustrate by giving this kind of description for the Hopf algebra of symmetric ...

**2**

votes

**1**answer

187 views

### AM-GM interpolation in the limit

Given a sequence of positive numbers $X = (x_1, x_2, \dots)$, define the $k$th elementary symmetric mean of the first $n$ entries to be
$$ S(X, n, k) := \frac{\displaystyle\sum_{1 \leq i_1 < ...

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

**3**

votes

**1**answer

140 views

### Degree principles for non-symmetric polynomials

A theorem of Timofte says that a symmetric polynomial inequality of degree $d$ holds on $\mathbb{R}^{n}_{+}$ if and only if it holds for all vectors in $\mathbb{R}^{n}_{+}$ with at most $\max\{\lfloor ...

**2**

votes

**0**answers

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

**1**

vote

**2**answers

162 views

### References request: representations of Heisenberg algebra.

Let $p_1, p_2, \ldots$, be the power sum symmetric functions. Let $p_n^* = n \frac{\partial}{\partial p_n}$. Then $$ p_n^* p_m - p_m p_n^* = \delta_{m, n} 1. $$
Where could I find this result in some ...

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

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

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

**2**

votes

**2**answers

284 views

### Other Variant of Schur Polynomials/Functions

We know that an important variant of the Schur Polynomial is the shifted Schur Polynomials that was developed by Okounkov & Olshanski.
The question here is: is there any other variant of Schur ...

**4**

votes

**2**answers

406 views

### Cyclically symmetric functions

Where can I learn about the invariant theory associated with actions of cyclic groups (as opposed to symmetric groups)?
E.g., do the functions $x+y+z$, $xy+yz+zx$, and $x^2y+y^2z+z^2x$ generate the ...

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

**5**

votes

**1**answer

293 views

### A nice generating set for the symmetric power of an algebra

I'm looking for a reference for the following fact.
Suppose $A$ is a finitely generated associative commutative unital algebra over an algebraically closed field of characteristic zero. Let $S^n(A)$ ...

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

242 views

### Is the “renormalized third comultiplication” on $\mathbf{Symm}$ integral?

Background:
For any commutative ring $R$, let $\mathbf{Symm}_R$ be the ring of symmetric functions in countably many variables $x_1$, $x_2$, $x_3$, ... over $R$. ("Symmetric functions" really means ...

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

**1**answer

198 views

### S_n invariants in a free associative algebra (“noncommutative symmetric polynoms”)

What is known about S_n group invariants in a free associative (noncommutative) algebra k < x_1, ...x_n >) ? (S_n natural acts by permutations on generators).
What is Poincare series ? Is it ...

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

**1**

vote

**1**answer

250 views

### Majorization of power sum symmetric functions

I'm wondering if there is a characterization for whether
$$p_\lambda(x_1, \dotsc, x_r) \geq p_\mu (x_1, \dotsc, x_r) \text{ for every $r \in \mathbb{N}$ and $x_1, \dotsc, x_r \in \mathbb{R}^+$}.$$
(Or ...

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

**4**

votes

**1**answer

322 views

### To compute minors of Jacobian of symmetric polynomials

For any $n$ tuple $f_1,f_2,\dots,f_n$ in the polynomial ring $\mathbb{C}[x_1,x_2,\dots,x_n]$
one has Jacobian, expressed by the $(n \times n)$-determinants:
$$
...

**1**

vote

**0**answers

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

**-1**

votes

**1**answer

269 views

### Regular sequence of power sum symmetric polynomials in polynomial ring.

Let $S=\mathbb{C}[x_1,\dots,x_n]$ be a polynomial ring and $p_a=x_1^a+\cdots+x_n^a$ be a power sum symmetric polynomial in $S$. Let $n \geq 3$.
Question: To show $p_m,p_{2m}, \dots,p_{nm}$ forms a ...

**4**

votes

**0**answers

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

**2**

votes

**0**answers

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

**3**

votes

**1**answer

278 views

### Comultiplication on Schur functors (& functions). Can it be seen from categorical perspective ?

Consider category of vector spaces. Consider functors from it to itself.
They actually form an algebra - since vector spaces can be added and tensor multiplied.
Question Is there co-product on this ...

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

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

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

**2**

votes

**0**answers

332 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

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

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

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

**2**

votes

**2**answers

316 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

442 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

193 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

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

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

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

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

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

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

**2**

votes

**2**answers

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