pith. machine review for the scientific record. sign in

arxiv: 2602.15726 · v5 · submitted 2026-02-17 · 🧮 math.RT · math.AT· math.CT

Recognition: 2 theorem links

· Lean Theorem

Complex Matching Distance and Stability for Minimal Projective Resolutions, with Applications to Persistence

Hideto Asashiba , Amit K. Patel
Authors on Pith no claims yet

Pith reviewed 2026-05-15 21:43 UTC · model grok-4.3

classification 🧮 math.RT math.ATmath.CT
keywords minimal projective resolutionscomplex matching distanceGülen-McCleary distancepersistence modulesstability theoryposet modulesmultiparameter persistencebottleneck stability
0
0 comments X

The pith

The complex matching distance on minimal projective resolutions is bounded above by the Gülen-McCleary distance on modules.

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

The paper builds a stability theory for minimal projective resolutions of modules over a finite metric poset by introducing a complex matching distance on bounded complexes of finitely generated projective modules. This new distance forms an extended metric on homotopy classes of such complexes and restricts directly to minimal projective resolutions. The central result proves that this induced distance is bounded above by the existing Gülen-McCleary distance between the underlying modules. The construction is then applied to persistence by treating persistence diagrams as minimal projective resolutions of kernel modules over the interval poset, which produces stability inequalities that recover the classical bottleneck distance in the one-parameter setting and extend to signed diagrams in the multiparameter setting.

Core claim

Our main theorem shows that this induced distance on minimal projective resolutions is bounded above by the Gülen-McCleary distance. As an application, we pass to the interval poset and kernel construction, interpreting persistence diagrams as minimal projective resolutions of kernel modules. This gives a corresponding stability inequality, which in the one-parameter case recovers classical bottleneck stability and in the multiparameter case extends to signed diagrams arising from minimal projective resolutions.

What carries the argument

The complex matching distance on bounded complexes of finitely generated projective P-modules, which yields an extended metric on homotopy classes and restricts to minimal projective resolutions.

Load-bearing premise

The poset is finite and metric and the modules are finitely generated projective so that the complex matching distance is well-defined and restricts correctly to minimal resolutions.

What would settle it

Two minimal projective resolutions whose complex matching distance exceeds the Gülen-McCleary distance between their modules would falsify the main bound.

read the original abstract

We develop a stability theory for minimal projective resolutions of $\mathbf{P}$-modules, where $\mathbf{P}$ is a finite metric poset. We use the G\"ulen-McCleary distance on $\mathbf{P}$-modules together with a new complex matching distance on bounded complexes of finitely generated projective $\mathbf{P}$-modules. The latter yields an extended metric on homotopy classes of such complexes and restricts to minimal projective resolutions. Our main theorem shows that this induced distance on minimal projective resolutions is bounded above by the G\"ulen-McCleary distance. As an application, we pass to the interval poset and kernel construction, interpreting persistence diagrams as minimal projective resolutions of kernel modules. This gives a corresponding stability inequality, which in the one-parameter case recovers classical bottleneck stability and in the multiparameter case extends to signed diagrams arising from minimal projective resolutions.

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

2 major / 2 minor

Summary. The paper defines a complex matching distance on bounded complexes of finitely generated projective modules over a finite metric poset P. This distance is shown to be an extended metric on homotopy classes of such complexes and to restrict to minimal projective resolutions. The central theorem establishes that the induced distance on minimal projective resolutions is bounded above by the Gülen-McCleary distance on the underlying modules. As an application, persistence diagrams are interpreted as minimal projective resolutions of kernel modules over the interval poset, yielding a stability inequality that recovers the classical bottleneck distance in the one-parameter case and extends to signed diagrams in the multiparameter case.

Significance. If the main theorem holds, the work supplies a homological stability framework that directly compares distances on resolutions to module-level distances, with an explicit matching construction that respects differentials and the poset metric. The restriction to minimal projective resolutions and the recovery of bottleneck stability in one dimension while extending to multiparameter signed diagrams constitute a concrete advance for persistence theory. The finite-generation and finiteness assumptions ensure the constructions are well-defined, and the explicit matching from module-level data to complex-level data is a verifiable strength.

