arXiv ScienceSearch

arXiv subjects

Matteo Frigo

Publications and source records attributed to Matteo Frigo.

17 recordsLinked to original sources

Implementing FFTs in Practice

This review article was first published in 2008 as chapter 11 in the book "Fast Fourier Transforms," edited by C. S. Burrus, for the Connexions project at Rice University, which is sadly no longer online. It gives a high-level overview of some of the engineering considerations that arise in high-performance implementations of fast Fourier trasnforms (FFTs). It explains why optimized FFTs are very different from textbook "radix-2 Cooley-Tukey" FFT algorithms, in order to compensate for the memory hierarchy and exploit the large register sets and deep pipelines of modern CPUs. Using the FFTW library as a case study, it talks about tradeoffs in the use of recursion, generation of twiddle factors, code generation, and other algorithmic choices.

math.NA

A robust framework for frictional fault contact in geological formations using a stabilized augmented Lagrangian approach

Numerical simulations are essential for evaluating the performance and safety of geological engineered systems such as geologic carbon storage sites, enhanced geothermal fields, and oil and gas reservoirs. A key challenge lies in accurately modeling the frictional contact behavior along fault surfaces. This problem involves inequality constraints that arise from the physics of frictional slip, requiring specialized numerical methods to handle the resulting highly nonlinear and path-dependent behavior. In this work, we address this challenge using an augmented Lagrangian method implemented via the Uzawa algorithm. The formulation employs mixed finite element spaces, combining low-order piecewise linear displacements within the 3D domain cells with piecewise constant tractions defined on the fault surfaces. Furthermore, to ensure stability and satisfy the inf-sup condition, the discrete displacement space is enriched with face bubble functions on both sides of the contact interfaces. This approach offers several advantages over other stabilization techniques that rely on additional terms, as it does not require extra parameters for implementation, and it integrates naturally in the Uzawa framework.

math.NA

Unexpected fault activation due to underground gas storage in produced reservoirs. Part II: Definition of safe operational bandwidths

Underground gas storage is a versatile tool for managing energy resources and addressing pressing environmental concerns. While natural gas is stored in geological formations since the early 20th century, hydrogen has recently been considered as a potential candidate toward a more flexible and sustainable energy infrastructure. Furthermore, these formations can additionally capture gases that contribute to climate change, such as CO2. When such operations are implemented in faulted basins, however, safety concerns may arise due to the potential reactivation of pre-existing faults, which could trigger (micro)-seismicity events. In the Netherlands, it has been recently noted that fault reactivation can occur "unexpectedly" during the life of an underground gas storage (UGS) site, even when stress conditions are not expected to cause a failure. The present two-part work aims to develop a modeling framework to investigate the physical mechanisms causing such occurrences in previously produced gas reservoirs and define a safe operational bandwidth for pore pressure variation for UGS operations in the faulted reservoirs of the Upper Rotliegend Group, the Netherlands. This paper investigates in detail the mechanisms and crucial factors that result in fault reactivation at various stages of a UGS. The mathematical and numerical model described in Part I is used, also considering how the presence of stored gases may influence the mechanical properties of the reservoir and caprock, in particular the Young modulus. The study investigates the hazard of fault activation caused by the storage of different fluids for various purposes, such as long-term CO2 sequestration, CH4 and H2 injection and extraction cycles, and N2 injection as cushion gas. The results show how geological configuration, geomechanical properties, and reservoir operating conditions may increase the hazard of fault reactivation.

math.NA

Unexpected fault activation due to underground gas storage in produced reservoirs. Part I: Mathematical model and mechanisms

Underground gas storage (UGS) is a critical technology for managing seasonal gas consumption peaks, increasingly important in the face of market uncertainties. However, safety concerns arise when reactivating pre-existing faults in faulted basins, where human activities may trigger seismic events. Typically, faults are reactivated when shear stress exceeds a critical frictional threshold, but unexpected fault reactivations have been observed during cushion gas injection (CGI) and UGS cycles in the Netherlands, even when the stress regime suggests stability. This two-part study introduces a novel simulation framework to better understand the mechanisms behind fault reactivation in complex settings such as the Rotliegend formation in the Netherlands. A 3D mathematical model coupling frictional contact mechanics in faulted porous rocks with fluid flow allows for predictive analysis of fault behavior. The effect of the storage of different fluids for various purposes, such as the long-term sequestration of CO2, the regular injection and extraction cycles of CH4, and the highly irregular cycles of H2, is investigated with respect to fault activation hazard. The ultimate goal is to define a safe operational bandwidth for UGS activities in faulted reservoirs. Part I of this work presents this comprehensive simulation tool where a slip-weakening constitutive law is introduced to model fault behavior. The approach is designed to address the complex geological setting that characterizes the Rotliegend formation, where multiple factors influence the behavior of fault systems. We succeed in explaining and modeling the occurrence of unexpected fault reactivations. The analysis shows that reactivation during primary production (PP) causes stress redistribution, leading to a new deformed equilibrated configuration.

