<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD with OASIS Tables with MathML3 v1.4 20210610//EN" "JATS-journalpublishing-oasis-article1-4-mathml3.dtd">
<article article-type="research-article" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:oasis="http://www.niso.org/standards/z39-96/ns/oasis-exchange/table"><front><journal-meta><journal-id journal-id-type="publisher-id">PRD</journal-id><journal-id journal-id-type="coden">PRVDAQ</journal-id><journal-title-group><journal-title>Physical Review D</journal-title><abbrev-journal-title>Phys. Rev. D</abbrev-journal-title></journal-title-group><issn pub-type="ppub">2470-0010</issn><issn pub-type="epub">2470-0029</issn><publisher><publisher-name>American Physical Society</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.1103/4lsn-l2ln</article-id><article-categories><subj-group subj-group-type="toc-major"><subject>ARTICLES</subject></subj-group><subj-group subj-group-type="toc-minor"><subject>String theory, quantum gravity, gauge/gravity duality</subject></subj-group></article-categories><title-group><article-title>Tale of three scales: The Planck, the species, and the black hole scales</article-title><alt-title alt-title-type="running-title">TALE OF THREE SCALES: THE PLANCK, THE SPECIES, …</alt-title><alt-title alt-title-type="running-author">BEDROYA ALEK, VAFA CUMRUN, AND WU DAVID H.</alt-title></title-group><contrib-group><contrib contrib-type="author"><contrib-id authenticated="true" contrib-id-type="orcid">https://orcid.org/0000-0002-3083-0940</contrib-id><name><surname>Bedroya</surname><given-names>Alek</given-names></name><xref ref-type="aff" rid="a1 a2"><sup>1,2</sup></xref></contrib><contrib contrib-type="author"><name><surname>Vafa</surname><given-names>Cumrun</given-names></name><xref ref-type="aff" rid="a2"><sup>2</sup></xref></contrib><contrib contrib-type="author"><contrib-id authenticated="true" contrib-id-type="orcid">https://orcid.org/0000-0003-4587-0280</contrib-id><name><surname>Wu</surname><given-names>David H.</given-names></name><xref ref-type="aff" rid="a2"><sup>2</sup></xref></contrib><aff id="a1"><label><sup>1</sup></label>Princeton Gravity Initiative, <institution-wrap><institution>Princeton University</institution><institution-id institution-id-type="ror">https://ror.org/00hx57361</institution-id></institution-wrap>, Princeton, New Jersey 08544, USA</aff><aff id="a2"><label><sup>2</sup></label>Jefferson Physical Laboratory, <institution-wrap><institution>Harvard University</institution><institution-id institution-id-type="ror">https://ror.org/03vek6s52</institution-id></institution-wrap>, Cambridge, Massachusetts 02138, USA</aff></contrib-group><pub-date iso-8601-date="2026-05-11" date-type="pub" publication-format="electronic"><day>11</day><month>May</month><year>2026</year></pub-date><pub-date iso-8601-date="2026-05-15" date-type="pub" publication-format="print"><day>15</day><month>May</month><year>2026</year></pub-date><volume>113</volume><issue>10</issue><elocation-id>106011</elocation-id><pub-history><event><date iso-8601-date="2025-02-25" date-type="received"><day>25</day><month>February</month><year>2025</year></date></event><event><date iso-8601-date="2026-04-09" date-type="accepted"><day>9</day><month>April</month><year>2026</year></date></event></pub-history><permissions><copyright-statement>Published by the American Physical Society</copyright-statement><copyright-year>2026</copyright-year><copyright-holder>authors</copyright-holder><license license-type="creative-commons" xlink:href="https://creativecommons.org/licenses/by/4.0/"><license-p content-type="usage-statement">Published by the American Physical Society under the terms of the <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">Creative Commons Attribution 4.0 International</ext-link> license. Further distribution of this work must maintain attribution to the author(s) and the published article’s title, journal citation, and DOI. Funded by SCOAP<sup>3</sup>.</license-p></license></permissions><related-article ext-link-type="doi" xlink:href="10.48550/arXiv.2403.18005" related-article-type="preprint"/><abstract><p>Quantum gravity (QG) has a natural cutoff given by the Planck scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi>M</mml:mi><mml:mi>pl</mml:mi></mml:msub></mml:math></inline-formula>. However, it is known that the effective field theory (EFT) of gravity can break down at a lower scale, the species scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mi>pl</mml:mi></mml:msub></mml:math></inline-formula>, if there are light species of particles. Here we point out that there is a third scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mi>pl</mml:mi></mml:msub></mml:math></inline-formula>, which marks the inverse length (or the temperature) of the smallest black hole where the EFT gives a correct description of its entropy and free energy. This latter scale is hard to detect from the viewpoint of EFT as it represents a phase transition to a state with lower free energy. We illustrate this using examples drawn from consistent QG landscape. In particular <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> gets related to Gregory-Laflamme transition in the decompactification limits of quantum gravity and to the Horowitz-Polchinski solution in the light perturbative string limits. We propose the existence of <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> marking the temperature at which neutral black holes undergo a phase transition, as a new Swampland condition for all consistent quantum theories of gravity. In the asymptotic regimes of field space <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is close to the mass scale of the lightest tower but deviates from it as we move inwards in the moduli space.</p></abstract><funding-group><award-group award-type="unspecified"><funding-source country="US"><institution-wrap><institution>Simons Foundation</institution><institution-id institution-id-type="doi" vocab="open-funder-registry" vocab-identifier="10.13039/open-funder-registry">10.13039/100000893</institution-id></institution-wrap></funding-source><award-id>602883</award-id><award-id>654561</award-id></award-group><award-group award-type="unspecified"><funding-source country=""><institution-wrap><institution>DellaPietra Foundation</institution></institution-wrap></funding-source></award-group><award-group award-type="grant"><funding-source country="US"><institution-wrap><institution>National Science Foundation</institution><institution-id institution-id-type="doi" vocab="open-funder-registry" vocab-identifier="10.13039/open-funder-registry">10.13039/100000001</institution-id></institution-wrap></funding-source><award-id>PHY-2013858</award-id></award-group><award-group award-type="unspecified"><funding-source country="US"><institution-wrap><institution>Princeton University</institution><institution-id institution-id-type="doi" vocab="open-funder-registry" vocab-identifier="10.13039/open-funder-registry">10.13039/100006734</institution-id></institution-wrap></funding-source></award-group></funding-group><counts><page-count count="10"/></counts></article-meta></front><body><sec id="s1"><label>I.</label><title>INTRODUCTION</title><p>Quantum gravitational theories enjoy a natural cutoff, the Planck scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi>M</mml:mi><mml:mi>pl</mml:mi></mml:msub></mml:math></inline-formula>. When curvature is of the order of <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>M</mml:mi><mml:mi>pl</mml:mi><mml:mn>2</mml:mn></mml:msubsup></mml:math></inline-formula> the Einstein term in the action becomes strong and the quantum fluctuations render the classical picture of gravity inadequate. However, the actual scale in which the quantum gravity effective action can become invalid may be smaller. Indeed, it was argued in <xref ref-type="bibr" rid="c1 c2 c3 c4">[1–4]</xref> that if there are light species of particles present in the theory, the consistency of black hole entropy with the <italic>effective field theory</italic> (EFT) description requires the breakdown of the classical picture at a lower scale called the “species scale”, <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula>. It was proposed in <xref ref-type="bibr" rid="c5">[5]</xref> that the mechanism for this is that the higher-order corrections to the gravitational action become strong at the scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> instead of <inline-formula><mml:math display="inline"><mml:msub><mml:mi>M</mml:mi><mml:mi>pl</mml:mi></mml:msub></mml:math></inline-formula> as one may naively expect. Even though the introduction of <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> was motivated by the appearance of the tower of light states, surprisingly the mass scale of this tower, <inline-formula><mml:math display="inline"><mml:mi>m</mml:mi></mml:math></inline-formula>, does not seem to be directly captured by <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula>. Indeed, the EFT does not directly encode the mass scale of the tower. For example, when the spectrum of light states is dominated by Kaluza–Klein (KK) modes coming from decompactifying a <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi></mml:math></inline-formula>-dimensional theory to <inline-formula><mml:math display="inline"><mml:mi>D</mml:mi></mml:math></inline-formula> dimensions, the species scale corresponds to the Planck mass in the higher-dimensional theory <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi><mml:mrow><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup><mml:mo>∼</mml:mo><mml:msubsup><mml:mi>M</mml:mi><mml:mi>pl</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup><mml:msup><mml:mi>R</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mi>D</mml:mi></mml:mrow></mml:msup></mml:math></inline-formula>, and not the KK mass scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:mi>R</mml:mi></mml:math></inline-formula>. In other words, the number of extra dimensions <inline-formula><mml:math display="inline"><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mi>d</mml:mi></mml:math></inline-formula> is harder to detect from the low energy EFT. Note that a sufficiently high precision measurement of the gravitational amplitudes can always determine <inline-formula><mml:math display="inline"><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. However, as explained in the Appendix, the corrections to the EFT coefficients at energy scale <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi><mml:mo>≪</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> that are controlled by <inline-formula><mml:math display="inline"><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> are always subleading, either to the massless threshold contribution or to the terms that are powers of the species scale. One way the lower-dimensional theory can find out about this scale is in the study of black holes. When black holes get smaller than <inline-formula><mml:math display="inline"><mml:mi>R</mml:mi></mml:math></inline-formula>, the black hole becomes thermodynamically unstable due to the Gregory-Laflamme transition <xref ref-type="bibr" rid="c6">[6]</xref>: the larger black holes correspond to black branes wrapped around the extra dimensions, but the smaller ones are localized in the extra dimensions. This transition to a new black hole solution marks a new scale in the lower-dimensional theory, which we denote as <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. A similar phenomenon occurs when we go to regions in field space with light fundamental strings. In this case, the species scale can be identified with the Hagedorn temperature which is proportional to the string scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula>. However, as we consider high-temperature black holes, there is evidence that before we get to the Hagedorn temperature, there is another scale where the black holes undergo a transition to a more stable state, the Horowitz-Polchinski solution, which we identify as <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. These two types of towers are the only types expected in the large-distance limits in quantum gravity <xref ref-type="bibr" rid="c7">[7]</xref>. Motivated by these observations, we propose a new Swampland condition: For all quantum gravitational theories, there is a temperature scale, <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, which is the lowest scale at which the black hole describable by the EFT becomes unstable due to a transition into a more stable saddle: <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mi>pl</mml:mi></mml:msub></mml:math></inline-formula>. Moreover, this scale marks the existence of a phase transition from the black hole well-described by the low-energy EFT to a more stable solution which is not visible to that EFT. We explain how this is related to the fact that massive weakly coupled states, such as towers, are omitted from the dynamical spectrum of the low-energy EFT. In particular, we propose that in the context of type IIA string theory a transition analogous to the Horowitz-Polchinski transition continuously deforms to the Gregory-Laflamme transition as we move from weak string coupling to strong coupling.</p><p>The organization of the rest of this paper is as follows. In Sec. <xref ref-type="sec" rid="s2">II</xref>, we review the species scale. In Sec. <xref ref-type="sec" rid="s3">III</xref>, we review the Gregory-Laflamme transition and the Horowitz-Polchinski transition. In Sec. <xref ref-type="sec" rid="s4">IV</xref>, we conclude by proposing a new Swampland condition.</p></sec><sec id="s2"><label>II.</label><title>THE SPECIES SCALE <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula></title><p>In the EFT approach to quantum gravity in <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi><mml:mo>≥</mml:mo><mml:mn>4</mml:mn></mml:math></inline-formula> spacetime dimensions, the leading terms are given by the Einstein action. The EFT is defined with a natural energy scale <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi></mml:math></inline-formula> to describe backgrounds with curvature scales <inline-formula><mml:math display="inline"><mml:mi mathvariant="script">R</mml:mi><mml:mo>∼</mml:mo><mml:msup><mml:mi>μ</mml:mi><mml:mn>2</mml:mn></mml:msup></mml:math></inline-formula>. Additionally, there will be higher-order terms which are suppressed for low-curvature regions. The EFT is expected to break down when these higher-order terms become of the same order as the leading term. Then, the coefficients of these higher-order terms, denoted as <inline-formula><mml:math display="inline"><mml:mi>a</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>μ</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, can depend on the massless scalar fields <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula> that parametrize the moduli space <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="script">M</mml:mi><mml:mrow><mml:mi>QG</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> as well as <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi></mml:math></inline-formula>. Hence, the higher-order corrections appearing in the action can be written as <disp-formula id="d1"><mml:math display="block"><mml:mrow><mml:msub><mml:mrow><mml:mi>S</mml:mi></mml:mrow><mml:mrow><mml:mrow><mml:mi>corr</mml:mi></mml:mrow><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msub><mml:mo>⊃</mml:mo><mml:mo>∫</mml:mo><mml:msup><mml:mrow><mml:mi mathvariant="normal">d</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi></mml:mrow></mml:msup><mml:mi>x</mml:mi><mml:msqrt><mml:mrow><mml:mo>-</mml:mo><mml:mi>g</mml:mi></mml:mrow></mml:msqrt><mml:mrow><mml:mo>[</mml:mo><mml:munder><mml:mrow><mml:mo>∑</mml:mo></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:munder><mml:msub><mml:mrow><mml:mi>a</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mrow><mml:mi>ϕ</mml:mi></mml:mrow><mml:mrow><mml:mi>i</mml:mi></mml:mrow></mml:msub><mml:mo>,</mml:mo><mml:mi>μ</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:msub><mml:mrow><mml:mi mathvariant="script">O</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi mathvariant="script">R</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>]</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:mrow></mml:math><label>(1)</label></disp-formula>where <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi mathvariant="script">R</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> denotes <inline-formula><mml:math display="inline"><mml:mn>2</mml:mn><mml:mi>n</mml:mi></mml:math></inline-formula>-dimensional operators.<fn id="fn1"><label><sup>1</sup></label><p>Note that our convention for the coefficients of higher-derivative operators differs from the definition in <xref ref-type="bibr" rid="c8">[8]</xref> by power of Planck mass.</p></fn> The dependence of the EFT coefficients on the moduli would be more pronounced when there are a large number of light species due to loop corrections. One would expect that the leading terms should define a new moduli-dependent physical energy scale. This is the energy scale at which the subleading corrections <inline-formula><mml:math display="inline"><mml:msub><mml:mi>a</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>μ</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi mathvariant="script">R</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>∼</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:mi>μ</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:msup><mml:mi>μ</mml:mi><mml:mrow><mml:mn>2</mml:mn><mml:mi>n</mml:mi></mml:mrow></mml:msup></mml:math></inline-formula> become of the same order as the Einstein term <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup><mml:mi mathvariant="script">R</mml:mi><mml:mo>∼</mml:mo><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup><mml:msup><mml:mi>μ</mml:mi><mml:mn>2</mml:mn></mml:msup></mml:math></inline-formula>. This scale is identified as the species scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>, <disp-formula id="d2"><mml:math display="block"><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mn>2</mml:mn><mml:mi>n</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:mrow></mml:mfrac><mml:mo>∼</mml:mo><mml:mfrac><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo>,</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup></mml:mfrac><mml:mo>,</mml:mo></mml:math><label>(2)</label></disp-formula>where the above relation is expected to hold up to constants for generic higher-order terms in the action. In other words, whereas one naively expects that the higher-order terms become relevant when the curvature is of the order of <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>M</mml:mi><mml:mi>pl</mml:mi><mml:mn>2</mml:mn></mml:msubsup></mml:math></inline-formula>, it actually breaks down sooner at curvature scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mn>2</mml:mn></mml:msup><mml:mo>≲</mml:mo><mml:msubsup><mml:mi>M</mml:mi><mml:mi>pl</mml:mi><mml:mn>2</mml:mn></mml:msubsup></mml:math></inline-formula> corresponding to energy scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. Hence, <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> can be viewed as an effective gravitational UV cutoff. An interesting feature of this definition is that the dependence of species scale across the full moduli space can in some situations be exactly calculated using supersymmetrically protected terms in the action <xref ref-type="bibr" rid="c5 c8">[5,8]</xref>.</p><p>To ensure the definition <xref ref-type="disp-formula" rid="d2">(2)</xref> of <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> correctly captures the strong-coupling behavior of gravity, one can test it in top-down constructions in string theory. In the corners of the moduli space with a weakly coupled string, we expect the effects of quantum gravity to appear at string mass, i.e., <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:mi>exp</mml:mi><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mo>-</mml:mo><mml:mi>ϕ</mml:mi><mml:mo>/</mml:mo><mml:msqrt><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msqrt><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:math></inline-formula> where <inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:mi>ϕ</mml:mi></mml:math></inline-formula> is the canonically normalized dilaton in the reduced Planck units. Furthermore, in M-theory corners where there is no weakly coupled string, the quantum gravity effects are expected to be controlled by a higher D-dimensional Planck mass, i.e., <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow></mml:msub><mml:mo>∼</mml:mo><mml:mi>exp</mml:mi><mml:mrow><mml:mo minsize="3ex" stretchy="true">(</mml:mo><mml:mo>-</mml:mo><mml:mi>ϕ</mml:mi><mml:msqrt><mml:mfrac><mml:mrow><mml:mi>D</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>D</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:mfrac></mml:msqrt><mml:mo minsize="3ex" stretchy="true">)</mml:mo></mml:mrow></mml:math></inline-formula> where <inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:mi>ϕ</mml:mi></mml:math></inline-formula> here is the canonically normalized volume modulus in the reduced Planck units. It has been conjectured that these two examples cover all weak-coupling limits in quantum gravity, which are each dubbed the emergent string and the decompactification limits, respectively <xref ref-type="bibr" rid="c7">[7]</xref>. The species scale defined in <xref ref-type="disp-formula" rid="d2">(2)</xref> was explicitly shown to satisfy these specific expectations in a diverse set of top-down examples <xref ref-type="bibr" rid="c8">[8]</xref>.</p><p>The above discussion can be illustrated through the instructive example of type IIA supergravity in 10 dimensions <xref ref-type="bibr" rid="c8 c9">[8,9]</xref>, where the species scale will depend on the dilaton <inline-formula><mml:math display="inline"><mml:mi>ϕ</mml:mi></mml:math></inline-formula>. The first nonzero higher-curvature correction to the supergravity action appears for the <inline-formula><mml:math display="inline"><mml:msup><mml:mi mathvariant="script">R</mml:mi><mml:mn>4</mml:mn></mml:msup></mml:math></inline-formula> term where the coefficient <inline-formula><mml:math display="inline"><mml:msub><mml:mi>a</mml:mi><mml:mn>4</mml:mn></mml:msub></mml:math></inline-formula> is computed via the tree-level and one-loop four-graviton scattering amplitudes in type IIA and does not receive any further contributions <xref ref-type="bibr" rid="c10">[10]</xref>. Thus, we can identify the species scale with <inline-formula><mml:math display="inline"><mml:msub><mml:mi>a</mml:mi><mml:mn>4</mml:mn></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>ϕ</mml:mi><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mo>-</mml:mo><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:mn>6</mml:mn></mml:mrow></mml:msup><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mn>10</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula>, <disp-formula id="d3"><mml:math display="block"><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="normal">Λ</mml:mi></mml:mrow><mml:mrow><mml:mi>s</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mfrac><mml:mrow><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mn>2</mml:mn><mml:mi>π</mml:mi><mml:msup><mml:mrow><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mrow><mml:mn>1</mml:mn><mml:mo stretchy="false">/</mml:mo><mml:mn>8</mml:mn></mml:mrow></mml:msup></mml:mrow></mml:mfrac><mml:msup><mml:mrow><mml:mo>[</mml:mo><mml:mfrac><mml:mrow><mml:mn>3</mml:mn><mml:mi>ζ</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>3</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mrow><mml:msup><mml:mrow><mml:mi>π</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:mrow></mml:mfrac><mml:msup><mml:mrow><mml:mi>e</mml:mi></mml:mrow><mml:mrow><mml:mn>3</mml:mn><mml:mi>ϕ</mml:mi><mml:mo>/</mml:mo><mml:msqrt><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msqrt></mml:mrow></mml:msup><mml:mo>+</mml:mo><mml:msup><mml:mrow><mml:mi>e</mml:mi></mml:mrow><mml:mrow><mml:mo>-</mml:mo><mml:mi>ϕ</mml:mi><mml:mo>/</mml:mo><mml:msqrt><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msqrt></mml:mrow></mml:msup><mml:mo>]</mml:mo></mml:mrow><mml:mrow><mml:mo>-</mml:mo><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:mn>6</mml:mn></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mi>M</mml:mi></mml:mrow><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mn>10</mml:mn></mml:mrow></mml:msub><mml:mo>.</mml:mo></mml:mrow></mml:math><label>(3)</label></disp-formula>In this case, the theory has two infinite-distance limits, corresponding to <inline-formula><mml:math display="inline"><mml:mi>ϕ</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mo>±</mml:mo><mml:mi>∞</mml:mi></mml:math></inline-formula>. On the one hand, when <inline-formula><mml:math display="inline"><mml:mi>ϕ</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mo>-</mml:mo><mml:mi>∞</mml:mi></mml:math></inline-formula>, or equivalently <inline-formula><mml:math display="inline"><mml:msub><mml:mi>g</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>≫</mml:mo><mml:mn>1</mml:mn></mml:math></inline-formula>, the species scale becomes <disp-formula id="und1"><mml:math display="block"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mi>ϕ</mml:mi><mml:mo>/</mml:mo><mml:mn>6</mml:mn><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt></mml:mrow></mml:msup><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mn>10</mml:mn></mml:mrow></mml:msub><mml:mo>∝</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mn>11</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo></mml:math></disp-formula>where <inline-formula><mml:math display="inline"><mml:msup><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mn>10</mml:mn></mml:mrow></mml:msub><mml:mo>/</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mn>11</mml:mn></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mn>8</mml:mn></mml:msup><mml:mo>=</mml:mo><mml:mn>2</mml:mn><mml:mi>π</mml:mi><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt><mml:mi>ϕ</mml:mi><mml:mo>/</mml:mo><mml:mn>3</mml:mn></mml:mrow></mml:msup></mml:math></inline-formula>. This is precisely the limit at which the theory decompactifies to 11d M-theory. On the other hand, when <inline-formula><mml:math display="inline"><mml:mi>ϕ</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mo>+</mml:mo><mml:mi>∞</mml:mi></mml:math></inline-formula>, or equivalently <inline-formula><mml:math display="inline"><mml:msub><mml:mi>g</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>≪</mml:mo><mml:mn>1</mml:mn></mml:math></inline-formula>, the species scale becomes <disp-formula id="und2"><mml:math display="block"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mi>ϕ</mml:mi><mml:mo>/</mml:mo><mml:mn>2</mml:mn><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt></mml:mrow></mml:msup><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mn>10</mml:mn></mml:mrow></mml:msub><mml:mo>∝</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>,</mml:mo></mml:math></disp-formula>where <inline-formula><mml:math display="inline"><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt><mml:mi>ϕ</mml:mi></mml:mrow></mml:msup><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mn>10</mml:mn></mml:mrow><mml:mn>8</mml:mn></mml:msubsup><mml:mo>∝</mml:mo><mml:msubsup><mml:mi>M</mml:mi><mml:mi>s</mml:mi><mml:mn>8</mml:mn></mml:msubsup></mml:math></inline-formula>. This is precisely the weak-coupling limit at which we have the emergent type IIA string. Therefore, this recovers the expected behavior in the infinite-distance limits of our moduli space. Moreover, note that as expected <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>ϕ</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>≲</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mn>10</mml:mn></mml:mrow></mml:msub></mml:math></inline-formula> everywhere in the moduli space.</p></sec><sec id="s3"><label>III.</label><title>PHASE TRANSITIONS IN QUANTUM GRAVITY</title><p>Many of the unique features of quantum gravity can be traced back to the existence and properties of black holes. In nongravitational theories, the coupling does not have to be related to mass, i.e., couplings are not directly correlated with mass. Therefore, arbitrarily massive states can be weakly coupled (or even free) without any issues. However, in a gravitational theory, every state is coupled to the graviton with a coupling proportional to its mass. Therefore, beyond a mass threshold, the localized states are expected to become strongly coupled, resulting in black holes.</p><p>Luckily, we expect the effective theory of gravity including the Einstein term to be a good description of large sized black holes where curvatures are sufficiently small near the horizon. However, as we decrease the size of a neutral black hole we expect the Hawking temperature to rise and beyond some temperature, the calculation of the free energy of the most stable saddle from the EFT becomes incorrect as the EFT does not detect the phase transitions of neutral black holes and also misses the perturbative instabilities associated to these black holes. Let us denote this limiting temperature by <inline-formula><mml:math display="inline"><mml:mi>T</mml:mi><mml:mo>=</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, where the critical size black hole is <inline-formula><mml:math display="inline"><mml:msub><mml:mi>R</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>∼</mml:mo><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. Clearly <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mi>pl</mml:mi></mml:msub></mml:math></inline-formula>. In fact, we would expect <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mi>pl</mml:mi></mml:msub></mml:math></inline-formula> because the action becomes large near the horizon of black holes of size <inline-formula><mml:math display="inline"><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula>, so the EFT surely breaks down at <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> or below that scale.</p><p>From the form of the effective action one may think that <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> because one would naively expect that the only reason the effective action would not be describing the black hole correctly is that the higher-order terms become important. As we will argue, this is not true and generically <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>&lt;</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> (Fig. <xref ref-type="fig" rid="f1">1</xref>). The mechanism for this is that the nature of the black hole described by the IR properties of the EFT is not the stable one; at smaller radii (i.e., higher temperatures) there is another class of solutions which the EFT misses that have lower free energy. So, the black holes undergo a transition at <inline-formula><mml:math display="inline"><mml:mi>T</mml:mi><mml:mo>=</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> to these more stable states.</p><fig id="f1"><object-id>1</object-id><object-id pub-id-type="doi">10.1103/4lsn-l2ln.f1</object-id><label>FIG. 1.</label><caption><p>Free energy vs temperatures near important energy scales in <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi></mml:math></inline-formula>-dimensional quantum gravity. The black hole (<inline-formula><mml:math display="inline"><mml:mi>BH</mml:mi></mml:math></inline-formula>) transitions into a more stable object <inline-formula><mml:math display="inline"><mml:mo stretchy="false">(</mml:mo><mml:msup><mml:mi>BH</mml:mi><mml:mo>*</mml:mo></mml:msup><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> at temperature <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>BH</mml:mi></mml:msub></mml:math></inline-formula>. The thermodynamic description breaks down when the temperature reaches the species scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>.</p></caption><graphic xlink:href="e106011_1.eps"/></fig><p>We provide evidence for this in regions of weak-coupling in the QG landscape. These are the asymptotic regions of parameter space where we expect to have either a tower of light KK modes or light fundamental strings <xref ref-type="bibr" rid="c7">[7]</xref>. We now turn to these two cases and show that in both there is such a scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> where the EFT incorrectly estimates the free energy of the more stable states to which the black holes with temperatures greater than <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> transition.</p><p>We note that there can be more than one phase transition in the spectrum of massive states in quantum gravity. An example of this is when there are compact dimensions with parametrically different length scales. In such cases we identify <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> as the lowest such scale. The structure of these phase transitions are highly constrained from the top-down perspective and can be motivated using bottom-up arguments in the weak-coupling limits <xref ref-type="bibr" rid="c11">[11]</xref>. In particular, the thermodynamics of weakly coupled particle towers at high temperatures has been studied in <xref ref-type="bibr" rid="c12 c13">[12,13]</xref> using insights from black hole thermodynamics (see also <xref ref-type="bibr" rid="c11">[11]</xref>).</p><sec id="s3a"><label>A.</label><title>The Gregory-Laflamme transition</title><p>In this section, we briefly review how the physics of black holes is affected by the presence of large extra dimensions. Suppose there are <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi></mml:math></inline-formula> noncompact dimensions and <inline-formula><mml:math display="inline"><mml:mi>p</mml:mi></mml:math></inline-formula> large extra dimensions that have length scale <inline-formula><mml:math display="inline"><mml:mi>R</mml:mi></mml:math></inline-formula>. The first question one could ask is, what is the meaning of a neutral black hole in <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi></mml:math></inline-formula> dimensions from the perspective of the higher dimensional theory.</p><p>To answer this, let us start by considering the Schwarzschild black hole described by the following metric in <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi></mml:math></inline-formula> dimensions: <disp-formula id="d4"><mml:math display="block"><mml:mi mathvariant="normal">d</mml:mi><mml:msup><mml:mi>s</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:mn>1</mml:mn><mml:mo>-</mml:mo><mml:mfrac><mml:msubsup><mml:mi>r</mml:mi><mml:mi>H</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>3</mml:mn></mml:mrow></mml:msubsup><mml:msup><mml:mi>r</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>3</mml:mn></mml:mrow></mml:msup></mml:mfrac><mml:mo>)</mml:mo></mml:mrow><mml:mi mathvariant="normal">d</mml:mi><mml:msup><mml:mi>t</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>+</mml:mo><mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:mn>1</mml:mn><mml:mo>-</mml:mo><mml:mfrac><mml:msubsup><mml:mi>r</mml:mi><mml:mi>H</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>3</mml:mn></mml:mrow></mml:msubsup><mml:msup><mml:mi>r</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>3</mml:mn></mml:mrow></mml:msup></mml:mfrac><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mo>-</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msup><mml:mi mathvariant="normal">d</mml:mi><mml:msup><mml:mi>r</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>+</mml:mo><mml:msup><mml:mi>r</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mi mathvariant="normal">d</mml:mi><mml:msubsup><mml:mi mathvariant="normal">Ω</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow><mml:mn>2</mml:mn></mml:msubsup><mml:mo>,</mml:mo><mml:mspace linebreak="goodbreak"/></mml:math><label>(4)</label></disp-formula>where <inline-formula><mml:math display="inline"><mml:msub><mml:mi>r</mml:mi><mml:mi>H</mml:mi></mml:msub></mml:math></inline-formula> is the horizon radius of the black hole. This solution is the dimensional reduction of the following metric in the higher-dimensional theory: <disp-formula id="d5"><mml:math display="block"><mml:mi mathvariant="normal">d</mml:mi><mml:msup><mml:mi>s</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo indentalign="id" indenttarget="d5a1">=</mml:mo><mml:mo>-</mml:mo><mml:mrow><mml:mo>(</mml:mo><mml:mn>1</mml:mn><mml:mo>-</mml:mo><mml:mfrac><mml:msubsup><mml:mi>r</mml:mi><mml:mi>H</mml:mi><mml:mrow><mml:mi>D</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>3</mml:mn><mml:mo stretchy="false">-</mml:mo><mml:mi>p</mml:mi></mml:mrow></mml:msubsup><mml:msup><mml:mi>r</mml:mi><mml:mrow><mml:mi>D</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>3</mml:mn><mml:mo stretchy="false">-</mml:mo><mml:mi>p</mml:mi></mml:mrow></mml:msup></mml:mfrac><mml:mo>)</mml:mo></mml:mrow><mml:mi>d</mml:mi><mml:msup><mml:mi>t</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>+</mml:mo><mml:munderover><mml:mo>∑</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>,</mml:mo><mml:mi>j</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mi>p</mml:mi></mml:munderover><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 stretchy="false">(</mml:mo><mml:mi>y</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mi mathvariant="normal">d</mml:mi><mml:msup><mml:mi>y</mml:mi><mml:mi>i</mml:mi></mml:msup><mml:mi mathvariant="normal">d</mml:mi><mml:msup><mml:mi>y</mml:mi><mml:mi>j</mml:mi></mml:msup><mml:mspace linebreak="newline"/><mml:mo indentalign="id" indentshift="1em" indenttarget="d5a1">+</mml:mo><mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:mn>1</mml:mn><mml:mo>-</mml:mo><mml:mfrac><mml:msubsup><mml:mi>r</mml:mi><mml:mi>H</mml:mi><mml:mrow><mml:mi>D</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>3</mml:mn><mml:mo stretchy="false">-</mml:mo><mml:mi>p</mml:mi></mml:mrow></mml:msubsup><mml:msup><mml:mi>r</mml:mi><mml:mrow><mml:mi>D</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>3</mml:mn><mml:mo stretchy="false">-</mml:mo><mml:mi>p</mml:mi></mml:mrow></mml:msup></mml:mfrac><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mo>-</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msup><mml:mi mathvariant="normal">d</mml:mi><mml:msup><mml:mi>r</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>+</mml:mo><mml:msup><mml:mi>r</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mi mathvariant="normal">d</mml:mi><mml:msubsup><mml:mi mathvariant="normal">Ω</mml:mi><mml:mrow><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mo>-</mml:mo><mml:mi>p</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:msubsup><mml:mo>,</mml:mo></mml:math><label>(5)</label></disp-formula>where <inline-formula><mml:math display="inline"><mml:mi>D</mml:mi><mml:mo>=</mml:mo><mml:mi>p</mml:mi><mml:mo>+</mml:mo><mml:mi>d</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><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 stretchy="false">(</mml:mo><mml:mi>y</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> is the pullback metric on the compact manifold. The above solution is a black brane whose horizon is parametrized by <inline-formula><mml:math display="inline"><mml:msup><mml:mi>y</mml:mi><mml:mi>i</mml:mi></mml:msup></mml:math></inline-formula> as well as the angular coordinates. In other words, we have a black <inline-formula><mml:math display="inline"><mml:mi>p</mml:mi></mml:math></inline-formula>-brane that is wrapped around the <inline-formula><mml:math display="inline"><mml:mi>p</mml:mi></mml:math></inline-formula> dimensional compact manifold. Therefore, a neutral black hole always lifts up to a higher-dimensional black brane that is uniformly wrapped around the extra dimensions. If the compact space has a symmetry (or approximate symmetry as in the case of large extra dimensions), any nonuniform black hole would involve a combination of KK charges. Indeed, in the extreme limit when the black hole is localized in the extra dimensions, it would not be in a definite charge state, but a superposition thereof. Therefore, it is natural to expect a neutral black hole to uplift to a uniformly wrapped black brane. This observation implies that black holes in some sense see the entirety of the compact space. This raises the question of can we probe the presence of extra dimensions using lower dimensional black holes. As is well-known, and we will explain below, by lowering the mass of black holes, the black holes become unstable at <inline-formula><mml:math display="inline"><mml:msub><mml:mi>r</mml:mi><mml:mi>H</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:mi>R</mml:mi></mml:math></inline-formula> due to the Gregory-Laflamme (GL) transition which provides a lower-dimensional window to probe the higher-dimensional theory. At this transition scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi>r</mml:mi><mml:mi>H</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:mi>R</mml:mi></mml:math></inline-formula>, the uniformly wrapped black brane becomes unstable as was shown by Gregory and Laflamme <xref ref-type="bibr" rid="c6 c14 c15">[6,14,15]</xref>.</p><p>Even though, the perturbative analysis does not determine the final state, it is reasonable to expect that the black brane will break up into smaller pieces which will then clump up and collapse into black holes. In other words, the black hole will decompose into higher-dimensional black holes that are localized in the extra dimensions. These black holes might subsequently join and form a larger higher-dimensional black hole. Let us note an interesting feature of this transition. A black hole with vanishing KK momentum decays into a wave packet of nonzero KK states. One might wonder if this process breaks the charge conservation when the compact space is symmetric. The answer is that it does not. It rather teaches us that neutral black holes for small enough black holes are superpositions of different charges and only on average have zero charge.</p><p>Interestingly, the Gregory-Laflamme transition can also be understood as a thermodynamic transition. The mass scale at which the lower-dimensional black hole becomes perturbatively unstable, up to numerical constants, agrees with the mass scale where the entropies of the two solutions are equal. The entropy of the lower-dimensional black hole is given by <disp-formula id="d6"><mml:math display="block"><mml:msub><mml:mi>S</mml:mi><mml:mi>d</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mfrac><mml:mrow><mml:mn>4</mml:mn><mml:msup><mml:mi>π</mml:mi><mml:mfrac><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">+</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mn>2</mml:mn></mml:mfrac></mml:msup></mml:mrow><mml:mrow><mml:mi mathvariant="normal">Γ</mml:mi><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mfrac><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mn>2</mml:mn></mml:mfrac><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:mrow></mml:mfrac><mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:mfrac><mml:mi>M</mml:mi><mml:mrow><mml:mn>4</mml:mn><mml:mi>π</mml:mi><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msub></mml:mrow></mml:mfrac><mml:mo>)</mml:mo></mml:mrow><mml:mfrac><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>3</mml:mn></mml:mrow></mml:mfrac></mml:msup><mml:mo>,</mml:mo></mml:math><label>(6)</label></disp-formula>while for the higher-dimensional black hole, it is given by <disp-formula id="d7"><mml:math display="block"><mml:msub><mml:mi>S</mml:mi><mml:mi>D</mml:mi></mml:msub><mml:mo>≃</mml:mo><mml:mfrac><mml:mrow><mml:mn>4</mml:mn><mml:msup><mml:mi>π</mml:mi><mml:mfrac><mml:mrow><mml:mi>D</mml:mi><mml:mo stretchy="false">+</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mn>2</mml:mn></mml:mfrac></mml:msup></mml:mrow><mml:mrow><mml:mi mathvariant="normal">Γ</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mfrac><mml:mrow><mml:mi>D</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mn>2</mml:mn></mml:mfrac><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:mfrac><mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:mfrac><mml:mrow><mml:msup><mml:mi>M</mml:mi><mml:mrow><mml:mi>D</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mo stretchy="false">(</mml:mo><mml:mn>2</mml:mn><mml:mi>π</mml:mi><mml:mi>R</mml:mi><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mi>p</mml:mi></mml:msup></mml:mrow><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mn>4</mml:mn><mml:mi>π</mml:mi><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mi>D</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup></mml:mrow></mml:mfrac><mml:mo>)</mml:mo></mml:mrow><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mi>D</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>3</mml:mn></mml:mrow></mml:mfrac></mml:msup><mml:mo>,</mml:mo></mml:math><label>(7)</label></disp-formula>where <inline-formula><mml:math display="inline"><mml:mi>D</mml:mi><mml:mo>=</mml:mo><mml:mi>p</mml:mi><mml:mo>+</mml:mo><mml:mi>d</mml:mi></mml:math></inline-formula> is the total number of dimensions. Note that the factors of <inline-formula><mml:math display="inline"><mml:mi>R</mml:mi></mml:math></inline-formula> appear due to the relationship between the lower-dimensional and higher-dimensional reduced Planck mass, <disp-formula id="und3"><mml:math display="block"><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow><mml:mrow><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup><mml:mo stretchy="false">(</mml:mo><mml:mn>2</mml:mn><mml:mi>π</mml:mi><mml:mi>R</mml:mi><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mi>p</mml:mi></mml:msup><mml:mo>,</mml:mo></mml:math></disp-formula>where, for simplicity, we have assumed the extra dimensions form a <inline-formula><mml:math display="inline"><mml:mi>p</mml:mi></mml:math></inline-formula>-dimensional torus with radius <inline-formula><mml:math display="inline"><mml:mi>R</mml:mi></mml:math></inline-formula>. The two expressions for entropies become equal at mass scale <inline-formula><mml:math display="inline"><mml:mi>M</mml:mi><mml:mo>∼</mml:mo><mml:msup><mml:mi>R</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>3</mml:mn></mml:mrow></mml:msup><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup></mml:math></inline-formula> and radius <inline-formula><mml:math display="inline"><mml:mo>∼</mml:mo><mml:mi>R</mml:mi></mml:math></inline-formula>. For lower masses, the higher-dimensional black hole is more entropically favorable.</p><p>We can also see the instability of the lower-dimensional black holes in the canonical ensemble where the temperature is kept fixed. The free energy of the <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi></mml:math></inline-formula>-dimensional and <inline-formula><mml:math display="inline"><mml:mi>D</mml:mi></mml:math></inline-formula>-dimensional black holes in terms of the temperature <inline-formula><mml:math display="inline"><mml:mi>T</mml:mi></mml:math></inline-formula> are given by <disp-formula id="d8"><mml:math display="block"><mml:msub><mml:mi>F</mml:mi><mml:mi>d</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mfrac><mml:mrow><mml:mn>4</mml:mn><mml:mi>π</mml:mi><mml:msup><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>3</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mi mathvariant="normal">Γ</mml:mi><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mfrac><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mn>2</mml:mn></mml:mfrac><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>3</mml:mn></mml:mrow></mml:msup><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup></mml:mrow><mml:mrow><mml:msup><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:msup><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:msup><mml:mi>π</mml:mi><mml:mfrac><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mn>2</mml:mn></mml:mfrac></mml:msup><mml:mi>T</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>3</mml:mn></mml:mrow></mml:msup></mml:mrow></mml:mfrac><mml:mo>,</mml:mo></mml:math><label>(8)</label></disp-formula><disp-formula id="d9"><mml:math display="block"><mml:msub><mml:mi>F</mml:mi><mml:mi>D</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mfrac><mml:mrow><mml:mn>4</mml:mn><mml:mi>π</mml:mi><mml:msup><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mi>D</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>3</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mi mathvariant="normal">Γ</mml:mi><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mfrac><mml:mrow><mml:mi>D</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mn>2</mml:mn></mml:mfrac><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mrow><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mn>3</mml:mn></mml:mrow></mml:msup><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup></mml:mrow><mml:mrow><mml:msup><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mrow><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:msup><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mn>2</mml:mn><mml:mi>π</mml:mi><mml:mi>R</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mi>p</mml:mi></mml:msup><mml:msup><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:msup><mml:mi>π</mml:mi><mml:mfrac><mml:mrow><mml:mi>D</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mn>2</mml:mn></mml:mfrac></mml:msup><mml:mi>T</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mrow><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mn>3</mml:mn></mml:mrow></mml:msup></mml:mrow></mml:mfrac><mml:mo>.</mml:mo></mml:math><label>(9)</label></disp-formula>The two expressions for free energies become equal at temperature <inline-formula><mml:math display="inline"><mml:mi>T</mml:mi><mml:mo>∼</mml:mo><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:mi>R</mml:mi></mml:math></inline-formula>. For higher temperatures, the higher-dimensional black hole has lower free energy and is therefore thermodynamically favorable.</p><p>It is interesting to note the consistency between the lower- and higher-dimensional black hole perspectives; one could ask, what is the maximum entropy one can obtain from fitting higher-dimensional black holes of mass <inline-formula><mml:math display="inline"><mml:mi>M</mml:mi></mml:math></inline-formula> and radius <inline-formula><mml:math display="inline"><mml:mi>r</mml:mi><mml:mo>∝</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mi>M</mml:mi><mml:mo>/</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow></mml:msub><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mn>3</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:mrow></mml:msup><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow><mml:mrow><mml:mo>-</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msubsup><mml:mo>≪</mml:mo><mml:mi>R</mml:mi></mml:math></inline-formula> inside the extra dimensions. We can fit <inline-formula><mml:math display="inline"><mml:mo>∼</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mi>R</mml:mi><mml:mo>/</mml:mo><mml:mi>r</mml:mi><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mi>p</mml:mi></mml:msup></mml:math></inline-formula> such black holes in <inline-formula><mml:math display="inline"><mml:msup><mml:mi>T</mml:mi><mml:mi>p</mml:mi></mml:msup></mml:math></inline-formula> and adding up their entropies comes out to <disp-formula id="d10"><mml:math display="block"><mml:mi>S</mml:mi><mml:mo>∼</mml:mo><mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:mfrac><mml:mi>R</mml:mi><mml:mi>r</mml:mi></mml:mfrac><mml:mo>)</mml:mo></mml:mrow><mml:mi>p</mml:mi></mml:msup><mml:msup><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi>r</mml:mi><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mrow><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mo>∼</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mi>r</mml:mi><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msub><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup><mml:mo>,</mml:mo></mml:math><label>(10)</label></disp-formula>which is proportional to the entropy of a lower-dimensional black hole with the combined mass of <inline-formula><mml:math display="inline"><mml:mo>∼</mml:mo><mml:msup><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mfrac><mml:mi>R</mml:mi><mml:mi>r</mml:mi></mml:mfrac><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mi>p</mml:mi></mml:msup><mml:mi>M</mml:mi></mml:math></inline-formula>. In other words, the entropy formulas of lower and higher-dimensional black holes are nontrivially consistent with each other to ensure that the maximum entropy in a given region of the noncompact space follows the area law.</p><p>The presence of large extra dimensions leads to a tower of light KK states with masses proportional to <inline-formula><mml:math display="inline"><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:mi>R</mml:mi></mml:math></inline-formula>. What is remarkable about the GL transition is that it provides an important physical meaning to the KK energy scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub><mml:mo>∼</mml:mo><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:mi>R</mml:mi></mml:math></inline-formula>. This is the temperature scale at which lower-dimensional black holes become unstable and undergo phase transition. In other words, the presence of large extra dimension is not only reflected in the spectrum of the theory at low masses (<inline-formula><mml:math display="inline"><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub><mml:mo>&lt;</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>) via KK states, but it is also observable in the UV states at much higher mass [<inline-formula><mml:math display="inline"><mml:mi>M</mml:mi><mml:mo>=</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mi>R</mml:mi><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msub><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>3</mml:mn></mml:mrow></mml:msup><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msub><mml:mo>&gt;</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>] in the spectrum of black holes.</p><p>Another interesting observation which we will discuss below, is that both manifestations of the extra dimensions (emergence of KK tower and instability of black holes) tell us that the low-energy EFT fails at describing black holes with temperatures <inline-formula><mml:math display="inline"><mml:mi>T</mml:mi><mml:mo>≫</mml:mo><mml:msup><mml:mi>R</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msup></mml:math></inline-formula> in a way that would not be observable to the EFT. The basic idea is that the main effect of the large-radius compactification is to a good approximation simply reducing the higher-dimensional theory, that includes the higher-order terms, to the lower one. To see this, suppose in particular we are considering graviton scattering amplitudes in the lower-dimensional theory. If we were to compute this by including also the KK modes as intermediate states, this is already included as the momentum integral in the reduction of the higher-dimensional theory. The only difference is replacing the continuous internal momenta <inline-formula><mml:math display="inline"><mml:mi>p</mml:mi></mml:math></inline-formula> with discrete sums of the form <inline-formula><mml:math display="inline"><mml:mi>n</mml:mi><mml:mo>/</mml:mo><mml:mi>R</mml:mi></mml:math></inline-formula> and we would expect this to be a small effect if the discretization is refined enough, i.e., if <inline-formula><mml:math display="inline"><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:mi>R</mml:mi><mml:mo>≪</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. In particular we expect the corrections to the amplitudes to be suppressed by powers of <inline-formula><mml:math display="inline"><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mi>R</mml:mi><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> compared to the leading term given by suitable powers of <inline-formula><mml:math display="inline"><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>i</mml:mi></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. As explained in the Appendix, the leading correction to the EFT and calculation of black hole free energy will be controlled by the species scale and is negligible for black holes with temperatures <inline-formula><mml:math display="inline"><mml:mi>T</mml:mi><mml:mo>≪</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula>. In summary, in the IR regime at temperatures <inline-formula><mml:math display="inline"><mml:mi>T</mml:mi><mml:mo>≪</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, the leading correction is generically sourced by the relevant and marginal terms descended from the higher-dimensional action rather than the KK particles running in the loops. On the other hand, in the energy regime where <inline-formula><mml:math display="inline"><mml:mi>T</mml:mi><mml:mo>≫</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, the collective effect of loop corrections is well-approximated by the higher-dimensional fields running in the loop. Therefore, the leading correction is still captured by the dimensional reduction of a higher-dimensional term.</p><p>In some sense, to see the new physics of KK states, one must have access to the KK states because their contribution to the scattering amplitudes with zero KK charge is only through loops and therefore is negligible. Naively, from the higher-derivative expansion of the EFT, one could have completely missed the KK states and thought that new physics only emerges at energy scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula>. In fact, something similar happens for the black hole physics with an important exception. If one does not include the KK states in the lower-dimensional theory, there is no indication of a thermodynamic instability of the black holes and the existence of a more stable saddle (the higher-dimensional black hole). Nonetheless, one can experimentally observe this instability without having access to KK states, by looking at the thermodynamics of black holes with zero KK charge. Therefore, the low-energy EFT breaks down for describing the thermodynamics of black holes at temperatures <inline-formula><mml:math display="inline"><mml:mi>T</mml:mi><mml:mo>&gt;</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. It is remarkable that contrary to particles with vanishing KK charge, black holes that carry no definite KK charge (neutral on the average) can see the presence of extra dimensions.</p></sec><sec id="s3b"><label>B.</label><title>The black hole/string stars transition</title><p>In this section we review how the black hole entropy formula fails at sufficiently high temperatures in weakly coupled string theories.</p><p>The thermodynamics of a black hole in the canonical ensemble is described by a Euclidean solution with a thermal circle. The circumference of the thermal circle is <inline-formula><mml:math display="inline"><mml:mi>β</mml:mi></mml:math></inline-formula> in the asymptotic region, and it vanishes on the horizon <xref ref-type="bibr" rid="c16">[16]</xref>. The thermal circle has anti-periodic boundary condition for fermions which lowers the zero-point energy of winding strings. Consequently, the winding string becomes tachyonic when <inline-formula><mml:math display="inline"><mml:mi>β</mml:mi><mml:mo>&lt;</mml:mo><mml:msub><mml:mi>β</mml:mi><mml:mi mathvariant="normal">H</mml:mi></mml:msub></mml:math></inline-formula> for some <inline-formula><mml:math display="inline"><mml:msub><mml:mi>β</mml:mi><mml:mi mathvariant="normal">H</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:msubsup><mml:mi>M</mml:mi><mml:mi>s</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msubsup></mml:math></inline-formula>. The temperature <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>β</mml:mi><mml:mi mathvariant="normal">H</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msubsup><mml:mo>∼</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> is known as the Hagedorn temperature and is a manifestation of the exponential growth of the number of string excitations with respect to mass <xref ref-type="bibr" rid="c17 c18 c19">[17–19]</xref>. Naturally, one could ask whether the black hole entropy formula fails exactly at the Hagedorn temperature <inline-formula><mml:math display="inline"><mml:msub><mml:mi>T</mml:mi><mml:mi mathvariant="normal">H</mml:mi></mml:msub></mml:math></inline-formula> or whether one must switch to a different description at a lower temperature?</p><p>This was answered in <xref ref-type="bibr" rid="c20">[20]</xref> where Horowitz and Polchinski used the winding state in its nontachyonic regime (<inline-formula><mml:math display="inline"><mml:mi>β</mml:mi><mml:mo>&gt;</mml:mo><mml:msub><mml:mi>β</mml:mi><mml:mi>H</mml:mi></mml:msub></mml:math></inline-formula>) to find new Euclidean saddles in spacetime dimensions <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi><mml:mo>&lt;</mml:mo><mml:mn>7</mml:mn></mml:math></inline-formula>. One can use the Euclidean action to calculate the free energy and temperature of these solutions <xref ref-type="bibr" rid="c21">[21]</xref>. There is a critical temperature <inline-formula><mml:math display="inline"><mml:msub><mml:mi>T</mml:mi><mml:mrow><mml:mi>HP</mml:mi></mml:mrow></mml:msub><mml:mo>&lt;</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi mathvariant="normal">H</mml:mi></mml:msub></mml:math></inline-formula> such that for all <inline-formula><mml:math display="inline"><mml:mi>T</mml:mi><mml:mo>&gt;</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mrow><mml:mi>HP</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, the Horowitz-Polchinski (HP) solutions (also known as <italic>string stars</italic>) have lower free energy and therefore are more stable. Therefore, there is a transition from the black holes to the more stable string stars for <inline-formula><mml:math display="inline"><mml:mi>T</mml:mi><mml:mo>&gt;</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mrow><mml:mi>HP</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. The transition temperature is of the same order, but strictly smaller, than the Hagedorn temperature.</p><p>Even though the HP solution does not exist in weakly coupled string theories in higher dimensions (<inline-formula><mml:math display="inline"><mml:mi>d</mml:mi><mml:mo>≥</mml:mo><mml:mn>7</mml:mn></mml:math></inline-formula>), there is evidence that a strongly coupled solution replacing it might exist <xref ref-type="bibr" rid="c22">[22]</xref>.</p><p>Note that the light winding state plays a crucial role in the existence of the HP saddle in the Euclidean signature. The fact that the winding state around the thermal circle becomes massless at finite <inline-formula><mml:math display="inline"><mml:mi>β</mml:mi></mml:math></inline-formula> is the other side of the coin to the exponential growth of string tower. Therefore, the low-energy EFT without the string tower, would not be able to predict the HP saddle. In other words, the EFT calculation of the free energy of these more thermodynamically stable saddles become incorrect due to it not having the tower of excited string states at <inline-formula><mml:math display="inline"><mml:msub><mml:mi>T</mml:mi><mml:mrow><mml:mi>HP</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>.</p><p>It is interesting to note a parallel between GL transition and the HP transition. In both phase transitions, the topology of the Euclidean saddle changes. The Euclidean black hole has a topology of <inline-formula><mml:math display="inline"><mml:msup><mml:mi mathvariant="double-struck">R</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>×</mml:mo><mml:msup><mml:mi>S</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:math></inline-formula> while the HP solution has a topology of <inline-formula><mml:math display="inline"><mml:msup><mml:mi mathvariant="double-struck">R</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msup><mml:mo>×</mml:mo><mml:msup><mml:mi>S</mml:mi><mml:mn>1</mml:mn></mml:msup></mml:math></inline-formula>. The main difference comes from the fact that the thermal circle shrinks in the black hole case but does not shrink to zero size in the HP solution. Using this topology change, the authors in <xref ref-type="bibr" rid="c21">[21]</xref> showed that there is a supersymmetric obstruction for a smooth transition between black holes and HP solutions as target spaces of type II strings. One of the topological indices used was the Witten index which measures the Euler characteristic of the target space <xref ref-type="bibr" rid="c23">[23]</xref>. We note that the same argument can be applied to the Gregory-Laflamme transition, as the corresponding black hole solutions in <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mi>D</mml:mi></mml:math></inline-formula> dimensions have different Euler characteristics.<fn id="fn2"><label><sup>2</sup></label><p>Consider the spacetime with <inline-formula><mml:math display="inline"><mml:mi>n</mml:mi></mml:math></inline-formula> noncompact dimensions and a compact space <inline-formula><mml:math display="inline"><mml:msup><mml:mi>T</mml:mi><mml:mi>m</mml:mi></mml:msup></mml:math></inline-formula>. Suppose <inline-formula><mml:math display="inline"><mml:msub><mml:mi>L</mml:mi><mml:mrow><mml:mi>n</mml:mi><mml:mo>,</mml:mo><mml:mi>m</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is the space resulting from capping off the Euclidean black hole that is localized in compact space with <inline-formula><mml:math display="inline"><mml:msup><mml:mi>B</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>×</mml:mo><mml:msup><mml:mi>T</mml:mi><mml:mi>m</mml:mi></mml:msup><mml:mo>×</mml:mo><mml:msup><mml:mi>S</mml:mi><mml:mrow><mml:mi>n</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:math></inline-formula>. Consider two parallel hyperplanes that are separated in a noncompact direction and contain the black hole in between them. We divide <inline-formula><mml:math display="inline"><mml:msub><mml:mi>L</mml:mi><mml:mrow><mml:mi>m</mml:mi><mml:mo>,</mml:mo><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> into three regions across these hyperplanes. Let us identify the boundaries of the middle part with each other and identify the boundaries of the other two regions with each other. This process transforms <inline-formula><mml:math display="inline"><mml:msub><mml:mi>L</mml:mi><mml:mrow><mml:mi>m</mml:mi><mml:mo>,</mml:mo><mml:mi>n</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> into <inline-formula><mml:math display="inline"><mml:msub><mml:mi>L</mml:mi><mml:mrow><mml:mi>m</mml:mi><mml:mo>+</mml:mo><mml:mn>1</mml:mn><mml:mo>,</mml:mo><mml:mi>n</mml:mi><mml:mo>-</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>⊔</mml:mo><mml:msup><mml:mi>S</mml:mi><mml:mi>n</mml:mi></mml:msup><mml:mo>×</mml:mo><mml:msup><mml:mi>T</mml:mi><mml:mi>m</mml:mi></mml:msup></mml:math></inline-formula>. Using the additivity of the Euler characteristic and <inline-formula><mml:math display="inline"><mml:mi>χ</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msup><mml:mi>S</mml:mi><mml:mi>n</mml:mi></mml:msup><mml:mo>×</mml:mo><mml:msup><mml:mi>T</mml:mi><mml:mi>m</mml:mi></mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mn>1</mml:mn><mml:mo>+</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mo>-</mml:mo><mml:mn>1</mml:mn><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mi>n</mml:mi></mml:msup></mml:math></inline-formula>, by induction we find <disp-formula id="d11"><mml:math display="block"><mml:mi>χ</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>L</mml:mi><mml:mrow><mml:mi>p</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mn>2</mml:mn><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo>+</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mo>-</mml:mo><mml:mn>1</mml:mn><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mi>d</mml:mi><mml:mo>+</mml:mo><mml:mi>p</mml:mi></mml:mrow></mml:msup><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mo>-</mml:mo><mml:munderover><mml:mo>∑</mml:mo><mml:mrow><mml:mi>i</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:mrow><mml:mrow><mml:mi>p</mml:mi><mml:mo>-</mml:mo><mml:mn>1</mml:mn></mml:mrow></mml:munderover><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo>+</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mo>-</mml:mo><mml:mn>1</mml:mn><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mi>d</mml:mi><mml:mo>+</mml:mo><mml:mi>p</mml:mi><mml:mo>-</mml:mo><mml:mi>i</mml:mi></mml:mrow></mml:msup><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mo>.</mml:mo></mml:math><label>(11)</label></disp-formula>The above Euler characteristic can never be equal to the Euler characteristic corresponding to the lower-dimensional black hole <inline-formula><mml:math display="inline"><mml:mi>χ</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>L</mml:mi><mml:mrow><mml:mn>0</mml:mn><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mn>2</mml:mn><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo>+</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mo>-</mml:mo><mml:mn>1</mml:mn><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mi>d</mml:mi></mml:msup><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. Therefore, there is a topological obstruction for smoothly connecting the world sheet theories of type II strings in the backgrounds of lower and higher-dimensional black holes in a nonsingular way, as in the case of HP.</p></fn></p></sec></sec><sec id="s4"><label>IV.</label><title>A NEW SWAMPLAND CONJECTURE</title><p>The above discussion in Sec. <xref ref-type="sec" rid="s3">III</xref> suggests that in addition to <inline-formula><mml:math display="inline"><mml:msub><mml:mi>M</mml:mi><mml:mi>pl</mml:mi></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> in all the weak coupling regimes of <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="script">M</mml:mi><mml:mrow><mml:mi>QG</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, there exists another scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mi>pl</mml:mi></mml:msub></mml:math></inline-formula> which marks the smallest temperature, or the inverse radius of the largest black hole at which the EFT misses the most stable black hole and a phase transition to a more stable state occurs. In both cases the EFT of Einstein action (and higher-order corrections) misses these solutions as it does not incorporate the infinitely many light elements of the tower (the KK tower in the GL case and the light tower of strings manifested by Hagedorn behavior/thermal winding string condensate for the string tower in the HP case).</p><p>In particular, in the emergent string limit where <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> is identified with the Hagedorn temperature <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi mathvariant="normal">H</mml:mi></mml:msub></mml:math></inline-formula>, the black hole description breaks down at the Horowitz–Polchinski temperature <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mrow><mml:mi>HP</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> where the black holes transition into self-gravitating strings. In the decompactification limit where the <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi></mml:math></inline-formula>-dimensional quantum gravitational theory decompactifies to a <inline-formula><mml:math display="inline"><mml:mi>D</mml:mi></mml:math></inline-formula>-dimensional theory, <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> is identified as <inline-formula><mml:math display="inline"><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> while the <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi></mml:math></inline-formula>-dimensional black hole description breaks down at <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>∼</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> scale where the <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi></mml:math></inline-formula>-dimensional black hole transitions into a <inline-formula><mml:math display="inline"><mml:mi>D</mml:mi></mml:math></inline-formula>-dimensional black hole. In both of these limits, the transition occurs at energies below the species scale, i.e., <inline-formula><mml:math display="inline"><mml:msub><mml:mi>T</mml:mi><mml:mrow><mml:mi>HP</mml:mi></mml:mrow></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi>T</mml:mi><mml:mi mathvariant="normal">H</mml:mi></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> or equivalently in both cases <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula>. Different from the species scale, neither <inline-formula><mml:math display="inline"><mml:msub><mml:mi>T</mml:mi><mml:mrow><mml:mi>HP</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> nor <inline-formula><mml:math display="inline"><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is naturally encoded within the action of the EFT. Instead, it comes purely from studying phase transitions of black holes. In other words, this scale arises from the nonanalyticity of black hole entropy and free energy. The black hole transitions into a more stable physical state with lower free energy at temperature <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>.</p><p>Here we have mainly concentrated on the weak coupling regime where we have seen <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is similar to the mass scale of the light tower. However, their ratio cannot be moduli independent. For example, consider the case where the large extra dimension is a circle in maximal supergravity. In this case, unlike <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> which is influenced by higher-derivative corrections, the mass of the KK tower is exactly <inline-formula><mml:math display="inline"><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:mi>R</mml:mi></mml:math></inline-formula> and protected by supersymmetry. Due to the corrections to the Einstein action, the ratio of <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>/</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is expected to depend on <inline-formula><mml:math display="inline"><mml:mi>R</mml:mi></mml:math></inline-formula>. For example, for M-theory on <inline-formula><mml:math display="inline"><mml:msup><mml:mi>S</mml:mi><mml:mn>1</mml:mn></mml:msup></mml:math></inline-formula>, the <inline-formula><mml:math display="inline"><mml:msup><mml:mi mathvariant="script">R</mml:mi><mml:mn>4</mml:mn></mml:msup></mml:math></inline-formula> corrections <xref ref-type="bibr" rid="c10">[10]</xref> correct the entropy of the lower and the higher dimensional black holes <xref ref-type="bibr" rid="c24">[24]</xref> and the location where they meet which predicts the GL transition point changes. In this case, the 11d black hole has entropy, <disp-formula id="und4"><mml:math display="block"><mml:msubsup><mml:mi>S</mml:mi><mml:mi mathvariant="normal">M</mml:mi><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mn>11</mml:mn><mml:mi mathvariant="normal">d</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:msubsup><mml:mo>∼</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mn>10</mml:mn></mml:mrow></mml:msub><mml:mi>r</mml:mi><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mn>8</mml:mn></mml:msup><mml:mrow><mml:mo>(</mml:mo><mml:mfrac><mml:mi>r</mml:mi><mml:mi>R</mml:mi></mml:mfrac><mml:mo>)</mml:mo></mml:mrow><mml:mrow><mml:mo>[</mml:mo><mml:mn>1</mml:mn><mml:mo>-</mml:mo><mml:mfrac><mml:mn>132609</mml:mn><mml:mn>4</mml:mn></mml:mfrac><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mn>11</mml:mn></mml:mrow></mml:msub><mml:mi>r</mml:mi><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mn>6</mml:mn></mml:msup></mml:mrow></mml:mfrac><mml:mo>]</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:math></disp-formula>whereas the 10d black hole in type IIA supergravity theory has entropy, <disp-formula id="und5"><mml:math display="block"><mml:msubsup><mml:mi>S</mml:mi><mml:mrow><mml:mi>IIA</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mn>10</mml:mn><mml:mi mathvariant="normal">d</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:msubsup><mml:mo>∼</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mn>10</mml:mn></mml:mrow></mml:msub><mml:mi>r</mml:mi><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mn>8</mml:mn></mml:msup><mml:mrow><mml:mo>[</mml:mo><mml:mn>1</mml:mn><mml:mo>-</mml:mo><mml:mfrac><mml:mn>80420</mml:mn><mml:mn>3</mml:mn></mml:mfrac><mml:mfrac><mml:mrow><mml:msub><mml:mi>a</mml:mi><mml:mn>4</mml:mn></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>ϕ</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mn>10</mml:mn></mml:mrow></mml:msub><mml:mi>r</mml:mi><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mn>6</mml:mn></mml:msup></mml:mrow></mml:mfrac><mml:mo>]</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:math></disp-formula>where <inline-formula><mml:math display="inline"><mml:msub><mml:mi>a</mml:mi><mml:mn>4</mml:mn></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>ϕ</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> is as defined earlier. A rough estimate of <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> in the decompactification limit of the type IIA theory can be found by solving for <inline-formula><mml:math display="inline"><mml:mi>r</mml:mi></mml:math></inline-formula> such that <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>S</mml:mi><mml:mrow><mml:mi>IIA</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mn>10</mml:mn><mml:mi mathvariant="normal">d</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:msubsup><mml:mi>S</mml:mi><mml:mi mathvariant="normal">M</mml:mi><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mn>11</mml:mn><mml:mi mathvariant="normal">d</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:mrow></mml:msubsup></mml:math></inline-formula>. Hence, in the large-volume limit, we obtain <disp-formula id="d12"><mml:math display="block"><mml:mfrac><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub></mml:mfrac><mml:mo>∝</mml:mo><mml:mn>1</mml:mn><mml:mo>+</mml:mo><mml:mi>a</mml:mi><mml:mo>·</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mn>4</mml:mn><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt><mml:mi>ϕ</mml:mi></mml:mrow></mml:msup><mml:mo>+</mml:mo><mml:mo>…</mml:mo><mml:mo>,</mml:mo></mml:math><label>(12)</label></disp-formula>where to the leading order <inline-formula><mml:math display="inline"><mml:mi>a</mml:mi><mml:mo>≈</mml:mo><mml:mn>269.4</mml:mn></mml:math></inline-formula>. Therefore, the ratio <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>/</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> becomes <inline-formula><mml:math display="inline"><mml:mi>ϕ</mml:mi></mml:math></inline-formula>-dependent at large <inline-formula><mml:math display="inline"><mml:mi>ϕ</mml:mi></mml:math></inline-formula>. Thus, <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> <italic>cannot</italic> be identified as the mass scale of the lightest state for all moduli.</p><p>Note that the above observations hold true in both the weak-coupling regime of the fundamental string and the large-volume regime of compactifications. Consequentially, the notion of this phase transition does not strictly live in the infinite-distance limits of <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="script">M</mml:mi><mml:mrow><mml:mi>QG</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, and <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is expected to be well-defined across the moduli space. Thus, <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> should be globally defined in <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="script">M</mml:mi><mml:mrow><mml:mi>QG</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> as the temperature at which the Schwarzschild black hole becomes unstable due to the existence of a more stable saddle whose free energy is not seen by the EFT. Therefore, all of this motivates us to propose the following Swampland conjecture.</p><p><italic>Any consistent EFT description of</italic> <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi></mml:math></inline-formula>-<italic>dimensional quantum gravity must exhibit three scales across its moduli space</italic> <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="script">M</mml:mi><mml:mrow><mml:mi>QG</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>: <italic>1) the</italic> <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi></mml:math></inline-formula>-<italic>dimensional Planck scale,</italic> <inline-formula><mml:math display="inline"><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> <italic>which controls the strength of the Einstein term; 2) the species scale,</italic> <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula>, <italic>where the higher-order gravitational corrections become important; and 3) the black hole scale,</italic> <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, <italic>where at this temperature, the black hole predicted by EFT undergoes a phase transition to a more stable solution. Furthermore,</italic> <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>≲</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> <italic>everywhere in</italic> <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="script">M</mml:mi><mml:mrow><mml:mi>QG</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> <italic>and</italic> <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> <italic>approaches the mass scale of the lightest tower at large distances in field space</italic>.</p><p>It is amusing to consider the case of type IIA in 10 dimensions for which the moduli space is parametrized by the string coupling (or equivalently the radius of the extra circle). In this case we would expect a behavior shown in Fig. <xref ref-type="fig" rid="f2">2</xref>. It is interesting to note that in this case we expect the GL transition to be connected continuously to a transition analogous to the HP transition.<fn id="fn3"><label><sup>3</sup></label><p>A similar, but distinct, story unfolds in <inline-formula><mml:math display="inline"><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mrow><mml:mn>1</mml:mn><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:mrow><mml:mo stretchy="false">)</mml:mo><mml:mi mathvariant="normal">d</mml:mi></mml:mrow></mml:math></inline-formula> maximally supersymmetric Yang-Mills theory compactified on a generic tori, <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>T</mml:mi><mml:mi>τ</mml:mi><mml:mn>2</mml:mn></mml:msubsup></mml:math></inline-formula>, with appropriate boundary conditions imposed on the fermions <xref ref-type="bibr" rid="c25">[25]</xref>. In particular, by varying the complex parameter <inline-formula><mml:math display="inline"><mml:mi>τ</mml:mi></mml:math></inline-formula>, the analog of the GL transition in gauge theory can then be continuously mapped to the confinement/deconfinement transition.</p></fn> We note that although <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is expected to be a continuous function of the moduli, it does not need to be smooth. In particular, the saddle corresponding to the eleven-dimensional black hole and the 10d string star (which we conjecture to exist) may represent distinct solutions, with a crossover occurring when <inline-formula><mml:math display="inline"><mml:msub><mml:mi>g</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:mi mathvariant="script">O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>.</p><fig id="f2"><object-id>2</object-id><object-id pub-id-type="doi">10.1103/4lsn-l2ln.f2</object-id><label>FIG. 2.</label><caption><p>A schematic illustration of the relation among <inline-formula><mml:math display="inline"><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula>, and <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> for a <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi></mml:math></inline-formula>-dimensional quantum gravitational theory with respect to the moduli parameter <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ϕ</mml:mi><mml:mi>i</mml:mi></mml:msub></mml:math></inline-formula> according to our conjecture. In particular, in the asymptotic regions of moduli space, the expected behavior from the GL and the HP transitions are shown.</p></caption><graphic xlink:href="e106011_2.eps"/></fig><p>Note that in discussions regarding the connection between the lightest tower of states and the species scale, the tower is assumed to be weakly coupled. This is because it is not clear how strongly coupled states would contribute to the one-loop running of the Newton’s constant which is calculated perturbatively and are likely irrelevant <xref ref-type="bibr" rid="c8">[8]</xref>. An example of such a tower is when a sector localized on a brane has a tower of strongly interacting states with vanishing masses (e.g., tensionless strings). In the limit where the internal space decompactifies, these degrees of freedom decouple from gravity and could form a conformal field theory. Interestingly, in this example, <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> which is set by the Gregory-Laflamme scale is also insensitive to this nongravitational tower. This is because the tower is localized in the internal space and are decoupled from the higher dimensional gravity and does not significantly influence the entropies of higher- or lower-dimensional black holes and therefore does not affect the transition temperature.</p><p>One could instead hope that <inline-formula><mml:math display="inline"><mml:msub><mml:mi>m</mml:mi><mml:mtext>lightest</mml:mtext></mml:msub></mml:math></inline-formula> is to be identified with the mass of the lightest tower that becomes light and weakly-coupled in some asymptotic regime of the moduli space. However, as we just explained, the ratio <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>/</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mtext>lightest</mml:mtext></mml:msub></mml:math></inline-formula> receives moduli dependent corrections as we move away from the infinite distance limits.</p><p>Unlike the <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> where analytic computations are possible in some cases <xref ref-type="bibr" rid="c5 c8">[5,8]</xref>, it seems that <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is much harder to compute explicitly except in the infinite distance limits. Using the fact that asymptotically <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>∼</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mtext>lightest</mml:mtext></mml:msub></mml:math></inline-formula>, it implies from the work <xref ref-type="bibr" rid="c26 c27">[26,27]</xref> that at least asymptotically, <disp-formula id="und6"><mml:math display="block"><mml:mo>∇</mml:mo><mml:mi>ln</mml:mi><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>·</mml:mo><mml:mo>∇</mml:mo><mml:mi>ln</mml:mi><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:mfrac><mml:mo>.</mml:mo></mml:math></disp-formula></p><p>Since we have a well defined notion of <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> everywhere in moduli space, it is natural to ask if this relation can hold in the interior of the moduli space as well.<fn id="fn4"><label><sup>4</sup></label><p>Extending the equality of <xref ref-type="bibr" rid="c26 c27">[26,27]</xref> into the interior of moduli space has been attempted in <xref ref-type="bibr" rid="c28">[28]</xref> with specially chosen BPS scales for 5d <inline-formula><mml:math display="inline"><mml:mi mathvariant="script">N</mml:mi><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:math></inline-formula> theories. However, these (Dirac-paired) BPS scales are distinct from the scales of interest in this present paper.</p></fn> If this were true, since <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> does have critical points in the interior of moduli space, it implies that at such points <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> vanishes or <inline-formula><mml:math display="inline"><mml:mo stretchy="false">|</mml:mo><mml:mo>∇</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">|</mml:mo></mml:math></inline-formula> blows up. As we argued above, we do not expect <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> to vanish in the interior of the moduli space where the number of weakly coupled particles is finite. Similarly, we expect the contribution of finite number of weakly coupled particles to <inline-formula><mml:math display="inline"><mml:mo>∇</mml:mo><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> to be regular (and moreover not to lead to divergent <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> as this would). This means that the above relation cannot hold everywhere in the moduli space. Indeed, as we will explicitly check below, in the case of type IIA in 10 dimensions at large coupling, this equality does not hold at the subleading level.</p><p>In <xref ref-type="bibr" rid="c8 c29">[8,29]</xref> evidence was provided for the bound <disp-formula id="und7"><mml:math display="block"><mml:mo>∇</mml:mo><mml:mi>ln</mml:mi><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>·</mml:mo><mml:mo>∇</mml:mo><mml:mi>ln</mml:mi><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi mathvariant="normal">s</mml:mi></mml:msub><mml:mo>≲</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:mfrac><mml:mo>.</mml:mo></mml:math></disp-formula>This naturally suggests that perhaps the correct relation involving both <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is also an inequality, instead of the equality which holds only asymptotically, namely <disp-formula id="d13"><mml:math display="block"><mml:mo>∇</mml:mo><mml:mi>ln</mml:mi><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>·</mml:mo><mml:mo>∇</mml:mo><mml:mi>ln</mml:mi><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>≲</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:mfrac><mml:mo>.</mml:mo></mml:math><label>(13)</label></disp-formula></p><p>The existence of critical points for <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> would be compatible with this. In particular, this relation, in the large-volume regime of the type IIA theory according to the perturbative corrections given in <xref ref-type="disp-formula" rid="d12">(12)</xref>, can be computed as <disp-formula id="d14"><mml:math display="block"><mml:mo>∇</mml:mo><mml:mi>ln</mml:mi><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>·</mml:mo><mml:mo>∇</mml:mo><mml:mi>ln</mml:mi><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo indentalign="id" indenttarget="d14a1">=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mn>8</mml:mn></mml:mfrac><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo>-</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt><mml:mi>ϕ</mml:mi></mml:mrow></mml:msup><mml:mo>+</mml:mo><mml:mi>a</mml:mi><mml:mo>·</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mn>4</mml:mn><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt><mml:mi>ϕ</mml:mi></mml:mrow></mml:msup><mml:mo>+</mml:mo><mml:mo>…</mml:mo><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mspace linebreak="newline"/><mml:mo>≤</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mn>8</mml:mn></mml:mfrac><mml:mo indentalign="id" indenttarget="d14a1">=</mml:mo><mml:mfrac><mml:mn>1</mml:mn><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:mfrac><mml:mo>,</mml:mo></mml:math><label>(14)</label></disp-formula>providing an example of this conjecture. Here, note that the perturbative corrections to <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, as we move away from asymptotic limits of moduli space, is parametrically smaller than that of the species scale. Hence, it contributes a subleading effect in the above inequality. In fact, this conclusion remains valid upon compactification of M-theory on <inline-formula><mml:math display="inline"><mml:msup><mml:mi>T</mml:mi><mml:mi>p</mml:mi></mml:msup></mml:math></inline-formula>, in which case the corrections to <inline-formula><mml:math display="inline"><mml:mo>∇</mml:mo><mml:mi>ln</mml:mi><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mo>∇</mml:mo><mml:mi>ln</mml:mi><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> still scale as <inline-formula><mml:math display="inline"><mml:mo>∼</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub><mml:mo>/</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mn>11</mml:mn></mml:mrow></mml:msub><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mn>3</mml:mn></mml:msup></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mo>∼</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub><mml:mo>/</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mn>11</mml:mn></mml:mrow></mml:msub><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mn>6</mml:mn></mml:msup></mml:math></inline-formula>, respectively. Therefore, as long as <inline-formula><mml:math display="inline"><mml:mo stretchy="false">|</mml:mo><mml:mo>∇</mml:mo><mml:mi>ln</mml:mi><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo stretchy="false">|</mml:mo></mml:math></inline-formula> in these theories remains below <inline-formula><mml:math display="inline"><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:msqrt><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msqrt></mml:math></inline-formula>, the inequality <xref ref-type="disp-formula" rid="d13">(13)</xref> is satisfied. It would be important to develop effective tools to compute <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> in the interior of moduli space and to investigate the validity of this inequality.</p><p>One may ask, what are these three quantum gravity scales in our Universe. For the Dark Dimension scenario, motivated by the Swampland program, these three scales end up being vastly different (see Ref. <xref ref-type="bibr" rid="c30">[30]</xref> for a review) and are given by <disp-formula id="und8"><mml:math display="block"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>∼</mml:mo><mml:mo>.</mml:mo><mml:mn>01</mml:mn><mml:mtext> </mml:mtext><mml:mtext> </mml:mtext><mml:mi>eV</mml:mi><mml:mo>,</mml:mo><mml:mspace depth="0.0ex" height="0.0ex" width="1em"/><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:msup><mml:mn>10</mml:mn><mml:mn>9</mml:mn></mml:msup><mml:mtext> </mml:mtext><mml:mtext> </mml:mtext><mml:mi>GeV</mml:mi><mml:mo>,</mml:mo><mml:mspace depth="0.0ex" height="0.0ex" width="1em"/><mml:msub><mml:mi>M</mml:mi><mml:mi>pl</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:mn>2.4</mml:mn><mml:mo>×</mml:mo><mml:msup><mml:mn>10</mml:mn><mml:mn>18</mml:mn></mml:msup><mml:mtext> </mml:mtext><mml:mtext> </mml:mtext><mml:mi>GeV</mml:mi><mml:mo>,</mml:mo></mml:math></disp-formula>which in Planck units are related to the Dark energy <inline-formula><mml:math display="inline"><mml:mi mathvariant="normal">Λ</mml:mi><mml:mo>∼</mml:mo><mml:msup><mml:mn>10</mml:mn><mml:mrow><mml:mo>-</mml:mo><mml:mn>122</mml:mn></mml:mrow></mml:msup></mml:math></inline-formula> by <disp-formula id="und9"><mml:math display="block"><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mi>BH</mml:mi></mml:mrow></mml:msub><mml:mo>∼</mml:mo><mml:msup><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mn>3</mml:mn><mml:mo>/</mml:mo><mml:mn>12</mml:mn></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:mspace depth="0.0ex" height="0.0ex" width="2em"/><mml:msub><mml:mi mathvariant="normal">Λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:msup><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:mn>12</mml:mn></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:mspace depth="0.0ex" height="0.0ex" width="2em"/><mml:msub><mml:mi>M</mml:mi><mml:mi>pl</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:msup><mml:mi mathvariant="normal">Λ</mml:mi><mml:mn>0</mml:mn></mml:msup><mml:mo>,</mml:mo></mml:math></disp-formula>(and the missing power of <inline-formula><mml:math display="inline"><mml:mi mathvariant="normal">Λ</mml:mi></mml:math></inline-formula> above is close to the weak scale <inline-formula><mml:math display="inline"><mml:mo>∼</mml:mo><mml:msup><mml:mi mathvariant="normal">Λ</mml:mi><mml:mrow><mml:mn>2</mml:mn><mml:mo>/</mml:mo><mml:mn>12</mml:mn></mml:mrow></mml:msup></mml:math></inline-formula> which is also partially explained in the Dark Dimension scenario).</p></sec></body><back><ack><title>ACKNOWLEDGMENTS</title><p>We would like to thank Ruth Gregory, Juan Maldacena, Shiraz Minwalla, Rashmish Mishra, and Max Wiesner for valuable discussions. We would also like to thank Alberto Castellano and Dieter Lüst for valuable comments on earlier versions of this letter. This work is supported in part by a grant from the Simons Foundation (No. 602883, C. V.), the DellaPietra Foundation, and by the NSF Grant No. PHY-2013858. A. B. is supported in part by the Simons Foundation Grant No. 654561 and by the Princeton Gravity Initiative at Princeton University.</p></ack><sec sec-type="data-availability"><title>DATA AVAILABILITY</title><p>No data were created or analyzed in this study.</p></sec><app-group><app id="app1"><label>APPENDIX:</label><title>RUNNING OF EFT COEFFICIENTS</title><p>In this section, we show that the dominant subleading contributions to the Bekenstein-Hawking entropy of a black hole, arising from higher-curvature terms appearing in the action, is always given by powers of the species scale. We will also review the energy dependence of a generic higher-derivative corrections to the Einstein action.</p><p>In the EFT approach, we keep a finite number of terms which comes at the cost of omitting some of the information of the scattering amplitudes. The lost information is encoded in the energy dependence of the coefficients of the EFT. To study the corrections to the Bekenstein-Hawking entropy of a black hole, we can use the gravitational action evaluated at a energy scale <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi></mml:math></inline-formula> set by the inverse radius of the given black hole.</p><p>We start by reviewing how particles running in loops can generate gravitational higher-derivative corrections. We explain that KK particles generate loop corrections <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>a</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msubsup><mml:mo stretchy="false">(</mml:mo><mml:mi>μ</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:msup><mml:mi mathvariant="script">R</mml:mi><mml:mi>n</mml:mi></mml:msup><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> at energy scale <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi></mml:math></inline-formula> such that <disp-formula id="da1"><mml:math display="block"><mml:mrow><mml:mi>μ</mml:mi><mml:mo indentalign="id" indenttarget="da1a1">≪</mml:mo><mml:msub><mml:mrow><mml:mi>m</mml:mi></mml:mrow><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub><mml:mo>:</mml:mo><mml:mtext> </mml:mtext><mml:mtext> </mml:mtext><mml:msubsup><mml:mrow><mml:mi>a</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msubsup><mml:mo>∼</mml:mo><mml:mfrac><mml:mrow><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:msup><mml:mrow><mml:mi>μ</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn><mml:mi>n</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msup></mml:mrow></mml:mfrac><mml:mo>,</mml:mo><mml:mspace linebreak="newline"/><mml:mi>μ</mml:mi><mml:mo indentalign="id" indenttarget="da1a1">≫</mml:mo><mml:msub><mml:mrow><mml:mi>m</mml:mi></mml:mrow><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub><mml:mo>:</mml:mo><mml:mtext> </mml:mtext><mml:mtext> </mml:mtext><mml:msubsup><mml:mrow><mml:mi>a</mml:mi></mml:mrow><mml:mrow><mml:mi>n</mml:mi></mml:mrow><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msubsup><mml:mo>∼</mml:mo><mml:mfrac><mml:mrow><mml:msubsup><mml:mrow><mml:mi>M</mml:mi></mml:mrow><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup></mml:mrow><mml:mrow><mml:msup><mml:mrow><mml:mi>μ</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn><mml:mi>n</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mi>D</mml:mi></mml:mrow></mml:msup><mml:msubsup><mml:mrow><mml:mi>M</mml:mi></mml:mrow><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow><mml:mrow><mml:mi>D</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup></mml:mrow></mml:mfrac><mml:mo>,</mml:mo></mml:mrow></mml:math><label>(A1)</label></disp-formula>where <inline-formula><mml:math display="inline"><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> is the higher-dimensional Planck mass in <inline-formula><mml:math display="inline"><mml:mi>D</mml:mi></mml:math></inline-formula> dimensions.</p><p>If the particle is massless (e.g., gravitons) the particle can generate a series of irrelevant operators by running in the loop. At energy scale <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi></mml:math></inline-formula>, the <inline-formula><mml:math display="inline"><mml:mi>n</mml:mi></mml:math></inline-formula>-graviton amplitude with a massless loop contributes <inline-formula><mml:math display="inline"><mml:mo>∼</mml:mo><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mo>-</mml:mo><mml:mi>n</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mo stretchy="false">)</mml:mo><mml:mo>/</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup><mml:msup><mml:mi>μ</mml:mi><mml:mi>d</mml:mi></mml:msup></mml:math></inline-formula> to the amplitude which results in corrections of the form <inline-formula><mml:math display="inline"><mml:msup><mml:mi>μ</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mi>n</mml:mi></mml:mrow></mml:msup><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi mathvariant="script">R</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>. The divergence of the coefficient in the <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula> limit is also known as the massless threshold behavior. On the other hand, a massive particle, running in a loop, with mass <inline-formula><mml:math display="inline"><mml:mi>m</mml:mi><mml:mo>≫</mml:mo><mml:mi>μ</mml:mi></mml:math></inline-formula> contributes <inline-formula><mml:math display="inline"><mml:mo>∼</mml:mo><mml:msup><mml:mi>m</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mi>n</mml:mi></mml:mrow></mml:msup></mml:math></inline-formula> to <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>a</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msubsup></mml:math></inline-formula>. However, if the particle is very light, i.e., <inline-formula><mml:math display="inline"><mml:mi>m</mml:mi><mml:mo>≪</mml:mo><mml:mi>μ</mml:mi></mml:math></inline-formula>, the particle resembles a massless mode and its contribution to <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>a</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msubsup></mml:math></inline-formula> is again <inline-formula><mml:math display="inline"><mml:mo>∼</mml:mo><mml:msup><mml:mi>μ</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mi>n</mml:mi></mml:mrow></mml:msup></mml:math></inline-formula>. Now, suppose we have a tower of KK modes resulting from compactifying a <inline-formula><mml:math display="inline"><mml:mi>D</mml:mi></mml:math></inline-formula>-dimensional theory down to <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi></mml:math></inline-formula> dimensions. At energy scale <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi><mml:mo>≪</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, the contribution of the KK tower to the coefficient of <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi mathvariant="script">R</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> behaves as <inline-formula><mml:math display="inline"><mml:mi mathvariant="script">O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msup><mml:mi>μ</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mi>n</mml:mi></mml:mrow></mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mo>+</mml:mo><mml:mi mathvariant="script">O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msubsup><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mi>n</mml:mi></mml:mrow></mml:msubsup><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> where the first term is dominant and comes from the massless particle running in a loop. However, at energies <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi><mml:mo>≫</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, there are <inline-formula><mml:math display="inline"><mml:mo>∼</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mi>μ</mml:mi><mml:mo>/</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msup></mml:math></inline-formula> light particles. Therefore, the loop corrections go as <inline-formula><mml:math display="inline"><mml:mi mathvariant="script">O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mi>μ</mml:mi><mml:mo>/</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mrow><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msup><mml:msup><mml:mi>μ</mml:mi><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mi>n</mml:mi></mml:mrow></mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mo>+</mml:mo><mml:mi mathvariant="script">O</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msubsup><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mi>n</mml:mi></mml:mrow></mml:msubsup><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> where the first term comes from light states with <inline-formula><mml:math display="inline"><mml:mi>m</mml:mi><mml:mo>≪</mml:mo><mml:mi>μ</mml:mi></mml:math></inline-formula> and the second term from the heavy states with <inline-formula><mml:math display="inline"><mml:mi>m</mml:mi><mml:mo>≫</mml:mo><mml:mi>μ</mml:mi></mml:math></inline-formula>. Note that in this case we can use the identity <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow><mml:mrow><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msubsup><mml:mo>∼</mml:mo><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow><mml:mrow><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn><mml:mo>-</mml:mo><mml:mi>d</mml:mi></mml:mrow></mml:msubsup></mml:math></inline-formula> to express the first term as <inline-formula><mml:math display="inline"><mml:mi mathvariant="script">O</mml:mi><mml:mo minsize="3ex" stretchy="true">(</mml:mo><mml:mfrac><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup><mml:mrow><mml:msup><mml:mi>μ</mml:mi><mml:mrow><mml:mn>2</mml:mn><mml:mi>n</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mi>D</mml:mi></mml:mrow></mml:msup><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow><mml:mrow><mml:mi>D</mml:mi><mml:mo stretchy="false">-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup></mml:mrow></mml:mfrac><mml:mo minsize="3ex" stretchy="true">)</mml:mo></mml:math></inline-formula>. In both cases <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi><mml:mo>≪</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi><mml:mo>≫</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, the dominant term is the first term which explains the order of magnitudes expressed in <xref ref-type="disp-formula" rid="da1">(A1)</xref> for <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>a</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msubsup></mml:math></inline-formula>. Note that the dominant term is only a function of <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi></mml:math></inline-formula> and the higher-dimensional Planck mass, and not the KK mass.</p><p>Now, let us study the effect of loop corrections <xref ref-type="disp-formula" rid="da1">(A1)</xref> to the entropy of <inline-formula><mml:math display="inline"><mml:mi>d</mml:mi></mml:math></inline-formula>-dimensional Schwarzschild black holes. The Bekenstein-Hawking formula results from the Einstein term. Therefore, to compare the effect of the correction to the Bekenstein-Hawking entropy, we compare <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup><mml:mi mathvariant="script">R</mml:mi></mml:math></inline-formula> with <inline-formula><mml:math display="inline"><mml:msub><mml:mi>a</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>μ</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:msup><mml:mi mathvariant="script">R</mml:mi><mml:mi>n</mml:mi></mml:msup></mml:math></inline-formula>, at energy scale <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi><mml:mo>∼</mml:mo><mml:msqrt><mml:mi>R</mml:mi></mml:msqrt></mml:math></inline-formula>. Using <xref ref-type="disp-formula" rid="da1">(A1)</xref>, one can see that as long as <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi><mml:mo>≪</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, the correction is subleading. Therefore, we conclude that for any energy scale below the species scale, the EFT corrections are subleading.</p><p>Let us highlight four points about the energy dependence of the coefficient <inline-formula><mml:math display="inline"><mml:msub><mml:mi>a</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>μ</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula>: <list list-type="roman-lower"><list-item><label>(i)</label><p>The leading correction to the black hole entropy as suggested by the EFT depends on the species scale and not the KK scale;</p></list-item><list-item><label>(ii)</label><p>In the decompactification limit (<inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi></mml:math></inline-formula> fixed while <inline-formula><mml:math display="inline"><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">→</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula>), the coefficient <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>a</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msubsup><mml:mo>∼</mml:mo><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup><mml:msup><mml:mi>μ</mml:mi><mml:mrow><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mi>n</mml:mi></mml:mrow></mml:msup><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn><mml:mo>-</mml:mo><mml:mi>D</mml:mi></mml:mrow></mml:msubsup></mml:math></inline-formula> can be thought of as the dimensional reduction of the term <inline-formula><mml:math display="inline"><mml:mo>∼</mml:mo><mml:msup><mml:mi>μ</mml:mi><mml:mrow><mml:mi>D</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mi>n</mml:mi></mml:mrow></mml:msup><mml:msup><mml:mi mathvariant="script">R</mml:mi><mml:mi>n</mml:mi></mml:msup></mml:math></inline-formula> in <inline-formula><mml:math display="inline"><mml:mi>D</mml:mi></mml:math></inline-formula> dimensions which is simply the <inline-formula><mml:math display="inline"><mml:mi>D</mml:mi></mml:math></inline-formula>-dimensional massless threshold. In other words, integrating out the KK loops combined with the lower-dimensional massless threshold reproduces the higher-dimensional massless threshold. This is a well-known fact that has been extensively tested in string theory, see e.g., <xref ref-type="bibr" rid="c31">[31]</xref>;</p></list-item><list-item><label>(iii)</label><p>We note that our definition of the EFT differs from some literature, e.g., <xref ref-type="bibr" rid="c32">[32]</xref>, in which the massless threshold, also known as the nonanalytic part of the coefficient, is excluded from <inline-formula><mml:math display="inline"><mml:msub><mml:mi>a</mml:mi><mml:mi>n</mml:mi></mml:msub></mml:math></inline-formula>. The EFT, defined in that way, will have coefficients that scale as <inline-formula><mml:math display="inline"><mml:msub><mml:mover accent="true"><mml:mi>a</mml:mi><mml:mo stretchy="false">˜</mml:mo></mml:mover><mml:mi>n</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:msubsup><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mi>n</mml:mi></mml:mrow></mml:msubsup></mml:math></inline-formula> at energies <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi><mml:mo>≪</mml:mo><mml:msub><mml:mi>m</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>. This separation is sometimes done to avoid a diverging EFT coefficient at low energies. However, such separation will not be necessary for us, since as explained before, the combination <inline-formula><mml:math display="inline"><mml:msub><mml:mi>a</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>μ</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:msub><mml:mi mathvariant="script">O</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi mathvariant="script">R</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> for black holes with curvature scale <inline-formula><mml:math display="inline"><mml:mi>μ</mml:mi></mml:math></inline-formula> will be subleading, even if <inline-formula><mml:math display="inline"><mml:msub><mml:mi>a</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>μ</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> is large;</p></list-item><list-item><label>(iv)</label><p>The coefficient <inline-formula><mml:math display="inline"><mml:msub><mml:mi>a</mml:mi><mml:mi>n</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi>μ</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> at energy scale <inline-formula><mml:math display="inline"><mml:msub><mml:mi>λ</mml:mi><mml:mi>s</mml:mi></mml:msub><mml:mo>∼</mml:mo><mml:msub><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula> becomes <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>a</mml:mi><mml:mi>n</mml:mi><mml:mrow><mml:mi>KK</mml:mi></mml:mrow></mml:msubsup><mml:mo>∼</mml:mo><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>d</mml:mi></mml:mrow><mml:mrow><mml:mi>d</mml:mi><mml:mo>-</mml:mo><mml:mn>2</mml:mn></mml:mrow></mml:msubsup><mml:msubsup><mml:mi>M</mml:mi><mml:mrow><mml:mi>pl</mml:mi><mml:mo>,</mml:mo><mml:mi>D</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn><mml:mo>-</mml:mo><mml:mn>2</mml:mn><mml:mi>n</mml:mi></mml:mrow></mml:msubsup></mml:math></inline-formula>, which is the expected tree-level correction. Therefore, the coefficients of EFT are controlled by the species scale, when they are evaluated at the species scale, and beyond that energy scale the EFT breaks down.</p></list-item></list></p></app></app-group><ref-list><ref id="c1"><label>[1]</label><mixed-citation publication-type="journal"><object-id>1</object-id><person-group person-group-type="author"><string-name>G. Dvali</string-name></person-group>, <article-title>Black holes and large N species solution to the hierarchy problem</article-title>, <source>Fortschr. Phys.</source> <volume>58</volume>, <page-range>528</page-range> (<year>2010</year>).<pub-id pub-id-type="coden">FPYKA6</pub-id><issn>0015-8208</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1002/prop.201000009</pub-id></mixed-citation></ref><ref id="c2"><label>[2]</label><mixed-citation publication-type="journal"><object-id>2</object-id><person-group person-group-type="author"><string-name>G. Dvali</string-name> and <string-name>D. Lust</string-name></person-group>, <article-title>Evaporation of microscopic black holes in string theory and the bound on species</article-title>, <source>Fortschr. Phys.</source> <volume>58</volume>, <page-range>505</page-range> (<year>2010</year>).<pub-id pub-id-type="coden">FPYKA6</pub-id><issn>0015-8208</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1002/prop.201000008</pub-id></mixed-citation></ref><ref id="c3"><label>[3]</label><mixed-citation publication-type="eprint"><object-id>3</object-id><person-group person-group-type="author"><string-name>G. Dvali</string-name> and <string-name>C. Gomez</string-name></person-group>, <article-title>Species and strings</article-title>,<pub-id pub-id-type="arxiv">arXiv:1004.3744</pub-id>.</mixed-citation></ref><ref id="c4"><label>[4]</label><mixed-citation publication-type="journal"><object-id>4</object-id><person-group person-group-type="author"><string-name>G. Dvali</string-name>, <string-name>C. Gomez</string-name>, and <string-name>D. Lust</string-name></person-group>, <article-title>Black hole quantum mechanics in the presence of species</article-title>, <source>Fortschr. Phys.</source> <volume>61</volume>, <page-range>768</page-range> (<year>2013</year>).<pub-id pub-id-type="coden">FPYKA6</pub-id><issn>0015-8208</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1002/prop.201300002</pub-id></mixed-citation></ref><ref id="c5"><label>[5]</label><mixed-citation publication-type="journal"><object-id>5</object-id><person-group person-group-type="author"><string-name>D. van de Heisteeg</string-name>, <string-name>C. Vafa</string-name>, <string-name>M. Wiesner</string-name>, and <string-name>D. H. Wu</string-name></person-group>, <article-title>Moduli-dependent species scale</article-title>, <source>Beijing J. Pure Appl. Math.</source> <volume>1</volume>, <page-range>1</page-range> (<year>2024</year>).<pub-id pub-id-type="doi" specific-use="suppress-display">10.4310/BPAM.2024.v1.n1.a1</pub-id></mixed-citation></ref><ref id="c6"><label>[6]</label><mixed-citation publication-type="journal"><object-id>6</object-id><person-group person-group-type="author"><string-name>R. Gregory</string-name> and <string-name>R. Laflamme</string-name></person-group>, <article-title>Black strings and p-branes are unstable</article-title>, <source>Phys. Rev. Lett.</source> <volume>70</volume>, <page-range>2837</page-range> (<year>1993</year>).<pub-id pub-id-type="coden">PRLTAO</pub-id><issn>0031-9007</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevLett.70.2837</pub-id></mixed-citation></ref><ref id="c7"><label>[7]</label><mixed-citation publication-type="journal"><object-id>7</object-id><person-group person-group-type="author"><string-name>S.-J. Lee</string-name>, <string-name>W. Lerche</string-name>, and <string-name>T. Weigand</string-name></person-group>, <article-title>Emergent strings from infinite distance limits</article-title>, <source>J. High Energy Phys.</source> <issue>02</issue> (<volume>2022</volume>) <page-range>190</page-range>.<pub-id pub-id-type="coden">JHEPFG</pub-id><issn>1029-8479</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1007/JHEP02(2022)190</pub-id></mixed-citation></ref><ref id="c8"><label>[8]</label><mixed-citation publication-type="journal"><object-id>8</object-id><person-group person-group-type="author"><string-name>D. van de Heisteeg</string-name>, <string-name>C. Vafa</string-name>, <string-name>M. Wiesner</string-name>, and <string-name>D. H. Wu</string-name></person-group>, <article-title>Species scale in diverse dimensions</article-title>, <source>J. High Energy Phys.</source> <issue>05</issue> (<volume>2024</volume>) <page-range>112</page-range>.<pub-id pub-id-type="coden">JHEPFG</pub-id><issn>1029-8479</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1007/JHEP05(2024)112</pub-id></mixed-citation></ref><ref id="c9"><label>[9]</label><mixed-citation publication-type="journal"><object-id>9</object-id><person-group person-group-type="author"><string-name>J. Calderón-Infante</string-name>, <string-name>M. Delgado</string-name>, and <string-name>A. M. Uranga</string-name></person-group>, <article-title>Emergence of species scale black hole horizons</article-title>, <source>J. High Energy Phys.</source> <issue>01</issue> (<volume>2024</volume>) <page-range>003</page-range>.<pub-id pub-id-type="coden">JHEPFG</pub-id><issn>1029-8479</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1007/JHEP01(2024)003</pub-id></mixed-citation></ref><ref id="c10"><label>[10]</label><mixed-citation publication-type="journal"><object-id>10</object-id><person-group person-group-type="author"><string-name>M. B. Green</string-name> and <string-name>P. Vanhove</string-name></person-group>, <article-title>D instantons, strings and M theory</article-title>, <source>Phys. Lett. B</source> <volume>408</volume>, <page-range>122</page-range> (<year>1997</year>).<pub-id pub-id-type="coden">PYLBAJ</pub-id><issn>0370-2693</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1016/S0370-2693(97)00785-5</pub-id></mixed-citation></ref><ref id="c11"><label>[11]</label><mixed-citation publication-type="journal"><object-id>11</object-id><person-group person-group-type="author"><string-name>A. Bedroya</string-name>, <string-name>R. K. Mishra</string-name>, and <string-name>M. Wiesner</string-name></person-group>, <article-title>Density of states, black holes and the emergent string conjecture</article-title>, <source>J. High Energy Phys.</source> <issue>01</issue> (<volume>2025</volume>) <page-range>144</page-range>.<pub-id pub-id-type="coden">JHEPFG</pub-id><issn>1029-8479</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1007/JHEP01(2025)144</pub-id></mixed-citation></ref><ref id="c12"><label>[12]</label><mixed-citation publication-type="journal"><object-id>12</object-id><person-group person-group-type="author"><string-name>N. Cribiori</string-name>, <string-name>D. Lust</string-name>, and <string-name>C. Montella</string-name></person-group>, <article-title>Species entropy and thermodynamics</article-title>, <source>J. High Energy Phys.</source> <issue>10</issue> (<volume>2023</volume>) <page-range>059</page-range>.<pub-id pub-id-type="coden">JHEPFG</pub-id><issn>1029-8479</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1007/JHEP10(2023)059</pub-id></mixed-citation></ref><ref id="c13"><label>[13]</label><mixed-citation publication-type="journal"><object-id>13</object-id><person-group person-group-type="author"><string-name>I. Basile</string-name>, <string-name>D. Lust</string-name>, and <string-name>C. Montella</string-name></person-group>, <article-title>Shedding black hole light on the emergent string conjecture</article-title>, <source>J. High Energy Phys.</source> <issue>07</issue> (<volume>2024</volume>) <page-range>208</page-range>.<pub-id pub-id-type="coden">JHEPFG</pub-id><issn>1029-8479</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1007/JHEP07(2024)208</pub-id></mixed-citation></ref><ref id="c14"><label>[14]</label><mixed-citation publication-type="journal"><object-id>14</object-id><person-group person-group-type="author"><string-name>D. J. Gross</string-name>, <string-name>M. J. Perry</string-name>, and <string-name>L. G. Yaffe</string-name></person-group>, <article-title>Instability of flat space at finite temperature</article-title>, <source>Phys. Rev. D</source> <volume>25</volume>, <page-range>330</page-range> (<year>1982</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>0556-2821</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.25.330</pub-id></mixed-citation></ref><ref id="c15"><label>[15]</label><mixed-citation publication-type="journal"><object-id>15</object-id><person-group person-group-type="author"><string-name>H. S. Reall</string-name></person-group>, <article-title>Classical and thermodynamic stability of black branes</article-title>, <source>Phys. Rev. D</source> <volume>64</volume>, <page-range>044005</page-range> (<year>2001</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>0556-2821</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.64.044005</pub-id></mixed-citation></ref><ref id="c16"><label>[16]</label><mixed-citation publication-type="journal"><object-id>16</object-id><person-group person-group-type="author"><string-name>G. W. Gibbons</string-name> and <string-name>S. W. Hawking</string-name></person-group>, <article-title>Action integrals and partition functions in quantum gravity</article-title>, <source>Phys. Rev. D</source> <volume>15</volume>, <page-range>2752</page-range> (<year>1977</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>0556-2821</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.15.2752</pub-id></mixed-citation></ref><ref id="c17"><label>[17]</label><mixed-citation publication-type="journal"><object-id>17</object-id><person-group person-group-type="author"><string-name>R. Hagedorn</string-name></person-group>, <article-title>Statistical thermodynamics of strong interactions at high-energies</article-title>, <source>Nuovo Cimento Suppl.</source> <volume>3</volume>, <page-range>147</page-range> (<year>1965</year>).<pub-id pub-id-type="coden">NUCUAF</pub-id><issn>0550-3868</issn></mixed-citation></ref><ref id="c18"><label>[18]</label><mixed-citation publication-type="journal"><object-id>18</object-id><person-group person-group-type="author"><string-name>B. Sathiapalan</string-name></person-group>, <article-title>Vortices on the string world sheet and constraints on toral compactification</article-title>, <source>Phys. Rev. D</source> <volume>35</volume>, <page-range>3277</page-range> (<year>1987</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>0556-2821</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.35.3277</pub-id></mixed-citation></ref><ref id="c19"><label>[19]</label><mixed-citation publication-type="journal"><object-id>19</object-id><person-group person-group-type="author"><string-name>J. J. Atick</string-name> and <string-name>E. Witten</string-name></person-group>, <article-title>The hagedorn transition and the number of degrees of freedom of string theory</article-title>, <source>Nucl. Phys.</source> <volume>B310</volume>, <page-range>291</page-range> (<year>1988</year>).<pub-id pub-id-type="coden">NUPBBO</pub-id><issn>0550-3213</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1016/0550-3213(88)90151-4</pub-id></mixed-citation></ref><ref id="c20"><label>[20]</label><mixed-citation publication-type="journal"><object-id>20</object-id><person-group person-group-type="author"><string-name>G. T. Horowitz</string-name> and <string-name>J. Polchinski</string-name></person-group>, <article-title>Selfgravitating fundamental strings</article-title>, <source>Phys. Rev. D</source> <volume>57</volume>, <page-range>2557</page-range> (<year>1998</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>0556-2821</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.57.2557</pub-id></mixed-citation></ref><ref id="c21"><label>[21]</label><mixed-citation publication-type="journal"><object-id>21</object-id><person-group person-group-type="author"><string-name>Y. Chen</string-name>, <string-name>J. Maldacena</string-name>, and <string-name>E. Witten</string-name></person-group>, <article-title>On the black hole/string transition</article-title>, <source>J. High Energy Phys.</source> <issue>01</issue> (<volume>2023</volume>) <page-range>103</page-range>.<pub-id pub-id-type="coden">JHEPFG</pub-id><issn>1029-8479</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1007/JHEP01(2023)103</pub-id></mixed-citation></ref><ref id="c22"><label>[22]</label><mixed-citation publication-type="journal"><object-id>22</object-id><person-group person-group-type="author"><string-name>B. Balthazar</string-name>, <string-name>J. Chu</string-name>, and <string-name>D. Kutasov</string-name></person-group>, <article-title>On small black holes in string theory</article-title>, <source>J. High Energy Phys.</source> <issue>03</issue> (<volume>2024</volume>) <page-range>116</page-range>.<pub-id pub-id-type="coden">JHEPFG</pub-id><issn>1029-8479</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1007/JHEP03(2024)116</pub-id></mixed-citation></ref><ref id="c23"><label>[23]</label><mixed-citation publication-type="journal"><object-id>23</object-id><person-group person-group-type="author"><string-name>E. Witten</string-name></person-group>, <article-title>Constraints on supersymmetry breaking</article-title>, <source>Nucl. Phys.</source> <volume>B202</volume>, <page-range>253</page-range> (<year>1982</year>).<pub-id pub-id-type="coden">NUPBBO</pub-id><issn>0550-3213</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1016/0550-3213(82)90071-2</pub-id></mixed-citation></ref><ref id="c24"><label>[24]</label><mixed-citation publication-type="eprint"><object-id>24</object-id><person-group person-group-type="author"><string-name>Y. Chen</string-name></person-group>, <article-title>Revisiting <inline-formula><mml:math display="inline"><mml:msup><mml:mi>R</mml:mi><mml:mn>4</mml:mn></mml:msup></mml:math></inline-formula> higher curvature corrections to black holes</article-title>, <pub-id pub-id-type="arxiv">arXiv:2107.01533</pub-id>.</mixed-citation></ref><ref id="c25"><label>[25]</label><mixed-citation publication-type="journal"><object-id>25</object-id><person-group person-group-type="author"><string-name>O. Aharony</string-name>, <string-name>J. Marsano</string-name>, <string-name>S. Minwalla</string-name>, <string-name>K. Papadodimas</string-name>, <string-name>M. Van Raamsdonk</string-name>, and <string-name>T. Wiseman</string-name></person-group>, <article-title>The phase structure of low dimensional large N gauge theories on Tori</article-title>, <source>J. High Energy Phys.</source> <issue>01</issue> (<volume>2006</volume>) <page-range>140</page-range>.<pub-id pub-id-type="coden">JHEPFG</pub-id><issn>1029-8479</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1088/1126-6708/2006/01/140</pub-id></mixed-citation></ref><ref id="c26"><label>[26]</label><mixed-citation publication-type="journal"><object-id>26</object-id><person-group person-group-type="author"><string-name>A. Castellano</string-name>, <string-name>I. Ruiz</string-name>, and <string-name>I. Valenzuela</string-name></person-group>, <article-title>A universal pattern in quantum gravity at infinite distance</article-title>, <source>Phys. Rev. Lett.</source> <volume>132</volume>, <page-range>181601</page-range> (<year>2024</year>).<pub-id pub-id-type="coden">PRLTAO</pub-id><issn>0031-9007</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevLett.132.181601</pub-id></mixed-citation></ref><ref id="c27"><label>[27]</label><mixed-citation publication-type="journal"><object-id>27</object-id><person-group person-group-type="author"><string-name>A. Castellano</string-name>, <string-name>I. Ruiz</string-name>, and <string-name>I. Valenzuela</string-name></person-group>, <article-title>Stringy evidence for a universal pattern at infinite distance</article-title>, <source>J. High Energy Phys.</source> <issue>06</issue> (<volume>2024</volume>) <page-range>037</page-range>.<pub-id pub-id-type="coden">JHEPFG</pub-id><issn>1029-8479</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1007/JHEP06(2024)037</pub-id></mixed-citation></ref><ref id="c28"><label>[28]</label><mixed-citation publication-type="journal"><object-id>28</object-id><person-group person-group-type="author"><string-name>T. Rudelius</string-name></person-group>, <article-title>Persistence of the pattern in the interior of 5d moduli spaces</article-title>, <source>Phys. Lett. B</source> <volume>853</volume>, <page-range>138640</page-range> (<year>2024</year>).<pub-id pub-id-type="coden">PYLBAJ</pub-id><issn>0370-2693</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1016/j.physletb.2024.138640</pub-id></mixed-citation></ref><ref id="c29"><label>[29]</label><mixed-citation publication-type="journal"><object-id>29</object-id><person-group person-group-type="author"><string-name>D. van de Heisteeg</string-name>, <string-name>C. Vafa</string-name>, and <string-name>M. Wiesner</string-name></person-group>, <article-title>Bounds on species scale and the distance conjecture</article-title>, <source>Fortschr. Phys.</source> <volume>71</volume>, <page-range>2300143</page-range> (<year>2023</year>).<pub-id pub-id-type="coden">FPYKA6</pub-id><issn>0015-8208</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1002/prop.202300143</pub-id></mixed-citation></ref><ref id="c30"><label>[30]</label><mixed-citation publication-type="eprint"><object-id>30</object-id><person-group person-group-type="author"><string-name>C. Vafa</string-name></person-group>, <article-title>Swamplandish unification of the dark sector</article-title>, <pub-id pub-id-type="arxiv">arXiv:2402.00981</pub-id>.</mixed-citation></ref><ref id="c31"><label>[31]</label><mixed-citation publication-type="journal"><object-id>31</object-id><person-group person-group-type="author"><string-name>M. B. Green</string-name>, <string-name>H.-h. Kwon</string-name>, and <string-name>P. Vanhove</string-name></person-group>, <article-title>Two loops in eleven-dimensions</article-title>, <source>Phys. Rev. D</source> <volume>61</volume>, <page-range>104010</page-range> (<year>2000</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>0556-2821</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.61.104010</pub-id></mixed-citation></ref><ref id="c32"><label>[32]</label><mixed-citation publication-type="journal"><object-id>32</object-id><person-group person-group-type="author"><string-name>M. B. Green</string-name>, <string-name>J. G. Russo</string-name>, and <string-name>P. Vanhove</string-name></person-group>, <article-title>Automorphic properties of low energy string amplitudes in various dimensions</article-title>, <source>Phys. Rev. D</source> <volume>81</volume>, <page-range>086008</page-range> (<year>2010</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>1550-7998</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.81.086008</pub-id></mixed-citation></ref></ref-list></back></article>
