<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.4 20241031//EN" "JATS-journalpublishing1-4.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article" dtd-version="1.4" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">ijmnta</journal-id>
      <journal-title-group>
        <journal-title>International Journal of Modern Nonlinear Theory and Application</journal-title>
      </journal-title-group>
      <issn pub-type="epub">2167-9487</issn>
      <issn pub-type="ppub">2167-9479</issn>
      <publisher>
        <publisher-name>Scientific Research Publishing</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.4236/ijmnta.2026.152004</article-id>
      <article-id pub-id-type="publisher-id">ijmnta-152004</article-id>
      <article-categories>
        <subj-group>
          <subject>Article</subject>
        </subj-group>
        <subj-group>
          <subject>Engineering</subject>
          <subject>Physics</subject>
          <subject>Mathematics</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Entanglement as a Gravitational Mechanism</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name name-style="western">
            <surname>Kovach</surname>
            <given-names>Daniel</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
      </contrib-group>
      <aff id="aff1"><label>1</label> Kovach Technologies, Tampa, USA </aff>
      <author-notes>
        <fn fn-type="conflict" id="fn-conflict">
          <p>The author declares no conflicts of interest regarding the publication of this paper.</p>
        </fn>
      </author-notes>
      <pub-date pub-type="epub">
        <day>23</day>
        <month>06</month>
        <year>2026</year>
      </pub-date>
      <pub-date pub-type="collection">
        <month>06</month>
        <year>2026</year>
      </pub-date>
      <volume>15</volume>
      <issue>02</issue>
      <fpage>31</fpage>
      <lpage>38</lpage>
      <history>
        <date date-type="received">
          <day>30</day>
          <month>03</month>
          <year>2026</year>
        </date>
        <date date-type="accepted">
          <day>20</day>
          <month>06</month>
          <year>2026</year>
        </date>
        <date date-type="published">
          <day>23</day>
          <month>06</month>
          <year>2026</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>© 2026 by the authors and Scientific Research Publishing Inc.</copyright-statement>
        <copyright-year>2026</copyright-year>
        <license license-type="open-access">
          <license-p> This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license ( <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">https://creativecommons.org/licenses/by/4.0/</ext-link> ). </license-p>
        </license>
      </permissions>
      <self-uri content-type="doi" xlink:href="https://doi.org/10.4236/ijmnta.2026.152004">https://doi.org/10.4236/ijmnta.2026.152004</self-uri>
      <abstract>
        <p>We propose that gravitational attraction emerges from networks of quantum entanglement among spacetime degrees of freedom, particularly the entangled virtual-particle pairs that populate the quantum vacuum in quantum field theory (QFT). In this picture, regions of higher entanglement density stitch space together, generating an effective attractive force that manifests macroscopically as gravity. Working within a discrete graph-theoretic framework, we model spacetime as a weighted graph whose nodes carry local mass-energy and whose edge weights encode the mutual information of the vacuum states. Using Ollivier-Ricci curvature (which compares Wasserstein transport distances on local mass measures to the graph metric), we derive the discrete analogue of the Ricci tensor and scalar. Contracting these yields the Einstein tensor <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>G</p>
        <p>ij</p>
        <p>. In the continuum limit the graph equations satisfy the Einstein field equations<inline-formula><mml:math></mml:math></inline-formula></p>
        <p>G</p>
        <p>μν</p>
        <p>=</p>
        <p>8πG</p>
        <p>c</p>
        <p>4</p>
        <p>T</p>
        <p>μν</p>
        <p>,with the coupling constant fixed by matching to the Newtonian limit. This construction provides a purely quantum-information-theoretic origin for gravity consistent with the QFT vacuum structure and with known results on emergent geometry from random graphs.</p>
      </abstract>
      <kwd-group kwd-group-type="author-generated" xml:lang="en">
        <kwd>Entanglement</kwd>
        <kwd>Gravity</kwd>
        <kwd>Quantum Gravity</kwd>
        <kwd>General Relativity</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec1">
      <title>1. Introduction</title>
      <p>The vacuum of a quantum field theory is not empty, it is a seething sea of virtual particle-antiparticle pairs whose quantum states are strongly entangled over short distances [<xref ref-type="bibr" rid="B1">1</xref>]. In QFT, the vacuum two-point correlation functions and the entanglement entropy of spatial subregions obey an area law, implying that entanglement is predominantly local [<xref ref-type="bibr" rid="B2">2</xref>]. More distant regions share progressively less entanglement. Leonard Susskind has emphasized that “the story seems to be that entanglement stitches space together. It really is the stuff that holds space together” [<xref ref-type="bibr" rid="B3">3</xref>]. This idea traces back to the ER = EPR conjecture of Maldacena and Susskind, in which Einstein-Rosen bridges (wormholes) are identified with quantum entanglement between distant regions [<xref ref-type="bibr" rid="B3">3</xref>].</p>
      <p>We take these insights one step further and propose that gravitational attraction is the macroscopic consequence of this entanglement network. Two massive bodies are gravitationally attracted precisely because they occupy regions of spacetime that, on average, share a greater density of entangled vacuum fluctuations than more distant pairs. The collective effect of countless such microscopic entanglements produces an emergent force that scales inversely with the square of the separation, precisely the Newtonian limit of gravity. In the language of graph theory, the nodes represent localized bundles of QFT degrees of freedom (or discretized spacetime points), and the edge weights are proportional to the mutual information between their vacuum states. Proximity in the embedding space therefore correlates with stronger entanglement edges.</p>
      <p>Time itself emerges from the unitary evolution of the quantum state. Each infinitesimal time step corresponds to the application of a unitary operator on the entangled network.</p>
      <p><bold>Remark 1</bold>. <italic>The dual</italic>-<italic>cover property of</italic><italic>unitaries</italic><italic>in three real dimensions naturally selects a three</italic>-<italic>dimensional spatial geometry for the emergent manifold. This observation is consistent with the well</italic>-<italic>known double</italic>-<italic>cover relation</italic><inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mi> U </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mn> 2 </mml:mn><mml:mo> ) </mml:mo></mml:mrow><mml:mo> → </mml:mo><mml:mi> S </mml:mi><mml:mi> O </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mn> 3 </mml:mn><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> [<xref ref-type="bibr" rid="B4">4</xref>][<xref ref-type="bibr" rid="B5">5</xref>]<italic>. We leave</italic><italic>a rigorous</italic><italic>treatment of this connection for future work.</italic></p>
      <p>The graph deforms continuously under these unitary updates, and the resulting curvature is identified with the Einstein tensor. In this way we obtain a microscopic, entanglement-driven mechanism for both the geometry of space and the dynamics of gravity, all within the framework of ordinary QFT.</p>
      <sec id="sec1dot1">
        <title>Relation to Prior Work</title>
        <p>This construction is related to, but distinct from, several recent approaches to emergent gravity. Jacobson [<xref ref-type="bibr" rid="B6">6</xref>] derived the Einstein equation as a thermodynamic equation of state, while Verlinde [<xref ref-type="bibr" rid="B7">7</xref>] proposed gravity as an entropic force arising from an information-theoretic holographic screen. Van Raamsdonk [<xref ref-type="bibr" rid="B8">8</xref>] demonstrated that entanglement entropy directly controls the connectedness of spacetime in AdS/CFT. Our approach differs from all three in working directly with the graph-theoretic Ollivier-Ricci curvature on an entanglement network, without assuming a holographic duality or a thermodynamic ensemble, and in deriving rather than postulating the gravitational coupling constant via an explicit Newtonian limit calculation.</p>
      </sec>
    </sec>
    <sec id="sec2">
      <title>2. Graph Theory and Entanglement Weights</title>
      <p>Let the underlying structure be an undirected weighted graph <inline-formula><mml:math><mml:mrow><mml:mi> G </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> V </mml:mi><mml:mo> , </mml:mo><mml:mi> E </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> whose vertex set <inline-formula><mml:math><mml:mi> V </mml:mi></mml:math></inline-formula> consists of nodes located at coordinate positions <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> r </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> ∈ </mml:mo><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> . Each node <inline-formula><mml:math><mml:mi> i </mml:mi></mml:math></inline-formula> carries a mass-energy <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> m </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> that will later be identified with the local energy density of the QFT vacuum.</p>
      <p>The entanglement strength between neighboring nodes <inline-formula><mml:math><mml:mi> x </mml:mi></mml:math></inline-formula> and <inline-formula><mml:math><mml:mi> y </mml:mi></mml:math></inline-formula> is defined as the mutual information of their vacuum reduced density matrices [<xref ref-type="bibr" rid="B2">2</xref>][<xref ref-type="bibr" rid="B9">9</xref>][<xref ref-type="bibr" rid="B10">10</xref>]:</p>
      <disp-formula id="FD1">
        <label>(1)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>w</mml:mi>
              <mml:mrow>
                <mml:mi>x</mml:mi>
                <mml:mi>y</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mi>I</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>H</mml:mi>
                  <mml:mi>x</mml:mi>
                </mml:msub>
                <mml:mo>:</mml:mo>
                <mml:msub>
                  <mml:mi>H</mml:mi>
                  <mml:mi>y</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>S</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>ρ</mml:mi>
                  <mml:mi>x</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:mi>S</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>ρ</mml:mi>
                  <mml:mi>y</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:mi>S</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>ρ</mml:mi>
                  <mml:mrow>
                    <mml:mi>x</mml:mi>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where <inline-formula><mml:math><mml:mrow><mml:mi> S </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> ρ </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:mi> T </mml:mi><mml:mi> r </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> ρ </mml:mi><mml:mi> log </mml:mi><mml:mi> ρ </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is the von Neumann entropy. In a relativistic QFT vacuum this quantity decays with distance according to the area law:</p>
      <disp-formula id="FD2">
        <label>(2)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>w</mml:mi>
              <mml:mrow>
                <mml:mi>x</mml:mi>
                <mml:mi>y</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>~</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>c</mml:mi>
                  <mml:mn>0</mml:mn>
                </mml:msub>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>d</mml:mi>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>x</mml:mi>
                        <mml:mo>,</mml:mo>
                        <mml:mi>y</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mn>2</mml:mn>
                    <mml:mi>Δ</mml:mi>
                  </mml:mrow>
                </mml:msup>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where <inline-formula><mml:math><mml:mi> Δ </mml:mi></mml:math></inline-formula> is the scaling dimension of the relevant field operator and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> c </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> is a constant fixed by the QFT. The Euclidean distance between nodes is</p>
      <disp-formula id="FD3">
        <label>(3)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>d</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>‖</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>r</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>r</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>‖</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
    </sec>
    <sec id="sec3">
      <title>3. Graph Structure and Geometry</title>
      <p>We use metric signature <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> + </mml:mo><mml:mo> , </mml:mo><mml:mo> − </mml:mo><mml:mo> , </mml:mo><mml:mo> − </mml:mo><mml:mo> , </mml:mo><mml:mo> − </mml:mo></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> throughout. Lowercase Latin indices <inline-formula><mml:math><mml:mrow><mml:mi> i </mml:mi><mml:mo> , </mml:mo><mml:mi> j </mml:mi><mml:mo> , </mml:mo><mml:mi> k </mml:mi></mml:mrow></mml:math></inline-formula> run over spatial components 1, 2, 3; Greek indices <inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> , </mml:mo><mml:mi> ν </mml:mi></mml:mrow></mml:math></inline-formula> run over spacetime components 0, 1, 2, 3. We retain explicit factors of <inline-formula><mml:math><mml:mi> c </mml:mi></mml:math></inline-formula> where needed for the Newtonian limit.</p>
      <p><bold>Assumption 1</bold> (Spanning). <italic>For each node</italic><inline-formula><mml:math><mml:mrow><mml:mi> x </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> V </mml:mi></mml:mrow></mml:math></inline-formula> ,<italic>the set of unit vectors</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mrow><mml:mi> x </mml:mi><mml:mi> y </mml:mi></mml:mrow></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mi> y </mml:mi><mml:mo> ∈ </mml:mo><mml:msub><mml:mi> N </mml:mi><mml:mi> x </mml:mi></mml:msub></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula><italic>spans</italic><inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> R </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula><italic>.</italic></p>
      <p>We work in a locally Euclidean embedding. Define the entanglement-weighted metric at node <inline-formula><mml:math><mml:mi> x </mml:mi></mml:math></inline-formula> :</p>
      <disp-formula id="FD4">
        <label>(4)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mstyle displaystyle="true">
                  <mml:msub>
                    <mml:mo>∑</mml:mo>
                    <mml:mrow>
                      <mml:mi>y</mml:mi>
                      <mml:mo>∈</mml:mo>
                      <mml:msub>
                        <mml:mi>N</mml:mi>
                        <mml:mi>x</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>w</mml:mi>
                      <mml:mrow>
                        <mml:mi>x</mml:mi>
                        <mml:mi>y</mml:mi>
                      </mml:mrow>
                    </mml:msub>
                    <mml:msubsup>
                      <mml:mi>l</mml:mi>
                      <mml:mrow>
                        <mml:mi>x</mml:mi>
                        <mml:mi>y</mml:mi>
                      </mml:mrow>
                      <mml:mn>2</mml:mn>
                    </mml:msubsup>
                    <mml:msubsup>
                      <mml:mi>e</mml:mi>
                      <mml:mrow>
                        <mml:mi>x</mml:mi>
                        <mml:mi>y</mml:mi>
                      </mml:mrow>
                      <mml:mi>i</mml:mi>
                    </mml:msubsup>
                    <mml:msubsup>
                      <mml:mi>e</mml:mi>
                      <mml:mrow>
                        <mml:mi>x</mml:mi>
                        <mml:mi>y</mml:mi>
                      </mml:mrow>
                      <mml:mi>j</mml:mi>
                    </mml:msubsup>
                  </mml:mrow>
                </mml:mstyle>
              </mml:mrow>
              <mml:mrow>
                <mml:mstyle displaystyle="true">
                  <mml:msub>
                    <mml:mo>∑</mml:mo>
                    <mml:mrow>
                      <mml:mi>y</mml:mi>
                      <mml:mo>∈</mml:mo>
                      <mml:msub>
                        <mml:mi>N</mml:mi>
                        <mml:mi>x</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                  </mml:msub>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>w</mml:mi>
                      <mml:mrow>
                        <mml:mi>x</mml:mi>
                        <mml:mi>y</mml:mi>
                      </mml:mrow>
                    </mml:msub>
                  </mml:mrow>
                </mml:mstyle>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> l </mml:mi><mml:mrow><mml:mi> x </mml:mi><mml:mi> y </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mi> d </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> , </mml:mo><mml:mi> y </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mrow><mml:mi> x </mml:mi><mml:mi> y </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mrow><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> r </mml:mi><mml:mi> y </mml:mi></mml:msub><mml:mo> − </mml:mo><mml:msub><mml:mi> r </mml:mi><mml:mi> x </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> / </mml:mo><mml:mrow><mml:msub><mml:mi> l </mml:mi><mml:mrow><mml:mi> x </mml:mi><mml:mi> y </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mrow></mml:mrow></mml:math></inline-formula> . This metric is symmetric and positive definite under the Spanning Assumption, and reduces to <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> δ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> in flat space with uniform entanglement.</p>
      <p>Define a local curvature scalar between neighboring nodes <inline-formula><mml:math><mml:mi> x </mml:mi></mml:math></inline-formula> and <inline-formula><mml:math><mml:mi> y </mml:mi></mml:math></inline-formula> via the normalized Wasserstein-1 distance <inline-formula><mml:math><mml:mrow><mml:mi> W </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> m </mml:mi><mml:mi> x </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> m </mml:mi><mml:mi> y </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> between the mass measures supported on their respective neighborhoods [<xref ref-type="bibr" rid="B11">11</xref>]:</p>
      <disp-formula id="FD5">
        <label>(5)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>κ</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>x</mml:mi>
                <mml:mo>,</mml:mo>
                <mml:mi>y</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>−</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mi>W</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>m</mml:mi>
                      <mml:mi>x</mml:mi>
                    </mml:msub>
                    <mml:mo>,</mml:mo>
                    <mml:msub>
                      <mml:mi>m</mml:mi>
                      <mml:mi>y</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>d</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>x</mml:mi>
                    <mml:mo>,</mml:mo>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Positive, negative, and vanishing <inline-formula><mml:math><mml:mi> κ </mml:mi></mml:math></inline-formula> correspond to positive, negative, and zero curvature, respectively:</p>
      <disp-formula id="FD6">
        <label>(6)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>κ</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>x</mml:mi>
                <mml:mo>,</mml:mo>
                <mml:mi>y</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>−</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mi>W</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>m</mml:mi>
                      <mml:mi>x</mml:mi>
                    </mml:msub>
                    <mml:mo>,</mml:mo>
                    <mml:msub>
                      <mml:mi>m</mml:mi>
                      <mml:mi>y</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>d</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>x</mml:mi>
                    <mml:mo>,</mml:mo>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Following Ollivier [<xref ref-type="bibr" rid="B11">11</xref>], the weighted transport measure from <inline-formula><mml:math><mml:mi> x </mml:mi></mml:math></inline-formula> is:</p>
      <disp-formula id="FD7">
        <label>(7)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>m</mml:mi>
              <mml:mi>x</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>z</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mtable columnalign="left">
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mrow>
                            <mml:msub>
                              <mml:mi>w</mml:mi>
                              <mml:mrow>
                                <mml:mi>x</mml:mi>
                                <mml:mi>z</mml:mi>
                              </mml:mrow>
                            </mml:msub>
                          </mml:mrow>
                          <mml:mo>/</mml:mo>
                          <mml:mrow>
                            <mml:mstyle displaystyle="true">
                              <mml:msub>
                                <mml:mo>∑</mml:mo>
                                <mml:mrow>
                                  <mml:mi>y</mml:mi>
                                  <mml:mo>∈</mml:mo>
                                  <mml:msub>
                                    <mml:mi>N</mml:mi>
                                    <mml:mi>x</mml:mi>
                                  </mml:msub>
                                </mml:mrow>
                              </mml:msub>
                              <mml:mrow>
                                <mml:msub>
                                  <mml:mi>w</mml:mi>
                                  <mml:mrow>
                                    <mml:mi>x</mml:mi>
                                    <mml:mi>y</mml:mi>
                                  </mml:mrow>
                                </mml:msub>
                              </mml:mrow>
                            </mml:mstyle>
                          </mml:mrow>
                        </mml:mrow>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mi>z</mml:mi>
                        <mml:mo>∈</mml:mo>
                        <mml:msub>
                          <mml:mi>N</mml:mi>
                          <mml:mi>x</mml:mi>
                        </mml:msub>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mn>0</mml:mn>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mtext>otherwise</mml:mtext>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
              </mml:mrow>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The discrete Ricci curvature at <inline-formula><mml:math><mml:mi> x </mml:mi></mml:math></inline-formula> is</p>
      <disp-formula id="FD8">
        <label>(8)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>R</mml:mi>
              <mml:mi>x</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:msub>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>y</mml:mi>
                  <mml:mo>∈</mml:mo>
                  <mml:msub>
                    <mml:mi>N</mml:mi>
                    <mml:mi>x</mml:mi>
                  </mml:msub>
                </mml:mrow>
              </mml:msub>
              <mml:mi>κ</mml:mi>
            </mml:mstyle>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>x</mml:mi>
                <mml:mo>,</mml:mo>
                <mml:mi>y</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The components of the discrete Ricci tensor are</p>
      <disp-formula id="FD9">
        <label>(9)</label>
        <mml:math display="inline">
          <mml:mrow>
            <mml:msub>
              <mml:mi>R</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:msub>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>y</mml:mi>
                  <mml:mo>∈</mml:mo>
                  <mml:msub>
                    <mml:mi>N</mml:mi>
                    <mml:mi>x</mml:mi>
                  </mml:msub>
                </mml:mrow>
              </mml:msub>
              <mml:mi>κ</mml:mi>
            </mml:mstyle>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>x</mml:mi>
                <mml:mo>,</mml:mo>
                <mml:mi>y</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msubsup>
              <mml:mi>e</mml:mi>
              <mml:mrow>
                <mml:mi>x</mml:mi>
                <mml:mi>y</mml:mi>
              </mml:mrow>
              <mml:mi>i</mml:mi>
            </mml:msubsup>
            <mml:msubsup>
              <mml:mi>e</mml:mi>
              <mml:mrow>
                <mml:mi>x</mml:mi>
                <mml:mi>y</mml:mi>
              </mml:mrow>
              <mml:mi>j</mml:mi>
            </mml:msubsup>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The Ricci scalar follows by tracing with the induced metric:</p>
      <disp-formula id="FD10">
        <label>(10)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>R</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mi>g</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msub>
              <mml:mi>R</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The Einstein tensor on the graph is then</p>
      <disp-formula id="FD11">
        <label>(11)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>G</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>R</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:mrow>
              <mml:mn>1</mml:mn>
              <mml:mo>/</mml:mo>
              <mml:mn>2</mml:mn>
            </mml:mrow>
            <mml:mi>R</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
    </sec>
    <sec id="sec4">
      <title>4. Continuum Limit of the Discrete Einstein Tensor</title>
      <p>Consider a sequence of graphs <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> G </mml:mi><mml:mi> ϵ </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> obtained as <inline-formula><mml:math><mml:mi> ϵ </mml:mi></mml:math></inline-formula> -nets of a smooth Riemannian manifold <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> M </mml:mi><mml:mo> , </mml:mo><mml:mi> g </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> : a maximal set of points with pairwise distances <inline-formula><mml:math><mml:mrow><mml:mo> ≥ </mml:mo><mml:mi> ϵ </mml:mi></mml:mrow></mml:math></inline-formula> , connected whenever <inline-formula><mml:math><mml:mrow><mml:mi> d </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> , </mml:mo><mml:mi> y </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> ≤ </mml:mo><mml:mn> 2 </mml:mn><mml:mi> ϵ </mml:mi></mml:mrow></mml:math></inline-formula> . As <inline-formula><mml:math><mml:mrow><mml:mi> ϵ </mml:mi><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> the vertex density grows as <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mrow><mml:msub><mml:mi> V </mml:mi><mml:mi> ϵ </mml:mi></mml:msub></mml:mrow><mml:mo> | </mml:mo></mml:mrow><mml:mo> ~ </mml:mo><mml:msup><mml:mi> ϵ </mml:mi><mml:mrow><mml:mo> − </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> for an <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> -dimensional manifold.</p>
      <p>By the measured Gromov-Hausdorff convergence theorem [<xref ref-type="bibr" rid="B12">12</xref>][<xref ref-type="bibr" rid="B13">13</xref>], optimal transport distances converge, and Ollivier’s expansion (Theorem 7 of [<xref ref-type="bibr" rid="B11">11</xref>], sharpened for irregular graphs by [<xref ref-type="bibr" rid="B15">15</xref>]) gives, for the unit vector <inline-formula><mml:math><mml:mrow><mml:mi> u </mml:mi><mml:mo> = </mml:mo><mml:msub><mml:mi> e </mml:mi><mml:mrow><mml:mi> x </mml:mi><mml:mi> y </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> .</p>
      <disp-formula id="FD12">
        <label>(12)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>κ</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>x</mml:mi>
                <mml:mo>,</mml:mo>
                <mml:mi>y</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>ϵ</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:msub>
              <mml:mi>R</mml:mi>
              <mml:mrow>
                <mml:mi>μ</mml:mi>
                <mml:mi>ν</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:msup>
              <mml:mi>u</mml:mi>
              <mml:mi>μ</mml:mi>
            </mml:msup>
            <mml:msup>
              <mml:mi>u</mml:mi>
              <mml:mi>ν</mml:mi>
            </mml:msup>
            <mml:mo>+</mml:mo>
            <mml:mi>O</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>ϵ</mml:mi>
                  <mml:mn>4</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Substituting into <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> R </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and replacing the discrete sum over neighbors by an integral over directions on <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> S </mml:mi><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> :</p>
      <disp-formula id="FD13">
        <label>(13)</label>
        <mml:math>
          <mml:mrow>
            <mml:msubsup>
              <mml:mi>R</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>ϵ</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:msubsup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>ϵ</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mo>⋅</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>N</mml:mi>
                      <mml:mi>x</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>S</mml:mi>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:mfrac>
            <mml:mstyle displaystyle="true">
              <mml:mrow>
                <mml:msub>
                  <mml:mo>∫</mml:mo>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>S</mml:mi>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:msup>
                  </mml:mrow>
                </mml:msub>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>R</mml:mi>
                    <mml:mrow>
                      <mml:mi>μ</mml:mi>
                      <mml:mi>ν</mml:mi>
                    </mml:mrow>
                  </mml:msub>
                  <mml:msup>
                    <mml:mi>u</mml:mi>
                    <mml:mi>μ</mml:mi>
                  </mml:msup>
                  <mml:msup>
                    <mml:mi>u</mml:mi>
                    <mml:mi>ν</mml:mi>
                  </mml:msup>
                  <mml:msup>
                    <mml:mi>u</mml:mi>
                    <mml:mi>i</mml:mi>
                  </mml:msup>
                  <mml:msup>
                    <mml:mi>u</mml:mi>
                    <mml:mi>j</mml:mi>
                  </mml:msup>
                  <mml:mtext>d</mml:mtext>
                  <mml:mi>Ω</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mi>u</mml:mi>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>+</mml:mo>
            <mml:mi>O</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>ϵ</mml:mi>
                  <mml:mn>4</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Applying the spherical averaging identity</p>
      <disp-formula id="FD14">
        <label>(14)</label>
        <mml:math display="inline">
          <mml:mrow>
            <mml:mstyle displaystyle="true">
              <mml:mrow>
                <mml:msub>
                  <mml:mo>∫</mml:mo>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>S</mml:mi>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:msup>
                  </mml:mrow>
                </mml:msub>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>u</mml:mi>
                    <mml:mi>i</mml:mi>
                  </mml:msup>
                  <mml:msup>
                    <mml:mi>u</mml:mi>
                    <mml:mi>j</mml:mi>
                  </mml:msup>
                  <mml:msup>
                    <mml:mi>u</mml:mi>
                    <mml:mi>μ</mml:mi>
                  </mml:msup>
                  <mml:msup>
                    <mml:mi>u</mml:mi>
                    <mml:mi>ν</mml:mi>
                  </mml:msup>
                  <mml:mtext>d</mml:mtext>
                  <mml:mi>Ω</mml:mi>
                </mml:mrow>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>|</mml:mo>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>S</mml:mi>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mo>|</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>2</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>δ</mml:mi>
                  <mml:mrow>
                    <mml:mi>i</mml:mi>
                    <mml:mi>μ</mml:mi>
                  </mml:mrow>
                </mml:msup>
                <mml:msup>
                  <mml:mi>δ</mml:mi>
                  <mml:mrow>
                    <mml:mi>j</mml:mi>
                    <mml:mi>ν</mml:mi>
                  </mml:mrow>
                </mml:msup>
                <mml:mo>+</mml:mo>
                <mml:msup>
                  <mml:mi>δ</mml:mi>
                  <mml:mrow>
                    <mml:mi>i</mml:mi>
                    <mml:mi>ν</mml:mi>
                  </mml:mrow>
                </mml:msup>
                <mml:msup>
                  <mml:mi>δ</mml:mi>
                  <mml:mrow>
                    <mml:mi>j</mml:mi>
                    <mml:mi>μ</mml:mi>
                  </mml:mrow>
                </mml:msup>
                <mml:mo>+</mml:mo>
                <mml:msup>
                  <mml:mi>δ</mml:mi>
                  <mml:mrow>
                    <mml:mi>i</mml:mi>
                    <mml:mi>j</mml:mi>
                  </mml:mrow>
                </mml:msup>
                <mml:msup>
                  <mml:mi>δ</mml:mi>
                  <mml:mrow>
                    <mml:mi>μ</mml:mi>
                    <mml:mi>ν</mml:mi>
                  </mml:mrow>
                </mml:msup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>and contracting with the symmetric tensor <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> R </mml:mi><mml:mrow><mml:mi> μ </mml:mi><mml:mi> ν </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> yields, after appropriate normalization by <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> C </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mrow><mml:mrow><mml:mi> n </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 2 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mo> / </mml:mo><mml:mrow><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:mn> 2 </mml:mn><mml:msup><mml:mi> ϵ </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mrow><mml:mo> | </mml:mo><mml:mrow><mml:msub><mml:mi> N </mml:mi><mml:mi> x </mml:mi></mml:msub></mml:mrow><mml:mo> | </mml:mo></mml:mrow></mml:mrow><mml:mo> ] </mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:mrow></mml:math></inline-formula> :</p>
      <disp-formula id="FD15">
        <label>(15)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mrow>
                <mml:mi>log</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>ϵ</mml:mi>
                <mml:mo>→</mml:mo>
                <mml:mn>0</mml:mn>
              </mml:mrow>
            </mml:msub>
            <mml:msubsup>
              <mml:mi>R</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>ϵ</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:msubsup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>R</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mrow>
                <mml:mtext>log</mml:mtext>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>ϵ</mml:mi>
                <mml:mo>→</mml:mo>
                <mml:mn>0</mml:mn>
              </mml:mrow>
            </mml:msub>
            <mml:msubsup>
              <mml:mi>g</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>ϵ</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:msubsup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Consequently,</p>
      <disp-formula id="FD16">
        <label>(16)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mrow>
                <mml:mi>log</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>ϵ</mml:mi>
                <mml:mo>→</mml:mo>
                <mml:mn>0</mml:mn>
              </mml:mrow>
            </mml:msub>
            <mml:msubsup>
              <mml:mi>G</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>ϵ</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:msubsup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>G</mml:mi>
              <mml:mrow>
                <mml:mi>μ</mml:mi>
                <mml:mi>ν</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>distributionally, recovering the continuum Einstein tensor. The convergence holds pointwise for smooth metrics and in <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> L </mml:mi><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> for metrics with bounded curvature [<xref ref-type="bibr" rid="B14">14</xref>].</p>
    </sec>
    <sec id="sec5">
      <title>5. Coupling to Stress Tensor</title>
      <p>Identifying the node masses <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> m </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> with the local vacuum energy density, the smoothed density</p>
      <disp-formula id="FD17">
        <label>(17)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>ρ</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>r</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:msub>
                <mml:mo>∑</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>m</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
                <mml:msub>
                  <mml:mi>k</mml:mi>
                  <mml:mi>G</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:mstyle>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>r</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>r</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>(with <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> k </mml:mi><mml:mi> G </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> a normalized Gaussian kernel) supplies the <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> T </mml:mi><mml:mrow><mml:mtext> 00 </mml:mtext></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> component. The full stress-energy tensor on the graph is the perfect-fluid form [<xref ref-type="bibr" rid="B16">16</xref>]:</p>
      <disp-formula id="FD18">
        <label>(18)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mi>T</mml:mi>
              <mml:mrow>
                <mml:mi>μ</mml:mi>
                <mml:mi>ν</mml:mi>
              </mml:mrow>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>ρ</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>x</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mi>p</mml:mi>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mi>x</mml:mi>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>c</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                </mml:mfrac>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msup>
              <mml:mi>u</mml:mi>
              <mml:mi>μ</mml:mi>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msup>
              <mml:mi>u</mml:mi>
              <mml:mi>ν</mml:mi>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:mi>p</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msup>
              <mml:mi>g</mml:mi>
              <mml:mrow>
                <mml:mi>μ</mml:mi>
                <mml:mi>ν</mml:mi>
              </mml:mrow>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where the <bold>four</bold><bold>-</bold><bold>velocity</bold><inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> u </mml:mi><mml:mi> μ </mml:mi></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is the mass-weighted average of node velocities, <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> u </mml:mi><mml:mi> μ </mml:mi></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> r </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mrow><mml:mstyle displaystyle="true"><mml:msub><mml:mo> ∑ </mml:mo><mml:mi> x </mml:mi></mml:msub><mml:mrow><mml:msub><mml:mi> m </mml:mi><mml:mi> x </mml:mi></mml:msub><mml:msub><mml:mi> k </mml:mi><mml:mi> G </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> r </mml:mi><mml:mo> − </mml:mo><mml:msub><mml:mi> r </mml:mi><mml:mi> x </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:msubsup><mml:mi> u </mml:mi><mml:mi> x </mml:mi><mml:mi> μ </mml:mi></mml:msubsup></mml:mrow></mml:mstyle></mml:mrow><mml:mo> / </mml:mo><mml:mrow><mml:mstyle displaystyle="true"><mml:msub><mml:mo> ∑ </mml:mo><mml:mi> x </mml:mi></mml:msub><mml:mrow><mml:msub><mml:mi> m </mml:mi><mml:mi> x </mml:mi></mml:msub><mml:msub><mml:mi> k </mml:mi><mml:mi> G </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> r </mml:mi><mml:mo> − </mml:mo><mml:msub><mml:mi> r </mml:mi><mml:mi> x </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mstyle></mml:mrow></mml:mrow></mml:mrow></mml:math></inline-formula> , satisfying <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mrow><mml:mi> μ </mml:mi><mml:mi> ν </mml:mi></mml:mrow></mml:msub><mml:msup><mml:mi> u </mml:mi><mml:mi> μ </mml:mi></mml:msup><mml:msup><mml:mi> u </mml:mi><mml:mi> ν </mml:mi></mml:msup><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:msup><mml:mi> c </mml:mi><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> in the continuum limit and the <bold>pressure</bold><inline-formula><mml:math><mml:mrow><mml:mi> p </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msub><mml:mi> p </mml:mi><mml:mrow><mml:mi> k </mml:mi><mml:mi> i </mml:mi><mml:mi> n </mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> + </mml:mo><mml:msub><mml:mi> p </mml:mi><mml:mrow><mml:mi> e </mml:mi><mml:mi> n </mml:mi><mml:mi> t </mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> receives contributions from kinetic velocity fluctuations among neighbors and from the gradient of the entanglement weights <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> w </mml:mi><mml:mrow><mml:mi> x </mml:mi><mml:mi> y </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> .</p>
      <p>Writing out the components in the slow-motion limit:</p>
      <disp-formula id="FD19">
        <label>(19)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mi>T</mml:mi>
              <mml:mrow>
                <mml:mtext>00</mml:mtext>
              </mml:mrow>
            </mml:msup>
            <mml:mo>=</mml:mo>
            <mml:mi>ρ</mml:mi>
            <mml:msup>
              <mml:mi>c</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mo>+</mml:mo>
            <mml:mi>O</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>v</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mo>/</mml:mo>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>c</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD20">
        <label>(20)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mi>T</mml:mi>
              <mml:mrow>
                <mml:mn>0</mml:mn>
                <mml:mi>i</mml:mi>
              </mml:mrow>
            </mml:msup>
            <mml:mo>=</mml:mo>
            <mml:mi>ρ</mml:mi>
            <mml:msup>
              <mml:mi>v</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msup>
            <mml:mi>c</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:mi>O</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>v</mml:mi>
                      <mml:mn>3</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mo>/</mml:mo>
                  <mml:mi>c</mml:mi>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>and</p>
      <disp-formula id="FD21">
        <label>(21)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mi>T</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msup>
            <mml:mo>=</mml:mo>
            <mml:mi>ρ</mml:mi>
            <mml:msup>
              <mml:mi>v</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msup>
            <mml:msup>
              <mml:mi>v</mml:mi>
              <mml:mi>j</mml:mi>
            </mml:msup>
            <mml:mo>+</mml:mo>
            <mml:mi>p</mml:mi>
            <mml:msup>
              <mml:mi>g</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msup>
            <mml:mo>+</mml:mo>
            <mml:mi>O</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>v</mml:mi>
                      <mml:mn>4</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mo>/</mml:mo>
                  <mml:mrow>
                    <mml:msup>
                      <mml:mi>c</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The tensor is manifestly symmetric (<inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> T </mml:mi><mml:mrow><mml:mi> μ </mml:mi><mml:mi> ν </mml:mi></mml:mrow></mml:msup><mml:mo> = </mml:mo><mml:msup><mml:mi> T </mml:mi><mml:mrow><mml:mi> ν </mml:mi><mml:mi> μ </mml:mi></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> ) and its trace is <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> T </mml:mi><mml:mi> μ </mml:mi></mml:msup><mml:msub><mml:mrow></mml:mrow><mml:mi> μ </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:mi> ρ </mml:mi><mml:msup><mml:mi> c </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mo> + </mml:mo><mml:mn> 3 </mml:mn><mml:mi> p </mml:mi></mml:mrow></mml:math></inline-formula> , recovering <inline-formula><mml:math><mml:mrow><mml:mo> − </mml:mo><mml:mi> ρ </mml:mi><mml:msup><mml:mi> c </mml:mi><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> for pressureless dust and 0 for radiation (<inline-formula><mml:math><mml:mrow><mml:mi> p </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mrow><mml:mi> ρ </mml:mi><mml:msup><mml:mi> c </mml:mi><mml:mn> 2 </mml:mn></mml:msup></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:mrow></mml:math></inline-formula> ) as expected.</p>
      <p>In the continuum limit the graph Einstein tensor satisfies</p>
      <disp-formula id="FD22">
        <label>(22)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>G</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mn>8</mml:mn>
                <mml:mi>π</mml:mi>
                <mml:mi>G</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>c</mml:mi>
                  <mml:mn>4</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:mfrac>
            <mml:msub>
              <mml:mi>T</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>with the coupling constant fixed by matching to the Newtonian limit (see Section 7). The right-hand side is sourced entirely by the same mass-energy distribution that defines the entanglement network, so that gravity is the geometric manifestation of vacuum entanglement rather than an independent fundamental force.</p>
    </sec>
    <sec id="sec6">
      <title>6. Discrete Contracted Bianchi Identity</title>
      <p><bold>Theorem 1</bold> (Discrete Contracted Bianchi Identity). <italic>Let</italic><inline-formula><mml:math><mml:mrow><mml:mi> G </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> V </mml:mi><mml:mo> , </mml:mo><mml:mi> E </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>be a weighted graph satisfying the Spanning Assumption</italic>,<italic>with Ollivier</italic>-<italic>Ricci curvature</italic><inline-formula><mml:math><mml:mrow><mml:mi> κ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> , </mml:mo><mml:mi> y </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> κ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> y </mml:mi><mml:mo> , </mml:mo><mml:mi> x </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>and discrete Einstein tensor</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> G </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msub><mml:mi> R </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> − </mml:mo><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> / </mml:mo><mml:mn> 2 </mml:mn></mml:mrow><mml:mi> R </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>. Then</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> ∇ </mml:mo><mml:mo> ⋅ </mml:mo><mml:mi> G </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mi> j </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mrow><mml:msub><mml:mi> V </mml:mi><mml:mi> x </mml:mi></mml:msub></mml:mrow></mml:mfrac><mml:mstyle displaystyle="true"><mml:msub><mml:mo> ∑ </mml:mo><mml:mrow><mml:mi> y </mml:mi><mml:mo> ∈ </mml:mo><mml:msub><mml:mi> N </mml:mi><mml:mi> x </mml:mi></mml:msub></mml:mrow></mml:msub><mml:mrow><mml:msub><mml:mi> w </mml:mi><mml:mrow><mml:mi> x </mml:mi><mml:mi> y </mml:mi></mml:mrow></mml:msub><mml:mfrac><mml:mrow><mml:msub><mml:mi> G </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> + </mml:mo><mml:msub><mml:mi> G </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mi> y </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mn> 2 </mml:mn></mml:mfrac><mml:msubsup><mml:mi> e </mml:mi><mml:mrow><mml:mi> x </mml:mi><mml:mi> y </mml:mi></mml:mrow><mml:mi> i </mml:mi></mml:msubsup><mml:msub><mml:mi> l </mml:mi><mml:mrow><mml:mi> x </mml:mi><mml:mi> y </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mstyle><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula><italic>for all</italic><inline-formula><mml:math><mml:mrow><mml:mi> x </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> V </mml:mi></mml:mrow></mml:math></inline-formula><italic>. Consequently</italic>,<italic>the field equation</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> G </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mrow><mml:mrow><mml:mn> 8 </mml:mn><mml:mi> π </mml:mi><mml:mi> G </mml:mi></mml:mrow><mml:mo> / </mml:mo><mml:mrow><mml:msup><mml:mi> c </mml:mi><mml:mn> 4 </mml:mn></mml:msup><mml:msub><mml:mi> T </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mrow></mml:mrow></mml:math></inline-formula><italic>implies energy</italic>-<italic>momentum conservation</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> ∇ </mml:mo><mml:mo> ⋅ </mml:mo><mml:mi> T </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mi> j </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p><italic>Proof.</italic> Because the Wasserstein transport distance is symmetric, <inline-formula><mml:math><mml:mrow><mml:mi> W </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> m </mml:mi><mml:mi> x </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> m </mml:mi><mml:mi> y </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> W </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> m </mml:mi><mml:mi> y </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> m </mml:mi><mml:mi> x </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , the edge curvatures satisfy <inline-formula><mml:math><mml:mrow><mml:mi> κ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> x </mml:mi><mml:mo> , </mml:mo><mml:mi> y </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mi> κ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> y </mml:mi><mml:mo> , </mml:mo><mml:mi> x </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Computing the discrete divergence of <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> R </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> and using <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> e </mml:mi><mml:mrow><mml:mi> x </mml:mi><mml:mi> y </mml:mi></mml:mrow><mml:mi> i </mml:mi></mml:msubsup><mml:msubsup><mml:mi> e </mml:mi><mml:mrow><mml:mi> x </mml:mi><mml:mi> y </mml:mi></mml:mrow><mml:mi> i </mml:mi></mml:msubsup><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> :</p>
      <disp-formula id="FD23">
        <label>(23)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mo>⋅</mml:mo>
                    <mml:mi>R</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>j</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>V</mml:mi>
                  <mml:mi>x</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:mfrac>
            <mml:mstyle displaystyle="true">
              <mml:msub>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>y</mml:mi>
                  <mml:mo>∈</mml:mo>
                  <mml:msub>
                    <mml:mi>N</mml:mi>
                    <mml:mi>x</mml:mi>
                  </mml:msub>
                </mml:mrow>
              </mml:msub>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>w</mml:mi>
                  <mml:mrow>
                    <mml:mi>x</mml:mi>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                </mml:msub>
                <mml:mi>κ</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>x</mml:mi>
                    <mml:mo>,</mml:mo>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:msubsup>
                  <mml:mi>e</mml:mi>
                  <mml:mrow>
                    <mml:mi>x</mml:mi>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                  <mml:mi>j</mml:mi>
                </mml:msubsup>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The discrete gradient of the Ricci scalar is</p>
      <disp-formula id="FD24">
        <label>(24)</label>
        <mml:math>
          <mml:mrow>
            <mml:mrow>
              <mml:mn>1</mml:mn>
              <mml:mo>/</mml:mo>
              <mml:mn>2</mml:mn>
            </mml:mrow>
            <mml:msub>
              <mml:mo>∇</mml:mo>
              <mml:mi>j</mml:mi>
            </mml:msub>
            <mml:mi>R</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>V</mml:mi>
                  <mml:mi>x</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:mfrac>
            <mml:mstyle displaystyle="true">
              <mml:msub>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>y</mml:mi>
                  <mml:mo>∈</mml:mo>
                  <mml:msub>
                    <mml:mi>N</mml:mi>
                    <mml:mi>x</mml:mi>
                  </mml:msub>
                </mml:mrow>
              </mml:msub>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>w</mml:mi>
                  <mml:mrow>
                    <mml:mi>x</mml:mi>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                </mml:msub>
                <mml:mi>κ</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>x</mml:mi>
                    <mml:mo>,</mml:mo>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:msubsup>
                  <mml:mi>e</mml:mi>
                  <mml:mrow>
                    <mml:mi>x</mml:mi>
                    <mml:mi>y</mml:mi>
                  </mml:mrow>
                  <mml:mi>j</mml:mi>
                </mml:msubsup>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Hence <inline-formula><mml:math><mml:mrow><mml:msub><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> ∇ </mml:mo><mml:mo> ⋅ </mml:mo><mml:mi> R </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mi> j </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> / </mml:mo><mml:mn> 2 </mml:mn></mml:mrow><mml:msub><mml:mo> ∇ </mml:mo><mml:mi> j </mml:mi></mml:msub><mml:mi> R </mml:mi></mml:mrow></mml:math></inline-formula> and therefore</p>
      <disp-formula id="FD25">
        <label>(25)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mo>⋅</mml:mo>
                    <mml:mi>G</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>j</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mo>∇</mml:mo>
                    <mml:mo>⋅</mml:mo>
                    <mml:mi>R</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>j</mml:mi>
            </mml:msub>
            <mml:mo>−</mml:mo>
            <mml:mrow>
              <mml:mn>1</mml:mn>
              <mml:mo>/</mml:mo>
              <mml:mn>2</mml:mn>
            </mml:mrow>
            <mml:msub>
              <mml:mo>∇</mml:mo>
              <mml:mi>j</mml:mi>
            </mml:msub>
            <mml:mi>R</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mn>0.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The deeper reason this identity holds is that the graph possesses a <italic>relabeling symmetry</italic>: permuting vertex labels leaves all physical quantities invariant. This discrete symmetry plays the role of diffeomorphism invariance, and the Bianchi identity is its Noether consequence [<xref ref-type="bibr" rid="B17">17</xref>][<xref ref-type="bibr" rid="B18">18</xref>]. For the analogous result in combinatorial Ricci curvature settings see [<xref ref-type="bibr" rid="B19">19</xref>].</p>
      <p>Energy-momentum conservation <inline-formula><mml:math><mml:mrow><mml:msub><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> ∇ </mml:mo><mml:mo> ⋅ </mml:mo><mml:mi> T </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mi> j </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> is therefore not an independent assumption but a theorem forced by the geometry of the entanglement network, recovering the discrete work-energy theorem and the discrete Euler equation.</p>
    </sec>
    <sec id="sec7">
      <title>7. Newtonian Limit and the Coupling Constant</title>
      <p>We impose the three standard conditions [<xref ref-type="bibr" rid="B20">20</xref>][<xref ref-type="bibr" rid="B21">21</xref>]: 1) <bold>weak field</bold>: <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mrow><mml:mi> μ </mml:mi><mml:mi> ν </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> η </mml:mi><mml:mrow><mml:mi> μ </mml:mi><mml:mi> ν </mml:mi></mml:mrow></mml:msub><mml:mo> + </mml:mo><mml:msub><mml:mi> h </mml:mi><mml:mrow><mml:mi> μ </mml:mi><mml:mi> ν </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> with <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mrow><mml:msub><mml:mi> h </mml:mi><mml:mrow><mml:mi> μ </mml:mi><mml:mi> ν </mml:mi></mml:mrow></mml:msub></mml:mrow><mml:mo> | </mml:mo></mml:mrow><mml:mo> ≪ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> ; 2) <bold>slow motion</bold>: <inline-formula><mml:math><mml:mrow><mml:mi> v </mml:mi><mml:mo> ≪ </mml:mo><mml:mi> c </mml:mi></mml:mrow></mml:math></inline-formula> ; and 3) <bold>static</bold>: <inline-formula><mml:math><mml:mrow><mml:msub><mml:mo> ∂ </mml:mo><mml:mi> t </mml:mi></mml:msub><mml:msub><mml:mi> h </mml:mi><mml:mrow><mml:mi> μ </mml:mi><mml:mi> ν </mml:mi></mml:mrow></mml:msub><mml:mo> ≈ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <disp-formula id="FD26">
        <label>(26)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>G</mml:mi>
              <mml:mrow>
                <mml:mtext>00</mml:mtext>
              </mml:mrow>
            </mml:msub>
            <mml:mo>≈</mml:mo>
            <mml:mo>−</mml:mo>
            <mml:mfrac>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>c</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:mfrac>
            <mml:msup>
              <mml:mo>∇</mml:mo>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mi>ϕ</mml:mi>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Under these conditions the dominant component of the Einstein tensor reduces to</p>
      <disp-formula id="FD27">
        <label>(27)</label>
        <mml:math>
          <mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:mfrac>
              <mml:mn>2</mml:mn>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>c</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:mfrac>
            <mml:msup>
              <mml:mo>∇</mml:mo>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mi>ϕ</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mi>α</mml:mi>
            <mml:mi>ρ</mml:mi>
            <mml:msup>
              <mml:mi>c</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mo>⇒</mml:mo>
            <mml:msup>
              <mml:mo>∇</mml:mo>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mi>ϕ</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mo>−</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mi>α</mml:mi>
                <mml:msup>
                  <mml:mi>c</mml:mi>
                  <mml:mn>4</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mi>ρ</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> h </mml:mi><mml:mrow><mml:mtext> 00 </mml:mtext></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:mrow><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> ϕ </mml:mi></mml:mrow><mml:mo> / </mml:mo><mml:mrow><mml:msup><mml:mi> c </mml:mi><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:mrow></mml:mrow></mml:math></inline-formula> identifies <inline-formula><mml:math><mml:mi> ϕ </mml:mi></mml:math></inline-formula> as the Newtonian gravitational potential. The stress-energy component is <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> T </mml:mi><mml:mrow><mml:mtext> 00 </mml:mtext></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mi> ρ </mml:mi><mml:msup><mml:mi> c </mml:mi><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> . The graph Laplacian <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> Δ </mml:mi><mml:mi> G </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:msup><mml:mo> ∇ </mml:mo><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> in the continuum limit [<xref ref-type="bibr" rid="B22">22</xref>]. Inserting into the field equation <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> G </mml:mi><mml:mrow><mml:mtext> 00 </mml:mtext></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mi> α </mml:mi><mml:msub><mml:mi> T </mml:mi><mml:mrow><mml:mtext> 00 </mml:mtext></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> :</p>
      <disp-formula id="FD28">
        <label>(28)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>α</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mn>8</mml:mn>
                <mml:mi>π</mml:mi>
                <mml:mi>G</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>c</mml:mi>
                  <mml:mn>4</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Matching to Poisson’s equation <inline-formula><mml:math><mml:mrow><mml:msup><mml:mo> ∇ </mml:mo><mml:mn> 2 </mml:mn></mml:msup><mml:mi> ϕ </mml:mi><mml:mo> = </mml:mo><mml:mn> 4 </mml:mn><mml:mi> π </mml:mi><mml:mi> G </mml:mi><mml:mi> ρ </mml:mi></mml:mrow></mml:math></inline-formula> fixes</p>
      <disp-formula id="FD29">
        <label>(29)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>Δ</mml:mi>
              <mml:mi>G</mml:mi>
            </mml:msub>
            <mml:mi>ϕ</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mn>4</mml:mn>
            <mml:mi>π</mml:mi>
            <mml:mi>G</mml:mi>
            <mml:mi>ρ</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>x</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>recovering the standard Einstein coupling constant. The graph Poisson equation is thus which in the continuum limit is the Newtonian gravitational field equation.</p>
    </sec>
    <sec id="sec8">
      <title>8. Conclusions</title>
      <p>We have shown that a graph-theoretic model whose edge weights encode the entanglement structure of a QFT vacuum naturally produces the Einstein tensor and couples it to the stress-energy tensor. The derivation relies only on 1) the locality of vacuum entanglement, 2) the Wasserstein geometry of mass transport on neighborhoods, and 3) unitary time evolution. In the continuum limit the discrete equations become the Einstein field equations of general relativity, with the coupling constant derived from the Newtonian limit rather than inserted by hand, and energy-momentum conservation following as a theorem from the discrete Bianchi identity.</p>
      <p>This framework supplies a purely quantum-information-theoretic origin for gravity within ordinary quantum field theory. It reproduces known results on emergent geometry from Ollivier-Ricci curvature on random graphs and opens new avenues for computing gravitational phenomena directly from entanglement entropies. Future work will include explicit lattice-QFT simulations to extract the effective Newton constant from vacuum mutual information and extensions to curved backgrounds and quantum cosmology.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <title>References</title>
      <ref id="B1">
        <label>1.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Weinberg, S. (1995) The Quantum Theory of Fields, Volume 1: Foundations. Cambridge University Press.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Weinberg, S.</string-name>
              <string-name>Fields, V</string-name>
            </person-group>
            <year>1995</year>
            <article-title>The Quantum Theory of Fields, Volume 1: Foundations</article-title>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B2">
        <label>2.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Eisert, J., Cramer, M. and Plenio, M.B. (2010) Colloquium: Area Laws for the Entanglement Entropy. <italic>Reviews of Modern Physics</italic>, 82, 277-306. https://doi.org/10.1103/revmodphys.82.277 <pub-id pub-id-type="doi">10.1103/revmodphys.82.277</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/revmodphys.82.277">https://doi.org/10.1103/revmodphys.82.277</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Eisert, J.</string-name>
              <string-name>Cramer, M.</string-name>
              <string-name>Plenio, M.B.</string-name>
            </person-group>
            <year>2010</year>
            <article-title>Colloquium: Area Laws for the Entanglement Entropy</article-title>
            <source>Reviews of Modern Physics</source>
            <volume>82</volume>
            <pub-id pub-id-type="doi">10.1103/revmodphys.82.277</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B3">
        <label>3.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Maldacena, J. and Susskind, L. (2013) Cool Horizons for Entangled Black Holes. <italic>Fortschritte</italic><italic>der</italic><italic>Physik</italic>, 61, 781-811. https://doi.org/10.1002/prop.201300020 <pub-id pub-id-type="doi">10.1002/prop.201300020</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1002/prop.201300020">https://doi.org/10.1002/prop.201300020</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Maldacena, J.</string-name>
              <string-name>Susskind, L.</string-name>
            </person-group>
            <year>2013</year>
            <article-title>Cool Horizons for Entangled Black Holes</article-title>
            <source>Fortschritte der Physik</source>
            <volume>61</volume>
            <pub-id pub-id-type="doi">10.1002/prop.201300020</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B4">
        <label>4.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Zee, A. (2016) Group Theory in a Nutshell for Physicists. Princeton University Press.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Zee, A.</string-name>
            </person-group>
            <year>2016</year>
            <article-title>Group Theory in a Nutshell for Physicists</article-title>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B5">
        <label>5.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Hall, B.C. (2015) Lie Groups, Lie Algebras, and Representations: An Elementary Introduction. 2nd Edition, Springer.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Hall, B.C.</string-name>
              <string-name>Groups, L</string-name>
              <string-name>Edition, S</string-name>
            </person-group>
            <year>2015</year>
            <article-title>Lie Groups, Lie Algebras, and Representations: An Elementary Introduction</article-title>
            <source>2nd Edition</source>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B6">
        <label>6.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Jacobson, T. (1995) Thermodynamics of Spacetime: The Einstein Equation of State. <italic>Physical Review Letters</italic>, 75, 1260-1263. https://doi.org/10.1103/physrevlett.75.1260 <pub-id pub-id-type="doi">10.1103/physrevlett.75.1260</pub-id><pub-id pub-id-type="pmid">10060248</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1103/physrevlett.75.1260">https://doi.org/10.1103/physrevlett.75.1260</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Jacobson, T.</string-name>
            </person-group>
            <year>1995</year>
            <article-title>Thermodynamics of Spacetime: The Einstein Equation of State</article-title>
            <source>Physical Review Letters</source>
            <volume>75</volume>
            <pub-id pub-id-type="doi">10.1103/physrevlett.75.1260</pub-id>
            <pub-id pub-id-type="pmid">10060248</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B7">
        <label>7.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Verlinde, E. (2011) On the Origin of Gravity and the Laws of Newton. <italic>Journal of High Energy Physics</italic>, 2011, Article No. 29. https://doi.org/10.1007/jhep04(2011)029 <pub-id pub-id-type="doi">10.1007/jhep04(2011)029</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/jhep04(2011)029">https://doi.org/10.1007/jhep04(2011)029</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Verlinde, E.</string-name>
            </person-group>
            <year>2011</year>
            <article-title>On the Origin of Gravity and the Laws of Newton</article-title>
            <source>Journal of High Energy Physics</source>
            <volume>2011</volume>
            <elocation-id>No</elocation-id>
            <pub-id pub-id-type="doi">10.1007/jhep04(2011)029</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B8">
        <label>8.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Van Raamsdonk, M. (2010) Building up Spacetime with Quantum Entanglement. <italic>General Relativity and Gravitation</italic>, 42, 2323-2329. https://doi.org/10.1007/s10714-010-1034-0 <pub-id pub-id-type="doi">10.1007/s10714-010-1034-0</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/s10714-010-1034-0">https://doi.org/10.1007/s10714-010-1034-0</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Raamsdonk, M.</string-name>
            </person-group>
            <year>2010</year>
            <article-title>Building up Spacetime with Quantum Entanglement</article-title>
            <source>General Relativity and Gravitation</source>
            <volume>42</volume>
            <pub-id pub-id-type="doi">10.1007/s10714-010-1034-0</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B9">
        <label>9.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Calabrese, P. and Cardy, J. (2004) Entanglement Entropy and Quantum Field Theory. <italic>Journal</italic><italic>of</italic><italic>Statistical</italic><italic>Mechanics</italic>: <italic>Theory</italic><italic>and</italic><italic>Experiment</italic>, 2004, P06002. https://doi.org/10.1088/1742-5468/2004/06/p06002 <pub-id pub-id-type="doi">10.1088/1742-5468/2004/06/p06002</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1088/1742-5468/2004/06/p06002">https://doi.org/10.1088/1742-5468/2004/06/p06002</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Calabrese, P.</string-name>
              <string-name>Cardy, J.</string-name>
            </person-group>
            <year>2004</year>
            <article-title>Entanglement Entropy and Quantum Field Theory</article-title>
            <source>Journal of Statistical Mechanics: Theory and Experiment</source>
            <volume>2004</volume>
            <pub-id pub-id-type="doi">10.1088/1742-5468/2004/06/p06002</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B10">
        <label>10.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Casini, H. and Huerta, M. (2009) Entanglement Entropy in Free Quantum Field Theory. <italic>Journal of Physics A</italic>: <italic>Mathematical and Theoretical</italic>, 42, Article 504007. https://doi.org/10.1088/1751-8113/42/50/504007 <pub-id pub-id-type="doi">10.1088/1751-8113/42/50/504007</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1088/1751-8113/42/50/504007">https://doi.org/10.1088/1751-8113/42/50/504007</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Casini, H.</string-name>
              <string-name>Huerta, M.</string-name>
            </person-group>
            <year>2009</year>
            <article-title>Entanglement Entropy in Free Quantum Field Theory</article-title>
            <source>Journal of Physics A: Mathematical and Theoretical</source>
            <volume>42</volume>
            <elocation-id>504007</elocation-id>
            <pub-id pub-id-type="doi">10.1088/1751-8113/42/50/504007</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B11">
        <label>11.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Ollivier, Y. (2009) Ricci Curvature of Markov Chains on Metric Spaces. <italic>Journal of Functional Analysis</italic>, 256, 810-864. https://doi.org/10.1016/j.jfa.2008.11.001 <pub-id pub-id-type="doi">10.1016/j.jfa.2008.11.001</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1016/j.jfa.2008.11.001">https://doi.org/10.1016/j.jfa.2008.11.001</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Ollivier, Y.</string-name>
            </person-group>
            <year>2009</year>
            <article-title>Ricci Curvature of Markov Chains on Metric Spaces</article-title>
            <source>Journal of Functional Analysis</source>
            <volume>256</volume>
            <pub-id pub-id-type="doi">10.1016/j.jfa.2008.11.001</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B12">
        <label>12.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Lott, J. and Villani, C. (2009) Ricci Curvature for Metric-Measure Spaces via Optimal Transport. <italic>Annals of Mathematics</italic>, 169, 903-991. https://doi.org/10.4007/annals.2009.169.903 <pub-id pub-id-type="doi">10.4007/annals.2009.169.903</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.4007/annals.2009.169.903">https://doi.org/10.4007/annals.2009.169.903</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Lott, J.</string-name>
              <string-name>Villani, C.</string-name>
            </person-group>
            <year>2009</year>
            <article-title>Ricci Curvature for Metric-Measure Spaces via Optimal Transport</article-title>
            <source>Annals of Mathematics</source>
            <volume>169</volume>
            <pub-id pub-id-type="doi">10.4007/annals.2009.169.903</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B13">
        <label>13.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Sturm, K.T. (2006) On the Geometry of Metric Measure Spaces. <italic>Acta Mathematica</italic>, 196, 65-131. https://doi.org/10.1007/s11511-006-0002-8 <pub-id pub-id-type="doi">10.1007/s11511-006-0002-8</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/s11511-006-0002-8">https://doi.org/10.1007/s11511-006-0002-8</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Sturm, K.T.</string-name>
            </person-group>
            <year>2006</year>
            <article-title>On the Geometry of Metric Measure Spaces</article-title>
            <source>Acta Mathematica</source>
            <volume>196</volume>
            <pub-id pub-id-type="doi">10.1007/s11511-006-0002-8</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B14">
        <label>14.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Ambrosio, L., Gigli, N. and Savaré, G. (2014) Metric Measure Spaces with Riemannian Ricci Curvature Bounded from Below. <italic>Duke Mathematical Journal</italic>, 163, 1405-1490. https://doi.org/10.1215/00127094-2681605. <pub-id pub-id-type="doi">10.1215/00127094-2681605</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1215/00127094-2681605">https://doi.org/10.1215/00127094-2681605</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Ambrosio, L.</string-name>
              <string-name>Gigli, N.</string-name>
            </person-group>
            <year>2014</year>
            <article-title>Metric Measure Spaces with Riemannian Ricci Curvature Bounded from Below</article-title>
            <source>Duke Mathematical Journal</source>
            <volume>163</volume>
            <pub-id pub-id-type="doi">10.1215/00127094-2681605</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B15">
        <label>15.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Jost, J. and Liu, S. (2014) Ollivier’s Ricci Curvature, Local Clustering and Curvature-Dimension Inequalities on Graphs. <italic>Discrete &amp; Computational Geometry</italic>, 51, 300-322. https://doi.org/10.1007/s00454-013-9558-1 <pub-id pub-id-type="doi">10.1007/s00454-013-9558-1</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/s00454-013-9558-1">https://doi.org/10.1007/s00454-013-9558-1</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Jost, J.</string-name>
              <string-name>Liu, S.</string-name>
              <string-name>Curvature, L</string-name>
            </person-group>
            <year>2014</year>
            <article-title>Ollivier’s Ricci Curvature, Local Clustering and Curvature-Dimension Inequalities on Graphs</article-title>
            <source>Discrete &amp; Computational Geometry</source>
            <volume>51</volume>
            <pub-id pub-id-type="doi">10.1007/s00454-013-9558-1</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B16">
        <label>16.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Misner, C.W., Thorne, K.S. and Wheeler, J.A. (1973) Gravitation. Freeman, New York.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Misner, C.W.</string-name>
              <string-name>Thorne, K.S.</string-name>
              <string-name>Wheeler, J.A.</string-name>
              <string-name>Freeman, N</string-name>
            </person-group>
            <year>1973</year>
            <article-title>Gravitation</article-title>
            <source>Freeman</source>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B17">
        <label>17.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Rovelli, C. (2004) Quantum Gravity. Cambridge University Press. https://doi.org/10.1017/cbo9780511755804 <pub-id pub-id-type="doi">10.1017/cbo9780511755804</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1017/cbo9780511755804">https://doi.org/10.1017/cbo9780511755804</ext-link></mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Rovelli, C.</string-name>
            </person-group>
            <year>2004</year>
            <article-title>Quantum Gravity</article-title>
            <pub-id pub-id-type="doi">10.1017/cbo9780511755804</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B18">
        <label>18.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Connes, A. and Marcolli, M. (2008) Noncommutative Geometry, Quantum Fields and Motives. American Mathematical Society. https://doi.org/10.1090/coll/055 <pub-id pub-id-type="doi">10.1090/coll/055</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1090/coll/055">https://doi.org/10.1090/coll/055</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Connes, A.</string-name>
              <string-name>Marcolli, M.</string-name>
              <string-name>Geometry, Q</string-name>
            </person-group>
            <year>2008</year>
            <article-title>Noncommutative Geometry, Quantum Fields and Motives</article-title>
            <pub-id pub-id-type="doi">10.1090/coll/055</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B19">
        <label>19.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Forman, R. (2003) Bochner’s Method for Cell Complexes and Combinatorial Ricci Curvature. <italic>Discrete and Computational Geometry</italic>, 29, 323-374. https://doi.org/10.1007/s00454-002-0743-x <pub-id pub-id-type="doi">10.1007/s00454-002-0743-x</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/s00454-002-0743-x">https://doi.org/10.1007/s00454-002-0743-x</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Forman, R.</string-name>
            </person-group>
            <year>2003</year>
            <article-title>Bochner’s Method for Cell Complexes and Combinatorial Ricci Curvature</article-title>
            <source>Discrete and Computational Geometry</source>
            <volume>29</volume>
            <pub-id pub-id-type="doi">10.1007/s00454-002-0743-x</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B20">
        <label>20.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Carroll, S. (2004) Spacetime and Geometry: An Introduction to General Relativity. Addison-Wesley.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Carroll, S.</string-name>
            </person-group>
            <year>2004</year>
            <article-title>Spacetime and Geometry: An Introduction to General Relativity</article-title>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B21">
        <label>21.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Wald, R.M. (1984) General Relativity. University of Chicago Press. https://doi.org/10.7208/chicago/9780226870373.001.0001 <pub-id pub-id-type="doi">10.7208/chicago/9780226870373.001.0001</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.7208/chicago/9780226870373.001.0001">https://doi.org/10.7208/chicago/9780226870373.001.0001</ext-link></mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Wald, R.M.</string-name>
            </person-group>
            <year>1984</year>
            <article-title>General Relativity</article-title>
            <pub-id pub-id-type="doi">10.7208/chicago/9780226870373.001.0001</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B22">
        <label>22.</label>
        <citation-alternatives>
          <mixed-citation publication-type="web">Ting, D., Huang, L. and Jordan, M. (2010) An Analysis of the Convergence of Graph Laplacians. https://arxiv.org/abs/1101.5435</mixed-citation>
          <element-citation publication-type="web">
            <person-group person-group-type="author">
              <string-name>Ting, D.</string-name>
              <string-name>Huang, L.</string-name>
              <string-name>Jordan, M.</string-name>
            </person-group>
            <year>2010</year>
            <article-title>An Analysis of the Convergence of Graph Laplacians</article-title>
          </element-citation>
        </citation-alternatives>
      </ref>
    </ref-list>
  </back>
</article>