2,005 research outputs found
Reverse mathematics of matroids
Matroids generalize the familiar notion of linear dependence from linear algebra. Following a brief discussion of founding work in computability and matroids, we use the techniques of reverse mathematics to determine the logical strength of some basis theorems for matroids and enumerated matroids. Next, using Weihrauch reducibility, we relate the basis results to combinatorial choice principles and statements about vector spaces. Finally, we formalize some of the Weihrauch reductions to extract related reverse mathematics results. In particular, we show that the existence of bases for vector spaces of bounded dimension is equivalent to the induction scheme for \Sigma^0_2 formulas
A module-theoretic approach to matroids
Speyer recognized that matroids encode the same data as a special class of
tropical linear spaces and Shaw interpreted tropically certain basic matroid
constructions; additionally, Frenk developed the perspective of tropical linear
spaces as modules over an idempotent semifield. All together, this provides
bridges between the combinatorics of matroids, the algebra of idempotent
modules, and the geometry of tropical linear spaces. The goal of this paper is
to strengthen and expand these bridges by systematically developing the
idempotent module theory of matroids. Applications include a geometric
interpretation of strong matroid maps and the factorization theorem; a
generalized notion of strong matroid maps, via an embedding of the category of
matroids into a category of module homomorphisms; a monotonicity property for
the stable sum and stable intersection of tropical linear spaces; a novel
perspective of fundamental transversal matroids; and a tropical analogue of
reduced row echelon form.Comment: 22 pages; v3 minor corrections/clarifications; to appear in JPA
The Tutte Polynomial of a Morphism of Matroids 6. A Multi-Faceted Counting Formula for Hyperplane Regions and Acyclic Orientations
We show that the 4-variable generating function of certain orientation
related parameters of an ordered oriented matroid is the evaluation at (x + u,
y+v) of its Tutte polynomial. This evaluation contains as special cases the
counting of regions in hyperplane arrangements and of acyclic orientations in
graphs. Several new 2-variable expansions of the Tutte polynomial of an
oriented matroid follow as corollaries.
This result hold more generally for oriented matroid perspectives, with
specific special cases the counting of bounded regions in hyperplane
arrangements or of bipolar acyclic orientations in graphs.
In corollary, we obtain expressions for the partial derivatives of the Tutte
polynomial as generating functions of the same orientation parameters.Comment: 23 pages, 2 figures, 3 table
Generic and special constructions of pure O-sequences
It is shown that the h-vectors of Stanley-Reisner rings of three classes of
matroids are pure O-sequences. The classes are (a) matroids that are
truncations of other matroids, or more generally of Cohen-Macaulay complexes,
(b) matroids whose dual is (rank + 2)-partite, and (c) matroids of
Cohen-Macaulay type at most five. Consequences for the computational search for
a counterexample to a conjecture of Stanley are discussed.Comment: 16 pages, v2: various small improvements, accepted by Bulletin of the
London Math. Societ
- …