pith. machine review for the scientific record. sign in

arxiv: 2604.09264 · v1 · submitted 2026-04-10 · 🧮 math.AT

Recognition: unknown

Cross effects for functors from posets

Bj{\o}rnar Gullikstad Hem

Pith reviewed 2026-05-10 16:55 UTC · model grok-4.3

classification 🧮 math.AT
keywords cross effectsfunctor calculusposetsmultipersistence modulesprojective dimensiontotal fiberscubesuniversal approximations
0
0 comments X

The pith

A functor calculus for posets uses cross effects to detect vanishing total fibers of cubes and gives necessary and sufficient conditions for multipersistence modules to have projective dimension at most n-1 or n-2.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs a new functor calculus specifically for functors defined on posets. This calculus is built so that it detects when the total fibers of cubes vanish. It supplies explicit universal approximation functors for the calculus. These approximations are then applied to prove two theorems that characterize the projective dimension of n-parameter multipersistence modules in terms of vanishing conditions.

Core claim

The central claim is that the cross effects in this poset functor calculus detect vanishing total fibers of cubes, and the resulting universal approximations furnish necessary and sufficient conditions for an n-parameter multipersistence module to have projective dimension at most n-1 and at most n-2.

What carries the argument

cross effects for functors from posets, which detect vanishing total fibers of cubes and underlie the explicit universal approximation functors

If this is right

  • An n-parameter multipersistence module has projective dimension at most n-1 precisely when the appropriate cross effects vanish.
  • The same vanishing of cross effects also gives a necessary and sufficient condition for projective dimension at most n-2.
  • The explicit universal approximations can be computed directly to test the vanishing conditions.
  • The calculus applies to any functor from a poset, not only to multipersistence modules.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The explicit constructions may permit algorithmic checks of projective dimension in computational persistence pipelines.
  • Analogous cross-effect calculi could be defined on other categories of modules or diagrams.
  • Vanishing of these cross effects might relate to decomposition or stability properties of multipersistence modules.

Load-bearing premise

The newly defined functor calculus for functors from posets correctly detects when total fibers of cubes vanish and its universal approximations accurately support the projective-dimension characterizations.

What would settle it

An n-parameter multipersistence module whose cross effects vanish exactly as predicted by the theorems but whose projective dimension exceeds n-1.

read the original abstract

We establish a precise relationship between functor calculus and the projective dimension of multipersistence modules. Specifically, we develop a new notion of functor calculus for functors from posets, which detects vanishing total fibers of cubes. We give an explicit construction of the universal approximation functors of this functor calculus. We then use these approximations to prove two new theorems, providing necessary and sufficient conditions for an $n$-parameter multipersistence module to have projective dimension at most $n-1$ and at most $n-2$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The manuscript develops a new notion of functor calculus for functors from posets that detects vanishing total fibers of cubes. It provides an explicit construction of the universal approximation functors via cross-effects and applies these approximations to prove two theorems giving necessary and sufficient conditions for an n-parameter multipersistence module to have projective dimension at most n-1 and at most n-2.

Significance. If the derivations hold, the work establishes a direct link between a poset-based functor calculus and homological invariants of multipersistence modules. The explicit constructions of the approximations and the derivation of the projective-dimension criteria from the vanishing-fiber detection property constitute a concrete advance for multiparameter persistence theory, with potential utility in computational topology.

minor comments (3)
  1. [§2.3] §2.3: the definition of the cross-effect functor on poset diagrams would benefit from an explicit low-dimensional example (e.g., a 2-cube) showing how the total fiber vanishes.
  2. [Theorem 5.2] Theorem 5.2: the statement of the n-2 bound is clear, but the proof sketch does not indicate whether the argument extends verbatim to the n-1 case or requires a separate induction.
  3. The notation for the universal approximation functors (e.g., the subscript indexing) is introduced without a consolidated table; a short summary table would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending minor revision. The report does not include any specific major comments, so we have no individual points to address or rebut at this time. We remain available to incorporate any minor revisions if additional details are provided.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained

full rationale

The paper introduces a new functor calculus for functors from posets that detects vanishing total fibers of cubes, provides an explicit construction of the associated universal approximation functors, and derives two necessary-and-sufficient conditions on projective dimension of n-parameter multipersistence modules directly from the approximation properties. No step reduces a claimed prediction or theorem to a fitted parameter, self-definition, or load-bearing self-citation; the central claims rest on the newly defined objects and their stated properties rather than renaming or circularly importing prior results by the same author.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The central claim rests on the introduction of a new functor calculus concept together with standard background from category theory and homological algebra; no numerical free parameters or data-fitted quantities appear in the abstract.

axioms (1)
  • standard math Standard axioms of category theory, including the treatment of posets as categories and the definition of cubes and total fibers.
    The work builds directly on established foundations in algebraic topology and homological algebra.