math.NA

A Reverse Augmented Constraint preconditioner for Lagrange multiplier methods in contact mechanics

Frictional contact is one of the most challenging problems in computational mechanics. Typically, it is a tough nonlinear problem often requiring several Newton iterations to converge and causing troubles also in the solution to the related linear systems. When contact is modeled with the aid of Lagrange multipliers, the impenetrability condition is enforced exactly, but the associated Jacobian matrix is indefinite and needs a special treatment for a fast numerical solution. In this work, a constraint preconditioner is proposed where the primal Schur complement is computed after augmenting the zero block. The name Reverse is used in contrast to the traditional approach where only the structural block undergoes an augmentation. Besides being able to address problems characterized by singular structural blocks, often arising in contact mechanics, it is shown that the proposed approach is significantly cheaper than traditional constraint preconditioning for this class of problems and it is suitable for an efficient HPC implementation through the Chronos parallel package. Our conclusions are supported by several numerical experiments on mid- and large-size problems from various applications. The source files implementing the proposed algorithm are freely available on GitHub.

math.NA

The two phases of core formation -- orbital evolution in the centres of ellipticals with supermassive black hole binaries

The flat stellar density cores of massive elliptical galaxies form rapidly due to sinking supermassive black holes (SMBH) in gas-poor galaxy mergers. After the SMBHs form a bound binary, gravitational slingshot interactions with nearby stars drive the core regions towards a tangentially biased stellar velocity distribution. We use collisionless galaxy merger simulations with accurate collisional orbit integration around the central SMBHs to demonstrate that the removal of stars from the centre by slingshot kicks accounts for the entire change in velocity anisotropy. The rate of strong (unbinding) kicks is constant over several hundred Myr at $\sim 3 \ M_\odot \rm yr^{-1}$ for our most massive SMBH binary ($M_{\rm BH} = 1.7 \times 10^{10} M_\odot$). Using a frequency-based orbit classification scheme (box, x-tube, z-tube, rosette) we demonstrate that slingshot kicks mostly affect box orbits with small pericentre distances, leading to a velocity anisotropy of $\beta \lesssim -0.6$ within several hundred Myr as observed in massive ellipticals with large cores. We show how different SMBH masses affect the orbital structure of the merger remnants and present a kinematic tomography connecting orbit families to integral field kinematic features. Our direct orbit classification agrees remarkably well with a modern triaxial Schwarzschild analysis applied to simulated mock kinematic maps.

astro-ph.GA

Chronos: A general purpose classical AMG solver for High Performance Computing