major comments (2)
  1. [§4] §4, Main Theorem: The proof that d_complex(M•, N•) ≤ d_GM(M, N) proceeds by lifting a module-level matching to a complex-level matching; the text must explicitly verify that the lifted matching respects the differentials in every degree and that the resulting cost is at most the Gülen-McCleary cost, since this step is load-bearing for the inequality.
  2. [§3.2] §3.2, Definition of complex matching distance: The infimum is taken over matchings on graded pieces that respect both the differential and the poset metric; the precise formula for the cost of a matching (including how the poset metric is summed) must be stated with an equation, because any ambiguity here propagates directly into the bound and the metric axioms.
minor comments (2)
  1. [Abstract] Abstract: The phrase 'restricts to minimal projective resolutions' should be expanded to 'restricts to the minimal projective resolutions of the underlying modules' for immediate clarity.
  2. [Application] Application section: The kernel-module construction over the interval poset should include a short commutative diagram showing how the signed diagram arises from the minimal resolution.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and positive recommendation. We address the two major comments below and have revised the manuscript accordingly to improve clarity.

read point-by-point responses

  1. Referee: [§3.2] §3.2, Definition of complex matching distance: The infimum is taken over matchings on graded pieces that respect both the differential and the poset metric; the precise formula for the cost of a matching (including how the poset metric is summed) must be stated with an equation, because any ambiguity here propagates directly into the bound and the metric axioms.

    Authors: We agree that an explicit equation for the cost is necessary to avoid ambiguity. In the revised version we have inserted Equation (3.1), which defines the cost of a matching φ between graded pieces as the sum, over all matched pairs (x,y), of d_P(deg(x),deg(y)) plus the norm of the differential mismatch d(x) - φ(d(y)). This makes the infimum in Definition 3.2 fully precise and ensures the metric axioms are verified without ambiguity. revision: yes

  2. Referee: [§4] §4, Main Theorem: The proof that d_complex(M•, N•) ≤ d_GM(M, N) proceeds by lifting a module-level matching to a complex-level matching; the text must explicitly verify that the lifted matching respects the differentials in every degree and that the resulting cost is at most the Gülen-McCleary cost, since this step is load-bearing for the inequality.

    Authors: We thank the referee for highlighting this load-bearing step. In the revised proof of Theorem 4.1 we have added a dedicated paragraph that explicitly constructs the lift of a Gülen-McCleary matching and verifies, degree by degree, that the lifted map commutes with the differentials (by checking the chain-map identity on a basis of matched projective summands). We then show that the total complex-matching cost is bounded above by the module-level cost by summing the per-degree contributions, each of which is at most the corresponding term in d_GM. This establishes the desired inequality. revision: yes

Circularity Check

0 steps flagged

Minor self-citation not load-bearing; core inequality proved by explicit construction

full rationale

The paper defines the complex matching distance on bounded complexes via matchings on graded pieces respecting differentials and the poset metric, then proves the main stability inequality d_complex(M•, N•) ≤ d_GM(M, N) by exhibiting an explicit matching induced from any module-level Gülen-McCleary matching. This construction is independent of the target bound and does not reduce to a fitted parameter or self-citation chain. Finiteness of P and finite generation ensure the distance is well-defined. The derivation is self-contained; any self-citation is peripheral and not required for the central claim.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

Based solely on abstract; the setup assumes a finite metric poset and finitely generated projective modules without further justification visible.

axioms (2)
  • domain assumption P is a finite metric poset
    Stated as the ambient category for the modules and resolutions.
  • domain assumption Modules are finitely generated projective P-modules
    Required for the bounded complexes and minimal resolutions to be well-defined.
invented entities (1)
  • complex matching distance no independent evidence
    purpose: Extended metric on homotopy classes of bounded complexes of projective P-modules
    Newly introduced to induce a distance on minimal projective resolutions.

pith-pipeline@v0.9.0 · 5446 in / 1285 out tokens · 21755 ms · 2026-05-15T21:43:25.022823+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. An Algebraic Introduction to Persistence

    math.AT 2026-04 unverdicted novelty 2.0

    The paper surveys algebraic properties of poset representations and their stability under the interleaving distance in persistence theory.