Glacial Isostatic Adjustment (GIA) models solve the gravitationally self-consistent sea-level equation for the response of the solid Earth and the oceans to changing ice loads. As these models are increasingly embedded in coupled ice-sheet simulations, glacial-cycle calculations, and large ensembles, standard pseudo-spectral 1-D solvers face a steep computational barrier: they evaluate the viscoelastic response by explicitly re-summing every past load increment, scaling quadratically with time steps as $O(N^2)$. Here we show that this computational penalty is an artifact of algorithmic formulation rather than Earth physics. By exploiting the exponential form of the viscoelastic relaxation kernel, we reformulate the viscous response as an exact recursive update of a finite set of modal states, without re-summing the load history. This exact reformulation alone reduces the cost of a run to $O(N)$, yielding a 20.6-fold speed-up relative to a standard full-history 1-D GIA solver for a case study involving a 550-step Antarctic future sea-level projection. Implemented in our open-source solver SLEvolve v1.0, this formulation---combined with fewer, table-free and multithreaded spherical-harmonic transforms, improved file handling, and physics-inspired iteration starts---achieves an end-to-end speed-up of over three orders of magnitude (up to 4,000-fold) against the same 1-D GIA solver, reducing day-long simulations to under thirty seconds on a workstation. Beyond this solid-Earth application, SLEvolve illustrates how human-derived analytical reformulations can be combined with benchmark-harnessed AI-assisted engineering to modernize scientific software. In particular, Numerical regression tests and performance profiling guided the AI agents'implementation choices and helped reject ineffective optimizations.
Sea ice dynamics plays a crucial role in the Earth's climate system, making it an important component of weather and climate prediction models. Its numerical simulation remains challenging, however, as it exhibits complex mechanical behaviors due to a nonlinear ice rheology and interactions with external physical forci...
Ice shelves lose mass primarily by calving, a process controlled by the near-front stress field on timescales that span elastic flexure and viscous creep. We formulate a finite-strain Maxwell model for glacier ice in logarithmic strain space. The Hencky strain of a fixed reference configuration is split additively at t...
Maxime Nutte, S. Skatulla, C. Sansour· 0 citations
Long-period deformation of the solid Earth provides a unique window into mantle rheology between seismic and glacial-isostatic-adjustment (GIA) timescales, where constitutive behavior remains poorly constrained. Laboratory experiments increasingly support broad transient anelastic relaxation, while geodynamic studies d...
L. Caron, E. Ivins, Surendra Adhikari et al.· GRACE/GRACE-FO Science Team...· 0 citations
It is shown that supplying the network with inexpensive input fields derived from low-order ice-flow balances improves this online solver, and suggests that enriching a neural solver's inputs with reduced-order physics can make repeated higher-order solves much cheaper, with no training data and no offline training.
Thomas Gregov, S. Rosier, Brandon D. Finley et al.· 0 citations
Ice shelves are floating seaward extensions of glaciers that form where land‐based ice flows into the ocean. Recent observations suggest that their mechanical behavior is suitably described by a viscoelastic Maxwell model, as this framework captures both the instantaneous elastic response and the time‐dependent visco...
M. Koßler, Sebastian Skatulla, Angelika Humbert et al.· Proceedings in Applied Mathe...· 0 citations
The Kelvin–Helmholtz instability is a fundamental signature of the natural world, manifesting in phenomena ranging from atmospheric clouds to the iconic turbulence of Jupiter’s Great Red Spot. While the linear dynamics of this instability is well-understood, the ultimate fate of the fluid—the final stationary state to...
R. Pakter, Yan Levin· Journal of Statistical Mecha...· 0 citations
Related blog posts
Microsoft Research Blog· microsoft.comOct 30, 2026
Evaluating Microsoft Copilot at enterprise scale requires test data that captures the full complexity of real organizations, yet real enterprise data contains sensitive information that cannot be used for evaluation under any circumstances. The post From synthetic enterprise data evaluations to real Microsoft Copilot AI confidence appeared first on Microsoft Research.
Microsoft Research Blog· microsoft.comOct 29, 2026
Host Sowbhagya Suresh shares some of the latest news and cutting-edge research from across Microsoft—from understanding the challenges facing coding agents to uncovering how people use AI at work and improving extended-range weather forecasting. The post Microsoft Research Focus – Edition #97 appeared first on Microsoft Research.
“X-Hinges” helps design and 3D print items like lamps and gloves with an interactive twist: automatically embedded sensors that perceive and adaptively respond to human contact.
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.