pith. sign in

arxiv: 2606.05869 · v1 · pith:27ZH5FRNnew · submitted 2026-06-04 · 🧮 math.CO

A master theorem for topological zeta functions of matroids

Luis Ferroni , Lorenzo Vecchi This is my paper

Pith reviewed 2026-06-28 00:48 UTC · model grok-4.3

classification 🧮 math.CO
keywords topological zeta functionsmatroidsMöbius transformmaster theoremcombinatorial invariantsloopless matroidsconjectures
0
0 comments X

The pith

A master theorem gives an explicit formula for the topological zeta function of any loopless matroid and all its coefficients.

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

The paper establishes a Master Theorem that supplies a direct and manifest description of the topological zeta function of a loopless matroid together with its Möbius transform. The same theorem yields explicit expressions for every coefficient of these functions. This framework resolves several prior open conjectures by providing transparent derivations that apply more broadly than earlier expectations. Readers would care because the result replaces indirect or case-by-case arguments with a single uniform identity that governs the entire family of invariants.

Core claim

The central claim is that a Master Theorem exists which furnishes a novel and manifest description for both the topological zeta function of a loopless matroid and its Möbius transform, including explicit formulas for all coefficients, and that this description directly solves the conjectures of van der Veer, Kutler, and Mengesha-Miranda-Sun in greater generality than previously anticipated.

What carries the argument

The Master Theorem, a single identity that directly expresses the topological zeta function, its Möbius transform, and every coefficient in terms of the loopless matroid.

If this is right

  • The conjectures stated by van der Veer in 2019, Kutler in 2023, and Mengesha-Miranda-Sun in 2026 each receive direct proofs.
  • The same formulas apply simultaneously to the zeta function, its Möbius transform, and every coefficient.
  • The results hold for every loopless matroid without additional restrictions that earlier approaches required.
  • Open questions about these zeta functions can now be settled by substitution into the single master identity rather than by separate case analysis.

Where Pith is reading between the lines

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

  • The explicit coefficient formulas may permit efficient algorithms that compute the zeta function directly from the matroid's rank function or lattice.
  • The same style of master identity could be sought for analogous zeta functions attached to other combinatorial objects such as hyperplane arrangements or graphs.
  • Because the theorem separates the function from its coefficients in a uniform way, it may simplify comparisons between the topological zeta function and other known matroid invariants.

Load-bearing premise

The matroid under study must be loopless.

What would settle it

An explicit computation, for any chosen loopless matroid, of its topological zeta function that fails to match the closed-form expression supplied by the Master Theorem.

read the original abstract

We study the topological zeta function of a loopless matroid $\mathsf{M}$ and its M\"obius transform. We provide a novel and manifest description (a ``Master Theorem'') for both functions and all of their coefficients, which can be used to give transparent solutions to several open questions and conjectures on topological zeta functions of matroids, even in greater generality than what was anticipated. As applications we solve conjectures of van der Veer (2019), Kutler (2023), and Mengesha, Miranda, and Sun (2026).

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 manuscript studies the topological zeta function of a loopless matroid M and its Möbius transform. It states a Master Theorem providing explicit, manifest descriptions of both functions and all their coefficients. These formulas are applied to resolve open conjectures of van der Veer (2019), Kutler (2023), and Mengesha-Miranda-Sun (2026), purportedly in greater generality than previously anticipated.

Significance. If the Master Theorem and its applications hold, the work supplies a direct computational tool for topological zeta functions and their coefficients in the loopless case, which could streamline proofs in matroid theory and combinatorial geometry. The explicit nature of the formulas is a strength, as it avoids reliance on fitted or recursive quantities.

major comments (2)
  1. [Abstract / Master Theorem statement] Abstract and statement of the Master Theorem: the result is formulated exclusively for loopless matroids, yet the applications claim transparent solutions to the cited conjectures in greater generality. No explicit reduction is visible showing that every matroid appearing in those conjectures is either loopless or reduces to the loopless case while preserving the zeta function and coefficients; without this step the claimed solutions do not follow directly from the stated theorem.
  2. [§1 and applications] §1 (Introduction) and applications section: the claim that the Master Theorem solves the conjectures 'even in greater generality' requires a concrete verification that the relevant instances reduce without altering the topological zeta function; the current text leaves this reduction implicit.
