arXiv subjects

Jeroen Tromp

Publications and source records attributed to Jeroen Tromp.

15 recordsLinked to original sources

arXiv2024

Cosserat elasticity as the weak-field limit of Einstein--Cartan relativity

The weak-field limit of Einstein--Cartan (EC) relativity is studied. The equations of EC theory are rewritten such that they formally resemble those of Einstein General Relativity (EGR); this allows ideas from post-Newtonian theory to be imported without essential change. The equations of motion are then written both at first post-Newtonian (1PN) order and at 1.5PN order. EC theory's 1PN equations of motion are found to be those of a micropolar/Cosserat elastic medium, along with a decoupled evolution equation for non-classical, spin-related fields. It seems that a necessary condition for these results to hold is that one chooses the non-classical fields to scale with the speed of light in a certain empirically reasonable way. Finally, the 1.5PN equations give greater insight into the coupling between energy-momentum and spin within slowly moving, weakly gravitating matter. Specifically, the weakly relativistic modifications to Cosserat theory involve a gravitational torque and an augmentation of the gravitational force due to a `dynamic mass moment density' with an accompanying `dynamic mass moment density flux', and new forms of linear momentum density captured by a `dynamic mass density flux' and a `dynamic momentum density'.

gr-qc↗

arXiv2023

Minuscule corrections to near-surface solar internal rotation using mode-coupling

The observed solar oscillation spectrum is influenced by internal perturbations such as flows and structural asphericities. These features induce splitting of characteristic frequencies and distort the resonant-mode eigenfunctions. Global axisymmertric flow -- differential rotation -- is a very prominent perturbation. Tightly constrained rotation profiles as a function of latitude and radius are products of established helioseismic pipelines that use observed Dopplergrams to generate frequency-splitting measurements at high precision. However, the inference of rotation using frequency-splittings do not consider the effect of mode-coupling. This approximation worsens for high-angular-degree modes, as they become increasingly proximal in frequency. Since modes with high angular degrees probe the near-surface layers of the Sun, inversions considering coupled modes could potentially lead to more accurate estimates of rotation very close to the surface. In order to investigate if this is indeed the case, we perform inversions for solar differential rotation, considering coupling of modes for angular degrees $160 \leq \ell \leq 300$ in the surface gravity $f$-branch and first-overtone $p$ modes. In keeping with the character of mode coupling, we carry out a non-linear inversion using an eigenvalue solver. Differences in inverted profiles for frequency splitting measurements from MDI and HMI are compared and discussed. We find that corrections to the near-surface differential rotation profile, when accounting for mode-coupling effects, are smaller than 0.003 nHz and hence are insignificant. These minuscule corrections are found to be correlated with the solar cycle. We also present corrections to even-order splitting coefficients, which could consequently impact inversions for structure and magnetic fields.

astro-ph.SR↗

arXiv2023

Full-waveform tomography reveals iron spin crossover in Earth lower mantle

Joint interpretation of bulk and shear wave speeds constrains the chemistry of the deep mantle. At all depths, the diversity of wave speeds cannot be explained by an isochemical mantle. Between 1000 and 2500 km depth, hypothetical mantle models containing an electronic spin crossover in (Mg,Fe)O provide a significantly better fit to the wave-speed distributions, as well as more realistic temperatures and silica contents, than models without a spin crossover. Below 2500 km, wave speed distributions are explained by enrichment in silica towards the core-mantle-boundary. This silica enrichment may represent the fractionated remains of an ancient basal magma ocean.

physics.geo-ph↗

arXiv2022

Ab initio calculations of third-order elastic coefficients

Third-order elasticity (TOE) theory is predictive of strain-induced changes in second-order elastic coefficients (SOECs) and can model elastic wave propagation in stressed media. Although third-order elastic tensors have been determined based on first principles in previous studies, their current definition is based on an expansion of thermodynamic energy in terms of the Lagrangian strain near the natural, or zero pressure, reference state. This definition is inconvenient for predictions of SOECs under significant initial stresses. Therefore, when TOE theory is necessary to study the strain dependence of elasticity, the seismological community has resorted to an empirical version of the theory. This study reviews the thermodynamic definition of the third-order elastic tensor and proposes using an "effective" third-order elastic tensor. An explicit expression for the effective third-order elastic tensor is given and verified. We extend the ab initio approach to calculate third-order elastic tensors under finite pressure and apply it to two cubic systems, namely, NaCl and MgO. As applications and validations, we evaluate (a) strain-induced changes in SOECs and (b) pressure derivatives of SOECs based on ab initio calculations. Good agreement between third-order elasticity-based predictions and numerically calculated values confirms the validity of our theory.