The numerical simulation of the physical systems has become in recent years a fundamental tool to perform analyses and predictions in several application fields, spanning from industry to the academy. As far as large scale simulations are concerned, one of the most computationally expensive task is the solution of linear systems arising from the discretization of the partial differential equations governing the physical processes.This work presents Chronos, a collection of linear algebra functions specifically designed for the solution of large, sparse linear systems on massively parallel computers (https://www.m3eweb.it/chronos/). Its emphasis is on modern, effective and scalable AMG preconditioners for High Performance Computing (HPC). This work describes the numerical algorithms and the main structures of this software suite, especially from the implementation standpoint. Several numerical results arising from practical mechanics and fluid dynamics applications with hundreds of millions of unknowns are addressed and compared with other state-of-the-art linear solvers, proving Chronos efficiency and robustness.

math.NA

SMART: A new implementation of Schwarzschild's Orbit Superposition technique for triaxial galaxies and its application to an N-body merger simulation

We present SMART, a new 3D implementation of the Schwarzschild Method and its application to a triaxial N-body merger simulation. SMART fits full line-of-sight velocity distributions (LOSVDs) to determine the viewing angles, black hole, stellar and dark matter (DM) masses and the stellar orbit distribution of galaxies. Our model uses a 5D orbital starting space to ensure a representative set of stellar trajectories adaptable to the integrals-of-motion space and it is designed to deal with non-parametric stellar and DM densities. SMART's efficiency is demonstrated by application to a realistic N-body merger simulation including supermassive black holes which we model from five different projections. When providing the true viewing angles, 3D stellar luminosity profile and normalized DM halo, we can (i) reproduce the intrinsic velocity moments and anisotropy profile with a precision of ~1% and (ii) recover the black hole mass, stellar mass-to-light ratio and DM normalization to better than a few percent accuracy. This precision is smaller than the currently discussed differences between initial-stellar-mass functions and scatter in black hole scaling relations. Further tests with toy models suggest that the recovery of the anisotropy in triaxial galaxies is almost unique when the potential is known and full LOSVDs are fitted. We show that orbit models even allow the reconstruction of full intrinsic velocity distributions, which contain more information than the classical anisotropy parameter. Surprisingly, the orbit library for the analysed N-body simulation's gravitational potential contains orbits with net rotation around the intermediate axis that is stable over some Gyrs.

astro-ph.GA

Enhanced Relaxed Physical Factorization preconditioner for coupled poromechanics

The relaxed physical factorization (RPF) preconditioner is a recent algorithm allowing for the efficient and robust solution to the block linear systems arising from the three-field displacement-velocity-pressure formulation of coupled poromechanics. For its application, however, it is necessary to invert blocks with the algebraic form $\hat{C} = ( C + \beta F F^T)$, where $C$ is a symmetric positive definite matrix, $FF^T$ a rank-deficient term, and $\beta$ a real non-negative coefficient. The inversion of $\hat{C}$, performed in an inexact way, can become unstable for large values of $\beta$, as it usually occurs at some stages of a full poromechanical simulation. In this work, we propose a family of algebraic techniques to stabilize the inexact solve with $\hat{C}$. This strategy can prove useful in other problems as well where such an issue might arise, such as augmented Lagrangian preconditioning techniques for Navier-Stokes or incompressible elasticity. First, we introduce an iterative scheme obtained by a natural splitting of matrix $\hat{C}$. Second, we develop a technique based on the use of a proper projection operator annihilating the near-kernel modes of $\hat{C}$. Both approaches give rise to a novel class of preconditioners denoted as Enhanced RPF (ERPF). Effectiveness and robustness of the proposed algorithms are demonstrated in both theoretical benchmarks and real-world large-size applications, outperforming the native RPF preconditioner.

math.NA

Efficient solvers for hybridized three-field mixed finite element coupled poromechanics

We consider a mixed hybrid finite element formulation for coupled poromechanics. A stabilization strategy based on a macro-element approach is advanced to eliminate the spurious pressure modes appearing in undrained/incompressible conditions. The efficient solution of the stabilized mixed hybrid block system is addressed by developing a class of block triangular preconditioners based on a Schur-complement approximation strategy. Robustness, computational efficiency and scalability of the proposed approach are theoretically discussed and tested using challenging benchmark problems on massively parallel architectures.

math.NA

Ionized gas kinematics of massive elliptical galaxies in CALIFA and in cosmological zoom-in simulations

(Abridged) We present an investigation of kinematical imprints of AGN feedback on the Warm Ionized gas Medium (WIM) of massive early-type galaxies (ETGs). To this end, we take a two-fold approach that involves a comparative analysis of Halpha velocity fields in 123 local ETGs from the CALIFA integral field spectroscopy survey with 20 simulated galaxies from high-resolution hydrodynamic cosmological SPHgal simulations. The latter were re-simulated for two modeling setups, one with and another without AGN feedback. In order to quantify the effects of AGN feedback on gas kinematics we measure three parameters that probe deviations from simple regular rotation using the kinemetry package. These indicators trace the possible presence of distinct kinematic components in Fourier space (k3,5/k1), variations in the radial profile of the kinematic major axis (sigma_PA), and offsets between the stellar and gas velocity fields (Delta Phi). These quantities are monitored in the simulations from a redshift 3 to 0.2 to assess the connection between black hole accretion history, stellar mass growth and kinematical perturbation of the WIM. Observed local massive galaxies show a broad range of irregularities, indicating disturbed warm gas motions, irrespective of being classified via diagnostic lines as AGN or not. Simulations of massive galaxies with AGN feedback generally exhibit higher irregularity parameters than without AGN feedback, more consistent with observations. Besides AGN feedback, other processes like major merger events or infalling gas clouds can lead to elevated irregularity parameters, but they are typically of shorter duration. More specifically, k3,5/k1 is most sensitive to AGN feedback, whereas Delta Phi is most strongly affected by gas infall.

astro-ph.GA

The simultaneous formation of cored, tangentially biased, and kinematically decoupled centers in massive early-type galaxies

We study the impact of merging supermassive black holes (SMBHs) on the central regions of massive early-type galaxies (ETGs) using a series of merger simulations with varying mass ratios. The ETG models include realistic stellar and dark matter components and are evolved with the GADGET based regularized tree code KETJU. We show that observed key properties of the nuclear stellar populations of massive ETGs, namely flat stellar density distributions (cores), tangentially biased velocity distributions and kinematically decoupled (counter-)rotation can naturally result from a single process $-$ the scouring by SMBHs. Major mergers with mass ratios of $q>1/3$ produce flat, tangentially biased cores with kinematically distinct components. These features originate from spin reversals during the decay of the SMBH orbits caused by gravitational torques from tidally expelled nuclear material. Minor mergers ($q\lesssim1/3$) on the other hand, form non-rotating cores and the tidal reversal becomes less important. Low-density stellar cores scoured in (multiple) minor mergers are less tangentially biased. This implies that the nuclear stellar properties of massive ETGs can be solely explained by stellar dynamical processes during their final assembly without any need for `feedback' from accreting black holes. We predict a strong correlation between decoupled cores, central anisotropy and merger history: decoupled cores form in binary mergers and we predict them to occur in elliptical galaxies with the strongest central anisotropy. Measurements of the central orbital structure are the key to understanding the number of mergers a given galaxy has experienced.

astro-ph.GA

The impact of AGN on stellar kinematics and orbits in simulated massive galaxies

We present a series of 20 cosmological zoom simulations of the formation of massive galaxies with and without a model for AGN feedback. Differences in stellar population and kinematic properties are evaluated by constructing mock integral field unit (IFU) maps. The impact of the AGN is weak at high redshift when all systems are mostly fast-rotating and disc-like. After $z \sim 1$ the AGN simulations result in lower mass, older, less metal rich and slower rotating systems with less disky isophotes - in general agreement with observations. Two-dimensional kinematic maps of in-situ and accreted stars show that these differences result from reduced in-situ star formation due to AGN feedback. A full analysis of stellar orbits indicates that galaxies simulated with AGN are typically more triaxial and have higher fractions of x-tubes and box orbits and lower fractions of z-tubes. This trend can also be explained by reduced late in-situ star formation. We introduce a global parameter, $\xi_3$ , to characterise the anti-correlation between the third-order kinematic moment $h_3$ and the line-of-sight velocity ($v_{los}/{\sigma}$), and compare to ATLAS$^{3D}$ observations. The kinematic asymmetry parameter $\xi_3$ might be a useful diagnostic for large integral field surveys as it is a kinematic indicator for intrinsic shape and orbital content.

astro-ph.GA

The formation of extremely diffuse galaxy cores by merging supermassive black holes

Given its velocity dispersion, the early-type galaxy NGC 1600 has an unusually massive ($M_\bullet = 1.7 \times 10^{10} M_\odot$) central supermassive black hole (SMBH), surrounded by a large core ($r_\mathrm{b} = 0.7$ kpc) with a tangentially biased stellar distribution. We present high-resolution equal-mass merger simulations including SMBHs to study the formation of such systems. The structural parameters of the progenitor ellipticals were chosen to produce merger remnants resembling NGC 1600. We test initial stellar density slopes of $\rho \propto r^{-1}$ and $\rho \propto r^{-3/2}$ and vary the initial SMBH masses from $8.5 \times 10^8$ to $8.5 \times 10^9$ $M_\odot$. With increasing SMBH mass the merger remnants show a systematic decrease in central surface brightness, an increasing core size, and an increasingly tangentially biased central velocity anisotropy. Two-dimensional kinematic maps reveal decoupled, rotating core regions for the most massive SMBHs. The stellar cores form rapidly as the SMBHs become bound, while the velocity anisotropy develops more slowly after the SMBH binaries become hard. The simulated merger remnants follow distinct relations between the core radius and the sphere-of-influence, and the SMBH mass, similar to observed systems. We find a systematic change in the relations as a function of the progenitor density slope, and present a simple scouring model reproducing this behavior. Finally, we find the best agreement with NGC 1600 using SMBH masses totaling the observed value of $M_\bullet = 1.7 \times 10^{10} M_\odot$. In general, density slopes of $\rho \propto r^{-3/2}$ for the progenitor galaxies are strongly favored for the equal-mass merger scenario.

astro-ph.GA

Time Delay Lens Modeling Challenge: I. Experimental Design

Strong gravitational lenses with measured time delay are a powerful tool to measure cosmological parameters, especially the Hubble constant ($H_0$). Recent studies show that by combining just three multiply-imaged AGN systems, one can determine $H_0$ to 2.4% precision. Furthermore, the number of time-delay lens systems is growing rapidly, enabling the determination of $H_0$ to 1% precision in the near future. However, as the precision increases it is important to ensure that systematic errors and biases remain subdominant. For this purpose, challenges with simulated datasets are a key component in this process. Following the experience of the past challenge on time delay, where it was shown that time delays can indeed be measured precisely and accurately at the sub-percent level, we now present the "Time Delay Lens Modeling Challenge" (TDLMC). The goal of this challenge is to assess the present capabilities of lens modeling codes and assumptions and test the level of accuracy of inferred cosmological parameters given realistic mock datasets. We invite scientists to model a set of simulated HST observations of 50 mock lens systems. The systems are organized in rungs, with the complexity and realism increasing going up the ladder. The goal of the challenge is to infer $H_0$ for each rung, given the HST images, the time delay, and stellar velocity dispersion of the deflector for a fixed background cosmology. The TDLMC challenge starts with the mock data release on 2018 January 8th. The deadline for blind submission is different for each rung. The deadline for Rung 0-1 is 2018 September 8; the deadline for Rung 2 is 2019 April 8 and the one for Rung 3 is 2019 September 8. This first paper gives an overview of the challenge including the data design, and a set of metrics to quantify the modeling performance and challenge details.

astro-ph.CO

The fate of the Antennae galaxies

We present a high-resolution smoothed particle hydrodynamics simulation of the Antennae galaxies (NGC 4038/4039) and follow the evolution $3$ Gyrs beyond the final coalescence. The simulation includes metallicity dependent cooling, star formation, and both stellar feedback and chemical enrichment. The simulated best-match Antennae reproduces well both the observed morphology and the off-nuclear starburst. We also produce for the first time a simulated two-dimensional metallicity map of the Antennae and find good agreement with the observed metallicity of off-nuclear stellar clusters, however the nuclear metallicities are overproduced by $\sim 0.5$ dex. Using the radiative transfer code SKIRT we produce multi-wavelength observations of both the Antennae and the merger remnant. The $1$ Gyr old remnant is well fitted with a S\'ersic profile of $n=7.07$, and with an $r$-band effective radius of $r_{\mathrm{e}}= 1.6$ kpc and velocity dispersion of $\sigma_{\mathrm{e}}=180$ km$/$s the remnant is located on the fundamental plane of early-type galaxies (ETGs). The initially blue Antennae remnant evolves onto the red sequence after $\sim 2.5$ Gyr of secular evolution. The remnant would be classified as a fast rotator, as the specific angular momentum evolves from $\lambda_{\mathrm{Re}}\approx0.11$ to $\lambda_{\mathrm{Re}}\approx0.14$ during its evolution. The remnant shows ordered rotation and a double peaked maximum in the mean 2D line-of-sight velocity. These kinematical features are relatively common among local ETGs and we specifically identify three local ETGs (NGC 3226, NGC 3379 and NGC 4494) in the ATLAS$^\mathrm{3D}$ sample, whose photometric and kinematic properties most resemble the Antennae remnant.

astro-ph.GA

Dynamical masses and non-homology of massive elliptical galaxies grown by dry mergers

We study whether dry merger-driven size growth of massive elliptical galaxies depends on their initial structural concentration, and analyse the validity of the homology hypothesis for virial mass determination in massive ellipticals grown by dry mergers. High-resolution simulations of a few realistic merger trees, starting with compact progenitors of different structural concentrations (S\'ersic indices n), show that galaxy growth has little dependence on the initial S\'ersic index (larger n leads to slightly larger size growth), and depends more on other particulars of the merger history. We show that the deposition of accreted matter in the outer parts leads to a systematic and predictable breaking of the homology between remnants and progenitors, which we characterize through the evolution, during the course of the merger history, of virial coefficients K = GM/Re \sigma^2 associated to the most commonly-used dynamical and stellar mass parameters. The virial coefficient for the luminous mass, K , is about 50 per cent larger at the z = 2 start of the merger evolution than in z = 0 remnants. Ignoring virial evolution leads to biased virial mass estimates. We provide K corresponding to a variety of dynamical and stellar mass parameters, and provide recipes for the dynamical determination of galaxy masses. For massive, non-compact ellipticals, the popular expression M = 5 Re \sigma^2 / G underestimates the dynamical mass within the luminous body by factors of up to 4; it instead provides an approximation to the total stellar mass with smaller uncertainty than current stellar population models.

astro-ph.GA