Tootfinder

Growing Mathlib: maintenance of a large scale mathematical library
Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, Damiano Testa
https://arxiv.org/abs/2508.21593

Growing Mathlib: maintenance of a large scale mathematical library
The Lean mathematical library Mathlib is one of the fastest-growing libraries of formalised mathematics. We describe various strategies to manage this growth, while allowing for change and avoiding maintainer overload. This includes dealing with breaking changes via a deprecation system, using code quality analysis tools (linters) to provide direct user feedback about common pitfalls, speeding up compilation times through conscious library (re-)design, dealing with technical debt as well as wri…

Improved Analysis of Khatri-Rao Random Projections and Applications
Arvind K. Saibaba, Bhisham Dev Verma, Grey Ballard
https://arxiv.org/abs/2507.23207 https://

Improved Analysis of Khatri-Rao Random Projections and Applications
Randomization has emerged as a powerful set of tools for large-scale matrix and tensor decompositions. Randomized algorithms involve computing sketches with random matrices. A prevalent approach is to take the random matrix as a standard Gaussian random matrix, for which the theory is well developed. However, this approach has the drawback that the cost of generating and multiplying by the random matrix can be prohibitively expensive. Khatri-Rao random projections (KRPs), obtained by sketching …

Crosslisted article(s) found for cs.MS. https://arxiv.org/list/cs.MS/new
[1/1]:
- Growing Mathlib: maintenance of a large scale mathematical library
Baanen, Ballard, Commelin, Chen, Rothgang, Testa

Crosslisted article(s) found for math.HO. https://arxiv.org/list/math.HO/new
[1/1]:
- Growing Mathlib: maintenance of a large scale mathematical library
Baanen, Ballard, Commelin, Chen, Rothgang, Testa

A Late-Time Rise in Planet Occurrence Reproduces the Galactic Height Trend in Planet Occurrence
Christopher Lam, Sarah Ballard, Sheila Sagear, Kathryne J. Daniel
https://arxiv.org/abs/2507.21250

A Late-Time Rise in Planet Occurrence Reproduces the Galactic Height Trend in Planet Occurrence
While stellar metallicity has long been known to correlate with planetary properties, the galactic metallicity gradient alone does not account for the trend. It is therefore possible that there exists some time-dependent component to planet occurrence in the Milky Way over Gyr timescales, driven by something other than the metal enrichment of the ISM. In this paper, we investigate the observable effect of a time-dependent planet occurrence rate upon a Kepler-like sample of stars. Using a novel …

Young people today are calling J. G. Ballard's Crash the "OG yaoi"

So when the narrow-ass Ballard Bridge sidewalk pops up in 10 Things I Hate About You, do other people loudly boo at the screen? Or is that just me?

Transition from Continuous to Jumping Solutions in 2D Quasi-static Elastic Contact Problems with Coulomb Friction: the Mathematics Underlying the Onset of Brake Squeal
Patrick Ballard, Flaviana Iurlano
https://arxiv.org/abs/2508.04863

Transition from Continuous to Jumping Solutions in 2D Quasi-static Elastic Contact Problems with Coulomb Friction: the Mathematics Underlying the Onset of Brake Squeal
We formulate the quasi-static elastic contact problem with Coulomb friction in a very general setting, with possible jumps in time for both the load and the solution. Exploiting ideas originating in our recent paper [4], we exhibit an optimal condition on the magnitude of the friction coefficient under which we prove the existence of an absolutely continuous solution for arbitrary absolutely continuous loads in the case of the most general 2D problem. We provide examples showing that, when the …

The Orbital Eccentricity-Radius Relation for Planets Orbiting M Dwarfs
Sheila Sagear, Sarah Ballard, Gregory J. Gilbert, Mariangel Albornoz, Christopher Lam
https://arxiv.org/abs/2507.07169

The Orbital Eccentricity-Radius Relation for Planets Orbiting M Dwarfs
The orbital eccentricity-radius relation for small planets is indicative of the predominant dynamical sculpting processes during late-stage orbital evolution. Previous studies have shown that planets orbiting Sun-like stars exhibit an eccentricity-radius trend such that larger planets have higher orbital eccentricities, and that radius gap planets may have modestly higher orbital eccentricities than planets on either side of the radius gap. In this work, we investigate the trend for a sample of…