cond-mat.mtrl-sci↗

arXiv2021

Preconditioned BFGS-based Uncertainty Quantification in elastic Full Waveform Inversion

Full Waveform Inversion (FWI) plays a vital role in reconstructing geophysical structures. The Uncertainty Quantification regarding the inversion results is equally important but has been missing out in most of the current geophysical inversions. Mathematically, uncertainty quantification is involved with the inverse Hessian (or the posterior covariance matrix), which is prohibitive in computation and storage for practical geophysical FWI problems. L-BFGS populates as the most efficient Gauss-Newton method; however, in this study, we empower it with the new possibility of accessing the inverse Hessian for uncertainty quantification in FWI. To facilitate the inverse-Hessian retrieval, we put together BFGS (essentially, full-history L-BFGS) with randomized singular value decomposition towards a low-rank approximation of the Hessian inverse. That the rank number equals the number of iterations makes this solution efficient and memory-affordable even for large-scale inversions. Also, based on the adjoint method, we formulate different diagonal Hessian initials as preconditioners and compare their performances in elastic FWI. We highlight our methods with the elastic Marmousi benchmark, demonstrating the applicability of preconditioned BFGS in large-scale FWI and uncertainty quantification.

physics.comp-ph↗

arXiv2021

Inferring solar differential rotation through normal-mode coupling using Bayesian statistics

Normal-mode helioseismic data analysis uses observed solar oscillation spectra to infer perturbations in the solar interior due to global and local-scale flows and structural asphericity. Differential rotation, the dominant global-scale axisymmetric perturbation, has been tightly constrained primarily using measurements of frequency splittings via "$a$-coefficients". However, the frequency-splitting formalism invokes the approximation that multiplets are isolated. This assumption is inaccurate for modes at high angular degrees. Analysing eigenfunction corrections, which respect cross coupling of modes across multiplets, is a more accurate approach. However, applying standard inversion techniques using these cross-spectral measurements yields $a$-coefficients with a significantly wider spread than the well-constrained results from frequency splittings. In this study, we apply Bayesian statistics to infer $a$-coefficients due to differential rotation from cross spectra for both $f$-modes and $p$-modes. We demonstrate that this technique works reasonably well for modes with angular degrees $\ell=50-291$. The inferred $a_3-$coefficients are found to be within $1$ nHz of the frequency splitting values for $\ell > 200$. We also show that the technique fails at $\ell < 50$ owing to the insensitivity of the measurement to the perturbation. These results serve to further establish mode coupling as an important helioseismic technique with which to infer internal structure and dynamics, both axisymmetric (e.g., meridional circulation) and non-axisymmetric perturbations.

astro-ph.SR↗

arXiv2020

Sensitivity kernels for inferring Lorentz stresses from normal-mode frequency splittings in the Sun

Departures from standard spherically symmetric solar models, in the form of perturbations such as global and local-scale flows and structural asphericities, result in the splitting of eigenfrequencies in the observed spectrum of solar oscillations. Drawing from prevalent ideas in normal-mode coupling theory in geophysical literature, we devise a procedure that enables the computation of sensitivity kernels for general Lorentz stress fields in the Sun. Mode coupling due to any perturbation requires careful consideration of self- and cross-coupling of multiplets. Invoking the isolated-multiplet approximation allows for limiting the treatment to purely self-coupling, requiring significantly less computational resources. We identify the presence of such isolated multiplets under the effect of Lorentz stresses in the Sun. Currently, solar missions allow precise measurements of self-coupling of multiplets via "$a$-coefficients" and the cross-spectral correlation signal which enables the estimation of the "structure coefficients". We demonstrate the forward problem for both self-coupling ($a$-coefficients) and cross-coupling (structure coefficients). In doing so, we plot the self-coupling kernels and estimate $a$-coefficients arising from a combination of deep-toroidal and surface-dipolar axisymmetric fields. We also compute the structure coefficients for an arbitrary general magnetic field (real and solenoidal) and plot the corresponding "splitting function", a convenient way to visualize the splitting of multiplets under 3D internal perturbations. The results discussed in this paper pave the way to formally pose an inverse problem, and infer solar internal magnetic fields.

astro-ph.SR↗

arXiv2018

Harnessing the Power of Many: Extensible Toolkit for Scalable Ensemble Applications

