arXiv++ Combinatorics

We introduce the microscopic weighting, a canonical signed measure of mass one that can be associated to almost any finite metric space. The microscopic weighting is obtained as the small-scale limit of the weightings used to define the magnitude function. We give general criteria for its existence, proving in particular that every finite space of strictly negative type admits a microscopic weighting; this includes every finite subset of Euclidean or hyperbolic space and every finite tree. Heuristically speaking, the microscopic weighting distributes its mass as widely as possible across a space, assigning greater weight to sparse or outlying regions and emphasizing points on the boundary. Indeed, we show that on a finite space of negative type the microscopic weighting can be characterized (when it exists) as an optimizing measure for an energy integral determined by the distance function. Alternatively, it can be characterized in terms of the geometry of the Schoenberg embedding. Each of these interpretations also clarifies the information carried by the derivative of the magnitude function at zero. Though our main focus in this paper is on finite metric spaces, we lay the groundwork to extend the theory to compact subsets of Euclidean space. In that setting, we observe that the microscopic weighting must be understood as a distribution rather than as a measure.

Two important invariants of directed graphs, namely magnitude homology and path homology, have recently been shown to be intimately connected: there is a 'magnitude-path spectral sequence' or 'MPSS' in which magnitude homology appears as the first page, and in which path homology appears as an axis of the second page. In this paper we study the homological and computational properties of the spectral sequence, and in particular of the full second page, which we now call 'bigraded path homology'. We demonstrate that every page of the MPSS deserves to be regarded as a homology theory in its own right, satisfying excision and Kunneth theorems (along with a homotopy invariance property already established by Asao), and that magnitude homology and bigraded path homology also satisfy Mayer-Vietoris theorems. We construct a homotopy theory of graphs (in the form of a cofibration category structure) in which weak equivalences are the maps inducing isomorphisms on bigraded path homology, strictly refining an existing structure based on ordinary path homology. And we provide complete computations of the MPSS for two important families of graphs - the directed and bi-directed cycles - which demonstrate the power of both the MPSS, and bigraded path homology in particular, to distinguish graphs that ordinary path homology cannot.

The last decade has seen the development of path homology and magnitude homology -- two homology theories of directed graphs, each satisfying classic properties such as Kunneth and Mayer-Vietoris theorems. Recent work of Asao has shown that magnitude homology and path homology are related, appearing in different pages of a certain spectral sequence. Here we study the target of that spectral sequence, which we call reachability homology. We prove that it satisfies appropriate homotopy invariance, Kunneth, excision, and Mayer-Vietoris theorems, these all being stronger than the corresponding properties for either magnitude or path homology.

Magnitude is a numerical invariant of metric spaces and graphs, analogous, in a precise sense, to Euler characteristic. Magnitude homology is an algebraic invariant constructed to categorify magnitude. Among the important features of the magnitude of graphs is its behaviour with respect to an operation known as the Whitney twist. We give a homological account of magnitude's invariance under Whitney twists, extending the previously known result to encompass a substantially wider class of gluings. As well as providing a new tool for the computation of magnitudes, this is the first new theorem about magnitude to be proved using magnitude homology.