Abstract
We study asymptotics of random shifted Young diagrams which correspond to a given sequence of reducible projective representations of the symmetric groups. We show limit results (Law of Large Numbers and Central Limit Theorem) for their shapes, provided that the representation character ratios and their cumulants converge to zero at some prescribed speed. Our class of examples includes uniformly random shifted standard tableaux with prescribed shape as well as shifted tableaux generated by some natural combinatorial algorithms (such as shifted Robinson–Schensted–Knuth correspondence) applied to a random input.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Outlook
This paper is arranged in the following way which is intended to make the learning curve somewhat less steep.
We start with Sects. 1.2–1.5 of this Introduction where we present basic notations related to strict partitions. We continue in Sects. 1.6–1.7 with two concrete example models which we aim to treat, namely random strict tableaux of prescribed shape and asymptotics of shifted Robinson–Schensted–Knuth correspondence.
These two example models turn out to be special cases of a more general and more abstract theory which we present later in the paper in Sect. 2. This general theory concerns random shifted Young diagrams related to reducible spin representations of the symmetric groups. We also state there the main results of the current paper, Theorems 2.5 and 2.6.
These general results are direct analogues of their classical counterparts for linear representations and usual (non-shifted) Young diagrams. Our strategy will be twofold: to revisit the ideas from the work of the second-named author [41] which concern the linear representations of the symmetric groups, as well as to use the link between the linear and the spin setup which we explored only recently [31].
Our reuse of the notion of the approximate factorization property for the character ratios (which appears in the assumptions of Theorems 2.5 and 2.6) has some novelty: in Sect. 3 we discuss this established notion with a new, more abstract and hopefully more elegant viewpoint of the category theory. This new approach seems applicable in a quite wide spectrum of setups, including the classical one [41].
The remaining part of the paper is tailored specifically for the needs of the setup of the asymptotic spin representation theory of the symmetric groups.
In Sect. 4 we present our key technical tools: Kerov–Olshanski algebra and its spin analogue. We prove the main technical difficulty of the current paper, Theorem 4.2.
In Sect. 5 we prove Theorem 5.1 which provides several equivalent, convenient characterizations for approximate factorization property for character ratios. This result directly implies the main results of the current paper, Theorems 2.5 and 2.6.
Section 6 is devoted to applications of the aforementioned Theorem 5.1. We construct a large collection of examples of sequences of representations with approximate factorization property for which the results of the current paper are applicable. In particular, we explain how Theorems 1.1, 1.3, Corollaries 1.4, 1.5 fit into the general framework of the approximate factorization property.
In Sect. 7 we recall the methods for finding explicitly the limit shape of (shifted) Young diagrams.
In “Appendix A” we recall some basic facts from the spin representation theory of the symmetric groups.
1.2 Strict partitions
Random partitions occur in mathematics and physics in a wide variety of contexts, in particular in the Gromov–Witten and Seiberg–Witten theories [32, 47]. In the current paper we focus attention on a special class, namely on random strict partitions.
We recall that
is a strict partition of an integer n if \(\xi _1>\dots >\xi _\ell \) form a strictly decreasing sequence of positive integers such that \(n=|\xi |=\xi _1+\cdots +\xi _\ell \), cf. [27, p. 9]. We denote by \(\mathcal {SP}_n\) the set of strict partitions of a given integer n and by \(\mathcal {SP}=\bigcup _{n\ge 0} \mathcal {SP}_n\) the set of all strict partitions.
It is convenient to represent graphically a strict partition \(\xi \) by a shifted Young diagram, as it is shown in Fig. 1, which is a collection of boxes
on the plane. We use the French notation for drawing diagrams as well as the usual Cartesian coordinate system OXY on the plane; in particular the variable x indexes the columns and the variable y indexes the rows. The rows and columns are indexed by natural numbers \({\mathbb {N}}=\{1,2,\dots \}\).
Above and in the following it is convenient to view a strict partition (1) as an infinite sequence of non-negative integers
by padding zeros at the end.
1.3 Strict partitions: motivations and applications
Strict partitions occur naturally in the context of spin representations of the symmetric groups \({\mathfrak {S}}_{n}\), cf. “Appendix A.2” later on, and in this article we shall concentrate on this link. Nevertheless, it is worth pointing out that they also appear in the theory of partially ordered sets as order filters in the root poset of type \(B_n\), as well as they form an interesting infinite family of d-complete posets, which in turn is connected to fully commutative elements of some Coxeter groups [34, 46]. Also, strict partitions are in a bijective correspondence with permutations which avoid patterns 132 and 312 [9].
1.4 Drawing (strict) partitions and Young diagrams for asymptotic problems
For asymptotic problems we need some way of drawing large strict partitions which would allow us to compare the shapes of such partitions with different numbers of boxes. In this section we shall present a convenient solution to this difficulty.
1.4.1 Shifted Russian convention for drawing shifted Young diagrams
In the French convention we draw shifted Young diagrams on the plane using the Cartesian coordinate system OXY, cf. Fig. 1, but for asymptotic questions it is convenient to draw them using the shifted Russian convention [10, Sect. 4.2.6] which corresponds to a new coordinate system OZT on the plane given by
see Fig. 2. In this convention, the boundary of a shifted Young diagram \(\xi \) (shown on Fig. 3 by the thick zigzag line), called its profile, is a graph of a function \(\omega _{\xi }:{\mathbb {R}}_+ \rightarrow {\mathbb {R}}_+\) on the positive half-line. If necessary, the domain of the profile can be extended to the whole real line by declaring that \(\omega _{\xi }(-x)=\omega _{\xi }(x)\) for any \(x\ge 0\). The graph of such a profile \(\omega _\xi :{\mathbb {R}}\rightarrow {\mathbb {R}}_+\) is shown on Fig. 2 as the union of the thick solid and the thick dashed lines.
1.4.2 Russian convention for drawing Young diagrams
In the French convention we draw the usual (non-shifted) Young diagrams on the plane using the Cartesian coordinate system OXY, but for asymptotic questions it is convenient to draw them using the Russian convention (cf. Fig. 3) which corresponds to a new coordinate system OZT on the plane given by
In this convention, the boundary of a Young diagram \(\lambda \) (shown on Fig. 3 by the thick zigzag line), called its profile is a graph of a function \(\omega _{\lambda }:{\mathbb {R}}\rightarrow {\mathbb {R}}_+\).
1.4.3 Continual Young diagrams: dilations of (shifted) Young diagrams
We will say that a function \(\omega :{\mathbb {R}}\rightarrow {\mathbb {R}}_+\) is a continual Young diagram [19, 21] if
\(|\omega (z_1)-\omega (z_2)| \le |z_1-z_2|\) for any \(z_1,z_2\in {\mathbb {R}}\),
\(\omega (z)=|z|\) for sufficiently big values of |z|.
For a real number \(r>0\) we can draw the boxes of the Young diagram \(\lambda \) as squares of side r. Such an object—denoted \(r \lambda \) and called dilated Young diagram—is usually no longer a Young diagram, but its profile \(\omega _{r \lambda }\) is still well defined and is a continual Young diagram; note that
which can be viewed as an alternative definition of \(\omega _{r \lambda }\).
For a shifted Young diagram \(\xi \) the analogous operation of drawing boxes as squares of side \(r>0\) and then looking on the profile of the resulting object is more delicate because we would have to adjust the additive terms in the linear transformations (3) to the new size of the boxes. For this reason we take the following analogue of (4):
as the definition of the profile of the dilated diagram \(r \xi \).
1.5 Shifted tableaux
We recall that a shifted tableau is a filling of the boxes of a given shifted Young diagram \(\xi \) which is weakly increasing along the rows and strictly increasing along the columns. Such a tableau is standard if each of the numbers \(1,2,\dots ,n\) appears as an entry exactly once, where \(n=|\xi |\) is the number of the boxes, cf. top of Fig. 4 for an example. For a shifted tableau T of shape \(\xi \) we denote by \(T_{x,y}\) its entry in x-th column and y-th row for integers x, y such that \(1\le y< x\le y+\xi _y\). For any integer \(0\le i\le n\) we denote by \(T_{\le i}=(\zeta _1,\zeta _2,\dots ) \in \mathcal {SP}_i\) the strict partition which corresponds to the set of boxes of T occupied by numbers which are \(\le i\); in other words
In the context of the representation theory of the symmetric groups, shifted tableaux play an analogous role (for spin representations) as the usual (“non-shifted”) tableaux (for linear representations) and several classical combinatorial algorithms for tableaux have their shifted counterparts [36, 39, 45, 49].
A special role is played by the staircase strict partition
and by shifted tableaux with this shape; we call the latter staircase shifted tableaux. Such staircase shifted tableaux—apart from the aforementioned general context of the representation theory—appear in the combinatorics of the Coxeter groups; more specifically they are in a bijective correspondence with a natural class of objects which can be described in several equivalent ways:
maximum length chains in the Tamari lattice [12],
maximal chains in weak Bruhat order on 312-avoiding permutations in \({\mathfrak {S}}_{n}\) [12] which are also known under the name of 312-avoiding sorting networks,
both 132- and 312-avoiding sorting networks [24, Proposition 3.12],
the commutation class of the word
$$\begin{aligned} \mathbf{w }_0=(s_1s_2\cdots s_{k-1})(s_1 s_2\cdots s_{k-2})\cdots (s_1s_2)(s_1) \end{aligned}$$in the symmetric group \({\mathfrak {S}}_{k}\) [38].
1.6 The first example: random shifted standard tableaux with prescribed shape
For \(\xi \in \mathcal {SP}\) we denote by \({\mathcal {T}}_\xi \) the set of shifted standard tableaux with the presecribed shape \(\xi \) and by \({\mathbb {P}}_\xi \) the uniform probability measure on \({\mathcal {T}}_\xi \). Such a uniformly random shifted tableau can be generated by the shifted hook walk algorithm [35] and is an important tool in some proofs of the hook length formula for the number \(|{\mathcal {T}}_\xi |\) of shifted tableaux [35].
1.6.1 Limit shape for random shifted tableaux
Following the ideas of Pittel and Romik [33], a shifted tableau T with shape \(\xi \in \mathcal {SP}_n\) can be regarded as a three-dimensional stack of cubes over the two-dimensional shifted Young diagram \(\xi \), with \(T_{x,y}\) cubes stacked over the square \([x-1,x]\times [y-1,y] \times \{0\}\). Alternatively, the function \((x,y)\mapsto T_{\lceil x\rceil ,\lceil y\rceil }\) can be interpreted as the graph of the (non-continuous) surface of the upper envelope of this stack.
It is convenient to rescale the unit boxes on the plane by the factor \(\frac{1}{\sqrt{2n}}\) in such a way that the area of \(\xi \) becomes equal to \(\frac{1}{2}\), and to rescale the height of the cubes by the factor \(\frac{1}{n}\) in such a way that the heights of stacks of cubes are all between 0 and 1. In this way we may ask asymptotic questions about large random shifted tableaux using the language of random surfaces.
Before reading the exact form of the following result we recommend to consult the almost self-explanatory Fig. 4.
The following result states a kind of Law of Large Numbers result that if the (scaled down) shapes of the strict partitions \(\big ( \xi ^{(k)} \big )\) converge to some limit shape \(\Lambda \) then the aforementioned random surface which corresponds to a uniformly random shifted tableau \(T^{(k)}\in {\mathcal {T}}_{\xi ^{(k)}}\) converges in probability towards some deterministic surface \(F:\Lambda \rightarrow [0,1]\) in the sense of level curves. The latter sense of convergence means that the (scaled down) region on the plane occupied by the boxes with (scaled) height bounded from above by any fixed real number \(\alpha \)—in the physical geography the boundary of such a region is a curve called the contour curve or the level curve—converges in probability to the region where the surface F takes values which are bounded from above by the same level \(\alpha \).
Theorem 1.1
(Law of Large Numbers for random shifted tableaux) For each \(k\ge 1\) let \(\xi ^{(k)}=(\xi ^{(k)}_1,\xi ^{(k)}_2,\dots ) \in \mathcal {SP}_{n_k}\) for some sequence \((n_k)\) of positive integers which tends to infinity. We assume that the sequence of rescaled profiles converges to some limit
in the sense of pointwise convergence of functions on \({\mathbb {R}}_+\). We denote by
this limit shape drawn in the French coordinate system.
We also assume that the sequence \((\xi ^{(k)})\) is C-balanced [4], i.e. the length of the first row satisfies the bound
for some constant \(C>0\) and all integers \(k\ge 1\).
Then there exists a function \(F :\Lambda \rightarrow [0,1]\) and the corresponding a family of level curves (drawn in the Russian convention) indexed by \(0<\alpha <1\), defined for \(z\ge 0\) by
we use the convention that if the supremum above is taken over the empty set then \(\Omega _{\alpha }(z) = |z|\).
We denote by \(T^{(k)}\) a random standard Young tableau, sampled with the uniform distribution on \({\mathcal {T}}_{\xi ^{(k)}}\). Then for each \(0<\alpha <1\) the (rescaled by the factor \(\frac{1}{\sqrt{2 n_k}}\)) profile of the shifted Young diagram \(T^{(k)}_{\le \alpha n_k }\) converges in probability to \(\Omega _{\alpha }\). In other words, for each \(\epsilon >0\)
The proof and the exact form of the limit surface F is postponed to Sect. 6.3. The results of the current paper can be also used to show that the fluctuations of the random surfaces \(T^{(k)}\) around the limit shape are Gaussian.
Remark 1.2
With some minor effort, an analogous result for the usual (non-shifted) tableaux can be extracted from the work of Biane [4, Theorem 1.5.1]. This non-shifted analogue was known to Biane; in particular the second-named author witnessed a presentation of Biane in Spring 2008 in which this kind of result was stated by referring to computer simulations similar to the one from Fig. 4, see also [40] in the context of Gaussianity of fluctuations. Nevertheless, it seems that this non-shifted version was never explicitly stated in the existing literature and for this reason it was overlooked by the scientific community. For example, the authors of [33] cite the work of Biane but do not seem to be aware of a partial overlap of their result with [4].
1.6.2 Example: random staircase tableaux
The assumptions of the above Theorem 1.1 are fulfilled for the sequence
of staircase strict partitions, cf. Eq. (5), with \(n_k=\left( {\begin{array}{c}k+1\\ 2\end{array}}\right) \) and the limit shape
Theorem 1.1 is applicable and, as we shall see in Sect. 6.3.7, in this case the limit surface
is the restriction of the function L described by Pittel and Romik [33, Sect. 1.1]. In this way we recover a part of the result of Linusson et al. [25, Theorem 3.8] who proved a stronger version of this result (the authors of [25] used convergence with respect to a stronger topology given by the pointwise convergence of the entries of tableaux towards the limit surface F). Note that the latter paper contains also large deviations results which do not seem to be accessible by out methods.
1.7 The second example: asymptotics of shifted Schur–Weyl measures
1.7.1 Shifted RSK correspondence
Let us fix some positive integers n and d. We consider the ordered set
In the following we will use shifted RSK correspondence [13, 36, 49] in a very specific context (with the notations of [36, Theorem 8.1] this corresponds to the case when the circled matrix \((a_{ij})_{i\in [n], j\in [d]}\) is such that \(\sum _j a_{ij} =1 \) for any \(i\in [n]\)). In this context shifted RSK is a bijection between:
the set
$$\begin{aligned} \Omega _{n,d}:=\left\{ \mathbf{w }=(w_1,\dots ,w_n) : w_1,\dots ,w_n \in {\mathbb {A}}_d \right\} \end{aligned}$$of words of length n, and
pairs (P, Q) of (generalized) tableaux of the same shape \(\xi \in \mathcal {SP}_n\) which fulfil the following conditions.
The insertion tableau P is a generalized shifted tableau which means that it is a filling of the boxes of \(\xi \) with the elements of \({\mathbb {A}}_d\) which is weakly increasing along the rows and along the columns; furthermore each circled symbol appears in each row at most once, and each non-circled symbol appears in each column at most once.
The recording tableau Q is a filling of the boxes of \(\xi \) with the elements of the set \([n]:=\{1,\dots ,n\}\) with the property that each element of [n] appears exactly once; furthermore, each row and each column is increasing. Additionally, each non-diagonal entry of the tableau can be circled or not; each diagonal entries is non-circled.
We consider the discrete probability space \(\Omega _{n,d}\) equipped with the uniform measure. We are interested in the probability distribution of the random variable \(\xi =\xi (\mathbf{w })\). Since shifted RSK correspondence is a bijection, this probability distribution on \(\mathcal {SP}_n\)—called shifted Schur–Weyl measure—is explicitly given by
where \(\ell (\xi )\) denotes the number of non-zero parts of the partition \(\xi \) and \(g^\xi :=|{\mathcal {T}}_\xi |\) is the number of shifted standard tableaux of shape \(\xi \). This probability distribution also has a natural representation-theoretic interpretation which we will be discussed later in Sect. 6.2.
1.7.2 Asymptotics of shifted Schur–Weyl measures
Usually we draw boxes which constitute a shifted Young diagram \(\xi \in \mathcal {SP}_n\) as unit squares. However, as we already mentioned, for asymptotic problems it might be beneficial to draw them as squares of side \(\frac{1}{\sqrt{2n}}\) so that the total area occupied by the boxes is equal to \(\frac{1}{2}\).
The following result states that random strict partitions distributed according to shifted Schur–Weyl measures with carefully chosen parameters converge (after the rescaling of boxes described above) in probability towards some explicit limit shapes. The analogue of this result for non-shifted Schur–Weyl measures is due to Biane [3].
Theorem 1.3
(Law of large numbers for shifted Schur–Weyl measures)
Let \((d_n)\) be a sequence of positive integers with the property that the limit
exists.
Then there exists a function \(\Omega ^{\text {SW}}_c :{\mathbb {R}}_+ \rightarrow {\mathbb {R}}_+\) with the property that for each \(\epsilon >0\)
The proof is postponed to Sect. 6.2; the exact form of the limit curve will be discussed in Sect. 7.3.
This result is illustrated on Figs. 5 and 6.
1.7.3 Asymptotics of the insertion tableaux P
We continue the discussion of shifted RSK correspondence from Sect. 1.7.1. If we ignore that some of the entries of the insertion tableau \(P=P(\mathbf{w })\) are circled, we may represent P as a stack of cubes, just like we did it in Sect. 1.6.1. This time, however, we rescale all dimensions of the unit cubes by the factor \(\frac{d}{n}\).
The following result states that such rescaled random surfaces converge in probability to some universal surface \({\mathcal {P}}\) in the sense of level curves. This result is illustrated by a computer simulation on Fig. 7.
Corollary 1.4
(Law of Large Numbers for insertion tableaux) There exists a function
and the corresponding a family of level curves (drawn in the Russian convention) indexed by \(\alpha >0\), defined for \(z\ge 0\) by
with the following property.
For any sequence \((d_n)\) of positive integers such that
we have that
(for legibility we write \(d=d_n\)) holds true for any \(\epsilon >0\) and any level \(\alpha \) such that
The proof is postponed to Sect. 6.2.
1.7.4 Asymptotics of recording tableaux Q
Again, if we ignore that some of the entries of the recording tableau \(Q=Q(\mathbf{w })\) are circled, we may represent Q as a stack of cubes, just like we did it in Sect. 1.6.1. This time, we rescale the unit boxes on the plane by the factor \(\frac{1}{d}\), and rescale the height of the cubes by the factor \(\frac{1}{d^2}\).
The following result states that such rescaled random surfaces converge in probability to some universal surface \({\mathcal {Q}}\) in the sense of the level curves. This result is illustrated by a computer simulation on Fig. 8.
Corollary 1.5
(Law of Large Numbers for recording tableaux) There exists a function
and the corresponding a family of level curves (drawn in the Russian convention) indexed by \(\alpha >0\), defined for \(z\ge 0\) by
with the following property.
For any sequence \((d_n)\) of positive integers such that
we have that
(for legibility we write \(d=d_n\)) holds true for any \(\epsilon >0\) and any level \(\alpha \) such that
The proof is postponed to Sect. 6.2.
Remark 1.6
Corollaries 1.4 and 1.5 have non-shifted analogues which concern the asymptotic shapes of the insertion and the recording tableaux when the usual (non-shifted) RSK correspondence is applied to a random sequence of length n with the entries selected from the finite set [d]. These analogues follow from the results of Biane [3, Theorem 3] in a way similar to the one presented in the proofs of Corollaries 1.4 and 1.5. Somewhat surprisingly, it seems that these non-shifted analogues were not stated explicitly in the existing literature.
The results of the current paper can be also used to show that the fluctuations of the random surfaces corresponding to the insertion and the recording tableaux around the limit shapes are Gaussian.
2 Spin representations and random strict partitions
We are ready now to present the abstract general theory which provides the link between asymptotics of spin characters and the corresponding random strict partitions.
2.1 Character ratios
For Reader’s convenience we collected some very basic facts and notations from the spin representation theory of the symmetric groups in “Appendix A”. Nevertheless, most of these facts will not be used in the following. The bare minimal necessary knowledge is condensed in “Appendix A.7”.
If \(\psi :{\mathbb {C}}{\mathfrak {S}}_{n}^-\rightarrow {{\,\mathrm{GL}\,}}(V) \) is a spin representation and \(\pi \in \mathcal {OP}_n\) is an odd partition, we define the corresponding character ratio
as the (normalized) character of \(\psi \) evaluated on any element \(c^\pi \in C_\pi ^+\) which belongs to the conjugacy class which corresponds to \(\pi \), cf. “Appendix A.7”. Above
denotes the normalized trace.
For \(\xi \in \mathcal {SP}_n\) and \(\pi \in \mathcal {OP}_n\) we denote by
the character ratio (8) which corresponds to (any) irreducible spin representation given by \(\xi \), cf. “Appendix A.7”.
2.2 Random strict partitions and reducible representations
Let \(\psi :G\rightarrow {{\,\mathrm{GL}\,}}(V)\) be a representation of a finite group G and let
be its decomposition into irreducible components. Above, \(n_\xi \in \{0,1,2,\dots \}\) denotes the multiplicity of the irreducible component \(V^\xi \). We define a probability measure on the set \({\widehat{G}}\) of the irreducible representations of G given by
which can be interpreted as the probability distribution of a random irreducible component of V.
The main results of the current paper concern the random shifted Young diagrams given by the above construction in the special case when \(G=\widetilde{{\mathfrak {S}}}_{n}\) is the spin group and V is its reducible spin representation. Equivalently, in order to ensure we deal with a spin representation, we may consider the analogue of the above construction in which instead of a group representation of \(\widetilde{{\mathfrak {S}}}_{n}\) we use an algebra representation of \({\mathbb {C}}{\mathfrak {S}}_{n}^-\).
Due to the correspondence between the irreducible representations of \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) and strict partitions of n, the measure \({\mathbb {P}}^V\) can be equivalently viewed as a probability measure on \(\mathcal {SP}_n\), see Sect. 2.3 for some technical details.
Example 2.1
(Strict Plancherel measure) The vector space \(V:={\mathbb {C}}{\mathfrak {S}}_{n}^-\) admits a natural action of the spin group algebra \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) by left multiplication which can be regarded as an analogue of the left-regular representation of a group.
The corresponding probability measure, called strict (or shifted) Plancherel measure [5, 16, 18], is given by
where \(g^\xi =|{\mathcal {T}}_\xi |\) denotes the number of shifted standard tableaux with shape given by the shifted Young diagram \(\xi \).
Equivalently, (11) is the probability distribution of the common shape of the two shifted tableaux associated via shifted Robinson–Schensted correspondence [36, 49] to a uniformly random circled permutation in n letters.
2.3 Random strict partitions, revisited
Formally speaking, the construction from Sect. 2.2 associates to a given (reducible) representation V of \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) a probability measure \({\mathbb {P}}^V\) on the set of irreducible representations (or irreducible characters) of \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) which can be identified with the set
in which each element of \(\mathcal {SP}_n^-\) is counted twice, thus it is not equal to \(\mathcal {SP}_n\). However, if we identify the two copies of \(\mathcal {SP}^-_n\) by identifying the characters \(\phi ^\xi _{\pm }\) for \(\xi \in \mathcal {SP}^-\) then \({\mathbb {P}}^V\) becomes, as required, a probability measure on \(\mathcal {SP}_n\) given by
An alternative solution to the above minor difficulty is to start with a reducible superrepresentation of \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) and then to decompose it into irreducible superrepresentations which directly gives rise to a probability distribution on strict partitions.
2.4 Random strict partitions, alternative viewpoint
If V is a representation of of \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) then (keeping in mind (13)) the following equality between functions on \(\mathcal {OP}_n\) holds true:
Thanks to Lemma 2.2 below it follows that the coefficients \(\left( {\mathbb {P}}^V(\xi ) \right) \) of this expansion are uniquely determined by (14).
Lemma 2.2
The family of character ratios
forms a linear basis of the space of (complex-valued) functions on \(\mathcal {OP}_n\).
Proof
The right-hand side of (12) is the complete collection of the characters of \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) hence it forms a linear basis of the space of complex-valued functions on the set of conjugacy classes \(C_\pi ^+\) over \(\pi \in \mathcal {OP}_n \cup \mathcal {SP}_n^-\).
It follows that
spans the space of complex-valued functions on the set of conjugacy classes \(C_\pi ^+\) over \(\pi \in \mathcal {OP}_n\). By the identity \(|\mathcal {SP}_n|=|\mathcal {OP}_n|\), its cardinality matches the dimension hence (15) is a linear basis of the latter space.
Since
the claim follows immediately. \(\square \)
Equality (14) can be viewed as an alternative definition of the probabilities \({\mathbb {P}}^V(\xi )\) as coefficients of the expansion of \(\chi ^V\) in the linear basis \((\chi ^\xi )\). This viewpoint has interesting consequences.
Firstly, in order to state the results of the current paper we do not need the representation V and it is enough to speak about the corresponding character ratio \(\chi ^V\). The property of approximate factorization (Definition 2.3) is, in fact, not a property of a sequence of representations but of the corresponding sequence of character ratios.
Secondly, for a superrepresentation of \({\mathbb {C}}{\mathfrak {S}}_{n}^-\), the construction from Sect. 2.2 gives a probability measure directly on \(\mathcal {SP}_n\), without the difficulties discussed in Sect. 2.3. Passage from the framework of representations to the framework of superrepresentations implies that we should replace the family of characters (12) by the characters of the irreducible superrepresentations
This change does not create any difficulties because the corresponding family of character ratios (viewed as functions on \(\mathcal {OP}_n\)) remains the same. By revisiting Eq. (14) in the new context of superrepresentations we see that it still remains valid; this shows that that the probability measure on \(\mathcal {SP}_n\) associated to a (super)representation V remains the same, no matter if we regard V as a superrepresentation or as a representation.
Thirdly, the (super)representation theory of the spin symmetric groups \({\mathfrak {S}}_{n}\) is known to be Morita equivalent to the (super)representation theory of Hecke–Clifford algebra \({\mathcal {H}}_n={\mathcal {C}}l_n \rtimes {\mathbb {C}}{\mathfrak {S}}_{n}\). In the context of the (super)representations of \({\mathcal {H}}_n\) it still makes sense to speak about the character ratios \(\chi \) as functions on \(\mathcal {OP}_n\); in this way the results of the current paper can be reformulated in the language of the (super)representations of \({\mathcal {H}}_n\) and the corresponding probability measures.
2.5 Hypothesis of the main results: approximate factorization of characters
In this section we will present the hypothesis of the main results of the current paper, Theorems 2.5 and 2.6.
2.5.1 Cumulants of characters
We define a product of two odd partitions as their concatenation, followed by arranging the entries in a weakly decreasing manner. In this way the set \(\mathcal {OP}\) of odd partitions becomes a commutative monoid with the unit given by the empty partition \(\emptyset \). We consider the algebra of odd partitions \({\mathbb {C}}[\mathcal {OP}]\) which—as a vector space—is defined as the set of formal linear combinations of odd partitions; the product corresponds to the above monoid structure via distributivity of multiplication. Any function \(\chi :\mathcal {OP}\rightarrow {\mathbb {C}}\) on odd partitions extends by linearity to a linear map \(\chi :{\mathbb {C}}[\mathcal {OP}]\rightarrow {\mathbb {C}}\) on the odd partition algebra.
A convenient way to encode the information about a function \(\chi :\mathcal {OP}\rightarrow {\mathbb {C}}\) with the property that \(\chi (\emptyset )=1\) is to use cumulants. More specifically, for partitions \(\pi ^1,\dots ,\pi ^\ell \in \mathcal {OP}\) we define their cumulant (with respect to \(\chi \))
as a coefficient in the Taylor series of an analogue of the logarithm of the (multidimensional) Laplace transform. The operations on the right-hand side should be understood in the sense of formal power series with values in the odd partitions algebra \({\mathbb {C}}[\mathcal {OP}]\). For example,
Informally speaking, the cumulants \(\kappa _\ell ^\chi \) (for \(\ell \ge 2\)) quantify the extent to which \(\chi :\mathcal {OP}\rightarrow {\mathbb {C}}\) fails to be a semigroup homomorphism (with respect to the multiplication).
We denote by \(\mathcal {OP}_{\le n}:=\bigcup _{0\le m\le n} \mathcal {OP}_m\) the set of odd partitions of size smaller or equal than n. We will apply the above construction of cumulants to the special case when V is a (reducible) spin representation of \(\widetilde{{\mathfrak {S}}}_{n}\) and \(\chi =\chi ^V\) is the character ratio defined on \(\mathcal {OP}_{\le n}\) by extending the domain of (8) by padding the partition \(\pi \) with additional ones:
Note that so defined \(\chi ^V\) is well-defined only on the set \(\mathcal {OP}_{\le n}\); in this way the cumulant (16) is well-defined as long as \(|\pi ^1|+\cdots +|\pi ^\ell |\le n\).
2.5.2 Approximate factorization of characters
For a partition \(\pi =(\pi _1,\dots ,\pi _\ell )\) with \(\pi _1,\dots ,\pi _\ell \ge 1\) we define its length
as the difference of its size and its number of parts.
Definition 2.3
Assume that for each integer \(n\ge 1\) we are given a spin representation \(\psi ^{(n)}:\widetilde{{\mathfrak {S}}}_{n}\rightarrow {{\,\mathrm{GL}\,}}(V^{(n)})\). We say that the sequence \(( V^{(n)} )\) has approximate factorization property if for each \(l\ge 1\) and all \(\pi ^1,\dots ,\pi ^\ell \in \mathcal {OP}\) such that each \(\pi ^i=(2k_i+1)\) is an odd partition which consists of exactly one part, we have that
Example 2.4
We continue Example 2.1. The vector space \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) is the image of the left-regular representation \({\mathbb {C}}\widetilde{{\mathfrak {S}}}_{n}\) under the projection \(\frac{1-z}{2}\). Since the character of the left-regular representation vanishes on all group elements (except for the identity 1), it follows that the character of \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) vanishes on all group elements, except for 1 and z, and hence the corresponding character ratio is given by
for any \(\pi \in \mathcal {OP}_n\). We extend the domain of the character ratio by (17) and obtain
for any \(\pi \in \mathcal {OP}_{\le n}\).
Since \(\kappa _1^{{\mathbb {C}}{\mathfrak {S}}_{n}^-}(\pi )= \chi ^{{\mathbb {C}}{\mathfrak {S}}_{n}^-}(\pi )\), we just calculated the first cumulant as well.
Since the map (19) is a homomorphism (in the somewhat restricted sense that \(\chi ^{{\mathbb {C}}{\mathfrak {S}}_{n}^-}(\pi ^1 \pi ^2)= \chi ^{{\mathbb {C}}{\mathfrak {S}}_{n}^-}(\pi ^1) \chi ^{{\mathbb {C}}{\mathfrak {S}}_{n}^-}(\pi ^2)\) for all \(\pi ^1,\pi ^2\in \mathcal {OP}\) such that \(|\pi ^1|+|\pi ^2|\le n\)), it follows immediately that all higher cumulants \(\kappa _\ell ^{{\mathbb {C}}{\mathfrak {S}}_{n}^-}\) (for \(\ell \ge 2\)) vanish.
Now it is easy to check that the sequence of representations \(({\mathbb {C}}{\mathfrak {S}}_{n}^-)\) indeed has approximate factorization property.
We will construct a whole class of examples later in Sects. 6.2 and 6.3.
2.6 Free cumulants
It was noticed by Biane [3, 4] that for asymptotic problems it is convenient to parametrize the set of Young diagrams by free cumulants, quantities which originate in the random matrix theory and Voiculescu’s free probability [30]. We review these quantities in the following.
For a continual Young diagram \(\omega \) we consider a function \(\sigma _\omega :{\mathbb {R}}\rightarrow {\mathbb {R}}_+\) given by
which can be viewed as the density of a measure on \({\mathbb {R}}\).
If \(\omega =\omega _{r \lambda }\) is the profile of a rescaled Young diagram for a Young diagram \(\lambda \) and \(r>0\) then the total weight of this measure
is equal to the area of the rescaled Young diagram \(r \lambda \) (there are \(|\lambda |\) boxes, each is a square of side r).
Similarly, if \(\omega =\omega _{r \xi } :{\mathbb {R}}\rightarrow {\mathbb {R}}_+\) is the profile of a rescaled shifted Young diagram \(\xi \) then
is the double of the area of the rescaled shifted Young diagram \(r \xi \) (the additional factor 2 appears because we extended the domain of the profile to the whole real line).
For a given continual Young diagram \(\omega \) and an integer \(n\ge 2\) we define the rescaled moment of the measure \(\sigma _\omega \):
Then the sequence of free cumulants \(R_2,R_3,\dots \) is defined by
Conversely, the sequence of free cumulants determines uniquely the corresponding sequence of moments \(S_2,S_3,\dots \) by the identity
where \(m^{\downarrow k}=m (m-1) \cdots (m-k+1)\) denotes the falling power, see [7, Sect. 3.2 and Proposition 2.2].
2.7 The first main result: random strict partitions concentrate around some limit shape
In the following, in order to keep the notation lightweight, we will write \(\chi ^{(n)}\), \(\kappa _\ell ^{(n)}\), \({\mathbb {P}}^{(n)}\) instead of \(\chi ^{V^{(n)}}\), \(\kappa _\ell ^{V^{(n)} }\), \({\mathbb {P}}^{V^{(n)}}\), etc.
Theorem 2.5
Assume that for each integer \(n\ge 1\) we are given a spin representation \(\psi ^{(n)}:\widetilde{{\mathfrak {S}}}_{n}\rightarrow {{\,\mathrm{GL}\,}}(V^{(n)})\) and assume that the sequence \((V^{(n)})\) fulfils the approximate factorization property (Definition 2.3).
Additionally, we require that for all odd numbers \(k,l\ge 3\) the following limits exist:
(note that Definition 2.3 implies already that the expressions under the limits are O(1)); and that and that the sequence \({\mathbf{r }}_2, {\mathbf{r }}_4, \dots \) grows at most like a geometric sequence:
We denote by \(\xi ^{(n)}\) the random shifted Young diagram with the distribution given by \({\mathbb {P}}^{(n)}\).
Then the sequence of rescaled shifted Young diagrams \(\frac{1}{\sqrt{n}} \xi ^{(n)}\) converges in probability towards some limit \(\Omega \). In other words: there exists a unique continual Young diagram \(\Omega :{\mathbb {R}}\rightarrow [0,\infty )\) (“the limit shape”) with the property that for each \(\epsilon >0\)
where \(\Vert \cdot \Vert \) denotes the supremum norm.
This limit shape \(\Omega :{\mathbb {R}}\rightarrow {\mathbb {R}}_+\) is uniquely determined by its free cumulants
The proof of this result is postponed to Sect. 5.3. This theorem is analogous to a result of Biane [3, Corollary 1] who considered linear representations of the symmetric groups and the corresponding random (non-shifted) Young diagrams. The assumptions of Theorem 2.5 can be weakened to match the assumptions of the analogous result of Biane; for simplicity we decided to have the same assumptions for Theorems 2.5 and 2.6.
In Sect. 6.1 we will prove that in the special case considered in Example 2.4 when \(V^{(n)}={\mathbb {C}}{\mathfrak {S}}_{n}^-\) is the spin part of the left-regular representation and the corresponding probability measure \({\mathbb {P}}^{(n)}\) is the shifted Plancherel measure, the limit curve \(\Omega \) coincides with the Logan–Shepp & Vershik–Kerov curve [26, 48] which describes the limit shape of (non-shifted) random Young diagram distributed to the (non-shifted) Plancherel measure. In this case the proof is due to De Stavola [10, Sect. 4.5]; this result was conjectured earlier by the authors of [2].
2.8 The second main result: Gaussian fluctuations
Theorem 2.6
We keep the notations and the assumptions from Theorem 2.5.
- (1)
(Gaussian fluctuations of characters) Then the joint distribution of (any finite collection of) the centred random variables
$$\begin{aligned} n^{\frac{k}{2}} \left( \chi ^{\xi ^{(n)}}(k) -{\mathbb {E}}\chi ^{\xi ^{(n)}}(k)\right) , \qquad k\in \{3,5,7,9,\dots \} \end{aligned}$$converges in distribution to a Gaussian distribution, where
$$\begin{aligned} \chi ^{\xi ^{(n)}}(k) = \chi ^{\xi ^{(n)}}\big ( (k)\big )= \chi ^{\xi ^{(n)}}\big ( (k, \underbrace{1, \dots , 1}_{\text {n-k times}})\big ) \end{aligned}$$denotes the evaluation of the character ration on the odd partition (k) which consists of a single part.
- (2)
(Gaussian fluctuations of shapes) Then the joint distribution of (any finite collection of) the random variables
$$\begin{aligned} \sqrt{n} \int _0^\infty x^{2k} \left( \omega _{\frac{1}{\sqrt{n}} D(\xi ^{(n)}) }(x) - \Omega (x)\right) \text {d}x, \qquad k\in \{1,2,\dots \} \end{aligned}$$converges in distribution to a centered Gaussian distribution, where \(\Omega \) is the function provided by Theorem 2.5.
The proof is postponed to Sect. 5.4. The explicit form of the covariance can be calculated thanks to Theorem 5.1. This result is analogous to the central limit theorem for random (non-shifted) Young diagrams proved by the second-named author [41] which was an extension of Kerov’s Central Limit Theorem [15, 20] to the non-Plancherel case. Note also that the special case of the above result for the shifted Plancherel measure was proved by Ivanov [16] already in 2004.
The following sections are a preparation for the proofs of Theorems 2.5 and 2.6.
3 The approximate factorization category
The notion of approximate factorization of characters was introduced by the second-named author as a tool for proving Gaussianity of fluctuations of random Young diagrams related to representation theory and special functions [11, 41]. We use this occasion to present this notion in a more abstract and more transparent framework.
3.1 Filtered algebras
In the usual definition of a filtered algebra \({\mathcal {A}}=\bigcup _{i\in {\mathbb {Z}}_{\ge 0}} {\mathcal {F}}_i\) the family \(({\mathcal {F}}_i)\) is indexed by non-negative integers. For this reason we will refer to such a filtered algebra as \({\mathbb {Z}}_{\ge 0}\)-filtered algebra. The following is a slight extension of this concept. Note that each such a \({\mathbb {Z}}_{\ge 0}\)-filtered algebra becomes a \({\mathbb {Z}}\)-filtered algebra by setting \({\mathcal {F}}_i:=\{0\}\) for all negative integers \(i<0\).
Definition 3.1
By a \({\mathbb {Z}}\)-filtered algebra we will understand an algebra \({\mathcal {A}}\) together with a family (indexed by integers) of linear subspaces \(({\mathcal {F}}_i)_{i\in {\mathbb {Z}}}\) which is increasing: \(\cdots \subseteq {\mathcal {F}}_{-1}\subseteq {\mathcal {F}}_0 \subseteq {\mathcal {F}}_1 \subseteq \cdots \subseteq {\mathcal {A}}\), such that \({\mathcal {A}}=\bigcup _i {\mathcal {F}}_i\) and such that \({\mathcal {F}}_i \cdot {\mathcal {F}}_j \subseteq {\mathcal {F}}_{i+j}\) holds true for all \(i,j\in {\mathbb {Z}}\). We will always assume that \({\mathcal {A}}\) has a unit and \(1\in {\mathcal {F}}_0\).
For \(x\in {\mathcal {A}}\) its degree \({{\,\mathrm{deg}\,}}_{\mathcal {A}}x\) is defined as the minimal value of \(i\in {\mathbb {Z}}\) such that \(x\in {\mathcal {F}}_i\).
Often we do not need to distinguish between \({\mathbb {Z}}\)- and \({\mathbb {Z}}_{\ge 0}\)-filtered algebras; in this case we will speak simply about filtered algebras.
3.2 Examples of filtered algebras
The following two examples will play an important role later on.
3.2.1 The algebra \({\mathcal {X}}\) of sequences with polynomial growth
For \(i\in {\mathbb {Z}}\) we define
to be the linear space of (real valued) sequences with growth at most \(O\left( n^{\frac{i}{2}} \right) \). Then \({\mathcal {X}}:=\bigcup _i {\mathcal {F}}_i\) is a unital \({\mathbb {Z}}\)-filtered commutative algebra with the multiplication given by the pointwise product. The unit \(1=(1,1,\dots )\in {\mathcal {F}}_0\) corresponds to the constant sequence.
3.2.2 The algebra of odd partitions
We revisit Sect. 2.5.1 and we equip the algebra \({\mathbb {C}}[\mathcal {OP}]\) of odd partitions with a \({\mathbb {Z}}\)-filtration by setting
for any \(i\in {\mathbb {Z}}\).
It should be stressed that this filtration has a peculiar property that the degree of any element is a non-positive integer.
3.3 The approximate factorization property
Definition 3.2
Suppose that \({\mathcal {A}}\) and \({\mathcal {B}}\) are unital commutative algebras and \(F:{\mathcal {A}}\rightarrow {\mathcal {B}}\) is a linear unital map. For \(a_1,\dots ,a_l\in {\mathcal {A}}\) we define their cumulant
where the operations on the right-hand side should be understood in the sense of formal power series in the variables \(t_1,\dots ,t_\ell \), cf. (16).
So defined cumulant is a coefficient in the expansion of an multidimensional Laplace transform, with the role of the expected value \({\mathbb {E}}\) played by the linear map F. For example,
correspond to the mean value and the covariance.
Definition 3.3
We say that a linear unital map \(F:{\mathcal {A}}\rightarrow {\mathcal {B}}\) between filtered commutative algebras has the approximate factorization property if for all \(\ell \ge 1\) and \(a_1,\dots ,a_\ell \in {\mathcal {A}}\)
Remark 3.4
More generally, for an arbitrary \(\alpha >0\) one can consider the notion of \(\alpha \)-approximate factorization property in which (28) is replaced by the condition
Clearly, Definition 3.3 is a special case corresponding to \(\alpha =2\).
Some of the abstract general results which we present in the following remain true also for this more general notion (in particular, all results from Sects. 3.4 and 3.5). On the other hand, the results which concern specific examples (such as Observation 3.9 and Proposition 3.10) depend on the specific choice of \(\alpha =2\).
In order to keep the notation lightweight we will not pursue further this more general setup.
3.4 The approximate factorization category
Lemma 3.5
If \({\mathcal {A}},{\mathcal {B}},{\mathcal {C}}\) are filtered unital commutative algebras and \(F:{\mathcal {A}}\rightarrow {\mathcal {B}}\) and \(G:{\mathcal {B}}\rightarrow {\mathcal {C}}\) have the approximate factorization property then their composition \(G\circ F:{\mathcal {A}}\rightarrow {\mathcal {C}}\) also has approximate factorization property.
This lemma appears in a rather concealed form in [41, Sect. 4.7, proof of the implication (13)\(\implies \)(14)]; the main idea of the proof is to use the formula of Brillinger [6] in order to express the cumulants for the composition \(G\circ F\) in terms of the cumulants for G and cumulants for F.
Lemma 3.5 allows us to speak about the approximate factorization category which has filtered unital commutative algebras as objects and unital maps with the approximate factorization property as morphisms.
Lemma 3.6
Suppose that \(F:{\mathcal {A}}\rightarrow {\mathcal {B}}\) has the approximate factorization property and additionally it preserves the degree, i.e. \({{\,\mathrm{deg}\,}}_{\mathcal {B}}F(a) = {{\,\mathrm{deg}\,}}_{\mathcal {A}}a\) for each \(a\in {\mathcal {A}}\), and that F is invertible as a linear map.
Then \(F^{-1}:{\mathcal {B}}\rightarrow {\mathcal {A}}\) also has the approximate factorization property.
This lemma appears in a concealed form in [41, Sect. 4.7, proof of the implication (14)\(\implies \)(13)].
3.5 Generators and approximate factorization
Since we consider the setup of filtered algebras, the usual notion of generators of an algebra has to be adjusted accordingly.
Definition 3.7
Let \({\mathcal {A}}\) be a filtered algebra and let \(X\subseteq {\mathcal {A}}\) be its subset. We say that X generates \({\mathcal {A}}\) as a filtered algebra if each \(a\in {\mathcal {A}}\) is a linear combination (with complex coefficients) of finite products of the form \(x_1\cdots x_\ell \) for some \(\ell \ge 0\) and \(x_1,\dots ,x_\ell \in X\) such that
The following simple result was proved by the second-named author [41, Corollary 19] in the specific setup of the Kerov–Olshanski algebra (with two distinct multiplicative structures). The proof did not use any specific properties of these filtered algebras and thus it remains valid also in this general context. Note that the original paper mistakenly does not mention the necessary condition (29); see also [11, Lemma 3.4] and the proceeding discussion.
Lemma 3.8
Let \(F:{\mathcal {A}}\rightarrow {\mathcal {B}}\) be a linear unital map between filtered commutative algebras and let X be a set which generates \({\mathcal {A}}\) as a filtered algebra.
If condition (28) holds true for all \(\ell \ge 1\) and \(a_1,\dots ,a_\ell \in X\) then it holds for arbitary \(a_1,\dots ,a_\ell \in {\mathcal {A}}\); in other words F has the approximate factorization property.
3.6 Example: approximate factorization of characters revisited
In Definition 2.3 we defined the approximate factorization property for a sequence of representations while above we used the same name in Definition 3.3 in the context of maps between filtered algebras. As we explain below, this is not a coincidence.
With the notations of Definition 2.3, let \(\big ( V^{(n)} \big )\) be a fixed sequence of representations and let \(\big (\chi ^{(n)}\big )\) be the corresponding sequence of the character ratios with \(\chi ^{(n)}:\mathcal {OP}_{\le n} \rightarrow {\mathbb {R}}\). We extend the domain of \(\chi ^{(n)}\) in an arbitrary way so that \(\chi ^{(n)}:\mathcal {OP}\rightarrow {\mathbb {R}}\); for example we may set \(\chi ^{(n)}(\pi )=0\) if \(|\pi |>n\). The information about this sequence of character ratios can be encoded by a single map
which is defined by
Observation 3.9
The map (30) has the approximate factorization property (in the sense of Definition 3.3) if and only if the sequence of representations \(\big ( V^{(n)}\big )\) has the approximate factorization property (in the sense of Definition 2.3).
Proof
We denote by \(X\subset \mathcal {OP}\) the set of odd partitions which consist of exactly one part. This set generates \(\mathcal {OP}\) as a commutative monoid. We shall identify any odd partition with the corresponding element of the odd partition algebra \({\mathbb {C}}[\mathcal {OP}]\); it is easy to check that \(X\subset {\mathbb {C}}[\mathcal {OP}]\) generates the odd partition algebra \({\mathbb {C}}[\mathcal {OP}]\) as a filtered algebra.
Assume that \(\big ( V^{(n)}\big )\) has the approximate factorization property. The condition (18) implies that the assumptions of Lemma 3.8 are fulfilled for the map (30) and the aforementioned generating set X. It follows that (30) indeed has the approximate factorization property, as required.
The opposite implication is immediate. \(\square \)
3.7 The motivating example: Gaussian fluctuations
The following example will be our key tool for proving Gaussianity of various random variables.
For each \(n\ge 1\) let \((\Omega _n,{\mathfrak {F}}_n,{\mathbb {P}}_n)\) be a probability space. Assume that \({\mathcal {A}}\) is a \({\mathbb {Z}}\)-filtered commutative algebra such that each element \(\mathbf{X }\in {\mathcal {A}}\) is a sequence \(\mathbf{X }=(X_1,X_2,\dots )\) where \(X_n:\Omega _n\rightarrow {\mathbb {R}}\) is a random variable on the appropriate probability space with the property that its expected value \({\mathbb {E}}_n X_n\) is well-defined.
We assume that the unital map \({\mathbb {E}}:{\mathcal {A}}\rightarrow {\mathcal {X}}\) given by the expected value:
is well-defined, i.e. it indeed takes values in \({\mathcal {X}}\).
Proposition 3.10
With the above notations, let us assume that \({\mathbb {E}}\) has the approximate factorization property. Let \(\{\mathbf{X }_1,\dots ,\mathbf{X }_l\} \subset {\mathcal {A}}\) be a finite set; we denote \(\mathbf{X }_i=(X_{i,1},X_{i,2},\dots )\) and define a centered random variable
Assume that the limit of the covariance
exists for any \(1\le i_1,i_2\le l\).
Then the joint distribution of the tuple
of centered random variables converges to a Gaussian distribution in the limit when \(n\rightarrow \infty \), in the weak topology of probability measures.
Proof
We consider the cumulant of the random variables \(y_{i_1,n},\dots ,y_{i_\ell ,n}\)
For \(\ell =1\) this cumulant
trivially vanishes by the centeredness.
For \(\ell \ge 2\) the cumulant is shift-invariant, thus the assumption of the approximate factorization property implies that
In particular, for \(\ell \ge 3\) this cumulant clearly converges to zero.
For \(\ell =2\) the cumulant coincides with the covariance
and hence by it converges by assumption.
To summarize: we proved that each of the cumulants (32) converges to a finite limit. Since each mixed moment of a collection of random variables can be expressed as a polynomial in their cumulants (for example, via the moment-cumulant formula [44]), it follows that the tuple (31) converges in moments to some distribution. The multidimensional Gaussian distribution can be characterized by the property that its cumulants vanish (except for the mean value and the covariance) thus this limit is a Gaussian distribution. The Gaussian distribution is uniquely determined by its moments; it follows that convergence in moments implies weak convergence, as required. \(\square \)
4 Kerov–Olshanski algebra and its spin analogue
The usual (linear) Kerov–Olshanski algebra \({\mathbb {A}}\) [14, 23] (also known under the less compact name algebra of polynomial functions on the set of Young diagrams; in the monograph [29, Sect. 7] it is referred to as Ivavov–Kerov algebra) is an important tool in the (linear) asymptotic representation theory of the symmetric groups. One of its advantages comes from the fact that it can be characterized in several equivalent ways (for example as the algebra \(\Lambda ^*\) of shifted symmetric functions); it also has several convenient linear and algebraic bases which are related to various viewpoints and aspects of the asymptotic representation theory. In particular, it was an important ingredient in the proof of Gaussianity of fluctuations for random (non-shifted) Young diagrams [41].
For the purposes of the current paper we will need the spin analogue \(\Gamma \) of Kerov–Olshanski algebra [16].
In the current section we shall present these two algebras, as well as their modifications related to a different multiplicative structure (“disjoint product”) and the links between them. The main result of the current section is Theorem 4.2. Our strategy of proof is to use the link between the linear and the spin setup which we explored in [31]. This section is purely algebraic: all calculations are exact, there are no asymptotic assumptions, there is no randomness, there are no representations and no random Young diagrams.
4.1 The linear setup
4.1.1 Normalized characters of the symmetric groups
The usual way of viewing the characters of the symmetric groups is to fix the irreducible representation \(\lambda \) and to consider the character as a function of the conjugacy class \(\pi \). However, there is also another very successful viewpoint due to Kerov and Olshanski [23], called dual approach, which suggests to do roughly the opposite. It turns out that the most convenient way to pursue in this direction is to define—for a fixed integer partition \(\pi \)—the normalized character on the conjugacy class \(\pi \) as a function on the set of all Young diagrams \(\mathrm {Ch}_\pi :{\mathbb {Y}}\rightarrow {\mathbb {C}}\) given by
where \(n=|\lambda |\) and \(k=|\pi |\). Above, \(\rho ^\lambda (\pi \cup 1^{n-k})\) denotes the irreducible representation of the symmetric group \({\mathfrak {S}}_{n}\) evaluated on any permutation from \({\mathfrak {S}}_{n}\) with the cycle decomposition given by the partition \(\pi \cup 1^{n-k}\); furthermore \({{\,\mathrm{tr}\,}}\) is the normalized trace (9); and \(n^{\downarrow k}=n (n-1) \cdots (n-k+1)\) denotes the falling power.
4.1.2 Kerov–Olshanski algebra
For the purposes of the current paper, Kerov–Olshanski algebra
may be defined as the linear span of the normalized linear characters of the symmetric groups. We equip if with a filtration \({\mathcal {F}}_0\subseteq {\mathcal {F}}_1 \subseteq \cdots \subseteq {\mathbb {A}}\) given by
where
This specific choice of the filtration is motivated by investigation of asymptotics of (random) Young diagrams and tableaux in the scaling in which they grow to infinity in such a way that they remain balanced [4, 41].
4.1.3 Disjoint product and the algebra \({\mathbb {A}}_\bullet \)
The characters \((\mathrm {Ch}_\pi : \pi \in {\mathcal {P}})\) turn out to form a linear basis of \({\mathbb {A}}\) which allows us to define a new multiplication on \({\mathbb {A}}\), the disjoint product, by setting
where the product of two partitions \(\pi ^1\pi ^2\) on the right-hand side should be understood—just like in Sect. 2.5.1—as their concatenation.
The vector space \({\mathbb {A}}\) equipped with the disjoint product \(\bullet \) becomes a unital, commutative, \({\mathbb {Z}}_{\ge 0}\)-filtered (with respect to the usual filtration (33)) algebra which will be denoted by \({\mathbb {A}}_\bullet \).
To summarize: the vector space \({\mathbb {A}}\) can be equipped with two distinct multliplicative structures which correspond to the pointwise product and to the disjoint product. Comparison of these two multiplicative structures turns out to be a fruitful idea in asymptotic representation theory [41]. We recall the key result of this flavour below in Theorem 4.1.
4.1.4 Approximate factorization property for linear characters
The following result turned out to be essential for proving Gaussianity of fluctuations for random Young diagrams in [41]. Our goal in this section is to prove its spin analogue (Theorem 4.2).
Proposition 4.1
The identity map
has the approximate factorization property.
Furthermore, the second cumulant of this map is given by
The first proof of this result was found by the second-named author [41, Theorem 15]. For a sketch of an alternative proof based on Stanley character formula and some more historical context we refer to [42, Sect. 1.13]. An extension of this result to the context of Jack symmetric functions and Jack characters was proved by a yet another method in [43, Theorem 2.3].
4.2 The spin setup
4.2.1 Normalized spin characters
Following Ivanov [16, 17] (see also [31]), for a fixed odd partition \(\pi \in \mathcal {OP}\) the corresponding normalized spin character is a function on the set of all strict partitions given by
where \(n=|\xi |\) and \(k=|\pi |\).
4.2.2 Spin Kerov–Olshanski algebra
We define the spin Kerov–Olshanski algebra (maybe Ivanov algebra would be an even better name)
as the linear span of spin characters [16, Sect. 6]. Ivanov proved that the elements of \(\Gamma \) can be identified with supersymmetric polynomials, thus \(\Gamma \) is a unital, commutative algebra. Following [31, Sect. 1.6], we equip \(\Gamma \) with a filtration \({\mathcal {G}}_0\subseteq {\mathcal {G}}_1 \subseteq \cdots \subseteq \Gamma \) defined by
4.2.3 Disjoint product and the algebra \(\Gamma _\bullet \)
Similarly as in Sect. 4.1.3 we define the disjoint product of spin characters
for arbitrary \(\pi _1,\pi _2\in \mathcal {SP}\). We denote by \(\Gamma _{\bullet }\) the filtered algebra which, as a vector space, coincides with \(\Gamma \) and is equipped with a multiplication given by the disjoint product \(\bullet \).
4.2.4 Approximate factorization property for spin characters
Theorem 4.2
The identity map
has the approximate factorization property.
Furthermore, the second cumulant of this map is given—for any odd integers \(k_1,k_2\ge 1\)—by
where the second sum runs over integers \(a_1,\dots ,a_r,b_1,\dots ,b_r\ge 1\) such that \(a_1+\cdots +a_r=k_1\), and \(b_1+\cdots +b_r=k_2\) and for each \(i\in [r]\) the sum \(a_i+b_i\) is even.
The proof is postponed to Sect. 4.6. Our strategy is to explore the link between the linear and the spin setup.
4.3 Double of a function: Kerov–Olshanski algebra: linear versus spin
4.3.1 Double of a strict partition
We denote by \({\mathcal {P}}_n\) the set of partitions of a given integer \(n\ge 0\). The theory of partitions and Young diagrams is more developed than its shifted counterpart. For this reason it is convenient to encode a given strict partition \(\xi \in \mathcal {SP}_n\) by its double \(D(\xi )\in {\mathcal {P}}_{2n}\). Graphically, \(D(\xi )\) corresponds to a Young diagram obtained by arranging the shifted Young diagram \(\xi \) and its ‘transpose’ so that they nicely fit along the ‘diagonal’, cf. Fig. 1, see also [27, p. 9].
4.3.2 Double of a function
If \(F:{\mathcal {P}}\rightarrow {\mathbb {C}}\) is a function on the set of partitions, we define its double as the function \(D^*F :\mathcal {SP}\rightarrow {\mathbb {C}}\) on the set of strict partitions
given by doubling of the argument.
Proposition 4.3
([31, Theorems 1.8, 1.9]) The map \(D^*\) is an algebra homomorphism which maps Kerov–Olshanski algebra to its spin counterpart:
and, additionally, preserves the filtration, i.e.
In the following we well need to compute the images \(D^*\mathrm {Ch}_{\rho }\) of the linear basis of \({\mathbb {A}}\). The following two results provide the necessary information.
Proposition 4.4
([31, Theorem 3.1]) In the case when \(\rho \in \mathcal {OP}\) is an odd partition,
where \(\rho (I)=(\rho _{i_1}, \rho _{i_2},\dots , \rho _{i_r})\) for \(I=\{i_1<i_2< \cdots < i_r\}\) and \(I^c=\{1,\dots ,\ell (\rho )\}\setminus I\) denotes the complement of I.
Proposition 4.5
In the case when \(\rho \notin \mathcal {OP}\) is not an odd partition, \(D^*\mathrm {Ch}_\rho \in \Gamma \) is of degree at most
Proof
We start with the special case when \(\rho \notin \mathcal {OP}\) contains exactly one part which is even. In this case is an odd integer.
Clearly ; Eq. (41) implies therefore that . We revisit the definition (38) of the filtration \({\mathcal {G}}\). Note that is always an even integer for any \(\pi \in \mathcal {OP}\); it follows therefore that \({\mathcal {G}}_{2k+1}={\mathcal {G}}_{2k}\) for any integer \(k\ge 0\). In particular, . In this way we proved that , as required.
Let \(\rho =(\rho _1,\dots ,\rho _\ell )\notin \mathcal {OP}\) be now a general partition. We consider the identity map \({{\,\mathrm{id}\,}}_{\mathbb {A}}:{\mathbb {A}}_{\bullet }\rightarrow {\mathbb {A}}\) and the corresponding cumulants. The system of equations (analogous to (27)) which express the cumulants in terms of the moments can be inverted. The resulting moment-cumulant formula [44] expresses any given moment
as a polynomial in terms of the cumulants of the individual factors \(\mathrm {Ch}_{\rho _1},\dots , \mathrm {Ch}_{\rho _\ell } \). For example,
In the general case, the summands in such an expansion of (44) can be split into the following two classes:
- (a)
the unique summand
$$\begin{aligned} \kappa _1^{{{\,\mathrm{id}\,}}_{\mathbb {A}}}(\mathrm {Ch}_{\rho _1}) \cdots \kappa _1^{{{\,\mathrm{id}\,}}_{\mathbb {A}}}(\mathrm {Ch}_{\rho _{\ell }})= \mathrm {Ch}_{\rho _1} \cdots \mathrm {Ch}_{\rho _{\ell }}; \end{aligned}$$(45) - (b)
the remaining summands; each such a summand contains at least one factor with a cumulant \(\kappa _k^{{{\,\mathrm{id}\,}}_{\mathbb {A}}}\) for some \(k\ge 2\).
We apply the map \(D^*\) to (44) or, equivalently, to its aforementioned expansion to the products of cumulants and we investigate the resulting terms.
In the case (a), by applying \(D^*\) to (45) we get
The discussion from the very beginning of this proof (the special case when \(\rho \) has exactly one even part) it follows that for each of the factors we have that \(D^*\mathrm {Ch}_{\rho _{i}}\in {\mathcal {G}}_{\rho _i+1}\) if \(\rho _{i}\) is odd and \(D^*\mathrm {Ch}_{\rho _{i}}\in {\mathcal {G}}_{\rho _i}\) if \(\rho _{i}\) is even. Thus the degree of (46) is bounded from above by
In the case (b), by approximate factorization property each cumulant \(\kappa _k^{{{\,\mathrm{id}\,}}_{\mathbb {A}}}\) causes a decrease of the degree by \(2(k-1)\). It follows that the image of the considered summand under the map \(D^*\) is of degree at most .
This completes the proof. \(\square \)
Remark 4.6
It would be very interesting to have some explicit closed formula (maybe in the flavour of Eq. (42)) for \(D^*\mathrm {Ch}_\rho \) in the case when \(\rho \notin \mathcal {OP}\). Such a formula would make the link between Kerov–Olshanski algebra \({\mathbb {A}}\) and its spin counterpart \(\Gamma \) even more explicit.
We conjecture that the degree bound (43) is not optimal and that \(D^*\mathrm {Ch}_{\rho }\) is of degree at most
for an arbitrary partition \(\rho \).
4.4 Abstract viewpoint on Proposition 4.4
We define the vector space
which is spanned by the characters corresponding to odd partitions. This vector space, equipped with the disjoint product \(\bullet \), is a unital, commutative algebra.
We consider the algebra homomorphism \(\Psi :{\mathbb {A}}_{\bullet }^{{\text {odd}}}\rightarrow \Gamma _{\bullet } \otimes \Gamma _{\bullet } \) which is defined on the algebraic basis of \({\mathbb {A}}_{\bullet }^{{\text {odd}}}\) by an analogue of the Leibniz rule
It follows that for any \(\rho \in \mathcal {OP}\)
The pointwise product gives rise to a bilinear function \(m:\Gamma \times \Gamma \rightarrow \Gamma \) given by \(m(F,G):=F G\) which can be lifted to the unique linear map \(m:\Gamma \otimes \Gamma \rightarrow \Gamma \) on the tensor product. Because of the isomorphism of the vector spaces \(\Gamma \cong \Gamma _\bullet \) we will view m as a map \(m:\Gamma _\bullet \otimes \Gamma _\bullet \rightarrow \Gamma \).
With these notations, the following result is a straightforward reformulation of Proposition 4.4.
Corollary 4.7
The following diagram commutes
where the upper horizontal arrow is an inclusion of vector spaces.
4.5 Cumulants of characters
The following result provides a direct link between the cumulants for \({{\,\mathrm{id}\,}}_{\mathbb {A}}:{\mathbb {A}}_\bullet \rightarrow {\mathbb {A}}\) and \({{\,\mathrm{id}\,}}_\Gamma :\Gamma _{\bullet }\rightarrow \Gamma \).
Theorem 4.8
For any odd integers \(k_1,\dots ,k_\ell \ge 1\)
where the cumulant on the left hand side concerns the identity map
while the cumulant on the right-hand side concerns the identity map
Proof
Since both vertical arrows in the commutative diagram (47) are unital homomorphisms of algebras, it follows immediately that the cumulants for the two horizontal arrows are related by the identity
for any \(x_1,\dots ,x_\ell \in {\mathbb {A}}_{\bullet }^{{\text {odd}}}\).
We will consider the special case of this equality when each \(x_i=\mathrm {Ch}_{k_i}\) is a character corresponding to a partition \((k_i)\in \mathcal {OP}\) which consists of a single part which is odd. Then
Since the cumulant is linear with respect to each of its arguments, the right-hand side can be expanded to \(2^\ell \) summands. Each summand is the cumulant \(\kappa ^m_\ell \) applied to an \(\ell \)-tuple of elements, with each element either from the subalgebra \(\Gamma _{\bullet }\otimes 1\) or from the subalgebra \(1\otimes \Gamma _{\bullet }\). Since these two subalgebras are classically independent with respect to the expected value m, any mixed cumulant vanishes. It follows that out of these \(2^\ell \) summands there are only two which are non-zero and
\(\square \)
4.6 Proof of Theorem 4.2
Proof of Theorem 4.2
By Lemma 3.8, in order to prove the first part it is enough to show that the cumulant on the left-hand side of (48) is an element of \(\Gamma \) of degree at most
However, the approximate factorization property for the map \({{\,\mathrm{id}\,}}_{\mathbb {A}}\) (Theorem 4.1) combined with Proposition 4.3 show this degree bound for the right-hand side of (48), as required.
For the second part we apply (48) in the special case \(\ell =2\). The second cumulant \(\kappa _2^{{{\,\mathrm{id}\,}}_{\mathbb {A}}}\) which contributes to the right-hand side is explicitly given by (35). It remains now to evaluate \(D^*\mathrm {Ch}_\rho \) for
A simple parity argument shows that there is an even number of even parts of such a partition \(\rho \). In particular, if \(\rho \notin \mathcal {OP}\) then the number of its even parts is at least 2. Proposition 4.5 is then applicable and shows that in this case \(D^*\mathrm {Ch}_{\rho }\) is of degree at most \(k_1+k_2-2\).
In the opposite case when \(\rho \in \mathcal {OP}\), the exact value of \(D^*\mathrm {Ch}_{\rho }\) is given by Proposition 4.4. This exact form can be simplified thanks to the observation that by approximate factorization property for \({{\,\mathrm{id}\,}}_\Gamma \)
it follows that
which completes the proof. \(\square \)
4.7 Free cumulants revisited
We revisit Sect. 2.6. For an integer \(n\ge 2\) and \(\xi \in \mathcal {SP}\) we define
By the symmetry of the profile \(\omega _{\xi }:{\mathbb {R}}\rightarrow {\mathbb {R}}\) it follows that \(S^{{{\,\mathrm{spin}\,}}}_n=R^{{{\,\mathrm{spin}\,}}}_n=0\) if n is an odd integer. In the following we view \(S^{{{\,\mathrm{spin}\,}}}_n,R^{{{\,\mathrm{spin}\,}}}_n :\mathcal {SP}\rightarrow {\mathbb {R}}\) as functions on the set of strict partitions.
Note that the free cumulants for strict partitions defined above and the ones considered by Matsumoto [28] differ by a factor of 2.
Proposition 4.9
For each even integer \(n\ge 2\) we have that \(S^{{{\,\mathrm{spin}\,}}}_n,R^{{{\,\mathrm{spin}\,}}}_n\in \Gamma \) with \({{\,\mathrm{deg}\,}}S^{{{\,\mathrm{spin}\,}}}_n={{\,\mathrm{deg}\,}}R^{{{\,\mathrm{spin}\,}}}_n=n\). Furthermore, \((S^{{{\,\mathrm{spin}\,}}}_2,S^{{{\,\mathrm{spin}\,}}}_4,\dots )\) as well as \((R^{{{\,\mathrm{spin}\,}}}_2,R^{{{\,\mathrm{spin}\,}}}_4,\dots )\) generate \(\Gamma \) as a filtered algebra.
Proof
Comparison of Figs. 2 and 3 shows that the measures \(\sigma _{\omega _{\xi }}\) and \(\sigma _{\omega _{D(\xi )} }\) are equal, up to a translation by \(\frac{1}{2}\). In particular,
The collection of such equalities over even integers \(n\in \{2,4,\dots ,2k\}\) shows that the linear span (with rational coefficients) of the functions \(D^*S_2, D^*S_4, \dots , D^*S_{2k}\) is equal to the linear span (also with rational coefficients) of the functions \(S^{{{\,\mathrm{spin}\,}}}_2, S^{{{\,\mathrm{spin}\,}}}_4,\dots , S^{{{\,\mathrm{spin}\,}}}_{2k}\). This has a twofold consequence. Firstly, \(S^{{{\,\mathrm{spin}\,}}}_{2n}\in \Gamma \) is of degree 2n, as required. Secondly, \((S^{{{\,\mathrm{spin}\,}}}_2,S^{{{\,\mathrm{spin}\,}}}_4,\dots )\) generate \(\Gamma \) as a filtered algebra, as required.
The systems of Eqs. (22) and (23) imply that the analogous claims hold as well for the free cumulants \(R^{{{\,\mathrm{spin}\,}}}_2,R^{{{\,\mathrm{spin}\,}}}_4,\dots \). \(\square \)
5 The key tool
Suppose that we are given a (sequence of) spin representation(s) and the corresponding (sequence of) character ratio(s). As we already mentioned, sometimes it is more convenient to pass from the character ratio to the corresponding cumulants. Interestingly, there are three distinct natural types of such cumulants, each having its own advantages. In the current section we will review them and prove the key tool of the current paper, Theorem 5.1 which provides a link between them.
5.1 Three types of cumulants for the character ratios
We will use the setup considered in Sect. 3.6, i.e. \(\big ( V^{(n)} \big )\) is a sequence of representations and \(\big (\chi ^{(n)}\big )\) is the corresponding sequence of the character ratios.
5.1.1 Cumulants of partitions
The first type of cumulants we will use are the ones which correspond to the linear map \(\chi :{\mathbb {C}}[\mathcal {OP}] \rightarrow {\mathcal {X}}\), see Eq. (30). These cumulants \(\kappa ^\chi _\ell (\pi _1,\dots ,\pi _\ell )\) are indexed by odd partitions \(\pi _1,\dots ,\pi _\ell \in \mathcal {OP}\).
The advantage of these cumulants lies in the observation that in the applications we are often given a representation in terms of its characters and thus such cumulants can be often calculated explicitly without much effort. Regretfully, these cumulants do not have a truly probabilistic interpretation. This kind of cumulants will appear in Theorem 5.1 within conditions (a) and (b).
5.1.2 Cumulants in \(\Gamma \)
Let us fix for a moment an integer \(n\ge 1\). We consider the discrete probability space \(\Omega _n=\mathcal {SP}_n\) equipped with the probability distribution \({\mathbb {P}}^{V^{(n)}}\); we denote by \(\xi ^{(n)}\) a random strict partition in \(\mathcal {SP}_n\) with the same probability distribution \({\mathbb {P}}^{V^{(n)}}\). By restricting the domain of the functions, any element \(X\in \Gamma \) can be viewed as a function on the set \(\mathcal {SP}_n\) or, equivalently, as a random variable on the probability space \(\Omega _n\). We are interested in its expected value \({\mathbb {E}}^{(n)} X= {\mathbb {E}}X\big ( \xi ^{(n)} \big )\).
We define a unital map \({\mathbb {E}}_\Gamma :\Gamma \rightarrow {\mathcal {X}}\) by setting
for any \(X\in \Gamma \). In the case when X is a normalized spin character, this definition takes the following more concrete form
where
The last equality is a consequence of the definition (36) of the normalized spin characters.
The cumulants \(\kappa ^{{\mathbb {E}}_\Gamma }_\ell (X_1,\dots ,X_\ell )\) which correspond to this map have a direct probabilistic meaning. This kind of cumulants will appear in Theorem 5.1 within conditions (c) and (d).
5.1.3 Cumulants in \(\Gamma _\bullet \)
The equality \(\Gamma =\Gamma _{\bullet }\) between the vector spaces allows us to view the aforementioned map \({\mathbb {E}}_{\Gamma }\) as a function on \(\Gamma _{\bullet }\). We will denote it by \({\mathbb {E}}_{\Gamma _\bullet } :\Gamma _\bullet \rightarrow {\mathcal {X}}\). The cumulants \(\kappa ^{{\mathbb {E}}_{\Gamma _\bullet }}_\ell (X_1,\dots ,X_\ell )\) which correspond to this map do not have a probabilistic meaning. This kind of cumulants will appear in Theorem 5.1 within conditions (e) and (f).
Since the algebras \(\Gamma \) and \(\Gamma _{\bullet }\) have different multiplicative structures, the cumulants for the maps \({\mathbb {E}}_{\Gamma }\) and \({\mathbb {E}}_{\Gamma _{\bullet }}\) are also different.
5.2 The key tool
The following theorem is a direct analogue of a result of the second-named author [41, Theorem and Definition 1] which concerns the usual (non-projective) representations of the symmetric groups, see also [11, Theorem 2.3] for a generalization to Jack characters.
In the following for an integer (or half-integer) k we denote by \(n^k:=(1^k,2^k,\dots )\in {\mathcal {X}}\) the sequence of powers of the integers.
Theorem 5.1
Assume that for each integer \(n\ge 1\) we are given a representation \(V^{(n)}\) of \({\mathbb {C}}{\mathfrak {S}}_{n}^-\).
Then the following conditions are equivalent:
- (a)
for all odd partitions \(\pi _1=(k_1), \dots , \pi _\ell =(k_\ell )\in \mathcal {OP}\) which consist of exactly one part
$$\begin{aligned} \kappa _\ell ^{\chi }( \pi _1,\dots ,\pi _\ell ) \ n^{\frac{\Vert \pi _1\Vert +\cdots +\Vert \pi _\ell \Vert +2(\ell -1) }{2}} = O(1), \end{aligned}$$ - (b)
for all odd partitions \(\pi _1, \dots ,\pi _\ell \in \mathcal {OP}\)
$$\begin{aligned} \kappa _\ell ^{\chi }( \pi _1,\dots ,\pi _\ell ) \ n^{\frac{\Vert \pi _1\Vert +\cdots +\Vert \pi _\ell \Vert +2(\ell -1) }{2}} = O(1), \end{aligned}$$ - (c)
there exists a set \(X\subseteq \Gamma \) which generates \(\Gamma \) as a filtered algebra with the property that for all \(x_1,\dots ,x_\ell \in X\)
$$\begin{aligned} \kappa _\ell ^{{\mathbb {E}}_{\Gamma }}( x_1,\dots ,x_\ell ) \ n^{-\frac{{{\,\mathrm{deg}\,}}x_1+ \cdots +{{\,\mathrm{deg}\,}}x_l- 2(\ell -1)}{2}} = O(1), \end{aligned}$$ - (d)
for all \(x_1,\dots ,x_\ell \in \Gamma \)
$$\begin{aligned} \kappa _\ell ^{{\mathbb {E}}_{\Gamma }}( x_1,\dots ,x_\ell ) \ n^{-\frac{{{\,\mathrm{deg}\,}}x_1+ \cdots +{{\,\mathrm{deg}\,}}x_\ell - 2(\ell -1)}{2}} = O(1), \end{aligned}$$ - (e)
there exists a set \(X\subseteq \Gamma _\bullet \) which generates \(\Gamma _\bullet \) as a filtered algebra with the property that for all \(x_1,\dots ,x_\ell \in X\)
$$\begin{aligned} \kappa _\ell ^{{\mathbb {E}}_{\Gamma _\bullet }}( x_1,\dots ,x_\ell ) \ n^{-\frac{{{\,\mathrm{deg}\,}}x_1+ \cdots +{{\,\mathrm{deg}\,}}x_\ell - 2(\ell -1)}{2}} = O(1), \end{aligned}$$ - (f)
for all \(x_1,\dots ,x_\ell \in \Gamma \)
$$\begin{aligned} \kappa _\ell ^{{\mathbb {E}}_{\Gamma _\bullet }}( x_1,\dots ,x_\ell ) \ n^{-\frac{{{\,\mathrm{deg}\,}}x_1+ \cdots +{{\,\mathrm{deg}\,}}x_\ell - 2(\ell -1)}{2}} = O(1), \end{aligned}$$
Furthermore, if the left-hand side of any of the expressions above has a limit for \(n\rightarrow \infty \) for all \(\ell \le 2\) and all prescribed choices of \(\pi _1,\dots ,\pi _\ell \) (respectively, \(x_1,\dots ,x_\ell \)), then each of the the left-hand sides of the above expressions has a limit for \(n\rightarrow \infty \). These limits for \(\ell \le 2\) are interrelated as follows: for any odd integers \(k,k_1,k_2\ge 1\)
where \(\xi ^{(n)}\) denotes a random strict partition with the probability distribution \({\mathbb {P}}^{V^{(n)}}\),
where the last sum runs over integers \(a_1,\dots ,a_r,b_1,\dots ,b_r\ge 1\) such that \(a_1+\cdots +a_r=k_1\), and \(b_1+\cdots +b_r=k_2\) and for each \(i\in [r]\) the sum \(a_i+b_i\) is even.
Proof
The proof is fully analogous to [41, Theorem and Definition 1, Theorem 3]; we just have to make sure that all ingredients of the old proof have their spin counterparts. The list of new ingredients: the information about disjoint cumulants is provided by Theorem 4.2, the link between non-normalized and normalized spin characters is provided by definition (36). The calculation is fully analogous to the linear case, however one should carefully track the powers of 2 which come from two distinct sources: the choice of normalization used in (36) as well as (39). \(\square \)
5.3 Proof of Theorem 2.5
Proof of Theorem 2.5
The proof of a very similar result presented in [11, Sect. 5] works also in our setup. In fact, we consider the simplest possible case of the latter result (with the notations of [11] this corresponds to \(\alpha =1\), \(g=0\)). We just have to make sure that all ingredients of the proof have their spin counterparts and indeed Theorem 5.1 provides the necessary tools.
Alternatively, it was observed by De Stavola [10, Sect. 4.5] that central limit theorem (a la Theorem 2.6) for shifted Young diagrams implies also law of large numbers. The proof of De Stavola can be adapted easily to our context. \(\square \)
5.4 Proof of Theorem 2.6
Proof of Theorem 2.6
This proof is fully analogous to the proof of [41, Corollary 4]: in order to show convergence to the Gaussian distribution it is enough to check that the higher cumulants converge to zero. \(\square \)
6 Applications and examples
6.1 Example: shifted Plancherel measure
We continue the discussion of the spin part of the left-regular representation from Example 2.4. Theorem 2.5 is applicable in this context with
for any even integers \(k,l\ge 2\).
The limit shape \(\Omega \) with the corresponding sequence of free cumulants given by (26) is uniquely determined to the Logan–Shepp & Vershik–Kerov curve, see [4, example on pp. 133–134]. In this way we recover the result of De Stavola [10, Sect. 4.5].
6.2 Example: Schur–Weyl measure
6.2.1 Proof of Theorem 1.3
Proof of Theorem 1.3
We consider the vector space
which with the action of the spin symmetric group \(\widetilde{{\mathfrak {S}}}_{n}\) given by [50, Sect. 4.3 combined with (2.5)] becomes a (reducible) spin superrepresentation.
Its decomposition into irreducible components is provided by Sergeev duality [50, Theorem 4.8]; in particular it follows that the corresponding probability measure \({\mathbb {P}}^{V^{\text {SW}}_{d,n}} \) on \(\mathcal {SP}_n\) coincides with the measure \({\mathbb {P}}^{\text {SW}}_{{n},{d}}\) considered in (7).
The character of \(V^{\text {SW}}_{d,n}\) is given by
for any \(\pi \in \mathcal {OP}_n\). In the same way as in Example 2.4 we calculate the corresponding cumulants; it follows that
for all \(\ell \ge 2\).
We set \(d=d_n\); it follows that Theorem 2.5 is applicable with
for any odd integers \(k,k_1,k_2\ge 1\).
The explicit form of the limit shape \(\Omega ^{\text {SW}}_c\) will be found in Sect. 7.3. \(\square \)
6.2.2 Proof of Corollary 1.5
Proof of Corollary 1.5
We are interested in the rescaled diagram \(\omega _{\frac{1}{d_n} \xi }\), where \(\xi := \big ( Q(\mathbf{w }) \big )_{\le \alpha d_n^2 }\) is the level curve of the recording tableau. The distribution of the random shifted Young diagram \(\xi \) is given by Schur–Weyl measure \({\mathbb {P}}^{\text {SW}}_{{\lfloor \alpha d_n^2\rfloor },{d}}\). It follows that Theorem 1.3 is applicable with
and that the convergence
in the usual sense holds true.
By comparing the normalization factors it follows that \(\omega _{\frac{1}{d_n} \xi }\) is a dilation of \(\omega _{ \frac{1}{\sqrt{2 \lfloor \alpha d_n^2\rfloor }} \xi }\) by the factor \(\frac{\sqrt{2 \lfloor \alpha d_n^2\rfloor }}{d_n}\rightarrow \sqrt{2 \alpha }\). It follows that the theorem holds for \(\Omega ^{{\mathcal {Q}}}_{\alpha }\) equal to the dilation of \(\Omega ^{\text {SW}}_{\sqrt{\alpha }}\) by the factor \(\sqrt{2 \alpha }\):
The limit shape \({\mathcal {Q}}\) can be then recovered from the family of curves \(\Omega ^{{\mathcal {Q}}}_{\alpha }\) by setting
\(\square \)
6.2.3 Proof of Corollary 1.4
Proof of Corollary 1.4
The level curve \(\xi =\big ( P(\mathbf{w }) \big )_{\le \alpha \frac{n}{d} }\) can be obtained by the following two-step procedure: firstly, we remove from the random word \(\mathbf{w }\) all entries which are bigger than the threshold \(\alpha \frac{n}{d}\) and denote the resulting word by \(\mathbf{w }'\); then we consider the common shape of the tableaux associated by shifted RSK correspondence to \(\mathbf{w }'\).
We denote by \(n'\) the random length of the word \(\mathbf{w }'\). Since the distribution of \(n'\) is \({\text {Bin}}(n,\alpha \frac{n}{d^2})\) it follows that
holds true in probability.
The limit shape of \( \omega _{\frac{1}{\sqrt{2 n'}}\xi } \) is provided by Theorem 1.3 with
thus
By comparison of the normalization factors it follows that \(\omega _{\frac{d}{n} \xi }\) is a dilation of \(\omega _{\frac{1}{\sqrt{2 n'}}\xi }\) by the factor \(\frac{d \sqrt{2 n'}}{n}\rightarrow \sqrt{2\alpha } \). It follows that the theorem holds for \(\Omega ^{{\mathcal {P}}}_{\alpha }\) equal to the dilation of \(\Omega ^{\text {SW}}_{\frac{1}{\sqrt{\alpha }}}\) by the factor \(\sqrt{2 \alpha }\):
The limit shape \({\mathcal {P}}\) can be then recovered from the family of curves \(\Omega ^{{\mathcal {P}}}_{\alpha }\) by setting
\(\square \)
6.3 Random shifted tableaux with prescribed shape: Proof of Theorem 1.1.
The current section is devoted to the proof of Theorem 1.1. For Reader’s convenience the proof is split into several subsections. Note that some of the intermediate results might be interesting by themselves.
6.3.1 Random shifted tableaux and the spin representation theory
We start with the link between random shifted standard tableaux and the spin representation theory of the symmetric groups. This link (Proposition 6.1) is fully analogous to the classical link between non-shifted standard tableaux and the linear representation theory of the symmetric groups. Unfortunately, the proof of Proposition 6.1 is more complex than its classical counterpart because not all edges in the Bratteli diagram are simple. We present the details below.
6.3.2 Random shifted tableaux
For a given shifted standard tableau T with shape \(\mu \in \mathcal {SP}_n\) and an integer \(0\le m\le n\) we denote by \(T_{\le m}\) the set of boxes of T which are smaller or equal than m. This set of boxes corresponds to some \(\xi \in \mathcal {SP}_m\). Thus \(T_{\le m}:=\xi \) can be regarded as a shifted partition.
We fix \(\mu \in \mathcal {SP}_n\) and consider a uniformly random tableau \(T\in {\mathcal {T}}_\mu \) with this prescribed shape. We are interested in the probability distribution of the random strict partition \(T_{\le m}\).
6.3.3 Restriction of irreducible representations
We fix \(\mu \in \mathcal {SP}_n\) and consider the corresponding irreducible representation \(V^\mu \) of \({\mathbb {C}}{\mathfrak {S}}_{n}^-\). For an integer \(0\le m\le n\) the restriction
is a representation of the spin group algebra \({\mathbb {C}}{\mathfrak {S}}_{m}^-\). We are interested in the corresponding probability measure
on the set \(\mathcal {SP}_m\) which gives the probability distribution of a random irreducible component of (49).
6.3.4 The link
The following result shows that the two probability measures on \(\mathcal {SP}_m\) which we considered in Sects. 6.3.2 and 6.3.3 are equal.
Proposition 6.1
Let \(\mu \in \mathcal {SP}_n\) and \(0\le m\le n\). Then for any \(\xi \in \mathcal {SP}_m\)
Proof
We consider the Bratteli diagram for the sequence of superalgebras \({\mathbb {C}}{\mathfrak {S}}_{0}^-\subseteq {\mathbb {C}}{\mathfrak {S}}_{1}^- \subseteq \cdots \). The vertices of this graph correspond to irreducible superrepresentations of \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) over \(n\ge 0\) and hence can be identified with the strict partitions. This kind of graph (with different multiplicities of the edges) is known in the literature under the name of Schur graph [5, 16].
We connect a superrepresentation \(\xi \) of \({\mathbb {C}}{\mathfrak {S}}_{n-1}^-\) by an oriented edge with a superrepresentation \(\zeta \) of \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) if \(\xi \) appears in the decomposition of the restriction \(\zeta \big \downarrow ^{{\mathbb {C}}{\mathfrak {S}}_{n}^-}_{{\mathbb {C}}{\mathfrak {S}}_{n-1}^-}\) into irreducible components. We declare the multiplicity of the edge to be equal to the multiplicity of \(\xi \) in \(\zeta \big \downarrow ^{{\mathbb {C}}{\mathfrak {S}}_{n}^-}_{{\mathbb {C}}{\mathfrak {S}}_{n-1}^-}\). In the following we will describe the structure of this graph based on [22, Theorem 22.3.4].
For strict partitions \(\xi ,\zeta \) we write \(\xi \nearrow \zeta \) if the shifted Young diagram \(\xi \) is obtained from \(\zeta \) by removal of a single box. It turns out that in the Bratteli diagram there is an oriented edge from \(\xi \) to \(\zeta \) if and only if \(\xi \nearrow \zeta \). If this is the case, the multiplicity of this edge is given by
see Fig. 9.
We start by pointing out that the statement of Proposition 6.1 is not very precise in the case when \(\mu \in \mathcal {SP}^-\) since in this case there are two irreducible representations which correspond to \(\mu \). However, in the light of Sect. 2.4 this subtlety is irrelevant because both representations have equal character ratios on \(\mathcal {OP}\). In the following we change our setup to superrepresentations of the superalgebras \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) and \({\mathbb {C}}{\mathfrak {S}}_{m}^-\); by the same argument this does not change the probability distribution on the right-hand side of (50).
Our strategy is to evaluate the denominator and the numerator on the right-hand side of (10) in the special case when is the restriction of the irreducible superrepresentation corresponding to \(\mu \).
The denominator, the dimension of the irreducible superrepresentation \(V^\mu \)
is equal to the sum over all paths in the Bratteli diagram which connect the trivial one-dimensional representation \(\emptyset \) with \(\mu \). The weight of each path is equal to the product of the multiplicities of all edges. This product is a power of 2 with the exponent c equal to the number of the elements in the set
Since
is a weakly increasing sequence of integers which at each step increases by at most one, it follows that the cardinality of (52) is equal to the number of even integers in the interval \(\{0,\dots ,\Vert \mu \Vert -1\}\) which is equal to
Note that this number does not depend on the choice of the path in the Bratteli diagram with a specified endpoint \(\mu \). In this way we proved that
The latter formula does not involve the multiplicities of the edges in the Bratteli diagram; for this reason it is convenient to replace the latter by Schur graph, see Fig. 10. The shifted Young diagram is obtained from Bratteli diagram by removing the multiplicities of the edges. Clearly, there is a bijective correspondence between paths in the shifted Young graph and shifted standard Young tableaux. In this way we proved that
The numerator on the right-hand side of (10), the product
is a sum analogous to the right-hand side of (51) over paths which pass through the vertex \(\xi \). A reasoning analogous to the one above implies that
The paths which contribute to the second factor on the right-hand side are in a bijective correspondence with the shifted tableaux
The latter observation combined with (53) concludes the proof. \(\square \)
6.3.5 Irreducible representations have approximate factorization property
We will show that a sequence of irreducible representations \((V^{\xi ^{(k)}})\) has approximate factorization property (Definition 2.3), provided that the strict partitions \(\xi ^{(k)}\) converge to some limit shape. It might seem silly to prove this kind of result since the main purpose of approximate factorization property is to serve as the assumption of Theorems 2.5 and 2.6 which are trivially satisfied for irreducible representations. The key point is that Theorem 5.1 will allow us to produce new examples (often more interesting ones) of the sequences with approximate factorization property from old (and boring) examples.
Clearly, Definition 2.3 still makes sense and Theorem 5.1 remains true if we replace the sequence \((V^{(n)})\) of representations by its subsequence \((V^{(n_k)})\) for some sequence \((n_k)\) of positive integers which tends to infinity; in the following we will use Theorem 5.1 in this formulation.
Proposition 6.2
We keep the notations and the assumptions from Theorem 1.1. We define \(V^{(n_k)}:=V^{\xi ^{(k)}}\) to be the irreducible representation of \({\mathbb {C}}{\mathfrak {S}}_{n_k}^-\). Then the sequence \((V^{\xi ^{(k)}})\) has the approximate factorization property.
Proof
The corresponding probability measure \({\mathbb {P}}^{V^{(n_k)}}\) is the point measure supported in \(\xi ^{(k)}\). With the notations of Sect. 5.1.2 the corresponding random strict partition is deterministic, almost surely equal to \(\xi ^{(k)}\). All higher cumulants \(\kappa _l\) (with \(l\ge 2\)) of deterministic random variables are equal to zero; it follows that for \(l\ge 2\) condition (c) of Theorem 5.1 is trivially fulfilled for any choice of \(X\subseteq \Gamma \).
Take \(X=\{ S^{{{\,\mathrm{spin}\,}}}_2,S^{{{\,\mathrm{spin}\,}}}_4,\dots \}\subseteq \Gamma \); our plan is to verify that condition (c) of Theorem 5.1 is fulfilled also for \(l=1\). Firstly, note that by Proposition 4.9 the set X indeed generates \(\Gamma \) as a filtered algebra. The first cumulant \(\kappa _1\) takes a particularly simple form and
The balancedness condition implies that the limit
exists thus condition (c) of Theorem 5.1 is indeed fulfilled. \(\square \)
6.3.6 Restriction of representations with approximate factorization property
The following reasoning is based on its non-shifted analogue [41, Theorem 8].
We fix \(0<\alpha <1\). We define \(n'_k:= \lfloor \alpha n_k \rfloor \) and consider a restriction
which is a representation of \({\mathbb {C}}{\mathfrak {S}}_{n'_k}^-\). We claim that the sequence \((W^{(n'_k)})\) also has approximate factorization property. Indeed, in order to verify approximate factorization property (no matter if we consider \((V^{\xi ^{(k)}})\) or the sequence of its restrictions \((W^{(n'_k)})\)) we need to understand the asymptotics of the left-hand side of (18). The only difference that in the context of \((V^{\xi ^{(k)}})\) the right-hand side is
while in the context of \((W^{(n'_k)})\)) this right-hand side should be understood as
Asymptotically, expressions (54) and (55) differ by a multiplicative factor which concludes the proof of our claim.
It follows that Theorem 2.5 is applicable and \(\omega _{\frac{1}{\sqrt{2 n_k}} T^{(k)}_{\le \alpha n_k }}(x)\) indeed converges in probability to a limit shape \(\Omega _\alpha \) which is uniquely determined by the sequence of its free cumulants
The problem of finding the limit curves explicitly might be computationally challenging, see Sect. 7. Nevertheless in some cases we might be lucky to have a concrete final answer, see below.
6.3.7 The example of Linusson, Potka and Sulzgruber
Pittel and Romik [33] studied asymptotics of random standard Young tableaux having a square shape; in other words it was the non-shifted analogue of the problem studied by Linusson, Potka and Sulzgruber in [25]. The result of Pittel and Romik implies in particular that the (scaled down) level curves of such random standard Young tableaux converge in probability to a family of curves defined for \(-1< z < 1\) by
for some explicit function L which describes the limit shape of the tableau.
On the other hand, the results of Biane [4, Theorem 1.5.1] also imply convergence of rescaled level curves to some family of curves \(\Omega _\alpha \) which are defined via the free cumulants:
where \(\Omega _1\) describes the profile of the square Young diagram with a unit area.
By combining the results of Pittel and Romik with these of Biane it follows that both limits are equal. In particular, the curves (56) have known free cumulants (57).
The problem studied by Linusson, Potka and Sulzgruber [25] of asymptotics of random shifted staircase tableaux fits into the framework of Theorem 1.1 with the limit shape \(\Omega _1\) the same as the limit shape in the problem of Pitman and Romik. Furthermore, in the proof of Theorem 1.1 we showed that the level curves \(\Omega _\alpha \) fulfil the same Eq. (57). It follows that the level curves for the asymptotics of shifted staircase tableaux are the same as the limit level curves for square Young tableaux which was already observed in [25].
7 How to recover the limit shape?
The results of the current paper (such as Theorem 2.5) describe the limit shape of one or another class of large Young diagrams (this limit is given by some continual Young diagram \(\omega :{\mathbb {R}}\rightarrow {\mathbb {R}}_+\)) in terms of the sequence of its free cumulants \(R_2(\omega ),R_3(\omega ),\dots \). For Readers interested in concrete applications such a description might be not sufficient and they would prefer to recover the limit shape \(\omega \) itself. This problem has a well-known answer; for Reader’s convenience we shall review it briefly.
7.1 Free cumulants, Cauchy transform, free probability
In Sect. 2.6 we defined free cumulants \(R_2,R_3,\dots \) for a continual Young diagram \(\omega \) quite directly via the functionals \(S_2,S_3,\dots \), cf. (21), which have a direct geometric interpretation in terms of the shape of \(\omega \). The advantage of this approach lies in its simplicity.
Also, as we already discussed in the proof of Theorem 2.5, by inverting the relationship between \((R_n)\) and \((S_n)\), cf. (23), we see that the sequence of free cumulants determines uniquely the sequence of moments of the measure \(\sigma _\omega \) considered in (20). Under some mild assumptions Hamburger moment problem [1] has a unique solution which shows that the measure \(\sigma _{\omega }\) is uniquely determined. In the case when such an existential result is not enough and one would like to find the measure \(\sigma _{\omega }\) explicitly, we will need some tools of the complex analysis. For this reason we need to recall the equivalent, original definition of free cumulants for Young diagrams. Originally, such free cumulants for Young diagrams were defined via a two-step process [4] which we recall in the following.
7.1.1 The first step
Kerov [21, Sect. 7] associated to a given continual Young diagram \(\omega \) two measures on the real line. The first one, called Rayleigh measure, is a signed measure
given by the second derivative of \(\omega \) in the distributional sense. The second one, called transition measure, is the unique probability measure \(\mu =\mu _\omega \) for which the corresponding Cauchy–Stieltjes transform is given by
for \(z\in {\mathbb {C}}\setminus {\mathbb {R}}\). In our setup the transition measure is compactly supported.
7.1.2 The second step
Free cumulants originate in the context of the random matrix theory and Voiculescu’s free probability theory, see [30] for an overview. For a compactly supported probability measure \(\mu \) the corresponding R-transform is an analytic function \(R=R_\mu \) on a neighbourhood of 0 on the complex plane which fulfils the equation
for \(z\in {\mathbb {C}}\) in some neighbourhood of zero. In the specific setup which we consider in the current paper when \(\mu =\mu _\omega \) is the transition measure of a continual Young diagram
turns out to be the generating function of the sequence of the free cumulants \(R_2,R_3,\dots \) presented in Sect. 2.6; the proof and additional context can be found in see [7, Sect. 3].
7.2 How to recover the limit shape?
Equality (58) implies that
in other words the left-hand side coincides with the Cauchy–Stieltjes transform of the signed measure \(\tau \). The measure \(\tau \) can be recovered from its Cauchy–Stieltjes tranform by Stieltjes inversion formula [30, Sect. 3.1] which in our context takes the form
for any real numbers \(a<b\). Note that the left-hand side is equal to
for all \(a<b\) for which the derivative of \(\omega \) is well-defined.
Thus by considering the limit \(a\rightarrow -\infty \) we get a formula for the cumulative distribution function of \(\tau \):
which holds true for all \(z\in {\mathbb {R}}\) for which \(\omega '(z)\) is well-defined. It follows that the shape of the continual Young diagram is given by
To summarize: in order to find the continual diagram \(\omega \) it is enough to know its Cauchy transform G. For some classical concrete examples of finding the Cauchy transform when the sequence of free cumulants is known we refer to [30, Sect. 3.1]. In the following we will analyse in detail one concrete example.
7.3 Example: Schur–Weyl measure for \(c=1\)
We will calculate explicitly the Schur–Weyl limit curve \(\Omega ^{\text {SW}}_{c}\) (cf. Sect. 1.7.2) in the special case \(c=1\). We look for a continual Young diagram with the sequence of free cumulants given by
This sequence of free cumulants was considered by Deya and Nourdin [8, Sect. 2.5]. With our notations the R-transform is given by
note that [8] use a definition of R-transform which differs by a factor of z. Equation (59) shows therefore that \(y=G(z)\) is a solution to the cubic equation
For \(z\ne 0\) this equation has three solutions given by Cardan’s formulae. Any Cauchy transform G(z) fulfils some known properties (such as asymptotics for \(z\rightarrow \infty \)); by checking them Deya and Nourdin are able to pinpoint the right solution of the cubic equation which gives G(z). Thus we have a closed formula for G(z). Regretfully, computation of the argument \(\arg G(z)\), even if z converges to the real line, is a computational challenge; in particular we did not attempt to find a closed formula for the integrals appearing in (60). Even though we are not able to evaluate these integrals they are analytic functions. It follows that the limit curve \(\Omega ^{\text {SW}}_{c}\) is piecewise analytic.
On the bright side, these integrals are easily accessible for a numerical integration and the limit curve \(\Omega ^{\text {SW}}_{c}\) can be efficiently calculated, see Fig. 5.
7.4 Schur–Weyl measures, the generic case
The above discussion of the special case \(c=1\) is applicable also in the generic case. Note, however, that for some values of c the behavior of the Cauchy transform and its singularities might be different.
For example, in the case \(c=2\) shown on Fig. 6 the support of the Rayleigh measure is a union of two intervals (located symmetrically with respect to 0) and of the point \(\{0\}\); in particular it follows that \(\Omega ^{\text {SW}}_{2}(x)=|x|+\frac{\sqrt{2}}{2}\) for x in a small neighbourhood of 0.
Since this topic is vast and the current paper is already lengthy we postpone more details to a forthcoming publication.
References
Akhiezer, N.I.: The Classical Moment Problem and Some Related Questions in Analysis. Translated by N. Kemmer. Hafner Publishing Co., New York, pp. x+253 (1965)
Bernstein, D., Henke, A., Regev, A.: Maximal projective degrees for strict partitions. Electron. J. Combin. 14(1), 59 (2007)
Biane, P.: Approximate factorization and concentration for characters of symmetric groups. Int. Math. Res. Not. 4, 179–192 (2001). https://doi.org/10.1155/S1073792801000113
Biane, P.: Representations of symmetric groups and free probability. Adv. Math. 138(1), 126–181 (1998). https://doi.org/10.1006/aima.1998.1745
Borodin, A.M.: Multiplicative central measures on the Schur graph. In: Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 240.Teor. Predst. Din. Sist. Komb. i Algoritm. Metody. 2, pp. 44–52, 290–291 (1997). https://doi.org/10.1007/BF02175824
Brillinger, D.R.: The calculation of cumulants via conditioning. Ann. Inst. Stat. Math. 21(1), 215–218 (1969). https://doi.org/10.1007/BF02532246
Dołȩga, M., Féray, V., Śniady, P.: Explicit combinatorial interpretation of Kerov character polynomials as numbers of permutation factorizations. Adv. Math. 225(1), 81–120 (2010). https://doi.org/10.1016/j.aim.2010.02.011
Deya, A., Nourdin, I.: Convergence of Wigner integrals to the tetilla law. ALEA Lat. Am. J. Probab. Math. Stat. 9, 101–127 (2012)
Davis, R., Sagan, B.: Pattern-avoiding polytopes. Sém. Lothar. Combin. 78B, Art. 2, 12 (2017)
De Stavola, D.: Asymptotic results for representation theory (2017). arXiv:1805.04065 [math.CO]
Dołȩga, M., Śniady, P.: Gaussian fluctuations of Jackdeformed random Young diagrams. Probab. Theory Relat. ields 174(1–2), 133–176 (2019). https://doi.org/10.1007/s00440-018-0854-9
Fishel, S., Nelson, L.: Chains of maximum length in the Tamari lattice. Proc. Am. Math. Soc. 142(10), 3343–3353 (2014). https://doi.org/10.1090/S0002-9939-2014-12069-7
Hoffman, P.N., Humphreys, J.F.: Projective Representations of the Symmetric Groups. Oxford Mathematical Monographs. Q-functions and Shifted Tableaux, p. xiv+304. Oxford Science Publications, New York (1992)
Hora, A.: The Limit Shape Problem for Ensembles of Young Diagrams. SpringerBriefs in Mathematical Physics, vol. 17, p. ix+73. Springer, Tokyo (2016). https://doi.org/10.1007/978-4-431-56487-4
Ivanov, V., Olshanski, G.: Kerov’s central limit theorem for the Plancherel measure on Young diagrams. In: Symmetric functions 2001: surveys of developments and perspectives, vol. 74. NATO Sci. Ser. II Math. Phys. Chem. Kluwer Acad. Publ., Dordrecht, pp. 93–151 (2002). https://doi.org/10.1007/978-94-010-0524-1_3
Ivanov, V.N.: Gaussian limit for projective characters of large symmetric groups. J. Math. Sci. 121(3), 2330–2344 (2004). https://doi.org/10.1023/B:JOTH.0000024615.07311.fe
Ivanov, V.: Plancherel measure on shifted Young diagrams. In: Representation Theory, Dynamical Systems, and Asymptotic Combinatorics, vol. 217. Amer. Math. Soc. Transl. Ser. 2. Amer. Math. Soc., Providence, RI, pp. 73–86 (2006). https://doi.org/10.1090/trans2/217/06
Ivanov, V.N.: Dimensions of skew-shifted young diagrams and projective characters of the infinite symmetric group. J. Math. Sci. 96(5), 3517–3530 (1999). https://doi.org/10.1007/BF02175830
Kerov, S.V.: Transition probabilities of continual Young diagrams and the Markov moment problem. Funkt. Anal. Prilozhen. 27(2), 32–49, 96 (1993). https://doi.org/10.1007/BF01085981
Kerov, S.: Gaussian limit for the Plancherel measure of the symmetric group. C. R. Acad. Sci. Paris Sér. I Math. 316(4), 303–308 (1993)
Kerov, S.: Interlacing measures. In: Kirillov’s Seminar on Representation Theory, vol. 181. Amer. Math. Soc. Transl. Ser. 2. Amer. Math. Soc., Providence, RI, pp. 35–83 (1998). https://doi.org/10.1090/trans2/181/02
Kleshchev, A.: Linear and Projective Representations of Symmetric Groups. Cambridge Tracts in Mathematics, vol. 163, p. xiv+277. Cambridge University Press, Cambridge (2005). https://doi.org/10.1017/CBO9780511542800
Kerov, S., Olshanski, G.: Polynomial functions on the set of Young diagrams. C. R. Acad. Sci. Paris Sér. I Math. 319.2, 121–126 (1994)
Linusson, S., Potka, S.: New properties of the Edelman–Greene bijection (2018). arXiv:1804.10034 [math.CO]
Linusson, S., Potka, S., Sulzberger, R.: On random shifted standard Young tableaux and 132-avoiding sorting networks (2018). arXiv:1804.01795 [math.CO]
Logan, B.F., Shepp, L.A.: A variational problem for random Young tableaux. Adv. Math. 26(2), 206–222 (1977). https://doi.org/10.1016/0001-8708(77)90030-5
Macdonald, I.G.: Symmetric Functions and Hall Polynomials. Oxford Mathematical Monographs. With contributions by A. Zelevinsky, Second edn, p. x+475. Oxford Science Publications, New York (1995)
Matsumoto, S.: A spin analogue of Kerov polynomials. In: Symmetry, Integrability and Geometry: Methods and Applications (SIGMA), vol. 14 (2018), p. 053. eprint: 1803.01121
Méliot, P.-L.: Representation Theory of Symmetric Groups. Discrete Mathematics and its Applications (Boca Raton), p. xvi+666. CRC Press, Boca Raton (2017). https://doi.org/10.1201/9781315371016
Mingo, J.A., Speicher, R.: Free Probability and Random Matrices. Fields Institute Monographs. Fields Institute for Research in Mathematical Sciences, vol. 35, p. xiv+336. Springer, New York (2017). https://doi.org/10.1007/978-1-4939-6942-5
Matsumoto, S., Śniady, P.: Linear versus spin: representation theory of the symmetric groups. To appear in Algebraic combinatorics (2018). arXiv:1811.10434 [math.CO]
Okounkov, A.: The uses of random partitions. In: Fourteenth International Congress on Mathematical Physics. Word Scientists, pp. 379–403 (2003)
Pittel, B., Romik, D.: Limit shapes for random square Young tableaux. Adv. Appl. Math. 38(2), 164–209 (2007). https://doi.org/10.1016/j.aam.2005.12.005
Proctor, R.A.: Dynkin diagram classification of \(\lambda \)-minuscule Bruhat lattices and of d-complete posets. J. Algebr. Combin. 9(1), 61–94 (1999). https://doi.org/10.1023/A:1018615115006
Sagan, B.: On selecting a random shifted Young tableau. J. Algorithms 1(3), 213–234 (1980). https://doi.org/10.1016/0196-6774(80)90010-3
Sagan, B.E.: Shifted tableaux, Schur Q-functions, and a conjecture of R. Stanley. J. Combin. Theory Ser. A 45.1, 62–103 (1987). https://doi.org/10.1016/0097-3165(87)90047-1
Schur, J.: Über die Darstellung der symmetrischen und der alternierenden Gruppe durch gebrochene lineare Substitutionen. J. Reine Angew. Math. 139, 155–250 (1911). https://doi.org/10.1515/crll.1911.139.155
Schilling, A., et al.: Braid moves in commutation classes of the symmetric group. Eur. J. Combin 62, 15–34 (2017). https://doi.org/10.1016/j.ejc.2016.10.008
Serrano, L.: The shifted plactic monoid. Math. Z. 266(2), 363–392 (2010). https://doi.org/10.1007/s00209-009-0573-0
Śniady, P.: Asymptotics of symmetric groups representations. Introduction to the habilitation thesis. University of Wrocław (2006)
Śniady, P.: Gaussian fluctuations of characters of symmetric groups and of Young diagrams. Probab. Theory Relat. Fields 136(2), 263–297 (2006). https://doi.org/10.1007/s00440-005-0483-y
Śniady, P.: Structure coefficients for Jack characters: approximate factorization property (2016). arXiv:1603.04268v1 [math.CO]
Śniady, P.: Asymptotics of Jack characters. J. Combin. Theory Ser. A 166, 91–143 (2019). https://doi.org/10.1016/j.jcta.2019.02.020
Speed, T.P.: Cumulants and partition lattices. Aust. J. Statist. 25(2), 378–388 (1983)
Stembridge, J.R.: Shifted tableaux and the projective representations of symmetric groups. Adv. Math. 74(1), 87–134 (1989). https://doi.org/10.1016/0001-8708(89)90005-4
Stembridge, J.R.: On the fully commutative elements of Coxeter groups. J. Algebr. Combin. 5(4), 353–385 (1996). https://doi.org/10.1023/A:1022452717148
Vershik, A.M.: Asymptotic combinatorics and algebraic analysis. In: Proceedings of the International Congress of Mathematicians, vol. 1, 2 (Zürich, 1994). Birkhäuser, Basel, pp. 1384–1394 (1995)
Veršik, A.M., Kerov, S.V.: Asymptotic behavior of the Plancherel measure of the symmetric group and the limit form of Young tableaux. Dokl. Akad. Nauk SSSR 233(6), 1024–1027 (1977)
Worley, D.R.: A theory of shifted Young tableaux. Thesis (Ph.D.)-Massachusetts Institute of Technology. ProQuest LLC, Ann Arbor, MI (1984)
Wan, J., Wang, W.: Lectures on spin representation theory of symmetric groups. In: Bull. Inst. Math. Acad. Sin. (N.S.) 7.1, pp. 91–164 (2012)
Acknowledgements
Research of SM was supported by JSPS KAKENHI Grant No. 17K05281. Research of PŚ was supported by Narodowe Centrum Nauki, Grant No. 2017/26/A/ST1/00189.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedidated to Etsuko Hirai and Takeshi Hirai.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Preliminaries on spin representation theory
Appendix A: Preliminaries on spin representation theory
We reviewing the rudiments of the spin representation theory of the symmetric groups. For more details and bibliographic references we refer to [16, 22, 45, 50].
1.1 A.1. Linear and projective representations
1.1.1 A.1.1. Linear representations
Recall that a linear representation of a finite group G is a group homomorphism \(\psi :G \rightarrow {{\,\mathrm{GL}\,}}(V)\) to the group of linear transformations \({{\,\mathrm{GL}\,}}(V)\) of some finite-dimensional complex vector space V.
1.1.2 A.1.2. Projective representations
A projective representation of a finite group G is a group homomorphism \(\psi :G \rightarrow {{\,\mathrm{PGL}\,}}(V)\) to the group of projective linear transformations \({{\,\mathrm{PGL}\,}}(V)={{\,\mathrm{GL}\,}}(V)/{\mathbb {C}}^{\times } \) of the projective space P(V) for some finite-dimensional complex vector space V. Equivalently, a projective representation can be viewed as a map \(\phi :G \rightarrow {{\,\mathrm{GL}\,}}(V)\) to the general linear group with the property that
holds true for all \(x,y\in G\) for some non-zero scalar \(c_{x,y}\in {\mathbb {C}}^{\times }\).
Each irreducible linear representation \(\psi :G\rightarrow {{\,\mathrm{GL}\,}}(V)\) gives rise to its projective version \(\psi :G\rightarrow {{\,\mathrm{PGL}\,}}(V)\). The irreducible projective representations which cannot be obtained in this way are called irreducible spin representations and are in the focus of the current paper.
1.2 A.2. Spin symmetric group and spin characters
The spin group \(\widetilde{{\mathfrak {S}}}_{n}\) [37] is a double cover of the symmetric group:
More specifically, it is the group generated by \(t_1,\dots ,t_{n-1},z\) subject to the relations:
we use the convention that \([k]=\{1,\dots ,k\}\). Under the mapping \(\widetilde{{\mathfrak {S}}}_{n}\rightarrow {\mathfrak {S}}_{n}\) the generators \(t_1,\dots ,t_{n-1}\) are mapped to the Coxeter tranpositions \((1,2),\ (2,3),\dots ,(n-1,n)\in {\mathfrak {S}}_{n}\).
The main advantage of the spin group comes from the fact that any projective representation \(\psi :{\mathfrak {S}}_{n}\rightarrow {{\,\mathrm{PGL}\,}}(V)\) of the symmetric group can be lifted uniquely to a linear representation \({\widetilde{\psi }}:\widetilde{{\mathfrak {S}}}_{n}\rightarrow {{\,\mathrm{GL}\,}}(V)\) of the spin group so that the following diagram commutes:
In this way the projective representation theory of the symmetric group \({\mathfrak {S}}_{n}\) is equivalent to the linear representation theory of the spin group \(\widetilde{{\mathfrak {S}}}_{n}\) which allows to speak about the characters.
The irreducible spin representations of \({\mathfrak {S}}_{n}\) turn out to correspond to irreducible linear representations of the spin group algebra \({\mathbb {C}}{\mathfrak {S}}_{n}^-:= {\mathbb {C}}\widetilde{{\mathfrak {S}}}_{n} / \langle z+1 \rangle \) which is the quotient of the group algebra \({\mathbb {C}}\widetilde{{\mathfrak {S}}}_{n}\) by the ideal generated by \((z+1)\). Equivalently \({\mathbb {C}}{\mathfrak {S}}_{n}^- = \langle 1-z \rangle \subset {\mathbb {C}}\widetilde{{\mathfrak {S}}}_{n}\) can be identified with the ideal generated by the projection \(\frac{1-z}{2}\).
1.3 A.3. Conjugacy classes of \(\widetilde{{\mathfrak {S}}}_{n}\)
We denote by \(\mathcal {OP}\) the set of odd partitions, i.e. partitions which consist only of odd parts and by \(\mathcal {OP}_n\) the set of odd partitions of a given integer \(n\ge 0\).
We denote by \(\mathcal {SP}_n^+\) (respectively, \(\mathcal {SP}_n^-\)) the set of strict partitions \(\xi \in \mathcal {SP}_n\) with the property that the length
is even (respectively, odd), see Fig. 9.
For a partition \(\pi \vdash n\) we denote by \(C_\pi \subset \widetilde{{\mathfrak {S}}}_{n}\) the set of elements of the spin group which are mapped—under the canonical homomorphism \(\widetilde{{\mathfrak {S}}}_{n}\rightarrow {\mathfrak {S}}_{n}\)—to permutations with the cycle-type given by \(\pi \).
Schur [37] proved the following dichotomy for \(\pi \vdash n\):
if one of the following two conditions is fulfilled:
\(\pi \in \mathcal {OP}_n\), or
\(\pi \in \mathcal {SP}_n^-\)
then \(C_\pi \) splits into a pair of conjugacy classes of \(\widetilde{{\mathfrak {S}}}_{n}\) which will be denoted by \(C_\pi ^\pm \);
otherwise, \(C_\pi \) is a conjugacy class of \(\widetilde{{\mathfrak {S}}}_{n}\).
1.4 A.4. Conjugacy classes and spin characters
Any spin character vanishes on the conjugacy class \(C_\pi \) which does not split, cf. [45, p. 95]. For this reason, from the viewpoint of the spin character theory only the conjugacy classes \(C_\pi ^\pm \) are interesting.
Spin representations are exactly the ones which map the central element \(z\in \widetilde{{\mathfrak {S}}}_{n}\) to \(-{\text {Id}}\in {{\,\mathrm{GL}\,}}(V)\). Since \(C_\pi ^- = z C_\pi ^+\), it follows that the value of any spin character on \(C_\pi ^-\) is the opposite of its value on \(C_\pi ^+\). For this reason, from the viewpoint of the spin character theory the conjugacy classes \(C_\pi ^-\) are redundant and it is enough to consider the character values only on the conjugacy classes \(C_\pi ^+\).
From the viewpoint of the asymptotic representation theory it is natural to consider some sequence of groups together with some natural inclusions; in our case this is the sequence
of spin groups. Such a setup allows to relate a conjugacy class of a smaller group to some conjugacy class in the bigger group and, in this way, to evaluate the irreducible characters of the bigger group on the conjugacy classes of the smaller one.
Regretfully, the conjugacy classes \(C_\pi ^+\) which correspond to \(\pi \in \mathcal {SP}_n^-\) do not behave nicely under such inclusions. Indeed, on the level of the symmetric groups the inclusion \({\mathfrak {S}}_{n}\subset {\mathfrak {S}}_{n+k}\) corresponds to adding k fixpoints to a given permutation; in other words the set \(C_\pi \subset \widetilde{{\mathfrak {S}}}_{n}\) corresponds to \(C_{\pi ,1^k}\subset \widetilde{{\mathfrak {S}}}_{n+k}\) and the latter does not split because \((\pi ,1^k)\notin \mathcal {SP}_n\) (at least for \(k\ge 2\)) and \((\pi ,1^k)\notin \mathcal {OP}_n\) (because \(n-\ell (\pi )\) is odd which implies that at least one part of \(\pi \) is even).
For this reason, for the purposes of the asymptotic representation theory it is enough to consider only the conjugacy classes \(C_\pi ^+\) for \(\pi \in \mathcal {OP}_n\).
1.5 A.5. Irreducible spin representations
The relationship between strict partitions and the irreducible spin representations of the symmetric groups is not a bijective one. Nevertheless, as we shall discuss below, this non-bijectivity can be ignored to large extent.
More specifically (see [37, p. 235] and [45, Theorem 7.1]), each \(\xi \in \mathcal {SP}_n^+\) corresponds to a single irreducible representation. We denote by its character by \(\phi ^{\xi }\).
On the other hand, each \(\xi \in \mathcal {SP}_n^-\) corresponds to a pair of irreducible spin representations with equal dimensions; we denote their characters by \(\phi ^{\xi }_+\) and \(\phi ^{\xi }_-\). These two characters coincide on the conjugacy classes \(C^{\pm }_{\pi }\) over \(\pi \in \mathcal {OP}_n\). For the purposes of the current paper we not need to evaluate the characters on \(C^{\pm }_{\pi }\) for \(\pi \in \mathcal {SP}_n^-\); for this reason we do not have to distinguish between \(\phi ^{\xi }_+\) and \(\phi ^{\xi }_-\) and we may denote them by the same symbol \(\phi ^\xi \).
1.6 A.6. Superrepresentations
In order to avoid the aforementioned difficulty related to the fact that the relationship between the irreducible representations of \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) and \(\mathcal {SP}_n\) is not bijective we may change our setup to superalgebras and their superrepresentations. The following presentation is based on [22, Chapters 12, 13, 22].
We recall that a superalgebra is defined as an algebra \({\mathcal {A}}\) which is equipped with some \({\mathbb {Z}}_2\)-grading \({\mathcal {A}}={\mathcal {A}}_{{\bar{0}}}\oplus {\mathcal {A}}_{{\bar{1}}}\). Similarly, a superspace is a linear space V equipped with some decomposition \(V=V_{{\bar{0}}}\oplus V_{{\bar{1}}}\). The algebra \({\text {End}}(V)\) of endomorphisms of a superspace carries a natural structure of a superalgebra by declaring that \(X\in {\text {End}}(V)\) is homogeneous of degree \(i\in {\mathbb {Z}}_2=\{{\bar{0}},{\bar{1}}\}\) if and only if for any homogeneous vector \(v\in V_j\) with \(j\in {\mathbb {Z}}_2\) we have that \(X(v)\in V_{i+j}\).
A superrepresentation \(\psi :{\mathcal {A}}\rightarrow {\text {End}}(V)\) of a superalgebra is an algebra homomorphism which has the additional property that for any homogeneous element \(x\in {\mathcal {A}}_i\) of degree \(i\in {\mathbb {Z}}_2\) its image \(\psi (x) \in {\text {End}}(V)\) is also homogeneous of degree i.
We define a superalgebra structure on the spin group algebra \({\mathbb {C}}\widetilde{{\mathfrak {S}}}_{n}\) by declaring that the linear space of homogeneous elements of degree \({\bar{0}}\) (respectively, \({\bar{1}}\)) is spanned by the group elements \(g\in \widetilde{{\mathfrak {S}}}_{n}\) which under the canonical projection \(\widetilde{{\mathfrak {S}}}_{n}\rightarrow {\mathfrak {S}}_{n}\) are mapped to even (respectively, odd) permutations. Then irreducible superrepresentations of \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) are in a canonical bijective correspondence with strict partitions in \(\mathcal {SP}_n\) [22, Theorem 22.3.1].
[Here and in the following, the text in square brackets—such as this one—is intended only for Readers who are proficient in the terminology related to superalgebras. It provides some additional context but is not necessary for our purposes.]
We consider the irreducible superrepresentation which corresponds to \(\xi \in \mathcal {SP}^+\). [It turns out to be of type \(\texttt {M}\).] If we forget the superalgebra structure, it becomes an irreducible representation of the algebra \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) with the character \(\phi ^\xi \), as discussed in Sect. “Appendix A.5”.
We consider now the irreducible superrepresentation which corresponds to \(\xi \in \mathcal {SP}^-\). [It turns out to be of type \(\texttt {Q}\).] If we forget the superalgebra structure, it becomes a direct sum of the two irreducible representations of the algebra \({\mathbb {C}}{\mathfrak {S}}_{n}^-\) with the characters \(\phi ^\xi _\pm \), as discussed in Sect. “Appendix A.5”. In particular, its character is equal to \(\phi ^\xi _+ + \phi ^\xi _-\).
1.7 A.7. Spin characters: conclusion
For each strict partition \(\xi \in \mathcal {SP}_n\) and each odd partition \(\pi \in \mathcal {OP}_n\) the value of the irreducible spin character
is well defined, where \(c^\pi \in C_\pi ^+\) is a representative of the of the conjugacy class \(C_\pi ^+\), cf. [45, Eq. (2.1)].
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Matsumoto, S., Śniady, P. Random strict partitions and random shifted tableaux. Sel. Math. New Ser. 26, 10 (2020). https://doi.org/10.1007/s00029-020-0535-2
Published:
DOI: https://doi.org/10.1007/s00029-020-0535-2
Keywords
- Projective representations of the symmetric groups
- Random strict partitions
- Random shifted tableaux
- Limit shape
- Kerov’s CLT
- Shifted Schur–Weyl measure