Abstract
The dissipative spectral form factor (DSFF), recently introduced in Li et al. (Phys Rev Lett 127(17):170602, 2021) for the Ginibre ensemble, is a key tool to study universal properties of dissipative quantum systems. In this work we compute the DSFF for a large class of random matrices with real or complex entries up to an intermediate time scale, confirming the predictions from Li et al. (Phys Rev Lett 127(17):170602, 2021). The analytic formula for the DSFF in the real case was previously unknown. Furthermore, we show that for short times the connected component of the DSFF exhibits a non-universal correction depending on the fourth cumulant of the entries. These results are based on the central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices Cipolloni et al. (Electron J Prob 26:1–61, 2021) and Cipolloni et al. (Commun Pure Appl Math 76(5): 946–1034, 2023).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Non-Hermitian physics has significantly advanced in recent years, leading to a deeper understanding of open (dissipative) quantum systems [6, 16, 42, 44, 46], optics [17, 18], biological systems [37, 40], acoustics [15, 36], and many more. The relaxation of the Hermiticity assumption led to the discovery of new interesting phenomena including: non-Hermitian skin-effect [47], new universality classes [31], dynamical phase transition [33], replica symmetry breaking in the Sachdev-Ye-Kitaev (SYK) model [23], and violation of the Eigenstate Thermalization Hypothesis [12, 13]. In analogy with the Hermitian case, it is expected that spectral statistics of non-Hermitian systems exhibit universal behavior. More precisely, in [29, 30], the authors formulated the dissipative analogs of the Berry–Tabor and Bohigas–Giannoni–Schmit conjectures: chaotic systems follow Random Matrix statistics, while integrable systems follow Poisson statistics. To better understand this phenomena, Li, Prosen, and Chan introduced the so called dissipative spectral form factor (DSFF) [35] (see also [4, Sect. 6.2] for a recent review). For a non-Hermitian operator X, with complex eigenvalues \(\left\{ \sigma _i = x_i + iy_i \right\} _{i = 1}^{N}\), the Dissipative Spectral Form Factor (DSFF), introduced in [35], for a complex time parameter \(\tau := t + is\), with \(t, s \in {\textbf{R}}\), is given by
In the case when X is a random matrix we consider its expectation
with \({\textbf{F}}\in \{{\textbf{R}},{\textbf{C}}\}\) denoting the fact that X has real or complex entries. The DSFF consists of the two dimensional Fourier transform of the two point correlation function of X given by \(\rho (z)\rho (z+w)\); in particular, as \(\tau \) varies, it studies the correlations of the eigenvalues of X on all scales at the same time. Note that the DSFF reduces to the Hermitian Spectral Form Factor (SFF) [34]
when the spectrum of X is real. Additionally, by rewriting \(\tau = |\tau |\left( \cos \varphi + i \sin \varphi \right) \) and denoting \(z_{ij}:= \left( x_i-x_j \right) + i\left( y_i-y_j \right) \), we may also write \(K_{{\textbf{F}}}(t,s)=K_{{\textbf{F}}}(\tau , {\overline{\tau }})={\textbf{E}}N^{-2} \sum _{i,j = 1}^{N} e^{i \langle z_{ij}, \tau \rangle }\), which for a fixed angle \(\varphi \) offers a natural interpretation of the DSFF as SFF of the projection of \(\left\{ z_{ij} \right\} _{ij}\) onto the radial axis relative to \(\varphi \). Here \(\langle z_{ij}, \tau \rangle \) denotes the scalar product viewing \(z_{ij}\) and \(\tau \) as vectors in \({\mathbb {R}}^2\), i.e. \(\langle z_{ij}, \tau \rangle := (x_i-x_j)t+(y_i-y_j)s\). In particular, heuristically, one can think of the DSFF at time \(\tau \) as a statistic of the eigenvalues of X which studies the spectrum projected onto the axis relative to \(\varphi \) on a scale \(\sim 1/|\tau |\). Throughout this paper, we will make use of the notation \(K_{{\textbf{F}}}(\tau , {\overline{\tau }})\), rather than \(K_{{\textbf{F}}}(s,t)\), to stress the dependence on \(\tau \) as the underlying complex time parameter.
Before describing several properties of \(K(\tau ,{\overline{\tau }})\), we recall some properties and results about the well known Hermitian SFF (3). As a function of t, for chaotic systems, \(K(t):={\textbf{E}}[\textbf{SFF}(t)]\) exhibits the so called slope-dip-ramp-plateau behavior (see e.g. [11, Fig. 1]): for short times K(t) decreases with an oscillatory behavior until a "dip-time", \(t_{\textrm{dip}}\sim N^{1/2}\), then in the regime \(N^{1/2}\lesssim t\lesssim N\) the SFF grows linearly until the Heisenberg time \(t_{\textrm{Hei}}\sim N\) when K(t) becomes flat and stays equal to \(1/N\) for \(t\ge t_{\textrm{Hei}}\). We point out that \(t_{\textrm{Hei}}\) is proportional to the inverse level spacing, which is \(\sim 1/N\) in the Hermitian case. Despite its great relevance within the physics literature on disordered quantum systems [14, 24, 26, 32, 45], the SFF was not mathematically rigorously investigated until very recently. In [19, 20], Forrester computed the large \(N\) limit of K(t) for the Gaussian Unitary Ensemble (GUE) and for the Laguerre Unitary Ensemble (LUE), respectively, in the entire slope-dip-ramp-plateau regime, relying on the integrable structure of these models (see the remarkable identities in [3, 43]). More recently, K(t) has been computed also for the Dyson Brownian motion on the unitary group \(U(N)\) [21]. Only very recently, in [11], the SFF has been studied for more general Hermitian random matrix models (i.e. for models with entries which are not necessarily Gaussian). In this case, unlike previous works, no exact identities are available, so the SFF was analyzed relying on the recent multi-resolvent local laws (see e.g. [8, 9]), which allowed a rigorous computation of K(t) up to the intermediate time scales \(t\ll N^{5/11}\). The understanding of K(t), for the whole \(t\lesssim N\) regime, for matrices with non Gaussian entries is still completely missing.
Much less is known in the harder dissipative (non-Hermitian) case. In [35] the authors computed \(K_{{\textbf{C}}}(\tau ,{\overline{\tau }})\) for X being a complex Ginibre matrix and they numerically conjectured that a similar behavior is expected for more general classes of non-Hermitian chaotic operators. They also numerically compute the DSFF for X drawn from the real or quaternionic Ginibre ensemble, but no analytical results are available in [35] for these cases. In more recent works, the DSFF has been numerically computed also for the dissipative version of the celebrated Sachdev-Ye-Kitaev (SYK) model [25] and for other interacting non-Hermitian systems [27]. We also point out that very recently in [39, Sect. 5.4] the authors introduced a different eigenvalue statistic to detect if a non-Hermitian Hamiltonian is chaotic, the Deformed Spectral Form FactorFootnote 1 (see also [38] for its extension to non-Markovian channels).
For concreteness, we now focus only on the complex Ginibre ensemble. According to the predictions in [35], the qualitative behaviour of the DSFF, as a function of \(|\tau |\), also follows a slope-dip-ramp-plateau behavior, but with fundamental different properties compared to the Hermitian SFF. At leading order, in the large \(\text {N}\) limit, the DSFF for the complex Ginibre ensemble is given by
where \(J_1\) is the Bessel function of the first kind (see Definition 1 below) and the three terms appearing on the right-hand side of (4) are referred to as contact, disconnected, and connected components, respectively. From (4), one notices that the DSFF is rotationally symmetric in the complex time \(\tau \), as it depends solely on \(|\tau |\).
Figure 1 below shows the slope-dip-ramp-plateau behavior for the DSFF. By standard asymptotic of Bessel functions (see e.g. Fact 1 below) we notice that the Heisenberg time scales as the inverse of the mean eigenvalue spacing, that is \(\tau _{\text {Hei}}\sim \sqrt{N}\) (in analogy with the Hermitian SFF when \(t_{\textrm{Hei}}\sim N\)). In addition, by relying on the fact that the non-oscillatory part of the disconnected component asymptotically scales as \( |\tau |^{-3}\), for \(|\tau |\gg 1\), and by considering the time at which the disconnected and connected contributions are of the same order, one obtains that \(\tau _{\text {edge}} \sim N^{2/5}\) (this is the analog of \(t_{\textrm{dip}}\) in the Hermitian case). Furthermore, using that that \(J_1(z)/z \sim 1\) as \(z \rightarrow 0\), one also deduces that the initial decay of the DSFF from \(K(0,0) = 1\) for \(|\tau |\lesssim \tau _{\text {edge}}\) is governed by the disconnected component. In the intermediate regime, for \(\tau _{\text {edge}} \lesssim |\tau |\, \lesssim \tau _{\text {Hei}}\), the DSFF increases quadratically at a rate \(|\tau |^2/4N^2\), which may be seen by combining the contact component with the Taylor expansion of the exponential term around zero. This is in stark contrast to the Hermitian SFF, where the intermediate ramp behaviour exhibits linear growth with respect to time. Finally, at time \(|\tau |\,\gtrsim \tau _{\text {Hei}}\), the DSFF has a plateau at the mean eigenvalue spacing \(1/\sqrt{N}\), in analogy to the Hermitian case.
In [35] the authors analytically computed the asymptotic of the DSFF only in the complex Ginibre ensemble relying on its integrable structure [28, 41]; for the real Ginibre ensemble only numerics are available. Although the joint distribution of the eigenvalues is explicitly known also for the real Ginibre ensemble [2, 22] (see also the recent review [5]), it is much more involved due to the special role played by the real axis, thus making its analysis less amenable. The aim of this work is to consider non-Hermitian matrices with generic (i.e. not necessarily Gaussian) real or complex entry distribution (see Assumption 1 below). In particular, in Theorem 1 below, we rigorously prove (4) for a large class of non-Hermitian matrices with complex entries up to intermediate time scales \(|\tau |\le N^{2/7}\). Additionally, we give an analog of (4) for matrices with real entries which we conjecture to hold up to \(|\tau |\ll \sqrt{N}\) (and prove for \(|\tau |\le N^{2/7}\)). More precisely, we conjecture that for \(1\ll |\tau |\ll \sqrt{N}\) it holds
with \(\beta \) a parameter such that \(\beta =1\) in the real case \({\textbf{F}}={\textbf{R}}\) and \(\beta =2\) in the complex case \({\textbf{F}}={\textbf{C}}\). In particular, we show that also in the non-Hermitian case the DSFF can be used to distinguish different universality classes. We remark that the expression (5) in the real case was unknown even for the real Ginibre ensemble. Furthermore, in Theorem 1 below, we show that for matrices X with general entry distribution there is an additional correction to the connected component of \(K_{{\textbf{F}}}(\tau ,{\overline{\tau }})\) for \(|\tau |\sim 1\) depending on the fourth moment of the entries. We remark that to compute this asymptotic for the DSFF we rely on the recent CLT-type results for linear eigenvalue statistics of non-Hermitian random matrices appearing in [7] for the real case and in [10] for the complex case.
1.1 Notation and Conventions
For positive quantities f, g, the notation \(f\sim g\) is used to indicate asymptotic equivalence up to multiplicative constants, i.e. that there exist constants \(c,C > 0\), such that \(c \le f/g \le C\). When c, C may be taken to be both equal to one in some specified limit, we write \(f\approx g\). Analogously, \(f \ll g, \, f \lesssim g\) are used to indicate that \(f/g \rightarrow 0, \, f/g \le C\), respectively. In addition, we make use of standard asymptotic notation, according to \(f = O(g), \, f = o(g)\). By \({\textbf{D}}\subset {\textbf{C}}\) we denote the open unit disk, and for any \(z=x+\textrm{i}y \in {\textbf{C}}\) we use the notation \(d^2 z:=dx dy\).
2 Main Results
We consider \(N\times N\) non-Hermitian matrices X satisfying the following assumption.
Assumption 1
Let X be an \(N\times N\) matrix with real or complex independent identically distributed (i.i.d.) entries \(X_{ij} {\mathop {=}\limits ^{d}} N^{-1/2}\chi \). The random variable \(\chi \) is such that \({\textbf{E}}\chi =0\), \({\textbf{E}}|\chi |^2=1\); additionally, in the complex case we also assume that \({\textbf{E}}\chi ^2 = 0\). Furthermore, we assume that for all \(p \in {\textbf{N}}\), there exists a constant \(C_p > 0\) such that \({\textbf{E}}|\chi |^p \le C_p\).
The main result of this paper is to prove the asymptotic of the DSFF for a large class of models satisfying Assumption 1, up to some intermediate time \(|\tau |\le N^{2/7}\).
Theorem 1
Let X be a real or complex i.i.d. matrix satisfying Assumption 1. For \(s,t \in {\textbf{R}}\), and \(\tau = t+is\) let \(K_{{\textbf{F}}}(\tau ,{\overline{\tau }})=K_{{\textbf{F}}}(t,s)\) be defined as in (1). Then for \(0 \le |\tau |\le N^{2/7}\) we have
where
with \(\kappa _4:= {\textbf{E}}|\chi |^4 -(1+2/\beta )\) denoting the fourth cumulant of the entries of X, and the angle \(\varphi =\varphi (t,s)\) defined so that
Here \(\beta \) is a parameter such that \(\beta =1\) in the real case and \(\beta =2\) in the complex case.
We remark that for \(|\tau |\lesssim 1\) the connected component of the DSFF in (6) depends on \(\kappa _4\), i.e. it is sensitive to the fourth moment of the distribution of the entries of X. This shows that the DSFF for fairly short times deviates from the Ginibre ensemble (when \(\kappa _4=0\)) given in [35, Eq. (4)].
Next, we show that the expression in (6) substantially simplifies for \(|\tau |\gg 1\). In particular, in this regime there is no dependence on the fourth cumulant \(\kappa _4\), but there is still a substancial difference between the complex and the real case.
Corollary 1
Let X be a real or complex i.i.d. matrix satisfying Assumption 1. For \(s,t \in {\textbf{R}}\), and \(\tau = t+is\) let \(K_{{\textbf{F}}}(\tau ,{\overline{\tau }})=K_{{\textbf{F}}}(t,s)\) be defined as in (1). Then for \(1\ll |\tau |\le N^{2/7}\) we have
where \(\beta \) is a parameter such that \(\beta =1\) in the real case and \(\beta =2\) in the complex case.
We remark that in the regime \(1\ll |\tau |\le N^{2/7}\) only the first term in (8) matters, i.e. in this regime we have \(K_{{\textbf{F}}}(\tau ,{\overline{\tau }})=4 \frac{J_1(|\tau |)^2}{|\tau |^2}\). We kept both terms in (8) because we conjecture that this equality holds up to \(|\tau |\ll \sqrt{N}\), and for \(N^{2/5}\ll |\tau |\ll \sqrt{N}\) the term with coefficient \(N^{-2}\) in (8) is the leading one. The first term (which dominates for \(|\tau |\ll N^{2/5}\)) comes from the the global density of the eigenvalues, which is model dependent, whilst the second term (which dominates for \(N^{2/5}\ll |\tau |\ll \sqrt{N}\)) is expected to be universal, i.e. depends only on the symmetry class of the matrix X. Furthermore, note that \(K_{{\textbf{C}}}(\tau ,{\overline{\tau }})\) is rotationally symmetric, whilst \(K_{{\textbf{R}}}(\tau ,{\overline{\tau }})\) is not, as a consequence of the symmetry of the spectrum with respect to the real axis. In particular, we note that in the time regime \(1\ll |\tau |\ll \sqrt{N}\), the expression for the DSFF obtained in (8) agrees with [35, Eq. (4)] in the complex case; this follows by considering the Taylor expansion of \(x\mapsto e^{-x}\) around \(x = 0\), which yields
Additionally, in the real case, for \(N^{2/5}\ll |\tau |\ll \sqrt{N}\) (i.e. we only consider the connected component) we have \(K_{{\textbf{R}}}(\tau ,{\overline{\tau }})=2K_{{\textbf{C}}}(\tau ,{\overline{\tau }})\) for \(\varphi =0\), which follows from (8) by \(J_1(2s)/s\rightarrow 1\) as \(s\rightarrow 0\), and \(K_{{\textbf{R}}}(\tau ,{\overline{\tau }})=K_{{\textbf{C}}}(\tau ,{\overline{\tau }})\) for \(\varphi \in (0,\pi /2]\), confirming numerical predictions from [35, Appendix A]. We point out that in [35, Appendix A] the authors notice a different behavior of \(K_{{\textbf{R}}}(\tau ,{\overline{\tau }})\) when \(\theta =\pi /2\) as well, however this phenomenon is not visible on the time scales \(|\tau |\ll \sqrt{N}\) we consider here, since this different behaviour is caused by the degeneracy of the spectrum due to the \(\sim \sqrt{N}\) real eigenvalues, which would be visible only at scales \(|\tau |\gtrsim \sqrt{N}\). On the other hand, we are able to detect the transition of \(K_{{\textbf{R}}}(\tau ,{\overline{\tau }})\) as \(\varphi \rightarrow 0\) since this effect is caused by the 2-fold degeneracy of \(\sim N\) eigenvalues (i.e. each complex eigenvalue is counted twice).
Remark 1
In Theorem 1 (and in Corollary 1) we computed only the expectation of the DSFF; however, our method, relying on [7, 10], also allows to compute higher moments
We refrain from doing this here as it is out of the scope of the current paper.
We conclude this section pointing out that the methods used in the current paper allow us to rigorously prove (8) only up to the intermediate time \(|\tau |\le N^{2/7}\); however, we expect (8) and our proof method in Sect. 3, to be correct for times \(\tau \) much smaller (in absolute value) than the Heisenberg time, i.e. up to \(|\tau |\ll \tau _{\textrm{Hei}}\sim \sqrt{N}\) (this is also hinted at by the numerics in Fig. 1).
3 Asymptotic of the DSFF: Proof of Theorem 1
We start by rewriting the DSFF as a linear statistic of the eigenvalues of X for a specific test function. For this purpose we introduce the function
for \(\tau = s+it\), and \(s,t \in {\textbf{R}}\). We can thus write the averaged DSFF as follows
with \({\textbf{E}}\) and \(\textbf{Var}\) denoting the expectation and the variance with respect to the random matrix X. From now on, for concreteness, we focus on the proof in the complex case. The computations in the real case are similar and rely on [7, Theorem 2.2] rather than [10, Theorem 2.2]; we present the main differences in Sect. 3.1 below.
Define
Then, by [10, Theorem 2.2] (together with [10, Corollary 2.4] for the effective convergence of momentsFootnote 2), for any sufficiently smooth test function f we haveFootnote 3 (recall that \(\kappa _4\) denotes the fourth cumulant of the entries)
for some small fixed \(c>0\).
For \(\tau \) as prescribed above, \(f_{\tau , {\overline{\tau }}}\) defined in (9) satisfies the assumptions of the above CLT, so in particular it satisfies (11) with \(\Vert \Delta f_{\tau ,{\overline{\tau }}}\Vert _2\lesssim |\tau |^2\). We now compute the explicit terms in the rhs. of (11) when \(f=f_{\tau ,{\overline{\tau }}}\). For this purpose, we recall the definition of Bessel functions of the first kind.
Definition 1
For \(n\in {\textbf{Z}}, z\in {\textbf{C}}\), we define the n-th Bessel function of the first kind by
Next, we will use several important properties of Bessel functions (see [1, Sect. 9]), which we gather below for the reader’s convenience.
Fact 1
For \(k,l \in {\textbf{N}}\), \(n\in {\textbf{Z}}\), and \(z, \omega , u \in {\textbf{C}}\), we have
-
(i)
\(J_n\) may equivalently be defined by the following series
$$\begin{aligned}J_n(z):=\sum _{m = 0}^{\infty }\frac{(-1)^m}{m!\Gamma (m+n+1)}\left( \frac{z}{2} \right) ^{2m + n};\end{aligned}$$ -
(ii)
\(J_{-n}(z) = (-1)^n J_n(z)\);
-
(iii)
For \(|z| \gg |k^2-\frac{1}{4}|\), \(J_k(z) = \sqrt{\frac{2}{\pi z}}\cos \left( z-\frac{k\pi }{2}-\frac{\pi }{4} \right) \)(1+o(1));
-
(iv)
\(\sum _{k \in {\textbf{Z}}} J_k(\omega )J_k(u) e^{-ik\theta } = J_0\left( \sqrt{\omega ^2+u^2-2\omega u \cos \theta } \right) \), for \(\theta \in (-\pi , \pi ]\);
-
(v)
\(\left( \frac{1}{z} \frac{d}{dz} \right) ^l \left( z^k J_k(z) \right) = z^{k-l}J_{k-l}(z)\).
By relying on the above, we proceed to derive expressions for the desired quantities in (10); the proof of this lemma is postponed at the end of this section.
Lemma 1
For \(s,t \in {\textbf{R}}\), and \(\tau = t+is\), there exists \(c>0\) such that
We are now ready to conclude Theorem 1.
Proof of Theorem 1 (complex case)
The asymptotic in (6) in the complex case (\(\beta =2\)) immediately follows from Lemma 1. In particular, the threshold \(|\tau |\le N^{2/7}\) comes from the fact that for \(1\ll |\tau |\ll N^{2/5}\), by standard asymptotics of \(J_1(|\tau |)\) for \(|\tau |\gg 1\), we have
and that the leading term \(|\tau |^{-3}\) is smaller than the error \(|\tau |^4/N^{2+c}\) as long as \(|\tau |\le N^{2/7}\).
Then, in order to conclude the asymptotic in Corollary 1 from Theorem 1, i.e. to identify the leading term of (6) for \(|\tau |\gg 1\), we will use the following additional technical lemma, whose proof is presented at the end of this section.
Lemma 2
For \(x > 0\) we have \(\sum _{k \in {\textbf{Z}}}|k| J_k\left( x \right) ^2 \lesssim x\).
Proof of Corollary 1
Upon squaring the result obtained for the expectation in (12) and using (iii) of Fact 1, we readily obtain that \(\left| {\textbf{E}}\sum _{i} f_{\tau ,{\overline{\tau }}}(\sigma _i)\right| ^2 \sim 4 N^2J_1(|\tau |)^2/|\tau |^2\). In addition, by Lemma 2 we also have that for \(|\tau | \gg 1\), the leading terms in the expression for the variance in (12) is \(|\tau |^2/4\). This yields the desired result, upon recalling (10). \(\square \)
We now conclude this section with the proof of Lemmas 1–2.
Proof of Lemma 1
We start with the computation of the expectation in the first line of (11). Recall the definition of \(f_{\tau , {\overline{\tau }}}(z)\) from (9), then using the parametrizations \(z=r(\cos \theta +i\sin \theta )\), we obtain
By standard double-angle identities, we note that we may write
for a unique \(\varphi \in (-\pi , \pi ]\), s.t. \(\sin \varphi = t/\sqrt{t^2+s^2},\, \cos \varphi = s/\sqrt{t^2+s^2}\). This implies that the inner integral in (13) can be written as
where in the second equality we used that, by periodicity, the integral over \((-\pi +\varphi ,\pi +\varphi ]\) is equal to the one over \((-\pi ,\pi ]\). Plugging (15) into (13), and using the series expansion from (i) of Fact 1, we obtain
By a similar argument, we compute the third integral in the first line of (11)
Using again (13) to compute the \(\theta \)-integral, we obtain
Combining (16) and (17), and using that \(\Delta f_{\tau ,{\overline{\tau }}}=-|\tau |^2f_{\tau ,{\overline{\tau }}}\), yield the desired result for the expectation term in (12).
Next, we consider the terms in the variance in (11). We start from the term consisting of the square of the \(L^2({\textbf{D}})\)-norm of \(\nabla f\), which is given by
where we used that \(\nabla f_{\tau ,{\overline{\tau }}}=\textrm{i}(t, s) f_{\tau ,{\overline{\tau }}}\). For the second term in (11), choosing \(\varphi \) as in (14), we have
where in the last step we used (ii) of Fact 1 and the expansion of \(J_k\) in (i) of Fact 1. We thus obtain
Using computations analogous to the ones used to obtain (16)–(17), we get
where the last equality follows from (iv) of Fact 1, upon choosing \(\theta = \pi /2\).
Finally, combining (18)–(21), we obtain the desired expression for the variance in (12). \(\square \)
Proof of Lemma 2
By the Cauchy-Schwarz inequality, together with the fact that \(\sum _{k \in {\textbf{Z}}}J_k(x)^2 = J_0(0) = 1\) (see e.g. (v) of Fact 1 for \(\theta = 0\) and \(\omega =u\)), we obtain
Next, by differentiating both sides of the expression in (iv) of Fact 1 with respect to \(\theta \), and relying on the differentiation rule for Bessel functions of the first kind in (v) of Fact 1, we obtain
Hence, in the limit \(\theta \rightarrow 0\), using that \(J_1(z)/z \rightarrow 1/2\) for \(z\rightarrow 0\), the relation in (23) yields
which together with (22) gives the desired result. \(\square \)
We conclude this section with the computations in the real case.
3.1 DSFF in the Real Case
By [7, Theorem 2.2] we have (recall that \(\kappa _4\) denotes the fourth cumulant of the entries)
for some small fixed \(c>0\), with
Note that the variance of linear eigenvalue statistics depends on the symmetrization of the test function with respect to the real axis; this reflects the fact that for matrices X with real entries the spectrum is symmetric around the real axis.
We now consider \(f=f_{\tau ,{\overline{\tau }}}\), with \(f_{\tau ,{\overline{\tau }}}\) from (9). Note that for this choice of f we have
We omit the computations of the expectation as they are completely analogous to (16)–(17). Next, we compute the first term in the variance (24)
Then, using that for any \(a\in {\textbf{R}}\) we have
by (25), we conclude
Noticing that \(\int _0^u xJ_0(x)\, dx= u J_1(u)\) from (i) of Fact 1, this concludes the computations of the first term in the variance in (24).
We now proceed with the second term in (24). Similarly to (15) and (19), we compute
where we defined \(\varphi _{\pm }\) so that
as done in (14). We thus finally obtain
as a direct consequence of the fact that \(\sin \varphi _+ = \sin \varphi _-\), whilst \(\cos \varphi _+ = -\cos \varphi _-\). This concludes the proof of Theorem 1 in the real case as well. Finally, in order to conclude Corollary 1, we notice that also in the real case, squaring \(e(\tau ,{\overline{\tau }})\) in(7) and using (iii) of Fact 1, we readily obtain \(\left| {\textbf{E}}\sum _{i} f_{\tau ,{\overline{\tau }}}(\sigma _i)\right| ^2 \sim 4 N^2J_1(|\tau |)^2/|\tau |^2\); the estimate of the variance is completely analogous to the complex case and so omitted.
Notes
Not to be confused with the Dissipative Spectral Form Factor (abbreviated to DSFF), which is considered in this paper and was introduced in [35].
We remark that in [10, Corollary 2.4] the dependence on \(\Vert \Delta f \Vert _2\) is not explicitly written, but it can be deduced by inspection of the proof.
Here \(\Vert \cdot \Vert _2\) denotes the usual \(L^2\)-norm. Furthermore, for h defined on the boundary of the unit disk \(\partial {\textbf{D}}\), we define its Fourier transform by
$$\begin{aligned} {\widehat{h}}(k):= \frac{1}{2\pi }\int _0^{2\pi } h(e^{i\theta }) e^{-i\theta k}d\theta , \qquad \quad k \in {\textbf{Z}}. \end{aligned}$$
References
Abramowitz, M., Stegun, I.A, Romer, R.H.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables (1988)
Borodin, A., Sinclair, C.D.: The Ginibre ensemble of real random matrices and its scaling limits. Commun. Math. Phys. 291, 177–224 (2009)
Brézin, E., Hikami, S.: Spectral form factor in a random matrix theory. Phys. Rev. E 55(4), 4067 (1997)
Byun, S,-S., Forrester, P.J.: Progress on the study of the Ginibre ensembles I: GinUE. arXiv preprint arXiv:2211.16223 (2022)
Byun, S.-S., Forrester, P.J:. Progress on the study of the Ginibre ensembles II: GinOE and GinSE. arXiv preprint arXiv:2301.05022 (2023)
Chou, T., Mallick, Ke., Zia, R.K.P.: Non-equilibrium statistical mechanics: from a paradigmatic model to biological transport. Rep. Progress Phys. 74(11), 116601 (2011)
Cipolloni, G., Erdős, L., Schröder, D.: Fluctuation around the circular law for random matrices with real entries. Electron. J. Prob. 26, 1–61 (2021)
Cipolloni, G., Erdős, L., Schröder, D.: Optimal multi-resolvent local laws for Wigner matrices. Electron. J. Prob. 27, 1–38 (2022)
Cipolloni, G., Erdős, L., Schröder, D.: Thermalisation for Wigner matrices. J. Funct. Anal. 282(8), 109394 (2022)
Cipolloni, G., Erdős, L., Schröder, D.: Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices. Commun. Pure Appl. Math. 76(5), 946–1034 (2023)
Cipolloni, G., Erdős, L., Schröder, Dd.: On the spectral form factor for random matrices. Commun. Math. Phys. 8, 1–36 (2023)
Cipolloni, G., Kudler-Flam, J.: Entanglement entropy of non-Hermitian eigenstates and the Ginibre ensemble. Phys. Rev. Lett. 130(1), 010401 (2023)
Cipolloni, G., Kudler-Flam, J.: Non-Hermitian hamiltonians violate the eigenstate thermalization hypothesis. arXiv preprint arXiv:2303.03448 (2023)
Cotler, J.S., Gur-Ari, G., Hanada, M., Polchinski, J., Saad, P., Shenker, S.H., Stanford, D., Streicher, A., Tezuka, M.: Black holes and random matrices. J. High Energy Phys. 2017(5), 1–54 (2017)
Cummer, S.A., Christensen, J., Alù, A.: Controlling sound with acoustic metamaterials. Nat. Rev. Mater. 1(3), 1–13 (2016)
Deng, H., Haug, H., Yamamoto, Y.: Exciton-polariton Bose–Einstein condensation. Rev. Modern Phys. 82(2), 1489 (2010)
El-Ganainy, R., Makris, K.G., Khajavikhan, M., Musslimani, Z.H., Rotter, S., Christodoulides, D.N.: Non-Hermitian physics and PT symmetry. Nat. Phys. 14(1), 11–19 (2018)
Feng, L., El-Ganainy, R., Ge, L.: Non-Hermitian photonics based on parity-time symmetry. Nat. Photon. 11(12), 752–762 (2017)
Forrester, P.J.: Differential identities for the structure function of some random matrix ensembles. J. Stat. Phys. 183(2), 33 (2021)
Forrester, P.J.: Quantifying Dip–Ramp–Plateau for the Laguerre unitary ensemble structure function. Commun. Math. Phys. 387(1), 215–235 (2021)
Forrester, P.J., Kieburg, M., Li, S.-H., Zhang, J.: Dip-ramp-plateau for Dyson Brownian motion from the identity on \( U (N) \). arXiv preprint arXiv:2206.14950 (2022)
Forrester, P.J., Nagao, T.: Eigenvalue statistics of the real Ginibre ensemble. Phys. Rev. Lett. 99(5), 050603 (2007)
García-García, A.M., Jia, Y., Rosa, D., Verbaarschot, J.J.M., et al.: Dominance of replica off-diagonal configurations and phase transitions in a P T symmetric Sachdev–Ye–Kitaev model. Phys. Rev. Lett. 128(8), 081601 (2022)
García-García, A.M., Jia, Y., Verbaarschot, J.J.M., et al.: Universality and Thouless energy in the supersymmetric Sachdev–Ye–Kitaev model. Phys. Rev. D 97(10), 106003 (2018)
García-García, A.M., Sá, L., Verbaarschot, J.J.M.: Universality and its limits in non-Hermitian many-body quantum chaos using the Sachdev–Ye–Kitaev model. Phys. Rev. D 107(6), 066007 (2023)
García-García, A.M., Verbaarschot, J.J.M.: Analytical spectral density of the Sachdev–Ye–Kitaev model at finite N. Phys. Rev. D 96(6), 066012 (2017)
Ghosh, S., Gupta, S., Kulkarni, M.: Spectral properties of disordered interacting non-Hermitian systems. Phys. Rev. B 106(13), 134202 (2022)
Ginibre, J.: Statistical ensembles of complex, quaternion, and real matrices. J. Math. Phys. 6(3), 440–449 (1965)
Grobe, R., Haake, F.: Universality of cubic-level repulsion for dissipative quantum chaos. Phys. Rev. Lett. 62(25), 2893 (1989)
Grobe, R., Haake, F., Sommers, H.-J.: Quantum distinction of regular and chaotic dissipative motion. Phys. Rev. Lett. 61(17), 1899 (1988)
Hamazaki, R., Kawabata, K., Kura, N., Ueda, M.: Universality classes of non-Hermitian random matrices. Phys. Rev. Res. 2(2), 023286 (2020)
Jia, Y., Verbaarschot, J.J.M.: Spectral fluctuations in the Sachdev–Ye–Kitaev model. J. High Energy Phys. 2020(7), 1–59 (2020)
Kawabata, K., Numasawa, T., Ryu, S.: Entanglement phase transition induced by the non-Hermitian skin effect. Phys. Rev. X 13(2), 021007 (2023)
Leviandier, L., Lombardi, M., Jost, R., Pique, J.P.: Fourier transform: a tool to measure statistical level properties in very complex spectra. Phys. Rev. Lett. 56(23), 2449 (1986)
Li, J., Prosen, T., Chan, A.: Spectral statistics of non-Hermitian matrices and dissipative quantum chaos. Phys. Rev. Lett. 127(17), 170602 (2021)
Ma, G., Sheng, P.: Acoustic metamaterials: from local resonances to broad horizons. Sci. Adv. 2(2), e1501595 (2016)
Marchetti, M.C., Joanny, J.-F., Ramaswamy, S., Liverpool, T.B., Prost, J., Rao, M., Simha, R.A.: Hydrodynamics of soft active matter. Rev. Modern Phys. 85(3), 1143 (2013)
Matsoukas-Roubeas, A.S., Prosen, T., Campo, A.D.: Quantum chaos and coherence: random parametric quantum channels. arXiv preprint arXiv:2305.19326 (2023)
Matsoukas-Roubeas, A.S., Roccati, F., Cornelius, J., Zhenyu, X., Chenu, A., Campo, A.: Non-Hermitian Hamiltonian deformations in quantum mechanics. J. High Energy Phys. 2023(1), 1–31 (2023)
May, R.M.: Will a large complex system be stable? Nature 238, 413–414 (1972)
Mehta, M.L.: Random Matrices. Elsevier, Amsterdam (2004)
Müller, M., Diehl, S., Pupillo, G., Zoller, P.: Engineered open systems and quantum simulations with atoms and ions. In: Advances in Atomic, Molecular, and Optical Physics, vol. 61, pp.
Okuyama, K.: Spectral form factor and semi-circle law in the time direction. J. High Energy Phys. 2019(2), 1–16 (2019)
Ritsch, H., Domokos, P., Brennecke, F., Esslinger, T.: Cold atoms in cavity-generated dynamical optical potentials. Rev. Modern Phys. 85(2), 553 (2013)
Saad, P., Shenker, S.H., Stanford, D.: A semiclassical ramp in SYK and in gravity. arXiv preprint arXiv:1806.06840 (2018)
Sieberer, L.M., Buchhold, M., Diehl, S.: Keldysh field theory for driven open quantum systems. Rep. Progress Phys. 79(9), 096001 (2016)
Song, F., Yao, S., Wang, Z.: Non-Hermitian skin effect and chiral damping in open quantum systems. Phys. Rev. Lett. 123(17), 170401 (2019)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Antti Knowles.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Cipolloni, G., Grometto, N. The Dissipative Spectral Form Factor for I.I.D. Matrices. J Stat Phys 191, 21 (2024). https://doi.org/10.1007/s10955-024-03237-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10955-024-03237-4