Lifting Cocycles: From Heuristic to Theory
Algebraic Topology
2025-09-22 v1 Computational Geometry
Abstract
The circular coordinates algorithm, a key tool in topological data analysis, relies on a theoretically unvalidated lifting step to convert cocycles from a prime field to integer coefficients. We provide a rigorous analysis of this procedure, establishing a criterion for its success. We also introduce a novel algebraic method to reduce any lifted cocycle to a cocycle with winding number 1, ensuring feature correctness. These principles are extended to homology cycles, solidifying the theoretical foundation of this widely used feature extraction technique.
Cite
@article{arxiv.2509.16102,
title = {Lifting Cocycles: From Heuristic to Theory},
author = {Sigurd Gaukstad and Mathias Karsrud Nordal and Marius Thaule},
journal= {arXiv preprint arXiv:2509.16102},
year = {2025}
}