Baby Universes, Holography, and the Swampland

Classified as probably not a substantial claim. May combine two claims.

If the baby universe Hilbert space is one-dimensional, there would be no nontrivial alpha-parameters and no tension between the Euclidean path integral and understanding of quantum gravity in d > 3.

“If this were the case, there would be no nontrivial α-parameters, and so there would be no tension between the Euclidean path integral and our understanding of quantum gravity in d > 3.”

The quote only partly states this claim.

Nontrivial alpha-parameters would violate the condition of no free parameters in d > 3.

“the α-parameters violate the condition of no free parameters.”

May combine two claims.

Alpha-parameters exactly correspond to the coupling constants of terms in the Lagrangian for the effective field theory and define a (-1)-form symmetry.

“α-parameters exactly correspond to the coupling constants of terms in the Lagrangian for our effective field theory, and so define a (-1)-form symmetry of our theory.”

• cites [4]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

Classified as probably not a substantial claim.

If the baby universe Hilbert space is one-dimensional, there would be no need to discuss modifications of the standard holographic dictionary involving ensembles.

“in this case there would be no need to discuss modifications of the standard holographic dictionary involving ensembles.”

The quote only partly states this claim.

The Baby Universe Hypothesis implies the absence of global symmetries in quantum gravity for d > 3.

“the Baby Universe Hypothesis implies the condition of no global symmetries.”

Classified as probably not a substantial claim.

The gravitational partition function Z_QG(X) is exactly equal to the partition function Z_CFT(X) of a local conformal field theory defined on the boundary.

“While there is no obvious a priori reason for Z QG to depend locally on X, J, the miracle of the standard (non-ensemble) AdS/CFT dictionary is that the gravitational partition function is exactly equal to the partition function of a local conformal field theory defined on the boundary, Z QG (X) = Z CFT (X).”

• AssumptionRests on an assumption: The standard (non-ensemble) AdS/CFT dictionary holds: the gravitational partition function equals the partition function of a local boundary conformal field theory.

Classified as probably not a substantial claim.

For two (d-1)-manifolds M1 and M2, the Hilbert space defined by their disjoint union must tensor factorize: H_QG(M1 ⊔ M2) = H_QG(M1) ⊗ H_QG(M2).

“Furthermore, given two (d -1)-manifolds M 1 , M 2 , we have that the Hilbert space defined by the disjoint union of M 1 and M 2 must tensor factorize, H QG (M 1 M 2 ) = H QG (M 1 ) ⊗ H QG (M 2 ).(15)”

• AssumptionThe authors state this as an assumption: The boundary theory satisfies the axioms of local quantum field theory, including tensor factorization of Hilbert spaces on disjoint unions and factorization of partition functions.

May combine two claims.

The Wheeler-de Witt equation is second order and induces quantum redundancies between wavefunctions of a more complicated nature.

“the Wheeler-de Witt equation is second order, and induces quantum redundancies between wavefunctions of a more complicated nature [15].”

• cites [15]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

May combine two claims.

In AdS/CFT, quasi-local bulk operators in the effective field theory around a classical geometry are defined relative to a code subspace of the CFT, and their bulk locality holds only within that code subspace.

“In the context of AdS/CFT, there are quasi-local bulk operators in the effective field theory defined around some classical geometry.As has been argued [19,20], these operators are defined relative to a code subspace of the CFT, and their bulk locality only holds within that code subspace.”

• cites [19]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• cites [20]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

May combine two claims.

The two-sided AdS-Schwarzschild black hole is dual to the thermofield double state in AdS/CFT, a quantum superposition of states with disconnected spatial topology.

“the two sided AdS-Schwarzschild black hole, which is dual to the thermofield double state in AdS/CFT [14], a quantum superposition of states with disconnected spatial topology.”

• cites [14]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

Probably not a substantial claim: may not pass S4 (based).

There is no known analog of higher dimensional (d > 3) branes that can serve as a large N perturbative expansion of some QFT system.

