9
$\begingroup$

Let $S\in\mathcal S_N$ be a $N\times N$ symmetric matrix over the reals, and introduce the (normalised) gaussian measure $$ \mathrm d\mu(S):=2^{-\frac 12N}\pi^{-\frac14N(N+1)}\exp\left[-\frac12\operatorname{tr}(S^2)\right]\mathrm dS $$ where $$ \mathrm dS:=\prod_{i\le j\le N}\mathrm dS_{ij} $$

I am interested in the integral $$ p_n(N):=\int_{\mathcal S_N}\operatorname{tr}(S^{2n})\mathrm d\mu(S) $$ which is in fact a polynomial in $N$ of degree $n+1$. It can be shown that the coefficients of these polynomials are given by a certain sum over all possible gluings of the $2n$-star (cf. Ref.1, exercise 3.2.12).

These polynomials can be computed explicitly (for example, with the aid of the Weyl integration formula, cf. this MO post, although I found it much more efficient to compute the integrals explicitly by means of Wick's theorem). The first few read \begin{equation} \begin{aligned} p_0(n) &= n\\ p_1(n) &= \frac12 n (1 + n)\\ p_2(n) &= \frac14 n (5 + 5 n + 2 n^2)\\ p_3(n) &= \frac18 n (41 + 52 n + 22 n^2 + 5 n^3)\\ p_4(n) &= \frac{1}{16} n (509 + 690 n + 374 n^2 + 93 n^3 + 14 n^4)\\ p_5(n) &= \frac{1}{32} n (8229 + 12143 n + 7150 n^2 + 2290 n^3 + 386 n^4 + 42 n^5)\\ p_6(n) &= \frac{1}{64} n (166377 + 258479 n + 167148 n^2 + 58760 n^3 + 12798 n^4 + 1586 n^5 + 132 n^6) \end{aligned} \end{equation}

My question: is there any known formula to compute these polynomials efficiently (say, in the form of an explicit recurrence relation, or a closed-form generating function, etc.)?

Note that $p_n(1)=(2n-1)!!$, which is not too difficult to prove.

If we integrate over hermitian matrices instead of symmetric matrices, the answer to the question above is affirmative (the recurrence relation and the generating functional can be found in Ref.1 §1). In the symmetric case, the best I could find was Ref.2, which is not nearly as explicit as I would like (if the recurrence relation or the explicit generating function for $p_n(N)$ is somewhere there, I couldn't find it myself).

As per Wick's theorem, I am lead to believe it should be useful to express the polynomials $p_n(N)$ using as a basis the bionomial coefficients instead of the powers $\{1,N,N^2,\dots\}$: $$ p_n(N):=\sum_{j=1}^{n+1}\frac{1}{2^n}\alpha_{n,j}\binom{N}{j} $$ where the coefficients can be arranged in a Pascal-like triangle: \begin{equation} \begin{aligned} &\hspace{127pt}1\\ &\hspace{100pt}1\hspace{50pt} 1\\ &\hspace{80pt}6\hspace{40pt} 11\hspace{40pt} 6\\ &\hspace{60pt}60\quad\qquad 153\quad\qquad 156\quad\qquad 60\\ &\qquad\qquad840\qquad 2673\qquad 3846\qquad 2796\qquad 840\\ &\qquad15120\quad 56715\quad 102960\quad 106560\quad 60960\quad 15120\\ &332640\ 1420695\ 3066390\ 4032360\ 3304080\ 1568880\ 332640\\ \end{aligned} \end{equation}

I couldn't find a recurrence relation for the $\alpha_{n,j}$ coefficients either, so I'm not sure this representation is actually more useful than the previous one, but I wanted to include it as well just in case. Note that the triangle is almost symmetric, so that may mean something.

Note: OEIS was unable to recognise any of these sequences/polynomials. Could it be useful to submit them?


References.

  1. Sergei K. Lando, Alexander K. Zvonkin - Graphs on Surfaces and Their Applications (Springer, 2004).

  2. I.P. Goulden, D.M. Jackson, Maps in locally orientable surfaces, and integrals over real symmetric matrices, Canadian J. Math. 49, 1997, 865-882.

$\endgroup$
  • $\begingroup$ I wasn't sure which tags to use. Feel free to fix them. $\endgroup$ – AccidentalFourierTransform Feb 6 '18 at 16:26
  • $\begingroup$ This is purely recreational. I am a physicists so my mathematical background is not strong. More so in the case of these kinds of problems, in which I am a complete beginner but I found to be quite fun. Feel free to suggest references that I might find interesting. Cheers! $\endgroup$ – AccidentalFourierTransform Feb 6 '18 at 16:33
  • $\begingroup$ The polynomials appear to satisfy an almost Appell sequence: $$p'_n(N)=\left(2n-1+\frac{2^{j-2} j!}{(2 j-3)!!}\frac{1}{N}+\cdots\right)p_{n-1}(N)$$ Perhaps they form a Sheffer sequence? $\endgroup$ – AccidentalFourierTransform Feb 6 '18 at 17:11
11
$\begingroup$

A recursion formula for the moments of the Gaussian orthogonal ensemble, M. Ledoux (2009).

The desired recursion formula for the moment $b_p^N\equiv E\,[\,{\rm tr}\,(S_N^{2p})]$ is

I notice a difference in normalization, you'll want to divide $b_p^N$ by $2^p$.

$\endgroup$
  • $\begingroup$ Also: in case anyone is interested, Ledoux gives the explicit expression for the coefficients (cf. eq. 31) and the differential equation for the generating function (cf. the equation below eq. 31), but not the generating function itself (although they claim that the differential equation has an explicit solution). $\endgroup$ – AccidentalFourierTransform Feb 6 '18 at 17:21
  • $\begingroup$ For a more combinatorial approach, with bijections and all that, see also the work of Olivier Bernardi arxiv.org/abs/1011.2311 $\endgroup$ – Abdelmalek Abdesselam Feb 6 '18 at 22:55

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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