Mixed-Precision Computing for Scientific Discovery: Formats, Co-Design, and Responsible Approximation

Emmanuel Agullo; Hartwig Anzt; Daniel Bauer; David Bindel; Alfredo Buttari; Alexandru Calotoiu; Erin Claire Carson; Pasqua D'Ambra; Ieva Daužickaitė; James W. Demmel; Jack Dongarra; Iain Duff; Massimiliano Fasi; Dominik Göddeke; Stef Graillat; Laslo Hunhold; Roman Iakymchuk; Fabienne Jézéquel; Nils Kohl; Harald Köstler; Jakub Kružík; Julien Langou; Xiaoye Sherry Li; Hatem Ltaief; Piotr Luszczek; Yuxin Ma; Theo Mary; Mantas Mikaitis; Hiroyuki Ootomo; Daniel Osei-Kuffuor; Enrique S. Quintana-Ortí; Ulrich Rüde; Jennifer Scott; John Shalf; Linda Stals; Rasmus Tamstorf; Stefan Turek; Petr Vacek; Bastien Vieublé; Rio Yokota

arXiv · 2609.37137

Mixed-Precision Computing for Scientific Discovery: Formats, Co-Design, and Responsible Approximation

View original source ↗Read source document ↗Export metadata ↓

Abstract

Reduced and mixed precision have moved from a niche optimization to a central design axis in scientific computing and engineering, driven by energy constraints, heterogeneous accelerators, and the convergence of simulation and machine learning. This paper organizes the landscape around seven coupled themes---number formats, floating-point emulation, emerging architectures, hardware/software co-design, relation to other approximations, software design, and precision as a multilevel resource ---and, for each theme, synthesizes the state of the art, future directions, and open questions. We emphasize \emph{energy per trusted solution} as the core objective, and we frame \say{recklessly responsible} computing as a pragmatic doctrine: exploit low precision aggressively, but with systematic detection, escalation, and certification pathways.

Explore related subjects

math.NA cs.AR cs.MS cs.NA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Emmanuel Agullo, Hartwig Anzt, Daniel Bauer, David Bindel, Alfredo Buttari, Alexandru Calotoiu, Erin Claire Carson, Pasqua D'Ambra, Ieva Daužickaitė, James W. Demmel, Jack Dongarra, Iain Duff, Massimiliano Fasi, Dominik Göddeke, Stef Graillat, Laslo Hunhold, Roman Iakymchuk, Fabienne Jézéquel, Nils Kohl, Harald Köstler, Jakub Kružík, Julien Langou, Xiaoye Sherry Li, Hatem Ltaief, Piotr Luszczek, Yuxin Ma, Theo Mary, Mantas Mikaitis, Hiroyuki Ootomo, Daniel Osei-Kuffuor, Enrique S. Quintana-Ortí, Ulrich Rüde, Jennifer Scott, John Shalf, Linda Stals, Rasmus Tamstorf, Stefan Turek, Petr Vacek, Bastien Vieublé, Rio Yokota. 2026-09-29. Mixed-Precision Computing for Scientific Discovery: Formats, Co-Design, and Responsible Approximation. https://arxiv.org/abs/2609.37137

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Error Estimates for the Arnoldi Approximation of a Matrix Square Root

The Arnoldi process provides an efficient framework for approximating functions of a matrix applied to a vector, i.e., of the form $f(M)\bm{b}$, by repeated matrix-vector multiplications. In this paper, we derive error estimates for approximating the action of a matrix square root using the Arnoldi process, where the integral representation of the error is reformulated in terms of the error for solving the linear system $M\bm{x}=\bm{b}$. The results extend the error analysis of the Lanczos method for Hermitian matrices in [Chen et al., SIAM J. Matrix Anal. Appl., 2022] to non-Hermitian cases and provide an improved bound for the Hermitian case. Furthermore, in practical settings, the matrix may only be available via approximate or structured representations. Motivated by this, we extend the analysis and establish a generalized error bound for perturbed matrices. The numerical results on matrices with different structures demonstrate that our theoretical analysis yields a reliable upper bound. Finally, simulations on large-scale matrices arising in particulate suspensions, represented in hierarchical matrix form, validate the effectiveness and practicality of the approach.

math.NA↗

arXiv2026

Study of a TPFA scheme for the stochastic Allen-Cahn problem with constraint through numerical experiments

We study the properties of a fully discrete numerical scheme for the stochastic Allen-Cahn problem with constraint on a bounded polygonal domain in two or three dimensions with homogeneous Neumann boundary condition. The scheme under consideration is of Two Point Flux Approximation (TPFA) type with respect to space and of semi-implicit Euler-Maruyama type with respect to time. The constraint is implemented by a multivalued, subdifferential operator which makes the problem a differential inclusion. This operator is incorporated into the scheme via its Yosida approximation, at the expense of introducing an additional regularization parameter. From previous studies it is known that the time discretization of the Yosida approximation has to be implicit in order to obtain a convergent scheme. Consequently, a non-linear and non-smooth equation has to be solved at each time step and this is challenging for the computation of approximate solutions. In this contribution, we introduce a splitting method to compute the solutions of the TPFA approximations. This method allows us to solve a linear equation in a first step. Then, a piecewise affine projection operator coming from the Yosida approximation can be computed explicitly in a second step. We quantify the error coming from the splitting method and show that the splitting method is accurate. We study properties of the scheme and provide convergence rates through numerical experiments.

math.NA↗

arXiv2026

Spectral density estimation for normal matrices

The spectral density estimation problem asks for an algorithm that, given an $n\times n$ matrix $A$, outputs a probability measure that is a good approximation to the uniform distribution on the eigenvalues of $A$, called the spectral density of $A$. This paper considers the setting where $A$ is a large normal matrix that is accessible only through matrix-vector product queries. We provide an algorithm that makes just $m$ matrix-vector queries to $A$ and returns, with high probability, a measure within earth mover's distance $O(1/m+\log m/{\sqrt n})$ of the true spectral density of $A$. We provide a complementary lower bound that any algorithm producing an $\varepsilon$-approximation to the true spectral density for large matrices must make $Ω(1/\varepsilon)$ matrix-vector queries. The lower bound holds even for the more restricted case of real symmetric input matrices. In combination with our upper bound, it shows that spectral density estimation is essentially no harder for complex normal matrices than for real symmetric matrices.

math.NA↗