“That there is no known analog of higher dimensional (d > 3) branes that can serve as a large N perturbative expansion of some QFT system”

May combine two claims.

These processes pose a threat to unitarity in the form of potential information loss or non-factorization of correlation functions in a holographic dual.

“These processes pose a threat to unitarity of the quantum system, in the form of potential information loss [4,5] or non-factorization of correlation functions in a holographic dual [8].”

• cites [4]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• cites [5]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• cites [8]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

May combine two claims.

Any strictly well defined bulk operator is ruled out, because it would commute with all local CFT operators on the entire CFT Hilbert space and thus be a multiple of the identity.

“In fact, the arguments of [21,22] can easily be extended to rule out any such strictly well defined bulk operator: such an operator would necessarily commute with all local CFT operators not on a code subspace, but on the entire CFT Hilbert space, and would thus be a multiple of the identity.”

• cites [21]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• cites [22]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

May combine two claims.

Changing the parameters for this ensemble changes the parameters of the gravitational theory, so the d = 2 bulk gravity inherits free unfixed parameters.

“changing the parameters for this ensemble will change the parameters of the gravitational theory, and so the d = 2 bulk gravity would inherit free unfixed parameters.”

Probably not a substantial claim: may not pass S4 (based). May combine two claims.

The BRST invariant vertex operators on the string worldsheet are strictly well-defined operators living at a point in spacetime, and their insertion defines a nontrivial state in the closed string Hilbert space.

“These operators are strictly well defined operators living at a point in spacetime, and their insertion defines a nontrivial state in the closed string Hilbert space.”

May combine two claims.

These sectors are orthogonal even after taking gauge redundancies into account, since the Euclidean path integral cannot violate conservation of global charge.

“These different sectors are all orthogonal even after taking the gauge redundancies into account, since the Euclidean path integral cannot violate conservation of global charge by assumption”

• AssumptionThe authors state this as an assumption: The Euclidean path integral cannot violate conservation of global charge.

May combine two claims.

The condition of triviality of cobordism implies there cannot be superselection sectors in finite space in d > 3, and any superselection sectors of quantum gravity must arise as a result of distinct boundary conditions.

“The condition of triviality of cobordism of spacetime [18] exactly says that this is impossible in d > 3, and that any superselection sectors of quantum gravity must arise as a result of distinct boundary conditions.”

• cites [18]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

May combine two claims.

Wavefunctions differing by a null state yield the same physical state in H_BU, which may be viewed as a form of gauge redundancy.

“wavefunctions differing by a null state yield the same physical state in H BU , which may be viewed as a form of gauge redundancy.”

May combine two claims.

The ensemble interpretation of holography is a feature of d = 2 and potentially d = 3 theories of gravity, for which many swampland principles do not apply.

“the ensemble interpretation of holography is very much a feature of d = 2 and potentially d = 3 theories of gravity, for which many swampland principles do not apply.”

May combine two claims.

Operators whose support extends out to the AdS boundary are not excluded by the Baby Universe Hypothesis, since they do not produce a state in the baby universe Hilbert space and need not commute with all CFT local operators.

“Finally, operators whose support extends out to the AdS boundary are not excluded, since these operators do not produce a state in the baby universe Hilbert space, and need not commute with all CFT local operators.”

May combine two claims.

Marolf and Maxfield found nontrivial alpha-parameters, but the Euclidean path integral implies an enormous redundancy in the naive baby universe Hilbert space, leading to an enormous reduction in the number of degrees of freedom.

“While they do still find nontrivial α-parameters, a key ingredient in their story is that the Euclidean path integral implies an enormous redundancy in the naive baby universe Hilbert space, leading to an enormous reduction in the number of degrees of freedom.”

• cites [9]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.

The case d = 3 may admit similar exceptions because gravity has no propagating degrees of freedom, and there might exist topological theories of gravity which do not follow the usual swampland conditions.