Many scientific problems require multiple distinct computational tasks to be executed in order to achieve a desired solution. We introduce the Ensemble Toolkit (EnTK) to address the challenges of scale, diversity and reliability they pose. We describe the design and implementation of EnTK, characterize its performance and integrate it with two distinct exemplar use cases: seismic inversion and adaptive analog ensembles. We perform nine experiments, characterizing EnTK overheads, strong and weak scalability, and the performance of two use case implementations, at scale and on production infrastructures. We show how EnTK meets the following general requirements: (i) implementing dedicated abstractions to support the description and execution of ensemble applications; (ii) support for execution on heterogeneous computing infrastructures; (iii) efficient scalability up to O(10^4) tasks; and (iv) fault tolerance. We discuss novel computational capabilities that EnTK enables and the scientific advantages arising thereof. We propose EnTK as an important addition to the suite of tools in support of production scientific computing.

cs.DC↗

arXiv2017

A spectral-infinite-element solution of Poisson's equation: an application to self gravity

We solve Poisson's equation by combining a spectral-element method with a mapped infinite-element method. We focus on problems in geostatics and geodynamics, where Earth's gravitational field is determined by Poisson's equation inside the Earth and Laplace's equation in the rest of space. Spectral elements are used to capture the internal field, and infinite elements are used to represent the external field. To solve the weak form of Poisson/Laplace equation, we use Gauss-Legendre-Lobatto quadrature in spectral elements inside the domain of interest. Outside the domain, we use Gauss-Radau quadrature in the infinite direction, and Gauss-Legendre-Lobatto quadrature in the other directions. We illustrate the efficiency and accuracy of the method by comparing the gravitational fields of a homogeneous sphere and the Preliminary Reference Earth Model (PREM) with (semi-)analytical solutions.

physics.geo-ph↗

arXiv2016

Double-difference adjoint seismic tomography

