arXiv subjects

Simona Perotto

Publications and source records attributed to Simona Perotto.

At least 19 recordsLinked to original sources

arXiv2026

An isotropic recovery-based error estimator algorithm for mesh adaptation in a finite volume environment with application to atmospheric flows

We develop an Isotropic Recovery-based Error Estimator (IREE) to drive mesh adaptation within a finite volume framework. Recovery-based error estimators are widely used in practice thanks to their simplicity, relying solely on the available discrete solution and a suitable post-processing step. While recovery-based estimators are well established in the finite element framework, their application to finite volume methods, despite the widespread use of the latter in industrial and commercial codes, remains largely unexplored and motivates the present study. We assess the performance of the proposed IREE-driven mesh adaptation procedure through well-known benchmarks for dry atmospheric flows modeling and compare it against a widely-used plain mesh adaptation algorithm. Both qualitative and quantitative results show that the IREE algorithm is more effective at suppressing numerical instabilities compared with the plain approach and, for most of the simulation time, provides a superior accuracy, though at a moderately higher computational cost. In addition, both the adaptive approaches offer substantial computational savings (between 35% and 94%) relative to simulations based on fixed uniformly fine meshes. These findings demonstrate that IREE-based mesh adaptation is a promising and effective strategy for atmospheric flow simulations and has the potential to substantially reduce the computational effort of generating reanalysis-quality data.

math.NA↗

arXiv2026

Block encoding of sparse matrices with a periodic diagonal structure

Block encoding is a successful technique used in several powerful quantum algorithms. In this work we provide an explicit quantum circuit for block encoding a sparse matrix with a periodic diagonal structure. The proposed methodology is based on the linear combination of unitaries (LCU) framework and on an efficient unitary operator used to project the complex exponential at a frequency $\omega$ multiplied by the computational basis into its real and imaginary components. We demonstrate a distinct computational advantage with a $\mathcal{O}(\text{poly}(n))$ gate complexity, where $n$ is the number of qubits, in the worst-case scenario used for banded matrices, and $\mathcal{O}(n)$ when dealing with a simple diagonal matrix, compared to the exponential scaling of general-purpose methods for dense matrices. Various applications for the presented methodology are discussed in the context of solving differential problems such as the advection-diffusion-reaction (ADR) dynamics, using quantum algorithms with optimal scaling, e.g., quantum singular value transformation (QSVT). Numerical results are used to validate the analytical formulation.

quant-ph↗

arXiv2025

Improved amplitude amplification strategies for the quantum simulation of classical transport problems

The quantum simulation of classical fluids often involves the use of probabilistic algorithms that encode the result of the dynamics in the form of the amplitude of the selected quantum state. In most cases, however, the amplitude probability is too low to allow an efficient use of these algorithms, thereby hindering the practical viability of the quantum simulation. The oblivious amplitude amplification algorithm is often presented as a solution to this problem, but to no avail for most classical problems, since its applicability is limited to unitary dynamics. In this paper, we show analytically that oblivious amplitude amplification when applied to non-unitary dynamics leads to a distortion of the quantum state and to an accompanying error in the quantum update. We provide an analytical upper bound of such error as a function of the degree of non-unitarity of the dynamics and we test it against a quantum simulation of an advection-diffusion-reaction equation, a transport problem of major relevance in science and engineering. Finally, we also propose an amplification strategy that helps mitigate the distortion error, while still securing an enhanced success probability.

quant-ph↗

arXiv2023

HiPhom$\varepsilon$ -: HIgh order Projection-based HOMogenisation for advection diffusion reaction problems

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.

math.NA↗

arXiv2023

Level set-fitted polytopal meshes with application to structural topology optimization

We propose a method to modify a polygonal mesh in order to fit the zero-isoline of a level set function by extending a standard body-fitted strategy to a tessellation with arbitrarily-shaped elements. The novel level set-fitted approach, in combination with a Discontinuous Galerkin finite element approximation, provides an ideal setting to model physical problems characterized by embedded or evolving complex geometries, since it allows skipping any mesh post-processing in terms of grid quality. The proposed methodology is firstly assessed on the linear elasticity equation, by verifying the approximation capability of the level set-fitted approach when dealing with configurations with heterogeneous material properties. Successively, we combine the level set-fitted methodology with a minimum compliance topology optimization technique, in order to deliver optimized layouts exhibiting crisp boundaries and reliable mechanical performances. An extensive numerical test campaign confirms the effectiveness of the proposed method.

cs.CE↗

arXiv2023

Advanced Modeling of Rectangular Waveguide Devices with Smooth Profiles by Hierarchical Model Reduction

We present a new method for the analysis of smoothly varying tapers, transitions and filters in rectangular waveguides. With this aim, we apply a Hierarchical Model (HiMod) reduction to the vector Helmholtz equation. We exploit a suitable coordinate transformation and, successively, we use the waveguide modes as a basis for the HiMod expansion. We show that accurate results can be obtained with an impressive speed-up factor when compared with standard commercial codes based on a three-dimensional finite element discretization.

