Source author record

Matthias Lenz

Matthias Lenz appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.CO math.AC Computational Geometry Discrete Mathematics

Catalog footprint

What is connected

6works

4topics

1close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2016arXiv

Zonotopal algebra and forward exchange matroids

Zonotopal algebra is the study of a family of pairs of dual vector spaces of multivariate polynomials that can be associated with a list of vectors X. It connects objects from combinatorics, geometry, and approximation theory. The origin of zonotopal algebra is the pair (D(X),P(X)), where D(X) denotes the Dahmen-Micchelli space that is spanned by the local pieces of the box spline and P(X) is a space spanned by products of linear forms. The first main result of this paper is the construction of a canonical basis for D(X). We show that it is dual to the canonical basis for P(X) that is already known. The second main result of this paper is the construction of a new family of zonotopal spaces that is far more general than the ones that were recently studied by Ardila-Postnikov, Holtz-Ron, Holtz-Ron-Xu, Li-Ron, and others. We call the underlying combinatorial structure of those spaces forward exchange matroid. A forward exchange matroid is an ordered matroid together with a subset of its set of bases that satisfies a weak version of the basis exchange axiom.

preprint2013arXiv

Matroids and log-concavity

We show that f-vectors of matroid complexes of realisable matroids are log-concave. This was conjectured by Mason in 1972. Our proof uses the recent result by Huh and Katz who showed that the coefficients of the characteristic polynomial of a realisable matroid form a log-concave sequence. We also discuss the relationship between log-concavity of f-vectors and h-vectors of matroids. In the last section we explain the connection between zonotopal algebra and f-vectors and characteristic polynomials of matroids.

preprint2012arXiv

Hierarchical zonotopal power ideals

Zonotopal algebra deals with ideals and vector spaces of polynomials that are related to several combinatorial and geometric structures defined by a finite sequence of vectors. Given such a sequence X, an integer k>=-1 and an upper set in the lattice of flats of the matroid defined by X, we define and study the associated hierarchical zonotopal power ideal. This ideal is generated by powers of linear forms. Its Hilbert series depends only on the matroid structure of X. Via the Tutte polynomial, it is related to various other matroid invariants, e.g. the shelling polynomial and the characteristic polynomial. This work unifies and generalizes results by Ardila-Postnikov on power ideals and by Holtz-Ron and Holtz-Ron-Xu on (hierarchical) zonotopal algebra. We also generalize a result on zonotopal Cox modules that were introduced by Sturmfels-Xu.

preprint2011arXiv

Toric Ideals of Flow Polytopes

A referee found an error in the proof of the Main Theorem ("toric ideals of flow polytopes are generated in degree 3") that we could not fix. More precisely, the proof of Lemma 4.2.(ii) is incorrect. The results on Gröbner bases are untouched by this. ----- We show that toric ideals of flow polytopes are generated in degree 3. This was conjectured by Diaconis and Eriksson for the special case of the Birkhoff polytope. Our proof uses a hyperplane subdivision method developed by Haase and Paffenholz. It is known that reduced revlex Gröbner bases of the toric ideal of the Birkhoff polytope $B_n$ have at most degree $n$. We show that this bound is sharp for some revlex term orders. For $(m\times n)$-transportation polytopes, a similar result holds: they have Gröbner bases of at most degree $\lfloor mn/2\rfloor$. We construct a family of examples, where this bound is sharp.

preprint2010arXiv

Polynomial Bounds on the Slicing Number

NOTE: Unfortunately, most of the results mentioned here were already known under the name of "d-separated interval piercing". The result that T_d(m) exists was first proved by Gyaŕfaś and Lehel in 1970, see [5]. Later, the result was strengthened by Kaŕolyi and Tardos [9] to match our result. Moreover, their proof (in a different notation, of course) uses ideas very similar to ours and leads to a similar recurrence. Also, our conjecture turns out to be right and was proved for the 2-dimensional case by Tardos and for the general case by Kaiser [8]. An excellent survey article ("Transversals of d-intervals') is available on http://www.renyi.hu/~tardos. Still, we leave this paper available to the public on http://page.mi.fu-berlin.de/dawerner, also because one might find the references useful. ----- We study the following Gallai-type of problem: Assume that we are given a family X of convex objects in R^d such that among any subset of size m, there is an axis-parallel hyperplane intersecting at least two of the objects. What can we say about the number of axis-parallel hyperplanes that sufficient to intersect all sets in the family? In this paper, we show that this number T_d(m) exists, i.e., depends only on m and the dimension d, but not on the size of the set X. First, we derive a very weak super-exponential bound. Using this result, by a simple proof we are able to show that this number is even polynomially bounded for any fixed d. We partly answer open problem 74 on http://maven.smith.edu/~orourke/TOPP/, where the planar case is considered, by improving the best known exponential bound to O(m^2).

preprint2007arXiv

Torische Ideale von Flusspolytopen

In dieser Diplomarbeit werden einige Gradschranken für Erzeugendensysteme und Gröbnerbasen von torischen Idealen von Flusspolytopen bewiesen. Alle torischen Ideale von Flusspolytopen sind im Grad 3 erzeugt. Glatte (3x4)-Transportpolytope sind sogar im Grad 2 erzeugt. Die reduzierte Gröbnerbasis eines beliebigen (m \times n)-Transportpolytops bezüglich einer beliebigen umgekehrt lexikographischen Termordnung hat höchstens Grad mn/2. Wir konstruieren auch ein Beispiel, für das diese Schranke annähernd scharf ist. ----- In this Diplomarbeit (Master's thesis), we prove some degree bounds for generating sets and Gröbner bases of toric ideals of flow polytopes. All toric ideals of flow polytopes are generated in degree three. Smooth (3x4)-transportation polytopes are even generated in degree 2. The reduced Gröbner basis of an arbitrary (m \times n)-transportation polytope with respect to an arbitrary reverse lexikographic term order has at most degree mn/2. We also construct an example, for which this bound is almost sharp.