arXiv ScienceSearch

arXiv subjects

Alberto Padovan

Publications and source records attributed to Alberto Padovan.

15 recordsLinked to original sources

Geometry-controlled heat transport in differentially heated cavity through the lens of DNS and resolvent analysis

We perform direct numerical simulations (DNS) and resolvent analysis of natural convection in a differentially heated cavity (DHC) at Prandtl number $Pr = 0.7$, systematically varying the aspect ratio $\Gamma$ over $0.1 \leq \Gamma \leq 60$ and Rayleigh number $Ra = 10^5$--$10^8$. Across this nearly three-decade range of $\Gamma$, the Nusselt number $Nu$ exhibits four distinct regimes driven purely by geometric confinement via altering the structure of large-scale circulation (LSC): $Nu$ rises in regime I, peaks and plateaus in regime II, falls monotonically in regime III, and reaches a minimum and plateaus again in regime IV. Resolvent analysis shows a corresponding shift in the flow's response structure across these regimes: the maximum gain drops monotonically through regime I, bottoms out in regime II, and rises sharply through regime III and IV. The dominant response mode also changes character---from a diagonal mode peaking near the adiabatic walls, to a horizontally oriented structure peaking in the bulk flow (regimes I--II), to a vertical stack of such structures in regimes III--IV. The resolvent response tracks the sensitivity of the LSC to perturbations, which is minimized in regime II and maximized in regimes III and IV. Notably, the LSC configuration with the \textit{lowest} sensitivity consistently corresponds to the \textit{highest} heat flux, across all $Ra$ examined. We link this sensitivity to the LSC's anisotropy, quantified by the ratio of horizontal-to-vertical velocity Reynolds numbers ($Re_u/Re_v$). Remarkably, this ratio stays nearly constant ($\approx 0.45$) at the optimal (heat-transport-maximizing) aspect ratio ($\Gamma_{\mathrm{opt}}$) across all $Ra$, and the corresponding $\Gamma_{\mathrm{opt}}$ follows the power-law scaling $\Gamma_{\mathrm{opt}} \sim Ra^{-0.17 \pm 0.01}$.

physics.flu-dyn

GasNiTROM: Model Reduction via Non-Intrusive Optimization of Oblique Projection Operators and Guaranteed-Stable Latent-Space Dynamics

Non-intrusive reduced-order modeling techniques are necessary for systems that are simulated using black-box solvers or known only from data. For systems exhibiting large transients and operating far away from equilibria, current non-intrusive models often exhibit poor forecasting accuracy and can even be unstable in infinite or finite time. Recent developments have addressed the stability issue by seeking structure-preserving latent-space architectures when reducing Hamiltonian or Lagrangian full-order dynamics, or by enforcing global stability via Lyapunov-informed parameterizations in the latent space. However, such developments do not necessarily improve the forecasting accuracy of the resulting models, since these formulations achieve dimensionality reduction using orthogonal projections that accidentally truncate dynamically-important states. In this paper, we address both issues by introducing a non-intrusive framework designed to simultaneously identify globally-asymptotically-stable latent-space dynamics, and oblique projection operators capable of capturing the sensitivity mechanisms of the system. In particular, given a Lyapunov-based parameterization of the latent-space tensors, and a matrix-manifold parameterization of the oblique projection operators, we fit a model against high-fidelity training trajectories. Furthermore, we show that the gradient of the objective function can be written in closed form using adjoint-based backpropagation in the latent space, eliminating the need for automatic differentiation. We compare our formulation with state-of-the-art methods on a three-dimensional system of ordinary differential equations, and a two-dimensional lid-driven cavity flow at Reynolds number Re=8300. We demonstrate that our models are not only globally asymptotically stable (as expected by construction), but they are also significantly more accurate.

math.NA

Toward Adaptive Non-Intrusive Reduced-Order Models: Design and Challenges

