Tootfinder

Michel Talagrand took home the 2024 #Abel #Prize for his work on stochastic systems, randomness and a proof of a physics reaction that many experts thought was unsolvable
#Talagrand’s work focuses on

Cosmic variance of the Hellings and Downs correlation for ensembles of universes having non-zero angular power spectra
Deepali Agarwal, Joseph D. Romano
https://arxiv.org/abs/2404.08574

Cosmic variance of the Hellings and Downs correlation for ensembles of universes having non-zero angular power spectra
Gravitational waves induce correlated perturbations to the arrival times of pulses from an array of galactic millisecond pulsars. The expected correlations, obtained by averaging over many pairs of pulsars having the same angular separation (pulsar averaging) and over an ensemble of model universes (ensemble averaging), are described by the Hellings and Downs curve. As shown by Allen {\tt arXiv:2205.05637v7 [gr-qc]}, the pulsar-averaged correlation will not agree exactly with the expected Helli…

This https://arxiv.org/abs/2309.12164 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

Stratified Type Theory
A hierarchy of type universes is a rudimentary ingredient in the type theories of many proof assistants to prevent the logical inconsistency resulting from combining dependent functions and the type-in-type rule. In this work, we argue that a universe hierarchy is not the only option for a type theory with a type universe. Taking inspiration from Leivant's Stratified System F, we introduce Stratified Type Theory (StraTT), where rather than stratifying universes by levels, we stratify typing jud…