The study of polyhedra within the framework of oriented matroids has become a natural approach. Methods for enumerating combinatorial types of convex polytopes inductively within the Euclidean setting alone have not been established. In contrast, the oriented matroid concept allows one to generate matroid polytopes inductively. Matroid polytopes, when not interesting in their own right as topol...

If ∆ is a polytope in real affine space, each edge of ∆ determines a reflection in the perpendicular bisector of the edge. The exchange group W (∆) is the group generated by these reflections, and ∆ is a (Coxeter) matroid polytope if this group is finite. This simple concept of matroid polytope turns out to be an equivalent way to define Coxeter matroids. The GelfandSerganova Theorem and the st...

Properties of Boolean functions on the hypercube that are invariant with respect to linear transformations of the domain are among some of the most well-studied properties in the context of property testing. In this paper, we study the fundamental class of linear-invariant properties called matroid freeness properties. These properties have been conjectured to essentially coincide with all test...

We show that the infinite matroid intersection conjecture of NashWilliams implies the infinite Menger theorem proved recently by Aharoni and Berger. We prove that this conjecture is true whenever one matroid is nearly finitary and the second is the dual of a nearly finitary matroid, where the nearly finitary matroids form a superclass of the finitary matroids. In particular, this proves the inf...

We prove that a binary matroid with huge branch-width contains the cycle matroid of a large grid as a minor. This implies that an infinite antichain of binary matroids cannot contain the cycle matroid of a planar graph. The result also holds for any other finite field. © 2007 Elsevier Inc. All rights reserved.

Let F4 be the root system associated with the 24-cell, and let M(F4) be the simple linear dependence matroid corresponding to this root system. We determine the automorphism group of this matroid and compare it to the Coxeter group W for the root system. We find non-geometric automorphisms that preserve the matroid but not the root system.

The most important open conjecture in the context of the matroid secretary problem claims the existence of an O(1)-competitive algorithm applicable to any matroid. Whereas this conjecture remains open, modified forms of it have been shown to be true, when assuming that the assignment of weights to the secretaries is not adversarial but uniformly at random [23, 20]. However, so far, no variant o...

As part of the recent developments in infinite matroid theory, there have been a number of conjectures about how standard theorems of finite matroid theory might extend to the infinite setting. These include base packing, base covering, and matroid intersection and union. We show that several of these conjectures are equivalent, so that each gives a perspective on the same central problem of in...

A matroid or oriented matroid is dyadic if it has a rational representation with all nonzero subde-terminants in ff2 k : k 2 Zg. Our main theorem is that an oriented matroid is dyadic if and only if the underlying matroid is ternary. A consequence of our theorem is the recent result of G. Whittle that a rational matroid is dyadic if and only if it is ternary. Along the way, we establish that ea...

The point we try to get across is that the generalization of the counterparts of the matroid theory in Cayley graphs since the matroid theory frequently simplify the graphs and so Cayley graphs. We will show that, for a Cayley graph ΓG, the cutset matroid M ∗(ΓG) is the dual of the circuit matroid M(ΓG). We will also deduce that if Γ ∗ G is an abstract-dual of a Cayley graph Γ, then M(Γ∗ G ) is...