Projection-based Reduced Order Models (ROMs) are often deployed as static surrogates, which limits their practical utility once a system leaves the training manifold. We formalize and study adaptive non-intrusive ROMs that update both the latent subspace and the reduced dynamics online. Building on ideas from static non-intrusive ROMs, specifically, Operator Inference (OpInf) and the recently-introduced Non-intrusive Trajectory-based optimization of Reduced-Order Models (NiTROM), we propose three formulations: Adaptive OpInf (sequential basis/operator refits), Adaptive NiTROM (joint Riemannian optimization of encoder/decoder and polynomial dynamics), and a hybrid that initializes NiTROM with an OpInf update. We describe the online data window, adaptation window, and computational budget, and analyze cost scaling. On a transiently perturbed lid-driven cavity flow, static Galerkin/OpInf/NiTROM drift or destabilize when forecasting beyond training. In contrast, Adaptive OpInf robustly suppresses amplitude drift with modest cost; Adaptive NiTROM is shown to attain near-exact energy tracking under frequent updates but is sensitive to its initialization and optimization depth; the hybrid is most reliable under regime changes and minimal offline data, yielding physically coherent fields and bounded energy. We argue that predictive claims for ROMs must be cost-aware and transparent, with clear separation of training/adaptation/deployment regimes and explicit reporting of online budgets and full-order model queries. This work provides a practical template for building self-correcting, non-intrusive ROMs that remain effective as the dynamics evolve well beyond the initial manifold.

cs.LG

Resolvent4py: a parallel Python package for analysis, model reduction and control of large-scale linear systems

In this paper, we present resolvent4py, a parallel Python package for the analysis, model reduction and control of large-scale linear systems with millions or billions of degrees of freedom. This package provides the user with a friendly Python-like experience (akin to that of well-established libraries such as numpy and scipy), while enabling MPI-based parallelism through mpi4py, petsc4py and slepc4py. In turn, this allows for the development of streamlined and efficient Python code that can be used to solve several problems in fluid mechanics, solid mechanics, graph theory, molecular dynamics and several other fields.

physics.comp-ph

Petrov-Galerkin model reduction for collisional-radiative argon plasma

High-fidelity simulation of nonequilibrium plasmas -- crucial to applications in electric propulsion, hypersonic re-entry, and astrophysical flows -- requires state-specific collisional-radiative (CR) kinetic models, but these come at a prohibitive computational cost. Traditionally, this cost has been mitigated through empirical or physics-based simplifications of the governing equations. However, such approaches often fail to retain the essential features of the original dynamics, particularly under strong nonequilibrium conditions. To address these limitations, we develop a Petrov-Galerkin reduced-order model (ROM) for CR argon plasma based on oblique projections that optimally balance the covariance of full-order state trajectories with that of the system's output sensitivities. This construction ensures that the ROM captures both the dominant energetic modes and the directions most relevant to input-output behavior. After offline training in a zero-dimensional setting using nonlinear forward and adjoint simulations, the ROM is coupled to a finite-volume solver and applied to one- (1D) and two-dimensional (2D) ionizing shock-tube problems. The ROM achieves a 3$\times$ reduction in state dimension and more than one order of magnitude savings in floating-point operations, while maintaining errors below 1% for macroscopic quantities. In both 1D and 2D, it robustly reproduces complex unsteady plasma features -- such as periodic fluctuations, electron avalanches, triple points, and cellular ionization patterns -- in contrast to standard ROM strategies, which become unstable or inaccurate under these challenging conditions. These results demonstrate that the proposed projection-based ROM enables substantial model compression while preserving key physical mechanisms in nonequilibrium plasma physics, paving the way for fast, reliable simulation of high-speed plasma flows.

physics.comp-ph

Surface instabilities in laminar compressible boundary layers with sublimation

Surface patterns on ablating materials are observed in high-speed ground and flight tests, but the mechanisms behind their formation are not known. In this paper, the origin of surface patterns is investigated via a local linear stability analysis of compressible laminar boundary layers over a flat camphor plate. The effects of sublimation and conjugate heat transfer are included both on the baseflow and the linear fluctuations. This framework identifies one mode that fully characterizes the stability of the surface, which becomes unstable when the wall temperature exceeds that of an adiabatic wall, $T_{ad}$. These findings are consistent with experimental observations, where laminar flow conditions at adiabatic wall temperatures are found to be stable. The analysis also reveals that the nature of this surface mode varies as a function of the oblique angle $\psi = \tan^{-1}{\beta/\alpha}$, where $\alpha$ and $\beta$ are the streamwise and spanwise wavenumbers. Specifically, for baseflow temperatures below $\approx 1.15~T_{ad}$, the surface mode is most unstable at $\psi = 0$. Conversely, above $\approx 1.15~T_{ad}$ the surface is most unstable near the sonic angle $\psi_s = \cos^{-1}(1/M_e)$, which is the angle at which the normal Mach number equals one. Finally, a critical wavenumber is identified (i.e., one at which the temporal growth rate reaches a maximum) that is in good agreement with available experimental observations of turbulent flows.

