pith. sign in

arxiv: 2607.02419 · v1 · pith:SPSBNXLGnew · submitted 2026-07-02 · 🧮 math.CO

Characterisations of strong Delta-matroids

Kieran Calvert , Aram Dermenjian , Alex Fink , Ben Smith This is my paper

Pith reviewed 2026-07-03 10:19 UTC · model grok-4.3

classification 🧮 math.CO
keywords strong Δ-matroidsΔ-matroidsexchange propertiespeerless antipodesisolated antipodestropicalisationorthogonal Grassmannian
0
0 comments X

The pith

Strong Δ-matroids are characterised by five equivalent properties that include global and local bans on peerless and isolated antipodes.

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

The paper compiles five equivalent descriptions of strong Δ-matroids. It proves that a variant of Wenzel's exchange property is equivalent to the hyperplane exchange property of Borovik-Gelfand-White. Two new descriptions require that the system of feasible sets contains no peerless antipodes at all or no isolated antipodes locally. These conditions produce new local exchange axioms for matroids and Δ-matroids as corollaries. The authors supply algebraic motivation by deriving the peerless antipode equations as the tropicalisation of a basis of quadratics that cut out the orthogonal Grassmannian.

Core claim

Strong Δ-matroids are exactly those Δ-matroids whose feasible sets admit no peerless antipodes globally and, equivalently, no isolated antipodes locally; these two combinatorial conditions are equivalent to each other and to the stated exchange properties, and they arise directly as the tropicalisations of the quadratic equations defining the orthogonal Grassmannian.

What carries the argument

The peerless antipode condition (and its local isolated-antipode variant) on the collection of feasible sets, which forbids specific global or local configurations of antipodal pairs.

Load-bearing premise

The peerless antipode equations obtained by tropicalisation of the quadratics cutting out the orthogonal Grassmannian correctly encode the combinatorial condition of having no peerless antipodes.

What would settle it

A single Δ-matroid whose feasible sets contain no peerless antipodes yet fail the hyperplane exchange property, or whose feasible sets contain a peerless antipode yet satisfy the tropical peerless antipode equations.

Figures

Figures reproduced from arXiv: 2607.02419 by Alex Fink, Aram Dermenjian, Ben Smith, Kieran Calvert.

