×

持久性图的普遍性以及瓶颈和Wasserstein距离。 (英语) Zbl 1504.55004号

拓扑数据分析中不同相关度量的普适性是指度量的区分能力:对于任何一对对象\(X\)和\(Y\)的任何其他度量\(d'),\(d`(X,Y)\leq d(X,Y\),a(伪)度量\(d\)是普适的;度量具有一些附加属性,但这是通用性的一般形式。因此,普遍性意味着度量是最有区别的,因为对于任何其他度量,对象之间的距离都较小。例如,持久性模块之间的交错距离是通用的[M.莱斯尼克,找到。计算。数学。第15期,第3期,第613-650页(2015年;Zbl 1335.55006号)].
Bubenik和Elchesen的论文建立了持久图的(p)-Wasserstein度量(Wp)的普适性。主要结果在度量对((X,d,A)的一般设置中得到了证明,其中(X,d)是度量空间,(A\子集X\)。例如,持久性图的相关度量对是\(({(x,y)\in\mathbb{R}^2\|x\leqy\},d,\Delta),其中\(d)是由标准\(q \)范数诱导的度量,\(Delta)是对角线\(x=y\)。度量对的示例包括瓶颈距离和Wasserstein距离。
有趣的是本文中的分类方法,它可能会吸引对持久性图及其相关度量问题的分类感兴趣的读者。对于任何集合\(X\),自由交换幺半群是\(X\)的元素的所有有限形式和的集合,加上形式和作为幺半群运算。给定一对\((X,a)\),例如度量对,\(D(X,a)\)是商monoid \(D(X)/D(a)\)\(D(X,A)\)则是\(X,A\)上持久性图的交换幺半群。
普适性定理现在说,给定一个度量对((X,d,a)),与(X,d,a)相关并由四元组((d(X,a),W_p,+,0))给出的可交换度量幺半群是普适的。也就是说,对于任何交换度量幺半群((N,\rho,+,0)和1-Lipschitz映射(\phi\colon(X,d,A)\rightarrow(N,\ rho,0)),都有一个唯一的1-Lipshitz幺半群同态(\tilde{\phi}\colon。

MSC公司:

55N31号 持久同源性及其应用,拓扑数据分析
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Peter Bubenik;维恩·德·席尔瓦;Scott,Jonathan,广义持久性模块的度量,Found。计算。数学。,15, 6, 1501-1531 (2015) ·Zbl 1345.55006号
[2] Peter Bubenik;Elchesen,Alex,《持久性图的普遍性与瓶颈和Wasserstein距离》(2020),arXiv预印本
[3] Peter Bubenik;Elchesen,Alex,《虚拟持久性图、有符号度量、Wasserstein距离和Banach空间》,J.Appl。计算。白杨。(2022) ·Zbl 1516.55005号
[4] Andrew J.Blumberg。;加尔,伊塔马尔;Michael A.Mandell。;Pancia,Matthew,度量度量空间上持久同源性的稳健统计、假设检验和置信区间,Found。计算。数学。,14, 4, 745-789 (2014) ·Zbl 1364.55016号
[5] Bakke Bjerkevik,Hávard,关于区间可分解持久性模的稳定性,离散计算。地理。,66, 1, 92-121 (2021) ·Zbl 1471.55006号
[6] Andrew J.Blumberg。;Michael Lesnick,同伦交织距离的普遍性(2017),arXiv预印本
[7] 博特南,马格努斯·巴克;Lesnick,Michael,锯齿形持久模的代数稳定性,代数几何。白杨。,18, 6, 3133-3204 (2018) ·Zbl 1432.55011号
[8] 乌尔里希·鲍尔;克劳迪娅·兰迪;梅莫利、法昆多、珊瑚礁图形编辑距离是通用的。计算。数学。,1-24 (2020) ·Zbl 1485.55006号
[9] Peter Bubenik;Scott,Jonathan A.,持久同源的分类,离散计算。地理。,51, 3, 600-627 (2014) ·兹比尔1295.55005
[10] Peter Bubenik;乔纳森·斯科特;Stanley,Donald,广义持久性模块的代数Wasserstein距离(2018),arXiv预印本
[11] Frédéric Chazal;科恩·斯坦纳(David Cohen-Steiner);Marc Glisse;列奥尼达斯·吉巴斯(Leonidas J.Guibas)。;Oudot,Steve Y.,《持久性模块及其图的邻近性》(第25届计算几何年会论文集-SCG’09(2009))·Zbl 1380.68387号
[12] 杰雷米·科科伊;Oudot,Steve,精确pfd持久性双模的分解,离散计算。地理。,63, 2, 255-293 (2020) ·Zbl 1435.62453号
[13] 科恩·斯坦纳(David Cohen-Steiner);赫伯特·埃德尔斯布伦纳(Herbert Edelsbrunner);Harer,John,持久性图的稳定性,离散计算。地理。,37, 1, 103-120 (2007) ·Zbl 1117.54027号
[14] 科恩·斯坦纳(David Cohen-Steiner);赫伯特·埃德尔斯布伦纳(Herbert Edelsbrunner);约翰·哈勒(John Harer);Mileyko,Yuriy,Lipschitz函数具有(L_p)-稳定持久性。计算。数学。,10, 2, 127-139 (2010) ·Zbl 1192.55007号
[15] 甘纳卡尔森;非洲动物园;安妮·柯林斯;Guibas,Leonidas,形状的持久性条形码,(SGP’04:2004年欧洲制图协会/ACM SIGGRAPH几何处理研讨会论文集(2004),ACM出版社:美国纽约州纽约市ACM出版社),124-135·兹比尔1092.68688
[16] 安妮·柯林斯;非洲动物园;甘纳卡尔森;Guibas,Leonidas J.,曲线点云数据的条形码形状描述符,计算。图表。,28, 6, 881-894 (2004)
[17] 米歇尔·达米科;帕特里齐奥·弗罗西尼;Landi,Claudia,《自然伪距和缩小函数之间的最佳匹配》,Acta Appl。数学。,109, 2, 527-554 (2010) ·Zbl 1198.68224号
[18] 文森特·迪沃尔;Lacombe,Théo,通过最优部分传输理解持久性图空间的拓扑和几何,J.Appl。计算。白杨。,5, 1, 1-53 (2021) ·Zbl 1473.62408号
[19] Michael Lesnick,《多维持久性模块的交错距离理论》,Found。计算。数学。,15, 3, 613-650 (2015) ·Zbl 1335.55006号
[20] 莱恩(Lane),桑德斯·麦克(Saunders Mac),《工作数学家分类》,《数学研究生教材》,第5卷(1998年),施普林格-弗拉格:纽约施普林格·Zbl 0906.18001号
[21] Riehl,E.,《语境中的范畴理论》。《极光:多佛现代数学原创》(2017),多佛出版社
[22] 普里莫兹·斯卡拉巴;Turner,Katharine,Wasserstein持久性图稳定性(2020),arXiv预印本
[23] Villani,Cédric,最佳交通主题,数学研究生课程,第58卷(2003),美国数学学会:美国数学学会普罗维登斯,RI·Zbl 1106.90001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。