{"id":"arxiv/2608.21479","url":"https://arxiv.org/abs/2608.21479","tags":["math.AT","cs.CG","cs.LG","cs.LO"],"score":0,"title":"Persistent Magnitude Homology for Quantitative Equational Theories","domain":"math.AT","source":"arxiv","authors":["Luciano Melodia"],"reviews":0,"subject":"math.AT","summary":"A quantitative equational theory $U$ reasons about terms that agree up to a numerical error. It presents a free algebra $T_UA$ over a metric space $A$ of generators, the terms of the syntax at the least distance the axioms derive, and that metric is its semantic content. We give a functorial invariant of it, the persistent magnitude homology of $T_UA$: a barcode where the module is tame, finite linear algebra where $T_UA$ is finite, Lipschitz in each degree. Magnitude homology is graded by length and knows nothing of persistence, its persistent refinement nothing of where its bars begin and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-21","reactions":{}}