skip to main content


Title: Bit threads, Einstein’s equations and bulk locality
A bstract In the context of holography, entanglement entropy can be studied either by i) extremal surfaces or ii) bit threads, i.e., divergenceless vector fields with a norm bound set by the Planck length. In this paper we develop a new method for metric reconstruction based on the latter approach and show the advantages over existing ones. We start by studying general linear perturbations around the vacuum state. Generic thread configurations turn out to encode the information about the metric in a highly nonlocal way, however, we show that for boundary regions with a local modular Hamiltonian there is always a canonical choice for the perturbed thread configurations that exploits bulk locality. To do so, we express the bit thread formalism in terms of differential forms so that it becomes manifestly background independent. We show that the Iyer-Wald formalism provides a natural candidate for a canonical local perturbation, which can be used to recast the problem of metric reconstruction in terms of the inversion of a particular linear differential operator. We examine in detail the inversion problem for the case of spherical regions and give explicit expressions for the inverse operator in this case. Going beyond linear order, we argue that the operator that must be inverted naturally increases in order. However, the inversion can be done recursively at different orders in the perturbation. Finally, we comment on an alternative way of reconstructing the metric non-perturbatively by phrasing the inversion problem as a particular optimization problem.  more » « less
Award ID(s):
1820712
NSF-PAR ID:
10176133
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Journal of High Energy Physics
Volume:
2021
Issue:
1
ISSN:
1029-8479
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract

    Wave front propagation with nontrivial bottom topography is studied within the formalism of hyperbolic long wave models. Evolution of nonsmooth initial data is examined, and, in particular, the splitting of singular points and their short time behavior is described. In the opposite limit of longer times, the local analysis of wave fronts is used to estimate the gradient catastrophe formation and how this is influenced by the topography. The limiting cases when the free surface intersects the bottom boundary, belonging to the so‐called “physical” and “nonphysical” vacuum classes, are examined. Solutions expressed by power series in the spatial variable lead to a hierarchy of ordinary differential equations for the time‐dependent series coefficients, which are shown to reveal basic differences between the two vacuum cases: for nonphysical vacuums, the equations of the hierarchy are recursive and linear past the first two pairs, whereas for physical vacuums, the hierarchy is nonrecursive, fully coupled, and nonlinear. The former case may admit solutions that are free of singularities for nonzero time intervals, whereas the latter is shown to develop nonstandard velocity shocks instantaneously. Polynomial bottom topographies simplify the hierarchy, as they contribute only a finite number of inhomogeneous forcing terms to the equations in the recursion relations. However, we show that truncation to finite‐dimensional systems and polynomial solutions is in general only possible for the case of a quadratic bottom profile. In this case, the system's evolution can reduce to, and is completely described by, a low‐dimensional dynamical system for the time‐dependent coefficients. This system encapsulates all the nonlinear properties of the solution for general power series initial data, and, in particular, governs the loss of regularity in finite times at the dry point. For the special case of parabolic bottom topographies, an exact, self‐similar solution class is introduced and studied to illustrate via closed‐form expressions the general results.

     
    more » « less
  2. SUMMARY

    Accurate synthetic seismic wavefields can now be computed in 3-D earth models using the spectral element method (SEM), which helps improve resolution in full waveform global tomography. However, computational costs are still a challenge. These costs can be reduced by implementing a source stacking method, in which multiple earthquake sources are simultaneously triggered in only one teleseismic SEM simulation. One drawback of this approach is the perceived loss of resolution at depth, in particular because high-amplitude fundamental mode surface waves dominate the summed waveforms, without the possibility of windowing and weighting as in conventional waveform tomography.

    This can be addressed by redefining the cost-function and computing the cross-correlation wavefield between pairs of stations before each inversion iteration. While the Green’s function between the two stations is not reconstructed as well as in the case of ambient noise tomography, where sources are distributed more uniformly around the globe, this is not a drawback, since the same processing is applied to the 3-D synthetics and to the data, and the source parameters are known to a good approximation. By doing so, we can separate time windows with large energy arrivals corresponding to fundamental mode surface waves. This opens the possibility of designing a weighting scheme to bring out the contribution of overtones and body waves. It also makes it possible to balance the contributions of frequently sampled paths versus rarely sampled ones, as in more conventional tomography.

    Here we present the results of proof of concept testing of such an approach for a synthetic 3-component long period waveform data set (periods longer than 60 s), computed for 273 globally distributed events in a simple toy 3-D radially anisotropic upper mantle model which contains shear wave anomalies at different scales. We compare the results of inversion of 10 000 s long stacked time-series, starting from a 1-D model, using source stacked waveforms and station-pair cross-correlations of these stacked waveforms in the definition of the cost function. We compute the gradient and the Hessian using normal mode perturbation theory, which avoids the problem of cross-talk encountered when forming the gradient using an adjoint approach. We perform inversions with and without realistic noise added and show that the model can be recovered equally well using one or the other cost function.

    The proposed approach is computationally very efficient. While application to more realistic synthetic data sets is beyond the scope of this paper, as well as to real data, since that requires additional steps to account for such issues as missing data, we illustrate how this methodology can help inform first order questions such as model resolution in the presence of noise, and trade-offs between different physical parameters (anisotropy, attenuation, crustal structure, etc.) that would be computationally very costly to address adequately, when using conventional full waveform tomography based on single-event wavefield computations.

     
    more » « less
  3. Traditional dark matter models, e.g., weakly interacting massive particles (WIMPs), assume dark matter (DM) is weakly coupled to the standard model so that elastic scattering between dark matter and baryons can be described perturbatively by the Born approximation; most direct detection experiments are analyzed according to that assumption. We show that when the fundamental DM-baryon interaction is attractive, dark matter-nucleus scattering is nonperturbative in much of the relevant parameter range. The cross section exhibits rich resonant behavior with a highly nontrivial dependence on atomic mass; furthermore, the extended rather than pointlike nature of nuclei significantly impacts the cross sections and must therefore be properly taken into account. The repulsive case also shows significant departures from perturbative predictions and also requires full numerical calculation. These nonperturbative effects change the boundaries of exclusion regions from existing direct detection, astrophysical and CMB constraints. Near a resonance value of the parameters the typical velocity-independent Yukawa behavior, σ ∼ v0, does not apply. We take the nontrivial velocity dependence into account in our analysis, however it turns out that this more accurate treatment has little impact on limits given current constraints. Correctly treating the extended size of the nucleus and doing an exact integration of the Schrödinger equation does have a major impact relative to past analyses based on the Born approximation and naive form factors, so those improvements are essential for interpreting observational constraints. We report the corrected exclusion regions superseding previous limits from XQC, CRESST Surface Run, CMB power spectrum and extensions with Lyman-α and Milky Way satellites, and Milky Way gas clouds. Some limits become weaker, by an order of magnitude or more, than previous bounds in the literature which were based on perturbation theory and pointlike sources, while others become stronger. Gaps which open by correct treatment of some particular constraint can sometimes be closed using a different constraint. We also discuss the dependence on mediator mass and give approximate expressions for the velocity dependence near a resonance. Sexaquark (uuddss) DM with mass around 2 GeV, which exchanges QCD mesons with baryons, remains unconstrained for most of the parameter space of interest. A statement in the literature that a DM-nucleus cross section larger than 10−25 cm2 implies dark matter is composite, is corrected. 
    more » « less
  4. In this work we present a systematic review of novel and interesting behaviour we have observed in a simplified model of a MEMS oscillator. The model is third order and nonlinear, and we expressit as a single ODE for a displacement variable. We find that a single oscillator exhibits limitcycles whose amplitude is well approximated by perturbation methods. Two coupled identicaloscillators have in-phase and out-of-phase modes as well as more complicated motions.Bothof the simple modes are stable in some regions of the parameter space while the bifurcationstructure is quite complex in other regions. This structure is symmetric; the symmetry is brokenby the introduction of detuning between the two oscillators. Numerical integration of the fullsystem is used to check all bifurcation computations. Each individual oscillator is based on a MEMS structure which moves within a laser-driven interference pattern. As the structure vibrates, it changes the interference gap, causing the quantity of absorbed light to change, producing a feedback loop between the motion and the absorbed light and resulting in a limit cycle oscillation. A simplified model of this MEMS oscillator, omitting parametric feedback and structural damping, is investigated using Lindstedt's perturbation method. Conditions are derived on the parameters of the model for a limit cycle to exist. The original model of the MEMS oscillator consists of two equations: a second order ODE which describes the physical motion of a microbeam, and a first order ODE which describes the heat conduction due to the laser. Starting with these equations, we derive a single governing ODE which is of third order and which leads to the definition of a linear operator called the MEMS operator. The addition of nonlinear terms in the model is shown to produce limit cycle behavior. The differential equations of motion of the system of two coupled oscillators are numerically integrated for varying values of the coupling parameter. It is shown that the in-phase mode loses stability as the coupling parameter is reduced below a certain value, and is replaced by two new periodic motions which are born in a pitchfork bifurcation. Then as this parameter is further reduced, the form of the bifurcating periodic motions grows more complex, with yet additional bifurcations occurring. This sequence of bifurcations leads to a situation in which the only periodic motion is a stable out-of-phase mode. The complexity of the resulting sequence of bifurcations is illustrated through a series of diagrams based on numerical integration. 
    more » « less
  5. Abstract In this article, the recently discovered phenomenon of delayed Hopf bifurcations (DHB) in reaction–diffusion partial differential equations (PDEs) is analysed in the cubic Complex Ginzburg–Landau equation, as an equation in its own right, with a slowly varying parameter. We begin by using the classical asymptotic methods of stationary phase and steepest descents on the linearized PDE to show that solutions, which have approached the attracting quasi-steady state (QSS) before the Hopf bifurcation remain near that state for long times after the instantaneous Hopf bifurcation and the QSS has become repelling. In the complex time plane, the phase function of the linearized PDE has a saddle point, and the Stokes and anti-Stokes lines are central to the asymptotics. The non-linear terms are treated by applying an iterative method to the mild form of the PDE given by perturbations about the linear particular solution. This tracks the closeness of solutions near the attracting and repelling QSS in the full, non-linear PDE. Next, we show that beyond a key Stokes line through the saddle there is a curve in the space-time plane along which the particular solution of the linear PDE ceases to be exponentially small, causing the solution of the non-linear PDE to diverge from the repelling QSS and exhibit large-amplitude oscillations. This curve is called the space–time buffer curve. The homogeneous solution also stops being exponentially small in a spatially dependent manner, as determined also by the initial data and time. Hence, a competition arises between these two solutions, as to which one ceases to be exponentially small first, and this competition governs spatial dependence of the DHB. We find four different cases of DHB, depending on the outcomes of the competition, and we quantify to leading order how these depend on the main system parameters, including the Hopf frequency, initial time, initial data, source terms, and diffusivity. Examples are presented for each case, with source terms that are a uni-modal function, a smooth step function, a spatially periodic function and an algebraically growing function. Also, rich spatio-temporal dynamics are observed in the post-DHB oscillations. Finally, it is shown that large-amplitude source terms can be designed so that solutions spend substantially longer times near the repelling QSS, and hence, region-specific control over the delayed onset of oscillations can be achieved. 
    more » « less