AI 中文总结
本文研究一维持续类的调和代表，证明其本质边系数绝对值均大于非本质边且相等，高维中该性质不成立，阐明了调和代表在持续同调中的作用与局限。
AI 中文摘要
持续同调总结拓扑特征的诞生与消亡，但本身未指明特征在底层复形中的位置，调和持续同调通过为 bar 分配典范调和闭链代表解决这一问题。此前 Basu 和 Cox 证明，简单 bar 的调和代表会最大化赋予本质单形的总相对权重，本质单形是对应类的代表中必须出现的单形。本文证明，对于一般一维 bar，这种偏好强于整体最大化表述：调和代表中每条本质边的系数绝对值严格大于每条非本质边，且所有本质边的系数绝对值相等。核心论证是将调和代表刻画为带指定边界的最小范数链的有限维变分特征，结合初等图论割论证。随后证明该结果是一维特有的，高维中类似的逐系数主导表述不成立，本文给出例子说明，调和代表对非本质高维单形的系数可大于本质单形。这些结果阐明了在持续同调中用调和代表为单形赋予几何意义的优势与局限。
英文摘要
Persistent homology summarizes the birth and death of topological features, but it does not by itself specify where a feature is located in the underlying complex. Harmonic persistent homology addresses this by assigning canonical harmonic cycle representatives to bars. In earlier work, Basu and Cox showed that harmonic representatives of simple bars maximize the total relative weight placed on essential simplices, the simplices that are forced to appear in representatives of the corresponding class. In this paper we prove that, for generic one-dimensional bars, this preference is stronger than an aggregate maximization statement. Every essential edge has strictly larger coefficient, in absolute value, than every non-essential edge in the harmonic representative, and the absolute values of the coefficients of all essential edges are equal. The key argument is a finite-dimensional variational characterization of the harmonic representative as a minimum-norm chain with prescribed boundary, combined with an elementary graph-theoretic cut argument. We then prove that the result is special to dimension one. In higher dimensions, the analogous coefficient-wise dominance statement fails. We give examples to show that harmonic representatives can place larger coefficients on non-essential higher-dimensional simplices than on essential ones. These results clarify both the power and the limitations of using harmonic representatives to assign geometric significance to simplices in persistent homology.
Comments29 pages, 2 figures. Comments welcome