math.NA↗

arXiv2022

Scalable Recovery-based Adaptation on Quadtree Meshes for Advection-Diffusion-Reaction Problems

We propose a mesh adaptation procedure for Cartesian quadtree meshes, to discretize scalar advection-diffusion-reaction problems. The adaptation process is driven by a recovery-based a posteriori estimator for the $L^2(\Omega)$-norm of the discretization error, based on suitable higher order approximations of both the solution and the associated gradient. In particular, a metric-based approach exploits the information furnished by the estimator to iteratively predict the new adapted mesh. The new mesh adaptation algorithm is successfully assessed on different configurations, and turns out to perform well also when dealing with discontinuities in the data as well as in the presence of internal layers not aligned with the Cartesian directions. A cross-comparison with a standard estimate--mark--refine approach and with other adaptive strategies available in the literature shows the remarkable accuracy and parallel scalability of the proposed approach.

math.NA↗

arXiv2022

A deep learning approach for detection and localization of leaf anomalies

The detection and localization of possible diseases in crops are usually automated by resorting to supervised deep learning approaches. In this work, we tackle these goals with unsupervised models, by applying three different types of autoencoders to a specific open-source dataset of healthy and unhealthy pepper and cherry leaf images. CAE, CVAE and VQ-VAE autoencoders are deployed to screen unlabeled images of such a dataset, and compared in terms of image reconstruction, anomaly removal, detection and localization. The vector-quantized variational architecture turns out to be the best performing one with respect to all these targets.

cs.CV↗

arXiv2022

Enhancing level set-based topology optimization with anisotropic graded meshes

We propose a new algorithm for the design of topologically optimized lightweight structures, under a minimum compliance requirement. The new process enhances a standard level set formulation in terms of computational efficiency, thanks to the employment of a strategic computational mesh. We pursue a twofold goal, i.e., to deliver a final layout characterized by a smooth contour and reliable mechanical properties. The smoothness of the optimized structure is ensured by the employment of an anisotropic adapted mesh, which sharply captures the material/void interface. A robust mechanical performance is guaranteed by a uniform tessellation of the internal part of the optimized configuration. A thorough numerical investigation corroborates the effectiveness of the proposed algorithm as a reliable and computationally affordable design tool, both in two- and three-dimensional contexts.

cs.CE↗

arXiv2022

A new fluid-based strategy for the connection of non-matching lattice materials

We present a new algorithm for the design of the connection region between different lattice materials. We solve a Stokes-type topology optimization problem on a narrow morphing region to smoothly connect two different unit cells. The proposed procedure turns out to be effective and provides a local re-design of the materials, leading to a very mild modification of the mechanical behaviour characterizing the original lattices. The robustness of the algorithm is assessed in terms of sensitivity of the final layout to different parameters. Both the cases of Cartesian and non-Cartesian morphing regions are successfully investigated.

cs.CE↗

arXiv2022

Isogeometric Hierarchical Model Reduction for advection-diffusion process simulation in microchannels

Microfluidics proved to be a key technology in various applications, allowing to reproduce large-scale laboratory settings at a more sustainable small-scale. The current effort is focused on enhancing the mixing process of different passive species at the micro-scale, where a laminar flow regime damps turbulence effects. Chaotic advection is often used to improve mixing effects also at very low Reynolds numbers. In particular, we focus on passive micromixers, where chaotic advection is mainly achieved by properly selecting the geometry of microchannels. In such a context, reduced order modeling can play a role, especially in the design of new geometries. In this chapter, we verify the reliability and the computational benefits lead by a Hierarchical Model (HiMod) reduction when modeling the transport of a passive scalar in an S-shaped microchannel. Such a geometric configuration provides an ideal setting where to apply a HiMod approximation, which exploits the presence of a leading dynamics to commute the original three-dimensional model into a system of one-dimensional coupled problems. It can be proved that HiMod reduction guarantees a very good accuracy when compared with a high-fidelity model, despite a drastic reduction in terms of number of unknowns.

physics.flu-dyn↗

arXiv2022

Hierarchical model reduction driven by machine learning for parametric advection-diffusion-reaction problems in the presence of noisy data

We propose a new approach to generate a reliable reduced model for a parametric elliptic problem, in the presence of noisy data. The reference model reduction procedure is the directional HiPOD method, which combines Hierarchical Model reduction with a standard Proper Orthogonal Decomposition, according to an offline/online paradigm. In this paper we show that directional HiPOD looses in terms of accuracy when problem data are affected by noise. This is due to the interpolation driving the online phase, since it replicates, by definition, the noise trend. To overcome this limit, we replace interpolation with Machine Learning fitting models which better discriminate relevant physical features in the data from irrelevant unstructured noise. The numerical assessment, although preliminary, confirms the potentialities of the new approach.

math.NA↗

arXiv2022

Multi-physics inverse homogenization for the design of innovative cellular materials: application to thermo-mechanical problems

