-
arXiv:2504.15518 [pdf, ps, other]
The Ehrhart polynomial of a matroid specializes to the beta invariant
Abstract: We show that the linear coefficient of the Ehrhart polynomial of a matroid base polytope evaluated at $t-1$ is equal to, up to normalization, the $β$-invariant of the matroid. This yields a lattice-point counting formula for the $β$-invariant and establishes a new and unexpected positivity property of Ehrhart polynomials of matroid polytopes.
Submitted 21 April, 2025; originally announced April 2025.
Comments: 7 pages
MSC Class: 05B35; 05A15; 52B05; 52B20; 52B40; 05A10
-
arXiv:2410.11220 [pdf, ps, other]
Tropicalizing Principal Minors of Positive Definite Matrices
Abstract: We study the tropicalization of the image of the cone of positive definite matrices under the principal minors map. It is a polyhedral subset of the set of $M$-concave functions on the discrete $n$-dimensional cube. We show it coincides with the intersection of the affine tropical flag variety with the submodular cone. In particular, any cell in the regular subdivision of the cube induced by a poi… ▽ More
Submitted 14 October, 2024; originally announced October 2024.
-
arXiv:2407.05808 [pdf, ps, other]
Log-concavity for independent sets of valuated matroids
Abstract: Recently, several proofs of the Mason--Welsh conjecture for matroids have been found, which asserts the log-concavity of the sequence that counts independent sets of a given size. In this article we use the theory of Lorentzian polynomials, developed by Brändén and Huh, to prove a generalization of the Mason-Welsh conjecture to the context of valuated matroids. In fact, we provide a log-concavity… ▽ More
Submitted 8 July, 2024; originally announced July 2024.
Comments: 14 pages, comments very welcome!
-
Chern Classes of Tropical Manifolds
Abstract: We extend the definitions of Chern-Schwartz-MacPherson (CSM) cycles of matroids to tropical manifolds. To do this, we provide an alternate description of CSM cycles of matroids which is invariant under integer affine transformations. Utilising results of Esterov and Katz-Stapledon, we prove correspondence theorems for the CSM classes of tropicalisations of subvarieties of toric varieties. We also… ▽ More
Submitted 15 September, 2023; v1 submitted 31 August, 2023; originally announced September 2023.
Comments: 30 pages, 4 figures
MSC Class: 14C17; 14T90; 14T20
-
Moments, Sums of Squares, and Tropicalization
Abstract: We use tropicalization to study the duals to cones of nonnegative polynomials and sums of squares on a semialgebraic set $S$. The truncated cones of moments of measures supported on the set $S$ is dual to nonnegative polynomials on $S$, while "pseudo-moments" are dual to sums of squares approximations to nonnegative polynomials. We provide explicit combinatorial descriptions of tropicalizations of… ▽ More
Submitted 11 March, 2022; originally announced March 2022.
Comments: 39 pages, 1 figure
-
arXiv:2102.09848 [pdf, ps, other]
Paving Tropical Ideals
Abstract: Tropical ideals are a class of ideals in the tropical polynomial semiring that combinatorially abstracts the possible collections of supports of all polynomials in an ideal over a field. We study zero-dimensional tropical ideals I with Boolean coefficients in which all underlying matroids are paving matroids, or equivalently, in which all polynomials of minimal support have support of size deg(I)… ▽ More
Submitted 19 February, 2021; originally announced February 2021.
Comments: 13 pages
MSC Class: 14T10; 05B35
-
Varieties of Tropical Ideals are Balanced
Abstract: Tropical ideals, introduced in arXiv:1609.03838, define subschemes of tropical toric varieties. We prove that the top-dimensional parts of their varieties are balanced polyhedral complexes of the same dimension as the ideal. This means that every subscheme of a tropical toric variety defined by a tropical ideal has an associated class in the Chow ring of the toric variety. A key tool in the proof… ▽ More
Submitted 30 September, 2020; originally announced September 2020.
MSC Class: 14T10; O5B35
-
Moduli spaces of codimension-one subspaces in a linear variety and their tropicalization
Abstract: We study the moduli space of $d$-dimensional linear subspaces contained in a fixed $(d+1)$-dimensional linear variety $X$, and its tropicalization. We prove that these moduli spaces are linear subspaces themselves, and thus their tropicalization is completely determined by their associated (valuated) matroids. We show that these matroids can be interpreted as the matroid of lines of the hyperplane… ▽ More
Submitted 7 September, 2021; v1 submitted 5 March, 2020; originally announced March 2020.
Comments: 30 pages, 9 figures
MSC Class: 14T15; 14T20; 05B35; 14M15
Journal ref: Electronic Journal of Combinatorics 29(2) P2.31 (2022), 33 pages
-
Positively Hyperbolic Varieties, Tropicalization, and Positroids
Abstract: A variety of codimension $c$ in complex affine space is called positively hyperbolic if the imaginary part of any point in it does not lie in any positive linear subspace of dimension $c$. Positively hyperbolic hypersurfaces are defined by stable polynomials. We give a new characterization of positively hyperbolic varieties using sign variations, and show that they are equivalently defined by bein… ▽ More
Submitted 4 March, 2021; v1 submitted 19 July, 2019; originally announced July 2019.
Comments: Final version to appear in Advances in Mathematics. Corollary 4.9 from version 2 is replaced with stronger Theorem 4.10 and Remark 4.11, on M-convexity of tropicalization of coefficients of stable polynomials and generalizations
-
arXiv:1903.00356 [pdf, ps, other]
Tropical ideals do not realise all Bergman fans
Abstract: Every tropical ideal in the sense of Maclagan-Rincón has an associated tropical variety, a finite polyhedral complex equipped with positive integral weights on its maximal cells. This leads to the realisability question, ubiquitous in tropical geometry, of which weighted polyhedral complexes arise in this manner. Using work of Las Vergnas on the non-existence of tensor products of matroids, we pro… ▽ More
Submitted 28 June, 2021; v1 submitted 1 March, 2019; originally announced March 2019.
Comments: 11 pages; v2 includes two short new sections, main theorem is stated in slightly more generality
MSC Class: 14T05; 05B35
-
Chern-Schwartz-MacPherson cycles of matroids
Abstract: We define Chern-Schwartz-MacPherson (CSM) cycles of an arbitrary matroid. These are balanced weighted fans supported on the skeleta of the corresponding Bergman fan. In the case that the matroid arises from a complex hyperplane arrangement A, we show that these cycles represent the CSM class of the complement of A. We also prove that for any matroid, the degrees of its CSM cycles are given by the… ▽ More
Submitted 23 July, 2017; originally announced July 2017.
Comments: 26 pages
MSC Class: 14C17; 05B35; 52C35
-
Tropical Ideals
Abstract: We introduce and study a special class of ideals, called tropical ideals, in the semiring of tropical polynomials, with the goal of developing a useful and solid algebraic foundation for tropical geometry. The class of tropical ideals strictly includes the tropicalizations of classical ideals, and allows us to define subschemes of tropical toric varieties, generalizing [Giansiracusa-Giansiracusa].… ▽ More
Submitted 10 December, 2017; v1 submitted 13 September, 2016; originally announced September 2016.
Comments: To appear in Compositio Mathematica
MSC Class: 14TO5; O5B35
Journal ref: Compositio Math. 154 (2018) 640-670
-
Compressed sensing of data with a known distribution
Abstract: Compressed sensing is a technique for recovering an unknown sparse signal from a small number of linear measurements. When the measurement matrix is random, the number of measurements required for perfect recovery exhibits a phase transition: there is a threshold on the number of measurements after which the probability of exact recovery quickly goes from very small to very large. In this work we… ▽ More
Submitted 28 December, 2016; v1 submitted 17 March, 2016; originally announced March 2016.
Comments: 22 pages, 7 figures. New colorblind safe figures. Sections 3 and 4 completely rewritten. Minor typos fixed
-
arXiv:1401.4654 [pdf, ps, other]
Tropical schemes, tropical cycles, and valuated matroids
Abstract: We show that the weights on a tropical variety can be recovered from the tropical scheme structure proposed by the Giansiracusas in arXiv:1308.0042, so there is a well-defined Hilbert-Chow morphism from a tropical scheme to the underlying tropical cycle. For a subscheme of projective space given by a homogeneous ideal I we show that this tropical scheme structure contains the same information as t… ▽ More
Submitted 10 December, 2017; v1 submitted 19 January, 2014; originally announced January 2014.
Comments: 19 pages. Notation for tropical operations has been changed for consistency. To appear in the Journal of the European Mathematical Society
-
Positively oriented matroids are realizable
Abstract: We prove da Silva's 1987 conjecture that any positively oriented matroid is a positroid; that is, it can be realized by a set of vectors in a real vector space. It follows from this result and a result of the third author that the positive matroid Grassmannian (or positive MacPhersonian) is homeomorphic to a closed ball.
Submitted 2 November, 2013; v1 submitted 15 October, 2013; originally announced October 2013.
Comments: 20 pages, 3 figures, references added
-
Positroids and non-crossing partitions
Abstract: We investigate the role that non-crossing partitions play in the study of positroids, a class of matroids introduced by Postnikov. We prove that every positroid can be constructed uniquely by choosing a non-crossing partition on the ground set, and then freely placing the structure of a connected positroid on each of the blocks of the partition. This structural result yields several combinatorial… ▽ More
Submitted 15 September, 2013; v1 submitted 12 August, 2013; originally announced August 2013.
Comments: 29 pages, 12 figures. v2: Minor changes and corrections
-
Stiefel tropical linear spaces
Abstract: The tropical Stiefel map associates to a tropical matrix A its tropical Pluecker vector of maximal minors, and thus a tropical linear space L(A). We call the L(A)s obtained in this way Stiefel tropical linear spaces. We prove that they are dual to certain matroid subdivisions of polytopes of transversal matroids, and we relate their combinatorics to a canonically associated tropical hyperplane arr… ▽ More
Submitted 31 May, 2015; v1 submitted 27 May, 2013; originally announced May 2013.
Comments: 36 pages, 5 figures
-
Local tropical linear spaces
Abstract: In this paper we study general tropical linear spaces locally: For any basis B of the matroid underlying a tropical linear space L, we define the local tropical linear space L_B to be the subcomplex of L consisting of all vectors v that make B a basis of maximal v-weight. The tropical linear space L can then be expressed as the union of all its local tropical linear spaces, which we prove are home… ▽ More
Submitted 16 June, 2013; v1 submitted 22 November, 2012; originally announced November 2012.
Comments: 13 pages, 1 figure. Some results are stated in a bit more generality. Minor corrections were also made
Journal ref: Discrete Comput. Geom. 50 (2013), no. 3, 700-713
-
Computing Tropical Linear Spaces
Abstract: We define and study the cyclic Bergman fan of a matroid M, which is a simplicial polyhedral fan supported on the tropical linear space T(M) of M and is amenable to computational purposes. It slightly refines the nested set structure on T(M), and its rays are in bijection with flats of M which are either cyclic flats or singletons. We give a fast algorithm for calculating it, making some computatio… ▽ More
Submitted 1 May, 2012; v1 submitted 19 September, 2011; originally announced September 2011.
Comments: 15 pages, 2 figures. Added a few examples and made some minor corrections
Journal ref: J. Symbolic Comput. 51 (2013), 86-98
-
Isotropical Linear Spaces and Valuated Delta-Matroids
Abstract: The spinor variety is cut out by the quadratic Wick relations among the principal Pfaffians of an n x n skew-symmetric matrix. Its points correspond to n-dimensional isotropic subspaces of a 2n-dimensional vector space. In this paper we tropicalize this picture, and we develop a combinatorial theory of tropical Wick vectors and tropical linear spaces that are tropically isotropic. We characterize… ▽ More
Submitted 28 April, 2010; originally announced April 2010.
Journal ref: J. Combin. Theory Ser. A 119 (2012), no. 1, 14-32
-
arXiv:0710.4424 [pdf, ps, other]
Valuations for matroid polytope subdivisions
Abstract: We prove that the ranks of the subsets and the activities of the bases of a matroid define valuations for the subdivisions of a matroid polytope into smaller matroid polytopes.
Submitted 22 November, 2008; v1 submitted 24 October, 2007; originally announced October 2007.
Comments: 19 pages. 2 figures; added section 6 + other corrections
MSC Class: 52B40
Journal ref: Can. J. Math.-J. Can. Math. 62 (2010) 1228-1245