skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Gravity from thermodynamics: Optimal transport and negative effective dimensions
We prove an equivalence between the classical equations of motion governing vacuum gravity compactifications (and more general warped-product spacetimes) and a concavity property of entropy under time evolution. This is obtained by linking the theory of optimal transport to the Raychaudhuri equation in the internal space, where the warp factor introduces effective notions of curvature and (negative) internal dimension. When the Reduced Energy Condition is satisfied, concavity can be characterized in terms of the cosmological constant\Lambda Λ ; as a consequence, the masses of the spin-two Kaluza-Klein fields obey bounds in terms of\Lambda Λ alone. We show that some Cheeger bounds on the KK spectrum hold even without assuming synthetic Ricci lower bounds, in the large class of infinitesimally Hilbertian metric measure spaces, which includes D-brane and O-plane singularities. As an application, we show how some approximate string theory solutions in the literature achieve scale separation, and we construct a new explicit parametrically scale-separated AdS solution of M-theory supported by Casimir energy.  more » « less
Award ID(s):
2014215
PAR ID:
10477565
Author(s) / Creator(s):
; ; ;
Publisher / Repository:
SciPost
Date Published:
Journal Name:
SciPost Physics
Volume:
15
Issue:
2
ISSN:
2542-4653
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract Let$$\lambda $$ λ denote the Liouville function. We show that the logarithmic mean of$$\lambda (\lfloor \alpha _1n\rfloor )\lambda (\lfloor \alpha _2n\rfloor )$$ λ ( α 1 n ) λ ( α 2 n ) is 0 whenever$$\alpha _1,\alpha _2$$ α 1 , α 2 are positive reals with$$\alpha _1/\alpha _2$$ α 1 / α 2 irrational. We also show that for$$k\geqslant 3$$ k 3 the logarithmic mean of$$\lambda (\lfloor \alpha _1n\rfloor )\cdots \lambda (\lfloor \alpha _kn\rfloor )$$ λ ( α 1 n ) λ ( α k n ) has some nontrivial amount of cancellation, under certain rational independence assumptions on the real numbers$$\alpha _i.$$ α i . Our results for the Liouville function generalise to produce independence statements for general bounded real-valued multiplicative functions evaluated at Beatty sequences. These results answer the two-point case of a conjecture of Frantzikinakis (and provide some progress on the higher order cases), generalising a recent result of Crnčević–Hernández–Rizk–Sereesuchart–Tao. As an ingredient in our proofs, we establish bounds for the logarithmic correlations of the Liouville function along Bohr sets. 
    more » « less
  2. Pure three-dimensional gravity is a renormalizable theory with twofree parameters labelled byG G and\Lambda Λ .As a consequence, correlation functions of the boundary stress tensor inAdS_3 3 are uniquely fixed in terms of one dimensionless parameter, which is thecentral charge of the Virasoro algebra. The same argument implies thatAdS_3 3 gravity at a finite radial cutoff is a renormalizable theory, but nowwith one additional parameter corresponding to the cutoff location. Thistheory is conjecturally dual to aT\overline{T} T T ¯ -deformedCFT, assuming that such theories actually exist. To elucidate this, westudy the quantum theory of boundary gravitons living on a cutoff planarboundary and the associated correlation functions of the boundary stresstensor. We compute stress tensor correlation functions to two-loop order(G G being the loop counting parameter), extending existing tree levelresults. This is made feasible by the fact that the boundary gravitonaction simplifies greatly upon making a judicious field redefinition,turning into the Nambu-Goto action. After imposing Lorentz invariance,the correlators at this order are found to be unambiguous up to a singleundetermined renormalization parameter. 
    more » « less
  3. Abstract A major challenge in evolutionary biology is explaining how populations navigate rugged fitness landscapes without getting trapped on local optima. One idea illustrated by adaptive dynamics theory is that as populations adapt, their newly enhanced capacities to exploit resources alter fitness payoffs and restructure the landscape in ways that promote speciation by opening new adaptive pathways. While there have been indirect tests of this theory, to our knowledge none have measured how fitness landscapes deform during adaptation, or test whether these shifts promote diversification. Here, we achieve this by studying bacteriophage$$\lambda$$ λ , a virus that readily speciates into co-existing receptor specialists under controlled laboratory conditions. We use a high-throughput gene editing-phenotyping technology to measure$$\lambda$$ λ ’s fitness landscape in the presence of different evolved-$$\lambda$$ λ competitors and find that the fitness effects of individual mutations, and their epistatic interactions, depend on the competitor. Using these empirical data, we simulate$$\lambda$$ λ ’s evolution on an unchanging landscape and one that recapitulates how the landscape deforms during evolution.$$\lambda$$ λ heterogeneity only evolves in the shifting landscape regime. This study provides a test of adaptive dynamics, and, more broadly, shows how fitness landscapes dynamically change during adaptation, potentiating phenomena like speciation by opening new adaptive pathways. 
    more » « less
  4. Abstract We obtain new optimal estimates for the$$L^{2}(M)\to L^{q}(M)$$ L 2 ( M ) L q ( M ) ,$$q\in (2,q_{c}]$$ q ( 2 , q c ] ,$$q_{c}=2(n+1)/(n-1)$$ q c = 2 ( n + 1 ) / ( n 1 ) , operator norms of spectral projection operators associated with spectral windows$$[\lambda ,\lambda +\delta (\lambda )]$$ [ λ , λ + δ ( λ ) ] , with$$\delta (\lambda )=O((\log \lambda )^{-1})$$ δ ( λ ) = O ( ( log λ ) 1 ) on compact Riemannian manifolds$$(M,g)$$ ( M , g ) of dimension$$n\ge 2$$ n 2 all of whose sectional curvatures are nonpositive or negative. We show that these two different types of estimates are saturated on flat manifolds or manifolds all of whose sectional curvatures are negative. This allows us to classify compact space forms in terms of the size of$$L^{q}$$ L q -norms of quasimodes for each Lebesgue exponent$$q\in (2,q_{c}]$$ q ( 2 , q c ] , even though it is impossible to distinguish between ones of negative or zero curvature sectional curvature for any$$q>q_{c}$$ q > q c
    more » « less
  5. Abstract Recent progress in microspherical superlens nanoscopy raises a fundamental question about the transition from super-resolution properties of mesoscale microspheres, which can provide a subwavelength resolution$$\sim \lambda /7$$ λ / 7 , to macroscale ball lenses, for which the imaging quality degrades because of aberrations. To address this question, this work develops a theory describing the imaging by contact ball lenses with diameters$$30 30 < D / λ < 4000 covering this transition range and for a broad range of refractive indices$$1.3<2.1$$ 1.3 < n < 2.1 . Starting from geometrical optics we subsequently proceed to an exact numerical solution of the Maxwell equations explaining virtual and real image formation as well as magnificationMand resolution near the critical index$$n\approx 2$$ n 2 which is of interest for applications demanding the highestMsuch as cellphone microscopy. The wave effects manifest themselves in a strong dependence of the image plane position and magnification on$$D/\lambda $$ D / λ , for which a simple analytical formula is derived. It is demonstrated that a subwavelength resolution is achievable at$$D/\lambda \lesssim 1400$$ D / λ 1400 . The theory explains the results of experimental contact-ball imaging. The understanding of the physical mechanisms of image formation revealed in this study creates a basis for developing applications of contact ball lenses in cellphone-based microscopy. 
    more » « less