“The case d = 3 may admit similar exceptions because gravity has no propagating degrees of freedom, and there might exist topological theories of gravity (such as gravitational Chern-Simons theory) which do not follow the usual swampland conditions of higher dimensional quantum theories of gravity.”

Classified as probably not a substantial claim.

The condition that quantum gravity must have no free parameters is a basic swampland condition proposed to hold in all consistent theories of quantum gravity in d >= 3 spacetime dimensions.

“The condition that quantum gravity must have no free parameters has been codified as one of the most basic swampland conditions (for a review of the Swampland Program, see [1,2]), and has been proposed to hold in all consistent theories of quantum gravity in d ≥ 3 spacetime dimensions”

• cites [1]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• cites [2]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

May combine two claims.

In d = 2, massless scalar fields do not get a vev and do not lead to different superselection sectors in infinite spatial volume.

“in d = 2, massless scalar fields do not get a vev, and do not lead to different superselection sectors in infinite spatial volume.”

Probably not a substantial claim: may not pass S3 (load-bearing).

At most we may expect to generalize the d=2 story to d=3, where M2 branes may replace string worldsheets for the theory of large N M5 branes, ending on surface operators.

“So at most we may expect to generalize this d = 2 story to d = 3, where, say, M2 branes may be viewed as replacing the role of string worldsheets for the theory of large N M5 branes, ending on the surface operators of this theory.”

• AssumptionRests on an assumption: The only known quantum systems involve either particles or strings, leading to observables involving loops or surfaces.

Probably not a substantial claim: may not pass S3 (load-bearing).

The Eynard-Orantin rules of computation for the large N dual of matrix models can be interpreted as arising from the d=6 topological gravity of the B-model, the Kodaira-Spencer theory of gravity in 6 dimensions.

“Moreover it is explained in [32] how the Eynard-Orantin rules of computation for large N dual of matrix models [33] can be interpreted as arising from the d = 6 topological gravity of the B-model, which is the Kodaira-Spencer theory of gravity in 6 dimensions [34].”

• cites [32]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• cites [33]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• cites [34]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

Factorization is another axiom of local quantum field theory.

“This is another axiom of local quantum field theory.”

• AssumptionThe authors state this as an assumption: The boundary theory satisfies the axioms of local quantum field theory, including tensor factorization of Hilbert spaces on disjoint unions and factorization of partition functions.

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based).

In the case that the dual CFT is compact, the spectrum of the Hamiltonian H on H_QG(M) is discrete for a compact manifold M.

“One way to argue is in the case that the dual CFT is compact, meaning that the spectrum of the Hamiltonian H on H QG (M ) is discrete for a compact manifold M .”

Probably not a substantial claim: may not pass S3 (load-bearing).

Mirzakhani's model can be viewed as computing the partition function of a topological string on a non-compact Calabi-Yau 3-fold.

“It is interesting that Mirzakhani's model can be viewed as computing the partition function of a topological string on a non-compact Calabi-Yau 3-fold.”

May combine two claims.

In quantum gravity, if one cuts up a closed universe into many regions with boundaries, each boundary can have nonzero area, and each region can have nonzero entropy.

“If we imagine cutting up a closed universe into many regions with boundaries, each boundary can have nonzero area, and so each region can have nonzero entropy.”

Probably not a substantial claim: may not pass S3 (load-bearing).

This last step is actually unnecessary, since the quantum gravity path integral includes an integration over all neighborhoods N.

“This last step is actually unnecessary, since the quantum gravity path integral includes an integration over all neighborhoods N .”

May combine two claims.

In JT gravity, the full bulk path integral may be performed without adding any new UV degrees of freedom, and the cancellations required by the Baby Universe Hypothesis do not occur.

“In JT gravity, the full bulk path integral may be performed without adding any new UV degrees of freedom [3], and indeed, these types of cancelations do not occur.”

• cites [3]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

May combine two claims.

