Abstract
The moments of the real eigenvalues of real Ginibre matrices are investigated from the viewpoint of explicit formulas, differential and difference equations, and large N expansions. These topics are inter-related. For example, a third-order differential equation can be derived for the density of the real eigenvalues, and this can be used to deduce a second-order difference equation for the general complex moments \(M_{2p}^\textrm{r}\). The latter are expressed in terms of the \({}_3 F_2\) hypergeometric functions, with a simplification to the \({}_2 F_1\) hypergeometric function possible for \(p=0\) and \(p=1\), allowing for the large N expansion of these moments to be obtained. The large N expansion involves both integer and half-integer powers of 1/N. The three-term recurrence then provides the large N expansion of the full sequence \(\{ M_{2p}^\textrm{r} \}_{p=0}^\infty \). Fourth- and third-order linear differential equations are obtained for the moment generating function and for the Stieltjes transform of the real density, respectively, and the properties of the large N expansion of these quantities are determined.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 Context
The study of moments of the spectral density for random matrix ensembles hold a special place in the development of random matrix theory. One landmark was Wigner’s [30, 31] introduction of what is now referred to as the moment method as a strategy to prove that a large class of symmetric random matrices have the same scaled spectral density \(\rho ^\textrm{W}(x):= {2 \over \pi } (1 - x^2) \chi _{|x|<1}\). The functional form \(\rho ^\textrm{W}(x)\) is now known as the Wigner semi-circle. An essential point is that the 2p-th even moment \(m_{2p}\) of \(\rho ^\textrm{W}(x)\) is equal to \(2^{-2p} C_p\), where \(C_p\) denotes the p-th Catalan number, and moreover, this moment sequence uniquely determines \(\rho ^\textrm{W}(x)\). Wigner then used the fact that in the random matrix setting \(m_{2p} = \lim _{N \rightarrow \infty } (\sigma ^2/2^2N)^p\mathbb {E} (\textrm{Tr} \, X^{2p})\) as the starting point for the computation of limiting scaled moments of the spectral density (here \(\sigma ^2\) is the variance of the off-diagonal entries of X, which are assumed too to have mean zero). Subsequent to Wigner’s work, the method of moments, and its generalisation to cumulants, has been used extensively in questions beyond the spectral density such as for the Gaussian fluctuations of linear statistics and pair counting statistics; see the recent review [29].
Specialise now to complex Hermitian matrices from the Gaussian unitary ensemble, with unit variance of the modulus of the off-diagonal entries so that the joint element distribution is proportional to \(e^{-\textrm{Tr} \, X^2/2}\). Another landmark has been in relation to the interpretation of the coefficients in the large N of \(M_{2p}^\textrm{GUE}:= \mathbb {E} \, \textrm{Tr} \, X^{2p}\). This expansion is a terminating series in \(1/N^2\),
The result of Wigner gives that \(\nu _{p,0} = C_p\). Using a diagrammatic interpretation of non-zero terms in the computation of \(\textrm{Tr} \, X^{2p}\) as implied by Wick’s theorem, it was shown by Brézin et al. [3] that the \(\nu _{p,g}\) counts the number of pairings of the sides of a 2p-gon which are dual to a map on a compact orientable Riemann surface of genus g. Equivalently, after the sides are identified in pairs, it is required that a surface of genus g results. The case \(g=0\) is referred to as planar and represents the leading order in (1.1).
Motivated by this topological interpretation, Harer and Zagier [22] further investigated the sequences \(\{ M_{2p}^\textrm{GUE} \}\) and \(\{ \nu _{p,g}^\textrm{GUE} \}\).Footnote 1 In particular, they obtained that \(\{ M_{2p}^\textrm{GUE} \}\) obeys the three-term recurrence
subject to the initial conditions \(M_{0}^\textrm{GUE}= N\), \(M_{2}^\textrm{GUE} = N^2\). From this, it was shown that \(\{ \nu _{p,g} \}\) obeys the two-variable recurrence
subject to the initial condition \(\nu _{0,0}^\textrm{GUE} = 1\), and boundary conditions \(\nu _{p,g}^\textrm{GUE} = 0\) for any of the conditions \(k<0, g<0\) or \(g > \lfloor p/2 \rfloor \). For instance, the first few values are given by
see, e.g. [32, Theorem 7].
The focus of our study relating to random matrix spectral moments in the present work is an outgrowth of theory underlying and relating the three-term recurrence (1.2), combined with the results from the recent paper [4] by one of us. The question addressed in [4] is to identify a recurrence relation for the spectral moments of the real eigenvalues of elliptic GinOE matrices. The latter is the ensemble of asymmetric real Gaussian matrices defined by
where \(S_{\pm }\) are independent random real symmetric and skew-symmetric GOE matrices, and \(0 \le \tau \le 1\) is a parameter. For \(\tau = 1\), one sees that elliptic GinOE reduces to GOE. Earlier, the work of Ledoux [24] had found a fifth-order linear recurrence for \(\{ M_{2p}^\textrm{GOE} \}\). Existing literature due to Goulden and Jackson [20], extending the work of Harer and Zagier, has given an interpretation of the \(M_{2p}^\textrm{GOE}\) in terms of pairings which lead to both nonoriented and orientable surfaces. The analogue of (1.1) is now
which in particular involves both odd and even powers of 1/N. In keeping with the universality of the Wigner semi-circle law, one again has for the leading contribution \(\nu _{p,0}^\textrm{GOE} = C_p\).
The other extreme of (1.4) is \(\tau = 0\), when each entry is identically distributed as an independent standard real Gaussian, this giving rise to a random matrix from GinOE. See [5, 6] for recent reviews on the Ginibre ensembles. Here, there was no previous literature on the moment sequence of the real eigenvalues. The \(\tau = 0\) limiting case of the in general 11-term linear recurrence found in [4] for the moments of the density of real eigenvalues was found to reduce to just a three-term recurrence
Motivated by the relative simplicity of (1.6), and its similarity with the GUE moment recurrence (1.2), in this work, we will carry out a study of the moments \(\{ M_{2p}^\textrm{r, GinOE} \}\) as a stand-alone sequence, not viewed as a limit of moments for the real eigenvalues of elliptic GinOE. In the case of the recurrence (1.2), it has been known since the work of Haagerup and Thorbjørnsen [21] that there is a tie in with certain higher-order differential equation and also with certain special function functions, in particular hypergeometric polynomials. In fact such structures have been shown to also be features of the spectral moments in a broad range of settings [2, 8, 9, 13, 17,18,19, 24, 25, 27]. However, GinOE is distinct from the ensembles in these earlier studies since only a fluctuating fraction of eigenvalues are real.
1.2 Some known results
Let G be a real Ginibre matrix (GinOE) of size N, defined by the requirement that all entries are independent standard Gaussians. By making use of knowledge of the Schur function average with respect to GinOE matrices, it was shown in [16, 28] that for any positive integer \(p \ge 1\),
But with the eigenvalues of GinOE matrices being in general both real and complex, this is a result which combines moments relating to the real eigenvalues and moments relating to the complex eigenvalues. Specifically, let \(\mathcal {N}_\mathbb {R}\) be the number of real eigenvalues and define
where \(x_j\) \((j=1,\dots , \mathcal {N}_\mathbb {R})\) and \(z_j\) (\(j=1,\dots , N-\mathcal {N}_\mathbb {R}\)) are real and complex eigenvalues of G, respectively. Here and in the sequel, we drop the superscript “GinOE”, cf. (1.6). We have used the convention \(z_{j+(N-\mathcal {N}_\mathbb {R})/2}=\bar{z}_j.\) Note that by definition,
It has been known for some time [10, 11] that the average densities of real and complex eigenvalues of the GinOE are given by
Here,
are lower and upper incomplete gamma functions and
is the complementary error function. The densities relate to the even integer moments of the real and complex eigenvalues by
The pioneering work [11] relating to the real eigenvalues of GinOE has provided both an exact evaluation and an asymptotic expansion, for
Thus, from [11, Cor. 5.1], we have the expression in terms of a particular Gauss hypergeometric function
As an application of this formula, it is shown in [11, Cor. 5.2] that for \(N \rightarrow \infty \)
As a series, the Gauss hypergeometric function in (1.13) is not terminating. Nonetheless, by considering the recurrence in N implied by this formula, such terminating forms were obtained [11, Cor. 5.3]
(See also [1, Prop. 2.1].) As a consequence, one reads off that for N even, \(M_{0,N}^{ \mathrm r }\) is equal to \(\sqrt{2}\) times a rational number, while for N odd, it is equal to 1 plus \(\sqrt{2}\) times a rational number. As an aside, we remark that an arithmetic result of this type is also known for the expected number of real eigenvalues in the case of the product of two size N GinOE matrices, where it is shown in [14, §4.2] to be of the form \(\pi \) times a rational number for N even, and 1 plus \(\pi \) times a rational number for N odd. The special function that appears here is not the Gauss hypergeometric function but rather a particular Meijer G-function, which was simplified to a finite series by Kumar [23].
1.3 New results
Our first new result generalises (1.14).
Theorem 1.1
Let m be any positive integer. Then as \(N \rightarrow \infty \), we have
where
Furthermore, as \(N \rightarrow \infty \), we have
where
This gives for the first few terms
The three-term recurrence (1.6) then gives that for all \(p \ge 0\),
for certain coefficients \(b_{l,p}\) and \(c_{l,p}.\)
We remark that a generalisation of the asymptotic formula (1.16) for the elliptic GinOE can also be found in [7, Prop. 2.2]. The terminating series \( \sum _{l=1}^{p-1} c_{l,p} N^{-l} \) for the first \(p=2,3,4,5\) are given by
, respectively. These coefficients can also be derived from the moment generating function, see (3.25) and (3.26).
Recall that the generalised hypergeometric function is given by the Gauss series
see, e.g. [26, Chapter 16], where it is assumed that the parameters are such that the series converges. Using this function with \(r=3\) and \(s=2\), we next give an explicit formula for the even 2p-th moments of both the real and complex eigenvalue densities. In earlier work, the hypergeometric function \({}_3F_2\) has appeared in the evaluation of spectral moments of certain Hermitian unitary ensembles—see [9, Eqs.(3.9),(3.10)]—although there with extra structure of being terminating and furthermore identifiable in terms of certain orthogonal polynomials in the Askey scheme.
Theorem 1.2
For all positive integers N and p, we have
and
The definition (1.12) of the even integer moment \(M_{2p,N}^\textrm{r}\) can be extended to all complex p with Re\((p) > - 1/2\) by rewriting \(M_{2p,N}^\textrm{r}\) as
The evaluation formula (1.24) again remains valid.
Proposition 1.3
Define \(M_{2p,N}^\textrm{r}\) for general \({\text {Re}}(p) > - 1/2\) by (1.26). The evaluation formula (1.24) can be continued off the positive integers to remain valid throughout this region of the complex plane.
Remark 1.4
Let \(p=q+1/2\) for \(q \ge 0\) a non-negative integer. The series (1.23) defining the \({}_3F_2\) function in (1.24) is ill defined as the parameters are such that the indeterminant zero divided by zero occurs. For the series to be well defined, the limit q approaches a non-negative integer must be taken.
It is possible to deduce that the three-term recurrence (1.6) for the moments is valid not just for the even integer moments, but the complex moments too, and to use this to deduce a three-term recurrence specifically for the \({}_3F_2\) function appearing in (1.24). To this end, we make use of a third-order differential equation satisfied by \(\rho _N^\textrm{r}(x)\), which is of independent interest.
Proposition 1.5
The density \(\rho _N^{ \mathrm r }\) of real eigenvalues given in (1.10) satisfies the differential equation
Corollary 1.6
The three-term recurrence (1.6) remains valid for complex values of p such the terms are well defined. Also, as a function of complex p
Another consequence of (1.27) is related to the differential equation for the Fourier-Laplace, or equivalently for the (positive integer) moment generating function, as well as for the Stieltjes transform.
Corollary 1.7
Let
This satisfies the fourth-order linear differential equation
where
Furthermore, introduce the Stieltjes transform of the density
With \(\mathcal {A}_N[t]\) the differential operator specified in (1.27), but with respect to t rather than x, we have that W(t) satisfies the inhomogeneous differential equation
Remark 1.8
In [4, Cor. 1.5], it was found that the moment generating function u(t) satisfies a seventh-order differential equation. Indeed, it can be observed that the differential equation in [4, Cor. 1.5] can be further simplified to
where (a, b, c) is a permutation of (1, 3, 5).
The proofs of the above results are given in Sect. 2. In Sect. 3, we link up the large N asymptotic expansion of the moments Theorem 1.1 with large N asymptotic expansions that can be deduced for the Fourier-Laplace transform u(t) and the Stieltjes transform W(t).
2 Proofs
2.1 Proof of Theorem 1.1
To begin we recall a particular asymptotic formula of \({}_2F_1\), telling us that as \(\lambda \rightarrow \infty \) (\(\lambda \in \mathbb {R}\)),
see [26, Eq. (15.12.3)]. Here \(q_0(z)=1\) and \(q_s(z)\) when \(s=1,2,\ldots \) are defined by the generating function
Using this with \(a=1,b=-1/2, c=0\) and \(\lambda =N\) in (1.13) gives (1.16).
In preparation for deducing the large N asymptotic form of \(M_{2,N}^\textrm{r}\), an evaluation formula analogous to (1.13) is required.
Proposition 2.1
We have
Proof
We will assume temporarily the validity of the evaluation formula given by the \(p=1\) case of \(M_{2p,N}^\textrm{r}\) in Theorem 1.2 (this will be proved for all non-negative p in the next section). This gives
We note that
Recall the linear transformation [26, Eq. (15.8.5)]
Here, let us mention that the regularised hypergeometric function \( {}_2 {\textbf {F}}_1 \) in [26, Eq. (15.8.5)] is given by
Using (2.5) with \(a=-N-1/2, b=-3/2,c=-N+1/2\), we have
which leads to
Here, we have used \(1/\Gamma (-N+2)=0\), the reflection formula of Gamma function
and
in each identity. Similarly, we have
Furthermore, again using (2.5) after removing the removable singularities, it follows that
and
Therefore, we obtain
which completes the proof. \(\square \)
Focusing now on (2.3), we note from (2.1) with \(a=2,b=-1/2, c=1\) that
where
Also, using (2.1) with \(a=1,b=-3/2,c=0\), we have
where
Therefore, we have shown that
Substituting in (2.3) the expansion (1.18) follows. \(\square \)
2.2 Proof of Theorem 1.2
In relation to Theorem 1.2, note that the spectral moments (1.25) of complex eigenvalues follow from (1.7), (1.9) and their real counterparts (1.24). Thus, it suffices to show (1.24). The more general setting of Proposition 1.3 we will be assumed requires only that \(\textrm{Re} \, p > -1/2\).
By using [11, Cor. 4.1], we have
where
It then follows that
Since
where in the second integral it is assumed \(|z|<1\), we have
On the other hand, by using the expansion [26, Eq. (7.6.2)]
we have
Combining the above, we have
which can be written as
By using
we obtain
This gives rise to
Note here that
and that
where to obtain the final line use has been made of (2.6). Now the expression (1.24) follows from the definition (1.23) of the generalised hypergeometric function. \(\square \)
2.3 Proof of Proposition 1.5
We follow a strategy introduced in [32, Proofs of Thms. 4 and 9] in relation to the differential equations satisfied by the eigenvalue density for the GUE and GOE. Due to the symmetry \(x \mapsto -x\), it suffices to consider the case \(x>0.\) Let
so that according to (1.10), the function f(x) is proportional to \(\frac{d}{dx}\rho _N(x)\). In terms of f(x), the differential equation of the proposition reads
Using
we have
Similarly, it follows that
and
Combining all of the above, the desired differential equation (2.18) follows. The intermediate working is best carried out using computer algebra for efficiency and accuracy. \(\square \)
We mention that at the beginning, the way to derive the exact form of the differential equation (2.18) is to use (2.19) and (2.20) regarded as a linear system to solve for a(x), b(x) in terms of f(x) and \(f'(x)\). With this done, substituting in (2.21) gives (2.18).
2.4 Proof of Corollary 1.6
To deduce the three-term recurrence (1.6) with p in general complex, we multiply the differential equation by \(x^p\) and integrate over \(x \in (0,\infty )\). Carrying out the integration using integration by parts gives (1.6), provided \({\text {Re}}(p)\) is large enough so that all terms requiring evaluation at \(x=0\) vanish. Analytic continuation removes the need for such a restriction.
In relation to the three-term recurrence for the \({}_3F_2\) function (1.28), we notice by direct computations that
Therefore by (1.24), one can observe that the recursion formula (1.6) implies (1.28). \(\square \)
2.5 Proof of Corollary 1.7
Note that
Then the differential equation (1.30) follows from Proposition 1.3, after multiplying by \(e^{tx}\) and integrating over \(x \in \mathbb {R}\) using integrating by parts. For the latter, we note
In relation to the Stieltjes transform, we first separate out the coefficients of \(\partial _x^2\) and \(\partial _x\) in \(\mathcal {A}_N[x]\) so that the differential equation (1.27) reads
with
Next we manipulate this equation so that it takes the form
Multiplying through by \(1/(t-x)\) and integrating over \(x \in \mathbb {R}\), the LHS is readily identified as \(\mathcal {A}_N[t]\) after integration by parts. On the RHS, the term \(1/(t-x)\) can be cancelled with factors in the coefficients, which then reduce to polynomials symmetric in t and x. Integration by parts requires that these polynomials be differentiated with respect to x a suitable number of times, with the result giving the RHS of (1.33). \(\square \)
3 Links between large N expansions
3.1 Asymptotic expansion of the moment generating function
Let us define the rescaled moment generating function
Then (1.30) gives rise to
where
As is consistent with the expansion of the even integer moments Theorem 1.1, introduce the large N expansion
Use the expansion coefficients therein to introduce a sequence of smoothed densities \(\{ r_{(k)}(x), r_{(k+1/2)}(x) \}\) by the requirement that
Note that then, in a formal sense, and with the LHS interpreted as being always begin integrated against a smooth function, we then have
We know from [6, displayed equation below Eqs. (3.5) and (3.8)] that
and so
Note also that by (1.16) and (1.18), for \(k \ge 1\),
and
Scaling (3.2), \(t \mapsto t/\sqrt{N}\), and substituting (3.6) shows
and
with the convention that \(\widetilde{u}_j \equiv 0\) if \(j <0.\) One observes that the differential operator \(\mathcal {D}_0[t]\) has the factorisations
From the explicit functional forms of \(\widetilde{u}_{(0)}(t)\) and \(\widetilde{u}_{(1/2)}(t)\) (3.10), it is observed that both are annihilated by \(\mathcal {D}_0[t]\). Indeed, the general even solution to \(\mathcal {D}_0[t] f(t)=0\) is of the form
By taking \(k=1\) in (3.13),
By solving this differential equation with the initial condition (3.11), we have
Similarly, it follows that
In general, one can observe that \(\widetilde{u}_k\) is of the form
where \(P_{k,1}\) and \(P_{k,2}\) are some even polynomials of degree \(k+1.\) The corresponding quantities in the expansion (3.6) are then
as can be checked from (3.7).
Regarding the half-integer coefficients in (3.6), we also have
For general k, we have
where \(\widehat{P}_{k,1}\) and \(\widehat{P}_{k,2}\) are certain odd polynomials of degree \(k+1\), from which it follows
cf. (3.20). Notice also that
These coincide with the coefficients of the \(\textrm{O}(1/N)\) term in (1.22). Along the same lines, we have
which also correspond to the coefficients of the \(\textrm{O}(1/N^2)\) term in (1.22). To be consistent with the fact that the final sum in (1.21) terminates, for general k, we must have \({\partial _t^{2j} } \tilde{u}_{(k+1/2)}(t) |_{t=0}=0\) for \(j=0,\dots ,k\).
3.2 Asymptotic expansion of the Stieltjes transform
Let us write
for the Stieltjes transform of the rescaled density. Then (1.33) can be rewritten as
where
On the other hand, by Theorem 1.1,
Then as before, by recursively solving this system of differential equations with the initial condition \(\widetilde{W}(t)=\textrm{O}(1/t)\) as \(t \rightarrow \infty \), one can derive the expansion
For instance, we have
which are consistent with (3.9), and
In particular, one reads off that as \(t \rightarrow \infty \), \(\widetilde{W}_{(1)}(t) \asymp t^{-1}\), whereas \(\widetilde{W}_{(3/2)}(t) \asymp t^{-3}\). Generally, it is required that for \(t\! \rightarrow \! \infty \), \(\widetilde{W}_{(k)}(t) \!\asymp \! t^{-1}\), whereas \(\widetilde{W}_{(2k+1)/2}(t)\! \asymp \!{t^{-2k-1}}\), so as to be consistent with (1.21).
Data availability
No datasets were generated or analysed during the current study.
Notes
The notation C(p, N) in [22] is equivalent to \(M_{2p}^\textrm{GUE}\).
References
Akemann, G., Byun, S.-S., Ebke, M., Schehr, G.: Universality in the number variance and counting statistics of the real and symplectic Ginibre ensemble. J. Phys. A 56, 495202 (2023)
Assiotis, T., Bedert, B., Gunes, M., Soor, A.: Moments of generalized Cauchy random matrices and continuous-Hahn polynomials. Nonlinearity 34, 4923 (2021)
Brézin, E., Itzykson, C., Parisi, G., Zuber, J.B.: Planar diagrams. Commun. Math. Phys. 59, 35–51 (1978)
Byun, S.-S.: Harer-Zagier type recursion formula for the elliptic GinOE. arXiv:2309.11185
Byun, S.-S., Forrester, P.J.: Progress on the study of the Ginibre ensembles I: GinUE. arXiv:2211.16223
Byun, S.-S., Forrester, P.J.: Progress on the study of the Ginibre ensembles II: GinOE and GinSE, arXiv:2301.05022
Byun, S.-S., Kang, N.-G., Lee, J.O., Lee, J.: Real eigenvalues of elliptic random matrices. Int. Math. Res. Not. 2023, 2243–2280 (2023)
Cohen, P., Cunden, F.D., O’Connell, N.: Moments of discrete orthogonal polynomial ensembles. Electron. J. Probab. 25, 1–19 (2020)
Cunden, F.D., Mezzadri, F., O’Connell, N., Simm, N.: Moments of random matrices and hypergeometric orthogonal polynomials. Commun. Math. Phys. 369, 1091–1145 (2019)
Edelman, A.: The probability that a random real Gaussian matrix has \(k\) real eigenvalues, related distributions, and the circular law. J. Multivariate Anal. 60, 203–232 (1997)
Edelman, A., Kostlan, E., Shub, M.: How many eigenvalues of a random matrix are real? J. Am. Math. Soc. 7, 247–267 (1994)
Forrester, P.J.: Log-Gases and Random Matrices. Princeton University Press, Princeton, NJ (2010)
Forrester, P.J.: Moments of the ground state density for the \(d\)-dimensional Fermi gas in an harmonic trap. Random Matrices Theory Appl. 10(2), Paper No. 2150018 (2021)
Forrester, P.J., Ipsen, J.R.: Real eigenvalue statistics for products of asymmetric real Gaussian matrices. Linear Algebra Appl. 510, 259–290 (2016)
Forrester, P.J., Nagao, T.: Eigenvalue statistics of the real Ginibre ensemble. Phys. Rev. Lett. 99, 050603 (2007)
Forrester, P.J., Rains, E.: Matrix averages relating to Ginibre ensembles. J. Phys. A 42, 385205 (2009)
Forrester, P.J., Li, S.-H., Shen, B.-J., Yu, G.-F.: \(q\)-Pearson pair and moments in \(q\)-deformed ensembles. Ramanujan J. 60, 195–235 (2023)
Forrester, P.J., Rahman, A.: Relations between moments for the Jacobi and Cauchy random matrix ensembles. J. Math. Phys. 62, 073302 (2021)
Gisonni, M., Grava, T., Ruzza, G.: Jacobi ensemble, Hurwitz numbers and Wilson polynomials. Lett. Math. Phys. 111(3), Paper No. 67 (2021)
Goulden, I., Jackson, D.: Maps in locally orientable surfaces and integrals over real symmetric surfaces. Can. J. Math. 49, 865–882 (1997)
Haagerup, U., Thorbjørnsen, S.: Random matrices with complex Gaussian entries. Expo. Math. 21, 293–337 (2003)
Harer, J., Zagier, D.: The Euler characteristic of the moduli space of curves. Invent. Math. 85, 457–485 (1986)
Kumar, S.: Exact evaluations of some Meijer G-functions and probability of all eigenvalues real for products of two Gaussian matrices. J. Phys. A 48, 445206 (2015)
Ledoux, M.: A recursion formula for the moments of the Gaussian orthogonal ensemble. Ann. Inst. Henri Poincaré Probab. Stat. 45, 754–769 (2009)
Mezzadri, F., Simm, N.: Moments of the transmission eigenvalues, proper delay times, and random matrix theory I. J. Math. Phys. 52, 103511 (2011)
Olver, F.W.J., Lozier, D.W., Boisvert, R.F., Clark, C.W. (eds.): NIST Handbook of Mathematical Functions. Cambridge University Press, Cambridge (2010)
Rahman, A., Forrester, P.J.: Linear differential equations for the resolvents of the classical matrix ensembles. Random Matrices Theory Appl. 10(3), Paper No. 2250003 (2021)
Sommers, H.-J., Khoruzhenko, B.A.: Schur function averages for the real Ginibre ensemble. J. Phys. A 42, 222002 (2009)
Soshnikov, A., Wu, C.: A note on cumulant technique in random matrix theory. Entropy 23, 725 (2023)
Wigner, E.P.: Characteristic vectors of bordered matrices with infinite dimensions. Ann. Math. 62, 548–564 (1955)
Wigner, E.P.: On the distribution of the roots of certain symmetric matrices. Ann. Math. 67, 325–327 (1958)
Witte, N., Forrester, P.J.: Moments of the Gaussian \(\beta \) ensembles and the large \(N\) expansion of the densities. J. Math. Phys. 55, 083302 (2014)
Funding
Open Access funding enabled and organized by Seoul National University.
Author information
Authors and Affiliations
Contributions
All authors have contributed equally.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Sung-Soo Byun was partially supported by the POSCO TJ Park Foundation (POSCO Science Fellowship) and by the New Faculty Startup Fund at Seoul National University. Funding support to Peter Forrester for this research was through the Australian Research Council Discovery Project Grant DP210102887.
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
Byun, SS., Forrester, P.J. Spectral moments of the real Ginibre ensemble. Ramanujan J (2024). https://doi.org/10.1007/s11139-024-00879-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11139-024-00879-6
Keywords
- Real Ginibre ensemble
- Real eigenvalues
- Spectral moments
- Hypergeometric functions
- Recurrence relation
- Asymptotic expansions