The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
1answer
139 views

Shift-invariant symmetric functions in representation theory?

The connection between symmetric functions and representation theory is well-known. Now consider the subspace of symmetric functions that are shift-invariant, that is, functions satisfying ...
4
votes
2answers
118 views

Isotypic components of the action of the symmetric group on polynomials

The polynomial ring $\mathbb{C}[x_1,\ldots,x_n]$ decomposes as a direct sum of isotypic components for the action of the symmetric group $S_n$. The isotypic component of the trivial representation is ...
0
votes
0answers
15 views

Reference or a short argument that a certain subset generates the ring of p-typical symmetric functions under plethysm

Let p be a prime and$\Lambda_p$ be the subring of the ring of symmetric functions $\Lambda$ (over $\mathbb{Z}$) such that $$x \in \Lambda_p$$ iff there is an $i \in \mathbb{N}$ such that $p^ix \in ...
2
votes
0answers
102 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 ...
9
votes
2answers
367 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 ...
10
votes
3answers
616 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 ...
1
vote
0answers
63 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 ...
8
votes
2answers
243 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$ ...
3
votes
1answer
268 views

An identity for elementary symmetric functions

Trying to understand a result in a representation theoretical paper, I realized that it implies the following elementary identity for symmetric functions. My question is whether this identity is true, ...
0
votes
0answers
30 views

Closed-for expression for Newton-Girard symmetric polynomials with 0/1 variables

There are $n$ Bernoulli $s_i\in\left\{0,1\right\}$, $i=1,...,n$ with equal marginals $\Pr(s_i=1)=\theta$ $\forall i$ so that E$(s_i)=\theta$. Their standardized mean deviations are \begin{equation*} ...
1
vote
1answer
142 views

A Simple Bijective Proof Of Stanley's Hook-Content Formula for Hook Shapes

this is my first post on math overflow so I hope it goes well. I believe I have a fairly simple bijective proof for Stanley's Hook-Content Formula in the case of hook shapes. I wanted to see if ...
6
votes
0answers
100 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 ...
5
votes
1answer
193 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 ...
4
votes
0answers
165 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?
11
votes
1answer
284 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
0answers
161 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
1answer
337 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 > ...
2
votes
0answers
123 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
1answer
124 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
1answer
140 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
1answer
148 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
1answer
166 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
3answers
511 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 ...
2
votes
1answer
101 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 ...
1
vote
0answers
60 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
2answers
144 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
1answer
250 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
1answer
284 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 ...
4
votes
1answer
308 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
1answer
224 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
2answers
251 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
2answers
455 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 ...
4
votes
1answer
238 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
1answer
225 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$. ...
4
votes
1answer
199 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
0answers
70 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
1answer
183 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
2answers
418 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
1answer
226 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
0answers
156 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
1answer
262 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: $$ ...
0
votes
0answers
254 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
1answer
224 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
0answers
266 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 ...
1
vote
0answers
155 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
1answer
256 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 ...
6
votes
0answers
177 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
2answers
742 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
3answers
580 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
0answers
262 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 ...