Pseudo-orientable ribbon graphs: Matrix--Quasi-tree Theorem and log-concavity

TL;DR

This paper characterizes pseudo-orientable ribbon graphs through strong -matroids, establishes a geometric transformation to orientable ribbon graphs, and proves new theorems on quasi-trees, including log-concavity and stability results.

Contribution

It introduces pseudo-orientable ribbon graphs, links them to strong -matroids, and extends key theorems like the Matrix--Quasi-tree Theorem and log-concavity to this class.

Findings

Characterization of strong -matroids corresponding to pseudo-orientable ribbon graphs

A geometric construction transforming pseudo-orientable into orientable ribbon graphs

Proof of log-concavity and Hurwitz stability for quasi-tree generating polynomials

Abstract

One of the most important classes of even $\Delta$-matroids arises from orientable ribbon graphs, which play a role analogous to that of graphic matroids in matroid theory. Motivated by a natural correspondence between strong $\Delta$-matroids and even $\Delta$-matroids due to Geelen and Murota, we characterize the class of strong $\Delta$-matroids that correspond to orientable ribbon-graphic $\Delta$-matroids. These are precisely the $\Delta$-matroids associated with what we call pseudo-orientable ribbon graphs. Moreover, we present a geometric construction that transforms a pseudo-orientable ribbon graph into an orientable ribbon graph, thereby realizing this correspondence. As consequences, we obtain the Matrix--Quasi-tree Theorem, the Hurwitz stability of quasi-tree generating polynomials, and a log-concavity result for the sequence counting quasi-trees of size $2i-1$ or $2i$ for pseudo-orientable ribbon graphs. To establish the log-concavity, we generalize Stanley's log-concavity theorem for regular matroids to regular $\Delta$-matroids. Finally, we exhibit an infinite family of non-pseudo-orientable ribbon graphs that fail to satisfy the Matrix--Quasi-tree theorem and Hurwitz stability.