minor comments (2)
  1. [Notation section] Notation for the Möbius transform and the precise definition of 'manifest description' could be clarified with an early example computation for a small matroid.
  2. [Abstract] The abstract lists three conjectures; a short table mapping each conjecture to the specific corollary or theorem that resolves it would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need for explicit reductions. The comments correctly note that the Master Theorem is stated only for loopless matroids and that the claimed solutions to the conjectures in greater generality rest on an implicit reduction step. We will revise the manuscript to supply the missing explicit verification.

read point-by-point responses

  1. Referee: [Abstract / Master Theorem statement] Abstract and statement of the Master Theorem: the result is formulated exclusively for loopless matroids, yet the applications claim transparent solutions to the cited conjectures in greater generality. No explicit reduction is visible showing that every matroid appearing in those conjectures is either loopless or reduces to the loopless case while preserving the zeta function and coefficients; without this step the claimed solutions do not follow directly from the stated theorem.

    Authors: We agree that the reduction must be made explicit. In the revised version we will insert a dedicated paragraph immediately after the statement of the Master Theorem that recalls the standard fact that deleting all loops from a matroid M yields a loopless matroid M' whose characteristic polynomial (and hence whose topological zeta function) coincides with that of M. We will then verify, conjecture by conjecture, that each matroid appearing in van der Veer (2019), Kutler (2023), and Mengesha-Miranda-Sun (2026) is either already loopless or differs from its loopless version by a set of loops whose deletion leaves the relevant zeta function unchanged. This will render the claimed solutions direct corollaries of the Master Theorem. revision: yes

  2. Referee: [§1 and applications] §1 (Introduction) and applications section: the claim that the Master Theorem solves the conjectures 'even in greater generality' requires a concrete verification that the relevant instances reduce without altering the topological zeta function; the current text leaves this reduction implicit.

    Authors: We accept the criticism. The revised manuscript will contain a new subsection (placed after the applications) that performs the concrete case-by-case verification described above. Each verification will cite the precise matroid operation (loop deletion) and the invariance of the topological zeta function under that operation, thereby removing the implicit step. revision: yes

Circularity Check

0 steps flagged

Master Theorem supplies independent explicit formulas with no reduction to inputs

full rationale

The paper states a Master Theorem that furnishes novel, manifest descriptions of the topological zeta function, its Möbius transform, and all coefficients for loopless matroids. These are presented as explicit formulas that transparently resolve external conjectures (van der Veer 2019, Kutler 2023, Mengesha-Miranda-Sun 2026) in greater generality. No equations, definitions, or self-citations in the abstract reduce the claimed result to a fit, renaming, or prior author result by construction; the central claim remains independent content. The loopless restriction is an explicit scope limitation rather than a hidden self-definition. This is the normal case of a self-contained derivation.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no free parameters, axioms, or invented entities are identifiable from the given text.

pith-pipeline@v0.9.1-grok · 5608 in / 1020 out tokens · 31814 ms · 2026-06-28T00:48:42.728045+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

