SearcharxivSearch

arXiv subjects

Alessio Fumagalli

Publications and source records attributed to Alessio Fumagalli.

At least 19 recordsLinked to original sources

Model reduction of parametric ordinary differential equations via autoencoders: representation properties and convergence analysis

We propose a reduced-order modeling approach for nonlinear, parameter-dependent ordinary differential equations (ODE). Dimensionality reduction is achieved using nonlinear maps represented by autoencoders. The resulting low-dimensional ODE is then solved using standard integration in time schemes, and the high-dimensional solution is reconstructed from the low-dimensional one. We investigate the architecture of neural networks for constructing effective autoencoders that hold necessary properties to reconstruct the input manifold with exact representation capabilities. We study the convergence of the reduced-order model to the high-fidelity one. Numerical experiments show the robustness and accuracy of our approach in different scenarios, highlighting its effectiveness in highly complex and nonlinear settings without sacrificing accuracy. Moreover, we examine how the reduction influences the stability properties of the reconstructed high-dimensional solution.

math.NA

Elimination-compensation pruning for fully-connected neural networks

The unmatched ability of Deep Neural Networks in capturing complex patterns in large and noisy datasets is often associated with their large hypothesis space, and consequently to the vast amount of parameters that characterize model architectures. Pruning techniques affirmed themselves as valid tools to extract sparse representations of neural networks parameters, carefully balancing between compression and preservation of information. However, a fundamental assumption behind pruning is that expendable weights should have small impact on the error of the network, while highly important weights should tend to have a larger influence on the inference. We argue that this idea could be generalized; what if a weight is not simply removed but also compensated with a perturbation of the adjacent bias, which does not contribute to the network sparsity? Our work introduces a novel pruning method in which the importance measure of each weight is computed considering the output behavior after an optimal perturbation of its adjacent bias, efficiently computable by automatic differentiation. These perturbations can be then applied directly after the removal of each weight, independently of each other. After deriving analytical expressions for the aforementioned quantities, numerical experiments are conducted to benchmark this technique against some of the most popular pruning strategies, demonstrating an intrinsic efficiency of the proposed approach in very diverse machine learning scenarios. Finally, our findings are discussed and the theoretical implications of our results are presented.

cs.LG

Multipoint stress mixed finite element methods for the linear Cosserat equations

We propose mixed finite element methods for Cosserat materials that use suitable quadrature rules to eliminate the Cauchy and coupled stress variables locally. The reduced system consists of only the displacement and rotation variables. Four variants are proposed for which we show stability and convergence using a priori estimates. Numerical experiments verify the theoretical findings and higher order convergence is observed in some variables.

math.NA

Emergence of Structure in Ensembles of Random Neural Networks

Randomness is ubiquitous in many applications across data science and machine learning. Remarkably, systems composed of random components often display emergent global behaviors that appear deterministic, manifesting a transition from microscopic disorder to macroscopic organization. In this work, we introduce a theoretical model for studying the emergence of collective behaviors in ensembles of random classifiers. We argue that, if the ensemble is weighted through the Gibbs measure defined by adopting the classification loss as an energy, then there exists a finite temperature parameter for the distribution such that the classification is optimal, with respect to the loss (or the energy). Interestingly, for the case in which samples are generated by a Gaussian distribution and labels are constructed by employing a teacher perceptron, we analytically prove and numerically confirm that such optimal temperature does not depend neither on the teacher classifier (which is, by construction of the learning problem, unknown), nor on the number of random classifiers, highlighting the universal nature of the observed behavior. Experiments on the MNIST dataset underline the relevance of this phenomenon in high-quality, noiseless, datasets. Finally, a physical analogy allows us to shed light on the self-organizing nature of the studied phenomenon.

cs.LG

Neural network solvers for parametrized elasticity problems that conserve linear and angular momentum

