-
Registration-based model reduction of parameterized PDEs with spatio-parameter adaptivity
Authors:
Nicolas Barral,
Tommaso Taddei,
Ishak Tifouti
Abstract:
We propose an automated nonlinear model reduction and mesh adaptation framework for rapid and reliable solution of parameterized advection-dominated problems, with emphasis on compressible flows. The key features of our approach are threefold: (i) a metric-based mesh adaptation technique to generate an accurate mesh for a range of parameters, (ii) a general (i.e., independent of the underlying equ…
▽ More
We propose an automated nonlinear model reduction and mesh adaptation framework for rapid and reliable solution of parameterized advection-dominated problems, with emphasis on compressible flows. The key features of our approach are threefold: (i) a metric-based mesh adaptation technique to generate an accurate mesh for a range of parameters, (ii) a general (i.e., independent of the underlying equations) registration procedure for the computation of a map** $Φ$ that tracks moving features of the solution field, and (iii) an hyper-reduced least-square Petrov-Galerkin reduced-order model for the rapid and reliable estimation of the mapped solution. We discuss a general paradigm -- which mimics the refinement loop considered in mesh adaptation -- to simultaneously construct the high-fidelity and the reduced-order approximations, and we discuss actionable strategies to accelerate the offline phase. We present extensive numerical investigations for a quasi-1D nozzle problem and for a two-dimensional inviscid flow past a Gaussian bump to display the many features of the methodology and to assess the performance for problems with discontinuous solutions.
△ Less
Submitted 3 August, 2023;
originally announced August 2023.
-
Formally regular rings and descent of regularity
Authors:
Samuel Alvite,
Nerea G. Barral,
Javier Majadas
Abstract:
Valuation rings and perfectoid rings are examples of (usually non-noetherian) rings that behave in some sense like regular rings. We give and study an extension of the concept of regular local rings to non-noetherian rings so that it includes valuation and perfectoid rings and it is related to Grothendieck's definition of formal smoothness as in the noetherian case. For that, we have to take into…
▽ More
Valuation rings and perfectoid rings are examples of (usually non-noetherian) rings that behave in some sense like regular rings. We give and study an extension of the concept of regular local rings to non-noetherian rings so that it includes valuation and perfectoid rings and it is related to Grothendieck's definition of formal smoothness as in the noetherian case. For that, we have to take into account the topologies. We prove a descent theorem for regularity along flat homomorphisms (in fact for homomorphisms of finite flat dimension), extending some known results from the noetherian to the non-noetherian case, as well as generalizing some recent results in the non-noetherian case, such as the descent of regularity from perfectoid rings by B. Bhatt, S. Iyengar and L. Ma.
△ Less
Submitted 25 September, 2022; v1 submitted 10 July, 2022;
originally announced July 2022.
-
On a theorem of Gulliksen on the homology of local rings
Authors:
Samuel Alvite,
Nerea G. Barral,
Javier Majadas
Abstract:
We show that a modification of the proof of a result of Gulliksen gives an elementary proof of the following important theorem by Avramov: if $(A,k) \to (B,l)$ is a homomorphism of noetherian local rings and $B$ is of finite flat dimension over $A$, then the homomorphism induced in André-Quillen homology modules $H_2(A,l,l)\to H_2(B,l,l)$ is injective.
We show that a modification of the proof of a result of Gulliksen gives an elementary proof of the following important theorem by Avramov: if $(A,k) \to (B,l)$ is a homomorphism of noetherian local rings and $B$ is of finite flat dimension over $A$, then the homomorphism induced in André-Quillen homology modules $H_2(A,l,l)\to H_2(B,l,l)$ is injective.
△ Less
Submitted 5 July, 2022;
originally announced July 2022.
-
Parallel Metric-Based Mesh Adaptation in PETSc using ParMmg
Authors:
Joseph G. Wallwork,
Matthew G. Knepley,
Nicolas Barral,
Matthew D. Piggott
Abstract:
This research note documents the integration of the MPI-parallel metric-based mesh adaptation toolkit ParMmg into the solver library PETSc. This coupling brings robust, scalable anisotropic mesh adaptation to a wide community of PETSc users, as well as users of downstream packages. We demonstrate the new functionality via the solution of Poisson problems in three dimensions, with both uniform and…
▽ More
This research note documents the integration of the MPI-parallel metric-based mesh adaptation toolkit ParMmg into the solver library PETSc. This coupling brings robust, scalable anisotropic mesh adaptation to a wide community of PETSc users, as well as users of downstream packages. We demonstrate the new functionality via the solution of Poisson problems in three dimensions, with both uniform and spatially-varying right-hand sides.
△ Less
Submitted 27 July, 2022; v1 submitted 8 January, 2022;
originally announced January 2022.
-
Anisotropic mesh adaptation in Firedrake with PETSc DMPlex
Authors:
Nicolas Barral,
Matthew G. Knepley,
Michael Lange,
Matthew D. Piggott,
Gerard J. Gorman
Abstract:
Despite decades of research in this area, mesh adaptation capabilities are still rarely found in numerical simulation software. We postulate that the primary reason for this is lack of usability. Integrating mesh adaptation into existing software is difficult as non-trivial operators, such as error metrics and interpolation operators, are required, and integrating available adaptive remeshers is n…
▽ More
Despite decades of research in this area, mesh adaptation capabilities are still rarely found in numerical simulation software. We postulate that the primary reason for this is lack of usability. Integrating mesh adaptation into existing software is difficult as non-trivial operators, such as error metrics and interpolation operators, are required, and integrating available adaptive remeshers is not straightforward. Our approach presented here is to first integrate Pragmatic, an anisotropic mesh adaptation library, into DMPlex, a PETSc object that manages unstructured meshes and their interactions with PETSc's solvers and I/O routines. As PETSc is already widely used, this will make anisotropic mesh adaptation available to a much larger community. As a demonstration of this we describe the integration of anisotropic mesh adaptation into Firedrake, an automated Finite Element based system for the portable solution of partial differential equations which already uses PETSc solvers and I/O via DMPlex. We present a proof of concept of this integration with a three-dimensional advection test case.
△ Less
Submitted 31 October, 2016;
originally announced October 2016.