Quantization on the empty manifold gives a one-dimensional Hilbert space is an axiom of local quantum field theory, and is obvious from the path integral since there is a unique field configuration on the empty manifold.

“In fact, that quantization on the empty manifold gives a one-dimensional Hilbert space is one of the axioms of local quantum field theory, and is completely obvious from the path integral, since there is a unique field configuration on the empty manifold.”

• AssumptionThe authors state this as an assumption: The boundary theory satisfies the axioms of local quantum field theory, including tensor factorization of Hilbert spaces on disjoint unions and factorization of partition functions.

Probably not a substantial claim: may not pass S3 (load-bearing).

If all Hilbert spaces involved were finite-dimensional, dim H_BU = 1.

“If all the Hilbert spaces involved here were finite-dimensional, this would immediately imply dim H BU = 1,”

May combine two claims.

The connection of this theory with Mirzakhani's model can be explained by noting that the (1,2) minimal model coupled to d=2 topological gravity leads to computation of Mumford classes, and that this theory before deformation is described by the topological B-model on y^2 - x + u^2 + v^2 = 0.

“The connection of this theory with Mirzakhani's model can be explained by noting that the (1, 2) minimal model coupled to d = 2 topological gravity leads to computation of Mumford classes[35], and that this theory before deformation is desribed by the topological B-model on y 2 -x + u 2 + v 2 = 0[36].”

• cites [35]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• cites [36]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

May combine two claims.

If the Baby Universe Hypothesis is satisfied, the Hartle-Hawking state, as the unique state in H_BU, is itself an α-eigenstate, and factorization holds.

“If the Baby Universe Hypothesis is satisfied, then the Hartle-Hawking state, as the unique state in H BU , is in fact itself an α-eigenstate, and so we see that we have factorization no matter what!”

May combine two claims.

JT gravity is dual to an ensemble average of d=1 quantum systems given by a random matrix model, leading to a consistent new model for holography involving an ensemble.

“JT gravity is dual [3] to an ensemble average of d = 1 quantum systems given by a random matrix model, leading to a consistent new model for holography involving an ensemble.”

• cites [3]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

Probably not a substantial claim: may not pass S2 (checkable), S4 (based).

There is no exception to our hypothesis for a complete quantum gravitational system in any dimension.

“From this perspective, we believe that there is no exception to our hypothesis for a complete quantum gravitational system in any dimension.”

May combine two claims.

This perspective suggests that the d=2 example cannot be generalized to d>3, reinforcing arguments based on other swampland principles.

“Regardless of whether this can be viewed as a d = 3 gravitational system, this perspective clearly suggests that this example cannot be generalized to d > 3, reinforcing the arguments we presented based on other swampland principles.”

• AssumptionRests on an assumption: The only known quantum systems involve either particles or strings, leading to observables involving loops or surfaces.
• AssumptionRests on an assumption: There is currently no known way of thinking of M2 branes in M-theory holography as playing the same role that strings play for the large N description of gauge theories.

May combine two claims.

H_BU is a unit object for the tensor product of Hilbert spaces, which implies H_BU is canonically isomorphic to C.

“A better way to argue in general is to interpret (18) as saying that H BU is a unit object for the tensor product of Hilbert spaces, which implies that H BU is canonically isomorphic to C.”

Probably not a substantial claim: may not pass S3 (load-bearing).

To have a higher dimensional generalization to d≥3, one would need to replace the 't Hooft surfaces with higher dimensional objects whose boundaries are related to observables of the corresponding quantum system.

“To have a higher dimensional generalization along these lines, we would need to replace the 't Hooft surfaces with higher dimensional objects whose boundaries are related to observables of the corresponding quantum system.”

May combine two claims.

It is our belief that the Baby Universe Hypothesis holds in higher-dimensional and complete theories of quantum gravity, and in our universe in particular.

