arXiv subjects

Matteo Pozzi

Publications and source records attributed to Matteo Pozzi.

14 recordsLinked to original sources

arXiv2026

Topology optimization of pentamode metamaterials for underwater acoustics

This study presents an automated topology optimization framework for designing pentamode acoustic metamaterials. It provides precise control over the material effective acoustic properties while minimizing the shear modulus to achieve fluid-like behavior. The approach combines low-frequency homogenization for accurate property evaluation and the adjoint method for efficient sensitivity analysis. The Virtual Temperature Method (VTM) ensures structural connectivity and manufacturability, addressing the typical challenges of low-stiffness, high-mass-density microstructures. The framework is demonstrated through the design of a L\"uneburg lens and an acoustic invisibility cloak for underwater applications. Acoustic-elastic simulations validate the performance of both the unit cells and the complete devices. This method eliminates the need for predefined geometries, offering a flexible, reliable, and scalable alternative to conventional parametric optimization. It provides a powerful tool for the automated design of complex, anisotropic, pentamode metamaterials.

physics.app-ph↗

arXiv2026

A Kinetic Phase-Field Model of Diffusion Bonding: A Nonlocal Approach to Interface Coalescence

Conventional phase-field models often drive solid-solid interfaces to coalesce when in close proximity. This feature limits their use for processes like diffusion bonding, where the interfaces might need to remain distinct under certain thermodynamic conditions. We develop a kinetic phase-field model to address this problem, using an evolution equation based on a geometric conservation law for interfaces, rather than the gradient descent evolution that is typical in phase-field modeling. This formulation enables us to specify complex kinetic laws, and we use this to incorporate a physically-motivated geometric criterion to control interface merging. This criterion, based on nonlocal higher-derivative curvature invariants of the phase field, can be temperature-dependent, allows for a range of behaviors from complete coalescence to the preservation of distinct boundaries. Simulations show controlled bonding kinetics, demonstrating capabilities that are not available with existing methods for modeling interfaces that must remain distinct under given thermodynamic conditions.

cond-mat.mtrl-sci↗

arXiv2025

Digital Twin of Aerosol Jet Printing

Aerosol Jet (AJ) printing is a versatile additive manufacturing technique capable of producing high-resolution interconnects on both 2D and 3D substrates. The AJ process is complex and dynamic with many hidden and unobservable states that influence the machine performance, including aerosol particle diameter, aerosol carrier density, vial level, and ink deposition in the tube and nozzle. Despite its promising potential, the widespread adoption of AJ printing is limited by inconsistencies in print quality that often stem from variability in these hidden states. To address these challenges, we develop a digital twin model of the AJ process that offers real-time insights into the machine's operations. The digital twin is built around a physics-based macro-model created through simulation and experimentation. The states and parameters of the digital model are continuously updated using probabilistic sequential estimation techniques to closely align with real-time measurements extracted from the AJ system's sensor and video data. The result is a digital model of the AJ process that continuously evolves over a physical machine's lifecycle. The digital twin enables accurate monitoring of unobservable physical characteristics, detects and predicts anomalous behavior, and forecasts the effect of control adjustments. This work presents a comprehensive end-to-end digital twin framework that integrates customized computer vision techniques, physics-based macro-modeling, and advanced probabilistic estimation methods to construct an evolving digital representation of the AJ equipment and process. While the methodologies are customized for aerosol jet printing, the process for constructing the digital twin can be applied for other advanced manufacturing techniques.

eess.SY↗

arXiv2025

Topology optimization of nonlinear forced response curves via reduction on spectral submanifolds

Forced response curves (FRCs) of nonlinear systems can exhibit complex behaviors, including hardening/softening behavior and bifurcations. Although topology optimization holds great potential for tuning these nonlinear dynamic responses, its use in high-dimensional systems is limited by the high cost of repeated response and sensitivity analyses. To address this challenge, we employ the spectral submanifolds (SSMs) reduction theory, which reformulates the periodic response as the equilibria of an associated reduced-order model (ROM). This enables efficient and analytic evaluation of both response amplitudes and their sensitivities. Based on the SSM-based ROM, we formulate optimization problems that optimize the peak amplitude, the hardening/softening behavior, and the distance between two saddle-node bifurcations for an FRC. The proposed method is applied to the design of nonlinear MEMS devices, achieving targeted performance optimization. This framework provides a practical and efficient strategy for incorporating nonlinear dynamic effects into the topology optimization of structures.

eess.SY↗

arXiv2025

A Multicentric Dataset for Training and Benchmarking Breast Cancer Segmentation in H&E Slides

