Related papers: Quadratic exchange equations for Coxeter matroids
We construct a logarithmic version of the Hilbert scheme, and more generally the Quot scheme, of a simple normal crossings pair. The logarithmic Quot space admits a natural tropicalisation called the space of tropical supports, which is a…
In this paper we present a definition of oriented Lagrangian symplectic matroids and their representations. Classical concepts of orientation and this extension may both be thought of as stratifications of thin Schubert cells into unions of…
Tropical oriented matroids were defined by Ardila and Develin in 2007. They are a tropical analogue of classical oriented matroids in the sense that they encode the properties of the types of points in an arrangement of tropical hyperplanes…
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.…
In this paper we further develop the theory of geometric tropicalization due to Hacking, Keel and Tevelev and we describe tropical methods for implicitization of surfaces. More precisely, we enrich this theory with a combinatorial formula…
We describe a canonical compactification of a polyhedral complex in Euclidean space. When the recession cones of the polyhedral complex form a fan, the compactified polyhedral complex is a subspace of a tropical toric variety. In this case,…
In a previous work, we gave a construction of (not necessarily realizable) oriented matroids from a triangulation of a product of two simplices. In this follow-up paper, we use a variant of Viro's patchworking to derive a topological…
Modeling parts of an optimization problem as an optimal value function that depends on a top-level decision variable is a regular occurrence in optimization and an essential ingredient for methods such as Benders Decomposition. It often…
We show that points in the intersection of the tropicalizations of subvarieties of a torus lift to algebraic intersection points with expected multiplicities, provided that the tropicalizations intersect in the expected dimension. We also…
We launch the study of the tropicalization of the symplectic Grassmannian, that is, the space of all linear subspaces that are isotropic with respect to a fixed symplectic form. We formulate tropical analogues of several equivalent…
A bimatroid is a matroid-like generalization of the collection of regular minors of a matrix. In this article, we use the theory of Lorentzian polynomials to study the logarithmic concavity of natural sequences associated to bimatroids.…
A tropical expansion is a degeneration of a toroidal embedding, induced by a polyhedral subdivision of its tropicalisation. Each irreducible component of a tropical expansion admits a collapsing map down to a stratum of the original…
We introduce extended tropicalizations for closed subvarieties of toric varieties and show that the analytification of a quasprojective variety over a nonarchimedean field is naturally homeomorphic to the inverse limit of the…
Motion polynomials are a specific type of polynomial over a Clifford algebra that can conveniently describe rational motions. There exists an algorithm for the factorization of motion polynomials that works in generic cases. It hinges on…
We formalise, in Coq, the opening sections of Parity Complexes [Street1991] up to and including the all important excision of extremals algorithm. Parity complexes describe the essential combinatorial structure exhibited by simplexes, cubes…
Generalizing supertropical algebras, we present a "layered" structure, "sorted" by a semiring which permits varying ghost layers, and indicate how it is more amenable than the "standard" supertropical construction in factorizations of…
A general problem in complex cobordism theory is to find useful representatives for cobordism classes. One particularly convenient class of complex manifolds consists of smooth projective toric varieties. The bijective correspondence…
In 2010, Izhakian & Margolis proved that the bicyclic monoid admits a representation as a semigroup of upper triangular tropical matrices. We extend this result by classifying all one-relation monoids which admit such representations. We…
We propose a generalization of tropical curves by dropping the rationality and integrality requirements while preserving the balancing condition. An interpretation of such curves as critical points of a certain quadratic functional allows…
The map which takes a square matrix to its tropical eigenvalue-eigenvector pair is piecewise linear. We determine the cones of linearity of this map. They are simplicial but they do not form a fan. Motivated by statistical ranking, we also…