physics.flu-dyn

Petrov-Galerkin model reduction for thermochemical nonequilibrium gas mixtures

State-specific thermochemical collisional models are crucial to accurately describe the physics of systems involving nonequilibrium plasmas, but they are also computationally expensive and impractical for large-scale, multi-dimensional simulations. Historically, computational cost has been mitigated by using empirical and physics-based arguments to reduce the complexity of the governing equations. However, the resulting models are often inaccurate and they fail to capture the important features of the original physics. Additionally, the construction of these models is often impractical, as it requires extensive user supervision and time-consuming parameter tuning. In this paper, we address these issues through an easily-implementable and computationally-efficient model reduction pipeline based on the Petrov-Galerkin projection of the nonlinear kinetic equations. Our approach is justified by the observation that kinetic systems in thermal nonequilibrium tend to exhibit low-rank dynamics that rapidly drive the state towards a low-dimensional subspace. Furthermore, despite the nonlinear nature of the governing equations, we observe that the dynamics of these systems evolve on subspaces that can be accurately identified using the linearized equations about thermochemical equilibrium, which significantly reduce the cost associated with the construction of the model. The approach is demonstrated on a rovibrational collisional model for the O$_2$-O system, and a vibrational collisional model for the combined O$_2$-O and O$_2$-O$_2$ systems. Our method achieves high accuracy, with relative errors of less than 1% for macroscopic quantities (i.e., moments) and 10% for microscopic quantities (i.e., energy levels population), while also delivering excellent compression rates and speedups, outperforming existing state-of-the-art techniques.

physics.comp-ph

Data-driven model reduction via non-intrusive optimization of projection operators and reduced-order dynamics

Computing reduced-order models using non-intrusive methods is particularly attractive for systems that are simulated using black-box solvers. However, obtaining accurate data-driven models can be challenging, especially if the underlying systems exhibit large-amplitude transient growth. Although these systems may evolve near a low-dimensional subspace that can be easily identified using standard techniques such as Proper Orthogonal Decomposition (POD), computing accurate models often requires projecting the state onto this subspace via a non-orthogonal projection. While appropriate oblique projection operators can be computed using intrusive techniques that leverage the form of the underlying governing equations, purely data-driven methods currently tend to achieve dimensionality reduction via orthogonal projections, and this can lead to models with poor predictive accuracy. In this paper, we address this issue by introducing a non-intrusive framework designed to simultaneously identify oblique projection operators and reduced-order dynamics. In particular, given training trajectories and assuming reduced-order dynamics of polynomial form, we fit a reduced-order model by solving an optimization problem over the product manifold of a Grassmann manifold, a Stiefel manifold, and several linear spaces (as many as the tensors that define the low-order dynamics). Furthermore, we show that the gradient of the cost function with respect to the optimization parameters can be conveniently written in closed-form, so that there is no need for automatic differentiation. We compare our formulation with state-of-the-art methods on three examples: a three-dimensional system of ordinary differential equations, the complex Ginzburg-Landau (CGL) equation, and a two-dimensional lid-driven cavity flow at Reynolds number Re = 8300.

math-ph

Multi-domain analysis and prediction of the light emitted by an inductively coupled plasma jet

Inductively coupled plasma wind tunnels are crucial for replicating hypersonic flight conditions in ground testing. Achieving the desired conditions (e.g., stagnation-point heat fluxes and enthalpies during atmospheric reentry) requires a careful selection of operating inputs, such as mass flow, gas composition, nozzle geometry, torch power, chamber pressure, and probing location along the plasma jet. The study presented herein focuses on the influence of the torch power and chamber pressure on the plasma jet dynamics within the 350 kW Plasmatron X ICP facility at the University of Illinois at Urbana-Champaign. A multi-domain analysis of the jet behavior under selected power-pressure conditions is presented in terms of emitted light measurements collected using high-speed imaging. We then use Gaussian Process Regression to develop a data-informed learning framework for predicting Plasmatron X jet profiles at unseen pressure and power test conditions. Understanding the physics behind the dynamics of high-enthalpy flows, particularly plasma jets, is the key to properly design material testing, perform diagnostics, and develop accurate simulation models

