pith. sign in

arxiv: 2601.07900 · v2 · submitted 2026-01-12 · 🧮 math.AG · math.CT

Projective metric geometry of tropical nuclei: gap matrices, event loci, and order chambers

Juan Luis Gastaldi (D-INFK) , Samantha Jarvis (CUNY) , Thomas Seiller (CNRS , LIPN) , John Terilla (CUNY) This is my paper

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

classification 🧮 math.AG math.CT
keywords tropical geometryHilbert projective metricIsbell nucleusprofunctor enrichmentgap matrixtropical convexitypolyhedral cellsformal concept lattices
0
0 comments X

The pith

The Isbell nucleus of a real matrix induces an isometry between its tropical row and column spans under the Hilbert projective metric.

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

The paper shows that treating a real matrix as a profunctor enriched over the extended reals produces an Isbell nucleus that equips the tropical spans with a Hilbert projective metric making the conjugate maps isometries. This same nucleus defines a polyhedral cell decomposition from the Isbell inequalities. The gap matrix then directly encodes the projective distances from any point to the boundaries where inequalities become equalities. Such a construction links the metric geometry of tropical polytopes to their combinatorial type decompositions in a canonical way.

Core claim

The central claim is that the Isbell conjugate maps are mutually inverse isometries with respect to the Hilbert projective metric on the nucleus. Each positive entry of the gap matrix equals the exact projective distance to the locus where the corresponding Isbell inequality becomes tight. In the square case the Chebyshev center of the unique full-dimensional cell has radius equal to the minimum directed cycle mean of an associated digraph.

What carries the argument

The Isbell nucleus of the matrix viewed as a profunctor enriched over the extended reals, which carries both the Hilbert projective metric and the polyhedral cell decomposition cut out by the Isbell inequalities.

If this is right

  • The tropical row span and column span are isometric as metric spaces.
  • The gap matrix provides the precise distances to the event loci in the cell decomposition.
  • Thresholding the gap matrix extracts a constructible sheaf of formal concept lattice towers.
  • The Chebyshev center in the square case corresponds to the minimum cycle mean in an associated digraph.

Where Pith is reading between the lines

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

  • This framework could extend to computing optimal centers in tropical convex sets using graph algorithms.
  • The connection between algebraic slack and geometric distance suggests similar phenomena in other enriched category settings.
  • Extracting discrete structure at different scales from the continuous geometry may apply to data analysis or optimization problems.

Load-bearing premise

That viewing an arbitrary real matrix as a profunctor enriched over the extended reals is sufficient to induce both the Hilbert projective metric and the polyhedral cell decomposition without additional choices or restrictions on the matrix entries.

What would settle it

Take a concrete small matrix, compute its Isbell nucleus, calculate the gap matrix, identify a cell wall, and measure the Hilbert projective distance from a point to that wall to check if it equals the corresponding gap entry.

read the original abstract

