Failures of Theorem 1 and Conjecture 3 in Knudson's Persistence–Gradient Abstract, and a Corrected Form of Conjecture 2 after Kriebel
Manuscript 2 October 2026 · Online 2 October 2026
Abstract
In an Oberwolfach abstract, Knudson considered the discrete vector field \(V_P\) formed by the incident pairs of the persistence pairing \(P\) of a simplexwise filtration. He stated that \(V_P\) is a discrete gradient (his Theorem 1), conjectured a single gradient path from \(\tau\) to \(\sigma\) in \(V_P\) for every non-incident pair \(\{\sigma,\tau\}\) of \(P\) (Conjecture 2), and conjectured that a filtration by a function decreasing along the modified Hasse diagram reproduces \(P\) (Conjecture 3). Conjecture 2 was first refuted publicly by Kriebel (Zenodo, September 2026) with a filtration of \(7\) simplices; we credit this and add that there are exactly two such filtrations with \(7\) simplices, none with fewer, that no filtration with at most \(13\) simplices has a pair joined by two or more paths, and examples with two and three paths on \(17\) and \(19\) simplices. The parts of this note that we did not find elsewhere are the following two. Theorem 1 is false, also in the abstract's own formulation by the modified Hasse diagram: a filtration of \(17\) simplices has a closed \(V\)-path, and for every filtration of every complex with at most \(16\) simplices \(V_P\) is a gradient (a short lemma and an exhaustive search over \(2{,}484{,}335{,}648\) filtrations). Conjecture 3 is false even when \(V_P\) is acyclic, for every choice of the function and of tie-breaking: a filtration of \(17\) simplices with a hand-checkable proof; it holds for all \(4{,}005{,}434\) filtrations with at most \(11\) simplices. Finally, we prove a corrected form of Conjecture 2, which is a consequence of algebraic Morse theory: for the earliest non-incident pair, if the field formed by the earlier pairs is a gradient, the number of gradient paths in it from \(\tau\) to \(\sigma\) is odd, and \(\sigma\) is the youngest critical simplex reached an odd number of times. This is an unrefereed note.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- alper@mercurycodelab.com · GitHub
- Result
- Counterexamples (Conjecture 2 first refuted by Kriebel)
- Categories
- math.AT
- Manuscript
- 2 October 2026
- Online release
- 2 October 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “Failures of Theorem 1 and Conjecture 3 in Knudson's Persistence–Gradient Abstract, and a Corrected Form of Conjecture 2 after Kriebel,” EulerSolve Research Papers, OWR-2040-002, 2026. https://doi.org/10.5281/zenodo.23110481.
BibTeX
@misc{Ferudun2026Owr2040002,
author = {Ferudun, Alper},
title = {Failures of Theorem 1 and Conjecture 3 in Knudson's Persistence–Gradient Abstract, and a Corrected Form of Conjecture 2 after Kriebel},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/owr-2040-002/},
doi = {10.5281/zenodo.23110481},
note = {OWR-2040-002; unrefereed preprint}
}