Automated semantic segmentation of whole-slide images (WSIs) stained with hematoxylin and eosin (H&E) is essential for large-scale artificial intelligence-based biomarker analysis in breast cancer. However, existing public datasets for breast cancer segmentation lack the morphological diversity needed to support model generalizability and robust biomarker validation across heterogeneous patient cohorts. We introduce BrEast cancEr hisTopathoLogy sEgmentation (BEETLE), a dataset for multiclass semantic segmentation of H&E-stained breast cancer WSIs. It consists of 587 biopsies and resections from three collaborating clinical centers and two public datasets, digitized using seven scanners, and covers all molecular subtypes and histological grades. Using diverse annotation strategies, we collected annotations across four classes - invasive epithelium, non-invasive epithelium, necrosis, and other - with particular focus on morphologies underrepresented in existing datasets, such as ductal carcinoma in situ and dispersed lobular tumor cells. The dataset's diversity and relevance to the rapidly growing field of automated biomarker quantification in breast cancer ensure its high potential for reuse. Finally, we provide a well-curated, multicentric external evaluation set to enable standardized benchmarking of breast cancer segmentation models.

q-bio.QM↗

arXiv2025

Impact of gas/liquid phase change of CO$_2$ during injection for sequestration

CO$_2$ sequestration in deep saline formations is an effective and important process to control the rapid rise in CO$_2$ emissions. The process of injecting CO$_2$ requires reliable predictions of the stress in the formation and the fluid pressure distributions -- particularly since monitoring of the CO$_2$ migration is difficult -- to mitigate leakage, prevent induced seismicity, and analyze wellbore stability. A key aspect of CO$_2$ is the gas-liquid phase transition at the temperatures and pressures of relevance to leakage and sequestration, which has been recognized as being critical for accurate predictions but has been challenging to model without \textit{ad hoc} empiricisms. This paper presents a robust multiphase thermodynamics-based poromechanics model to capture the complex phase transition behavior of CO$_2$ and predict the stress and pressure distribution under super- and sub- critical conditions during the injection process. A finite element implementation of the model is applied to analyze the behavior of a multiphase porous system with CO$_2$ as it displaces the fluid brine phase. We find that if CO$_2$ undergoes a phase transition in the geologic reservoir, the spatial variation of the density is significantly affected, and the migration mobility of CO$_2$ decreases in the reservoir. A key feature of our approach is that we do not \textit{a priori} assume the location of the CO$_2$ gas/liquid interface -- or even if it occurs at all -- but rather, this is a prediction of the model, along with the spatial variation of the phase of CO$_2$ and the change of the saturation profile due to the phase change.

physics.geo-ph↗

arXiv2025

Adjoint Sensitivities for the Optimization of Nonlinear Structural Dynamics via Spectral Submanifolds

This work presents an optimization framework for tailoring the nonlinear dynamic response of lightly damped mechanical systems using Spectral Submanifold (SSM) reduction. We derive the SSM-based backbone curve and its sensitivity with respect to parameters up to arbitrary polynomial orders, enabling efficient and accurate optimization of the nonlinear frequency-amplitude relation. We use the adjoint method to derive sensitivity expressions, which drastically reduces the computational cost compared to direct differentiation as the number of parameters increases. An important feature of this framework is the automatic adjustment of the expansion order of SSM-based ROMs using user-defined error tolerances during the optimization process. We demonstrate the effectiveness of the approach in optimizing the nonlinear response over several numerical examples of mechanical systems. Hence, the proposed framework extends the applicability of SSM-based optimization methods to practical engineering problems, offering a robust tool for the design and optimization of nonlinear mechanical structures.

math.OC↗

arXiv2024

Subsidy design for better social outcomes

Overcoming the impact of selfish behavior of rational players in multiagent systems is a fundamental problem in game theory. Without any intervention from a central agent, strategic users take actions in order to maximize their personal utility, which can lead to extremely inefficient overall system performance, often indicated by a high Price of Anarchy. Recent work (Lin et al. 2021) investigated and formalized yet another undesirable behavior of rational agents, that of avoiding freely available information about the game for selfish reasons, leading to worse social outcomes. A central planner can significantly mitigate these issues by injecting a subsidy to reduce certain costs associated with the system and obtain net gains in the system performance. Crucially, the planner needs to determine how to allocate this subsidy effectively. We formally show that designing subsidies that perfectly optimize the social good, in terms of minimizing the Price of Anarchy or preventing the information avoidance behavior, is computationally hard under standard complexity theoretic assumptions. On the positive side, we show that we can learn provably good values of subsidy in repeated games coming from the same domain. This data-driven subsidy design approach avoids solving computationally hard problems for unseen games by learning over polynomially many games. We also show that optimal subsidy can be learned with no-regret given an online sequence of games, under mild assumptions on the cost matrix. Our study focuses on two distinct games: a Bayesian extension of the well-studied fair cost-sharing game, and a component maintenance game with engineering applications.

cs.GT↗

arXiv2024

Monitoring-Supported Value Generation for Managing Structures and Infrastructure Systems

To maximize its value, the design, development and implementation of Structural Health Monitoring (SHM) should focus on its role in facilitating decision support. In this position paper, we offer perspectives on the synergy between SHM and decision-making. We propose a classification of SHM use cases aligning with various dimensions that are closely linked to the respective decision contexts. The types of decisions that have to be supported by the SHM system within these settings are discussed along with the corresponding challenges. We provide an overview of different classes of models that are required for integrating SHM in the decision-making process to support management and operation and maintenance of structures and infrastructure systems. Fundamental decision-theoretic principles and state-of-the-art methods for optimizing maintenance and operational decision-making under uncertainty are briefly discussed. Finally, we offer a viewpoint on the appropriate course of action for quantifying, validating and maximizing the added value generated by SHM. This work aspires to synthesize the different perspectives of the SHM, Prognostic Health Management (PHM), and reliability communities, and deliver a roadmap towards monitoring-based decision support.

