arXiv subjects

Matteo Semplice

Publications and source records attributed to Matteo Semplice.

At least 19 recordsLinked to original sources

arXiv2026

A complete simulation framework for stone degradation on 3D real geometries

We present a complete workflow for predicting stone degradation phenomena, such as marble sulfation, in works of art. The main challenge is to accurately acquire the geometry of the artwork and then use it to perform simulations based on a mathematical model of the degradation process, typically formulated as a system of partial differential equations (PDEs). To address this, we generate a point cloud of the object surface using photogrammetric techniques and subsequently post-process it to obtain a level-set description of the three-dimensional geometry. This representation is then incorporated into the numerical discretization of the PDE system. Combined with suitable time-stepping and preconditioning strategies, the resulting framework enables the prediction of degradation evolution, such as the growth of gypsum crust thickness on marble, under different scenarios.

cs.CE↗

arXiv2026

Dissolution of carbonate stones caused by CO2 pollutant: an erosion model

In this paper we introduce a new mathematical model describing the erosion process caused in carbonate stones by the dissolution of the porous matrix due to the penetration of carbonic acid present in the environment. Such model is formulated as nonlinear reaction-transport system in porous media governed by Darcy flow. We propose a numerical algorithm based on finite difference approximation that relies on level-set method at the boundaries and we show numerical tests that are in accordance with the literature in terms of the advancement of the erosion front.

math.NA↗

arXiv2026

Multi-dimensional third-order time-implicit scheme for conservation laws

When dealing with stiff conservation laws, explicit time integration forces to employ very small time steps, due to the restrictive CFL stability condition. Implicit methods offer an alternative, yielding the possibility to choose the time step according to accuracy constraints. However, the construction of high-order implicit methods is difficult, mainly because of the non-linearity of the space and time limiting procedures required to control spurious oscillations. The Quinpi approach addresses this problem by introducing a first-order implicit predictor, which is employed in both space and time limiting. The scheme has been proposed in (Puppo et al., Comm. Comput. Phys., 2024) for systems of conservation laws in one dimension. In this work the multi-dimensional extension is presented. Similarly to the one-dimensional case, the scheme combines a third-order Central WENO-Z reconstruction in space with a third-order Diagonally Implicit Runge-Kutta (DIRK) method for time integration, and a low order predictor to ease the computation of the Runge-Kutta stages. Even applying space-limiting, spurious oscillations may still appear in implicit integration, especially for large time steps. For this reason, a time-limiting procedure inspired by the MOOD technique and based on numerical entropy production together with a cascade of schemes of decreasing order is applied. The scheme is tested on the Euler equations of gasdynamics also in low Mach regimes. The numerical tests are performed on both structured and unstructured meshes.

math.NA↗

arXiv2025

Implicit reconstruction from point cloud: an adaptive level-set-based semi-Lagrangian method

We propose a level-set-based semi-Lagrangian method on graded adaptive Cartesian grids to address the problem of surface reconstruction from point clouds. The goal is to obtain an implicit, high-quality representation of real shapes that can subsequently serve as computational domain for partial differential equation models. The mathematical formulation is variational, incorporating a curvature constraint that minimizes the surface area while being weighted by the distance of the reconstructed surface from the input point cloud. Within the level set framework, this problem is reformulated as an advection-diffusion equation, which we solve using a semi-Lagrangian scheme coupled with a local high-order interpolator. Building on the features of the level set and semi-Lagrangian method, we use quadtree and octree data structures to represent the grid and generate a mesh with the finest resolution near the zero level set, i.e., the reconstructed surface interface. The complete surface reconstruction workflow is described, including localization and reinitialization techniques, as well as strategies to handle complex and evolving topologies. A broad set of numerical tests in two and three dimensions is presented to assess the effectiveness of the method.

math.NA↗

arXiv2025

SCOUT: Semi-Lagrangian COnservative and Unconditionally sTable schemes for nonlinear advection-diffusion problems

In this work, we propose a new semi-Lagrangian (SL) finite difference scheme for nonlinear advection-diffusion problems. To ensure conservation, which is fundamental for achieving physically consistent solutions, the governing equations are integrated over a space-time control volume constructed along the characteristic curves originating from each computational point. By applying Gauss theorem, all space-time surface integrals can be evaluated. For nonlinear problems, a nonlinear equation must be solved to find the foot of the characteristic, while this is not needed in linear cases. This formulation yields SL schemes that are fully conservative and unconditionally stable, as verified by numerical experiments with CFL numbers up to 100. Moreover, the diffusion terms are, for the first time, directly incorporated within a conservative semi-Lagrangian framework, leading to the development of a novel characteristic-based Crank-Nicolson discretization in which the diffusion contribution is implicitly evaluated at the foot of the characteristic. A broad set of benchmark tests demonstrates the accuracy, robustness, and strict conservation property of the proposed method, as well as its unconditional stability.

