All Questions
Tagged with co.combinatorics symmetric-groups
177 questions
6
votes
0
answers
131
views
Is there a more natural way to define the Young symmetrizer and the Specht module?
It's well known that Young symmetrizer is a fundamental tool in the representation theory of symmetric groups.
For instance, for every Young diagram $\lambda\vdash n$, we construct a Young tableau $T_\...
0
votes
0
answers
95
views
Class multiplication coefficients of symmetric groups
My question is that I was working with some counting problems, and finally the answer should be
$$
\nu_{\mu_1,\mu_2,\mu_3}=\#\{(\sigma_1,\sigma_2,\sigma_3): \sigma_1\sigma_2\sigma_3=1, \sigma_1\in C_{\...
3
votes
0
answers
171
views
Basis of Specht module of symmetric groups
I am reading the construction of the Specht module from James's book. The Specht module of a symmetric group corresponding to a partition $\lambda$ is spanned by all polytabloids $e_{t}$ associated ...
- 179
2
votes
1
answer
232
views
Is the small Davenport constant for $S_n$, $d(S_n)=n(n-1)/2$?
The Davenport constant $D(G)$ of a finite group $G$ is the minimal $d$ such that any sequence/multiset of length $d$ is one-product, i.e., identity can be obtained as a product (in some order) of some ...
0
votes
0
answers
164
views
One-product free sequences for $A_n$
I am working on computing the Davenport constant $D(G)$ for $S_n$ and $A_n$, i.e., the minimal number $d$ such that every sequence (multiset) of $d$ elements contains some subsequence giving identity ...
3
votes
1
answer
260
views
Davenport constant $D(S_5)=10$ or $11$?
I am working on computing the Davenport constant $D(G)$
of symmetric groups, which is the minimal number $d$
such that every sequence of $d$
elements, possibly with repetitions, is one-product, i.e. ...
3
votes
0
answers
155
views
Correspondence between even and odd permutations in $S_5$
I am working on the Davenport constant for symmetric groups, $D(G)$
, which is the minimal number $d$
such that every sequence of $d$
elements in the group G
is one-product sequence, i.e, we can ...
3
votes
0
answers
89
views
Young symmetrizers-like projections to the center of group algebra
Let $A:=\mathbb{C}S_n$ be the symmetric group aglebra.
Let $T$ be a standard Young tableaux of shape $\lambda$. Denote $R(T)$ and $C(T)$ as row and column stabilizers of $T$. For a set $S \subseteq ...
- 31
1
vote
1
answer
82
views
The sum of the signs of conjugacy classes in the symmetric group S_n [duplicate]
Let $r$ be the number of conjugacy classes of the symmetric group $S_n$ whose sign is $1$, i.e.
\begin{equation}
r := \#\{c \in \text{Conj} (S_n): \text{sgn} (c) = 1 \}.
\end{equation}
Let $s$ be the ...
6
votes
0
answers
102
views
The meet of two dominant permutations in weak order of $S_n$
A permutation is called dominant if its Lehmer code is a partition, or equivalently if it avoids the pattern $132$.
I can prove that given a permutation $v\in S_n$, there is a unique dominant ...
- 2,168
1
vote
0
answers
130
views
Relationship between the symmetric group representation (Specht module) of a Young diagram and the Young diagram obtained by deleting one row
Suppose $\lambda$ is a Young diagram, and $\lambda'$ is obtained by deleting one particular row of $\lambda$. Is there any relationship between the symmetric group representation (Specht module) ...
- 25
2
votes
0
answers
352
views
On characters of the symmetric group: Part 1
Given an integer partition $\lambda$, denote $\ell(\lambda)=$ length, $\vert\lambda\vert=$ size and $\lambda=$ conjugate of $\lambda$. Allow to write $\lambda\vdash n$ either as $(\lambda_1,\dots,\...
- 43.2k
4
votes
0
answers
160
views
Major indices of standard tableaux of shapes obtained from addable cells of a given Young diagram
I have a "very" indirect proof that the following fact is true for every Young diagram $\lambda \vdash n$ and every $r \in \{0,\dotsc,n\}$:
\begin{equation}
d_\lambda = \sum_{a \in \mathrm{...
- 143
4
votes
0
answers
313
views
What is $\dim D^{\lambda}$ for the symmetric group?
What are the dimensions of the simple modules $D^{\lambda}=S^{\lambda}/S^{\lambda}\cap (S^{\lambda})^{\perp}$ for the modular representation theory of $S_n$, i.e. $\operatorname{char}(k)=p>0$?
I ...
- 571
3
votes
1
answer
221
views
Asymptotics for number of $p$-regular partitions of $n$
The number of simple modules $D^{\lambda}=S^{\lambda}/S^{\lambda}\cap (S^{\lambda})^{\bot}$ of the symmetric group over a field $k$ such that $\text{char}(k)=p > 0$ is the number of $p$-regular ...
- 571
1
vote
1
answer
113
views
Minimal dominant permutation in weak order
Consider $S_\infty$ as a Coxeter group with Coxeter generators the adjacent transpositions $s_i$, $i\geq 1$. We view elements of $S_\infty$ as functions $u:\mathbb{N}\to\mathbb{N}$. Recall the Lehmer ...
- 2,168
5
votes
0
answers
200
views
Subgroups of the symmetric group and binary relations
Motivation
The following came up in my work recently. (NB this is the motivation, not the question I'm asking. You can skip to the actual question below, which is self-contained, but not self-...
- 756
7
votes
0
answers
176
views
The quotient of a higher Specht polynomial over the corresponding regular Specht polynomial
I'll need some notation before I can phrase my question, so please bare with me for a little. I'll try to get there as fast as possible (it's also my first MO question...).
Let $\lambda$ be a ...
- 131
3
votes
0
answers
121
views
Twisted permutations
We consider a set $E$ with an involution (having perhaps fixed points).
We denote orbits by $\lbrace x,\overline{x}\rbrace$ (with $\overline{x}=x$ in
the case of a fixed point).
We consider sequences $...
- 17.9k
2
votes
0
answers
184
views
The canonical automorphism of the symmetric group
Let $S_n$ be the symmetric group of order $n$. Denoting simple transpositions by $\sigma_i$ the collection $\sigma_1, \dots, \sigma_{n-1}$ generates $S_n$ subject to the following relations:
$$
\sigma ...
- 1,144
3
votes
1
answer
336
views
Proof of a combinatorial identity for a sum over partitions of sets giving rise to a symmetric polynomial?
Consider a set $N$ with elements $n_1, n_2, \dots, n_k$ which are distinct integers. Introduce the notation $N_{i=1,2,\dots,s}$ for the $s$ blocks of a set partition of $N$. Consider a supplementary ...
- 71
4
votes
1
answer
167
views
A probability problem in the conjugacy classes of symmetric group
Assume that $\sigma\in S_n$ has the cycle type $(p,.,p,1,..,1)$ where $p>2$ is a prime and the numbers of $1$ maybe $0$. If $\sigma_1$ and $\sigma_2$ are chosen uniformly in the conjugacy class of $...
- 253
19
votes
0
answers
642
views
Large values of characters of the symmetric group
For $g$ an element of a group and $\chi$ an irreducible character, there are two easy bounds for the character value $\chi(g)$: First, the bound $|\chi(g)|\leq \chi(1)$ by the dimension of the ...
- 148k
9
votes
2
answers
1k
views
Using Schur-Weyl duality
I am trying to gain a better understanding of Schur-Weyl duality specifically applied to symmetric functions. My motivating example is trying to understand the Frobenius character of the multilinear ...
- 93
1
vote
1
answer
181
views
Some combinatorics question concerning symmetric groups
Let $n = ht$ where $n, h ,t $ are all positive integers. I want to count $\omega \in S_t$ satisfying the following two properties:
$\omega(t+1 - \omega(i)) = t+1 - i$.
$\sum_{i: i \geq \omega(i)} (h ...
- 83
3
votes
0
answers
181
views
Jucys-Murphy elements and permutation modules
So I just learn about Jucys-Murphy elements. They are elements of $\mathbb{C}[\mathfrak{S}_n]$, the group algebra of the symmetric group, defined as:
$$
X_i = \displaystyle \sum_{k=1}^{i-1} (k,i)
$$
...
- 891
8
votes
2
answers
282
views
One element commutation classes of reduced decompositions of the longest element of the Weyl group
For the symmetric group on $n$ objects $S_n$ the question of how to write its longest element $w_0$ as a reduced decomposition is an important combinatorical problem. As example, in this question the ...
11
votes
2
answers
902
views
Not very transitive actions
Suppose $m$ is a positive integer.
I am looking for finite sets with group actions such that the action is transitive on the set of $m$-element subsets, but NOT transitive on the set of $(m+1)$-...
- 45k
0
votes
1
answer
302
views
Lower bound of the largest irreducible character degree of alternating group $A_n$
$\newcommand\cd{\mathrm{cd}}$Let $A_m$ and $A_n$ be two alternating groups and $15\le m+2 \le n$. Denote $\cd_m$ and $\cd_n$ as the largest irreducible character degree of $A_m$ and $A_n$, ...
- 1
5
votes
1
answer
309
views
On a proof involving Young symmetrizers acting on tensor spaces
I hope this is not too elementary for this site, but I already asked something similar on MSE which has not received any attention whatsoever. I am extremely unfamiliar with the algebraic/...
- 2,792
1
vote
1
answer
210
views
Words representations of elements of a symmetric group
Let $S=\{(1,2),(1,2,\ldots,n),(1,n,,n-1,\ldots,2)\}$ be a subset of the symmetric group $S_n$. Let $a=(1,2),b=(1,2,\ldots,n),c=(1,n,n-1\ldots,2)$ be the elements of $S$. My question is, since $S$ is a ...
- 2,089
2
votes
0
answers
141
views
Partial sum of Weingarten functions over symmetric group
I have a question about partial sums of Weingarten functions. The Weingarten functions are defined as
$$
E_U[U_{i_1,j_1}\dotsm U_{i_k,j_k}U^*_{i'_1,j'_1}\dotsm U^*_{i'_k,j'_k}]=\sum_{\alpha,\beta \in \...
- 121
1
vote
0
answers
103
views
Are there standard short notations for ascending and descending cyclic permutations?
In a paper I am currently writing I use cyclic permutations of the form
$$
(k,k+1,\dots,\ell)
$$
and
$$
(\ell,\ell-1,\dots,k)
$$
of consecutive elements quite a lot (I added the commas to avoid ...
- 7,127
8
votes
1
answer
371
views
Harmonic flow on the Young lattice
Let me begin with some preliminary concepts: A positive real-valued function $\varphi: P \rightarrow \Bbb{R}_{>0}$ on a locally finite, ranked poset $(P, \trianglelefteq)$ is harmonic if
$\varphi(\...
- 2,137
20
votes
0
answers
451
views
Row of the character table of symmetric group with most negative entries
The row of the character table of $S_n$ corresponding to the trivial representation has all entries positive, and by orthogonality clearly it is the only one like this.
Is it true that for $n\gg 0$, ...
- 24.2k
2
votes
1
answer
199
views
Sequence of monotone tuples and permutation condition for rotation
I was doing some counting in $S_n$ symmetric group I encountered the following problem, which also someway related to central factorial number.
So given a $n$ cycle say $(1,2,\ldots,n)$, what are the ...
- 685
10
votes
0
answers
389
views
Has anyone met this "$q$-character" table for $S_4$?
Is anyone aware of the following $q$-character table for the
symmetric group $S_4$?
\begin{array}{|c|c|c|c|c|c|}
\hline
\mathrm{conj}\backslash\mathrm{rep}
& 2+1+1 & 3+1 & ...
- 2,137
10
votes
2
answers
741
views
Littlewood-Richardson coefficients in terms of Specht modules
Littlewood-Richardson coefficients $c_{\nu\mu}^{\lambda}$ (where $\nu$,$\mu$ and $\lambda$ are integer partitions such that $|\nu| + |\mu| = |\lambda|$) are well-known coefficients appearing in ...
- 891
8
votes
3
answers
2k
views
Bijective proof for a partition identity
I came across the following cute fact about partitions:
\begin{align}
& |\{\lambda \vdash n \text{ with an even number of even parts}\}| \\[8pt]
& {} - |\{ \lambda \vdash n \text{ with an odd ...
- 2,242
6
votes
2
answers
325
views
Is there a combinatorial interpretation of this array in terms of $S_{2n+1}$?
I have recently encountered a triangular array $(a_{i,j})_{0\le i\le j}$, each line of which might (should?) have a combinatorial interpretation in terms of $S_{2n+1}$. Here it is (the first entry of ...
- 13.4k
3
votes
2
answers
252
views
Swaps in a permutation across an index
We are given two positive integers $N$ and $K$ such that $K < N$. We start with an array $A=[1,2,\dots,N]$. We can choose an arbitrary index $i \in \{1,2,\dots,N-1\}$ and we can swap $A[i]$ with $A[...
- 41
6
votes
0
answers
246
views
What do Macdonald polynomials hint about $\operatorname{Rep}(S_\infty)$?
$\DeclareMathOperator\Rep{Rep}$It is well-known that the Macdonald "$P$" polynomials deform the
Jack "$J$" polynomials [1]. The latter have profound relations with
representation ...
- 5,230
1
vote
0
answers
72
views
Scalars by which symmetrizations of cyclic permutations act on Specht modules
Let $S_n$ be the symmetric group. Pick $a \in 2,\ldots,n$ and denote by $c_a \in \mathbb{C}[S_n]$ the symmetrization of the element $(12\ldots a)$ i.e. $c_a$ is the sum of cycles of type $a$.
Let $\...
- 163
1
vote
0
answers
82
views
How to obtain explicit formula for this sum over Young diagram?
Consider the next essence
$$
B_N (r, q) =\sum_{\tau \vdash r} d^2 (\tau ) \prod_{i = 1}^{r} \frac{\Gamma [N + \tau_i - i +1]}{\Gamma [N + \tau_i - i +1+q]}
$$
where $d(\tau)$ is dimension of ...
2
votes
1
answer
137
views
How to re-expand the sum of Schur function?
Consider next sum
\begin{eqnarray}
\label{PF_spindef}
Z = \sum_{r=0}^{N N_f} h^{2r} \ Q(r) .
\end{eqnarray}
and
\begin{equation}
Q(r) \ = \ \sum_{\sigma \vdash r} s_{\sigma}(1^{N_f}) \
s_{\sigma}...
2
votes
0
answers
168
views
New identity for sum over Young diagram of symmetric group?
Consider the next identity
$$
\sum_{\tau \vdash r} d^2 (\tau ) \! \prod_{i = -(r-1)}^{r-1} \! \! \left( N+i \right)^{t_i^r} =\sum_{\tau \vdash r} d^2 (\tau ) \prod_{i = 1}^{r} \Gamma [N + \tau_i - ...
5
votes
0
answers
76
views
Finite trees with forests realizing all partitions
Removing interiors of some edges in a tree with $n$ vertices leaves a spanning-forest
with $k$ connected components (given by subtrees) having respectively $\lambda_1,\ldots,\lambda_k$
vertices. We ...
- 17.9k
3
votes
1
answer
241
views
Probability that k randomly drawn permutations can be arranged to compose to the identity
Consider the symmetric group $S_n$ under the uniform distribution. For integer $k > 1$, suppose we draw $k$ elements $s_1, \dots, s_k$ independently at random. What is the probability that there ...
- 6,195
2
votes
1
answer
75
views
Reference for the action of the Mullineux involution on a partition with an added good node
Could you help me to locate a reference in the literature to the following fact: if you act by the Mullineux involution $M$ on a partition $Q$ which is a union of a regular partition $P$ with an added ...
8
votes
1
answer
272
views
Branching rule for Specht modules over Kazhdan-Lusztig basis
Suppose $\lambda\vdash n$ is a partition and $S^\lambda$ is the associated irreducible representation of $S_n$. As we know from the branching rule, we have an isomorphism of $S_{n-1}$ modules
$$S^\...
- 221