cs.CY↗

arXiv2023

Hessian-informed Hamiltonian Monte Carlo for high-dimensional problems

We investigate the effect of using local and non-local second derivative information on the performance of Hamiltonian Monte Carlo (HMC) sampling methods, for high-dimension non-Gaussian distributions, with application to Bayesian inference and nonlinear inverse problems. The Riemannian Manifold Hamiltonian Monte Carlo (RMHMC) method uses second and third derivative information to improve the performance of the HMC approach. We propose using the local Hessian information at the start of each iteration, instead of re-calculating the higher order derivatives in all sub-steps of the leapfrog updating algorithm. We compare the result of Hessian-informed HMC method using the local and nonlocal Hessian information, in a test bed of a high-dimensional log-normal distribution, related to a problem of inferring soil properties.

stat.CO↗

arXiv2023

High-dimensional Nonlinear Bayesian Inference of Poroelastic Fields from Pressure Data

We investigate solution methods for large-scale inverse problems governed by partial differential equations (PDEs) via Bayesian inference. The Bayesian framework provides a statistical setting to infer uncertain parameters from noisy measurements. To quantify posterior uncertainty, we adopt Markov Chain Monte Carlo (MCMC) approaches for generating samples. To increase the efficiency of these approaches in high-dimension, we make use of local information about gradient and Hessian of the target potential, also via Hamiltonian Monte Carlo (HMC). Our target application is inferring the field of soil permeability processing observations of pore pressure, using a nonlinear PDE poromechanics model for predicting pressure from permeability. We compare the performance of different sampling approaches in this and other settings. We also investigate the effect of dimensionality and non-gaussianity of distributions on the performance of different sampling methods.

stat.AP↗

arXiv2021

Energetic Formulation of Large-Deformation Poroelasticity

The modeling of coupled fluid transport and deformation in a porous medium is essential to predict the various geomechanical process such as CO2 sequestration, hydraulic fracturing, and so on. Current applications of interest, for instance, that include fracturing or damage of the solid phase, require a nonlinear description of the large deformations that can occur. This paper presents a variational energy-based continuum mechanics framework to model large-deformation poroelasticity. The approach begins from the total free energy density that is additively composed of the free energy of the components. A variational procedure then provides the balance of momentum, fluid transport balance, and pressure relations. A numerical approach based on finite elements is applied to analyze the behavior of saturated and unsaturated porous media using a nonlinear constitutive model for the solid skeleton. Examples studied include the Terzaghi and Mandel problems; a gas-liquid phase-changing fluid; multiple immiscible gases; and unsaturated systems where we model injection of fluid into soil. The proposed variational approach can potentially have advantages for numerical methods as well as for combining with data-driven models in a Bayesian framework.

math.AP↗

arXiv2021

Information Avoidance and Overvaluation in Sequential Decision Making under Epistemic Constraints

Decision makers involved in the management of civil assets and systems usually take actions under constraints imposed by societal regulations. Some of these constraints are related to epistemic quantities, as the probability of failure events and the corresponding risks. Sensors and inspectors can provide useful information supporting the control process (e.g. the maintenance process of an asset), and decisions about collecting this information should rely on an analysis of its cost and value. When societal regulations encode an economic perspective that is not aligned with that of the decision makers, the Value of Information (VoI) can be negative (i.e., information sometimes hurts), and almost irrelevant information can even have a significant value (either positive or negative), for agents acting under these epistemic constraints. We refer to these phenomena as Information Avoidance (IA) and Information OverValuation (IOV). In this paper, we illustrate how to assess VoI in sequential decision making under epistemic constraints (as those imposed by societal regulations), by modeling a Partially Observable Markov Decision Processes (POMDP) and evaluating non optimal policies via Finite State Controllers (FSCs). We focus on the value of collecting information at current time, and on that of collecting sequential information, we illustrate how these values are related and we discuss how IA and IOV can occur in those settings.

cs.AI↗

arXiv2021

Optimal Inspection of Network Systems via Value of Information Analysis

This paper develops computable metrics to assign priorities for information collection on network systems made up by binary components. Components are worth inspecting because their condition state is uncertain and the system functioning depends on it. The Value of Information (VoI) allows assessing the impact of information in decision making under uncertainty, including the precision of the observation, the available actions and the expected economic loss. Some VoI-based metrics for system-level and component-level maintenance actions, defined as "global" and "local" metrics, respectively, are introduced, analyzed and applied to series and parallel systems. Their computationally complexity of applications to general networks is discussed and, to tame the complexity for the local metric assessment, a heuristic is presented and its performance is compared on some case studies.

math.OC↗