math.NA↗

arXiv2025

Numerical entropy production in finite volume $P_0P_M$ ADER schemes

We consider the numerical integration of conservation laws endowed with an entropy inequality and we study the residual of the scheme on this inequality, which represents the numerical entropy production. This idea has been introduced and exploited in Runge-Kutta finite volume methods, where the numerical entropy production has been used as an indicator in adaptive schemes, since it scales as the local truncation error of the method for smooth solutions and it highlights the presence of discontinuities and their kind. The aim of this work is to extend this idea to finite volume $P_0P_M$ ADER timestepping techniques. We show that the numerical entropy production can be defined also in this context and it provides a scalar quantity computable for each space-time volume which, under grid refinement, decays to zero with the same rate of convergence of the scheme for smooth solutions. Its size gradually increases when the local solution regularity lowers, remaining bounded up to contact discontinuities and divergent on shock waves. Theoretical results are proven in a multi-dimensional setting on arbitrary polygonal grids. We also present numerical evidence showing that it is essentially negative definite. Moreover, we propose an example of $p$-adaptive scheme that uses the numerical entropy production as a-posteriori smoothness indicator. The scheme locally modifies its order of convergence with the purpose of removing the oscillations due to the high-order of accuracy of the scheme.

math.NA↗

arXiv2024

Surface reconstruction from point cloud using a semi-Lagrangian scheme with local interpolator

We propose a level set method to reconstruct unknown surfaces from point clouds, without assuming that the connections between points are known. We consider a variational formulation with a curvature constraint that minimizes the surface area weighted by the distance of the surface from the point cloud. More precisely we solve an equivalent advection-diffusion equation that governs the evolution of an initial surface described implicitly by a level set function. Among all the possible representations, we aim to compute the signed distance function at least in the vicinity of the reconstructed surface. The numerical method for the approximation of the solution is based on a semi-Lagrangian scheme whose main novelty consists in its coupling with a local interpolator instead of a global one, with the aim of saving computational costs. In particular, we resort to a multi-linear interpolator and to a Weighted Essentially Non-oscillatory one, to improve the accuracy of the reconstruction. Special attention has been paid to the localization of the method and to the development of fast algorithms that run in parallel, resulting in faster reconstruction and thus the opportunity to easily improve the resolution. A preprocessing of the point cloud data is also proposed to set the parameters of the method. Numerical tests in two and three dimensions are presented to evaluate the quality of the approximated solution and the efficiency of the algorithm in terms of computational time.

math.NA↗

arXiv2023

The numerical linear algebra of weights: from the spectral analysis to conditioning and preconditioning in the Laplacian case

Weights are geometrical degrees of freedom that allow to generalise Lagrangian finite elements. They are defined through integrals over specific supports, well understood in terms of differential forms and integration, and lie within the framework of finite element exterior calculus. In this work we exploit this formalism with the target of identifying supports that are appealing for finite element approximation. To do so, we study the related parametric matrix-sequences, with the matrix order tending to infinity as the mesh size tends to zero. We describe the conditioning and the spectral global behavior in terms of the standard Toeplitz machinery and GLT theory, leading to the identification of the optimal choices for weights. Moreover, we propose and test ad hoc preconditioners, in dependence of the discretization parameters and in connection with conjugate gradient method. The model problem we consider is a onedimensional Laplacian, both with constant and non constant coefficients. Numerical visualizations and experimental tests are reported and critically discussed, demonstrating the advantages of weights-induced bases over standard Lagrangian ones. Open problems and future steps are listed in the conclusive section, especially regarding the multidimensional case.

math.NA↗

arXiv2023

Quinpi: Integrating stiff hyperbolic systems with implicit high order finite volume schemes

Many interesting physical problems described by systems of hyperbolic conservation laws are stiff, and thus impose a very small time-step because of the restrictive CFL stability condition. In this case, one can exploit the superior stability properties of implicit time integration which allows to choose the time-step only from accuracy requirements, and thus avoid the use of small time-steps. We discuss an efficient framework to devise high order implicit schemes for stiff hyperbolic systems without tailoring it to a specific problem. The nonlinearity of high order schemes, due to space- and time-limiting procedures which control nonphysical oscillations, makes the implicit time integration difficult, e.g.~because the discrete system is nonlinear also on linear problems. This nonlinearity of the scheme is circumvented as proposed in (Puppo et al., Comm.~Appl.~Math.~\& Comput., 2023) for scalar conservation laws, where a first order implicit predictor is computed to freeze the nonlinear coefficients of the essentially non-oscillatory space reconstruction, and also to assist limiting in time. In addition, we propose a novel conservative flux-centered a-posteriori time-limiting procedure using numerical entropy indicators to detect troubled cells. The numerical tests involve classical and artificially devised stiff problems using the Euler's system of gas-dynamics.

