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 τ to σ in V_P for every non-incident pair {σ, τ} 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 τ to σ is odd, and σ is the youngest critical simplex reached an odd number of times. This is an unrefereed note.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · 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}
}