18 extracted references · 13 canonical work pages

  1. [1]

    2026 , eprint=

    Topological Zeta Functions of Matroids: Operations and Computations , author=. 2026 , eprint=

    2026

  2. [2]

    Valuations for matroid polytope subdivisions , JOURNAL =

    Ardila, Federico and Fink, Alex and Rinc\'. Valuations for matroid polytope subdivisions , JOURNAL =. 2010 , NUMBER =. doi:10.4153/CJM-2010-064-9 , URL =

    work page doi:10.4153/cjm-2010-064-9 2010

  3. [3]

    Berget, Andrew and Eur, Christopher and Spink, Hunter and Tseng, Dennis , TITLE =. Invent. Math. , FJOURNAL =. 2023 , NUMBER =. doi:10.1007/s00222-023-01194-5 , URL =

    work page doi:10.1007/s00222-023-01194-5 2023

  4. [4]

    arXiv e-prints , keywords =

    The external activity complex of a pair of matroids. arXiv e-prints , keywords =. doi:10.48550/arXiv.2412.11759 , archivePrefix =. 2412.11759 , primaryClass =

    work page doi:10.48550/arxiv.2412.11759

  5. [5]

    Ferroni, Luis and Schr\"oter, Benjamin , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2024 , NUMBER =. doi:10.1112/jlms.12984 , URL =

    work page doi:10.1112/jlms.12984 2024

  6. [6]

    Forum Math

    Eur, Christopher and Huh, June and Larson, Matt , TITLE =. Forum Math. Pi , FJOURNAL =. 2023 , PAGES =. doi:10.1017/fmp.2023.24 , URL =

    work page doi:10.1017/fmp.2023.24 2023

  7. [7]

    Derksen, Harm and Fink, Alex , TITLE =. Adv. Math. , FJOURNAL =. 2010 , NUMBER =. doi:10.1016/j.aim.2010.04.016 , URL =

    work page doi:10.1016/j.aim.2010.04.016 2010

  8. [8]

    Jensen, David and Kutler, Max and Usatine, Jeremy , TITLE =. J. Lond. Math. Soc. (2) , FJOURNAL =. 2021 , NUMBER =. doi:10.1112/jlms.12386 , URL =

    work page doi:10.1112/jlms.12386 2021

  9. [9]

    Discrete Math

    van der Veer, Robin , TITLE =. Discrete Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1016/j.disc.2019.05.035 , URL =

    work page doi:10.1016/j.disc.2019.05.035 2019

  10. [10]

    Ardila, Federico and Sanchez, Mario , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2023 , NUMBER =. doi:10.1093/imrn/rnab355 , URL =

    work page doi:10.1093/imrn/rnab355 2023

  11. [11]

    Welsh, Dominic J. A. , TITLE =. 1976 , PAGES =

    1976

  12. [12]

    , TITLE =

    Stanley, Richard P. , TITLE =. 2012 , PAGES =

    2012

  13. [13]

    2007, Gravitational Waves: Volume 1: Theory and Experiments , 10.1093/acprof:oso/9780198570745.001.0001

    Oxley, James , TITLE =. 2011 , PAGES =. doi:10.1093/acprof:oso/9780198566946.001.0001 , URL =

    work page doi:10.1093/acprof:oso/9780198566946.001.0001 2011

  14. [14]

    Hilbert-Poincar´ e series of matroid Chow rings and intersection cohomology

    Ferroni, Luis and Matherne, Jacob P. and Stevens, Matthew and Vecchi, Lorenzo , TITLE =. Adv. Math. , FJOURNAL =. 2024 , PAGES =. doi:10.1016/j.aim.2024.109733 , URL =

    work page doi:10.1016/j.aim.2024.109733 2024

  15. [15]

    Kutler, Max and Usatine, Jeremy , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2023 , NUMBER =. doi:10.1017/S0305004123000099 , URL =

    work page doi:10.1017/s0305004123000099 2023

  16. [16]

    2025 , eprint=

    Chow classes of matroids and standard Young tableaux , author=. 2025 , eprint=

    2025

  17. [17]

    Seminar talk at the Fields Institute in Toronto , note =

    Motivic Zeta functions of hyperplane arrangements , author =. Seminar talk at the Fields Institute in Toronto , note =. 2023 , month =

    2023

  18. [18]

    The monodromy conjecture for hyperplane arrangements , JOURNAL =

    Budur, Nero and Musta. The monodromy conjecture for hyperplane arrangements , JOURNAL =. 2011 , PAGES =. doi:10.1007/s10711-010-9560-1 , URL =

    work page doi:10.1007/s10711-010-9560-1 2011