Abstract
Recently, the concept of half-wormholes is introduced to give a resolution to the factorization puzzle in holography and help understand better the relation between ensemble average theories and gravity in the bulk. Half-wormholes are proposed to be the contributions to the gravitational path integral that correspond to fluctuations of each individual theory around the average of the whole ensemble of theories. In this paper, we further explore the extent to which the half-wormhole interpretation is applicable. In particular, to further demonstrate that the half-wormhole interpretation is not merely a feature of a specific theory but is a general feature of ensemble average theories, we examine various models, including different enriched 0-dimensional SYK-like models, the 1-dimensional Brownian SYK model and its generalization. To further demonstrate that the half-wormhole interpretation applies to more general probability distributions apart from the zero-mean Gaussian distribution, we consider random couplings with other non-trivial moments. Specifically, introducing a non-trivial mean value to the random coupling renders the spectral correlators to exhibit both disconnected saddles and connected saddles. The inclusion of higher-order moments leads to new “multi-linked half-wormhole” saddles. We also clarify the distinctions between the unlinked half-wormhole and the linked half-wormhole in our modified Brownian SYK model.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The AdS/CFT correspondence [1,2,3] provides a non-perturb-ative definition of quantum gravity. An important lesson from the recently progress in understanding the black hole information paradox is that a summation of different configurations in the semi-classical gravitational path integral is crucial to probe some quantum mechanical properties of the system, such as the Page curve [4,5,6,7], the late-time behavior of the spectral form factor [8, 9], and correlation functions [10, 11], see also a recent review [12]. However, the inclusion of spacetime wormholes leads to an apparent factorization puzzle [13]; a holographic computation of the correlation functions of field theory partition functions living on different boundaries gives non-factorized results, i.e. \(\langle Z_{L}Z_{R}\rangle \ne \langle Z_L\rangle \times \langle Z_R\rangle \), which is in tension with the general expectation on the field theory side. This revitalizes the hypothetical connection between wormholes and ensemble averages [14,15,16,17], and motivates an appealing conjectural duality between a bulk gravitational theory and (the average of) an ensemble of theories on the boundary [8, 18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64], whose prototype is the by-now well known duality between the two-dimensional Jackiw-Teitelboim (JT) gravity [65, 66] and the Schwarzian sector of the Sachdev-Ye-Kitaev (SYK) model [67,68,69], or more directly the random matrix theories [8, 18]. These results suggest that solving the factorization problem could shed light on the microscopic structure of quantum gravity that are not universal and hence cannot be captured by the ensemble-averaged quantities [70, 71]. In [72], the factorization problem is carefully studied in a toy model introduced in [52], where it is shown that the (approximate) factorization can be restored if other half-wormhole contributions are included. In the dual field theory analysis, these half-wormhole contributions are identified with non-self-averaging saddle points in each individual theory of the ensemble. This idea is explicitly realized in a 0-dimensional “one-time” SYK model in [73], followed by further analyses [74,75,76,77,78,79,80,81]. An explicit connection between the gravity computation in [72] and the field theory computation in [73] is proposed in [59].
In this paper, we explore the extent to which the half-wormhole interpretation is applicable.
In Sect. 2, we first review the computation in [73] and provided another way to derive the same result. Our discussion is based on a detailed Lefschetz thimble analysis, which is independent of the argument given in [73]. The Lefschetz thimble analysis gives a systematic way to justify how to identify the correct set of saddle points to be included in the path integral. This serves as a very non-trivial cross-check of the result in [73] and a preparation for the later parts of this paper.
In Sect. 3, we consider a 0d SYK model whose random couplings are drawn from a probability distribution with a non-zero mean. The motivation to study this model is the following. The 0d SYK model studied in [73] is simple enough to explicitly demonstrate the contribution from half-wormholes, but some crucial properties of the more familiar 1d SYK model are missing in this 0d toy model. The most notable consequence of this is that the averaged partition function \(\langle z\rangle \) of the 0d toy model in [73] is zero, so there is no disconnected contribution to any spectral correlation functions at all. This is quite different from the original 1d SYK model and hence raises a question if the conclusion obtained in the 0d model in [73] applies to the more familiar 1d SYK and other similar models. Our analysis in this section is a first step towards a thorough study of this question and a resolution of the factorization in that case. Our analysis shows that in the presence of a non-zero mean value of the random couplings, the structure of half-wormhole-like contributions is much richer, and in particular new types of non-self-averaging contributions become important and should be considered in the saddle point analysis of the spectral correlation functions.
In Sect. 4, we consider other generalized 0d SYK models whose random couplings are drawn from more general probability distributions other than the zero-mean Gaussian distribution. The motivation for this study is the following. First of all, a significant feature in the analysis of [73, 77] is the Gaussian property of the randomness in the ensemble average model. On the other hand, the gravitational analysis [72] of a topological model [52] reveals that other connected half-wormhole configurations, which contain more than two half-wormholes linking together (see discussion around Figure 18 and in section 6.1 of [72]), play a crucial role in understanding the factorization problem in the gravity theory. This raises the question of whether there are similar multi-boundary linked-half-wormhole contributions in the boundary ensemble average theories. This motivates us to consider random couplings drawn from continuous distributions with non-trivial higher moments, which is a natural origin of non-trivial interconnections between the different factors of the spectral correlation functions. Furthermore, the results of the gravitational analysis in the toy model [52] suggest that a good boundary dual description could involve an ensemble average of different theories with Poisson distributions. A related analysis in [82] shows that random variables drawn from Poisson distributions have a natural connection to gravitational systems. Ensemble-averaged theories involving an average over uniform distributions on the moduli space [36,37,38,39,40, 46, 62, 63] are shown to have clear connection to gravitational system. These motivate us to consider 0d SYK models with random couplings drawn from discrete distributions. Our computation shows that in theories with non-trivial higher moments, there are very rich structures of the non-self-averaging contributions to the spectral correlation functions, and the inclusion of higher moments yields new “multi-linked half-wormhole” saddles in addition to the original two-linked half-wormhole saddle. All these new saddle points should be taken into account in order to solve the factorization puzzle in these models. In addition, we find that when the random couplings are Poisson distributed, the multi-linked half-wormhole contributions are all suppressed in the large-N limit; contributions with disk and cylinder topology are good enough to solve the factorization puzzle.
In Sect. 5, we study the 1d Brownian SYK model and its generalizations. Since the SYK model is originally defined in 1d, the computation in this section clearly helps further explore the important question of whether the half-wormhole interpretation of the non-self-averaging contributions to various spectral correlators applies to models in 1-dimensional spacetime. By an explicit computation, we confirm that there is indeed a similar decomposition of the partition function into the averaged contribution and a punctured-disk-like non-self-averaging contribution. This agrees with our expectation obtained from the computation in the 0d model in Sect. 3. The results in this section also provide direct evidence of the wide applicability of the half-wormhole type interpretation of the non-self-average contributions in general ensemble average theories.
2 SYK at one time point: the cylinder model
In this section, we study the half-wormhole contributions in the toy 0d SYK model that can be considered as the usual 0+1d SYK model at a single instant of time. We first briefly review the previous results in [73] and also in [74, 77]; in Sect. 2.3.2 we provide a detailed study of the various saddle points via a Lefschetz-thimble analysis, which is also a useful preparation for the analysis of the other models in this paper.
2.1 SYK model with one time point
As in [73], we are interested in the following Grassmann integralFootnote 1
where \(\psi _{i_1\dots i_q}=\psi _{i_1}\psi _{i_2}\dots \psi _{i_q}\) and \(\psi _i\) are Grassmann variables. The number z can be understood as the partition function of \(0+0\) dimensional analogue of SYK model. The random couplings \(J_{i_1\dots i_q}\) is drawn from a Gaussian distribution
We sometimes use the collective indies A, B to represent a series of q indices to simplify our notation
Integrating out the Grassmann variables directly givesFootnote 2:
where \(p=N/q\) and the expression (6) is the hyperPfaffian \(\text {Pf}(J)\) of the \(J_{i_1\ldots i_q}\) hypermatrix.
Before diving into the technical details, let us first outline the computation we will perform in this section. The ensemble theory (1) could be regarded as an effective description of a dual gravitational system. However, explicit computation uncovers a “factorization” problem of the spectral correlators (correlation functions of the partition functions), namely
where we have trivially rewritten \(z^2\) to \(z_L z_R\) to emphasis that the two copies of z are independent to each other, and \(f_L\), \(f_R\) are some functions. This leads to a puzzle: the correlation functions of the partition functions of two different theories are expected to factorize into two factors each only depends on one of the z’s, but this is in contradiction with the above equation. In this section, we review a proposal [73] to resolve the puzzle and provide an independent computation by the Lefschetz-thimble method to support the results there. The main conclusion is that in the path integral of the spectral correlators, apart from the wormhole saddle that gives \(\langle z_L z_R\rangle \), one should also include the contribution from another saddle point, which is referred to as the half-wormhole saddle, into the path integral. Then we have approximately
where the “half-wormhole saddle” is denoted by \(\Phi (0)\) in the rest of this section.
2.2 The ensemble averaged quantities
We first consider the ensemble averaged quantities \(\langle z^2\rangle \) which is defined as
where we have assumed that q and N are even, and L, R labels the two copies of z on the left-hand-side. In the following, we would like to compute this quantity by saddle-point analysis. In the 0+1d SYK model, the analog of this quantity is the “spectral form factor” (SFF) \(\langle Z(\beta +iT)Z(\beta -iT)\rangle \). It is known that both a “disk” saddle point and a “wormhole saddle” contribute to the SFF; the disk saddle is responsible for the decay of the SFF at the early time and the wormhole saddle is responsible for the linear increasing period called the “ramp” of the SFF in a relatively later time regime.
However, in the 0d SYK model there is no time. Moreover, since \(\langle z\rangle =0\), only a wormhole saddle is possible to exist. In the following, we will confirm the existence of the wormhole saddle by comparing the exact evaluation of \(\langle z^2\rangle \) and its saddle point approximation. The exact values of (11) can be computed by introducing a G variable
where in the last step we expand to the next-to-leading order of 1/N.
Next we derive the same result (15) from a saddle point approximation. We start by rewriting the \(\delta \) function in (121314)
and then deform the contour of the integration along which the \(g,\sigma \) variables, defined by
are real. This modification ensures the convergence of the integral. The resulting effective action is
The saddle point equations of this path integral are
All of them give the same on-shell action
To match with the exact result (15) we need to add in contributions from fluctuations around each of these saddle points. For simplicity let us take \(q=4\) and focus on one of the saddle points
Expanding the exponent around this saddle
to the 4th order
where we have added \(\epsilon \equiv 1\) to keep track of the expansion, then expanding \(\exp (S_2)\) to the second order of \(\epsilon \) and finally evaluating the integral (18) to this order directly gives the contribution from this saddle up to 2-loop as
Adding contributions from all the 4 saddles we arrive at
that agrees with (15) at 2-loop order. These saddles are named as the wormhole saddles because in the 0+1d SYK model, they have a gravity dual which can be viewed as a wormhole.Footnote 3
At first glance, it may be surprising that we need to add all complex saddle points (which are not along the integral contour along the real axis) to obtain the correct result. However this can be explained and justified with the method of Lefschetz thimbles which we discuss in Sect. 2.3.2 with some technical details reviewed in Appendix A. The method of Lefschetz thimbles is a way to determine which saddle points should be considered when there are multiple saddle points in the integral domain. In short, for each saddle point we can associate a steepest descent path which is called the Lefschetz thimbles and if the thimble intersects with the chosen integral contour then the corresponding saddle point should be included.
2.3 The non-averaged quantities
Now we try to compute the non-averaged quantity (10) in the saddle point approximation. Following [73], we rewrite \(z^2\) as an integral
where the coupling dependent piece \(\Phi \) is
This expression (28) is derived by inserting the trivial identity \(1=\int \text {d}G \delta (G-1/N \sum _i \psi _i^L\psi _i^R)\) and rotating the contour. In this form, the ensemble average of \(\langle z^2\rangle \) is entirely attributed to the ensemble average of \(\Phi (\sigma )\)
since the \(\Psi (\sigma )\) does not depend on the random couplings.
The integral region of (28) can be divided into two subregions depending on whether \(\Phi (\sigma )\) is self-averaging or not. By self-averaging we mean the fluctuations around the average value is small in the large N limit
If the wormhole saddle points (2021) are in this subregion, we then know that the result of the integral (28) is self-averaging, namely it can be approximated as \( \langle z^2\rangle \approx \langle z^2\rangle _{\text {wormhole-saddle}}\). In this simple model, both \(\langle \Phi (\sigma )\rangle \) and \(\langle \Phi (\sigma )^2\rangle \) can be computed exactly. The \(\langle \Phi (\sigma )\rangle \) can be directly obtained as
To compute \(\langle \Phi (\sigma )^2\rangle \), we introduce \(\sigma _{AB}\) and \(g_{AB}\) analogous to (17)
where we label the L, R in one of the \(\Phi (\sigma )\) (30) by \(L=1,R=2\), and \(L',R'\) in the other of the \(\Phi (\sigma )\) by \(L'=3,R'=4\). Then the combination (AB) is one of \(\{(13),(14),(23),(24)\}\). Each \(g_{AB}\) is paired with a \(\sigma _{AB}\) whose subscript has the same meaning as in \(g_{AB}\). Then similar to the computation we used to get (15), \(\langle \Phi (\sigma )^2\rangle \) can be done exactly
It can be organized into a polynomial in \(\sigma \)
where the phase factor is trivial whenever q divides N. Apparently when \(q>2\) and \(\sigma ^{2q}N^{q-2}\gg 1\) we have
and the result is self-averaging.
In this simple example, we can perform an exact computation to get the results. However, in other models there is not a similar exact computation so it is important to understand how to reach the same conclusion by saddle approximation.
2.3.1 The saddle points analysis: \(\sigma \ne 0\), the trivial saddle
The saddle point equations of the integral (3536) are
where \(f\equiv \sigma _{14}\sigma _{23}-\sigma _{13}\sigma _{24}+\sigma ^2\). The above set of equations has a trivial solution \(\sigma _{AB}=g_{AB}=0\), which we call the “trivial saddle”. The trivial saddle point value of \(\langle \Phi (\sigma )^2\rangle \) is
and the 1-loop fluctuations around the trivial saddle points is \(1/N^4\) suppressed. Therefore the contribution up to 1-loop level is
which says the trivial saddle always agrees with the first term in (3738). If this saddle dominates the integral the quantity \(z^2\) is self-averaging.
2.3.2 The saddle points analysis: \(\sigma \ne 0\), the wormhole saddle
However, there could be other non-trivial solutions to the saddle point equation (40) with \(\sigma _{AB}\ne 0\). From the equations of motion we obtain
where
It is easy to check that solutions of the above equation satisfy \(x=ye^{\frac{2m\pi \text {i}}{q-2}}\), and for each choice of m there are \(2q^2\) solutions of \(g_{ab}\).
For simplicity, we again focus on the \(q=4\) case, where there are only two classes of solutions \(x=\pm y\).
\(\bullet \) When \(x=y\) we find 32 non-trivial saddles. The on-shell action of them are all the same
where the factor \(N^4\) comes from the measure of (3536). However, the one-loop fluctuations around these non-trivial saddle points amount to one-eighth of the fluctuations from the trivial saddle, with a value of \(1/(8N^4)\).Although when the 1-loop effects are taken into account, we observe that the trivial saddles give larger contributions. But the contributions from the non-trivial saddles are also significant. Therefore naively we should add the contributions from all these saddle point, however, if we were adding the contributions from both the trivial and non-trivial saddles the answer would exceed the exact value (3738). This suggests that only a subset of these saddle point contributions should be included in the integral expression of \(\langle \Phi (\sigma )^2\rangle \). Indeed, through a straightforward Lefschetz-thimble analysis, as reviewed in Appendix A (see also [83]), we conclude that only trivial saddles are needed. The detailed reasoning is as follows.
To start with, we choose the real part of the action (3536) as a Morse function
where we have set \(q=4\) for simplicity and rescaled \(\sigma \) to 1 since we are interested in the case \(\sigma \ne 0\). The \(g_{abi}\) and \(\sigma _{abj}\) are the real and imaginary parts of the field \(g_{ab}\) and \(\sigma _{ab}\)
The downward flow equations of the Morse function are
The end point of each anti-thimble is one of the saddles, labeled by c, at \(g_{abj}^{c}\) and \(\sigma _{abj}^{c}\), which leads to the following boundary conditions of the flow equation
We can then solve the flow equation and obtain the Lefschetz anti-thimbles going through each saddle point. If they intersect with the original integration contour the saddle point contributes to the integral.
For example in Fig. 1 we illustrate examples of the anti-thimbles of the saddle point
which do not intersect with the original integration contour, namely the real axis. This means the contribution of this saddle should not be included in the integral.
Examples of anti-thimbles of another saddle point
is shown in Fig. 2. Again they do not intersect with the real axis so the contribution from this saddle should not be included either.
We can run this analysis over all the nontrivial saddles, and we find none of them contribute to the integral.
\(\bullet \) When \(x=-y\), there are also nontrivial saddle points, and a similar analysis of Lefschetz-thimbles demonstrates that they do not contribute to the integral either.
Actually, there is a quicker way to arrive at the same conclusion. We find that the on-shell actions corresponding to these saddle points are
However, these saddle points should be saddle points of the entire multi-dimensional integral including the integral over \(\sigma \). As a result, this saddle should also satisfy the fall-off condition of the \(\sigma \) integral, otherwise, they will not contribute to the \(\sigma \) integral. Therefore we should only consider the decaying saddle points namely
We plot the region where these non-trivial saddle dominates over the trivial saddle in Fig. 3, and it is easy to observe from the figure that the wormhole saddle (2021) of \(\langle z^2\rangle \), located at \(|\sigma |=1\), is in the region where the trivial saddle dominates.
Another family of solutions to the equation of motion (40) has \(x=0\) or \(y=0\). On shell actions on these saddles behave as
whose dominant regions are similar to Fig. 3 and they are sub-leading compared with the trivial saddle.
Since the trivial saddle is on the original integration contour, putting all the results together we confirm that the path integral over \(g_{ab}\) and \(\sigma _{ab}\) can be approximated entirely by the trivial saddle point. Due to (42), we conclude that the wormhole saddle (2021) is in the self-averaging region.
2.3.3 The saddle points analysis: \(\sigma = 0\), the half-wormhole saddles
The analysis in the above sub-sections concludes that the leading saddle point contributions to the \(\Phi (\sigma )\) function are all proportional to positive powers of \(\sigma \). However, this raises a puzzle: all these results vanish at \(\sigma =0\), but from the exact result in (3738) we know
at \(\sigma =0\). This indicates that there must be other saddle points, which are missed in the previous analysis due to being subleading at generic \(\sigma \ne 0\), becomes important at \(\sigma =0\). This is possible because in the large-N limit the \(\Psi (\sigma )\) function is peaked at the origin, so other saddle points could give a large contribution near the origin. In this section, we thus focus on the \(\sigma \sim 0\) region of the integration and look for new saddle point contributions.
In practice, we can apply the same analysis as in the previous section, except that now we evaluate at \(\sigma \sim 0\). As expected, the trivial saddle gives
At \(\sigma =0\), the subleading non-trivial saddles (57) and (58) discussed in the previous section now have different on-shell values
respectively. So (58) dominates. Adding them up and including the 1-loop correction, the result agrees precisely with the exact solution (59)
We can continue to carry out the sigma integral to get the contribution from this saddle to the \(z^2\), since the saddle is supported at \(\sigma =0\), this is easily done the result is simply \(\Phi (0)\).
A general lesson we can learn from this computation is that the half-wormhole saddle points always exist. But most of the time they are hidden behind the leading saddles. Nevertheless, they become important whenever the leading saddle decreases faster, e.g. the \(\sigma \sim 0\) region in this case.
With both the wormhole and the half-wormhole saddle contributions, we can now approximate
The wormhole saddle is holographically dual to bulk worm-hole-like geometry, and the half-wormhole saddles are conjectured to be dual to half-wormhole-like configurations that are typically sub-dominant. This result indicates one way to resolve the factorization problem; when we consider bulk gravitational path integral, the factorization problem is caused by only considering the wormhole-like connected geometry, if other sub-dominant contributions, such as the half-wormhole geometries are also taken into account, the factorization property will be restored (so that the result is \(z^2\equiv z_L z_R\) that factorizes).
3 Sourced one-time SYK: a disk-and-cylinder model
An important difference between the 0d-SYK model and the 1d-SYK model is that the averaged partition function \(\langle z\rangle \) vanishes in the 0d model. From the bulk gravity point of view, this corresponds to the exclusion of the gravity configuration where a surface with the disk topology fills a single boundary in the bulk. as shown in [72]. JT gravity admits a limit where the bulk geometry can always be approximated by disks and cylinders. Therefore to understand if the discussion in the previous model is also applicable when disk topology is also allowed in the bulk, we consider a sourced 0d-SYK model where the random coupling is drawn from a Gaussian distribution \({{\mathcal {N}}}(u,t^2)\) with non-zero meanFootnote 4
Since a non-zero expectation value of the couplings is equivalent to turning on a source term of the random couplings, we call this model “sourced” 0d-SYK model.
The ensemble averaged quantities can be computed directly by averaging over the couplings and integrating out the fermions
Our main results about this model are
-
1.
The self-averaging part of z does not persist; they are subdominant compared with the non-self-averaging contribution in the large N limit.
-
2.
The half-wormhole contribution \(\Phi \) can be improved so that the approximation \(z^2\approx \langle z^2\rangle +\Phi \) is still good in this model.
3.1 The averaged quantities
Let us first compute the averaged quantities. We again proceed by looking for proper collective variables and establish a saddle point analysis that’s similar to the model discussed in the previous section.
The ensemble average of z is simply the ensemble average of the hyperPfaffian (6)
where p is not summed over, \(pq=N\) and the factor m[p] is defined as
This result can alternatively be derived by introducing a collective variable
followed by a similar computation as we show in (15). Introducing the following collective variables
we can compute the averaged quantity \(\langle z^2\rangle \)
where m[p] is defined in (68) and the coefficient c[k] is
The details of the derivations of \(\langle z\rangle \) and \(\langle z^2\rangle \) are presented in Appendix B. The averaged partition function (68) is proportional to \(u^p\) because in each term of the hyperPfaffian there are no repeated \(J_{A_i}\) so the result does not depend on t; rather, each random coupling has to “contract” with itself thus producing p copies of the factor of u. The polynomial expression of the averaged squared partition function (73) can be also understood from summing over the Feynman diagrams as shown in Fig. 5. It turns out that each diagram in Fig. 5 correpond to a term \(z_2^{(k)}\) in (73), i.e.
Diagramatically, the \(z_2^{(k)}\) come as follows. We first contract k pairs of \(J_{A_i}\) (in the diagram the contraction is denoted by a blue line connecting \(z_L\) and \(z_R\)) which gives the factor \(t^{2k}\) and c[k] is the total number of different contractions. Each of the rest \(J_A\) becomes \(\mu \) in the average and they contribute a factor \(\left( m[{p-k}]\,u^{p-k}\right) ^2\) (in the diagram the contraction is denoted by a red line connecting \(z_L\) or \(z_R\) with a red dot.).
In the large-N limit, we can find the dominant terms by computing the ratioFootnote 5
here for simplicity we have chosen \(q=4\). First we notice that \(r_k\) decreases with respect to k, namely
Therefore if \(r_1 \ll 1\) i.e.
then the dominant term will be
In this case, we clearly have
Since the geometric meaning of \(z^{(0)}_2\) is two disconnected disks, the above result means in this regime, this “two-disk” saddle is dominant, which results in a self-averaging z due to (82). This behavior resembles the early-time characteristics of the SFF of the 0 + 1 SYK model.
On the other hand, if \(r_p\gg 1\) i.e.
the dominant term will be \(z_2^{(p)}\). Geometrically, this contribution corresponds to connected wormhole configurations. Therefore in this regime the wormhole saddle dominates, and z is non-self-averaging.
In the rest regime of the parameter \(\frac{u}{t }\)
neither the disk nor the wormhole saddle point dominates. It suggests that there might be a new saddle point that contributes the most. It turns out when our toy model has a well-defined large N limit, the parameters u and t lie in this regime.
We now examine this result more carefully by a saddle point analysis. As we show in the Appendix B, by introducing the \(G,\Sigma \) variable we can rewrite \(\langle z\rangle \) as
We again rotate the integral contour as in the model with zero mean
which leads to the action:
with
The saddle point equations are
Comparing (87) with (18) it is easy to find that to reproduce the exact result (76) we have to add the contributions from all the q/2 saddles. For the choices (64) and (88) we have
which exactly lies in the regime (84). To find the new saddle explicitly, we start from a path integral expression of \(\langle z^2\rangle \)
whose detailed derivation is in Appendix B. The saddle point equations are
where \(f_\pm =\Sigma _{LR}\pm \text {i}\sqrt{\Sigma _L\Sigma _R}\). For simplicity, we choose \(\tau ^2=\mu =1\). There are always two types of trivial solutions
with on-shell action respectively
Note that the ratio of these two contributions is
so when \(q\ge 2\) the wormhole contributes more. We find another solution where only one of \((f_+)^N\) and \((f_-)^N\) survives in the large N limit. Assuming \(f^N_-\rightarrow 0,N\rightarrow \infty \), (94) simplifies to
which leads to
For the case of \(q=4\), (9293) and (102) can be solved explicitly and gives the following contribution to the integral (91)
We also checked that these solutions indeed satisfies \(\lim _{N\rightarrow \infty } f_-^N = 0\). There are similar saddles that satisfy \(f_+^N=0\). Therefore we conclude that in the large N limit the dominate saddles are the non-trivial ones.
3.2 The non-self-averaged contributions to z
Contrary to the model with zero means, we expect a non-vanishing “disk” saddle point in this \(u\ne 0\) model, which gives \(\langle z\rangle \ne 0\), in the path integral representation of z. Moreover, we will show that there are new saddle point contributions to z as shown in Fig. 4, analogous to the half-wormhole contribution to \(z^2\) in the previous model with zero means, which we call the “punctured disk” (or “single half-wormhole”) saddles.
With the help of the collective variables (72), we insert the identity
into the non-averaged partition function z
To make the integral well defined, we again rotate the contour by \(\Sigma _h=\text {i}e^{-2\text {i}\pi /q}\sigma _h,G_h=e^{2\text {i}\pi /q}g_h\), then z can be cast into the form
where the first factor is similar to (29)
and the second factor is
The function \(\Psi (\sigma _h)\) is again peaked at \(\sigma _h=0\), so a naive generalization of the proposal of the existence of the half-wormhole saddle suggests the approximation
where
To examine this approximation, we define the error function:
and compute variance of the error
The quantities \(\langle z^2\rangle , \langle \Theta ^2_1\rangle ,\langle z\Theta _1\rangle \) can be computed by summing over the Feynman diagrams in Fig. 5.
Recalling that \(\langle z^2\rangle =\sum _{k=0}^{p} z_2^{(k)}\) which is given by summing over all the diagrams, \(z_2^{(0)}=\langle z \rangle ^2\) which is given by the last diagram in Fig. 5, \(z_2^{(p)}=\langle z^2\rangle _{\mu =0}\) which is given by the first diagram in Fig. 5 and \(\langle \Theta _1^2\rangle =\langle \Theta _1 z\rangle =z_2^{(p)}\), we find
Based on our analysis in the previous section, this error is negligible only when the ratio of u to t is very small and z exhibits self-averaging, or when the ratio is very large and z is mostly non-self-averaging. However, within the regime defined by inequality (84), the error becomes non-negligible, rendering the naive half-wormhole proposal (109) invalid. The underlying reason for this failure is the emergence of a new saddle point when we tune the parameter u.
One possibility of what is happening in this parameter regime (84) is that a specific Feynman diagram in Fig. 5, denoted as \(z_2^{(k)}\), will dominate the summation (76) in the large N limit. If this is the case, it is possible to find a dominant non-self-averaging contribution \(\Theta ^{(k)}\), which we call the “punctured disk” to z such that
where the value of k is determined by the value of the parameter u/t.
The non-trivial point is that if this is true, then the approximation of \(z^2\) is in the precise form of the aforementioned proposal
One proposal for the \(\Theta ^{(k)}\) is
For examples
Then from the Feynman diagrams in Fig. 5 it is not hard to find that
This result ensures that (115) is true.
We will present a further analysis from another approach to this model somewhere else.
3.3 The non-self-averaged contributions to \(z^2\)
In the previous section, we considered the non-self-averaged contribution \(\Theta ^{(k)}\) to the partition function z. In this section, we study the non-self-averaged contribution to \(z^2\) and try to understand its relationship with the \(z_2^{(k)}\).
The result (114) immediately gives
In the previous section, we have shown that this relation leads to (115). Using (115), we can further rewrite this relation into
This provides an approximation to \(z^2\)
where
We thus observe that once the punctured disk contribution \(\Theta ^{(k)}\) is known, all the higher boundary non-self-averaging contributions can be recursively determined. Additionally, a geometric interpretation of (124) is that the sum of connected two-boundary contributions, including the wormhole contribution \(z_2^{(k)}\) and the linked half-wormhole \(\Lambda ^{(k)}\) is the same as the sum of all non-self-averaging disconnected contributions, either one disk plus one punctured disk or two punctured disks. This can be shown in Fig. 6.
One might wonder whether \(\Lambda ^{(k)}\) has a similar expression as the half-wormhole contribution in the model with zero mean that was introduced in [73] and recast in (63). In Appendix C, we demonstrate that this is not the case.
4 Modified SYK at one time point: beyond Gaussian approximation
The models considered in the literature so far only involve random couplings drawn from Gaussian distributions. On the other hand, SYK-like field theories with other kinds of random couplings are expected to have similar chaotic behaviors as the Gaussian SYK model does. So it is possible that in the low energy limit they also admit effective gravitational descriptions. In particular, explicit examples of field theories with random variables subjecting to other distributions includes the Poisson random variable appearing in the theory of [52, 73, 82]. Additionally, it is conjectured [22] that any 2-dimensional dilaton gravity theory possesses a dual random matrix description that is generally non-Gaussian. It is therefore interesting to consider random couplings beyond Gaussian distributions and check if there are other non-self-averaging contributions to these models. Separating the physical observables into the self-averaging and non-self-averaging parts is generically applicable in ensemble average theories, so we expect that there always exist half-wormhole-like non-self-averaging saddles for various different observables. We will demonstrate how it works in this section and further understand the relation between the different non-self-averaging quantities.
4.1 SYK at one time point: \(\langle J_a\rangle =0,\quad \langle J_a^4\rangle _c\ne 0\)
In this section, we consider theories whose random couplings have vanishing mean values and non-trivial quadrupole moments, namely
Note that the introduction of non-vanishing \(\langle J_A^4\rangle -3 \langle J_A^2\rangle ^2\) could potentially alter the outcome of \(\langle z^4\rangle \), but not \(\langle z^2\rangle \). As a result, we expect that the original half-wormhole proposal should be modified. The additional contribution to \(\langle z^4\rangle \) can be attributed to a new wormhole saddle that has four boundaries. In addition, it is reasonable to believe that when \(v<t\), this new wormhole saddle is negligible and the original half-wormhole saddle remains valid. We will confirm this through a direct calculation in the following section.
It is easy to compute the correlation functions of the partition function of this model
The quadupole moments of \(J_A\) in (125) contributes nontrivially to \(\langle z^4 \rangle \)
which can be expanded
where c[k] defined in (7475) is the number of ways to choose k q-subsets out of N and n[N] is the multiplicities coming from the different Wick contractions. In particular, we get
which reduces to the result in [73]. To find the dominant term in the large N limit let us define the ratio
where we have again taken \(q=4\) for simplicity. We find that \({\tilde{r}}_k\) initially decreases and then increases as k increases. For \(p>1\) we have \({\tilde{r}}_p>{\tilde{r}}_1\), so \({\tilde{r}}_p\) is the maximal value. Therefore If \({\tilde{r}}_p\ll 1\) i.e.
then the dominant term will be \(z_4^{(0)}\) and the contributions from non-trivial higher moments, e.g. the nontrivial quadrupole moments proportional to v, can be ignored. Then the situation will be similar to the previous models with \(v=0\). Namely, the half-wormhole saddle of \(z^2\), when \(\langle J_A\rangle =0\), can be written as
such that
and
in the leading order of N as before.
Contrarily, if \({\tilde{r}}_p\gg 1\), \(z_4^{(p)}\) can be the leading contribution, whose corresponding Feynman diagram is shown in Fig. 7.
Therefore, there will be no half-wormhole saddle anymore since the (two-mouth) wormhole saddles are not dominant.
One can consider more general distribution with all the cumulants to be non-vanishing. The analysis and the results will be similar. If v is very large then it is the four-way wormhole saddle that dominate. It is therefore possible to introduce a new ”four-linked-half-wormhole” saddle as we show in next section. However, if v is relatively small it is still the two-sided wormhole (with some legs as shown in Fig. 5) that dominates.
4.2 SYK at one time point: \(\langle J_a\rangle =\langle J_a^2\rangle =\langle J_a^3\rangle =0\)
In this section, we consider a special model where we could focus on the multi-linked half-wormhole saddles. We will show that the multi-linked half-wormhole saddles are not simply related to the two-linked-half-wormhole saddle. In this model the random coupling only have non-vanishing quadrupole moment
Such a distribution could also be considered as an extremal limit of other distributions.
4.2.1 Averaged quantities: \(\langle z^4\rangle \) and \(\langle z^8\rangle \)
Due to our special choice (136) the first non-vanishing averaged quantity is
Then we can introduce the \(G,\Sigma \) trick
The computation of \(\langle z^8\rangle \) is more involved
where
In the following we use the collective index \(A'\) to label the 4-element string. Introducing antisymmetric tensors \(G_{abcd}=G_{A'}\) and \(\Sigma _{abcd}=\Sigma _{A'}\) as the collective field variables such that (139) can be expressed as
where in the last line we have taken the large N limit. In this limit we have
4.2.2 The un-averaged \(z^4\)
Following similar ideas as in the previous sections, we insert a suitable identity to the expression of \(z^4\)
Rotating the contour as before we can rewrite \(z^4\) as
where \(\Psi (\sigma )\) is same as (29) and the second factor is
Therefore we expect the half-wormhole saddle is given by
which satisfies
We find clearly that the contribution from this four-linked-wormhole saddle is not equal to the square of (two-linked) half-wormhole saddle. Even though we derive it in the 0d-SYK toy model, it should exist in other SYK-like theory as long as the \(G,\Sigma \) trick can be applied.
4.3 SYK at one time point: Poisson distribution
Up to now we have only considered random couplings with continuous probability distributions. It is also interesting to consider random couplings that take discrete values such as the Poisson distribution. Ensemble theory or theories with random coupling with Poisson distribution have been studied in [52, 59, 82]. A property of Poisson distribution is that all the cumulants are equal; for a model with a 2q-point interaction among 2N fermions, we define
so that a large-N limit is well defined. Starting with action (1) we can compute the first few moments
For a generic k, we find
Formally we can define
We can compute these moments by integrating out the fermions directly
However, the ensemble average of \(\text {PF}(J_A)^n\) in the last expression is very complicated. We therefore look at the large N behavior of \(\langle z^n\rangle \), which can be done by introducing G
and \(\Sigma \) as before and do a saddle point approximation. The \(G,\Sigma \) expression of \(\langle z\rangle \) is similar to (85B.54)
The saddle point equations are
whose solutions are
The structure of these solutions is identical to that in [73] and the models discussed previously in this paper, so we should add up all these q saddle points contributionsFootnote 6
where \(p=N/q\) as before. Adding the 1-loop factor \(1/\sqrt{q}\) we end up with the large-N behavior
Other moments can be computed similarly. For example, to compute \(\langle z^2\rangle \), we introduce three collective variables
such that
Imposing these relations with the help of a set of Lagrangian multiplier fields \(\Sigma _1\), \(\Sigma _2\) and \(\Sigma _{12}\), the \(\langle z^2\rangle \) can be expressed as
where we have defined
The saddle point equations are
This set of equations has multiple solutions. For example, the wormhole saddle is
and the disconnected disk saddle is
The ratio of these two saddles is
In the large N or \(p=N/q\) limit, the wormhole saddle can dominate only when \(\lambda < \frac{q!^2 2^{2q} }{e q (2q)!}\left( \frac{q}{2}\right) ^{\frac{1}{2p}}\). For \(q=4\) and \(N\rightarrow \infty \), this requires \(\lambda < 0.336\), which is consistent with what we learned from our previous results. Indeed, for the wormhole or other connected saddle points to be dominant we would like to have non-negligible higher moments of the random coupling. For the Poisson distribution this means, apart from the factors of N to be compensated by powers of fermion contractions, \(\lambda \) should be much larger than \(\lambda ^2\).
Then a natural question is that in this limit how about other n-boundary wormhole saddles? In the following let us focus on a particular n-linked-wormhole saddles. When \(n=2k\) is even, the situation is similar to the one in Sect. 125:
where the collective variable G is
The expression (186) is of the same form as (160) so the saddle point approximation is
When \(n=2k+1\) is odd, the situation is similar to the one of \(n=1\):
where the collective variable G is obviously defined as
therefore the saddle point approximation is
These higher n-linked-wormholes should be compared with the corresponding powers of the disk solution, and furthermore since \(\langle z^2\rangle _{2-\text {WH}+1\text {loop}}\gg 1\) and \(\langle z^2\rangle _{\text {Disk}+1\text {loop}}\gg 1\) due to large-N so
and
we conclude that all these multiple-linked wormholes with \(k>0\) are suppressed. In other words, the ensemble of z can be approximated by a Gaussian when the ratio (184) is of order 1.
5 The modified Brownian SYK model
Given the above results in 0 dimension, it is interesting to check if similar stories hold in high-dimensional models. Therefore in this section, we look for the wormhole and half-wormholes saddles in 1d Brownian SYK models [9].
We first briefly review the Brownian SYK model. The Brownian SYK model is characterized by couplings that are only correlated at the same instant of time. Therefore after integrating over the coupling we end up with a local effective action. The quantity that is analogous to the partition function but with some information of real time evolution is
The random couplings of this model satisfy
where the one-dimensional Majorana fermions is normalized by
In the rest of this section we look for the linked half-wormhole contributions in a generalization of this model.Footnote 7 In particular, we consider a generalized Brownian SYK model with non-vanishing mean value of the random couplings:
and in this section we use the convention \(\{\psi _i,\psi _j\}=2\,h \delta _{i,j}\). A comparable model has been examined in [79] with a focus on the half-wormhole saddle. However, the key difference lies in the fact that in [79], the random coupling is expressed as a Grassmann number. In Appendix D, we also revisit this modified the (Brownian) SYK model for comparison purposes with our models.
Taking the disorder averaging of the coupling we obtain the averaged theory
We can convert the effective Hamiltonian of the averaged theory as a spin system
When \(\mu =0\), the averaged partition function is given by
When \(\mu \ne 0\), we have to evaluate the trace
However there is no simple expression for \(\langle z\rangle \). We first consider the simplest case with \(q=1\)
The idea is to transfer the Majorana fermions to Dirac fermions which have a well-defined rules of integrals. Assuming the total number of fermions is even \(N=2K\) then we introduce K Dirac fermions as
which obey
The integration measure changes as
Thus the integral can be evaluated as
Now we let us consider the case of \(q=2\)
which looks like a Gaussian but we need to replace \(\psi _i\) with \(c_i\):
To get an idea how to compute this integral let us consider a simple case of \(N=4\):
We have four different states \(|\Psi _i\rangle \):
So the operator \(\sum _{i<j}\psi _i\psi _j\) can be written as a \(4\times 4\) matrix:
with 4 eigenvalues \(\{\pm \text {i}2 h, \pm \text {i}2\sqrt{2}h\}\) so path integral over \(c_i\) and \(c_i^\dagger \) can be computed as
For example of \(N=6\), the corresponding matrix is
which can be divided into two blocks. We get the eigenvalues by directly diagonalizing the matrix:
Similarly for general N, we can write effective Hamiltonian defined in (219220) as
with
This Hamiltonian is quadratic and famously can be diagonalized by the Bogoliubov and Valatin’s method [85, 86]. Explicitly we can do the transformation by taking an operator basis for the Hamiltonian
where we have
In the simple case with \(N=4\) the matrix can be expressed as
we can directly take the diagonalization and get the eigenvalues
For simplicity we take the notation as
then the resulting effective Hamiltonian becomes
To evaluate the trace we still take the states as (223) therefore we have
so we can recover the result (225). For general N the operator (228) can be expressed as a block matrix
with
The characteristic equation is
So the eigenvalues are
then the Hamiltonian becomes
and the trace will have the form
Now let us consider the function
We would like to argue that in the large N limit, we have the approximation
as we find for the 0-dimensional theory. Note that unlike the situation of the 0-dimensional theory, \(\{X_n\}\) do not form a basis for \(X_2^n\). For example, let us take \(N=6\), there is indeed the identity
but we find that
Let us focus on the second last term in \(X_2^n\)
where \(c_1\) is computed as follows. We need to pick 2 \(X_2\) out of n and contract them, and the \((n-2)\) \(X_2\)’s remain not contracted and gives \((n-1)!\) \(X_{2n-4}\). Notice that the subleading term is \(X_{2n-4}\) instead of \(X_{2n-2}\), since if we contract one fermion in \(X_2\) to get
there is going to be another contraction that gives
The two outcomes simply cancel with each other. The main conclusion of this computation is, given that \(X_{2n} \sim N^{2n}\), the subleading terms can be safely neglected and approximate \(X_{2n}\) by \(X_2^n\). So in the large N limit, we can use the \(G,\Sigma \) trick to compute the fermionic integral
where the function \(I_2\) is defined in (218). We can evaluate this expression and we expect the half-wormhole contributions to be similar as the 0-SYK model
Indeed we find that in the late time this is a good approximation. The detailed analysis is similar to the Brownian SYK model as we have shown in [84], but it is not particularly illuminating, so we omit them here.
6 Discussion
In this paper we examine the half-wormhole proposal in various simple SYK-like models. We show that the structure of half-wormhole-like non-self-averaging contributions in the 0-dimensional SYK type models depends on the distribution of the couplings. When the distribution of the random couplings admits a non-vanishing mean value, there is a new saddle point, which we call the “punctured disk”, to the un-averaged partition function z. When the mean value of the coupling is very large then only the disconnected saddles dominate therefore the correlation functions automatically factorize. On the contrary, when the mean value is not very large compared with the other moments, the wormhole saddles contribute significantly to the path integral. In this case the factorization of spectral correlators can be restored by adding various half-wormhole-like non-self-averaging saddles. Moreover, when the random couplings satisfy a general distribution with non-trivial higher moments, new half-wormhole saddles exist and should be included in the path integral. In models where the random couplings are drawn from discrete distributions, such as the Poisson distribution, we greatly modified the conventional approach of introducing collective variables and provide explicit proposals for the expression of half-wormhole-like contributions.Footnote 8 Additionally, we generalize the construction of half-wormhole saddles to the Brownian SYK model and confirm that non-self-averaging saddles also exist and help restore the factorization of the spectral correlators.
There are proposals in [72, 74, 77, 81] of the half-wormhole contributions to \(z^2\) in the original 1d SYK model. It would be interesting to generalize our punctured disk saddle to the SYK model.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical study and there is no experimental data.]
Notes
In this paper, repeated indices are summed if no further explanation.
Here we choose the measure of Grassmann integral to be \(\int \text {d}^N \psi \psi _{1\dots N}=\text {i}^{-N/2}\) and the prime on the sum means that in each term of the sum \(A_i \cup A_j=\emptyset \) due to the fact \(\psi ^2=0\).
More precisely, the gravity dual is the double-cone geometry.
In [81], a model with non-zero mean is studied, but in their model the mean value is not a real number but is constructed by a set of Grassmann variables.
Recall that \(p=N/q\).
Here we take the large-N limit by considering a series of multiples of 4, so that the normalization factor \(\text {i}^N\) can be dropped.
A discussion of the linked half-wormhole contributions can be found in the arXiv version [84] of this paper.
See [87] for further discussion.
Here the factor \(\prod _i \theta _i\) should be present.
Here we have assumed the large N limit, the exact treatment can be found in [73]
This is result is different from the one derived in [81]. It seems that they used a wrong formula for the fermion integral.
References
J.M. Maldacena, The Large N limit of superconformal field theories and supergravity. Adv. Theor. Math. Phys. 2, 231–252 (1998). https://doi.org/10.1023/A:1026654312961. arXiv:hep-th/9711200
E. Witten, Anti-de Sitter space and holography. Adv. Theor. Math. Phys. 2, 253–291 (1998). https://doi.org/10.4310/ATMP.1998.v2.n2.a2. arXiv:hep-th/9802150
S.S. Gubser, I.R. Klebanov, A.M. Polyakov, Gauge theory correlators from noncritical string theory. Phys. Lett. B 428, 105–114 (1998). https://doi.org/10.1016/S0370-2693(98)00377-3. arXiv:hep-th/9802109
G. Penington, Entanglement wedge reconstruction and the information paradox. JHEP 09, 002 (2020). https://doi.org/10.1007/JHEP09(2020)002. arXiv:1905.08255 [hep-th]
A. Almheiri, N. Engelhardt, D. Marolf, H. Maxfield, The entropy of bulk quantum fields and the entanglement wedge of an evaporating black hole. JHEP 12, 063 (2019). https://doi.org/10.1007/JHEP12(2019)063. arXiv:1905.08762 [hep-th]
A. Almheiri, R. Mahajan, J. Maldacena, Y. Zhao, The page curve of Hawking radiation from semiclassical geometry. JHEP 03, 149 (2020). https://doi.org/10.1007/JHEP03(2020)149. arXiv:1908.10996 [hep-th]
G. Penington, S.H. Shenker, D. Stanford, Z. Yang, Replica wormholes and the black hole interior. arXiv:1911.11977 [hep-th]
P. Saad, S.H. Shenker, D. Stanford, JT gravity as a matrix integral. arXiv:1903.11115 [hep-th]
P. Saad, S.H. Shenker, D. Stanford, A semiclassical ramp in SYK and in gravity. arXiv:1806.06840 [hep-th]
P. Saad, Late time correlation functions, baby universes, and ETH in JT Gravity. arXiv:1910.10311 [hep-th]
C. Yan, Crosscap contribution to late-time two-point correlators. arXiv:2203.14436 [hep-th]
R. Bousso, X. Dong, N. Engelhardt, T. Faulkner, T. Hartman, S.H. Shenker, D. Stanford, Snowmass white paper: quantum aspects of black holes and the emergence of spacetime. arXiv:2201.03096 [hep-th]
J.M. Maldacena, L. Maoz, Wormholes in AdS. JHEP 02, 053 (2004). https://doi.org/10.1088/1126-6708/2004/02/053. arXiv:hep-th/0401024
S.R. Coleman, Black holes as red herrings: topological fluctuations and the loss of quantum coherence. Nucl. Phys. B 307, 867–882 (1988). https://doi.org/10.1016/0550-3213(88)90110-1
S.B. Giddings, A. Strominger, Baby universes, third quantization and the cosmological constant. Nucl. Phys. B 321, 481–508 (1989). https://doi.org/10.1016/0550-3213(89)90353-2
S.B. Giddings, A. Strominger, Loss of incoherence and determination of coupling constants in quantum gravity. Nucl. Phys. B 307, 854–866 (1988). https://doi.org/10.1016/0550-3213(88)90109-5
J. Polchinski, A. Strominger, A possible resolution of the black hole information puzzle. Phys. Rev. D 50, 7403–7409 (1994). https://doi.org/10.1103/PhysRevD.50.7403. arXiv:hep-th/9407008
D. Stanford, E. Witten, JT gravity and the ensembles of random matrix theory. Adv. Theor. Math. Phys. 24(6), 1475–1680 (2020). https://doi.org/10.4310/ATMP.2020.v24.n6.a4. arXiv:1907.03363 [hep-th]
L.V. Iliesiu, On 2D gauge theories in Jackiw–Teitelboim gravity. arXiv:1909.05253 [hep-th]
D. Kapec, R. Mahajan, D. Stanford, Matrix ensembles with global symmetries and ’t Hooft anomalies from 2d gauge theory. JHEP 04, 186 (2020). https://doi.org/10.1007/JHEP04(2020)186. arXiv:1912.12285 [hep-th]
H. Maxfield, G.J. Turiaci, The path integral of 3D gravity near extremality; or, JT gravity with defects as a matrix integral. JHEP 01, 118 (2021). https://doi.org/10.1007/JHEP01(2021)118. arXiv:2006.11317 [hep-th]
E. Witten, Matrix models and deformations of JT gravity. Proc. R. Soc. Lond. A 476(2244), 20200582 (2020). https://doi.org/10.1098/rspa.2020.0582. arXiv:2006.13414 [hep-th]
I. Aref’eva, I. Volovich, Gas of baby universes in JT gravity and matrix models. Symmetry 12(6), 975 (2020). https://doi.org/10.3390/sym12060975. arXiv:1905.08207 [hep-th]
P. Betzios, O. Papadoulaki, Liouville theory and Matrix models: a Wheeler DeWitt perspective. JHEP 09, 125 (2020). https://doi.org/10.1007/JHEP09(2020)125. arXiv:2004.00002 [hep-th]
D. Anninos, B. Mühlmann, Notes on matrix models (matrix musings). J. Stat. Mech. 2008, 083109 (2020). https://doi.org/10.1088/1742-5468/aba499. arXiv:2004.01171 [hep-th]
M. Berkooz, V. Narovlansky, H. Raj, Complex Sachdev-Ye-Kitaev model in the double scaling limit. JHEP 02, 113 (2021). https://doi.org/10.1007/JHEP02(2021)113. arXiv:2006.13983 [hep-th]
T.G. Mertens, G.J. Turiaci, Liouville quantum gravity-holography, JT and matrices. JHEP 01, 073 (2021). https://doi.org/10.1007/JHEP01(2021)073. arXiv:2006.07072 [hep-th]
G.J. Turiaci, M. Usatyuk, W.W. Weng, Dilaton-gravity, deformations of the minimal string, and matrix models. https://doi.org/10.1088/1361-6382/ac25df. arXiv:2011.06038 [hep-th]
D. Anninos, B. Mühlmann, Matrix integrals & finite holography. JHEP 06, 120 (2021). https://doi.org/10.1007/JHEP06(2021)120. arXiv:2012.05224 [hep-th]
P. Gao, D.L. Jafferis, D.K. Kolchmeyer, An effective matrix model for dynamical end of the world branes in Jackiw–Teitelboim gravity. arXiv:2104.01184 [hep-th]
V. Godet, C. Marteau, From black holes to baby universes in CGHS gravity. JHEP 07, 138 (2021). https://doi.org/10.1007/JHEP07(2021)138. arXiv:2103.13422 [hep-th]
C.V. Johnson, F. Rosso, A. Svesko, Jackiw–Teitelboim supergravity as a double-cut matrix model. Phys. Rev. D 104(8), 086019 (2021). https://doi.org/10.1103/PhysRevD.104.086019. arXiv:2102.02227 [hep-th]
A. Blommaert, M. Usatyuk, Microstructure in matrix elements. arXiv:2108.02210 [hep-th]
K. Okuyama, K. Sakai, JT gravity, KdV equations and macroscopic loop operators. JHEP 01, 156 (2020). https://doi.org/10.1007/JHEP01(2020)156. arXiv:1911.01659 [hep-th]
S. Forste, H. Jockers, J. Kames-King, A. Kanargias, Deformations of JT gravity via topological gravity and applications. arXiv:2107.02773 [hep-th]
A. Maloney, E. Witten, Averaging over Narain moduli space. JHEP 10, 187 (2020). https://doi.org/10.1007/JHEP10(2020)187. arXiv:2006.04855 [hep-th]
N. Afkhami-Jeddi, H. Cohn, T. Hartman, A. Tajdini, Free partition functions and an averaged holographic duality. JHEP 01, 130 (2021). https://doi.org/10.1007/JHEP01(2021)130. arXiv:2006.04839 [hep-th]
J. Cotler, K. Jensen, AdS\(_{3}\) gravity and random CFT. JHEP 04, 033 (2021). https://doi.org/10.1007/JHEP04(2021)033. arXiv:2006.08648 [hep-th]
A. Pérez, R. Troncoso, Gravitational dual of averaged free CFT’s over the Narain lattice. JHEP 11, 015 (2020). https://doi.org/10.1007/JHEP11(2020)015. arXiv:2006.08216 [hep-th]
N. Benjamin, C.A. Keller, H. Ooguri, I.G. Zadeh, Narain to Narnia. Commun. Math. Phys. 390(1), 425–470 (2022). https://doi.org/10.1007/s00220-021-04211-x. arXiv:2103.15826 [hep-th]
J. Cotler, K. Jensen, AdS\(_3\) wormholes from a modular bootstrap. JHEP 11, 058 (2020). https://doi.org/10.1007/JHEP11(2020)058. arXiv:2007.15653 [hep-th]
M. Ashwinkumar, M. Dodelson, A. Kidambi, J.M. Leedom, M. Yamazaki, Chern–Simons invariants from ensemble averages. https://doi.org/10.1007/JHEP08(2021)044. arXiv:2104.14710 [hep-th]
N. Afkhami-Jeddi, A. Ashmore, C. Cordova, Calabi-Yau CFTs and random matrices. arXiv:2107.11461 [hep-th]
S. Collier, A. Maloney, Wormholes and spectral statistics in the Narain ensemble. arXiv:2106.12760 [hep-th]
N. Benjamin, S. Collier, A.L. Fitzpatrick, A. Maloney, E. Perlmutter, Harmonic analysis of 2d CFT partition functions. https://doi.org/10.1007/JHEP09(2021)174. arXiv:2107.10744 [hep-th]
J. Dong, T. Hartman, Y. Jiang, Averaging over moduli in deformed WZW models. https://doi.org/10.1007/JHEP09(2021)185. arXiv:2105.12594 [hep-th]
A. Dymarsky, A. Shapere, Comments on the holographic description of Narain theories. JHEP 10, 197 (2021). https://doi.org/10.1007/JHEP10(2021)197. arXiv:2012.15830 [hep-th]
V. Meruliya, S. Mukhi, P. Singh, Poincaré series, 3d gravity and averages of rational CFT. JHEP 04, 267 (2021). https://doi.org/10.1007/JHEP04(2021)267. arXiv:2102.03136 [hep-th]
R. Bousso, E. Wildenhain, Gravity/ensemble duality. Phys. Rev. D 102(6), 066005 (2020). https://doi.org/10.1103/PhysRevD.102.066005. arXiv:2006.16289 [hep-th]
O. Janssen, M. Mirbabayi, P. Zograf, Gravity as an ensemble and the moment problem. JHEP 06, 184 (2021). https://doi.org/10.1007/JHEP06(2021)184. arXiv:2103.12078 [hep-th]
J. Cotler, K. Jensen, Wormholes and black hole microstates in AdS/CFT. JHEP 09, 001 (2021). https://doi.org/10.1007/JHEP09(2021)001. arXiv:2104.00601 [hep-th]
D. Marolf, H. Maxfield, Transcending the ensemble: baby universes, spacetime wormholes, and the order and disorder of black hole information. JHEP 08, 044 (2020). https://doi.org/10.1007/JHEP08(2020)044. arXiv:2002.08950 [hep-th]
V. Balasubramanian, A. Kar, S.F. Ross, T. Ugajin, Spin structures and baby universes. JHEP 09, 192 (2020). https://doi.org/10.1007/JHEP09(2020)192. arXiv:2007.04333 [hep-th]
J.G. Gardiner, S. Megas, 2d TQFTs and baby universes. JHEP 10, 052 (2021). https://doi.org/10.1007/JHEP10(2021)052. arXiv:2011.06137 [hep-th]
A. Belin, J. de Boer, Random statistics of OPE coefficients and Euclidean wormholes. Class. Quantum Gravity 38(16), 164001 (2021). https://doi.org/10.1088/1361-6382/ac1082. arXiv:2006.05499 [hep-th]
A. Belin, J. De Boer, P. Nayak, J. Sonner, Charged Eigenstate thermalization, Euclidean wormholes and global symmetries in quantum gravity. arXiv:2012.07875 [hep-th]
A. Altland, D. Bagrets, P. Nayak, J. Sonner, M. Vielma, From operator statistics to wormholes. Phys. Rev. Res. 3(3), 033259 (2021). https://doi.org/10.1103/PhysRevResearch.3.033259. arXiv:2105.12129 [hep-th]
A. Belin, J. de Boer, P. Nayak, J. Sonner, Generalized Spectral Form Factors and the Statistics of Heavy Operators. arXiv:2111.06373 [hep-th]
C. Peng, J. Tian, J. Yu, Baby universes, ensemble averages and factorizations with matters. arXiv:2111.14856 [hep-th]
A. Banerjee, G.W. Moore, Comments on summing over bordisms in TQFT. arXiv:2201.00903 [hep-th]
C.V. Johnson, The microstate physics of JT gravity and supergravity. arXiv:2201.11942 [hep-th]
S. Collier, E. Perlmutter, Harnessing S-duality in \(\cal{N}=4\) SYM and supergravity as \(SL(2,{\mathbb{Z}})\)-averaged strings. arXiv:2201.05093 [hep-th]
J. Chandra, S. Collier, T. Hartman, A. Maloney, Semiclassical 3D gravity as an average of large-c CFTs. arXiv:2203.06511 [hep-th]
J.M. Schlenker, E. Witten, No ensemble averaging below the black hole threshold. arXiv:2202.01372 [hep-th]
R. Jackiw, Lower dimensional gravity. Nucl. Phys. B 252, 343–356 (1985). https://doi.org/10.1016/0550-3213(85)90448-1
C. Teitelboim, Gravitation and Hamiltonian structure in two space-time dimensions. Phys. Lett. B 126, 41–45 (1983). https://doi.org/10.1016/0370-2693(83)90012-6
S. Sachdev, J. Ye, Gapless spin fluid ground state in a random, quantum Heisenberg magnet. Phys. Rev. Lett. 70, 3339 (1993). https://doi.org/10.1103/PhysRevLett.70.3339. arXiv:cond-mat/9212030
A. Kitaev, A simple model of quantum holography. Talks at KITP http://online.kitp.ucsb.edu/online/entangled15/kitaev/ and http://online.kitp.ucsb.edu/online/entangled15/kitaev2
A. Kitaev, “Hidden correlations in the Hawking radiation and thermal noise.” Talk at KITP http://online.kitp.ucsb.edu/online/joint98/kitaev/
D. Stanford, More quantum noise from wormholes. arXiv:2008.08570 [hep-th]
A. Almheiri, H.W. Lin, The entanglement wedge of unknown couplings. arXiv:2111.06298 [hep-th]
P. Saad, S. Shenker, S. Yao, Comments on wormholes and factorization. arXiv:2107.13130 [hep-th]
P. Saad, S.H. Shenker, D. Stanford, S. Yao, Wormholes without averaging. arXiv:2103.16754 [hep-th]
B. Mukhametzhanov, Half-wormholes in SYK with one time point. arXiv:2105.08207 [hep-th]
A.M. García-García, V. Godet, Half-wormholes in nearly AdS\(_2\) holography. arXiv:2107.07720 [hep-th]
S. Choudhury, K. Shirish, Wormhole calculus without averaging from \(O(N)^{q-1}\) tensor model. arXiv:2106.14886 [hep-th]
B. Mukhametzhanov, Factorization and complex couplings in SYK and in Matrix Models. arXiv:2110.06221 [hep-th]
K. Okuyama, K. Sakai, FZZT branes in JT gravity and topological gravity. JHEP 09, 191 (2021). https://doi.org/10.1007/JHEP09(2021)191. arXiv:2108.03876 [hep-th]
K. Goto, Y. Kusuki, K. Tamaoka, T. Ugajin, Product of random states and spatial (half-)wormholes. JHEP 10, 205 (2021). https://doi.org/10.1007/JHEP10(2021)205. arXiv:2108.08308 [hep-th]
A. Blommaert, L.V. Iliesiu, J. Kruthoff, Gravity factorized. arXiv:2111.07863 [hep-th]
K. Goto, K. Suzuki, T. Ugajin, Factorizing wormholes in a partially disorder-averaged SYK Model. arXiv:2111.11705 [hep-th]
C. Peng, Ensemble averages, Poisson processes, and microstates. Phys. Rev. D 103(6), L061901 (2021). https://doi.org/10.1103/PhysRevD.103.L061901. arXiv:2010.11192 [hep-th]
E. Witten, Analytic continuation Of Chern–Simons theory. AMS/IP Stud. Adv. Math. 50, 347–446 (2011). arXiv:1001.2933 [hep-th]
C. Peng, J. Tian, Y. Yang, Half-wormholes and ensemble averages. arXiv:2205.01288 [hep-th]
N.N. Bogolyubov, On the theory of superfluidity. J. Phys. (USSR) 11, 23–32 (1947)
J.G. Valatin, Comments on the theory of superconductivity. Nuovo Cim. 7, 843–857 (1958). https://doi.org/10.1007/BF02745589
J. Tian, Y. Yang, More on half-wormholes and ensemble average. arXiv:2211.09398 [hep-th]
Acknowledgements
We thank many of the members of KITS for interesting related discussions. CP and YY are supported by NSFC NO. 12175237, the Fundamental Research Funds for the Central Universities and by funds from the University of Chinese Academy of Science (UCAS). JT is supported by the National Youth Fund No. 12105289 and funds from the UCAS program of special research associates.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Lefschetz thimbles
In this appendix, we review the method of Lefschetz thimble [83]. Suppose we would like to evaluate the integral
where the integration contour is \(\mathcal {M}_{{\mathbb {R}}}\). Then we complexify the manifold on which the integration is done to \(\mathcal {M}_{\mathbb {C}}\). We choose \(\Re (S)\) to be the Morse function, as we want to find the contours where S has a constant imaginary part. The saddle points of the integral are the critical points of the Morse function because of the Cauchy-Riemann equations. Around each critical point on \(\mathcal {M}_{{\mathbb {C}}}\) we introduce a set of local coordinates \(\{z_i\}\). The Morse flow is determined by the flow equations
where \(g^{i{\bar{j}}}\) is Kähler metric and the bar means complex conjugate. We find
which implies that the imaginary part of S is a constant along the flow. Each of the critical points is associated with a pair of flows, the thimble and the anti-thimble. The thimble is the “stable” direction such that the Morse function \(\Re (S)\) decays along the thimble and the integral of \(\exp (S)\) along the thimble converges. On the contrary, the anti-thimble is the “unstable” direction. Explicitly the boundary conditions for a particular critical point \(p_{\sigma }\) are
The main statement in [83] that we will use repeatedly is that the integral can be approximated by a weighted sum over integrals along the thimbles of each critical point
where i runs over all the critical points, \(\mathcal {J}_i\) is the Lefschetz thimble attaching to the \(i^{\text {th}}\) critical point, and the weight \(n_i\) is given by the intersection number between the anti-thimble and the original integration contour \(\mathcal {M}_{{{\mathbb {R}}}}\).
1.1 Appendix A.1: some examples
To illustrate how this works, we first go through some simple examples.
1.1.1 Appendix A.1.1: The Gaussian function
Let us consider a simple example with
The integral can be regarded as a zero-dimension theory with quadratic interaction and a complex source \(\sigma \). The only critical point is at \(x=\sigma =a+\text {i}b\). The flow equation is
Expressing \(x=x_1+\text {i}x_2\), we get the following equations
The general solution can be easily solved
where \(c_{1}\),\(c_{2}\) are two undetermined constants. The boundary conditions for the thimble is
while for the anti-thimble we have
where (a, b) is the critical point. Then with these boundary conditions we can get the equations for the thimble and the anti-thimble respectively
We plot the thimble and the anti-thimble in this case in Fig. 8, where for simplicity we let \(\sigma =1+\text {i}\).
We can also compare the saddle point solution with the exact result. The integral can evaluated as
While the saddle point solution gives
with the one-loop correction \(\sqrt{2\pi }\) the saddle point analysis recovers the exact result.
1.1.2 A.1.2: The Airy function
A slightly less trivial example is the Airy action
It is not hard to find that for real \(\lambda \) there are three “convergent” regions, namely \(\Re (S)<\infty \), on the complex x-plane:
In each convergent region, the Airy integrand is exponentially small. As we vary \(\lambda \) to complex values, we should deform the integration contour of x accordingly so that the integral remains converge. This gives an analytic continuation of \(Z_\lambda \). The two critical points are located at \(x=\pm 1\). The values of saddle points are
Since along the (anti-)thimbles, the imaginary part of S is a constant and
Therefore the two (anti-)thimbles associated with the two critical points will not intersect except for the case of \(\Re (\lambda )=0\). The thimble which connects critical points is called the Stoke ray. Using the Lefschetz thimbles \(\mathcal {J}_\pm \), we can rewrite the integral as
To solve the thimbles, let us take \(\lambda =1\), then the flow equations are
Expressing \(x=x_1+\text {i}x_2\), we obtain
We plot the anti-thimbles in Fig. 9
Therefore for \(\lambda =1\) both of the saddle points contribute. This result is expected since that the two critical points are already located on the real line.
The problem we met in the main text is better illustrated by the following toy model
The integral is convergent and can be expressed by the Airy function
We now try to compute the integral with saddle point approximation, where the saddle points are located at \(x=\pm \text {i}\). The saddle point value, plus the 1-loop correction, of the integral at these two saddle points, \({\tilde{Z}}_\pm \) are the same, and the sum of them is larger than the exact evaluation of the integral
This is exactly the situation we are encountering. In this toy model, it is easy to show that the anti-thimble associated with the saddle point \(x=-\text {i}\) does not intersect with the real axis, Fig. 10, so the saddle point \(x=-\text {i}\) does not contribute to the integral.
1.2 Appendix A.2: Multi-variable cases
Let us consider another example with two variables
The integral can be done directly to get
There are two saddle points
with saddle point contributions to the integral (on-shell action)
Matching this with the exact solution suggests that \(n_\pm =1\). Note that \(\sigma _\pm =\mp 1\) are already on the real line so corresponding anti-thimbles always intersect with the original contour. The flow equations are
Expressing \(\sigma =\sigma _1+\text {i}\sigma _2\) and \(g=g_1+\text {i}g_2\) we obtain the following differential equations
We find that indeed these two saddles should both be included. We plot the g-plane of the anti-thimbles in Fig. 11.
Note that this example is special case of (18) with \(q=2\).
1.3 \(\bullet \) Flow equations in real coordinates
Sometimes it more convenient to use the real form of the flow equations (A.2). We start with the relations
where
Then we evaluate the equation as
where we work in the flat space. Recall the Cauchy–Riemann equation we get
To illustrate it we consider a special case in the Airy function
In the complex plane its conjugate is
and we can define the components
The flow equation in complex coordinates becomes
which leads to the equations in real coordinates
On the other hand we can get the equations with the real part of S:
From the Eqs. (A.40) we can recover the two flow Eq. (A.45).
Appendix B: Details of the derivation of \(\langle z\rangle \) and \(\langle z^2\rangle \)
This result can be derived by a recursive method with respect to p as shown in [84]. We choose a set of collective variables
For simplicity of demonstration let us first consider the \(q=4\) case it is easy to see
then \(\langle z\rangle \) can be rewritten as
Now we can integrate the out the fermions to get
Then (B.49) becomes
For general q, the proof is similar with the modification
In summary, we have generalized the \(G,\Sigma \) trick and derived an effective action to compute \(\langle z\rangle \):
By introducing the following collective variables
the averaged quantity \(\langle z^2\rangle \) can be expressed as
where we have defined
Using the same tricks of integration by part, it can be evaluated exactly as
where m[p] is defined in (68) and the coefficient c[k] is
Appendix C: A naive expression of the half-wormhole contribution and its failure
Inspired by our analysis of the punctured disks for z, we can insert another two copies of identities (104) in \(z^2\)
where we have introduced three pairs of \(G,\Sigma \) variables
and rotated the contour as before. As before, the function \(\Psi \) is highly peaked around \(\Psi (0,0,0)\) so one may expect that there is a half-wormhole saddle point
whose average manifestly vanishes \(\langle \Lambda \rangle =0\) and it further satisfies \(\langle \Lambda ^2\rangle =\langle z^2\Lambda \rangle =2 {z_2^{(p)}}^2\). If we naively follow the discussion in [73] and propose the following approximation
then the error can be evaluated as
where we have used
Therefore, the average of the error square and \(\langle z^2\rangle ^2\) are in the same order in the large N limit, which meaning the approximation (C.73) is not accurate.
Appendix D: Random coupling from product of Grassmann variables \(J_A^{(0)}=J\prod _i\theta _{A_i}\)
A modified SYK-like model dubbed as partially disorder-averaged SYK model is proposed in [81]. In this model, the random coupling \({\widetilde{J}}_A\) consists of two pieces
where \(J_A\) is the standard random coupling of the SYK model while \(J_A^{(0)}\) is specially chosen as
so we can think of it as coupling the fermions \(\psi _i\) in the original model with some background Majorana fermions \(\theta _i\) (or non-dynamical fermions living in another universe [81]). Note that \(J_A^{(0)}\) is not a c-number which is different from our models studied in the previous section.
1.1 D.0.1: 0d model
Let us first consider the 0-dimensional model to see the difference explicitly. In this case the integral (1) can be written as
The averaged quantity \(\langle z\rangle \)
can be computed in two ways. One can integrate out the fermions \(\psi _i\) directly. The result is
Note that z is not a c-number and depends on the background fermions living in other universe. Here we will not think of this as a problem but a feature since the model is not exactly the original SYK model. Alternatively we can compute this average quantity by the \(G,\Sigma \) trick:
One can also use the effective action (D.82D.83D.84) to derive the large N result of (D.79) as shown in [81]. We will not repeat that analysis here. Instead, we would like to consider the half-wormhole saddle of z
as we did in last section. The subtlety is that as we stressed z is not a c-number so the approximation (D.85) is in the sense
which is a c-number due to (D.77) is small. Let us proceed by computing the averaged quantity \(\langle z^2\rangle \)
where \(c_k\) of defined in (7475) and \({\mathfrak {m}}_p\) is defined in (D.81). The result (D.87D.88D.89D.90) is in the same form of (B.65). So the analysis of the half-wormhole saddle will be similar; we insert the a suitable identity to (D.78)
Following the arguments below (104) one can obtain the half-wormhole saddleFootnote 9
Then it is easy to find that the half-wormhole saddle satisfies
so the approximation (D.85) will be sufficient if \({\mathfrak {z}}_2^{(p)}\) is the dominant term in (D.91) as we have shown in last section. When \({\mathfrak {z}}_2^{(p)}\) is not the dominant term we have to consider the contribution of fluctuation of \(\Sigma _\sigma \). To finish our analysis of the half-wormhole saddle for z, let us redo the computation of \(\langle z^2\rangle \) with the \(G,\Sigma \) trick. We need introduce three G variables
then \(\langle z^2\rangle \) can be written as
where in order to have a well-defined large N scaling we have introduced
The saddle point equations are
The obvious solutions are the “wormhole” saddles with
which corresponds to \({\mathfrak {z}}_2^p\). There are also other saddles corresponding to other \({\mathfrak {z}}_2^k\). For the simplest case \(q=2\), these solutions can be written explicitly. The “wormhole” saddles are
which do not depend on \(\mu \) and the other four solutions are
Apparently when \(u \rightarrow \infty \), \(\Sigma _{LR},G_{LR}\rightarrow 0,\) then we expect that in this limit the dominant saddle will correspond to \({\mathfrak {z}}_2^0\) since in this limit saddle point value does not depend on t. Comparing these two saddle values we find
Note that when \(x=1\) such that \(\langle z^2\rangle _{\text {WH}}=\langle z^2\rangle _{\text {new}}\) the new saddle just reduces to the wormhole saddle. Therefore it implies that the new saddle always dominates.
This new saddle is named as “unlinked half-wormhole” in [81] to distinguish it from the half-wormhole saddle which was found in [73]. One interpretation of this new saddle is that it is the analogue of the disconnected saddle in this model; indeed, we do not find other disconnected saddle with \(G_{LR}=0\), \(\Sigma _{LR}=0\) and \(G_{L/R}, \Sigma _{L/R}\ne 0\), in addition, this saddle is present only when \(u\ne 0\), and this saddle is more and more important as u increases.
The analysis of the half-wormhole saddle for \(z^2\) will be similar so we will not repeat here.
1.1.1 D.0.2: 1d model
Now we come back to the 0+1d model that is a variant of the Brownian SYK model. Let us begin by deriving the wormhole saddle of \(\langle z^2 \rangle \)Footnote 10
where \(E_0={ N\atopwithdelims ()q }\) is the constant term coming from \(\psi _A^{L(R)} \psi _A^{L(R)}=(-1)^{\frac{q}{2}}\). As explained in [73], we can focus on the time-independent saddles then the fermions can be simply integrated out. The result isFootnote 11
For general T, the saddle equation is very hard to solve due to the complexity of \(\cosh \) function. However the equations simplify in the large T limit because of the following approximations
Then in this limit the effective action becomes
and corresponding saddle point equations are
So the wormhole saddle still presents [9]
The unlinked half-wormhole saddle is:
where the relation
is fulfilled and \(\alpha \) satisfies
In the late time \((T\rightarrow \infty )\), there is indeed a wormhole saddle so it possible to include a linked half-wormhole saddle for z. We also assume that the half-wormhole saddle is time independent since the wormhole saddle is time independent. Then the analysis is completely same as the one for the 0-dimensional model. So the half-wormhole saddle will be given by
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/.
Funded by SCOAP3. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Peng, C., Tian, J. & Yang, Y. Half-wormholes and ensemble averages. Eur. Phys. J. C 83, 993 (2023). https://doi.org/10.1140/epjc/s10052-023-12164-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-12164-9