Tootfinder

Fixed points of classical gravity coupled with a Standard-Model-like theory
Latham Boyle, Neil Turok, Vatsalya Vaibhav
https://arxiv.org/abs/2509.09346 https://

Fixed points of classical gravity coupled with a Standard-Model-like theory
Coupling quantum field theory (QFT) \!-\! even free QFT \!-\! to gravity leads to well-known problems. In particular, the stress tensor $T_{μν}$ (gravity's source) and its correlators typically diverge in the UV, creating a conflict between the wildly inhomogeneous spacetime we expect quantum mechanically and the weakly-curved, macroscopic spacetime we observe. Are there QFTs for which these divergences cancel? Here, for simplicity, we consider free quantum fields on a classical curved backgr…

A Category Theoretic Approach to Approximate Game Theory
Neil Ghani (MSP Group, University of Strathclyde)
https://arxiv.org/abs/2509.20932 https://arxiv.o…

A Category Theoretic Approach to Approximate Game Theory
This paper uses category theory to develop an entirely new approach to approximate game theory. Game theory is the study of how different agents within a multi-agent system take decisions. At its core, game theory asks what an optimal decision is in a given scenario. Thus approximate game theory asks what is an approximately optimal decision in a given scenario. This is important in practice as -- just like in much of computing -- exact answers maybe too difficult to compute or even impossible …

Metric Equational Theories
Radu Mardare (Heriot-Watt University, Edinburgh, Scotland), Neil Ghani (University of Strathclyde, Glasgow, Scotland), Eigil Rischel (University of Strathclyde, Glasgow, Scotland)
https://arxiv.org/abs/2509.14094

Metric Equational Theories
This paper proposes appropriate sound and complete proof systems for algebraic structures over metric spaces by combining the development of Quantitative Equational Theories (QET) with the Enriched Lawvere Theories. We extend QETs to Metric Equational Theories (METs) where operations no longer have finite sets as arities (as in QETs and the general theory of universal algebras), but arities are now drawn from countable metric spaces. This extension is inspired by the theory of Enriched Lawvere …