Stirling's formula $$N! \sim \sqrt{2 \pi}\ N^{N+ \frac{1}{2}} e^{-N}$$ follows easily from Laplace's method in light of the famous integral representation $$N! = \int_0^{\infty} e^{-z} z^N dz.$$ Basic representation theory of the symmetric group $S(N)$ gives the remarkable finite sum $$N! = \sum_{\lambda \in \mathbb{Y}_N} (\dim \lambda)^2$$ over all partitions of $N$, where $\dim \lambda$ counts the number of paths from $\emptyset$ to $\lambda$ in Young's lattice $\mathbb{Y}$.

  • Is it possible to derive Stirling's formula directly from this finite sum?

[Edit] I'd like to thank everyone for the very interesting comments below. For those looking at this thread for the first time, I was hoping that an answer to the question above might help us calculate the asymptotics of $$f(N,a) = \sum_{\lambda \in \mathbb{Y}_N} (\dim \lambda)^{a}.$$ Notice that the case $a=0$ is the partition function $|\mathbb{Y}_N|$.

  • 2
    $\begingroup$ Presumably one would have to find the largest term and how nearby terms deviate from this maximum. Results of this nature are due to Kerov, e.g., references [57][61][64] of math.mit.edu/~rstan/papers/ids.pdf. I don't know whether Kerov's work can lead to a proof of Stirling's formula. If so, it will be a much more difficult proof than the standard ones. $\endgroup$ – Richard Stanley Jul 18 '11 at 3:15
  • $\begingroup$ Yes, it would certainly be more difficult, though it might help with the following. I'm interested in replacing the exponent "2" with an arbitrary integer a, which recovers the partition function at a=0. Computing the asymptotics in n of f(n,a) could hopefully interpolate between Stirling's formula and Hardy-Ramanujan's formula. However, it doesn't seem that such a function f(n,a) would yield a harmonic function / coherent system of probability measures in the sense of Kerov's asymptotic representation theory (the case a=2 for the Plancherel measure seems special in that regard). $\endgroup$ – Alexander Moll Jul 18 '11 at 4:38
  • 6
    $\begingroup$ Replacing the exponent "2" with a complex variable results in what's known as the "Witten zeta function" or "representation zeta function" of the symmetric group $S_N$. This function has most combinatorial meaning at negative integer values for "2". See arxiv.org/abs/1102.4353 $\endgroup$ – John Wiltshire-Gordon Jul 18 '11 at 5:00
  • $\begingroup$ It might be of interest to look into the work of Berele-Regev concerned with the asymptotics of Young tableaux in (k,l)-hooks (I think they deal with a question related to yours). Link: arxiv.org/PS_cache/arxiv/pdf/1007/1007.3833v1.pdf $\endgroup$ – Vasu vineet Jul 18 '11 at 6:40
  • $\begingroup$ A related, though slightly different, question is addressed in a paper of A. Maroti (see MR2006609), where asymptotic estimates for the partition function are addressed via character theory of $S_n$. $\endgroup$ – Geoff Robinson Jul 18 '11 at 7:13

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.