We consider a mixed formulation of parametrized elasticity problems in terms of stress, displacement, and rotation. The latter two variables act as Lagrange multipliers to enforce conservation of linear and angular momentum. Due to the saddle-point structure, the resulting system is computationally demanding to solve directly, and we therefore propose an efficient solution strategy based on a decomposition of the stress variable. First, a triangular system is solved to obtain a stress field that balances the body and boundary forces. Second, a trained neural network is employed to provide a correction without affecting the conservation equations. The displacement and rotation can be obtained by post-processing, if necessary. The potential of the approach is highlighted by three numerical test cases, including a non-linear model.

math.NA

Sensitivity analysis with a 3D mixed-dimensional code for DC geoelectrical investigations of landfills: synthetic tests

Electrical resistivity tomography is a suitable technique for non-invasive monitoring of municipal solid waste landfills, but accurate sensitivity analysis is necessary to evaluate the effectiveness and reliability of geoelectrical investigations and to properly design data acquisition. Commonly, a thin high-resistivity membrane in placed underneath the waste to prevent leachate leakage. In the construction of a numerical framework for sensitivity computation, taking into account the actual dimensions of the electrodes and, in particular, of the membrane, can lead to extremely high computational costs. In this work, we present a novel approach for numerically computing sensitivity effectively by adopting a mixed-dimensional framework, where the membrane is approximated as a 2D object and the electrodes as 1D objects. The code is first validated against analytical expressions for simple 4-electrode arrays and a homogeneous medium. It is then tested in simplified landfill models, where a 2D box-shaped liner separates the landfill body from the surrounding media, and 48 electrodes are used. The results show that electrodes arranged linearly along both sides of the perimeter edges of the box-shaped liner are promising for detecting liner damage, with sensitivity increasing by 2-3 orders of magnitude, even for damage as small as one-sixth of the electrode spacing in diameter. Good results are also obtained when simulating an electrical connection between the landfill and the surrounding media that is not due to liner damage. The next steps involve evaluating the minimum number of configurations needed to achieve suitable sensitivity with a manageable field effort and validating the modeling results with downscaled laboratory tests.

math.NA

Free convection in fractured porous media: a numerical study

The objective of this study is to better understand the influence of fractures on the possibility of free convection in porous media. To this aim, we introduce a mathematical model for density driven flow in the presence of fractures, and the corresponding numerical approximation. In addition to the direct numerical solution of the problem we propose and implement a novel method for the assessment of convective stability through the eigenvalue analysis of the linearized numerical problem. The new method is shown to be in agreement with existing literature cases both in simple and complex fracture configurations. With respect to direct simulation in time, the results of the eigenvalue method lack information about the strength of convection and the steady state solution, they however provide detailed (quantitative) information about the behavior of the solution near the initial equilibrium condition. Furthermore, not having to solve a time-dependent problem makes the method computationally very efficient. Finally, the question of how the porous matrix interacts with the fracture network to enable free convection is examined: the porous matrix is shown to be of key importance in enabling convection for complex fracture networks, making stability criteria based on the fracture network alone somewhat limited in applicability.

math.NA

Predicting nonlinear-flow regions in highly heterogeneous porous media using adaptive constitutive laws and neural networks

In a porous medium featuring heterogeneous permeabilities, a wide range of fluid velocities may be recorded, so that significant inertial and frictional effects may arise in high-speed regions. In such parts, the link between pressure gradient and velocity is typically made via Darcy's law, which may fail to account for these effects; instead, the Darcy Forchheimer law, which introduces a nonlinear term, may be more adequate. Applying the Darcy Forchheimer law globally in the domain is very costly numerically and, rather, should only be done where strictly necessary. The question of finding a prori the subdomain where to restrict the use of the Darcy Forchheimer law was recently answered in FP23 by using an adaptive model: given a threshold on the flow velocity, the model locally selects the more appropriate law as it is being solved. At the end of the resolution, each mesh cell is flagged as being in the Darcy or Darcy Forchheimer subdomain. Still, this model is nonlinear itself and thus relatively expensive to run. In this paper, to accelerate the subdivision of the domain into low and high speed regions, we instead exploit the adaptive model from FP23 to generate partitioning data given an array of different input parameters, such as boundary conditions and inertial coefficients, and then train neural networks on these data classifying each mesh cell as Darcy or not. Two test cases are studied to illustrate the results, where cost functions, parity plots, precision-recall plots and receiver operating characteristic curves are analyzed.