Figure 1
Figure 1. Figure 1: An example of a ∆-matroid that is not a strong ∆-matroid from Example 2.4. [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The hierarchy of the families of ∆-matroids discussed. [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
read the original abstract

We study characterisations of strong $\Delta$-matroids, compiling a list of five equivalent descriptions. We show a variant of Wenzel's exchange property and the hyperplane exchange property of Borovik-Gelfand-White are equivalent. We also introduce two novel characterisations in terms of 'peerless' and 'isolated' antipodes within the system of feasible sets, banning certain configurations of antipodes either globally or locally. As a corollary, we obtain new 'local' exchange axioms for matroids and $\Delta$-matroids. We give algebraic motivation for these new characterisations by introducing the peerless antipode equations, tropical equations that govern whether a $\Delta$-matroid has no peerless antipodes. We show that these arise as the tropicalisation of a specific basis of quadratics cutting out the orthogonal Grassmannian.

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 compiles five equivalent characterisations of strong Δ-matroids. It establishes the equivalence of a variant of Wenzel's exchange property with the hyperplane exchange property of Borovik-Gelfand-White. It introduces two novel characterisations forbidding 'peerless' and 'isolated' antipodes (globally or locally) in the feasible sets, derives new local exchange axioms for matroids and Δ-matroids as corollaries, and supplies algebraic motivation by defining peerless antipode equations obtained as the tropicalisation of a specific basis of quadratics for the orthogonal Grassmannian.

Significance. If the equivalences are established, the paper supplies multiple combinatorial perspectives on strong Δ-matroids together with an explicit tropical-geometric link to the orthogonal Grassmannian. The derivation of local exchange axioms is a concrete, usable corollary. The manuscript supplies proofs of the equivalences, which strengthens the contribution.

major comments (2)
  1. [section deriving the peerless antipode equations] The final paragraph of the abstract (and the corresponding section deriving the peerless antipode equations) asserts that these tropical equations 'govern whether a Δ-matroid has no peerless antipodes' and thereby ban the relevant configurations. A detailed, line-by-line verification is required showing that each tropicalised quadratic translates exactly into the stated combinatorial prohibition on antipode pairs, without omission or addition of configurations; this encoding is load-bearing for the geometric motivation of the new characterisations.
  2. [section establishing equivalence of exchange properties] The claimed equivalence between the variant of Wenzel's exchange property and the hyperplane exchange property of Borovik-Gelfand-White must be shown to hold independently of the new antipode notions, so that the five descriptions remain non-circular.
minor comments (2)
  1. The five equivalent descriptions should be enumerated explicitly in the introduction for immediate reference.
  2. Definitions of 'peerless antipode' and 'isolated antipode' should appear before their first use in the statements of the new characterisations.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and constructive feedback on our manuscript. We address each major comment point by point below, indicating the revisions we will make to strengthen the presentation while preserving the logical structure of the equivalences.

read point-by-point responses

  1. Referee: [section deriving the peerless antipode equations] The final paragraph of the abstract (and the corresponding section deriving the peerless antipode equations) asserts that these tropical equations 'govern whether a Δ-matroid has no peerless antipodes' and thereby ban the relevant configurations. A detailed, line-by-line verification is required showing that each tropicalised quadratic translates exactly into the stated combinatorial prohibition on antipode pairs, without omission or addition of configurations; this encoding is load-bearing for the geometric motivation of the new characterisations.

    Authors: We appreciate the referee's emphasis on explicit verification for the geometric motivation. The derivation in the manuscript proceeds by tropicalizing each quadratic in the chosen basis of the orthogonal Grassmannian, with the resulting min-plus equations directly encoding the absence of peerless antipode pairs via the valuation map on the Plücker coordinates. To address the request, we will revise the section to include a line-by-line translation table or expanded prose confirming that each tropical equation prohibits precisely the peerless configurations (and no others), without omissions or extraneous conditions. This addition will make the correspondence fully transparent. revision: yes

  2. Referee: [section establishing equivalence of exchange properties] The claimed equivalence between the variant of Wenzel's exchange property and the hyperplane exchange property of Borovik-Gelfand-White must be shown to hold independently of the new antipode notions, so that the five descriptions remain non-circular.

    Authors: The equivalence between the variant of Wenzel's exchange property and the hyperplane exchange property is established in a self-contained section that relies exclusively on the standard axioms for strong Δ-matroids and the two exchange conditions; the peerless and isolated antipode characterizations are introduced only afterward as additional equivalent descriptions. The proof does not invoke or depend on the antipode notions. We will insert a clarifying remark at the beginning of the equivalence section to explicitly note this independence, ensuring the five characterizations are presented in a non-circular order. revision: yes

Circularity Check

0 steps flagged

No circularity; equivalences and tropical motivation are independently derived

full rationale

The paper compiles direct combinatorial equivalences (Wenzel's variant with hyperplane exchange, plus new peerless/isolated antipode conditions) and motivates the peerless antipode equations via explicit tropicalization of a basis of quadratics for the orthogonal Grassmannian. This supplies external geometric input rather than any self-definitional loop, fitted-parameter renaming, or load-bearing self-citation. The derivation chain remains self-contained against the stated external benchmark.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The characterizations rest on the prior definitions of Δ-matroids, feasible sets, and antipodes from the literature on matroids; the new antipode notions are introduced without independent evidence outside the equivalences claimed.

axioms (1)
  • domain assumption Standard axioms and definitions of matroids and Δ-matroids from prior literature
    The paper compiles equivalent descriptions starting from these background definitions.
invented entities (2)
  • peerless antipodes no independent evidence
    purpose: Configurations of antipodes in feasible sets whose global absence characterizes strong Δ-matroids
    Introduced as one of the two novel characterizations; no external falsifiable evidence supplied in abstract.
  • isolated antipodes no independent evidence
    purpose: Configurations of antipodes whose local absence characterizes strong Δ-matroids
    Introduced as the second novel characterization; no external falsifiable evidence supplied in abstract.

pith-pipeline@v0.9.1-grok · 5670 in / 1430 out tokens · 59996 ms · 2026-07-03T10:19:42.794570+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

70 extracted references · 43 canonical work pages · 1 internal anchor

  1. [1]

    Notices Amer

    Ardila, Federico , TITLE =. Notices Amer. Math. Soc. , FJOURNAL =. 2018 , NUMBER =

    2018

  2. [2]

    Baker, Matthew and Bowler, Nathan , TITLE =. Adv. Math. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.aim.2018.12.004 , URL =

    work page doi:10.1016/j.aim.2018.12.004 2019

  3. [3]

    The moduli space of matroids , journal =

    Matthew Baker and Oliver Lorscheid , keywords =. The moduli space of matroids , journal =. 2021 , issn =. doi:https://doi.org/10.1016/j.aim.2021.107883 , url =

    work page doi:10.1016/j.aim.2021.107883 2021

  4. [4]

    Balla, George and Olarte, Jorge Alberto , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2023 , NUMBER =. doi:10.1093/imrn/rnab267 , URL =

    work page doi:10.1093/imrn/rnab267 2023

  5. [5]

    Lakshmibai , publisher =

    Sara Billey and V. Lakshmibai , publisher =. Singular Loci of Schubert Varieties , year =. doi:10.1007/978-1-4612-1324-6 , file =

    work page doi:10.1007/978-1-4612-1324-6

  6. [6]

    Boege, Tobias and D'Al\`i, Alessio and Kahle, Thomas and Sturmfels, Bernd , TITLE =. Found. Comput. Math. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s10208-018-9396-x , URL =

    work page doi:10.1007/s10208-018-9396-x 2019

  7. [7]

    , TITLE =

    Booth, Richard F. , TITLE =. European J. Combin. , FJOURNAL =. 2001 , NUMBER =. doi:10.1006/eujc.2000.0484 , URL =

    work page doi:10.1006/eujc.2000.0484 2001

  8. [8]

    Borovik and Israel M

    Alexandre V. Borovik and Israel M. Gelfand and Neil White , journal =. Coxeter matroid polytopes , year =. doi:10.1007/bf02558470 , groups =

    work page doi:10.1007/bf02558470

  9. [9]

    and Izrail M

    Borovik, Alexandre V. and Izrail M. Gelfand and Neil White , publisher =. Coxeter Matroids , year =

  10. [10]

    Greedy algorithm and symmetric matroids , year =

    Bouchet, André , journal =. Greedy algorithm and symmetric matroids , year =. doi:10.1007/bf02604639 , publisher =

    work page doi:10.1007/bf02604639

  11. [11]

    and Duchamp, Alain , TITLE =

    Bouchet, André. and Duchamp, Alain , TITLE =. Linear Algebra Appl. , FJOURNAL =. 1991 , PAGES =. doi:10.1016/0024-3795(91)90020-W , URL =

    work page doi:10.1016/0024-3795(91)90020-w 1991

  12. [12]

    , publisher =

    Bourbaki, N. , publisher =. Groupes et algèbres de Lie , year =. doi:10.1007/978-3-540-34491-9 , pagetotal =

    work page doi:10.1007/978-3-540-34491-9

  13. [13]

    Brandt, Madeline and Eur, Christopher and Zhang, Leon , TITLE =. Adv. Math. , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.aim.2021.107695 , URL =

    work page doi:10.1016/j.aim.2021.107695 2021

  14. [14]

    , journal =

    Brualdi, Richard A. , journal =. Comments on bases in dependence structures , year =. doi:10.1017/s000497270004140x , groups =

    work page doi:10.1017/s000497270004140x

  15. [15]

    Constructions , booktitle=

    Brylawski, Thomas , editor=. Constructions , booktitle=. 1986 , pages=

    1986

  16. [16]

    Valuated delta matroids and principal minors of

    Cheung, Nathan and Chin, Tracy and Liu, Gaku and Vinzant, Cynthia , note=. Valuated delta matroids and principal minors of

  17. [17]

    Pfaffians and shuffling relations for the spin module , author=. Algebr. Represent. Theory , volume=. 2013 , publisher=

    2013

  18. [18]

    Young Tableaux in Combinatorics, Invariant Theory, and Algebra , pages=

    A characteristic free approach to invariant theory , author=. Young Tableaux in Combinatorics, Invariant Theory, and Algebra , pages=. 1982 , publisher=

    1982

  19. [19]

    Coxeter, Harold S. M. , title =. Am. J. Math. , issn =. 1940 , language =. doi:10.2307/2371466 , zbMATH =

    work page doi:10.2307/2371466 1940

  20. [20]

    Coxeter, Harold S. M. , title =. Math. Z. , issn =. 1988 , language =. doi:10.1007/BF01161745 , keywords =

    work page doi:10.1007/bf01161745 1988

  21. [21]

    arXiv preprint arXiv:2310.10223 , year=

    A Laurent Phenomenon for the Cayley Plane , author=. arXiv preprint arXiv:2310.10223 , year=

    work page arXiv

  22. [22]

    Dress, Andreas W. M. and Wenzel, Walter , TITLE =. Appl. Math. Lett. , FJOURNAL =. 1991 , NUMBER =. doi:10.1016/0893-9659(91)90075-7 , URL =

    work page doi:10.1016/0893-9659(91)90075-7 1991

  23. [23]

    Dress, Andreas W. M. and Wenzel, Walter , TITLE =. Adv. Math. , FJOURNAL =. 1992 , NUMBER =. doi:10.1016/0001-8708(92)90028-J , URL =

    work page doi:10.1016/0001-8708(92)90028-j 1992

  24. [24]

    Representation

    Fulton, William and Harris, Joe , year =. Representation

  25. [25]

    1968 , abstract =

    Gale, David , title =. 1968 , abstract =

    1968

  26. [26]

    1982 , school=

    A new construction of the Joseph ideal , author=. 1982 , school=

    1982

  27. [27]

    , author=

    Matchings, matroids and unimodular matrices. , author=

  28. [28]

    Notices Amer

    Geelen, Jim and Gerards, Bert and Whittle, Geoff , TITLE =. Notices Amer. Math. Soc. , FJOURNAL =. 2014 , NUMBER =. doi:10.1090/noti1139 , URL =

    work page doi:10.1090/noti1139 2014

  29. [29]

    Combinatorial geometries, convex polyhedra, and. Adv. in Math. , FJOURNAL =. 1987 , NUMBER =. doi:10.1016/0001-8708(87)90059-4 , URL =

    work page doi:10.1016/0001-8708(87)90059-4 1987

  30. [30]

    Wallach , publisher =

    Roe Goodman and Nolan R. Wallach , publisher =. Symmetry, representations, and invariants , year =. doi:10.1007/978-0-387-79852-3 , pagetotal =

    work page doi:10.1007/978-0-387-79852-3

  31. [31]

    , journal =

    Haemers, Willem H. , journal =. Distance-regularity and the spectrum of graphs , year =. doi:10.1016/0024-3795(94)00166-9 , publisher =

    work page doi:10.1016/0024-3795(94)00166-9

  32. [32]

    Tropical Incidence Relations, Polytopes, and Concordant Matroids

    Tropical incidence relations, polytopes, and concordant matroids , author=. arXiv preprint arXiv:1211.2841 , year=

    work page internal anchor Pith review Pith/arXiv arXiv

  33. [33]

    , publisher =

    Humphreys, James E. , publisher =. Reflection Groups and Coxeter Groups , year =. doi:10.1017/cbo9780511623646 , file =

    work page doi:10.1017/cbo9780511623646

  34. [34]

    , publisher =

    Humphreys, James E. , publisher =. Introduction to Lie Algebras and Representation Theory , year =. doi:10.1007/978-1-4612-6398-2 , file =

    work page doi:10.1007/978-1-4612-6398-2

  35. [35]

    Orthogonal matroids over tracts , volume=

    Jin, Tong and Kim, Donggyu , year=. Orthogonal matroids over tracts , volume=. doi:10.1017/fms.2025.10085 , journal=

    work page doi:10.1017/fms.2025.10085 2025

  36. [36]

    Kasman, Alex and Pedings, Kathryn and Reiszl, Amy and Shiota, Takahiro , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2008 , NUMBER =. doi:10.1090/S0002-9939-07-09122-8 , URL =

    work page doi:10.1090/s0002-9939-07-09122-8 2008

  37. [37]

    Kim, Donggyu , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2025 , NUMBER =. doi:10.1093/imrn/rnaf094 , URL =

    work page doi:10.1093/imrn/rnaf094 2025

  38. [38]

    2002 , PAGES =

    Kumar, Shrawan , TITLE =. 2002 , PAGES =. doi:10.1007/978-1-4612-0105-2 , URL =

    work page doi:10.1007/978-1-4612-0105-2 2002

  39. [39]

    Kung, Joseph P. S. , TITLE =. Gian-. 1995 , ISBN =

    1995

  40. [40]

    Lichtenstein, Woody , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1982 , NUMBER =. doi:10.2307/2044044 , URL =

    work page doi:10.2307/2044044 1982

  41. [41]

    Products and plethysms of characters with orthogonal, symplectic and symmetric groups , author=. Canad. J. Math. , volume=. 1958 , publisher=

    1958

  42. [42]

    2015 , PAGES =

    Maclagan, Diane and Sturmfels, Bernd , TITLE =. 2015 , PAGES =. doi:10.1090/gsm/161 , URL =

    work page doi:10.1090/gsm/161 2015

  43. [43]

    SIGMA Symmetry Integrability Geom

    On spinor varieties and their secants , author=. SIGMA Symmetry Integrability Geom. Methods Appl. , volume=. 2009 , publisher=

    2009

  44. [44]

    2013 , PAGES =

    Meinrenken, Eckhard , TITLE =. 2013 , PAGES =. doi:10.1007/978-3-642-36216-3 , URL =

    work page doi:10.1007/978-3-642-36216-3 2013

  45. [45]

    Murota, Kazuo , TITLE =. SIAM J. Discrete Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.1137/040618710 , URL =

    work page doi:10.1137/040618710 2006

  46. [46]

    Discrete Appl

    Murota, Kazuo , TITLE =. Discrete Appl. Math. , FJOURNAL =. 2021 , PAGES =. doi:10.1016/j.dam.2020.09.019 , URL =

    work page doi:10.1016/j.dam.2020.09.019 2021

  47. [47]

    Proceedings of the Royal Irish Academy

    Modification rules for the orthogonal and symplectic groups , author=. Proceedings of the Royal Irish Academy. Section A: Mathematical and Physical Sciences , volume=. 1951 , organization=

    1951

  48. [48]

    Noble, Steven , TITLE =. 2023. 2025 , ISBN =. doi:10.1007/978-3-031-76738-8\_23 , URL =

    work page doi:10.1007/978-3-031-76738-8 2023

  49. [49]

    2007 , publisher=

    Lie groups: an approach through invariants and representations , author=. 2007 , publisher=

    2007

  50. [50]

    , journal =

    Proctor, Robert A. , journal =. Bruhat Lattices, Plane Partition Generating Functions, and Minuscule Representations , year =. doi:10.1016/s0195-6698(84)80037-2 , file =

    work page doi:10.1016/s0195-6698(84)80037-2

  51. [51]

    Rinc\'on, Felipe , TITLE =. J. Combin. Theory Ser. A , FJOURNAL =. 2012 , NUMBER =. doi:10.1016/j.jcta.2011.08.001 , URL =

    work page doi:10.1016/j.jcta.2011.08.001 2012

  52. [52]

    Actes du

    Rota, Gian-Carlo , TITLE =. Actes du. 1971 , MRCLASS =

    1971

  53. [53]

    Combinatorial theory and invariant theory , author=

  54. [54]

    CP Ramanujam: a Tribute , pages=

    Geometry of G/P--l (Theory of standard monomials for minuscule representations) , author=. CP Ramanujam: a Tribute , pages=. 1978 , publisher=

    1978

  55. [55]

    Seynnaeve, Tim and Tairi, Nafie , TITLE =. J. Symbolic Comput. , FJOURNAL =. 2024 , PAGES =. doi:10.1016/j.jsc.2023.102260 , URL =

    work page doi:10.1016/j.jsc.2023.102260 2024

  56. [56]

    , title=

    Speyer, David E. , title=. SIAM J. Discrete Math. , volume=. 2008 , number=

    2008

  57. [57]

    Blow-ups of P^

    Sturmfels, Bernd and Velasco, Mauricio , journal=. Blow-ups of P^. 2010 , publisher=

    2010

  58. [58]

    -matroids with the strong exchange conditions , year =

    Wenzel, Walter , journal =. -matroids with the strong exchange conditions , year =. doi:10.1016/0893-9659(93)90103-t , file =

    work page doi:10.1016/0893-9659(93)90103-t

  59. [59]

    Discrete Math

    Wenzel, Walter , TITLE =. Discrete Math. , FJOURNAL =. 1993 , NUMBER =. doi:10.1016/0012-365X(93)90494-E , URL =

    work page doi:10.1016/0012-365x(93)90494-e 1993

  60. [60]

    , TITLE =

    White, Neil L. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1975 , PAGES =. doi:10.2307/1997299 , URL =

    work page doi:10.2307/1997299 1975

  61. [61]

    , TITLE =

    White, Neil L. , TITLE =. Adv. Math. , FJOURNAL =. 1977 , NUMBER =. doi:10.1016/0001-8708(77)90060-3 , URL =

    work page doi:10.1016/0001-8708(77)90060-3 1977

  62. [62]

    Entry A345954 in The On-Line Encyclopedia of Integer Sequences

  63. [63]

    GAP -- Groups, Algorithms, and Programming, Version 4.13.1

  64. [64]

    doi:10.5281/zenodo.17833234 , url =

    Calvert, Kieran and Dermenjian, Aram and Fink, Alex and Smith, Ben , title =. doi:10.5281/zenodo.17833234 , url =

    work page doi:10.5281/zenodo.17833234

  65. [65]

    Calvert, Kieran and Dermenjian, Aram and Fink, Alex and Smith, Ben , title =

  66. [66]

    Ding, Changxin and Kim, Donggyu , title =

  67. [67]

    Victor Kac , title =

  68. [68]

    Minuscule

    Gross, Andreas and K\". Minuscule

  69. [69]

    1987 , NUMBER =

    Combinatorial geometries and the strata of a torus on homogeneous compact manifolds , JOURNAL =. 1987 , NUMBER =

    1987

  70. [70]

    2010 , publisher =

    Murota, Kazuo , title =. 2010 , publisher =. doi:10.1007/978-3-642-03994-2 , keywords =

    work page doi:10.1007/978-3-642-03994-2 2010