The tropical row span and column span of a real matrix are, from the polyhedral point of view, different objects living in different ambient spaces. These polytopes are known to be combinatorially isomorphic as polyhedral complexes; we prove that they are isometric under a Hilbert projective metric. We show that this isometry, along with a considerable amount of additional metric and polyhedral structure, is a direct consequence of a single categorical construction: the Isbell nucleus of the matrix, viewed as a profunctor enriched over the extended reals. The projective nucleus carries two canonical structures inherited from enrichment. The first is a Hilbert projective metric, with respect to which the Isbell conjugate maps are mutually inverse isometries -- this is the Isometry Theorem. The second is a polyhedral cell decomposition cut out by the Isbell inequalities, recovering the type decomposition of tropical convexity. These two structures are linked pointwise by the \emph{gap matrix}. The Events Theorem identifies each positive entry of the gap matrix with the exact projective distance to the locus where the corresponding inequality becomes tight: algebraic slack in the Isbell inequalities equals geometric distance to the cell walls. Thresholding the gap matrix at successive radii produces a constructible sheaf of formal concept lattice towers, extracting discrete algebraic structure from the continuous geometry at each point. In the square case there is generically a unique full-dimensional cell. The Centering Theorem identifies its Chebyshev center -- the point maximally insulated from all cell walls -- and shows that the optimal radius equals the minimum directed cycle mean of an associated digraph, connecting the projective geometry of the nucleus to the classical theory of optimal assignments.

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 paper claims that the tropical row span and column span of a real matrix are combinatorially isomorphic as polyhedral complexes and isometric under the Hilbert projective metric. This isometry, along with a polyhedral cell decomposition via Isbell inequalities and a gap matrix linking algebraic slack to geometric distance, arises directly from the single categorical construction of the Isbell nucleus applied to the matrix viewed as a profunctor enriched over the extended reals. The central results are the Isometry Theorem (Isbell conjugate maps are mutually inverse isometries), the Events Theorem (each positive gap matrix entry equals the exact projective distance to the locus where the corresponding Isbell inequality becomes tight), and the Centering Theorem (in the square case, the Chebyshev center of the unique full-dimensional cell has radius equal to the minimum directed cycle mean of an associated digraph).

Significance. If the results hold, the work supplies a categorical unification of the metric and polyhedral aspects of tropical convexity via a single enrichment construction, recovering the type decomposition while adding a Hilbert metric structure and connecting the geometry of the nucleus to optimal assignment problems through cycle means. The derivation of both isometry and cell decomposition from the Isbell nucleus without additional parameters is a notable strength, with potential to clarify structures in tropical geometry and related optimization contexts.

minor comments (3)
  1. The abstract is information-dense; expanding the statement of each named theorem with a one-sentence gloss would improve accessibility without lengthening the paper.
  2. In the Centering Theorem section, the construction of the associated digraph from the square matrix should be stated explicitly (e.g., via adjacency matrix or weighted edges) to allow immediate verification of the cycle-mean claim.
  3. Notation for the gap matrix entries and the thresholding operation that produces the sheaf of formal concept lattices could be introduced with a small diagram or table in the main text rather than deferred to an appendix.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work and the recommendation for minor revision. The assessment correctly identifies the central role of the Isbell nucleus in unifying the metric and polyhedral structures.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper derives the Isometry Theorem, Events Theorem, and Centering Theorem directly as consequences of applying the single Isbell nucleus construction to an arbitrary real matrix viewed as a profunctor enriched over the extended reals. The Hilbert projective metric arises from the enrichment, the Isbell conjugate maps are shown to be mutually inverse isometries by the categorical properties of the nucleus, the gap matrix entries are identified with distances to event loci via the same inequalities, and the Chebyshev center in the square case is linked to the minimum directed cycle mean through the induced polyhedral structure. No equation reduces by construction to a fitted parameter, no load-bearing step relies on a self-citation whose constants were chosen to match the target claim, and the polyhedral cell decomposition follows from the Isbell inequalities without additional restrictions or renaming of known results. The derivation is therefore self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on the standard axioms of enriched category theory and tropical semiring arithmetic; no new free parameters or invented entities are introduced beyond the gap matrix itself, which is derived rather than postulated.

axioms (2)
  • domain assumption A real matrix may be viewed as a profunctor enriched over the extended reals
    Invoked at the outset to define the Isbell nucleus.
  • standard math The Hilbert projective metric is well-defined on the tropical row and column spans
    Used to state the Isometry Theorem.