math.NA

Two Nitsche-based mixed finite element discretizations for the seepage problem in Richards' equation

This paper proposes two algorithms to impose seepage boundary conditions in the context of Richards' equation for groundwater flows in unsaturated media. Seepage conditions are non-linear boundary conditions, that can be formulated as a set of unilateral constraints on both the pressure head and the water flux at the ground surface, together with a complementarity condition: these conditions in practice require switching between Neumann and Dirichlet boundary conditions on unknown portions on the boundary. Upon realizing the similarities of these conditions with unilateral contact problems in mechanics, we take inspiration from that literature to propose two approaches: the first method relies on a strongly consistent penalization term, whereas the second one is obtained by an hybridization approach, in which the value of the pressure on the surface is treated as a separate set of unknowns. The flow problem is discretized in mixed form with div-conforming elements so that the water mass is preserved. Numerical experiments show the validity of the proposed strategy in handling the seepage boundary conditions on geometries with increasing complexity.

math.NA

A hybrid upwind scheme for two-phase flow in fractured porous media

Simulating the flow of two fluid phases in porous media is a challenging task, especially when fractures are included in the simulation. Fractures may have highly heterogeneous properties compared to the surrounding rock matrix, significantly affecting fluid flow, and at the same time hydraulic aperture that are much smaller than any other characteristic sizes in the domain. Generally, flow simulators face difficulties with counter-current flow, generated by gravity and pressure gradients, which hinders the convergence of non-linear solvers (Newton). In this work, we model the fracture geometry with a mixed-dimensional discrete fracture network, thus lightening the computational burden associated to an equi-dimensional representation. We address the issue of counter-current flows with appropriate spatial discretization of the advective fluid fluxes, with the aim of improving the convergence speed of the non-linear solver. In particular, the extension of the hybrid upwinding to the mixed-dimensional framework, with the use of a phase potential upstreaming at the interfaces of subdomains. We test the method across several cases with different flow regimes and fracture network geometry. Results show robustness of the chosen discretization and a consistent improvements, in terms of Newton iterations, compared to use the phase potential upstreaming everywhere.

math.NA

Numerical validation of an adaptive model for the determination of nonlinear-flow regions in highly heterogeneous porous media

An adaptive model for the description of flows in highly heterogeneous porous media is developed in~\cite{FP21,FP23}. There, depending on the magnitude of the fluid's velocity, the constitutive law linking velocity and pressure gradient is selected between two possible options, one better adapted to slow motion and the other to fast motion. We propose here to validate further this adaptive approach by means of more extensive numerical experiments, including a three-dimensional case, as well as to use such approach to determine a partition of the domain into slow- and fast-flow regions.

math.NA

Application of Deep Learning Reduced-Order Modeling for Single-Phase Flow in Faulted Porous Media

We apply reduced-order modeling (ROM) techniques to single-phase flow in faulted porous media, accounting for changing rock properties and fault geometry variations using a radial basis function mesh deformation method. This approach benefits from a mixed-dimensional framework that effectively manages the resulting non-conforming mesh. To streamline complex and repetitive calculations such as sensitivity analysis and solution of inverse problems, we utilize the Deep Learning Reduced Order Model (DL-ROM). This non-intrusive neural network-based technique is evaluated against the traditional Proper Orthogonal Decomposition (POD) method across various scenarios, demonstrating DL-ROM's capacity to expedite complex analyses with promising accuracy and efficiency.

math.NA

Deep learning based reduced order modeling of Darcy flow systems with local mass conservation

