-
Modelling parametric uncertainty in PDEs models via Physics-Informed Neural Networks
Authors:
Milad Panahi,
Giovanni Michele Porta,
Monica Riva,
Alberto Guadagnini
Abstract:
We provide an approach enabling one to employ physics-informed neural networks (PINNs) for uncertainty quantification. Our approach is applicable to systems where observations are scarce (or even lacking), these being typical situations associated with subsurface water bodies. Our novel physics-informed neural network under uncertainty (PINN-UU) integrates the space-time domain across which proces…
▽ More
We provide an approach enabling one to employ physics-informed neural networks (PINNs) for uncertainty quantification. Our approach is applicable to systems where observations are scarce (or even lacking), these being typical situations associated with subsurface water bodies. Our novel physics-informed neural network under uncertainty (PINN-UU) integrates the space-time domain across which processes take place and uncertain parameter spaces within a unique computational domain. PINN-UU is then trained to satisfy the relevant physical principles (e.g., mass conservation) in the defined input domain. We employ a stage training approach via transfer learning to accommodate high-dimensional solution spaces. We demonstrate the effectiveness of PINN-UU in a scenario associated with reactive transport in porous media, showcasing its reliability, efficiency, and applicability to sensitivity analysis. PINN-UU emerges as a promising tool for robust uncertainty quantification, with broad applicability to groundwater systems. As such, it can be considered as a valuable alternative to traditional methods such as multi-realization Monte Carlo simulations based on direct solvers or black-box surrogate models.
△ Less
Submitted 8 August, 2024;
originally announced August 2024.
-
HiPhom$\varepsilon$ -: HIgh order Projection-based HOMogenisation for advection diffusion reaction problems
Authors:
Giovanni Conni,
Stefano Piccardo,
Simona Perotto,
Giovanni Michele Porta,
Matteo Icardi
Abstract:
We propose a new model reduction technique for multiscale scalar transport problems that exhibit dominant axial dynamics. To this aim, we rely on the separation of variables to combine a Hierarchical Model (HiMod) reduction with a two-scale asymptotic expansion. We extend the two-scale asymptotic expansion to an arbitrary order and exploit the high-order correctors to define the HiMod modal basis,…
▽ More
We propose a new model reduction technique for multiscale scalar transport problems that exhibit dominant axial dynamics. To this aim, we rely on the separation of variables to combine a Hierarchical Model (HiMod) reduction with a two-scale asymptotic expansion. We extend the two-scale asymptotic expansion to an arbitrary order and exploit the high-order correctors to define the HiMod modal basis, which approximates the transverse dynamics of the flow, while we adopt a finite element discretisation to model the leading stream. The resulting method, which is named HiPhom$\varepsilon$ (HIgh-order Projection-based HOMogEnisation), is successfully assessed both in steady and unsteady advection-diffusion-reaction settings. The numerical results confirm the very good performance of HiPhom$\varepsilon$, which improves the accuracy and the convergence rate of HiMod and extends the reliability of the standard homogenised solution to transient and pre-asymptotic regimes.
△ Less
Submitted 17 November, 2023;
originally announced January 2024.
-
Vizing-type bounds for graphs with induced subgraph restrictions
Authors:
Elliot Krop,
Pritul Patel,
Gaspar Porta
Abstract:
For any graphs $G$ and $H$, we say that a bound is of Vizing-type if $γ(G\square H)\geq c γ(G)γ(H)$ for some constant $c$. We show several bounds of Vizing-type for graphs $G$ with forbidden induced subgraphs. In particular, if $G$ is a triangle and $K_{1,r}$-free graph, then for any graph $H$, $γ(G\square H)\geq \frac{r}{2r-1}γ(G)γ(H)$. If $G$ is a $K_r$ and $P_5$-free graph for some integer…
▽ More
For any graphs $G$ and $H$, we say that a bound is of Vizing-type if $γ(G\square H)\geq c γ(G)γ(H)$ for some constant $c$. We show several bounds of Vizing-type for graphs $G$ with forbidden induced subgraphs. In particular, if $G$ is a triangle and $K_{1,r}$-free graph, then for any graph $H$, $γ(G\square H)\geq \frac{r}{2r-1}γ(G)γ(H)$. If $G$ is a $K_r$ and $P_5$-free graph for some integer $r\geq 2$, then for any graph $H$, $γ(G\square H)\geq \frac{r-1}{2r-3}γ(G)γ(H)$. We do this by bounding the power of $G$, $π(G)$. We show that if $G$ is claw-free and $P_6$-free or $K_4$ and $P_5$-free, then for any graph $H$, $γ(G\square H)\geq γ(G)γ(H)$. Furthermore, we show Vizing-type bounds in terms of the diameter of $G$.
△ Less
Submitted 14 May, 2017;
originally announced May 2017.
-
Uncertainty Quantification of geochemical and mechanical compaction in layered sedimentary basins
Authors:
Ivo Colombo,
Fabio Nobile,
Giovanni Porta,
Anna Scotti,
Lorenzo Tamellini
Abstract:
In this work we propose an Uncertainty Quantification methodology for sedimentary basins evolution under mechanical and geochemical compaction processes, which we model as a coupled, time-dependent, non-linear, monodimensional (depth-only) system of PDEs with uncertain parameters. While in previous works (Formaggia et al. 2013, Porta et al., 2014) we assumed a simplified depositional history with…
▽ More
In this work we propose an Uncertainty Quantification methodology for sedimentary basins evolution under mechanical and geochemical compaction processes, which we model as a coupled, time-dependent, non-linear, monodimensional (depth-only) system of PDEs with uncertain parameters. While in previous works (Formaggia et al. 2013, Porta et al., 2014) we assumed a simplified depositional history with only one material, in this work we consider multi-layered basins, in which each layer is characterized by a different material, and hence by different properties. This setting requires several improvements with respect to our earlier works, both concerning the deterministic solver and the stochastic discretization. On the deterministic side, we replace the previous fixed-point iterative solver with a more efficient Newton solver at each step of the time-discretization. On the stochastic side, the multi-layered structure gives rise to discontinuities in the dependence of the state variables on the uncertain parameters, that need an appropriate treatment for surrogate modeling techniques, such as sparse grids, to be effective. We propose an innovative methodology to this end which relies on a change of coordinate system to align the discontinuities of the target function within the random parameter space. The reference coordinate system is built upon exploiting physical features of the problem at hand. We employ the locations of material interfaces, which display a smooth dependence on the random parameters and are therefore amenable to sparse grid polynomial approximations. We showcase the capabilities of our numerical methodologies through two synthetic test cases. In particular, we show that our methodology reproduces with high accuracy multi-modal probability density functions displayed by target state variables (e.g., porosity).
△ Less
Submitted 25 July, 2017; v1 submitted 10 March, 2017;
originally announced March 2017.
-
Upper bounds on the magnitude of solutions of certain linear systems with integer coefficients
Authors:
Pedro J. Freitas,
Shmuel Friedland,
Gaspar Porta
Abstract:
In this paper we consider a linear homogeneous system of $m$ equations in $n$ unknowns with integer coefficients over the reals.
Assume that the sum of the absolute values of the coefficients of each equation does not exceed $k+1$ for some positive integer
$k$. We show that if the system has a nontrivial solution then there exists a nontrivial solution $\x=(x_1,...,x_n)\trans$ such that…
▽ More
In this paper we consider a linear homogeneous system of $m$ equations in $n$ unknowns with integer coefficients over the reals.
Assume that the sum of the absolute values of the coefficients of each equation does not exceed $k+1$ for some positive integer
$k$. We show that if the system has a nontrivial solution then there exists a nontrivial solution $\x=(x_1,...,x_n)\trans$ such that $\frac{|x_j|}{|x_i|}\le k^{n-1}$ for each $i,j$ satisfying $x_ix_j\ne 0$. This inequality is sharp.
We also prove a conjecture of A. Tyszka related to our results.
△ Less
Submitted 3 May, 2012; v1 submitted 19 August, 2011;
originally announced August 2011.