math.NA↗

arXiv2022

A ghost-point smoothing strategy for geometric multigrid on curved boundaries

We present a Boundary Local Fourier Analysis (BLFA) to optimize the relaxation parameters of boundary conditions in a multigrid framework. The method is implemented to solve elliptic equations on curved domains embedded in a uniform Cartesian mesh, although it is designed to be extended for general PDEs in curved domains, wherever a multigrid technique can be implemented. The boundary is implicitly defined by a level-set function and a ghost-point technique is employed to treat the boundary conditions. Existing strategies in literature adopt a constant relaxation parameter on the whole boundary. In this paper, the relaxation parameters are optimized in terms of the distance between ghost points and boundary, with the goal of smoothing the residual along the tangential direction. Theoretical results are confirmed by several numerical tests in 1D, 2D and 3D, showing that the convergence factor associated with the smoothing on internal equations is not degraded by boundary effects.

math.NA↗

arXiv2021

A matrix-theoretic spectral analysis of incompressible Navier-Stokes staggered DG approximation and related solvers

The incompressible Navier-Stokes equations are solved in a channel, using a Discontinuous Galerkin method over staggered grids. The resulting linear systems are studied both in terms of the structure and in terms of the spectral features of the related coefficient matrices. In fact, the resulting matrices are of block type, each block showing Toeplitz-like, band, and tensor structure at the same time. Using this rich matrix-theoretic information and the Toeplitz, Generalized Locally Toeplitz technology, a quite complete spectral analysis is presented, with the target of designing and analyzing fast iterative solvers for the associated large linear systems. Quite promising numerical results are presented, commented, and critically discussed for elongated two- and three-dimensional geometries.

math.NA↗

arXiv2019

Efficient implementation of adaptive order reconstructions

Including polynomials with small degree and stencil when designing very high order reconstructions is surely beneficial for their non oscillatory properties, but may bring loss of accuracy on smooth data unless special care is exerted. In this paper we address this issue with a new Central WENOZ (CWENOZ) approach, in which the reconstruction polynomial is computed from a single set of non linear weights, but the linear weights of the polynomials with very low degree (compared to the final desired accuracy) are infinitesimal with respect to the grid size. After proving general results that guide the choice of the CWENOZ parameters, we study a concrete example of a reconstruction that blends polynomials of degree six, four and two, mimicking already published Adaptive Order WENO reconstructions [Balsara, Garain and Shu, J.Comput.Phys., 2016], [Arbogast, Huang and Zhao, SIAM J.Numer.Anal., 2018]. The novel reconstruction yields similar accuracy and oscillations with respect to the previous ones, but saves up to 20% computational time since it does not rely on a hierarchic approach and thus does not compute multiple sets of nonlinear weights in each cell.

math.NA↗

arXiv2019

A level-set multigrid technique for nonlinear diffusion in the numerical simulation of marble degradation under chemical pollutants

Having in mind the modelling of marble degradation under chemical pollutants, e.g.~the sulfation process, we consider governing nonlinear diffusion equations and their numerical approximation.The space domain of a computation is the pristine marble object. In order to accurately discretize it while maintaining the simplicity of finite difference discretizations, the domain is described using a level-set technique. A uniform Cartesian grid is laid over a box containing the domain, but the solution is defined and updated only in the grid nodes that lie inside the domain, the level-set being employed to select them and to impose accurately the boundary conditions. We use a Crank-Nicolson scheme in time, while for the space variables the discretization is performed by a standard Finite-Difference scheme for grid points inside the domain and by a ghost-cell technique on the ghost points (by using boundary conditions). The solution of the large nonlinear system is obtained by a Newton-Raphson procedure and a tailored multigrid technique is developed for the inner linear solvers. The numerical results, which are very satisfactory in terms of reconstruction quality and of computational efficiency, are presented and discussed at the end of the paper.

math.NA↗

arXiv2018

Optimal definition of the nonlinear weights in multidimensional Central WENOZ reconstructions

Central WENO reconstruction procedures have shown very good performances in finite volume and finite difference schemes for hyperbolic conservation and balance laws in one and more space dimensions, on different types of meshes. Their most recent formulations include WENOZ-type nonlinear weights, but in this context a thorough analysis of the global smoothness indicator $\tau$ is still lacking. In this work we first prove results on the asymptotic expansion of one- and multi-dimensional Jiang-Shu smoothness indicators that are useful for the rigorous design of a CWENOZ schemes, also beyond those considered in this paper. Next, we introduce the optimal definition of $\tau$ for the one-dimensional CWENOZ schemes and for one example of two-dimensional CWENOZ reconstruction. Numerical experiments of one and two dimensional test problems show the correctness of the analysis and the good performance of the new schemes.