We propose a new reduced order modeling strategy for tackling parametrized Partial Differential Equations (PDEs) with linear constraints, in particular Darcy flow systems in which the constraint is given by mass conservation. Our approach employs classical neural network architectures and supervised learning, but it is constructed in such a way that the resulting Reduced Order Model (ROM) is guaranteed to satisfy the linear constraints exactly. The procedure is based on a splitting of the PDE solution into a particular solution satisfying the constraint and a homogenous solution. The homogeneous solution is approximated by mapping a suitable potential function, generated by a neural network model, onto the kernel of the constraint operator; for the particular solution, instead, we propose an efficient spanning tree algorithm. Starting from this paradigm, we present three approaches that follow this methodology, obtained by exploring different choices of the potential spaces: from empirical ones, derived via Proper Orthogonal Decomposition (POD), to more abstract ones based on differential complexes. All proposed approaches combine computational efficiency with rigorous mathematical interpretation, thus guaranteeing the explainability of the model outputs. To demonstrate the efficacy of the proposed strategies and to emphasize their advantages over vanilla black-box approaches, we present a series of numerical experiments on fluid flows in porous media, ranging from mixed-dimensional problems to nonlinear systems. This research lays the foundation for further exploration and development in the realm of model order reduction, potentially unlocking new capabilities and solutions in computational geosciences and beyond.

math.NA

A mixed-dimensional model for direct current simulations in presence of a thin high-resistivity liner

In this work we present a mixed-dimensional mathematical model to obtain the electric potential and current density in direct current simulations when a thin liner is included in the modelled domain. The liner is used in landfill management to prevent leakage of leachate from the waste body into the underground and is made of a highly-impermeable high-resistivity plastic material. The electrodes and the liner have diameters and thickness respectively that are much smaller than their other dimensions, thus their numerical simulation might be too costly in an equi-dimensional setting. Our approach is to approximate them as objects of lower dimension and derive the corresponding equations. The obtained mixed-dimensional model is validated against laboratory experiments of increasing complexity showing the reliability of the proposed mathematical model.

math.NA

Mixed and multipoint finite element methods for rotation-based poroelasticity

This work proposes a mixed finite element method for the Biot poroelasticity equations that employs the lowest-order Raviart-Thomas finite element space for the solid displacement and piecewise constants for the fluid pressure. The method is based on the formulation of linearized elasticity as a weighted vector Laplace problem. By introducing the solid rotation and fluid flux as auxiliary variables, we form a four-field formulation of the Biot system, which is discretized using conforming mixed finite element spaces. The auxiliary variables are subsequently removed from the system in a local hybridization technique to obtain a multipoint rotation-flux mixed finite element method. Stability and convergence of the four-field and multipoint mixed finite element methods are shown in terms of weighted norms, which additionally leads to parameter-robust preconditioners. Numerical experiments confirm the theoretical results.

math.NA

Mixed Virtual Element approximation of linear acoustic wave equation

We design a Mixed Virtual Element Method for the approximated solution to the first-order form of the acoustic wave equation. In absence of external load, the semi-discrete method exactly conserves the system energy. To integrate in time the semi-discrete problem we consider a classical theta-method scheme. We carry out the stability and convergence analysis in the energy norm for the semi-discrete problem showing optimal rate of convergence with respect to the mesh size. We further study the property of energy conservation for the fully-discrete system. Finally, we present some verification tests as well as engineering application of the method.

math.NA

A multipoint vorticity mixed finite element method for incompressible Stokes flow

We propose a mixed finite element method for Stokes flow with one degree of freedom per element and facet of simplicial grids. The method is derived by considering the vorticity-velocity-pressure formulation and eliminating the vorticity locally through the use of a quadrature rule. The discrete solution is pointwise divergence-free and the method is pressure robust. The theoretically derived convergence rates are confirmed by numerical experiments.

math.NA

Uncertainty quantification for mineral precipitation and dissolution in fractured porous media

In this work, we present an uncertainty quantification analysis to determine the influence and importance of some physical parameters in a reactive transport model in fractured porous media. An accurate description of flow and transport in the fractures is key to obtain reliable simulations, however, fractures geometry and physical characteristics pose several challenges from both the modeling and implementation side. We adopt a mixed-dimensional approximation, where fractures and their intersections are represented as objects of lower dimension. To simplify the presentation, we consider only two chemical species: one solute, transported by water, and one precipitate attached to the solid skeleton. A global sensitivity analysis to uncertain input data is performed exploiting the Polynomial Chaos expansion along with spectral projection methods on sparse grids.

math.NA