arXiv Science⌕ Search

arXiv subjects

Chris Kapulkin

Publications and source records attributed to Chris Kapulkin.

At least 19 recordsLinked to original sources
arXiv2026

RedZeD: Computing persistent homology by Reduction to Zero Differentials

We introduce a new algorithm for computing persistent homology of Vietoris-Rips filtrations, which offers a considerable improvement both in terms of time and memory over the existing implementations of the persistence pairing algorithm. The key innovation, called active enumeration, is made possible by a new theoretical framework of Reduction to Zero Differentials (hence RedZeD) in which to view persistent homology.

cs.CG↗
arXiv2026

Categorical foundations of discrete dynamical systems

We develop categorical foundations of discrete dynamical systems, aimed at understanding how the structure of the system affects its dynamics. We introduce the notion of cycle sets to analyze attractors of a system, and use this to generalize multiple decomposition theorems of Kadelka, Veliz-Cuba, Murrugarra, and the last two authors from Boolean networks to arbitrary discrete dynamical systems.

math.DS↗
arXiv2026

Discrete homology computations by reduction to zero differentials

We develop a new algorithm for computing (persistent) discrete homology of graphs using reduction to zero differentials and active enumeration. This allows us to compute the fourth homology group of the Greene sphere, along with several previously unknown groups. We also show that persistent discrete homology computes faster than simplicial homology of Vietoris-Rips complex in the high-noise non-metric settings, making it a better choice for noisy data sets.

cs.CG↗
arXiv2026

Stability of persistent path homology of path complexes

We show stability of persistent path homology of path complexes. As a consequence, we deduce the stability of persistent path homology of hypergraphs and of sequence hypergraphs, and recover the known stability result for digraphs, originally due to Chowdhury and Mémoli.

math.AT↗
arXiv2026

Faster computations of discrete homology

Machine computation of the discrete homology of graphs has stopped at degree two. We present an algorithm that reaches degree four. It generates the singular cubes inductively, pairing cubes one degree down instead of filtering all set maps; quotients the chain modules by the hyperoctahedral group action, over a field of sufficiently large characteristic; and shrinks the graph beforehand using homotopy invariance. The fourth homology group of the five-cycle, previously beyond the reach of machine computation, is computed in under two days.

cs.CG↗
arXiv2026

Topological data analysis using persistent discrete homology

We propose persistent discrete homology as a tool for topological data analysis and discuss its advantages over the existing methods. In particular, we provide empirical evidence that persistent discrete homology is more noise-resistant than persistent homology of the Vietoris-Rips complex for data coming from non-metric settings.

math.AT↗
arXiv2026

Towards fast computation of higher discrete homology

We develop a new algorithm for computing the second discrete homology group of a graph which is much faster when compared to existing algorithms. To do so, we identify five basic shapes, which are quotient graphs of the 3-cube with the property that the injective maps from them detect all possible 2-boundaries in the singular chain complex computing discrete homology.

cs.CG↗
arXiv2026

Discrete homotopy hypothesis for n-types

We show that discrete and classical homotopy theories are equivalent after localizing at n-equivalences for any non-negative integer n. By constructing an explicit homotopy inverse to the graph nerve functor associating an n-fibrant cubical set to a graph, we are also able to give explicit computations of several previously unknown discrete homotopy groups of boundaries of cubes and suspensions of cycles.

math.AT↗
arXiv2025

Equivalence of cubical and simplicial approaches to $(\infty,n)$-categories

We prove that the marked triangulation functor from the category of marked cubical sets equipped with a model structure for ($n$-trivial, saturated) comical sets to the category of marked simplicial set equipped with a model structure for ($n$-trivial, saturated) complicial sets is a Quillen equivalence. Our proof is based on the theory of cones, previously developed by the first two authors together with Lindsey and Sattler.

math.AT↗
arXiv2025

Homotopy groups of cubical sets

We define and study homotopy groups of cubical sets. To this end, we give four definitions of homotopy groups of a cubical set, prove that they are equivalent, and further that they agree with their topological analogues via the geometric realization functor. We also provide purely combinatorial proofs of several classical theorems, including: product preservation, commutativity of higher homotopy groups, the long exact sequence of a fibration, and Whitehead's theorem. This is a companion paper to our "Cubical setting for discrete homotopy theory, revisited" in which we apply these results to study the homotopy theory of simple graphs.

math.AT↗
arXiv2025

Cubical setting for discrete homotopy theory, revisited

We construct a functor associating a cubical set to a (simple) graph. We show that cubical sets arising in this way are Kan complexes, and that the A-groups of a graph coincide with the homotopy groups of the associated Kan complex. We use this to prove a conjecture of Babson, Barcelo, de Longueville, and Laubenbacher from 2006, and a strong version of the Hurewicz theorem in discrete homotopy theory.

math.CO↗
arXiv2025

The fundamental group in discrete homotopy theory

We develop a robust foundation for studying the fundamental group(oid) in discrete homotopy theory, including: equivalent definitions and basic properties, the theory of covering graphs, and the discrete version of the Seifert-van Kampen theorem.

math.CO↗
arXiv2025

Diagonal Lemma for Presheaves on Eilenberg-Zilber Categories

The diagonal lemma asserts that if a map of bisimplicial sets is a levelwise weak equivalence in the Kan-Quillen model structure, then it induces a weak equivalence of the diagonal simplicial sets. In this short note, we observe that the standard proof of this fact works for an arbitrary Eilenberg-Zilber category in place of the simplex category.

math.AT↗
arXiv2025

Homotopy $n$-types of cubical sets and graphs

We give a new construction of the model structure on the category of simplicial sets for homotopy $n$-types, originally due to Elvira-Donazar and Hernandez-Paricio, using a right transfer along the coskeleton functor. We observe that an analogous model structure can be constructed on the category of cubical sets, and use it to equip the category of (simple) graphs with a fibration category structure whose weak equivalences are discrete $n$-equivalences.

math.CT↗
arXiv2025

Synthetic approach to the Quillen model structure on topological spaces

We provide an axiomatic treatment of Quillen's construction of the model structure on topological spaces to make it applicable to a wider range of settings, including $Δ$-generated spaces and pseudotopological spaces. We use this axiomatization to construct a model structure on the category of locales.

math.AT↗
arXiv2025

A cubical model for $(\infty, n)$-categories

We propose a new model for the theory of $(\infty,n)$-categories (including the case $n=\infty$) in the category of marked cubical sets with connections, similar in flavor to complicial sets of Verity. The model structure characterizing our model is shown to be monoidal with respect to suitably defined (lax and pseudo) Gray tensor products; in particular, these tensor products are both associative and biclosed. Furthermore, we show that the triangulation functor to pre-complicial sets is a left Quillen functor and is strong monoidal with respect to both Gray tensor products.

math.AT↗