Pith. sign in

REVIEW 3 minor 35 references

Stability of Type A Mirkovi\'c-Vilonen Polytopes under Minkowski Sum via Weak Separation

T0 review · 0 major / 3 minor · reviewed 2026-06-29 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The positive Minkowski sum of type A MV polytopes is again an MV polytope if and only if the indexing family is weakly separated.

desk verdict The paper pins down a necessary and sufficient weak separation condition for when Minkowski sums of type A Schubert matroid polytopes remain MV polytopes, with equivalences to subdivision stability and a flag generalization of Early's work. read the letter →

arxiv 2605.25023 v2 pith:FD3GHRDJ submitted 2026-05-24 math.RT

Gleb A. Koshevoy , Fang Li , Lujun Zhang This is my paper · ORCID
classification math.RT
keywords Mirković-VilonenpolytopesMinkowskisumweakseparationSchubertmatroidtropicalPlückerfunctionssubdivisionsgeneralizedpositroidstypeA
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper shows that in type A, Schubert matroid polytopes act as the basic prime MV polytopes. Their positive Minkowski sums remain MV polytopes exactly when the family of indexing sets satisfies weak separation. This condition is obtained by strengthening an earlier compatibility rule through the crystal structure on MV polytopes. The same weak separation is shown to be equivalent to the stability of associated matroid subdivisions under common refinement, linking the result to tropical Plucker functions and hypercube subdivisions.

What carries the argument

Weak separation of the indexing family of Schubert matroid polytopes, which enforces compatibility under Minkowski sum through the crystal structure and yields stable matroid subdivisions.

What would settle it

Exhibit a family of Schubert matroid polytopes whose indexing sets are not weakly separated yet whose positive Minkowski sum is still an MV polytope, or a weakly separated family whose sum fails to be an MV polytope.

Watch

Extended reading notes

Core claim

In type A, regarding Schubert matroid polytopes as fundamental prime MV building blocks, the positive Minkowski sum of such polytopes is again an MV polytope precisely when the indexing family is weakly separated. The crystal structure supplies the necessary and sufficient compatibility condition. Within discrete convex analysis this is equivalent to the stability of generalized matroid subdivisions under common refinement, and the MV fan is identified as the secondary fan of hypercube generalized positroid subdivisions, with maximal weakly separated sets corresponding to maximal cones.

Load-bearing premise

Schubert matroid polytopes can be treated as the fundamental prime MV building blocks whose crystal structure controls when their Minkowski sums remain MV polytopes.

Editorial extensions

If this is right

  • Maximal weakly separated sets produce the finest hypercube generalized positroid subdivisions.
  • The MV fan coincides with the secondary fan of these subdivisions.
  • Generalized positroids and generalized polypositroids arise naturally from the construction.
  • The result gives a flag-type generalization of Early's hypersimplex matroid subdivisions.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same subdivision stability perspective could be used to test compatibility conditions in other combinatorial models of MV polytopes.
  • Connections between crystal structures and tropical Plucker functions may extend to questions about positroid varieties beyond type A.
  • The identification of the MV fan as a secondary fan suggests a way to compute MV polytopes via refinement algorithms on the hypercube.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 3 minor

Summary. The manuscript claims that in type A, the positive Minkowski sum of Schubert matroid polytopes (regarded as fundamental prime MV building blocks) is again an MV polytope if and only if the indexing family is weakly separated. This is obtained by strengthening Sanchez's compatibility condition via the crystal structure on MV polytopes; the argument further equates weak separation with stability of generalized matroid subdivisions under common refinement by relating discrete-concave tropical Plücker functions to concave extensions on the hypercube. The work connects these constructions to Early's hypersimplex matroid subdivisions, identifies the MV fan as the secondary fan of hypercube generalized positroid subdivisions, and notes that maximal weakly separated collections correspond to maximal cones in this fan.

Significance. If the central if-and-only-if criterion holds, the result supplies a precise combinatorial test for closure of (a class of) MV polytopes under Minkowski sum, unifies MV combinatorics with tropical matroid geometry, and furnishes a flag-type generalization of Early's subdivision results. The explicit link between weak separation, crystal operators, and the secondary fan structure of generalized positroid subdivisions strengthens the interface between representation theory and discrete convex analysis.