We present a new algorithm to design lightweight cellular materials with required properties in a multi-physics context. In particular, we focus on a thermo-mechanical setting, by promoting the design of unit cells characterized both by an isotropic and an anisotropic behaviour with respect to mechanical and thermal requirements. The proposed procedure generalizes microSIMPATY algorithm to a multi-physics framework, by preserving all the good properties of the reference design methodology. The resulting layouts exhibit non-standard topologies and are characterized by very sharp contours, thus limiting the post-processing before manufacturing. The new cellular materials are compared with the state-of-art in engineering practice in terms of thermo-mechanical properties, thus highlighting the good performance of the new layouts which, in some cases, outperform the consolidated choices.

cs.CE↗

arXiv2021

Anisotropic mesh adaptation for region-based segmentation accounting for image spatial information

A finite element-based image segmentation strategy enhanced by an anisotropic mesh adaptation procedure is presented. The methodology relies on a split Bregman algorithm for the minimisation of a region-based energy functional and on an anisotropic recovery-based error estimate to drive mesh adaptation. More precisely, a Bayesian energy functional is considered to account for image spatial information, ensuring that the methodology is able to identify inhomogeneous spatial patterns in complex images. In addition, the anisotropic mesh adaptation guarantees a sharp detection of the interface between background and foreground of the image, with a reduced number of degrees of freedom. The resulting split-adapt Bregman algorithm is tested on a set of real images showing the accuracy and robustness of the method, even in the presence of Gaussian, salt and pepper and speckle noise.

math.NA↗

arXiv2021

Scalable Balanced Training of Conditional Generative Adversarial Neural Networks on Image Data

We propose a distributed approach to train deep convolutional generative adversarial neural network (DC-CGANs) models. Our method reduces the imbalance between generator and discriminator by partitioning the training data according to data labels, and enhances scalability by performing a parallel training where multiple generators are concurrently trained, each one of them focusing on a single data label. Performance is assessed in terms of inception score and image quality on MNIST, CIFAR10, CIFAR100, and ImageNet1k datasets, showing a significant improvement in comparison to state-of-the-art techniques to training DC-CGANs. Weak scaling is attained on all the four datasets using up to 1,000 processes and 2,000 NVIDIA V100 GPUs on the OLCF supercomputer Summit.

cs.CV↗

arXiv2020

A Dimension-Reduction Model for Brittle Fractures on Thin Shells with Mesh Adaptivity

In this paper we derive a new two-dimensional brittle fracture model for thin shells via dimension reduction, where the admissible displacements are only normal to the shell surface. The main steps include to endow the shell with a small thickness, to express the three-dimensional energy in terms of the variational model of brittle fracture in linear elasticity, and to study the $\Gamma$-limit of the functional as the thickness tends to zero. The numerical discretization is tackled by first approximating the fracture through a phase field, following an Ambrosio-Tortorelli like approach, and then resorting to an alternating minimization procedure, where the irreversibility of the crack propagation is rigorously imposed via an inequality constraint. The minimization is enriched with an anisotropic mesh adaptation driven by an a posteriori error estimator, which allows us to sharply track the whole crack path by optimizing the shape, the size, and the orientation of the mesh elements. Finally, the overall algorithm is successfully assessed on two Riemannian settings and proves not to bias the crack propagation.

math.NA↗

arXiv2019

Hierarchical Model Reduction Techniques for Flow Modeling in a Parametrized Setting

In this work we focus on two different methods to deal with parametrized partial differential equations in an efficient and accurate way. Starting from high fidelity approximations built via the hierarchical model reduction discretization, we consider two approaches, both based on a projection model reduction technique. The two methods differ for the algorithm employed during the construction of the reduced basis. In particular, the former employs the proper orthogonal decomposition, while the latter relies on a greedy algorithm according to the certified reduced basis technique. The two approaches are preliminarily compared on two-dimensional scalar and vector test cases.

math.NA↗

arXiv2018

Wavelet-Fourier CORSING techniques for multi-dimensional advection-diffusion-reaction equations

We present and analyze a novel wavelet-Fourier technique for the numerical treatment of multidimensional advection-diffusion-reaction equations based on the CORSING (COmpRessed SolvING) paradigm. Combining the Petrov-Galerkin technique with the compressed sensing approach, the proposed method is able to approximate the largest coefficients of the solution with respect to a biorthogonal wavelet basis. Namely, we assemble a compressed discretization based on randomized subsampling of the Fourier test space and we employ sparse recovery techniques to approximate the solution to the PDE. In this paper, we provide the first rigorous recovery error bounds and effective recipes for the implementation of the CORSING technique in the multi-dimensional setting. Our theoretical analysis relies on new estimates for the local a-coherence, which measures interferences between wavelet and Fourier basis functions with respect to the metric induced by the PDE operator. The stability and robustness of the proposed scheme is shown by numerical illustrations in the one-, two-, and three-dimensional case.

math.NA↗