physics.plasm-ph

An Extended B' Formulation for Ablating-Surface Boundary Conditions

The B' formulation can be understood as a mass and energy conservation formalism at a reacting singular surface. In hypersonics applications, it is typically used to compute the chemical equilibrium properties of gaseous mixtures at ablating surfaces, and to estimate the recession velocity of the interface. In the first half of the paper, we derive the B' formulation to emphasize first principles. In particular, while we eventually specialize to the commonly considered case of chemical equilibrium boundary layers that satisfy the heat and mass transfer analogy, we first derive a general interface jump condition that lets us highlight all the underlying assumptions of the well-known B' equations. This procedure helps elucidate the nature of the B' formalism and it also allows us to straightforwardly extend the original formulation. Specifically, when applied at the interface between a porous material and a boundary layer (as in thermal protection systems applications), the original formulation assumes unidirectional advective transport of gaseous species from the porous material to the boundary layer (i.e., blowing). However, under conditions that may appear in hypersonic flight or in ground-based wind tunnels, boundary layer gases can enter the porous material due to a favorable pressure gradient. We show that this scenario can be easily handled via a straightforward modification to the B' formalism, and we demonstrate via examples that accounting for gas entering the material can impact the predicted recession velocity of ablating surfaces. In order to facilitate the implementation of the extended B' formulation in existing material response codes, we present a short algorithm in section 5 and we also refer readers to a GitHub repository where the scripts used to generate the modified B' tables are publicly available.

physics.flu-dyn

Continuous-time balanced truncation for time-periodic fluid flows using frequential Gramians

Reduced-order models for flows that exhibit time-periodic behavior are critical for several tasks, including active control and optimization. One well-known procedure to obtain the desired reduced-order model in the proximity of a periodic solution of the governing equations is continuous-time balanced truncation. Within this framework, the periodic reachability and observability Gramians are usually estimated numerically via quadrature using the forward and adjoint post-transient response to impulses. However, this procedure can be computationally expensive, especially in the presence of slowly-decaying transients. Moreover, it can only be performed if the periodic orbit is stable in the sense of Floquet. In order to address these issues, we use the frequency-domain representation of the Gramians, which we henceforth refer to as frequential Gramians. First, these frequential Gramians are well-defined for both stable and unstable dynamics. In particular, we show that when the underlying system is unstable, these Gramians satisfy a pair of allied differential Lyapunov equations. Second, they can be estimated numerically by solving algebraic systems of equations that lend themselves to heavy computational parallelism and that deliver the desired post-transient response without having to follow physical transients. We demonstrate the method on a periodically-forced axisymmetric jet at Reynolds numbers Re=1250 and Re=1500. At the lower Reynolds number, the flow strongly amplifies subharmonic perturbations and exhibits vortex pairing about a Floquet-stable T-periodic solution. At the higher Reynolds number, the underlying T-periodic orbit is unstable and the flow naturally settles onto a 2T-periodic limit cycle characterized by pairing vortices. At both Reynolds numbers, we use a balanced reduced-order model to design a feedback controller and a state estimator to suppress vortex pairing.

physics.flu-dyn

Model Reduction for Nonlinear Systems by Balanced Truncation of State and Gradient Covariance

Data-driven reduced-order models often fail to make accurate forecasts of high-dimensional nonlinear dynamical systems that are sensitive along coordinates with low-variance because such coordinates are often truncated, e.g., by proper orthogonal decomposition, kernel principal component analysis, and autoencoders. Such systems are encountered frequently in shear-dominated fluid flows where non-normality plays a significant role in the growth of disturbances. In order to address these issues, we employ ideas from active subspaces to find low-dimensional systems of coordinates for model reduction that balance adjoint-based information about the system's sensitivity with the variance of states along trajectories. The resulting method, which we refer to as covariance balancing reduction using adjoint snapshots (CoBRAS), is analogous to balanced truncation with state and adjoint-based gradient covariance matrices replacing the system Gramians and obeying the same key transformation laws. Here, the extracted coordinates are associated with an oblique projection that can be used to construct Petrov-Galerkin reduced-order models. We provide an efficient snapshot-based computational method analogous to balanced proper orthogonal decomposition. This also leads to the observation that the reduced coordinates can be computed relying on inner products of state and gradient samples alone, allowing us to find rich nonlinear coordinates by replacing the inner product with a kernel function. In these coordinates, reduced-order models can be learned using regression. We demonstrate these techniques and compare to a variety of other methods on a simple, yet challenging three-dimensional system and a nonlinear axisymmetric jet flow simulation with $10^5$ state variables.