We introduce a `double-difference' method for the inversion for seismic wavespeed structure based on adjoint tomography. Differences between seismic observations and model predictions at individual stations may arise from factors other than structural heterogeneity, such as errors in the assumed source-time function, inaccurate timings, and systematic uncertainties. To alleviate the corresponding nonuniqueness in the inverse problem, we construct differential measurements between stations, thereby reducing the influence of the source signature and systematic errors. We minimize the discrepancy between observations and simulations in terms of the differential measurements made on station pairs. We show how to implement the double-difference concept in adjoint tomography, both theoretically and in practice. We compare the sensitivities of absolute and differential measurements. The former provide absolute information on structure along the ray paths between stations and sources, whereas the latter explain relative (and thus higher-resolution) structural variations in areas close to the stations. Whereas in conventional tomography a measurement made on a single earthquake-station pair provides very limited structural information, in double-difference tomography one earthquake can actually resolve significant details of the structure. The double-difference methodology can be incorporated into the usual adjoint tomography workflow by simply pairing up all conventional measurements; the computational cost of the necessary adjoint simulations is largely unaffected. Rather than adding to the computational burden, the inversion of double-difference measurements merely modifies the construction of the adjoint sources for data assimilation.

physics.geo-ph↗

arXiv2016

Anelastic sensitivity kernels with parsimonious storage for adjoint tomography and full waveform inversion

We introduce a technique to compute exact anelastic sensitivity kernels in the time domain using parsimonious disk storage. The method is based on a reordering of the time loop of time-domain forward/adjoint wave propagation solvers combined with the use of a memory buffer. It avoids instabilities that occur when time-reversing dissipative wave propagation simulations. The total number of required time steps is unchanged compared to usual acoustic or elastic approaches. The cost is reduced by a factor of 4/3 compared to the case in which anelasticity is partially accounted for by accommodating the effects of physical dispersion. We validate our technique by performing a test in which we compare the $K_α$ sensitivity kernel to the exact kernel obtained by saving the entire forward calculation. This benchmark confirms that our approach is also exact. We illustrate the importance of including full attenuation in the calculation of sensitivity kernels by showing significant differences with physical-dispersion-only kernels.

physics.comp-ph↗

arXiv2014

Full Waveform Inversion for Time-Distance Helioseismology

Inferring interior properties of the Sun from photospheric measurements of the seismic wavefield constitutes the helioseismic inverse problem. Deviations in seismic measurements (such as wave travel times) from their fiducial values estimated for a given model of the solar interior imply that the model is inaccurate. Contemporary inversions in local helioseismology assume that properties of the solar interior are linearly related to measured travel-time deviations. It is widely known, however, that this assumption is invalid for sunspots and active regions, and likely for supergranular flows as well. Here, we introduce nonlinear optimization, executed iteratively, as a means of inverting for the sub-surface structure of large-amplitude perturbations. Defining the penalty functional as the $L_2$ norm of wave travel-time deviations, we compute the the total misfit gradient of this functional with respect to the relevant model parameters %(only sound speed in this case) at each iteration around the corresponding model. The model is successively improved using either steepest descent, conjugate gradient, or quasi-Newton limited-memory BFGS. Performing nonlinear iterations requires privileging pixels (such as those in the near-field of the scatterer), a practice not compliant with the standard assumption of translational invariance. Measurements for these inversions, although similar in principle to those used in time-distance helioseismology, require some retooling. For the sake of simplicity in illustrating the method, we consider a 2-D inverse problem with only a sound-speed perturbation.

astro-ph.SR↗

arXiv2012

Seismic probes of solar interior magnetic structure

Sunspots are prominent manifestations of solar magnetoconvection and imaging their subsurface structure is an outstanding problem of wide physical importance. Travel times of seismic waves that propagate through these structures are typically used as inputs to inversions. Despite the presence of strongly anisotropic magnetic waveguides, these measurements have always been interpreted in terms of changes to isotropic wavespeeds and flow-advection related Doppler shifts. Here, we employ PDE-constrained optimization to determine the appropriate parameterization of the structural properties of the magnetic interior. Seven different wavespeeds fully characterize helioseismic wave propagation: the isotropic sound speed, a Doppler-shifting flow-advection velocity and an anisotropic magnetic velocity. The structure of magnetic media is sensed by magnetoacoustic slow and fast modes and Alfvén waves, each of which propagates at a different wavespeed. We show that even in the case of weak magnetic fields, significant errors may be incurred if these anisotropies are not accounted for in inversions. Translation invariance is demonstrably lost. These developments render plausible the accurate seismic imaging of magnetoconvection in the Sun.

astro-ph.SR↗

arXiv2012

Detectable seismic consequences of the interaction of a primordial black hole with Earth

Galaxies observed today are likely to have evolved from density perturbations in the early universe. Perturbations that exceeded some critical threshold are conjectured to have undergone gravitational collapse to form primordial black holes (PBHs) at a range of masses. Such PBHs serve as candidates for cold dark matter and their detection would shed light on conditions in the early universe. Here we propose a mechanism to search for transits of PBHs through/nearby Earth by studying the associated seismic waves. Using a spectral-element method, we simulate and visualize this seismic wave field in Earth's interior. We predict the emergence of two unique signatures, namely, a wave that would arrive almost simultaneously everywhere on Earth's free surface and the excitation of unusual spheroidal modes with a characteristic frequency-spacing in free oscillation spectra. These qualitative characteristics are unaffected by the speed or proximity of the PBH trajectory. The seismic energy deposited by a proximal ${M^{PBH} = 10^{15}}$ g PBH is comparable to a magnitude $M_w=4$ earthquake. The non-seismic collateral damage due to the actual impact of such small PBHs with Earth would be negligible. Unfortunately, the expected collision rate is very low even if PBHs constituted all of dark matter, at ${\sim 10^{-7} {yr}^{-1}}$, and since the rate scales as ${1/M^{PBH}}$, fortunately encounters with larger, Earth-threatening PBHs are exceedingly unlikely. However, the rate at which non-colliding close encounters of PBHs could be detected by seismic activity alone is roughly two orders of magnitude larger --- that is once every hundred thousand years --- than the direct collision rate.

astro-ph.CO↗

arXiv2011

The Adjoint Method Applied to Time-Distance Helioseismology

For a given {\it misfit function}, a specified optimality measure of a model, its gradient describes the manner in which one may alter properties of the system to march towards a stationary point. The adjoint method, arising from partial-differential-equation-constrained optimization, describes a means of extracting derivatives of a misfit function with respect to model parameters through finite computation. It relies on the accurate calculation of wavefields that are driven by two types of sources, namely the average wave-excitation spectrum, resulting in the {\it forward wavefield}, and differences between predictions and observations, resulting in an {\it adjoint wavefield}. All sensitivity kernels relevant to a given measurement emerge directly from the evaluation of an interaction integral involving these wavefields. The technique facilitates computation of sensitivity kernels (Fréchet derivatives) relative to three-dimensional heterogeneous background models, thereby paving the way for non-linear iterative inversions. An algorithm to perform such inversions using as many observations as desired is discussed.

astro-ph.SR↗