2
$\begingroup$

Consider next sum \begin{eqnarray} \label{PF_spindef} Z = \sum_{r=0}^{N N_f} h^{2r} \ Q(r) . \end{eqnarray} and \begin{equation} Q(r) \ = \ \sum_{\sigma \vdash r} s_{\sigma}(1^{N_f}) \ s_{\sigma}(1^{N_f}) \ . \label{QSUN_def} \end{equation} where $s_{\sigma}(1^{N_f})$ is Schur function and $\sigma \vdash r$ run over partition.

Expansion around $h=0$ in the Veneziano limit $N \to \infty$ (where $\frac{N_f}{N }= \kappa $) explicitly gives $$ Z= 1 + h^2 N^2 \kappa^2 + \frac{h^4}{2} N^2 \kappa^2( N^2 \kappa^2 + 1) + \frac{h^6 }{6} N^2 \kappa^2 (N^2 \kappa^2 +1)(N^2 \kappa^2 +2) + ... = e^{ N^2 \kappa^2 \log \frac{1}{1- h^2} } $$ $$ \lim_{N \to \infty} \frac{1}{N^2} Z = \kappa^2 \log \frac{1}{1- h^2} $$

How to re-expand initial $Z$ (in terms of Schur functions) around $h=1$ and takes the same Veneziano limit ?

$\endgroup$
4
  • 1
    $\begingroup$ $N_f$ is just some number here? The notation is confusing to me... $\endgroup$ Commented Oct 21, 2021 at 20:34
  • $\begingroup$ Yes $N, N_f$ is some integer. $\endgroup$ Commented Oct 21, 2021 at 20:36
  • $\begingroup$ Yes, you are right. $\endgroup$ Commented Oct 21, 2021 at 20:43
  • 4
    $\begingroup$ Just a piece of advice: You will get better help here if you try to formulate your questions without unnecessary notation (like calling a number $N_f$ instead of just $n$) and physics lingo (Veneziano limit). $\endgroup$ Commented Oct 22, 2021 at 5:43

1 Answer 1

6
$\begingroup$

This is a special case of the generating function for Schur polynomials $$\sum_{\lambda}s_\lambda(x_1,\dots,x_m)s_\lambda(y_1,\dots,y_n)=\prod_{i=1}^m\prod_{j=1}^n\frac 1{1-x_iy_j}.$$ Take $x_1=\dots=x_m=x$ and $y_1=\dots=y_n=1$, gives $$\sum_{\lambda} x^{|\lambda|}s_\lambda(1^m)s_\lambda(1^n)=\frac 1{(1-x)^{mn}}.$$ It seems you take $m=n=N\kappa=N_f$ and $x=h^2$. You have indeed $$\frac 1{N^2}\log \sum_{\lambda}s_\lambda(1^{N_f})^2 h^{2|\lambda|}=\frac 1{N^2}\log \frac 1{(1-h^2)^{N^2\kappa^2}}=\kappa^2\log \frac 1{1-h^2}.$$

Note that $s_\lambda(1^n)$ are the dimensions of the irreducible representations of $\mathrm{GL}(n,\mathbb C)$, so you can probably also give a representation-theoretic proof.

$\endgroup$
3
  • $\begingroup$ Thank you for the answer. However we interesting in another case, if we put condition $\lambda_1<N$ for $\lambda=(\lambda_1,..,\lambda_l)$ we arrive to another expression at the $h=1$ (unlike the - $\kappa^2 \log [1-h^2]$ that diverges in that point), and principally we can make expansion around $h=1$ . First terms appears in another topic mathoverflow.net/questions/406707/… . $\endgroup$ Commented Oct 24, 2021 at 14:19
  • $\begingroup$ So you want to put a bound $\lambda_1\leq N$ on the terms and then look at the asymptotics when $N$ and $N_f$ both tend to $\infty$ with $\kappa=N_f/N$ fixed? $\endgroup$ Commented Oct 24, 2021 at 14:32
  • $\begingroup$ Yes! This is the case. $\endgroup$ Commented Oct 24, 2021 at 14:46

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.