{"id":"https://openalex.org/W7204213830","doi":"https://doi.org/10.48550/arxiv.2608.21479","title":"Persistent Magnitude Homology for Quantitative Equational Theories","display_name":"Persistent Magnitude Homology for Quantitative Equational Theories","publication_year":2026,"publication_date":"2026-08-21","ids":{"openalex":"https://openalex.org/W7204213830","doi":"https://doi.org/10.48550/arxiv.2608.21479"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.21479","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.21479","pdf_url":"https://arxiv.org/pdf/2608.21479","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.21479","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013711036","display_name":"Luciano Melodia","orcid":"https://orcid.org/0000-0002-7584-7287","observed_orcids":["https://orcid.org/0000-0002-7584-7287"]},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Melodia, Luciano","raw_affiliation_strings":["Chair of Theoretical Computer Science Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg Martensstra\u00dfe 3 , 91058 Erlangen , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chair of Theoretical Computer Science Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg Martensstra\u00dfe 3 , 91058 Erlangen , Germany","institution_ids":["https://openalex.org/I181369854"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5013711036"],"corresponding_institution_ids":["https://openalex.org/I181369854"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9657999873161316,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9657999873161316,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.019500000402331352,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10304","display_name":"Geometric and Algebraic Topology","score":0.0010000000474974513,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/barcodes","display_name":"barcodes","score":0.7110000252723694},{"id":"https://openalex.org/keywords/persistence-modules","display_name":"persistence modules","score":0.8130000233650208},{"id":"https://openalex.org/keywords/stability-estimates","display_name":"stability estimates","score":0.42800000309944153},{"id":"https://openalex.org/keywords/monads","display_name":"monads","score":0.5989999771118164},{"id":"https://openalex.org/keywords/equational-logic","display_name":"equational logic","score":0.42500001192092896}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7545999884605408},{"id":"https://openalex.org/C2776841711","wikidata":"https://www.wikidata.org/wiki/Q856","display_name":"Barcode","level":2,"score":0.7378000020980835},{"id":"https://openalex.org/C2874115","wikidata":"https://www.wikidata.org/wiki/Q17099562","display_name":"Persistent homology","level":2,"score":0.6323000192642212},{"id":"https://openalex.org/C165525559","wikidata":"https://www.wikidata.org/wiki/Q224180","display_name":"Homology (biology)","level":3,"score":0.5947999954223633},{"id":"https://openalex.org/C137212723","wikidata":"https://www.wikidata.org/wiki/Q1948412","display_name":"Morphism","level":2,"score":0.5659999847412109},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.524399995803833},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4952999949455261},{"id":"https://openalex.org/C128489963","wikidata":"https://www.wikidata.org/wiki/Q1187724","display_name":"Filtration (mathematics)","level":2,"score":0.4684999883174896},{"id":"https://openalex.org/C177918212","wikidata":"https://www.wikidata.org/wiki/Q803623","display_name":"Perturbation (astronomy)","level":2,"score":0.44040000438690186},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.38909998536109924},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.37929999828338623},{"id":"https://openalex.org/C139962677","wikidata":"https://www.wikidata.org/wiki/Q1095056","display_name":"Singular homology","level":3,"score":0.33959999680519104},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3334999978542328},{"id":"https://openalex.org/C198043062","wikidata":"https://www.wikidata.org/wiki/Q180953","display_name":"Metric space","level":2,"score":0.32820001244544983},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32420000433921814},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.31279999017715454},{"id":"https://openalex.org/C2776477805","wikidata":"https://www.wikidata.org/wiki/Q4460773","display_name":"Topological data analysis","level":2,"score":0.30730000138282776},{"id":"https://openalex.org/C87670640","wikidata":"https://www.wikidata.org/wiki/Q132469","display_name":"Fermat's Last Theorem","level":2,"score":0.30149999260902405},{"id":"https://openalex.org/C207467116","wikidata":"https://www.wikidata.org/wiki/Q4385666","display_name":"Inverse","level":2,"score":0.29750001430511475},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.28999999165534973}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.21479","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.21479","pdf_url":"https://arxiv.org/pdf/2608.21479","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2608.21479","doi":"https://doi.org/10.48550/arxiv.2608.21479","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.21479","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.21479","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.21479","pdf_url":"https://arxiv.org/pdf/2608.21479","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204213830.pdf","grobid_xml":"https://content.openalex.org/works/W7204213830.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1502356607","https://openalex.org/W1516374480","https://openalex.org/W1596721197","https://openalex.org/W2020879982","https://openalex.org/W2119507314","https://openalex.org/W2133227973","https://openalex.org/W2531185145","https://openalex.org/W2765474100","https://openalex.org/W2810919795","https://openalex.org/W2901173458","https://openalex.org/W2902041117","https://openalex.org/W4255383393","https://openalex.org/W4289793241","https://openalex.org/W4405286911","https://openalex.org/W4414232553","https://openalex.org/W6947939568","https://openalex.org/W7154457009"],"related_works":["https://openalex.org/W2991394196","https://openalex.org/W2978953619","https://openalex.org/W2810919795","https://openalex.org/W2531185145","https://openalex.org/W7119524501","https://openalex.org/W3195882006","https://openalex.org/W7162760437","https://openalex.org/W7203886288","https://openalex.org/W4414542636","https://openalex.org/W2128510287"],"abstract_inverted_index":{"A":[0,131],"quantitative":[1],"equational":[2],"theory":[3],"$U$":[4],"reasons":[5],"about":[6],"terms":[7,29],"that":[8,41,125,189],"agree":[9],"up":[10],"to":[11],"a":[12,17,22,49,60,154,170,179,185,200,221,230],"numerical":[13],"error.":[14],"It":[15],"presents":[16],"free":[18],"algebra":[19,69],"$T_UA$":[20,71],"over":[21],"metric":[23,42],"space":[24],"$A$":[25],"of":[26,30,52,58,87,93,113,124,150,173,181,197,202,223,237],"generators,":[27],"the":[28,31,34,37,54,63,101,107,114,117,121,128,147,151,158,167,190,203,208,226,234,238],"syntax":[32],"at":[33,160],"least":[35],"distance":[36,216],"axioms":[38],"derive,":[39],"and":[40,84,98,120,137,166,184,213],"is":[43,65,72,80,127,211],"its":[44,89,95],"semantic":[45],"content.":[46],"We":[47],"give":[48],"functorial":[50],"invariant":[51],"it,":[53],"persistent":[55,90],"magnitude":[56,129],"homology":[57,79,145],"$T_UA$:":[59],"barcode":[61,168,231],"where":[62,70,94,207],"module":[64],"tame,":[66],"finite":[67],"linear":[68],"finite,":[73],"Lipschitz":[74],"in":[75,175,246],"each":[76,138],"degree.":[77,248],"Magnitude":[78,144],"graded":[81,123,155],"by":[82,110,217],"length":[83,108,115],"knows":[85],"nothing":[86,92],"persistence,":[88],"refinement":[91],"bars":[96],"begin":[97],"end,":[99],"yet":[100],"two":[102],"are":[103,243],"one":[104,245],"construction:":[105],"filtering":[106],"nerve":[109],"sublevel":[111],"sets":[112],"yields":[116],"persistence":[118],"module,":[119],"associated":[122],"filtration":[126],"complex.":[130],"long":[132],"exact":[133],"sequence":[134],"exchanges":[135],"them,":[136],"side":[139],"gains":[140],"what":[141],"it":[142],"lacked.":[143],"locates":[146],"critical":[148],"values":[149],"barcode,":[152],"so":[153,229],"computation":[156],"lists":[157],"lengths":[159],"which":[161],"an":[162],"endpoint":[163],"can":[164],"occur,":[165],"acquires":[169],"stability":[171],"estimate":[172],"$(n+1)\u03b4$":[174],"degree":[176],"$n$":[177],"under":[178,225],"perturbation":[180,187],"size":[182],"$\u03b4$,":[183,220],"computed":[186],"shows":[188],"factor":[191],"cannot":[192],"be":[193],"dropped.":[194],"An":[195],"inclusion":[196],"theories":[198],"induces":[199],"morphism":[201],"presenting":[204],"monads":[205],"and,":[206],"induced":[209],"map":[210],"bijective":[212],"shortens":[214],"no":[215],"more":[218],"than":[219],"comparison":[222],"barcodes":[224],"same":[227],"bound,":[228],"movement":[232],"measures":[233],"metric-semantic":[235],"strength":[236],"added":[239],"axioms.":[240],"Four":[241],"examples":[242],"computed,":[244],"every":[247]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-08-26T00:00:00"}