minor comments (3)
  1. [Abstract] Abstract, first paragraph: the phrase 'regards Schubert matroid polytopes as fundamental prime MV building blocks' is used without a forward reference to the section where this identification is justified; a parenthetical citation to the relevant definition or proposition would improve readability.
  2. [Abstract] Abstract, second paragraph: the sentence beginning 'Working within discrete convex analysis...' packs three distinct equivalences; splitting it or adding a short clause that names the theorem containing the main equivalence would make the logical flow clearer.
  3. [Introduction] The manuscript repeatedly invokes 'Sanchez's compatibility condition' and 'Early's subdivisions'; while the abstract states that the former is strengthened and the latter is generalized, a brief sentence in the introduction recalling the exact statements being modified would help readers who are not already expert in those references.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the detailed summary of our manuscript and the positive evaluation of its significance. The recommendation for minor revision is noted. No specific major comments were raised in the report, so we have no point-by-point responses to provide at this stage. We will incorporate any minor suggestions during revision.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation self-contained against external benchmarks

full rationale

The paper derives the necessary-and-sufficient condition (Minkowski sum of Schubert matroid polytopes is MV precisely when the family is weakly separated) by strengthening Sanchez's condition via crystal operators on MV polytopes and relating subdivisions to discrete-concave tropical Plücker functions and Early's hypersimplex subdivisions. These steps cite external prior results (Sanchez, Early) rather than self-citations by the present authors, and the equivalence to weak separation is presented as following from the crystal structure and generalized matroid subdivisions without reducing any prediction or central claim to a fitted parameter or self-referential definition. The identification of the MV fan as the secondary fan of hypercube generalized positroid subdivisions is framed as a unification result, not a renaming or ansatz smuggled via self-citation. No load-bearing step collapses by construction to the inputs.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

Ledger extracted solely from statements appearing in the abstract; the full manuscript is expected to contain additional technical axioms inside the proofs.

assumptions (1)
  • domain assumption Schubert matroid polytopes serve as fundamental prime MV building blocks
    Explicitly adopted as the starting point for the type-A analysis.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Stability of Type A Mirkovi\'c-Vilonen Polytopes under Minkowski Sum via Weak Separation." pith.science (2026). https://pith.science/paper/FD3GHRDJ