“Thus, while we cannot prove the truth of the Baby Universe Hypothesis (since we do not have a complete theory of quantum gravity with d > 3), it is our belief that it indeed holds in higher-dimensional and complete theories of quantum gravity, and in our universe in particular.”

May combine two claims.

The average over an ensemble of background parameters for a system of d=1 is naturally induced from computation of specific correlators of a higher dimensional gauge theory, and the emergence of d=2 quantum gravity should be viewed as a large N dual description à la 't Hooft.

“Thus, we have explained why one can think of the average over an ensemble of background parameters for a system of d = 1 as naturally induced from computation of specific correlators of a higher dimensional gauge theory, and that the emergence of the d = 2 quantum gravity should be viewed as a large N dual description ala 't Hooft.”

May combine two claims.

We must have p_α > 0 for all α, so this will always be a nontrivial ensemble if there are nontrivial α-parameters.

“Further, we must have p α > 0 for all α (see [9]), and so this will always be a nontrivial ensemble if there are nontrivial α-parameters.”

• cites [9]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

Probably not a substantial claim: may not pass S3 (load-bearing).

The arguments in Section 4.1 that identify the baby universe Hilbert space with the Hilbert space of the dual quantum field theory on the empty manifold are analogous to the derivation of the global version of Gauss's law from the local version.

“The arguments in Section 4.1 that identify the baby universe Hilbert space with the Hilbert space of the dual quantum field theory on the empty manifold are analogous to the derivation of the global version of Gauss's law from the local version.”

May combine two claims.

Z(X) is a baby universe operator A_i, diagonal in the α-eigenbasis with eigenvalues Z_α(X).

“Noting that Z(X) is nothing but a baby universe operator A i , we see that it must be diagonal in the α-eigenbasis with eigenvalues Z α (X), and we may compute”

Classified as probably not a substantial claim.

The holographic principle tells us that the entropy of a bulk region of space may be computed as the entropy of a state in a local quantum system living on the boundary of the region.

“In particular, the holographic principle tells us that the entropy of a bulk region of space may be computed as the entropy of a state in a local quantum system living on the boundary of the region.”

• cites [38]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

• cites [39]Not matched

  Couldn’t be matched to a paper in Crossref, so it can’t be checked.

Probably not a substantial claim: may not pass S3 (load-bearing), S4 (based). May combine two claims.

D-branes define static probes at zero string coupling, but become dynamical as soon as a nonzero string coupling is turned on.

“For example, though D-branes define static probes at zero string coupling, they become dynamical as soon as a nonzero string coupling is turned on.”

May combine two claims.

Quantum gravity should enjoy a state-operator correspondence, as there is no background metric.

“Put differently, like conformal field theories or topological field theories, quantum gravity should enjoy a state-operator correspondence, as there is no background metric.”

• AssumptionRests on an assumption: Quantum gravity is background independent.

Probably not a substantial claim: may not pass S2 (checkable), S4 (based).

The Baby Universe Hypothesis provides a clean synthesis of many things we hope to be true about quantum gravity, including the validity of the Euclidean path integral, the absence of free parameters in d>3, and the standard understanding of the AdS/CFT dictionary.

“Further, it provides a clean synthesis of many things we hope to be true about quantum gravity, including the validity of the Euclidean path integral, the absence of free parameters in d > 3, and the standard understanding of the AdS/CFT dictionary.”

May combine two claims.

To glue the subregions together into a closed universe, one must choose specific entangled states on the boundaries, ending with zero entropy, lower than the sum of the entropies of each region, as required by the Baby Universe Hypothesis.

“However, in order to glue the subregions together into a closed universe, we must choose specific entangled states on the boundaries (corresponding to sewing the geometries together), and in this way end up with a much lower entropy (namely, zero) than the sum of the entropies of each region, as required by the Baby Universe Hypothesis.”

• AssumptionRests on an assumption: Quantum entanglement allows the entropy of a collection of quantum subsystems to be smaller than the sum of the entropies of each subsystem.