Abstract:The greedoid is a significant abstraction of the matroid allowing for a more flexible analysis of structures in which the greedy algorithm "works." However, their diverse structure imposes difficulties towards their application in combinatorial optimization [Sze21]. In response, we revisit the polymatroid greedoid [KL85a] to characterize it by properties approximating those of matroids, by using the submodularity of its polymatroid representation in particular. Towards doing so, our main contribution is a full description of this class. Specifically, we show that a greedoid is a polymatroid greedoid if and only if it is an optimistic interval greedoid whose kernels are closed under intersection. This constitutes the first necessary and sufficient characterization of the polymatroid greedoid in terms of its combinatorial attributes, thereby resolving a central open question of Korte and Lovász [KL85a]. Here, we introduce the optimism property to approximate properties of a matroid's continuations which are implied by the closure axioms of its span, which no longer hold for greedoids. And, because the kernels of an interval greedoid are in many ways an extension of a matroid's closed sets, our direction of necessity is a direct generalization of Birkhoff and Edmond's characterization of the meet in the lattice of a matroid's closed sets [Bir35, Edm03]. Towards achieving this result, our main technical insights arise from relating the lattice of flats of a polymatroid greedoid to that of the closed sets of its representation through order preserving mappings. Specifically, we will show the novel insight that the notion of polymatroid representation considered in [KL85a] is equivalent to the existence of a certain Galois connection. As a consequence, the representation of a greedoid via a polymatroid is an order theoretic concept in disguise.

A geometric proof for the root-independence of the greedoid polynomial of Eulerian branching greedoids

A geometric proof for the root-independence of the greedoid polynomial of Eulerian branching greedoids

On trees with real rooted independence polynomial

The complexity of the greedoid Tutte polynomial

Two faces of greedy leaf removal procedure on graphs

Unimodality of independence polynomials of rooted products of graphs

Total positivity of some polynomial matrices that enumerate labeled trees and forests. II. Rooted labeled trees and partial functional digraphs

The Polymatroid Representation of a Greedoid, and Associated Galois Connections

Tutte polynomial, subgraphs, orientations and sandpile model: new connections via embeddings

Degrees of interior polynomials and parking function enumerators

Symmetric decompositions, triangulations and real-rootedness

Eulerian Polynomials for Digraphs

Root geometry of polynomial sequences I: Type $(0,1)$

An algebraic interpretation of Eulerian polynomials, derangement polynomials, and beyond, via Gröbner methods

Totally nonnegative matrices, chain enumeration and zeros of polynomials

Root polytopes and growth series of root lattices

The independence polynomial on recursive sequences of graphs

On the roots of the node reliability polynomial

An algebraic proof of the dichotomy for graph orientation problems with forbidden tournaments

On the Wiener-like root-indices of graphs

Polynomial invariants for rooted trees related to their random destruction