invented entities (1)
  • Functor calculus for functors from posets no independent evidence
    purpose: To detect vanishing total fibers of cubes and supply universal approximations for studying multipersistence modules.
    This is a newly defined notion introduced to enable the stated theorems.

pith-pipeline@v0.9.0 · 5368 in / 1346 out tokens · 114272 ms · 2026-05-10T16:55:03.469971+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

40 extracted references · 2 canonical work pages

  1. [1]

    Bauer, B

    K. Bauer, B. Johnson, and R. McCarthy. Cross effects and calculus in an unbased setting. Trans. Amer. Math. Soc., 367(9):6671–6718, 2015. With an appendix by Rosona Eldred

    2015

  2. [2]

    Analyzing collective motion with machine learning and topology.Chaos: An Interdisciplinary Journal of Nonlinear Science, 29(12), 2019

    Dhananjay Bhaskar, Angelika Manhart, Jesse Milzman, John T Nardini, Kathleen M Storey, Chad M Topaz, and Lori Ziegelmeier. Analyzing collective motion with machine learning and topology.Chaos: An Interdisciplinary Journal of Nonlinear Science, 29(12), 2019

    2019

  3. [3]

    Birkhoff.Lattice Theory, volume Vol

    G. Birkhoff.Lattice Theory, volume Vol. 25 ofAmerican Mathematical Society Colloquium Publications. American Mathematical Society, New York, revised edition, 1948

    1948

  4. [4]

    Blumberg and M

    A.J. Blumberg and M. Lesnick. Universality of the homotopy interleaving distance, 2022

    2022

  5. [5]

    Borceux.Handbook of categorical algebra

    F. Borceux.Handbook of categorical algebra. 2, volume 51 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1994. Categories and struc- tures

    1994

  6. [6]

    Cam- bridge University Press, 1994

    Francis Borceux.Handbook of categorical algebra: Categories and structures, volume 2. Cam- bridge University Press, 1994

    1994

  7. [7]

    Botnan and W

    M.B. Botnan and W. Crawley-Boevey. Decomposition of persistence modules.Proc. Amer. Math. Soc., 148(11):4581–4596, 2020

    2020

  8. [8]

    Botnan and M

    M.B. Botnan and M. Lesnick. An introduction to multiparameter persistence. InRepresen- tations of algebras and related structures, EMS Ser. Congr. Rep., pages 77–150. EMS Press, Berlin, [2023]©2023

    2023

  9. [9]

    C. Cai, W. Kim, F. M´ emoli, and Y. Wang. Elder-rule-staircodes for augmented metric spaces. SIAM Journal on Applied Algebra and Geometry, 5(3):417–454, 2021

    2021

  10. [10]

    Carlsson, V

    G. Carlsson, V. de Silva, and D. Morozov. Zigzag persistent homology and real-valued func- tions. InProceedings of the Twenty-Fifth Annual Symposium on Computational Geometry, SCG ’09, page 247–256, New York, NY, USA, 2009. Association for Computing Machinery

    2009

  11. [11]

    Carlsson and A

    G. Carlsson and A. Zomorodian. The theory of multidimensional persistence.Discrete Com- put. Geom., 42(1):71–93, 2009

    2009

  12. [12]

    Carlsson, A

    G. Carlsson, A. Zomorodian, A. Collins, and L. Guibas. Persistence barcodes for shapes. International Journal of Shape Modeling, 11:149–188, 01 2005

    2005

  13. [13]

    Computing multidimensional persis- tence

    Gunnar Carlsson, Gurjeet Singh, and Afra Zomorodian. Computing multidimensional persis- tence. InInternational Symposium on Algorithms and Computation, pages 730–739. Springer, 2009

    2009

  14. [14]

    Multiparameter persistence image for topologi- cal machine learning.Advances in Neural Information Processing Systems, 33:22432–22444, 2020

    Mathieu Carriere and Andrew Blumberg. Multiparameter persistence image for topologi- cal machine learning.Advances in Neural Information Processing Systems, 33:22432–22444, 2020

    2020

  15. [15]

    Chacholski, A

    W. Chacholski, A. Jin, and F. Tombari. Realisations of posets and tameness, 2024

    2024

  16. [16]

    Crawley-Boevey

    W. Crawley-Boevey. Decomposition of pointwise finite-dimensional persistence modules.J. Algebra Appl., 14(5):1550066, 8, 2015. 26 CROSS EFFECTS FOR FUNCTORS FROM POSETS

    2015

  17. [17]

    R. P. Dilworth. A decomposition theorem for partially ordered sets.Ann. of Math. (2), 51:161–166, 1950

    1950

  18. [18]

    Frosini and M

    P. Frosini and M. Mulazzani. Size homotopy groups for computation of natural size distances. Bull. Belg. Math. Soc. Simon Stevin, 6(3):455–464, 1999

    1999

  19. [19]

    Goodwillie

    T. Goodwillie. Calculus. I. The first derivative of pseudoisotopy theory.K-Theory, 4(1):1–27, 1990

    1990

  20. [20]

    Goodwillie

    T. Goodwillie. Calculus. II. Analytic functors.K-Theory, 5(4):295–332, 1991/92

    1991

  21. [21]

    Goodwillie

    T. Goodwillie. Calculus. III. Taylor series.Geom. Topol., 7:645–711, 2003

    2003

  22. [22]

    Goodwillie and M

    T. Goodwillie and M. Weiss. Embeddings from the point of view of immersion theory: Part ii.Geometry & Topology, 3(1):103–118, May 1999

    1999

  23. [23]

    Hatcher.Algebraic topology

    A. Hatcher.Algebraic topology. Cambridge University Press, Cambridge, 2002

    2002

  24. [24]

    B. G. Hem. Decomposing multipersistence modules using functor calculus, 2025

    2025

  25. [25]

    B. G. Hem. Poset functor cocalculus and applications to topological data analysis, 2025

    2025

  26. [26]

    Hirschhorn.Model categories and their localizations, volume 99 ofMathematical Surveys and Monographs

    P.S. Hirschhorn.Model categories and their localizations, volume 99 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2003

    2003

  27. [27]

    Hovey.Model categories, volume 63 ofMathematical Surveys and Monographs

    M. Hovey.Model categories, volume 63 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 1999

    1999

  28. [28]

    Projective diagrams over partially ordered sets are free.Journal of Pure and Applied Algebra, 20(1):7–12, 1981

    Michael H¨ oppner and Helmut Lenzing. Projective diagrams over partially ordered sets are free.Journal of Pure and Applied Algebra, 20(1):7–12, 1981

    1981

  29. [29]

    Johnson and R

    B. Johnson and R. McCarthy. Deriving calculus with cotriples.Trans. Amer. Math. Soc., 356(2):757–803, 2004

    2004

  30. [30]

    Cumperlay: Learn- ing cubical multiparameter persistence vectorizations, 2025

    Caner Korkmaz, Brighton Nuwagira, Barı¸ s Co¸ skunuzer, and Tolga Birdal. Cumperlay: Learn- ing cubical multiparameter persistence vectorizations, 2025

    2025

  31. [31]

    Local characterization of block- decomposability for multiparameter persistence modules, 2024

    Vadim Lebovici, Jan-Paul Lerch, and Steve Oudot. Local characterization of block- decomposability for multiparameter persistence modules, 2024

    2024

  32. [32]

    Interactive visualization of 2-d persistence modules

    Michael Lesnick and Matthew Wright. Interactive visualization of 2-d persistence modules. arXiv preprint arXiv:1512.00180, 2015

    work page arXiv 2015

  33. [33]

    McCarthy

    R. McCarthy. Dual calculus for functors to spectra. InHomotopy methods in algebraic topol- ogy (Boulder, CO, 1999), volume 271 ofContemp. Math., pages 183–215. Amer. Math. Soc., Providence, RI, 2001

    1999

  34. [34]

    Munson and I

    B.A. Munson and I. Voli´ c.Cubical homotopy theory, volume 25 ofNew Mathematical Mono- graphs. Cambridge University Press, Cambridge, 2015

    2015

  35. [35]

    Riehl.Category theory in context

    E. Riehl.Category theory in context. Aurora Dover Modern Math Originals. Dover Publica- tions, Inc., Mineola, NY, 2016

    2016

  36. [36]

    Multiparameter persistent homology landscapes identify immune cell spatial patterns in tumors.Proceedings of the National Academy of Sciences, 118(41):e2102166118, 2021

    Oliver Vipond, Joshua A Bull, Philip S Macklin, Ulrike Tillmann, Christopher W Pugh, Helen M Byrne, and Heather A Harrington. Multiparameter persistent homology landscapes identify immune cell spatial patterns in tumors.Proceedings of the National Academy of Sciences, 118(41):e2102166118, 2021

    2021

  37. [37]

    C. Webb. Decomposition of graded modules.Proc. Amer. Math. Soc., 94(4):565–571, 1985

    1985

  38. [38]

    Number 38

    Charles A Weibel.An introduction to homological algebra. Number 38. Cambridge university press, 1994

    1994

  39. [39]

    M. Weiss. Embeddings from the point of view of immersion theory: Part i.Geometry & Topology, 3(1):67–101, May 1999

    1999

  40. [40]

    Capturing dynamics of time- varying data via topology.arXiv preprint arXiv:2010.05780, 2020

    Lu Xian, Henry Adams, Chad M Topaz, and Lori Ziegelmeier. Capturing dynamics of time- varying data via topology.arXiv preprint arXiv:2010.05780, 2020

    work page arXiv 2010