-
Surface to Seafloor: A Generative AI Framework for Decoding the Ocean Interior State
Authors:
Andre N. Souza,
Simone Silvestri,
Katherine Deck,
Tobias Bischoff,
Raffaele Ferrari,
Glenn R. Flierl
Abstract:
Understanding subsurface ocean dynamics is essential for quantifying oceanic heat and mass transport, but direct observations at depth remain sparse due to logistical and technological constraints. In contrast, satellite missions provide rich surface datasets-such as sea surface height, temperature, and salinity-that offer indirect but potentially powerful constraints on the ocean interior. Here,…
▽ More
Understanding subsurface ocean dynamics is essential for quantifying oceanic heat and mass transport, but direct observations at depth remain sparse due to logistical and technological constraints. In contrast, satellite missions provide rich surface datasets-such as sea surface height, temperature, and salinity-that offer indirect but potentially powerful constraints on the ocean interior. Here, we present a probabilistic framework based on score-based diffusion models to reconstruct three-dimensional subsurface velocity and buoyancy fields, including the energetic ocean eddy field, from surface observations. Using a 15-level primitive equation simulation of an idealized double-gyre system, we evaluate the skill of the model in inferring the mean circulation and the mesoscale variability at depth under varying levels of surface information. We find that the generative model successfully recovers key dynamical structures and provides physically meaningful uncertainty estimates, with predictive skill diminishing systematically as the surface resolution decreases or the inference depth increases. These results demonstrate the potential of generative approaches for ocean state estimation and uncertainty quantification, particularly in regimes where traditional deterministic methods are underconstrained or ill-posed.
△ Less
Submitted 23 April, 2025; v1 submitted 18 April, 2025;
originally announced April 2025.
-
High-level, high-resolution ocean modeling at all scales with Oceananigans
Authors:
Gregory L. Wagner,
Simone Silvestri,
Navid C. Constantinou,
Ali Ramadhan,
Jean-Michel Campin,
Chris Hill,
Tomas Chor,
Jago Strong-Wright,
Xin Kai Lee,
Francis Poulin,
Andre Souza,
Keaton J. Burns,
John Marshall,
Raffaele Ferrari
Abstract:
We describe the vision, user interface, governing equations, and numerical methods that underpin new ocean modeling software called ``Oceananigans''. Oceananigans is being developed by the Climate Modeling Alliance as part of a larger project to build a trainable climate model with quantifiable uncertainty. We argue that Oceananigans status as a popular, capable modeling system realizes a vision f…
▽ More
We describe the vision, user interface, governing equations, and numerical methods that underpin new ocean modeling software called ``Oceananigans''. Oceananigans is being developed by the Climate Modeling Alliance as part of a larger project to build a trainable climate model with quantifiable uncertainty. We argue that Oceananigans status as a popular, capable modeling system realizes a vision for accelerating progress in Earth system modeling that balances demands for model accuracy and performance, needed for state-of-the-art science, against accessibility, which is needed to accelerate development. This vision combines three cooperative elements: (i) a relatively simple finite volume algorithm (ii) optimized for high-resolution simulations on GPUs which is (iii) exposed behind an expressive, high-level user interface (using the Julia programming language in our case). We offer evidence for the vision's potential by illustrating the creative potential of our user interface, showcasing Oceananigans physics with example simulations that range from simple classroom problems to a realistic global ocean simulation spanning all scales of oceanic fluid motion, and describing advances in parameterization, numerical methods, and computational efficiency.
△ Less
Submitted 19 February, 2025;
originally announced February 2025.
-
A Modified Bisecting K-Means for Approximating Transfer Operators: Application to the Lorenz Equations
Authors:
Andre N. Souza,
Simone Silvestri
Abstract:
We investigate the convergence behavior of the extended dynamic mode decomposition for constructing a discretization of the continuity equation associated with the Lorenz equations using a nonlinear dictionary of over 1,000,000 terms. The primary objective is to analyze the resulting operator by varying the number of terms in the dictionary and the timescale. We examine what happens when the numbe…
▽ More
We investigate the convergence behavior of the extended dynamic mode decomposition for constructing a discretization of the continuity equation associated with the Lorenz equations using a nonlinear dictionary of over 1,000,000 terms. The primary objective is to analyze the resulting operator by varying the number of terms in the dictionary and the timescale. We examine what happens when the number of terms of the nonlinear dictionary is varied with respect to its ability to represent the invariant measure, Koopman eigenfunctions, and temporal autocorrelations. The dictionary comprises piecewise constant functions through a modified bisecting k-means algorithm and can efficiently scale to higher-dimensional systems.
△ Less
Submitted 4 December, 2024;
originally announced December 2024.
-
Oceananigans.jl: A Julia library that achieves breakthrough resolution, memory and energy efficiency in global ocean simulations
Authors:
Simone Silvestri,
Gregory L. Wagner,
Christopher Hill,
Matin Raayai Ardakani,
Johannes Blaschke,
Jean-Michel Campin,
Valentin Churavy,
Navid C. Constantinou,
Alan Edelman,
John Marshall,
Ali Ramadhan,
Andre Souza,
Raffaele Ferrari
Abstract:
Climate models must simulate hundreds of future scenarios for hundreds of years at coarse resolutions, and a handful of high-resolution decadal simulations to resolve localized extreme events. Using Oceananigans.jl, written from scratch in Julia, we report several achievements: First, a global ocean simulation with breakthrough horizontal resolution -- 488m -- reaching 15 simulated days per day (0…
▽ More
Climate models must simulate hundreds of future scenarios for hundreds of years at coarse resolutions, and a handful of high-resolution decadal simulations to resolve localized extreme events. Using Oceananigans.jl, written from scratch in Julia, we report several achievements: First, a global ocean simulation with breakthrough horizontal resolution -- 488m -- reaching 15 simulated days per day (0.04 simulated years per day; SYPD). Second, Oceananigans simulates the global ocean at 488m with breakthrough memory efficiency on just 768 Nvidia A100 GPUs, a fraction of the resources available on current and upcoming exascale supercomputers. Third, and arguably most significant for climate modeling, Oceananigans achieves breakthrough energy efficiency reaching 0.95 SYPD at 1.7 km on 576 A100s and 9.9 SYPD at 10 km on 68 A100s -- the latter representing the highest horizontal resolutions employed by current IPCC-class ocean models. Routine climate simulations with 10 km ocean components are within reach.
△ Less
Submitted 14 October, 2024; v1 submitted 12 September, 2023;
originally announced September 2023.
-
Formulation and calibration of CATKE, a one-equation parameterization for microscale ocean mixing
Authors:
Gregory LeClaire Wagner,
Adeline Hillier,
Navid C. Constantinou,
Simone Silvestri,
Andre Souza,
Keaton Burns,
Chris Hill,
Jean-Michel Campin,
John Marshall,
Raffaele Ferrari
Abstract:
We describe CATKE, a parameterization for fluxes associated with small-scale or "microscale" ocean turbulent mixing on scales between 1 and 100 meters. CATKE uses a downgradient formulation that depends on a prognostic turbulent kinetic energy (TKE) variable and a diagnostic mixing length scale that includes a dynamic convective adjustment (CA) component. With its dynamic convective mixing length,…
▽ More
We describe CATKE, a parameterization for fluxes associated with small-scale or "microscale" ocean turbulent mixing on scales between 1 and 100 meters. CATKE uses a downgradient formulation that depends on a prognostic turbulent kinetic energy (TKE) variable and a diagnostic mixing length scale that includes a dynamic convective adjustment (CA) component. With its dynamic convective mixing length, CATKE predicts not just the depth spanned by convective plumes but also the characteristic convective mixing timescale, an important aspect of turbulent convection not captured by simpler static convective adjustment schemes. As a result, CATKE can describe the competition between convection and other processes such as shear-driven mixing and baroclinic restratification. To calibrate CATKE, we use Ensemble Kalman Inversion to minimize the error between 21 large eddy simulations (LES) and predictions of the LES data by CATKE-parameterized single column simulations at three different vertical resolutions. We find that CATKE makes accurate predictions of both idealized and realistic LES compared to microscale turbulence parameterizations commonly used in climate models.
△ Less
Submitted 22 June, 2024; v1 submitted 22 June, 2023;
originally announced June 2023.
-
R\&D evaluation methodology based on group-AHP with uncertainty
Authors:
Alberto Garinei,
Emanuele Piccioni,
Massimiliano Proietti,
Andrea Marini,
Stefano Speziali,
Marcello Marconi,
Raffaella Di Sante,
Sara Casaccia,
Paolo Castellini,
Milena Martarelli,
Nicola Paone,
Gian Marco Revel,
Lorenzo Scalise,
Marco Arnesano,
Paolo Chiariotti,
Roberto Montanini,
Antonino Quattrocchi,
Sergio Silvestri,
Giorgio Ficco,
Emanuele Rizzuto,
Andrea Scorza,
Matteo Lancini,
Gianluca Rossi,
Roberto Marsili,
Emanuele Zappa
, et al. (3 additional authors not shown)
Abstract:
In this paper, we present an approach to evaluate Research \& Development (R\&D) performance based on the Analytic Hierarchy Process (AHP) method. Through a set of questionnaires submitted to a team of experts, we single out a set of indicators needed for R\&D performance evaluation. The indicators, together with the corresponding criteria, form the basic hierarchical structure of the AHP method.…
▽ More
In this paper, we present an approach to evaluate Research \& Development (R\&D) performance based on the Analytic Hierarchy Process (AHP) method. Through a set of questionnaires submitted to a team of experts, we single out a set of indicators needed for R\&D performance evaluation. The indicators, together with the corresponding criteria, form the basic hierarchical structure of the AHP method. The numerical values associated with all the indicators are then used to assign a score to a given R\&D project. In order to aggregate consistently the values taken on by the different indicators, we operate on them so that they are mapped to dimensionless quantities lying in a unit interval. This is achieved by employing the empirical Cumulative Density Function (CDF) for each of the indicators. We give a thorough discussion on how to assign a score to an R\&D project along with the corresponding uncertainty due to possible inconsistencies of the decision process. A particular example of R\&D performance is finally considered.
△ Less
Submitted 22 November, 2021; v1 submitted 5 August, 2021;
originally announced August 2021.
-
Probe of Multi-electron Dynamics in Xenon by Caustics in High Order Harmonic Generation
Authors:
Davide FaccialĂ ,
Stefan Pabst,
Barry D. Bruner,
Anna G. Ciriolo,
Sandro De Silvestri,
Michele Devetta,
Matteo Negro,
Hadas Soifer,
Salvatore Stagira,
Nirit Dudovich,
Caterina Vozzi
Abstract:
We investigated the giant resonance in Xenon by high-order harmonic generation spectroscopy driven by a two-color field. The addition of a non-perturbative second harmonic component parallel to the driving field breaks the symmetry between neighboring sub-cycles resulting in the appearance of spectral caustics at two distinct cut-off energies. By controlling the phase delay between the two color c…
▽ More
We investigated the giant resonance in Xenon by high-order harmonic generation spectroscopy driven by a two-color field. The addition of a non-perturbative second harmonic component parallel to the driving field breaks the symmetry between neighboring sub-cycles resulting in the appearance of spectral caustics at two distinct cut-off energies. By controlling the phase delay between the two color components it is possible to tailor the harmonic emission in order to amplify and isolate the spectral feature of interest. In this paper we demonstrate how this control scheme can be used to investigate the role of electron correlations that give birth to the giant resonance in Xenon. The collective excitations of the giant dipole resonance in Xenon combined with the spectral manipulation associated with the two color driving field allow to see features that are normally not accessible and to obtain a quantitative good agreement between the experimental results and the theoretical predictions.
△ Less
Submitted 5 March, 2016;
originally announced March 2016.
-
Focusing effect of bent GaAs crystals for gamma-ray Laue lenses: Monte Carlo and experimental results
Authors:
E. Virgilli,
F. Frontera,
P. Rosati,
E. Bonnini,
E. Buffagni,
C. Ferrari,
J. B. Stephen,
E. Caroli,
N. Auricchio,
A. Basili,
S. Silvestri
Abstract:
We report on results of observation of the focusing effect from the planes (220) of Gallium Arsenide (GaAs) crystals. We have compared the experimental results with the simulations of the focusing capability of GaAs tiles through a developed Monte Carlo. The GaAs tiles were bent using a lapping process developed at the cnr/imem - Parma (Italy) in the framework of the laue project, funded by ASI, d…
▽ More
We report on results of observation of the focusing effect from the planes (220) of Gallium Arsenide (GaAs) crystals. We have compared the experimental results with the simulations of the focusing capability of GaAs tiles through a developed Monte Carlo. The GaAs tiles were bent using a lapping process developed at the cnr/imem - Parma (Italy) in the framework of the laue project, funded by ASI, dedicated to build a broad band Laue lens prototype for astrophysical applications in the hard X-/soft gamma-ray energy range (80-600 keV). We present and discuss the results obtained from their characterization, mainly in terms of focusing capability. Bent crystals will significantly increase the signal to noise ratio of a telescope based on a Laue lens, consequently leading to an unprecedented enhancement of sensitivity with respect to the present non focusing instrumentation.
△ Less
Submitted 2 December, 2015;
originally announced December 2015.
-
Towards a Realistic Model for Failure Propagation in Interdependent Networks
Authors:
Agostino Sturaro,
Simone Silvestri,
Mauro Conti,
Sajal K. Das
Abstract:
Modern networks are becoming increasingly interdependent. As a prominent example, the smart grid is an electrical grid controlled through a communications network, which in turn is powered by the electrical grid. Such interdependencies create new vulnerabilities and make these networks more susceptible to failures. In particular, failures can easily spread across these networks due to their interd…
▽ More
Modern networks are becoming increasingly interdependent. As a prominent example, the smart grid is an electrical grid controlled through a communications network, which in turn is powered by the electrical grid. Such interdependencies create new vulnerabilities and make these networks more susceptible to failures. In particular, failures can easily spread across these networks due to their interdependencies, possibly causing cascade effects with a devastating impact on their functionalities.
In this paper we focus on the interdependence between the power grid and the communications network, and propose a novel realistic model, HINT (Heterogeneous Interdependent NeTworks), to study the evolution of cascading failures. Our model takes into account the heterogeneity of such networks as well as their complex interdependencies. We compare HINT with previously proposed models both on synthetic and real network topologies. Experimental results show that existing models oversimplify the failure evolution and network functionality requirements, resulting in severe underestimations of the cascading failures.
△ Less
Submitted 28 October, 2015;
originally announced October 2015.
-
High-order harmonic spectroscopy for molecular imaging of polyatomic molecules
Authors:
M. Negro,
M. Devetta,
D. FaccialĂ ,
S. De Silvestri,
C. Vozzi,
S. Stagira
Abstract:
High-order harmonic generation is a powerful and sensitive tool for probing atomic and molecular structures, combining in the same measurement an unprecedented attosecond temporal resolution with a high spatial resolution, of the order of the angstrom. Imaging of the outermost molecular orbital by high-order harmonic generation has been limited for a long time to very simple molecules, like nitrog…
▽ More
High-order harmonic generation is a powerful and sensitive tool for probing atomic and molecular structures, combining in the same measurement an unprecedented attosecond temporal resolution with a high spatial resolution, of the order of the angstrom. Imaging of the outermost molecular orbital by high-order harmonic generation has been limited for a long time to very simple molecules, like nitrogen. Recently we demonstrated a technique that overcame several of the issues that have prevented the extension of molecular orbital tomography to more complex species, showing that molecular imaging can be applied to a triatomic molecule like carbon dioxide. Here we report on the application of such technique to nitrous oxide (N2O) and acetylene (C2H2). This result represents a first step towards the imaging of fragile compounds, a category which includes most of the fundamental biological molecules.
△ Less
Submitted 3 December, 2014;
originally announced December 2014.
-
Studying the universality of field induced tunnel ionization times via high-order harmonic spectroscopy
Authors:
Hadas Soifer,
Barry D. Bruner,
Matteo Negro,
Michele Devetta,
Davide FaccialĂ ,
Caterina Vozzi,
Sandro de Silvestri,
Salvatore Stagira,
Nirit Dudovich
Abstract:
High-harmonics generation spectroscopy is a promising tool for resolving electron dynamics and structure in atomic and molecular systems. This scheme, commonly described by the strong field approximation, requires a deep insight into the basic mechanism that leads to the harmonics generation. Recently, we have demonstrated the ability to resolve the first stage of the process -- field induced tunn…
▽ More
High-harmonics generation spectroscopy is a promising tool for resolving electron dynamics and structure in atomic and molecular systems. This scheme, commonly described by the strong field approximation, requires a deep insight into the basic mechanism that leads to the harmonics generation. Recently, we have demonstrated the ability to resolve the first stage of the process -- field induced tunnel ionization -- by adding a weak perturbation to the strong fundamental field. Here we generalize this approach and show that the assumptions behind the strong field approximation are valid over a wide range of tunnel ionization conditions. Performing a systematic study -- modifying the fundamental wavelength, intensity and atomic system -- we observed a good agreement with quantum path analysis over a range of Keldysh parameters. The generality of this scheme opens new perspectives in high harmonics spectroscopy, holding the potential of probing large, complex molecular systems.
△ Less
Submitted 19 May, 2014;
originally announced May 2014.
-
The coherent dynamics of photoexcited green fluorescent proteins
Authors:
Riccardo A. G. Cinelli,
Valentina Tozzini,
Vittorio Pellegrini,
Fabio Beltram,
Giulio Cerullo,
Margherita Zavelani-Rossi,
Sandro De Silvestri,
Mudit Tyagi,
Mauro Giacca
Abstract:
The coherent dynamics of vibronic wave packets in the green fluorescent protein is reported. At room temperature the non-stationary dynamics following impulsive photoexcitation displays an oscillating optical transmissivity pattern with components at 67 fs (497 cm-1) and 59 fs (593 cm-1). Our results are complemented by ab initio calculations of the vibrational spectrum of the chromophore. This…
▽ More
The coherent dynamics of vibronic wave packets in the green fluorescent protein is reported. At room temperature the non-stationary dynamics following impulsive photoexcitation displays an oscillating optical transmissivity pattern with components at 67 fs (497 cm-1) and 59 fs (593 cm-1). Our results are complemented by ab initio calculations of the vibrational spectrum of the chromophore. This analysis shows the interplay between the dynamics of the aminoacidic structure and the electronic excitation in the primary optical events of green fluorescent proteins.
△ Less
Submitted 20 February, 2001;
originally announced February 2001.