@misc{pith2026260525023,
  author       = {Pith},
  title        = {Pith review of: Stability of Type A Mirkovi\'c-Vilonen Polytopes under Minkowski Sum via Weak Separation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FD3GHRDJ}},
  note         = {Machine review of arXiv:2605.25023}
}
abstract

Mirkovi\'c--Vilonen (MV) polytopes play a key role in the representation theory of reductive algebraic groups, while the geometric behavior of prime MV polytopes under Minkowski addition remains a subtle open problem. This paper focuses on type A and regards Schubert matroid polytopes as fundamental prime MV building blocks. Using the crystal structure on MV polytopes, we strengthen Sanchez's compatibility condition and establish a necessary and sufficient condition: the positive Minkowski sum of such polytopes is again an MV polytope precisely when the indexing family is weakly separated. Working within discrete convex analysis, we relate discrete concave tropical Pl\"ucker functions to concave extensions on the hypercube and the resulting generalized matroid subdivisions, showing that weak separation is equivalent to the stability of these subdivisions under common refinement. We further clarify the intrinsic connection between our subdivision constructions and the hypersimplex matroid subdivisions developed by Early, providing a natural flag-type generalization of his classical results. We briefly discuss generalized positroids and generalized polypositroids, and identify the MV fan $\mathcal{MV}$ as the secondary fan of hypercube generalized positroid subdivisions. Accordingly, maximal weakly separated sets correspond to maximal cones in $\mathcal{MV}$ and produce the finest such subdivisions. This work unifies MV polytope theory with tropical matroid geometry, advances the understanding of compatibility phenomena in MV combinatorics, and offers new perspectives at the interface of representation theory and combinatorics.

Figures

Figures reproduced from arXiv: 2605.25023 by the authors.

Figure 4
Figure 4. The picture of Dpad(I) when 1 ∈ I and n ∈ I When |X ∩ [n]| ≤ k, then |X ∩ [n + 1, 2n]| ≥ n − k. Thus the right brackets )’s in shaded boxes labeled by n + k + 1, · · · , 2n are all paired and we get the above relation. When |X ∩ [n]| < k, the boxes labeled by 1, · · · , n provide at least |X ∩ [n]| − k unpaired left brackets (’s. The total number of these unpaired (’s and the intersection of X with [n + 1, 2n] is at… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

35 extracted references · 8 canonical work pages

  1. [1]

    Anderson, A polytope calculus for semisimple groups, Duke Math

    J. Anderson, A polytope calculus for semisimple groups, Duke Math. J. 116 (2003), 567-588

    2003

  2. [2]

    Anderson and M

    J. Anderson and M. Kogan, Mirkovi\'c-Vilonen cycles and polytopes in Type A, Internat. Math. Res. Not. (2004), 561-591

    2004

  3. [3]

    Positroids and non-crossing partitions

    Federico Ardila, Felipe Rin\'con, and Lauren Williams. Positroids and non-crossing partitions. Trans. Amer. Math. Soc., 368(1):337-363, 2016

    2016

  4. [4]

    A Speyer, Tropical Linear Spaces, SIAM Journal on Discrete Mathematics 2008

    David E. A Speyer, Tropical Linear Spaces, SIAM Journal on Discrete Mathematics 2008

    2008

  5. [5]

    Borovik, I

    A. Borovik, I. Gelfand, and N. White, Coxeter matroids, Birkh\"auser Boston, 2003

    2003

  6. [6]

    Arkady Berenstein, Sergey Fomin, Andrei Zelevinsky, Cluster algebras. III. Upper bounds and double Bruhat cells, Duke Math. J. 126 (2005), 1-52

    2005

  7. [7]

    Bonin, Anna de Mier, Lattice path matroids: Structural properties, European Journal of Combinatorics, Volume 27, Issue 5, 2006, Pages 701-738, ISSN 0195-6698

    Joseph E. Bonin, Anna de Mier, Lattice path matroids: Structural properties, European Journal of Combinatorics, Volume 27, Issue 5, 2006, Pages 701-738, ISSN 0195-6698

    2006

  8. [8]

    Joseph E. Bonin, Anna de Mier, Marc Noy, Lattice path matroids: enumerative aspects and Tutte polynomials, Journal of Combinatorial Theory, Series A, Volume 104, Issue 1, 2003, Pages 63-94, ISSN 0097-3165

    2003

Show all 35 references
  1. [9]

    Danilov, Gleb A

    Vladimir I. Danilov, Gleb A. Koshevoy, Cores of Cooperative Games, Superdifferentials of Functions, and the Minkowski Difference of Sets, Journal of Mathematical Analysis and Applications, Volume 247, Issue 1, 2000, Pages 1-14

    2000

  2. [10]

    Danilov, Gleb A

    Vladimir I. Danilov, Gleb A. Koshevoy, Discrete convexity and unimodularity—I, Advances in Mathematics, Volume 189, Issue 2, 2004, Pages 301-324, ISSN 0001-8708, https://doi.org/10.1016/j.aim.2003.11.010

    2004 doi

  3. [11]

    Danilov, Alexander V

    Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy, Pl\"ucker environments, wiring and tiling diagrams, and weakly separated set-systems, Advances in Mathematics, Volume 224, Issue 1, 2010, Pages 1-44

    2010

  4. [12]

    Danilov, Alexander V

    Vladimir I. Danilov, Alexander V. Karzanov, Gleb A. Koshevoy, Combined tilings and separated set-systems. Sel. Math. New Ser. 23, 1175-1203 (2017)

    2017

  5. [13]

    Nick Early, Honeycomb Tessellations and Graded Permutohedral Blades, arXiv:1810.03246

  6. [14]

    Nick Early, Weighted blade arrangements and the positive tropical Grassmannian, arxiv:2005.12305

    2005

  7. [15]

    Combinatorial Theory, 2022.526

    Nick Early, From weakly separated collections to matroid subdivisions. Combinatorial Theory, 2022.526

    2022

  8. [16]

    Satoru Fujishige, A note on Frank's generalized polymatroids, Discrete Applied Mathematics, Volume 7, Issue 1, 1984, Pages 105-109

    1984

  9. [17]

    Satoru Fujishige, Hiroshi Hirai, Compression of M^ -convex functions — Flag matroids and valuated permutohedra, Journal of Combinatorial Theory, Series A, Volume 185, 2022

    2022

  10. [18]

    Frank, A., Kir\'aly, T., Pap, J. et al. Characterizing and recognizing generalized polymatroids. Math. Program. 146, 245–273 (2014). https://doi.org/10.1007/s10107-013-0685-5

    2014 doi

  11. [19]

    Generalized polymatroids and submodular flows

    Frank, A., Tardos, \'E. Generalized polymatroids and submodular flows. Mathematical Programming 42, 489-563 (1988). https://doi.org/10.1007/BF01589418

    1988 doi

  12. [20]

    Dizier, Schubert polynomials as integer point transforms of generalized permutahedra, Advances in Mathematics, Volume 332, 2018, Pages 465-475, ISSN 0001-8708

    Alex Fink, Karola M\'esz\'aros, Avery St. Dizier, Schubert polynomials as integer point transforms of generalized permutahedra, Advances in Mathematics, Volume 332, 2018, Pages 465-475, ISSN 0001-8708

    2018

  13. [21]

    Pavel Galashin, Plabic graphs and zonotopal tilings, Proc. Lond. Math. Soc. 117 (4) (2018) 661–681

    2018

  14. [22]

    Sven Herrmann, On the facets of the secondary polytope, Journal of Combinatorial Theory, Series A, Volume 118, Issue 2, 2011, Pages 425-447

    2011

  15. [23]

    Kashiwara, Crystalizing the q-analogue of universal enveloping algebras, Comm

    M. Kashiwara, Crystalizing the q-analogue of universal enveloping algebras, Comm. Math. Phys. 133 (2) (1990) 249-260

    1990

  16. [24]

    Joel Kamnitzer, Mirkovi\'c-Vilonen cycles and polytopes, Annals of Mathematics 171 (2005): 245-294

    2005

  17. [25]

    Joel Kamnitzer, The crystal structure on the set of Mirkovi\'c-Vilonen polytopes, Advances in Mathematics, Volume 215, Issue 1, 2007, Pages 66-93

    2007

  18. [26]

    Finest positroid subdivisions from maximal weakly separated collections, 2025, https://doi.org/10.48550/arXiv.2502.05033

    Gleb A.Koshevoy, Fang Li, Lujun Zhang. Finest positroid subdivisions from maximal weakly separated collections, 2025, https://doi.org/10.48550/arXiv.2502.05033

    2025 doi

  19. [27]

    Polypositroids

    Lam T, Postnikov A. Polypositroids. Forum of Mathematics, Sigma. 2024

    2024

  20. [28]

    Tomasz Łukowski, Matteo Parisi, Lauren K Williams, The Positive Tropical Grassmannian, the Hypersimplex, and the m = 2 Amplituhedron, International Mathematics Research Notices, Volume 2023, Issue 19, October 2023, Pages 16778-16836, https://doi.org/10.1093/imrn/rnad010

    2023 doi

  21. [29]

    Bernard Leclerc, Andrei Zelevinsky, Quasicommuting families of quantum Pl\"ucker coordinates, Amer. Math. Soc. Trans., Ser. 2 181 (1998) 85-108

    1998

  22. [30]

    Murota, Discrete Convex Analysis, SIAM, Philadelphia, 2003

    K. Murota, Discrete Convex Analysis, SIAM, Philadelphia, 2003

    2003

  23. [31]

    Mirkovi\'c and K

    I. Mirkovi\'c and K. Vilonen, Geometric Langlands duality and representations of algebraic groups over commutative rings, Ann. of Math

  24. [32]

    Cara Monical, Neriman Tokcan, Alexander Yong, Newton polytopes in algebraic combinatorics. Selecta. Math. New Ser. 25, 66 (2019)

    2019

  25. [33]

    Suho Oh, Positroids and Schubert matroids, Journal of Combinatorial Theory, Series A, Volume 118, Issue 8, 2011, Pages 2426-2435

    2011

  26. [34]

    Speyer, Weak separation and plabic graphs, Proceedings of the London Mathematical Society, 2015

    Suho Oh, Alexander Postnikov, David E. Speyer, Weak separation and plabic graphs, Proceedings of the London Mathematical Society, 2015

    2015

  27. [35]

    Mirkovi\'c-Vilonen Polytopes from Combinatorics, 2023, arXiv:2311.16979

    Mario Sanchez. Mirkovi\'c-Vilonen Polytopes from Combinatorics, 2023, arXiv:2311.16979

    2023

Pith tools

Reviewed June 29, 2026 · model on record in the stance chip above.