math.NA↗

arXiv2018

Third and fourth order well-balanced schemes for the shallow water equations based on the CWENO reconstruction

High order finite volume schemes for conservation laws are very useful in applications, due to their ability to compute accurate solutions on quite coarse meshes and with very few restrictions on the kind of cells employed in the discretization. For balance laws, the ability to approximate up to machine precision relevant steady states allows the scheme to compute accurately, also on coarse meshes, small perturbations of such states. In this paper we propose third and fourth order accurate finite volume schemes for the shallow water equations. The schemes have the well-balanced property thanks to a path-conservative approach applied to an appropriate non-conservative reformulation of the equations. High order accuracy is achieved by designing truly two-dimensional reconstruction procedures of the CWENO type. The novel schemes are tested for accuracy, well-balancing and shown to maintain posivity of the water height on wet/dry transitions. Finally they are applied to simulate the Tohoku 2011 tsunami event.

math.NA↗

arXiv2017

On a third order CWENO boundary treatment with application to networks of hyperbolic conservation laws

High order numerical methods for networks of hyperbolic conservation laws have recently gained increasing popularity. Here, the crucial part is to treat the boundaries of the single (one-dimensional) computational domains in such a way that the desired convergence rate is achieved in the smooth case but also stability criterions are fulfilled, in particular in the presence of discontinuities. Most of the recently proposed methods rely on a WENO extrapolation technique introduced by Tan and Shu in [\emph{J.\ Comput.\ Phys.} 229, pp.\ 8144--8166 (2010)]. Within this work, we refine and in a sense generalize these results for the case of a third order scheme. Numerical evidence for the analytically found parameter bounds is given as well as results for a complete third order scheme based on the proposed boundary treatment.

math.NA↗

arXiv2017

Cool WENO schemes

This work is dedicated to the development and comparison of WENO-type reconstructions for hyperbolic systems of balance laws. We are particularly interested in high order shock capturing non-oscillatory schemes with uniform accuracy within each cell and low spurious effects. We need therefore to develop a tool to measure the artifacts introduced by a numerical scheme. To this end, we study the deformation of a single Fourier mode and introduce the notion of distorsive errors, which measure the amplitude of the spurious modes created by a discrete derivative operator. Further we refine this notion with the idea of temperature, in which the amplitude of the spurious modes is weighted with its distance in frequency space from the exact mode. Following this approach linear schemes have zero temperature, but to prevent oscillations it is necessary to introduce nonlinearities in the scheme, thus increasing their temperature. However it is important to heat the linear scheme just enough to prevent spurious oscillations. With several tests we show that the newly introduced CWENOZ schemes are cooler than other existing WENO-type operators, while maintaining good non-oscillatory properties.

math.NA↗

arXiv2016

Central WENO schemes for hyperbolic conservation laws on fixed and moving unstructured meshes

We present a novel arbitrary high order accurate central WENO spatial reconstruction procedure (CWENO) for the solution of nonlinear systems of hyperbolic conservation laws on fixed and moving unstructured simplex meshes in two and three space dimensions. Starting from the given cell averages of a function on a triangular or tetrahedral control volume and its neighbors, the nonlinear CWENO reconstruction yields a high order accurate and essentially non-oscillatory polynomial that is defined everywhere in the cell. Compared to other WENO schemes on unstructured meshes, the total stencil size is the minimum possible one, as in classical point-wise WENO schemes of Jiang and Shu. However, the linear weights can be chosen arbitrarily, which makes the practical implementation on general unstructured meshes particularly simple. We make use of the piecewise polynomials generated by the CWENO reconstruction operator inside the framework of fully discrete and high order accurate one-step ADER finite volume schemes on fixed Eulerian grids as well as on moving Arbitrary-Lagrangian-Eulerian (ALE) meshes. The computational efficiency of the high order finite volume schemes based on the new CWENO reconstruction is tested on several two- and three-dimensional systems of hyperbolic conservation laws and is found to be more efficient in terms of memory consumption and computational efficiency with respect to classical WENO reconstruction schemes on unstructured meshes. We also provide evidence that the new algorithm is suitable for implementation on massively parallel distributed memory supercomputers, showing two numerical examples run with more than one billion degrees of freedom in space. To our knowledge, at present these are the largest simulations ever run with unstructured WENO finite volume schemes.

math.NA↗