Gravity from entropy

Ginestra Bianconi ginestra.bianconi@gmail.com School of Mathematical Sciences, Queen Mary University of London, London, E1 4NS, United Kingdom
Abstract

Gravity is derived from an entropic action coupling matter fields with geometry. The fundamental idea is to relate the metric of Lorentzian spacetime to a density matrix. The matter fields curve spacetime, defining a metric induced by the matter fields. The entropic action is the quantum relative entropy between the metric of spacetime and the metric induced by the matter fields. The modified Einstein equations obtained reduce to the Einstein equations in the regime of low coupling. To simplify the theory, exclusively scalar matter fields are considered. This theoretical framework can be extended in different directions, for instance by including fermionic matter fields and gauge fields. A canonical quantization of this field theory could bring new insights into quantum gravity.

The relation between general relativity, statistical mechanics and information theory is a central research topic in theoretical physics. The interest in the subject has its roots in the discovery that black holes have an entropy [1, 2] and emit Hawking radiation [3]. Recently, important results have been obtained relating information theory, entanglement entropy [4] and gravity [5, 6, 7, 8, 9] involving the holographic principle [10, 11] and entanglement properties of quantum field theory [12]. These results define a very active research direction [13] indicating that the quest for an ultimate gravitational theory based on information and statistical mechanics is ongoing. A comprehensive statistical mechanics approach to gravity is expected to give rise to modified Einstein equations that one side can be testable experimentally [14, 15] while on the other side they can bring important conceptual insights into quantum gravity [16, 17, 18, 19, 20, 21].

In this Letter, a continuum modified theory of gravity based on a statistical mechanics action is considered. This theory treats the metric at each point of spacetime as a density matrix. Specifically, this work proposes an action based on the quantum entropy between the metric and the metric induced by the matter fields. A crucial aspect of the presented theory is the adoption of a topological (Dirac-Kähler like [22, 23]) description of bosonic matter fields. Note that the extension of Dirac-Kähler and staggered fermions formalism to bosonic particles is gaining increasing interest in lattice gauge theory [24, 25]. and network theory as well [26]. These bosonic matter fields are described as the direct sum of a zero-form and a one-form defined on the Riemannian manifold describing spacetime. Moreover the metric induced by the topological matter fields is expressed in terms of the Hodge-Dirac operator [27]. This work greatly expands on previous results [26] obtained in the discrete setting by the same author. On one side, here a continuum and fully Lorentz invariant theory is proposed. This progress is based on the development of the suitable mathematical framework to define the Lorentz invariant entropy and cross-entropy between the metric of the spacetime and the metric induced by the matter fields. On the other side, here the relation of this statistical mechanics/information theory action with the Einstein-Hilbert action [28, 29] is established defining a clear connection to gravity. Indeed by considering a continuum limit, in this Letter the intrinsic difficulty related to the definition of the curvature of networks, simplicial and cell complexes is avoided.