pith-pipeline@v0.9.0 · 5625 in / 1492 out tokens · 50583 ms · 2026-05-16T15:16:27.871906+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.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    The projective nucleus carries two canonical structures inherited from enrichment. The first is a Hilbert projective metric, with respect to which the Isbell conjugate maps are mutually inverse isometries (Isometry Theorem). The second is a polyhedral cell decomposition cut out by the Isbell inequalities... linked pointwise by the gap matrix... dPNuc((f,g),Ec,d)=δ(f,g)(c,d) (Events Theorem).

  • IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    When C and D are finite sets and M is a real matrix, the projectivization PNuc(M) is a compact polyhedral space...

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.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages · 1 internal anchor

  1. [1]

    Documenta Mathematica9, 1–27 (2004) https://doi.org/10.4171/DM/154

    Develin, M., Sturmfels, B.: Tropical convexity. Documenta Mathematica9, 1–27 (2004) https://doi.org/10.4171/DM/154

    work page doi:10.4171/dm/154 2004

  2. [2]

    Dis- crete Mathematics23(3), 309–311 (1978) https://doi.org/10.1016/0012-365X(78) 90011-0

    Karp, R.M.: A characterization of the minimum cycle mean in a digraph. Dis- crete Mathematics23(3), 309–311 (1978) https://doi.org/10.1016/0012-365X(78) 90011-0

    work page doi:10.1016/0012-365x(78 1978

  3. [3]

    Naval Research Logistics Quarterly2(1–2), 83–97 (1955) https://doi.org/10.1002/nav

    Kuhn, H.W.: The hungarian method for the assignment problem. Naval Research Logistics Quarterly2(1–2), 83–97 (1955) https://doi.org/10.1002/nav. 3800020109

    work page doi:10.1002/nav 1955

  4. [4]

    Society for Industrial and Applied Mathematics, Philadelphia (2009)

    Burkard, R., Dell’Amico, M., Martello, S.: Assignment Problems. Society for Industrial and Applied Mathematics, Philadelphia (2009)

    work page 2009

  5. [5]

    Graduate Stud- ies in Mathematics, vol

    Maclagan, D., Sturmfels, B.: Introduction to Tropical Geometry. Graduate Stud- ies in Mathematics, vol. 161. American Mathematical Society, Providence, RI (2015). https://doi.org/10.1090/gsm/161

    work page doi:10.1090/gsm/161 2015

  6. [6]

    In: Relations and Kleene Alge- brainComputerScience(RelMiCS2006).LectureNotesinComputerScience,vol

    Gaubert, S., Katz, R.: Max-plus convex geometry. In: Relations and Kleene Alge- brainComputerScience(RelMiCS2006).LectureNotesinComputerScience,vol. 4136, pp. 192–206. Springer, ??? (2006). https://doi.org/10.1007/11828563_13

    work page doi:10.1007/11828563_13 2006

  7. [7]

    Journal of Algebraic Combinatorics33(3), 325–348 (2011) https://doi

    Gaubert, S., Katz, R.: Minimal half-spaces and external representation of tropical 41 polyhedra. Journal of Algebraic Combinatorics33(3), 325–348 (2011) https://doi. org/10.1007/S10801-010-0246-4

    work page doi:10.1007/s10801-010-0246-4 2011

  8. [8]

    Nitica†, V., Singer, I.: Max-plus convex sets and max-plus semispaces. i. Opti- mization 56(1-2), 171–205 (2007) https://doi.org/10.1080/02331930600819852 https://doi.org/10.1080/02331930600819852

    work page doi:10.1080/02331930600819852 2007

  9. [9]

    Journal of Mathematical Sciences155(6), 815–829 (2008) https://doi.org/10.1007/s10958-008-9243-8

    Gaubert, S., Sergeev, S.: Cyclic projectors and separation theorems in idempo- tent convex geometry. Journal of Mathematical Sciences155(6), 815–829 (2008) https://doi.org/10.1007/s10958-008-9243-8 . Translated from Fundamentalnaya i Prikladnaya Matematika

    work page doi:10.1007/s10958-008-9243-8 2008

  10. [10]

    Rendiconti del Seminario Matematico e Fisico di Milano 43, 135–166 (1973) https://doi

    Lawvere, F.W.: Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano 43, 135–166 (1973) https://doi. org/10.1007/BF02924844 . Reprinted in Reprints in Theory and Applications of Categories, No. 1 (2002), pp. 1–37

    work page doi:10.1007/bf02924844 1973

  11. [11]

    Illinois Journal of Mathematics4(4), 541– 552 (1960) https://doi.org/10.1215/ijm/1255456274

    Isbell, J.R.: Adequate subcategories. Illinois Journal of Mathematics4(4), 541– 552 (1960) https://doi.org/10.1215/ijm/1255456274

    work page doi:10.1215/ijm/1255456274 1960

  12. [12]

    Theory and Applications of Categories36(12), 306–347 (2021) https://doi.org/10.70930/tac/ r1jknjot

    Avery, T., Leinster, T.: Isbell conjugacy and the reflexive completion. Theory and Applications of Categories36(12), 306–347 (2021) https://doi.org/10.70930/tac/ r1jknjot

    work page doi:10.70930/tac/ 2021

  13. [13]

    Theory and Applications of Categories28(22), 696–732 (2013) https://doi.org/10.70930/ tac/rkp3zgxc

    Willerton, S.: Tight spans, Isbell completions and semi-tropical modules. Theory and Applications of Categories28(22), 696–732 (2013) https://doi.org/10.70930/ tac/rkp3zgxc

    work page 2013

  14. [14]

    Blog post (2014).https://golem.ph.utexas.edu/category/2014/02/galois_correspondences_ and_enr.html Accessed 2025-12-08

    Willerton, S.: Galois Correspondences and Enriched Adjunctions. Blog post (2014).https://golem.ph.utexas.edu/category/2014/02/galois_correspondences_ and_enr.html Accessed 2025-12-08

    work page 2014

  15. [15]

    The Legendre-Fenchel transform from a category theoretic perspective

    Willerton, S.: The Legendre-Fenchel transform from a category theoretic perspective. arXiv e-prints (2015) https://doi.org/10.48550/arXiv.1501.03791 arXiv:1501.03791 [math.CT]

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.1501.03791 2015

  16. [16]

    In: Modelling and Optimisation of Flows on Networks

    Ambrosio, L., Gigli, N.: A user’s guide to optimal transport. In: Modelling and Optimisation of Flows on Networks. Lecture Notes in Mathematics, vol. 2062, pp. 1–155. Springer, Berlin, Heidelberg (2013). https://doi.org/10.1007/ 978-3-642-32160-3_1

    work page 2062

  17. [17]

    PhD thesis, University of Sheffield, Sheffield, UK (2017)

    Elliott, J.A.: On the fuzzy concept complex. PhD thesis, University of Sheffield, Sheffield, UK (2017). https://etheses.whiterose.ac.uk/18342/

    work page 2017

  18. [18]

    arXiv e-prints (2019) https://doi.org/10.48550/arXiv.1909.07620 arXiv:1909.07620 [math.CT] 42

    Fujii, S.: Enriched categories and tropical mathematics. arXiv e-prints (2019) https://doi.org/10.48550/arXiv.1909.07620 arXiv:1909.07620 [math.CT] 42

    work page doi:10.48550/arxiv.1909.07620 2019

  19. [19]

    La Matematica1(2), 551–580 (2022) https: //doi.org/10.1007/s44007-022-00021-2

    Bradley, T.-D., Terilla, J., Vlassopoulos, Y.: An enriched category theory of lan- guage: From syntax to semantics. La Matematica1(2), 551–580 (2022) https: //doi.org/10.1007/s44007-022-00021-2

    work page doi:10.1007/s44007-022-00021-2 2022

  20. [20]

    arXiv e-prints (2024) https://doi.org/10.48550/arXiv.2405.12264 arXiv:2405.12264 [cs.LG]

    Gaubert, S., Vlassopoulos, Y.: Directed metric structures arising in large lan- guage models. arXiv e-prints (2024) https://doi.org/10.48550/arXiv.2405.12264 arXiv:2405.12264 [cs.LG]

    work page doi:10.48550/arxiv.2405.12264 2024

  21. [21]

    Theory and Applications of Categories44(37), 1256–1281 (2025) https://doi.org/10.48550/arXiv.2501.06662 arXiv:2501.06662 [math.CT]

    Bradley, T.-D., Vigneaux, J.P.: The magnitude of categories of texts enriched by language models. Theory and Applications of Categories44(37), 1256–1281 (2025) https://doi.org/10.48550/arXiv.2501.06662 arXiv:2501.06662 [math.CT]

    work page doi:10.48550/arxiv.2501.06662 2025

  22. [22]

    Notices of the American Mathematical Society71(2), 174–185 (2024) https://doi.org/10.1090/noti2868

    Bradley, T., Gastaldi, J.L., Terilla, J.: The structure of meaning in language: Parallel narratives in linear algebra and category theory. Notices of the American Mathematical Society71(2), 174–185 (2024) https://doi.org/10.1090/noti2868

    work page doi:10.1090/noti2868 2024

  23. [23]

    Algorithms and Combinatorics, vol

    Schrijver, A.: Combinatorial Optimization: Polyhedra and Efficiency. Algorithms and Combinatorics, vol. 24. Springer, Berlin (2003)

    work page 2003

  24. [24]

    Akian, M., Gaubert, S., Qi, Y., Saadi, O.: Tropical linear regression and mean pay- offgames:or,howtomeasurethedistancetoequilibria.SIAMJournalonDiscrete Mathematics 37(2), 632–674 (2023) https://doi.org/10.1137/21M1428297

    work page doi:10.1137/21m1428297 2023

  25. [25]

    PhD thesis, The Graduate Center, City University of New York (June 2025)

    Jarvis, S.K.: A novel closed monoidal structure on the nucleus of a profunc- tor. PhD thesis, The Graduate Center, City University of New York (June 2025). Doctoral dissertation (Ph.D.), Mathematics; advisor: John Terilla. https: //academicworks.cuny.edu/gc_etds/6231

    work page 2025

  26. [26]

    PhD thesis, Sorbonne Paris Nord Univer- sity (2024)

    Seiller, T.: Mathematical Informatics. PhD thesis, Sorbonne Paris Nord Univer- sity (2024). Habilitation thesis. https://theses.hal.science/tel-04616661

    work page 2024

  27. [27]

    Preprint, available from the authors (2025)

    Gastaldi, J.L., Jarvis, S., Seiller, T., Terilla, J.: Linear realizability and structures in R-enriched adjunctions. Preprint, available from the authors (2025)

    work page 2025

  28. [28]

    London Mathematical Society Lecture Note Series, vol

    Kelly, G.M.: Basic Concepts of Enriched Category Theory. London Mathematical Society Lecture Note Series, vol. 64. Cambridge University Press, ??? (1982). Reprinted in: Reprints in Theory and Applications of Categories, No. 10, 2005

    work page 1982

  29. [29]

    Mathematical Sur- veys and Monographs, vol

    Aguiar, M., Mahajan, S.: Topics in Hyperplane Arrangements. Mathematical Sur- veys and Monographs, vol. 226. American Mathematical Society, Providence, RI (2017)

    work page 2017

  30. [30]

    In: Rival, I

    Wille, R.: Restructuring lattice theory: An approach based on hierarchies of concepts. In: Rival, I. (ed.) Ordered Sets: Proceedings of the NATO Advanced Study Institute Held at Banff, Canada, August 28 to September 12, 1981. NATO AdvancedStudyInstitutesSeries,vol.83,pp.445–470.Springer,Dordrecht(1982). 43 https://doi.org/10.1007/978-94-009-7798-3_15 44

    work page doi:10.1007/978-94-009-7798-3_15 1981