Magnitude homology is an emerging framework that captures the intrinsic topological and geometric features of metric spaces, demonstrating significant potential for topoplogical data analysis and geometric data analysis. This work introduces persistent magnitude homology, an extension of magnitude homology that captures multi-scale geometric and topological features of metric spaces. We construct the category of finite metric spaces with isometric embeddings and show that magnitude homology defines a functor to the category of abelian groups, naturally leading to the definition of persistent magnitude homology. We also introduce weighted persistent modules and weighted barcodes to offer both an algebraic and visual description of persistent magnitude homology. Additionally, we present an isometry theorem that relates interleaving distances and bottleneck distances, and establish stability results for persistent magnitude homology and magnitude profile. These results establish the stability of magnitude-based descriptors, bridging the gap between theory and practical application.
We define and study the magnitude and magnitude homology of a real hyperplane arrangement by regarding its tope graph as a metric space. We prove several structural results for the magnitude of arrangements, including a symmetry formula, palindromicity of the numerator and denominator, a face decomposition formula, and results on the sign pattern of the magnitude power series. For the magnitude homology of arrangements, we obtain combinatorial formulas for small lengths and show that it detects Boolean arrangements. We also lift the face decomposition formula to a homological decomposition and derive explicit formulas for the diagonal magnitude Betti numbers. Another notable feature is that the magnitude Euler characteristic satisfies a reciprocity theorem analogous to Ehrhart--Macdonald reciprocity. We conclude by presenting several conjectures. In particular, we conjecture that the magnitude homology of an arrangement is torsion-free and is determined by the intersection lattice.
The computation of magnitudes and distances from low signal-to-noise observations is known to be problematic, in the sense that the magnitudes and distances tend to assume extreme values, or are even undefined or unphysical in the case of negative observed fluxes or parallaxes. In this work we show that magnitudes can be computed consistently at all signal-to-noise levels, and even for negative fluxes, if the prior information that the true flux or distance is non-negative is properly included. Furthermore, we derive an all-purpose estimator for distances from a prior implementing only the non-negativity of the true parallax. We apply our results to the case of combining magnitudes to colours, and magnitudes and distances to obtain absolute magnitudes. The resulting expressions are easy to compute and we show that the resulting distribution functions for magnitudes, colours, distances, and absolute magnitudes are not only consistent for all signal-to-noise levels and applicable to both, positive and negative observed fluxes and parallaxes, but also show no strong tails. While biases at very low signal-to-noise levels are unavoidable, the estimator for distances derived in this work
In this paper we explore the connection between the ranks of the magnitude homology groups of a graph and the structure of its subgraphs. To this end, we introduce variants of magnitude homology called eulerian magnitude homology and discriminant magnitude homology. Leveraging the combinatorics of the differential in magnitude homology, we illustrate a close relationship between the ranks of the eulerian magnitude homology groups on the first diagonal and counts of subgraphs which fall in specific classes. We leverage these tools to study limiting behavior of the eulerian magnitude homology groups for Erdos-Renyi random graphs and random geometric graphs, producing for both models a vanishing threshold for the eulerian magnitude homology groups on the first diagonal. This in turn provides a characterization of the generators for the corresponding magnitude homology groups. Finally, we develop an explicit asymptotic estimate the expected rank of eulerian magnitude homology along the first diagonal for these random graph models.
Above the magnitude of completeness - the minimum threshold for which a 100\% detection rate is assumed - earthquake magnitudes are typically modeled as a continuous exponential distribution. In practice, however, earthquake catalogs report magnitudes with finite resolution, resulting in a discrete (geometric) distribution. To determine the magnitude of completeness, the Lilliefors test is commonly applied. Because this test assumes continuous data, it is standard practice to add uniform noise to binned magnitudes prior to testing exponentiality. Here we show analytically that uniform dithering does not recover the underlying continuous exponential distribution from its discretized (geometric) form. It instead returns a piecewise-constant residual lifetime distribution, whose deviation from the exponential model becomes detectable as catalog size or bin width increases. Through numerical experiments, we demonstrate that this deviation yields a systematic overestimation of the magnitude of completeness, with biases exceeding one magnitude unit in large, high-resolution catalogs. We derive the exact noise distribution - a truncated exponential within each magnitude bin - that correct
Low-Rank Adaptation (LoRA) offers a parameter-efficient paradigm for tuning large models. While recent spectral initialization methods improve convergence and performance over the naive "Noise & Zeros" scheme, their extra computational and storage overhead undermines efficiency. In this paper, we establish update magnitude as the fundamental driver of LoRA performance and propose LoRAM, a magnitude-driven "Basis & Basis" initialization scheme that matches spectral methods without their inefficiencies. Our key contributions are threefold: (i) Magnitude of weight updates determines convergence. We prove low-rank structures intrinsically bound update magnitudes, unifying hyperparameter tuning in learning rate, scaling factor, and initialization as mechanisms to optimize magnitude regulation. (ii) Spectral initialization succeeds via magnitude amplification. We demystify that the presumed knowledge-driven benefit of the spectral component essentially arises from the boost in the weight update magnitude. (iii) A novel and compact initialization strategy, LoRAM, scales deterministic orthogonal bases using pretrained weight magnitudes to simulate spectral gains. Extensive experime
The purpose of this article is twofold. Firstly, we use the next-token probabilities given by a language model to explicitly define a category of texts in natural language enriched over the unit interval, in the sense of Bradley, Terilla, and Vlassopoulos. We consider explicitly the terminating conditions for text generation and determine when the enrichment itself can be interpreted as a probability over texts. Secondly, we compute the Möbius function and the magnitude of an associated generalized metric space of texts. The magnitude function of that space is a sum over texts (prompts) of the $t$-logarithmic (Tsallis) entropies of the next-token probability distributions associated with each prompt, plus the cardinality of the model's possible outputs. A suitable evaluation of the magnitude function's derivative recovers a sum of Shannon entropies, which justifies seeing magnitude as a partition function. Following Leinster and Shulman, we also express the magnitude function of the generalized metric space as an Euler characteristic of magnitude homology and provide an explicit description of the zeroeth and first magnitude homology groups.
We investigate \emph{magnitude} as a new unary and strictly Pareto-compliant quality indicator for finite approximation sets to the Pareto front in multiobjective optimization. Magnitude originates in enriched category theory and metric geometry, where it is a notion of size or point content for compact metric spaces and a generalization of cardinality. For dominated regions in the \(\ell_1\) box setting, magnitude is close to hypervolume but not identical: it contains the top-dimensional hypervolume term together with positive lower-dimensional projection and boundary contributions. This paper gives a first theoretical study of magnitude as an indicator. We consider multiobjective maximization with a common anchor point. For dominated sets generated by finite approximation sets, we derive an all-dimensional projection formula, prove weak and strict set monotonicity on finite unions of anchored boxes, and thereby obtain weak and strict Pareto compliance. Unlike hypervolume, magnitude assigns positive value to boundary points sharing one or more coordinates with the anchor point, even when their top-dimensional hypervolume contribution vanishes. We then formulate projected set-gradi
The main result of this article is a geometric interpretation of magnitude, a real-valued invariant of metric spaces. We introduce a Euclidean embedding of a (suitable) finite metric space $X$ such that the magnitude of $X$ can be expressed in terms of the `circumradius' of its embedding $S$. The circumradius is the radius of the unique sphere that goes through $S$. We give three applications: First, we describe the asymptotic behaviour of the magnitude of $tX$ as $t\rightarrow \infty$, in terms of the circumradius. Second, we develop a matrix theory for magnitude that leads to explicit relations between the magnitude of $X$ and the magnitude of its subspaces. Third, we identify a new regime in the limiting behaviour of $tX$, and use this to show submodularity-type results for magnitude as a function on subspaces.
Magnitude is an isometric invariant of metric spaces introduced by Leinster. Since its inception, it has inspired active research into its connections with integral geometry, geometric measure theory, fractal dimensions, persistent homology, and applications in machine learning. In particular, when it comes to applications, continuity and stability of invariants play an important role. Although it has been shown that magnitude is nowhere continuous on the Gromov--Hausdorff space of finite metric spaces, positive results are possible if we restrict the ambient space. In this paper, we introduce the notion of tractable metric spaces, provide a characterization of these spaces, and establish several continuity results for magnitude in this setting. As a consequence, we offer a new proof of a known result stating that magnitude is continuous on the space of compact subsets of $\mathbb{R}$ with respect to the Hausdorff metric. Furthermore, we show that the magnitude function is Lipschitz when restricted to bounded subspaces of $\mathbb{R}$.
We compute the magnitude (an isometric invariant of metric spaces) of compact $\mathbb{R}$-trees and show that it equals $1 + L/2$, where $L \in [0, \infty]$ denotes the total length. Although length is the only geometric invariant captured by magnitude, we show that diversity-maximizing measures on compact $\mathbb{R}$-trees are more sensitive to the branching structure as they tend to be more concentrated toward the leaves: their support contains no branch points. In the finite case, we further show that maximum diversity on a weighted tree can be computed in polynomial time.
A nonsmooth set-gradient ascent method is developed for moving finite approximation sets toward the Pareto front in multiobjective optimization. The method optimizes layered set indicators: a base indicator is evaluated on successive nondomination layers, and the layer values are combined with rapidly decreasing weights. This gives ascent directions to nondominated and dominated points while preventing deeper layers from compensating for deterioration of the first front. Two base indicators are treated: the hypervolume indicator and the magnitude indicator of the dominated set, whose expansion over coordinate projections contains extent, projected-area, and volume terms. The scalar objectives are nonsmooth because nondomination layers change combinatorially and the active orthogonal-union geometry changes piecewise. On fixed strata, where layer assignments and active geometry remain unchanged, the indicators are piecewise smooth and chamberwise continuous. For the magnitude indicator, an exact gradient formula is derived as a linear combination of hypervolume gradients of projected shadow sets. Thus, for fixed objective dimension, magnitude gradients have the same asymptotic time c
We present several applications of matrix-theoretic inequalities to the magnitude of metric spaces. We first resolve an open problem by showing that the magnitude of any finite metric space of negative type is less than or equal to its cardinality. This is a direct consequence of Styan's matrix inequality involving the Hadamard product of matrices. By related methods we also show a subadditivity property for the magnitude function of negative type compact metric spaces, and prove a convexity property for the magnitude for metrics interpolating in a natural way between two given, comparable metrics on a given set.
Friction losses in rough pipes are often predicted using semi-empirical correlations, such as the Colebrook-White equation (Colebrook,1939), which do not fully replicate Nikuradse's rough-pipe experiments (1950). This study derives scaling relations for the viscous and turbulent contributions to the streamwise pressure drop through an order-of-magnitude analysis of the Reynolds-averaged Navier-Stokes equations and the kinetic-energy transport equations. These relations impose constraints on the local sensitivity of the pressure drop to factors such as mean velocity, roughness, viscosity, and density through exponent envelopes and serve as a physical prior for symbolic regression. By combining Nikuradse's rough-pipe and smooth-pipe data of Zagarola and Smits (1998), we aim to derive compact correlations for the friction factor that fit experimental data while adhering to the derived constraints. A modified genetic programming engine (GPTIPS2) optimizes model structure and evaluates it based on fitness, complexity, and constraint violation. This method yields interpretable expressions that accurately reproduce friction factors across various roughness levels and Reynolds numbers, val
We prove that the magnitude (co)homology of an enriched category can, under some technical assumptions, be described in terms of derived functors between certain abelian categories. We show how this statement is specified for the cases of quasimetric spaces, finite quasimetric spaces, and finite digraphs. For quasimetric spaces, we define the notion of a distance module over a quasimetric space, define the functor of (co)invariants of a distance module and show that the magnitude (co)homology can be presented via its derived functors. As a corollary we obtain that the magnitude cohomology of a quasimetric space can be presented in terms of Ext functors in the category of distance modules. For finite quasimetric spaces, we show that magnitude (co)homology can be presented in terms of Tor and Ext functors over a certain graded algebra, called the distance algebra of the quasimetric space. For finite digraphs, the distance algebra is a bound quiver algebra. In addition, we show that the magnitude cohomology algebra of a finite quasimetric space can be described as a Yoneda algebra.
In this article, we analyze the structure and relationships between magnitude homology and Eulerian magnitude homology of finite graphs. Building on the work of Kaneta and Yoshinaga, Sazdanovic and Summers, and Asao and Izumihara, we provide two proofs of the existence of torsion in Eulerian magnitude homology, offer insights into the types and orders of torsion, and present explicit computations for various classes of graphs.
The rate at which meteors pass through Earth's atmosphere has been measured or estimated many times over; existing flux measurements span at least 12 astronomical magnitudes, or roughly five decades in mass. Unfortunately, the common practice of scaling flux to a universal reference magnitude of +6.5 tends to collapse the magnitude or mass dimension. Furthermore, results from different observation networks can appear discrepant due solely to the use of different assumed population indices, and readers cannot resolve this discrepancy without access to magnitude data. We present an alternate choice of reference magnitude that is representative of the observed meteors and minimizes the dependence of flux on population index. We apply this choice to measurements of recent Orionid meteor shower fluxes to illustrate its usefulness for synthesizing independent flux measurements.
The magnitude homology, introduced by R. Hepworth and S. Willerton, offers a topological invariant that enables the study of graph properties. Hypergraphs, being a generalization of graphs, serve as popular mathematical models for data with higher-order structures. In this paper, we focus on describing the topological characteristics of hypergraphs by considering their magnitude homology. We begin by examining the distances between hyperedges in a hypergraph and establish the magnitude homology of hypergraphs. Additionally, we explore the relationship between the magnitude and the magnitude homology of hypergraphs. Furthermore, we derive several functorial properties of the magnitude homology for hypergraphs. Lastly, we present the Künneth theorem for the simple magnitude homology of hypergraphs.
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.
We study the geometric significance of Leinster's magnitude invariant. For closed manifolds we find a precise relation with Brylinski's beta function and therefore with classical invariants of knots and submanifolds. In the special case of compact homogeneous spaces we obtain an elementary proof that the residues of the beta function contain the same geometric information as the asymptotic expansion of the magnitude function. For general closed manifolds we use the recent pseudodifferential analysis of the magnitude operator to relate these via an interpolating polynomial family. Beyond manifolds, the relation with the Brylinski beta function allows to deduce unexpected properties of the magnitude function for the $p$-adic integers.