To keep the discussion concise the focus is here exclusively on scalar matter fields and their topological generalizations. Further extensions of the proposed framework to Dirac and gauge fields [26, 30, 31] in the discrete or continuum setting are left for future investigations.
Quantum entropy of a tensor of rank 2- Spacetime is described by a torsion free, 1+d1𝑑1+d1 + italic_d Riemannian manifold associated with a Lorentzian metric gμνsubscript𝑔𝜇𝜈g_{\mu\nu}italic_g start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT of signature {1,1,,1,1}\{-1,1,,1\ldots,1\}{ - 1 , 1 , , 1 … , 1 } and a metric compatible Levi-Civita connection ΓνμσsuperscriptsubscriptΓ𝜈𝜇𝜎\Gamma_{\nu\mu}^{\sigma}roman_Γ start_POSTSUBSCRIPT italic_ν italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT determining the covariant derivative μsubscriptbold-∇𝜇\bm{\nabla}_{\mu}bold_∇ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT. In order to formulate our statistical mechanics and information theory action for gravity, we need first to define the entropy and cross-entropy associated to rank 2222 tensors. To this end we first define the eigenvalues λ𝜆\lambdaitalic_λ and eigenvectors Vν(λ)subscriptsuperscript𝑉𝜆𝜈V^{(\lambda)}_{\nu}italic_V start_POSTSUPERSCRIPT ( italic_λ ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT of the tensor 𝐓^^𝐓\hat{\bf T}over^ start_ARG bold_T end_ARG of elements T^μνsubscript^𝑇𝜇𝜈\hat{T}_{\mu\nu}over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT in a Lorentz invariant way. These satisfy the eigenvalue problem

T^μν[V(λ)]ν=λVμ(λ).subscript^𝑇𝜇𝜈superscriptdelimited-[]superscript𝑉𝜆𝜈𝜆subscriptsuperscript𝑉𝜆𝜇\displaystyle\hat{T}_{\mu\nu}[V^{(\lambda)}]^{\nu}=\lambda V^{(\lambda)}_{\mu}.over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT [ italic_V start_POSTSUPERSCRIPT ( italic_λ ) end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT = italic_λ italic_V start_POSTSUPERSCRIPT ( italic_λ ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT . (1)

We say that a symmetric rank 2 tensor is positively defined if all its eigenvalues are positive. We notice that this definition of the eigenvalue of a rank 2 tensor reduces to the definition of the eigenvalue of the matrix 𝐓^g1^𝐓superscript𝑔1\hat{\bf T}{g}^{-1}over^ start_ARG bold_T end_ARG italic_g start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT as Eq.(1) can be rewritten as

T^μσgσν[V(λ)]ν=λVμ(λ).subscript^𝑇𝜇𝜎superscript𝑔𝜎𝜈subscriptdelimited-[]superscript𝑉𝜆𝜈𝜆subscriptsuperscript𝑉𝜆𝜇\displaystyle\hat{T}_{\mu\sigma}g^{\sigma\nu}[V^{(\lambda)}]_{\nu}=\lambda V^{% (\lambda)}_{\mu}.over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_μ italic_σ end_POSTSUBSCRIPT italic_g start_POSTSUPERSCRIPT italic_σ italic_ν end_POSTSUPERSCRIPT [ italic_V start_POSTSUPERSCRIPT ( italic_λ ) end_POSTSUPERSCRIPT ] start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT = italic_λ italic_V start_POSTSUPERSCRIPT ( italic_λ ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT . (2)

One striking consequence of this definition is that the eigenvalues of the metric gμνsubscript𝑔𝜇𝜈g_{\mu\nu}italic_g start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT are all identically equal to one. Assuming that the symmetric tensor T^μνsubscript^𝑇𝜇𝜈\hat{T}_{\mu\nu}over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT is positively defined, we define the logarithm of this tensor as

[ln(𝐓^)]μν=Vμ(λ)Vν(λ)ln(λ).subscriptdelimited-[]^𝐓𝜇𝜈superscriptsubscript𝑉𝜇𝜆subscriptsuperscript𝑉𝜆𝜈𝜆\displaystyle[\ln(\hat{\bf T})]_{\mu\nu}=V_{\mu}^{(\lambda)}V^{(\lambda)}_{\nu% }\ln(\lambda).[ roman_ln ( over^ start_ARG bold_T end_ARG ) ] start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT = italic_V start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT start_POSTSUPERSCRIPT ( italic_λ ) end_POSTSUPERSCRIPT italic_V start_POSTSUPERSCRIPT ( italic_λ ) end_POSTSUPERSCRIPT start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT roman_ln ( italic_λ ) . (3)

and the inverse of a tensor as

[𝐓^1]μν=[V(λ)]μ[V(λ)]νλ1.superscriptdelimited-[]superscript^𝐓1𝜇𝜈superscriptdelimited-[]superscript𝑉𝜆𝜇superscriptdelimited-[]superscript𝑉𝜆𝜈superscript𝜆1\displaystyle[\hat{\bf T}^{-1}]^{\mu\nu}=[V^{(\lambda)}]^{\mu}[V^{(\lambda)}]^% {\nu}\lambda^{-1}.[ over^ start_ARG bold_T end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = [ italic_V start_POSTSUPERSCRIPT ( italic_λ ) end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT [ italic_V start_POSTSUPERSCRIPT ( italic_λ ) end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_λ start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT . (4)

It follows that the logarithm of the inverse of a positively defined tensor is given by

[ln(𝐓^1]μν=[V(λ)]μ[V(λ)]νln(λ).\displaystyle[\ln(\hat{\bf T}^{-1}]^{\mu\nu}=-[V^{(\lambda)}]^{\mu}[V^{(% \lambda)}]^{\nu}\ln(\lambda).[ roman_ln ( over^ start_ARG bold_T end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = - [ italic_V start_POSTSUPERSCRIPT ( italic_λ ) end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT [ italic_V start_POSTSUPERSCRIPT ( italic_λ ) end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT roman_ln ( italic_λ ) . (5)

Warm-up scenario: Entropic action- Before we develop our theory, let us consider an instructive warm-up scenario that will help justify the theory that we will present in the following. Having defined the logarithm of positively defined rank 2 tensors, we are now in the position to define their Lorentz invariant quantum entropy H𝐻Hitalic_H. This is inspired by the expression of the Von Neumann entropy albeit we do not require the tensor to have trace one at every point in spacetime. Specifically H𝐻Hitalic_H is defined as

H=Tr𝐓^ln𝐓^1=T^μν[ln𝐓𝟏^]νμ=λlnλ.𝐻Tr^𝐓superscript^𝐓1subscript^𝑇𝜇𝜈superscriptdelimited-[]^superscript𝐓1𝜈𝜇𝜆𝜆\displaystyle H=\mbox{Tr}\hat{\bf T}\ln\hat{\bf T}^{-1}=\hat{T}_{\mu\nu}[\ln% \hat{\bf T^{-1}}]^{\nu\mu}=-\sum\lambda\ln\lambda.italic_H = Tr over^ start_ARG bold_T end_ARG roman_ln over^ start_ARG bold_T end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT = over^ start_ARG italic_T end_ARG start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT [ roman_ln over^ start_ARG bold_T start_POSTSUPERSCRIPT - bold_1 end_POSTSUPERSCRIPT end_ARG ] start_POSTSUPERSCRIPT italic_ν italic_μ end_POSTSUPERSCRIPT = - ∑ italic_λ roman_ln italic_λ . (6)

Recalling that the metric g𝑔gitalic_g has all the eigenvalues equal to one it follows that the entropy of the metric is null, i.e.

H=Trglng1=0.𝐻Tr𝑔superscript𝑔10\displaystyle H=\mbox{Tr}{g}\ln{g}^{-1}=0.italic_H = Tr italic_g roman_ln italic_g start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT = 0 . (7)

We consider a Lagrangian 𝓛𝓛\bm{\mathcal{L}}bold_caligraphic_L proportional to the quantum relative entropy between the metric g𝑔gitalic_g and the metric 𝐆𝐆{\bf G}bold_G induced by the matter field (that we will specify later) defined as

𝓛𝓛\displaystyle\bm{\mathcal{L}}bold_caligraphic_L =\displaystyle== Trglng1+Trgln𝐆1.Tr𝑔superscript𝑔1Tr𝑔superscript𝐆1\displaystyle-\mbox{Tr}{g}\ln{g}^{-1}+\mbox{Tr}{g}\ln{\bf G}^{-1}.- Tr italic_g roman_ln italic_g start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT + Tr italic_g roman_ln bold_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT . (8)

We thus obtain:

=Trgln𝐆1.Tr𝑔superscript𝐆1\displaystyle{\mathcal{L}}=\mbox{Tr}g\ln{{\bf G}}^{-1}.caligraphic_L = Tr italic_g roman_ln bold_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT . (9)

We observe that since g𝑔gitalic_g has all the eigenvalues equal to the identity, and Eq.(2) holds of 𝐓^=𝐆^𝐓𝐆\hat{\bf T}={\bf G}over^ start_ARG bold_T end_ARG = bold_G, the Lagrangian 𝓛𝓛\bm{\mathcal{L}}bold_caligraphic_L can be also expressed as

𝓛=TrMln𝐆g1,𝓛subscriptTr𝑀𝐆superscript𝑔1\displaystyle\bm{\mathcal{L}}=-\mbox{Tr}_{M}\ln\ {\bf G}{g}^{-1},bold_caligraphic_L = - Tr start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT roman_ln bold_G italic_g start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT , (10)

where with TrMln𝐆g1subscriptTr𝑀𝐆superscript𝑔1\mbox{Tr}_{M}\ln\ {\bf G}{g}^{-1}Tr start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT roman_ln bold_G italic_g start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT we indicate the usual trace of the logarithm of a matrix here expressed as the trace of the Taylor power series of the matrix ln𝐆g1𝐆superscript𝑔1\ln\ {\bf G}{g}^{-1}roman_ln bold_G italic_g start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT. We consider an action 𝒮𝒮\mathcal{S}caligraphic_S associated to the Lagrangian \mathcal{L}caligraphic_L, as given by

𝒮=𝑑𝐫|g|,𝒮differential-d𝐫𝑔\displaystyle\mathcal{S}=\int d{\bf r}\sqrt{|-g|}\mathcal{L},caligraphic_S = ∫ italic_d bold_r square-root start_ARG | - italic_g | end_ARG caligraphic_L , (11)

where |g|𝑔|-g|| - italic_g | indicates the absolute value of the determinant of g𝑔gitalic_g.
Warm-up scenario: scalar matter fields- We now apply this warm-up scenario in presence of scalar matter fields. To this end, we consider the metric induced by the complex valued scalar matter field ϕitalic-ϕ\phiitalic_ϕ. The metric 𝐆𝐆{\bf G}bold_G induced by this matter field is given by [32]

𝐆=g+α𝒢𝐆𝑔𝛼𝒢\displaystyle{\bf G}=g+\alpha{\mathcal{G}}bold_G = italic_g + italic_α caligraphic_G (12)

where α𝛼\alphaitalic_α is a real positive parameter, and the matrix 𝒢𝒢{\mathcal{G}}caligraphic_G is given by

𝒢μν=μϕ¯νϕ,subscript𝒢𝜇𝜈subscriptbold-∇𝜇¯italic-ϕsubscriptbold-∇𝜈italic-ϕ\displaystyle{\mathcal{G}}_{\mu\nu}={\bm{\nabla}}_{\mu}\bar{\phi}{\bm{\nabla}}% _{\nu}\phi,caligraphic_G start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT = bold_∇ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over¯ start_ARG italic_ϕ end_ARG bold_∇ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_ϕ , (13)

where here and in the following ¯¯absent\bar{}over¯ start_ARG end_ARG indicates complex conjugation. Since 𝐆𝐆{\bf G}bold_G should be adimensional it is convenient to work in the units =c=1Planck-constant-over-2-pi𝑐1\hbar=c=1roman_ℏ = italic_c = 1 and to put α=αPd𝛼superscript𝛼superscriptsubscript𝑃𝑑\alpha=\alpha^{\prime}\ell_{P}^{d}italic_α = italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT where Psubscript𝑃\ell_{P}roman_ℓ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT is the Planck length and αsuperscript𝛼\alpha^{\prime}italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is adimensional. Let us define the scalar product |ϕ|2superscriptbold-∇italic-ϕ2|{\bm{\nabla}}\phi|^{2}| bold_∇ italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT as

|ϕ|2=μϕ¯gμν^νϕ.superscriptbold-∇italic-ϕ2subscriptbold-∇𝜇¯italic-ϕsuperscript𝑔𝜇𝜈subscript^bold-∇𝜈italic-ϕ\displaystyle|{\bm{\nabla}}\phi|^{2}={\bm{\nabla}}_{\mu}\bar{\phi}{g}^{\mu\nu}% \hat{\bm{\nabla}}_{\nu}\phi.| bold_∇ italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT = bold_∇ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over¯ start_ARG italic_ϕ end_ARG italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT over^ start_ARG bold_∇ end_ARG start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_ϕ . (14)

We observe that the inverse 𝐆1superscript𝐆1{\bf G}^{-1}bold_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT of the induced metric 𝐆𝐆{\bf G}bold_G has metric given by

[𝐆1]μν=gμνα𝒢μν1+α|ϕ|2.superscriptdelimited-[]superscript𝐆1𝜇𝜈superscript𝑔𝜇𝜈𝛼superscript𝒢𝜇𝜈1𝛼superscriptbold-∇italic-ϕ2\displaystyle[{{\bf G}^{-1}}]^{\mu\nu}=g^{\mu\nu}-\alpha\frac{{\mathcal{G}}^{% \mu\nu}}{1+\alpha|{\bm{\nabla}}{\phi}|^{2}}.[ bold_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ] start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT - italic_α divide start_ARG caligraphic_G start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT end_ARG start_ARG 1 + italic_α | bold_∇ italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT end_ARG . (15)

Adopting this notation we observe that the logarithm of the induced metric ln𝐆𝐆\ln{\bf G}roman_ln bold_G and the logarithm of ln𝐆1superscript𝐆1\ln{\bf G}^{-1}roman_ln bold_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT are given by

ln𝐆𝐆\displaystyle\ln{\bf G}roman_ln bold_G =\displaystyle== f(|ϕ|2)𝒢𝑓superscriptbold-∇italic-ϕ2𝒢\displaystyle f(|{\bm{\nabla}}\phi|^{2}){\mathcal{G}}italic_f ( | bold_∇ italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) caligraphic_G
ln𝐆1superscript𝐆1\displaystyle\ln{\bf G}^{-1}roman_ln bold_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT =\displaystyle== f(|ϕ|2)𝒢1𝑓superscriptbold-∇italic-ϕ2superscript𝒢1\displaystyle-f(|{\bm{\nabla}}\phi|^{2}){\mathcal{G}}^{-1}- italic_f ( | bold_∇ italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) caligraphic_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT (16)

where

f(w)=ln(1+αw)w.𝑓���1𝛼𝑤𝑤\displaystyle f(w)=\frac{\ln(1+\alpha w)}{w}.italic_f ( italic_w ) = divide start_ARG roman_ln ( 1 + italic_α italic_w ) end_ARG start_ARG italic_w end_ARG . (17)

where f(w)α𝑓𝑤𝛼f(w)\to\alphaitalic_f ( italic_w ) → italic_α for w1much-less-than𝑤1w\ll 1italic_w ≪ 1. With this choice of the metric induced by the matter field we obtain that that the Lagrangian (9)9(\ref{L})( ) reads

\displaystyle{\mathcal{L}}caligraphic_L =\displaystyle== ln(1+α|ϕ|2).1𝛼superscriptbold-∇italic-ϕ2\displaystyle-\ln(1+\alpha{|{\bm{\nabla}}{\phi}|^{2}}).- roman_ln ( 1 + italic_α | bold_∇ italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) . (18)

We observe that in the limit ϕ0italic-ϕ0\nabla\phi\to 0∇ italic_ϕ → 0 the we have 𝓛|ϕ|2𝓛superscriptbold-∇italic-ϕ2\bm{\mathcal{L}}\to-|{\bm{\nabla}}{\phi}|^{2}bold_caligraphic_L → - | bold_∇ italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT, i.e. we recover the Lagrangian corresponding to the massless Klein-Gordon equation.

By minimizing the action 𝒮𝒮\mathcal{S}caligraphic_S with respect to the field ϕitalic-ϕ\phiitalic_ϕ and to the metric g𝑔gitalic_g we obtain the Euler-Lagrange equations of motion:

μh(|ϕ|2)gμννϕsubscriptbold-∇𝜇superscriptitalic-ϕ2superscript𝑔𝜇𝜈subscriptbold-∇𝜈italic-ϕ\displaystyle\bm{\nabla}_{\mu}h(|\nabla\phi|^{2})g^{\mu\nu}\bm{\nabla}_{\nu}\phibold_∇ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_h ( | ∇ italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT bold_∇ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_ϕ =\displaystyle== 0,0\displaystyle 0,0 , (19)

where h(w)𝑤h(w)italic_h ( italic_w ) is given by

h(w)=α1+αw.𝑤𝛼1𝛼𝑤\displaystyle h(w)=\frac{\alpha}{1+\alpha w}.italic_h ( italic_w ) = divide start_ARG italic_α end_ARG start_ARG 1 + italic_α italic_w end_ARG . (20)

In the limit w0𝑤0w\to 0italic_w → 0 we have h(w)α𝑤𝛼h(w)\to\alphaitalic_h ( italic_w ) → italic_α and the equation for the scalar field reduces to the simple massless Klein-Gordon equation.

By putting equal to zero the variation of the action δ𝒮=0𝛿𝒮0\delta\mathcal{S}=0italic_δ caligraphic_S = 0 with respect to the metric g𝑔gitalic_g, we get

δ𝒮=h(|ϕ|2)𝒢μν12gμν=0.𝛿𝒮superscriptitalic-ϕ2superscript𝒢𝜇𝜈12superscript𝑔𝜇𝜈0\displaystyle\delta\mathcal{S}=-h(|\nabla\phi|^{2})\mathcal{G}^{\mu\nu}-\frac{% 1}{2}\mathcal{L}g^{\mu\nu}=0.italic_δ caligraphic_S = - italic_h ( | ∇ italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) caligraphic_G start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG caligraphic_L italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = 0 . (21)

In empty spacetime 𝒢=0𝒢0{\mathcal{G}}=0caligraphic_G = 0 and =00\mathcal{L}=0caligraphic_L = 0, thus this equation is automatically satisfied independently on the value of g𝑔gitalic_g. Thus in this limit, the metric g𝑔gitalic_g is not determined by the action.
Let us now make some remarks about this warm-up derivation. We proposed a statistical mechanics framework that is very inspiring as we get the massless Klein-Gordon equation as the outcome of the minimization of a quantum entropy action for low coupling, i.e. 0<α10superscript𝛼much-less-than10<\alpha^{\prime}\ll 10 < italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≪ 1. However this approach has two important limitations. The first limitation is that the Klein-Gordon equation does not contain the mass term. The second limitation is that in absence of matter fields the metric is not determined. In the following we provide a more comprehensive framework to address these two limitations. This framework can be related to gravity as it gives rise to modified Einstein equations that reduce to the Einstein equations for low coupling.

Topological matter fields and their associated metrics-

In order to derive gravity from our entropic action we need to consider the topological bosonic matter field. The topological bosonic matter field is a type of Dirac-Kähler [22, 23] boson given by the direct sum of a zero-form and a one-form. Topological bosonic fields are receiving increasing attention in discrete theories developed in network [26] and lattice gauge theories [24, 25]. Taking into consideration topological bosonic fields will allow us to introduce in the metric induced by the matter fields, terms depending on the mass of the bosonic field. Thus, in this way, we address the first limitation of the warm-up scenario that we have presented above.

In order to address the second limitation of the warm-up scenario discussed previously, we include in the expression of the metric induced by the matter field, also terms depending directly on the curvature of the manifold. These terms will be expressed in terms of the Ricci scalar R𝑅Ritalic_R and the Ricci (covariant) tensor 𝐑𝐑{\bf R}bold_R of elements Rμνsubscript𝑅𝜇𝜈R_{\mu\nu}italic_R start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT. Moreover we also introduce a cosmological constant ΛΛ\Lambdaroman_Λ.

We define the topological fields |ΦketΦ\ket{\Phi}| start_ARG roman_Φ end_ARG ⟩ as the direct sum between a zero (complex valued) form ϕitalic-ϕ\phiitalic_ϕ and a (complex valued) one form ωμdxμsubscript𝜔𝜇𝑑superscript𝑥𝜇\omega_{\mu}dx^{\mu}italic_ω start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_d italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT, i.e.

|Φ=ϕωμdxμ,ketΦdirect-sumitalic-ϕsubscript𝜔𝜇𝑑superscript𝑥𝜇\displaystyle\ket{\Phi}=\phi\oplus\omega_{\mu}dx^{\mu},| start_ARG roman_Φ end_ARG ⟩ = italic_ϕ ⊕ italic_ω start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_d italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT , (22)

and its conjugate topological field Φ|braΦ\bra{\Phi}⟨ start_ARG roman_Φ end_ARG | as

Φ|=ϕ¯ω¯μdxμ.braΦdirect-sum¯italic-ϕsubscript¯𝜔𝜇𝑑superscript𝑥𝜇\displaystyle\bra{\Phi}=\bar{\phi}\oplus\bar{\omega}_{\mu}dx^{\mu}.⟨ start_ARG roman_Φ end_ARG | = over¯ start_ARG italic_ϕ end_ARG ⊕ over¯ start_ARG italic_ω end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_d italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT . (23)

The considered metric matrix g𝑔gitalic_g is defined as the direct sum of the metric matrix for zero-forms (the identity) and the metric matrix g𝑔gitalic_g for 1111-forms introduced previously,

g~=1gμνdxμdxν.~𝑔direct-sum1tensor-productsubscript𝑔𝜇𝜈𝑑superscript𝑥𝜇𝑑superscript𝑥𝜈\displaystyle\tilde{g}=1\oplus g_{\mu\nu}dx^{\mu}\otimes dx^{\nu}.over~ start_ARG italic_g end_ARG = 1 ⊕ italic_g start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT italic_d italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ⊗ italic_d italic_x start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT . (24)

The scalar product among topological fields is defined as

Φ|Φ=|ϕ|2+ω¯μωμ,inner-productΦΦsuperscriptitalic-ϕ2superscript¯𝜔𝜇subscript𝜔𝜇\displaystyle\left\langle{\Phi|\Phi}\right\rangle=|\phi|^{2}+\bar{\omega}^{\mu% }\omega_{\mu},⟨ roman_Φ | roman_Φ ⟩ = | italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + over¯ start_ARG italic_ω end_ARG start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT , (25)

where ωμωμ=ωνgνμωμsuperscript𝜔𝜇subscript𝜔𝜇subscript𝜔𝜈superscript𝑔𝜈𝜇subscript𝜔𝜇\omega^{\mu}\omega_{\mu}=\omega_{\nu}g^{\nu\mu}\omega_{\mu}italic_ω start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT = italic_ω start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_g start_POSTSUPERSCRIPT italic_ν italic_μ end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT, while the outer product is given by

|ΦΦ|=ϕ¯ϕ(ω¯μωνdxμdxν).ketΦbraΦdirect-sum¯italic-ϕitalic-ϕtensor-productsubscript¯𝜔𝜇subscript𝜔𝜈𝑑superscript𝑥𝜇𝑑superscript𝑥𝜈\displaystyle\ket{\Phi}\bra{\Phi}=\bar{\phi}\phi\oplus\Big{(}\bar{\omega}_{\mu% }{\omega}_{\nu}dx^{\mu}\otimes dx^{\nu}\Big{)}.| start_ARG roman_Φ end_ARG ⟩ ⟨ start_ARG roman_Φ end_ARG | = over¯ start_ARG italic_ϕ end_ARG italic_ϕ ⊕ ( over¯ start_ARG italic_ω end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_d italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ⊗ italic_d italic_x start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT ) . (26)

Indicating here with dϕ𝑑italic-ϕ{d}\phiitalic_d italic_ϕ the differential operator applied to ϕitalic-ϕ\phiitalic_ϕ and with δω𝛿𝜔{\delta}\omegaitalic_δ italic_ω the codifferential operator applied to ω𝜔\omegaitalic_ω, we define the Dirac operator D𝐷Ditalic_D as

D|Φ=δωdϕ=μωμμϕdxμ𝐷ketΦdirect-sum𝛿𝜔𝑑italic-ϕdirect-sumsuperscript𝜇subscript𝜔𝜇subscript𝜇italic-ϕ𝑑superscript𝑥𝜇\displaystyle{D}\ket{\Phi}={\delta}\omega\oplus{d}\phi=\nabla^{\mu}\omega_{\mu% }\oplus\nabla_{\mu}\phi dx^{\mu}italic_D | start_ARG roman_Φ end_ARG ⟩ = italic_δ italic_ω ⊕ italic_d italic_ϕ = ∇ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ⊕ ∇ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_ϕ italic_d italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT (27)

The metric 𝐆~~𝐆\tilde{\bf G}over~ start_ARG bold_G end_ARG induced by the topological matter field will have structure similar to g~~𝑔\tilde{g}over~ start_ARG italic_g end_ARG that we can write in full generality as

𝐆~~𝐆\displaystyle\tilde{\bf G}over~ start_ARG bold_G end_ARG =\displaystyle== G(0)+[G(1)]μνdxμdxν.subscript𝐺0tensor-productsubscriptdelimited-[]subscript𝐺1𝜇𝜈𝑑superscript𝑥𝜇𝑑superscript𝑥𝜈\displaystyle G_{(0)}+[G_{(1)}]_{\mu\nu}dx^{\mu}\otimes dx^{\nu}.italic_G start_POSTSUBSCRIPT ( 0 ) end_POSTSUBSCRIPT + [ italic_G start_POSTSUBSCRIPT ( 1 ) end_POSTSUBSCRIPT ] start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT italic_d italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ⊗ italic_d italic_x start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT . (28)

Proceeding as in the previous case we might wish to define the metric induced by the topological field as

𝐆~~𝐆\displaystyle\tilde{\bf G}over~ start_ARG bold_G end_ARG =\displaystyle== g~+α(D|ΦΦ|D),~𝑔𝛼𝐷ketΦbraΦ𝐷\displaystyle\tilde{g}+\alpha\Big{(}{D}\ket{\Phi}\bra{\Phi}D\Big{)},over~ start_ARG italic_g end_ARG + italic_α ( italic_D | start_ARG roman_Φ end_ARG ⟩ ⟨ start_ARG roman_Φ end_ARG | italic_D ) , (29)

where

D|ΦΦ|D=μω¯μνωνμϕ¯νϕdxμdxν.𝐷ketΦbraΦ𝐷direct-sumsuperscript𝜇subscript¯𝜔𝜇superscript𝜈subscript𝜔𝜈subscript𝜇¯italic-ϕsubscript𝜈tensor-productitalic-ϕ𝑑superscript𝑥𝜇𝑑superscript𝑥𝜈\displaystyle{D}\ket{\Phi}\bra{\Phi}D=\nabla^{\mu}\bar{\omega}_{\mu}\nabla^{% \nu}\omega_{\nu}\oplus\nabla_{\mu}\bar{\phi}\nabla_{\nu}\phi\ dx^{\mu}\otimes dx% ^{\nu}.italic_D | start_ARG roman_Φ end_ARG ⟩ ⟨ start_ARG roman_Φ end_ARG | italic_D = ∇ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT over¯ start_ARG italic_ω end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ∇ start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ⊕ ∇ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over¯ start_ARG italic_ϕ end_ARG ∇ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_ϕ italic_d italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ⊗ italic_d italic_x start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT . (30)

However, since we interpret the metric as a quantum density matrix, it make sense to add further terms in the metric induced by the topological matter field 𝐆~~𝐆\tilde{\bf G}over~ start_ARG bold_G end_ARG depending on the topological field and the geometry of the space. First, we introduce in 𝐆~~𝐆\tilde{\bf G}over~ start_ARG bold_G end_ARG a term proportional to (m2+R)|ΦΦ|superscript𝑚2𝑅ketΦbraΦ(m^{2}+R)\ket{\Phi}\bra{\Phi}( italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_R ) | start_ARG roman_Φ end_ARG ⟩ ⟨ start_ARG roman_Φ end_ARG | where R𝑅Ritalic_R is the Ricci scalar. Secondly, we introduce a term depending explicitly on the curvature of the manifold. Since 𝐆(0)subscript𝐆0{\bf G}_{(0)}bold_G start_POSTSUBSCRIPT ( 0 ) end_POSTSUBSCRIPT is a metric for 00-forms it is natural to consider a further term involving the Ricci scalar R𝑅Ritalic_R. Similarly, since 𝐆(1)subscript𝐆1{\bf G}_{(1)}bold_G start_POSTSUBSCRIPT ( 1 ) end_POSTSUBSCRIPT is a metric for 1111-forms it is natural to consider a further term involving the Ricci tensor 𝐑𝐑{\bf R}bold_R of elements Rμνsubscript𝑅𝜇𝜈R_{\mu\nu}italic_R start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT. Therefore we define the direct sum of the Ricci scalar and the Ricci tensor 𝓡𝓡\bm{\mathcal{R}}bold_caligraphic_R, given by

𝓡=R(Rμνdxμdxν).𝓡direct-sum𝑅tensor-productsubscript𝑅𝜇𝜈𝑑superscript𝑥𝜇𝑑superscript𝑥𝜈\displaystyle\bm{\mathcal{R}}=R\oplus(R_{\mu\nu}dx^{\mu}\otimes dx^{\nu}\Big{)}.bold_caligraphic_R = italic_R ⊕ ( italic_R start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT italic_d italic_x start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ⊗ italic_d italic_x start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT ) . (31)

where R=gμνRμν.𝑅superscript𝑔𝜇𝜈subscript𝑅𝜇𝜈R=g^{\mu\nu}R_{\mu\nu}.italic_R = italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT italic_R start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT .

We are now able to postulate that the metric induced by the geometry and the matter fields is given by

𝐆~~𝐆\displaystyle\tilde{\bf G}over~ start_ARG bold_G end_ARG =\displaystyle== g~+α(D|ΦΦ|D+(m2+R)|ΦΦ|)~𝑔𝛼𝐷ketΦbraΦ𝐷superscript𝑚2𝑅ketΦbraΦ\displaystyle\tilde{g}+\alpha\Big{(}{D}\ket{\Phi}\bra{\Phi}D+(m^{2}+R)\ket{% \Phi}\bra{\Phi}\Big{)}over~ start_ARG italic_g end_ARG + italic_α ( italic_D | start_ARG roman_Φ end_ARG ⟩ ⟨ start_ARG roman_Φ end_ARG | italic_D + ( italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_R ) | start_ARG roman_Φ end_ARG ⟩ ⟨ start_ARG roman_Φ end_ARG | ) (32)
β𝓡.𝛽𝓡\displaystyle-\beta\bm{\mathcal{R}}.- italic_β bold_caligraphic_R .

where α,β𝛼𝛽\alpha,\betaitalic_α , italic_β are positive constants. In particular, since we require 𝐆~~𝐆\tilde{\bf G}over~ start_ARG bold_G end_ARG to be adimensional, we need to consider α=αPd𝛼superscript𝛼superscriptsubscript𝑃𝑑\alpha=\alpha^{\prime}\ell_{P}^{d}italic_α = italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT italic_d end_POSTSUPERSCRIPT and β=βP2𝛽superscript𝛽superscriptsubscript𝑃2\beta=\beta^{\prime}\ell_{P}^{2}italic_β = italic_β start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT roman_ℓ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT where Psubscript𝑃\ell_{P}roman_ℓ start_POSTSUBSCRIPT italic_P end_POSTSUBSCRIPT is the Planck length and α,βsuperscript𝛼superscript𝛽\alpha^{\prime},\beta^{\prime}italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT , italic_β start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT are adimensional in the units =c=1Planck-constant-over-2-pi𝑐1\hbar=c=1roman_ℏ = italic_c = 1. According to this choice of the induced metric we obtain that 𝐆~~𝐆\tilde{\bf G}over~ start_ARG bold_G end_ARG has the structure given by Eq.(29) with G(0)subscript𝐺0{G}_{(0)}italic_G start_POSTSUBSCRIPT ( 0 ) end_POSTSUBSCRIPT and 𝐆(1)subscript𝐆1{\bf G}_{(1)}bold_G start_POSTSUBSCRIPT ( 1 ) end_POSTSUBSCRIPT given by

G(0)subscript𝐺0\displaystyle G_{(0)}italic_G start_POSTSUBSCRIPT ( 0 ) end_POSTSUBSCRIPT =\displaystyle== 1+α(μω¯μνων+(m2+R)ϕ¯ϕ)1𝛼superscript𝜇subscript¯𝜔𝜇superscript𝜈subscript𝜔𝜈superscript𝑚2𝑅¯italic-ϕitalic-ϕ\displaystyle 1+\alpha\Big{(}\nabla^{\mu}\bar{\omega}_{\mu}\nabla^{\nu}\omega_% {\nu}+(m^{2}+R)\bar{\phi}\phi\Big{)}1 + italic_α ( ∇ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT over¯ start_ARG italic_ω end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ∇ start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT + ( italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_R ) over¯ start_ARG italic_ϕ end_ARG italic_ϕ )
βR,𝛽𝑅\displaystyle-\beta R,- italic_β italic_R ,
[G(1)]μνsubscriptdelimited-[]subscript𝐺1𝜇𝜈\displaystyle{[G_{(1)}]}_{\mu\nu}[ italic_G start_POSTSUBSCRIPT ( 1 ) end_POSTSUBSCRIPT ] start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT =\displaystyle== gμν+α(μϕ¯νϕ+(m2+R)ω¯μων)subscript𝑔𝜇𝜈𝛼subscript𝜇¯italic-ϕsubscript𝜈italic-ϕsuperscript𝑚2𝑅subscript¯𝜔𝜇subscript𝜔𝜈\displaystyle g_{\mu\nu}+\alpha\Big{(}\nabla_{\mu}\bar{\phi}\nabla_{\nu}\phi+(% m^{2}+R)\bar{\omega}_{\mu}\omega_{\nu}\Big{)}italic_g start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT + italic_α ( ∇ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT over¯ start_ARG italic_ϕ end_ARG ∇ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_ϕ + ( italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_R ) over¯ start_ARG italic_ω end_ARG start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_ω start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT ) (33)
βRμν.𝛽subscript𝑅𝜇𝜈\displaystyle-\beta R_{\mu\nu}.- italic_β italic_R start_POSTSUBSCRIPT italic_μ italic_ν end_POSTSUBSCRIPT .

Possibly this approach could be extended to matter fields formed by the direct sum between a zero-form one -form and a two-form, thus involving an induced metric depending explicitly not only on the Ricci scalar and the Ricci tensor but also on the Riemann tensor. However, for simplicity, we consider here only topological matter fields formed by the direct sum between a zero-form and a one-form.

Refer to caption
Figure 1: The considered Lagrangian is given by the negative of the quantum relative entropy between the topological metric g~~𝑔\tilde{g}over~ start_ARG italic_g end_ARG of spacetime and the topological metric induced by the topological matter fields 𝐆~~𝐆\tilde{\bf G}over~ start_ARG bold_G end_ARG minus the cosmological constant ΛΛ\Lambdaroman_Λ. Since, by definition, the entropy of the metric vanishes identically, the quantum relative entropy in the Lagrangian 𝓛𝓛\bm{\mathcal{L}}bold_caligraphic_L reduces to two terms: the quantum cross-entropy and the cosmological constant term.

Entropic topological action- We propose a statistical mechanics action formulated in terms of the quantum relative entropy between the metric g~~𝑔\tilde{g}over~ start_ARG italic_g end_ARG and the metric 𝐆~~𝐆\tilde{\bf G}over~ start_ARG bold_G end_ARG induced by the topological matter fields. First of all we observe that also in this case the entropy H~~𝐻\tilde{H}over~ start_ARG italic_H end_ARG of the metric g~~𝑔\tilde{g}over~ start_ARG italic_g end_ARG vanishes. Indeed we define H~~𝐻\tilde{H}over~ start_ARG italic_H end_ARG as

H~=Trg~lng~1=1ln1+Trglng1=H.~𝐻Tr~𝑔superscript~𝑔111Tr𝑔superscript𝑔1𝐻\displaystyle\tilde{H}=\mbox{Tr}\tilde{g}\ln{\tilde{g}^{-1}}=1\ln 1+\mbox{Tr}g% \ln g^{-1}=H.over~ start_ARG italic_H end_ARG = Tr over~ start_ARG italic_g end_ARG roman_ln over~ start_ARG italic_g end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT = 1 roman_ln 1 + Tr italic_g roman_ln italic_g start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT = italic_H . (34)

and thus, we observe that since Eq.(7) holds, then H~=0~𝐻0\tilde{H}=0over~ start_ARG italic_H end_ARG = 0. The Lagrangian that we consider is given by the quantum relative entropy between g~~𝑔\tilde{g}over~ start_ARG italic_g end_ARG and 𝐆~~𝐆\tilde{\bf G}over~ start_ARG bold_G end_ARG, minus the cosmological constant ΛΛ\Lambdaroman_Λ

𝓛𝓛\displaystyle\bm{\mathcal{L}}bold_caligraphic_L :=assign\displaystyle:=:= Trg~lng1+Trg~ln𝐆~1ΛTr~𝑔superscript𝑔1Tr~𝑔superscript~𝐆1Λ\displaystyle-{\mbox{Tr}}\tilde{g}\ln{{g}^{-1}}+{\mbox{Tr}}\tilde{g}\ln{\tilde% {\bf G}^{-1}}-\Lambda- Tr over~ start_ARG italic_g end_ARG roman_ln italic_g start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT + Tr over~ start_ARG italic_g end_ARG roman_ln over~ start_ARG bold_G end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT - roman_Λ (35)
=\displaystyle== Trg~ln𝐆~1Λ.Tr~𝑔superscript~𝐆1Λ\displaystyle{\mbox{Tr}}\tilde{g}\ln{\tilde{\bf G}^{-1}}-\Lambda.Tr over~ start_ARG italic_g end_ARG roman_ln over~ start_ARG bold_G end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT - roman_Λ .

Since H~=0~𝐻0\tilde{H}=0over~ start_ARG italic_H end_ARG = 0 we thus obtain (see Figure 1 for an illustration)

𝓛𝓛\displaystyle\bm{\mathcal{L}}bold_caligraphic_L =\displaystyle== Trg~ln𝐆~1Λ.Tr~𝑔superscript~𝐆1Λ\displaystyle{\mbox{Tr}}\tilde{g}\ln{\tilde{\bf G}^{-1}}-\Lambda.Tr over~ start_ARG italic_g end_ARG roman_ln over~ start_ARG bold_G end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT - roman_Λ . (36)

By treating separately the contributions of G(0)superscript𝐺0{G^{(0)}}italic_G start_POSTSUPERSCRIPT ( 0 ) end_POSTSUPERSCRIPT and 𝐆(1)superscript𝐆1{\bf G}^{(1)}bold_G start_POSTSUPERSCRIPT ( 1 ) end_POSTSUPERSCRIPT we get the explicit expression for the Lagrangian 𝓛𝓛\bm{\mathcal{L}}bold_caligraphic_L given by

𝓛𝓛\displaystyle\bm{\mathcal{L}}bold_caligraphic_L :=assign\displaystyle:=:= ln[G(0)]1+Trgln[𝐆(1)]1Λ.\displaystyle\ln[{G_{(0)}}]^{-1}+\mbox{Tr}g\ln[{\bf G}_{(1)}]^{-1}-\Lambda.roman_ln [ italic_G start_POSTSUBSCRIPT ( 0 ) end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT + Tr italic_g roman_ln [ bold_G start_POSTSUBSCRIPT ( 1 ) end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT - roman_Λ . (37)

The resulting statistical mechanics action 𝒮𝒮\mathcal{S}caligraphic_S associated to the Lagrangian \mathcal{L}caligraphic_L is given by

𝒮=𝑑𝐫|g|𝓛.𝒮differential-d𝐫𝑔𝓛\displaystyle\mathcal{S}=\int d{\bf r}\sqrt{|-{g}|}\bm{\mathcal{L}}.caligraphic_S = ∫ italic_d bold_r square-root start_ARG | - italic_g | end_ARG bold_caligraphic_L . (38)

This action defines a modified theory of gravity. In the linearised limit α1much-less-thansuperscript𝛼1\alpha^{\prime}\ll 1italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≪ 1, β1much-less-thansuperscript𝛽1\beta^{\prime}\ll 1italic_β start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≪ 1 this action reduces to the Einstein-Hilbert action coupled with the scalar topological field. Indeed in this limit 𝓛𝓛\bm{\mathcal{L}}bold_caligraphic_L reduces to

𝓛𝓛\displaystyle\bm{\mathcal{L}}bold_caligraphic_L =\displaystyle== 2β(R2Λ)α(|ϕ|2+|μωμ|2)2𝛽𝑅2superscriptΛ𝛼superscriptitalic-ϕ2superscriptsuperscript𝜇subscript𝜔𝜇2\displaystyle 2{\beta}(R-2\Lambda^{\prime})-\alpha\Big{(}|\nabla\phi|^{2}+|% \nabla^{\mu}\omega_{\mu}|^{2}\Big{)}2 italic_β ( italic_R - 2 roman_Λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) - italic_α ( | ∇ italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + | ∇ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT ) (39)
α(m2+R)(|ϕ|2+ω¯μωμ),𝛼superscript𝑚2𝑅superscriptitalic-ϕ2superscript¯𝜔𝜇subscript𝜔𝜇\displaystyle-\alpha(m^{2}+R)\Big{(}|\phi|^{2}+\bar{\omega}^{\mu}\omega_{\mu}% \Big{)},- italic_α ( italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_R ) ( | italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + over¯ start_ARG italic_ω end_ARG start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT ) ,

where ΛsuperscriptΛ\Lambda^{\prime}roman_Λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT is the rescaled cosmological constant given by Λ=Λ/(4β).superscriptΛΛ4𝛽\Lambda^{\prime}=\Lambda/(4\beta).roman_Λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT = roman_Λ / ( 4 italic_β ) . In the interesting limit in which ωα=0subscript𝜔𝛼0\omega_{\alpha}=0italic_ω start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT = 0 and the bosonic matter field is only scalar, Eq.(39) reduces to the widely studied Einstein-Hilbert action [28, 29] coupled with the scalar field [33],

𝓛𝓛\displaystyle\bm{\mathcal{L}}bold_caligraphic_L =\displaystyle== 2β(R2Λ)α|ϕ|2α(m2+R)|ϕ|2.2𝛽𝑅2superscriptΛ𝛼superscriptitalic-ϕ2𝛼superscript𝑚2𝑅superscriptitalic-ϕ2\displaystyle 2{\beta}(R-2\Lambda^{\prime})-\alpha|\nabla\phi|^{2}-\alpha(m^{2% }+R)|\phi|^{2}.2 italic_β ( italic_R - 2 roman_Λ start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ) - italic_α | ∇ italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT - italic_α ( italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_R ) | italic_ϕ | start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT . (40)

Equation of motion for the matter field- Following similar steps used to derive Eq. (10) we can express the Lagrangian 𝓛𝓛\bm{\mathcal{L}}bold_caligraphic_L given by Eq.(36) as

𝓛=TrMlng~𝐆~1=TrMln𝐆~g~1.𝓛subscriptTr𝑀~𝑔superscript~𝐆1subscriptTr𝑀~𝐆superscript~𝑔1\displaystyle\bm{\mathcal{L}}=\mbox{Tr}_{M}\ln\tilde{g}{\tilde{\bf G}}^{-1}=-% \mbox{Tr}_{M}\ln\ {\tilde{\bf G}}\tilde{g}^{-1}.bold_caligraphic_L = Tr start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT roman_ln over~ start_ARG italic_g end_ARG over~ start_ARG bold_G end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT = - Tr start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT roman_ln over~ start_ARG bold_G end_ARG over~ start_ARG italic_g end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT . (41)

Therefore the variation of the Lagrangian is given by

δ𝓛𝛿𝓛\displaystyle\delta\bm{\mathcal{L}}italic_δ bold_caligraphic_L =\displaystyle== TrMg~𝐆~1[δ𝐆~g~1+𝐆~δg~1]subscriptTr𝑀~𝑔superscript~𝐆1delimited-[]𝛿~𝐆superscript~𝑔1~𝐆𝛿superscript~𝑔1\displaystyle-\mbox{Tr}_{M}\tilde{g}{\tilde{\bf G}}^{-1}[\delta{\tilde{\bf G}}% \tilde{g}^{-1}+{\tilde{\bf G}}\delta\tilde{g}^{-1}]- Tr start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT over~ start_ARG italic_g end_ARG over~ start_ARG bold_G end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT [ italic_δ over~ start_ARG bold_G end_ARG over~ start_ARG italic_g end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT + over~ start_ARG bold_G end_ARG italic_δ over~ start_ARG italic_g end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ] (42)
=\displaystyle== TrM𝐆~1δ𝐆~TrMg~δg~1subscriptTr𝑀superscript~𝐆1𝛿~𝐆subscriptTr𝑀~𝑔𝛿superscript~𝑔1\displaystyle-\mbox{Tr}_{M}{\tilde{\bf G}}^{-1}\delta{\tilde{\bf G}}-\mbox{Tr}% _{M}\tilde{g}\delta\tilde{g}^{-1}- Tr start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT over~ start_ARG bold_G end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT italic_δ over~ start_ARG bold_G end_ARG - Tr start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT over~ start_ARG italic_g end_ARG italic_δ over~ start_ARG italic_g end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT
=\displaystyle== TrMδ𝐆~𝐆~1+TrMδg~g~1.subscriptTr𝑀𝛿~𝐆superscript~𝐆1subscriptTr𝑀𝛿~𝑔superscript~𝑔1\displaystyle-\mbox{Tr}_{M}\delta{\tilde{\bf G}}{\tilde{\bf G}}^{-1}+\mbox{Tr}% _{M}\delta\tilde{g}\tilde{g}^{-1}.- Tr start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT italic_δ over~ start_ARG bold_G end_ARG over~ start_ARG bold_G end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT + Tr start_POSTSUBSCRIPT italic_M end_POSTSUBSCRIPT italic_δ over~ start_ARG italic_g end_ARG over~ start_ARG italic_g end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT .

In this scenario, by putting to zero the variation of the Lagrangian with respect to Φ|braΦ\bra{\Phi}⟨ start_ARG roman_Φ end_ARG | we get the following equation of motion

D𝐆~1D|Φ+𝐆~1(m2+R)|Φ=0.𝐷superscript~𝐆1𝐷ketΦsuperscript~𝐆1superscript𝑚2𝑅ketΦ0\displaystyle{D}{\tilde{\bf G}}^{-1}{D}\ket{\Phi}+{\tilde{\bf G}}^{-1}(m^{2}+R% )\ket{\Phi}=0.italic_D over~ start_ARG bold_G end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT italic_D | start_ARG roman_Φ end_ARG ⟩ + over~ start_ARG bold_G end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ( italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_R ) | start_ARG roman_Φ end_ARG ⟩ = 0 . (43)

In the interesting case in which ωμ=0subscript𝜔𝜇0\omega_{\mu}=0italic_ω start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT = 0, i.e. the bosonic matter field reduced to the scalar ϕitalic-ϕ\phiitalic_ϕ these equations of motions reduce to the Klein-Gordon equations with a non-zero mass term, i.e.

μgμννϕ+(m2+R)ϕ=0.subscriptbold-∇𝜇superscript𝑔𝜇𝜈subscriptbold-∇𝜈italic-ϕsuperscript𝑚2𝑅italic-ϕ0\displaystyle\bm{\nabla}_{\mu}g^{\mu\nu}\bm{\nabla}_{\nu}\phi+(m^{2}+R)\phi=0.bold_∇ start_POSTSUBSCRIPT italic_μ end_POSTSUBSCRIPT italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT bold_∇ start_POSTSUBSCRIPT italic_ν end_POSTSUBSCRIPT italic_ϕ + ( italic_m start_POSTSUPERSCRIPT 2 end_POSTSUPERSCRIPT + italic_R ) italic_ϕ = 0 . (44)

Thus this framework effectively overcomes the first limitation of the warm-up scenario as we recover the Klein-Gordon equation in curved spacetime in full.
Modified gravity- In order to obtain the modified Einstein equations we consider the variation of the action 𝒮𝒮\mathcal{S}caligraphic_S with respect to g𝑔gitalic_g. Putting δ𝒮=0𝛿𝒮0\delta\mathcal{S}=0italic_δ caligraphic_S = 0 we note that, since the Lagragian is non-linear, we also need to consider the contributions due to the variation of the Ricci tensor not contributing to the Einstein equations derived from the Einstein-Hilbert action. Taking into account these terms, and the Eq.(42) we thus get

βRμν[G(0)]112gμν𝓛+Bμν=T~μν.,𝛽superscript𝑅𝜇𝜈superscriptdelimited-[]subscript𝐺0112superscript𝑔𝜇𝜈𝓛superscript𝐵𝜇𝜈superscript~𝑇𝜇𝜈\displaystyle\beta R^{\mu\nu}[{G}_{(0)}]^{-1}-\frac{1}{2}g^{\mu\nu}\bm{% \mathcal{L}}+B^{\mu\nu}=\tilde{T}^{\mu\nu}.,italic_β italic_R start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT [ italic_G start_POSTSUBSCRIPT ( 0 ) end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT - divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT bold_caligraphic_L + italic_B start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = over~ start_ARG italic_T end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT . , (45)

where Bμνsuperscript𝐵𝜇𝜈B^{\mu\nu}italic_B start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT is given by

Bμνsuperscript𝐵𝜇𝜈\displaystyle B^{\mu\nu}italic_B start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT =\displaystyle== gμν[𝐆(1)1]μν+β(gμνσσμν)G(0)1superscript𝑔𝜇𝜈superscriptdelimited-[]subscriptsuperscript𝐆11𝜇𝜈𝛽superscript𝑔𝜇𝜈subscript𝜎superscript𝜎superscript𝜇superscript𝜈subscriptsuperscript𝐺10\displaystyle g^{\mu\nu}-[{\bf G}^{-1}_{(1)}]^{\mu\nu}+\beta\Big{(}g^{\mu\nu}% \nabla_{\sigma}\nabla^{\sigma}-\nabla^{\mu}\nabla^{\nu}\Big{)}{G}^{-1}_{(0)}italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT - [ bold_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ( 1 ) end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT + italic_β ( italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT ∇ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ∇ start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT - ∇ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ∇ start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT ) italic_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ( 0 ) end_POSTSUBSCRIPT
+12β(gμνσρ[𝐆(1)1]σρ+σσ[𝐆(1)1]μν\displaystyle+\frac{1}{2}\beta\Big{(}g^{\mu\nu}\nabla^{\sigma}\nabla^{\rho}{[{% \bf G}^{-1}_{(1)}]}_{\sigma\rho}+\nabla_{\sigma}\nabla^{\sigma}{[{\bf G}^{-1}_% {(1)}]}^{\mu\nu}+ divide start_ARG 1 end_ARG start_ARG 2 end_ARG italic_β ( italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT ∇ start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT ∇ start_POSTSUPERSCRIPT italic_ρ end_POSTSUPERSCRIPT [ bold_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ( 1 ) end_POSTSUBSCRIPT ] start_POSTSUBSCRIPT italic_σ italic_ρ end_POSTSUBSCRIPT + ∇ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ∇ start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT [ bold_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ( 1 ) end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT
σρgρν{[𝐆(1)1]σμ+[𝐆(1)1]μσ]}\displaystyle\hskip 28.45274pt-\nabla_{\sigma}\nabla_{\rho}g^{\rho\nu}\{{[{\bf G% }^{-1}_{(1)}]}^{\sigma\mu}+{[{\bf G}^{-1}_{(1)}]}^{\mu\sigma}]\}- ∇ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ∇ start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT italic_g start_POSTSUPERSCRIPT italic_ρ italic_ν end_POSTSUPERSCRIPT { [ bold_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ( 1 ) end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT italic_σ italic_μ end_POSTSUPERSCRIPT + [ bold_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ( 1 ) end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT italic_μ italic_σ end_POSTSUPERSCRIPT ] }
+σρ{gσν[𝐆(1)1]μρgσμ[𝐆(1)1]νρ}).\displaystyle\hskip 28.45274pt+\nabla_{\sigma}\nabla_{\rho}\left\{g^{\sigma\nu% }{[{\bf G}^{-1}_{(1)}]}^{\mu\rho}-g^{\sigma\mu}{[{\bf G}^{-1}_{(1)}]}^{\nu\rho% }\right\}\Big{)}.+ ∇ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ∇ start_POSTSUBSCRIPT italic_ρ end_POSTSUBSCRIPT { italic_g start_POSTSUPERSCRIPT italic_σ italic_ν end_POSTSUPERSCRIPT [ bold_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ( 1 ) end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT italic_μ italic_ρ end_POSTSUPERSCRIPT - italic_g start_POSTSUPERSCRIPT italic_σ italic_μ end_POSTSUPERSCRIPT [ bold_G start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT start_POSTSUBSCRIPT ( 1 ) end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT italic_ν italic_ρ end_POSTSUPERSCRIPT } ) .

In Eq.(45) we have indicated with T~μνsuperscript~𝑇𝜇𝜈\tilde{T}^{\mu\nu}over~ start_ARG italic_T end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT the tensor given by

T~μνsuperscript~𝑇𝜇𝜈\displaystyle{\tilde{T}}^{\mu\nu}over~ start_ARG italic_T end_ARG start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT =\displaystyle== α(Rμν+gμνσσμν)Φ|𝐆~1|Φ𝛼superscript𝑅𝜇𝜈superscript𝑔𝜇𝜈subscript𝜎superscript𝜎superscript𝜇superscript𝜈braΦsuperscript~𝐆1ketΦ\displaystyle\alpha\Big{(}R^{\mu\nu}+g^{\mu\nu}\nabla_{\sigma}\nabla^{\sigma}-% \nabla^{\mu}\nabla^{\nu}\Big{)}\bra{\Phi}{\tilde{\bf G}}^{-1}\ket{\Phi}italic_α ( italic_R start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT + italic_g start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT ∇ start_POSTSUBSCRIPT italic_σ end_POSTSUBSCRIPT ∇ start_POSTSUPERSCRIPT italic_σ end_POSTSUPERSCRIPT - ∇ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT ∇ start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT ) ⟨ start_ARG roman_Φ end_ARG | over~ start_ARG bold_G end_ARG start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT | start_ARG roman_Φ end_ARG ⟩ (46)
+αKμν[G(0)]1,𝛼superscript𝐾𝜇𝜈superscriptdelimited-[]subscript𝐺01\displaystyle+\alpha K^{\mu\nu}[{G_{(0)}}]^{-1},+ italic_α italic_K start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT [ italic_G start_POSTSUBSCRIPT ( 0 ) end_POSTSUBSCRIPT ] start_POSTSUPERSCRIPT - 1 end_POSTSUPERSCRIPT ,

with

Kμν=μω¯ναωα+αω¯αμων.superscript𝐾𝜇𝜈superscript𝜇superscript¯𝜔𝜈superscript𝛼subscript𝜔𝛼superscript𝛼subscript¯𝜔𝛼superscript𝜇superscript𝜔𝜈\displaystyle K^{\mu\nu}=\nabla^{\mu}\bar{\omega}^{\nu}\nabla^{\alpha}\omega_{% \alpha}+\nabla^{\alpha}\bar{\omega}_{\alpha}\nabla^{\mu}\omega^{\nu}.italic_K start_POSTSUPERSCRIPT italic_μ italic_ν end_POSTSUPERSCRIPT = ∇ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT over¯ start_ARG italic_ω end_ARG start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT ∇ start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT italic_ω start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT + ∇ start_POSTSUPERSCRIPT italic_α end_POSTSUPERSCRIPT over¯ start_ARG italic_ω end_ARG start_POSTSUBSCRIPT italic_α end_POSTSUBSCRIPT ∇ start_POSTSUPERSCRIPT italic_μ end_POSTSUPERSCRIPT italic_ω start_POSTSUPERSCRIPT italic_ν end_POSTSUPERSCRIPT . (47)

As expected the Eq.(45) reduce to the Einstein equations for α1much-less-thansuperscript𝛼1\alpha^{\prime}\ll 1italic_α start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≪ 1 and β1much-less-thansuperscript𝛽1\beta^{\prime}\ll 1italic_β start_POSTSUPERSCRIPT ′ end_POSTSUPERSCRIPT ≪ 1. This implies, among the other things, that by adding to 𝐆~~𝐆\tilde{\bf G}over~ start_ARG bold_G end_ARG the term proportional to 𝓡𝓡\bm{\mathcal{R}}bold_caligraphic_R we solve the second limitation of the warm-up scenario, and we obtain that the entropic action allows for the full determination of the metric in the vacuum.
The study of the solutions of the modified Einstein equations (45) is beyond the scope of this paper and will be considered in future works.

In conclusion this work proposes a modified theory of gravity emerging from statistical mechanics and information theory action. The approach is based on the interpretation of the metric as a density matrix albeit its trace is not unitary, pointing out to possible connections of this approach to von Newmann algebras and the theory of entanglement in quantum field theories [12]. The statistical mechanics action is given by the quantum relative entropy between the metric and the metric induced by the matter fields. Here a Lorentzian theory consistent with this fundamental physical interpretation of gravity is formulated. In order to do this we have built the necessary mathematical background to define the entropy and the cross-entropy of rank 2 tensors in a Lorentzian well defined way. A modified gravity is emerging from this framework when the matter fields are described by topological Dirac-Kähler bosons formed by the direct sum between a zero and a one form and the induced metric also depends on the curvature of spacetime. The modified Einstein equations reduce to the Einstein equations in the regime of low coupling.

We hope that this approach can help identify the deep connections between gravity and statistical physics. Given the interpretation of the metric as a density matrix our hope is that this approach will also be instrumental to formulate new approaches to quantum gravity.

This work was partially supported by a grant from the Simons Foundation. The author would like to thank the Isaac Newton Institute for Mathematical Sciences, Cambridge, for support and hospitality during the programme Hypergraphs: Theory and Applications, where work on this paper was undertaken. This work was supported by EPSRC grant EP/R014604/1.

References

  • [1] Jacob D Bekenstein. Black holes and entropy. Physical Review D, 7(8):2333, 1973.
  • [2] Jacob D Bekenstein. Generalized second law of thermodynamics in black-hole physics. Physical Review D, 9(12):3292, 1974.
  • [3] Stephen W Hawking. Particle creation by black holes. Communications in Mathematical Physics, 43(3):199–220, 1975.
  • [4] Shinsei Ryu and Tadashi Takayanagi. Aspects of holographic entanglement entropy. Journal of High Energy Physics, 2006(08):045, 2006.
  • [5] Ted Jacobson. Thermodynamics of spacetime: the Einstein equation of state. Physical Review Letters, 75(7):1260, 1995.
  • [6] Sean M Carroll and Grant N Remmen. What is the entropy in entropic gravity? Physical Review D, 93(12):124052, 2016.
  • [7] Goffredo Chirco, Hal M Haggard, Aldo Riello, and Carlo Rovelli. Spacetime thermodynamics without hidden degrees of freedom. Physical Review D, 90(4):044044, 2014.
  • [8] Goffredo Chirco and Stefano Liberati. Nonequilibrium thermodynamics of spacetime: The role of gravitational dissipation. Physical Review D—Particles, Fields, Gravitation, and Cosmology, 81(2):024016, 2010.
  • [9] Erik Verlinde. On the origin of gravity and the laws of newton. Journal of High Energy Physics, 2011(4):1–27, 2011.
  • [10] Gerard’t Hooft. The holographic principle. In Basics and Highlights in Fundamental Physics, pages 72–100. World Scientific, 2001.
  • [11] Leonard Susskind. The world as a hologram. Journal of Mathematical Physics, 36(11):6377–6396, 1995.
  • [12] Edward Witten. APS Medal for Exceptional Achievement in Research: Invited article on entanglement properties of quantum field theory. Reviews of Modern Physics, 90(4):045003, 2018.
  • [13] Thanu Padmanabhan. Thermodynamical aspects of gravity: new insights. Reports on Progress in Physics, 73(4):046901, 2010.
  • [14] Emanuele Berti, Enrico Barausse, Vitor Cardoso, Leonardo Gualtieri, Paolo Pani, Ulrich Sperhake, Leo C Stein, Norbert Wex, Kent Yagi, Tessa Baker, et al. Testing general relativity with present and future astrophysical observations. Classical and Quantum Gravity, 32(24):243001, 2015.
  • [15] Enrico Barausse, Emanuele Berti, Thomas Hertog, Scott A Hughes, Philippe Jetzer, Paolo Pani, Thomas P Sotiriou, Nicola Tamanini, Helvi Witek, Kent Yagi, et al. Prospects for fundamental physics with lisa. General Relativity and Gravitation, 52:1–33, 2020.
  • [16] Carlo Rovelli and Francesca Vidotto. Covariant loop quantum gravity: an elementary introduction to quantum gravity and spinfoam theory. Cambridge University Press, 2015.
  • [17] Jan Ambjørn, Jerzy Jurkiewicz, and Renate Loll. Emergence of a 4D world from causal quantum gravity. Physical Review Letters, 93(13):131301, 2004.
  • [18] Alessandro Codello, Roberto Percacci, and Christoph Rahmede. Investigating the ultraviolet properties of gravity with a Wilsonian renormalization group equation. Annals of Physics, 324(2):414–469, 2009.
  • [19] Astrid Eichhorn. An asymptotically safe guide to quantum gravity and matter. Frontiers in Astronomy and Space Sciences, 5:47, 2019.
  • [20] Daniele Oriti. Approaches to quantum gravity: Toward a new understanding of space, time and matter. Cambridge University Press, 2009.
  • [21] Carlos Barcelo, Stefano Liberati, and Matt Visser. Analogue gravity. Living reviews in relativity, 14:1–159, 2011.
  • [22] SI Kruglov. Dirac–Kähler equation. International Journal of Theoretical Physics, 41(4):653–687, 2002.
  • [23] Peter Becher and Hans Joos. The Dirac-Kähler equation and fermions on the lattice. Zeitschrift für Physik C Particles and Fields, 15:343–365, 1982.
  • [24] David Berenstein, Simon Catterall, and PN Lloyd. Staggered bosons and Kahler-Dirac bosons. arXiv preprint arXiv:2405.03758, 2024.
  • [25] David Berenstein. Staggered bosons. Physical Review D, 108(7):074509, 2023.
  • [26] Ginestra Bianconi. Quantum entropy couples matter with geometry. J. Phys. A: Math. Theor., (in press), 2024.
  • [27] Mikio Nakahara. Geometry, topology and physics. CRC press, 2018.
  • [28] Albert Einstein. Die feldgleichungen der gravitation. Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften, pages 844–847, 1915.
  • [29] Sean M Carroll. Spacetime and geometry. Cambridge University Press, 2019.
  • [30] Ginestra Bianconi. The mass of simple and higher-order networks. Journal of Physics A: Mathematical and Theoretical, 57(1):015001, 2023.
  • [31] Nicolas Delporte, Saswato Sen, and Reiko Toriumi. Dirac walks on regular trees. Journal of Physics A: Mathematical and Theoretical, 2023.
  • [32] Esko Keski-Vakkuri, Claus Montonen, and Marco Panero. Mathematical Methods for Physics: An Introduction to Group Theory, Topology and Geometry. Cambridge University Press, 2022.
  • [33] Viatcheslav Mukhanov and Sergei Winitzki. Introduction to quantum effects in gravity. Cambridge University Press, 2007.