eess.SY

Optimizing Oblique Projections for Nonlinear Systems using Trajectories

Reduced-order modeling techniques, including balanced truncation and $\mathcal{H}_2$-optimal model reduction, exploit the structure of linear dynamical systems to produce models that accurately capture the dynamics. For nonlinear systems operating far away from equilibria, on the other hand, current approaches seek low-dimensional representations of the state that often neglect low-energy features that have high dynamical significance. For instance, low-energy features are known to play an important role in fluid dynamics where they can be a driving mechanism for shear-layer instabilities. Neglecting these features leads to models with poor predictive accuracy despite being able to accurately encode and decode states. In order to improve predictive accuracy, we propose to optimize the reduced-order model to fit a collection of coarsely sampled trajectories from the original system. In particular, we optimize over the product of two Grassmann manifolds defining Petrov-Galerkin projections of the full-order governing equations. We compare our approach with existing methods including proper orthogonal decomposition, balanced truncation-based Petrov-Galerkin projection, quadratic-bilinear balanced truncation, and the quadratic-bilinear iterative rational Krylov algorithm. Our approach demonstrates significantly improved accuracy both on a nonlinear toy model and on an incompressible (nonlinear) axisymmetric jet flow with $10^5$ states.

math.OC

A computationally efficient approach for the removal of the phase shift singularity in harmonic resolvent analysis

The recently introduced harmonic resolvent framework is concerned with the study of the input-output dynamics of nonlinear flows in the proximity of a known time-periodic orbit. These dynamics are governed by the harmonic resolvent operator, which is a linear operator in the frequency domain whose singular value decomposition sheds light on the dominant input-output structures of the flow. Although the harmonic resolvent is a mathematically well-defined operator, the numerical computation of its singular value decomposition requires inverting a matrix that becomes exactly singular as the periodic orbit approaches an exact solution of the nonlinear governing equations. The very poor condition properties of this matrix hinder the convergence of classical Krylov solvers, even in the presence of preconditioners, thereby increasing the computational cost required to perform the harmonic resolvent analysis. In this paper we show that a suitable augmentation of the (nearly) singular matrix removes the singularity, and we provide a lower bound for the smallest singular value of the augmented matrix. We also show that the desired decomposition of the harmonic resolvent can be computed using the augmented matrix, whose improved condition properties lead to a significant speedup in the convergence of classical iterative solvers. We demonstrate this simple, yet effective, computational procedure on the Kuramoto-Sivashinsky equation in the proximity of an unstable time-periodic orbit.

physics.flu-dyn

Analysis of amplification mechanisms and cross-frequency interactions in nonlinear flows via the harmonic resolvent

We propose a framework that elucidates the input-output characteristics of flows with complex dynamics arising from nonlinear interactions between different time scales. More specifically, we consider a periodically time-varying base flow, and perform a frequency-domain analysis of periodic perturbations about this base flow; the response of these perturbations is governed by the harmonic resolvent, which is a linear operator similar to the harmonic transfer function introduced by Wereley (1991). This approach makes it possible to explicitly capture the triadic interactions that are responsible for the energy transfer between different time scales in the flow. For instance, perturbations at frequency $\alpha$ are coupled with perturbations at frequency $\omega$ through the base flow at frequency $\omega-\alpha$. We draw a connection with resolvent analsyis, which is a special case of the harmonic resolvent when evaluated about a steady base flow. We show that the left and right singular vectors of the harmonic resolvent are the optimal response and forcing modes, which can be understood as full spatio-temporal signals that reveal space-time amplification characteristics of the flow. We illustrate the method on examples, including a three-dimensional system of ordinary differential equations and the flow over an airfoil at near-stall angle of attack.

physics.flu-dyn