arXiv++ Combinatorics

Carathéodorys Theorem of convex hulls plays an important role in convex geometry. In 1982, Bárány formulated and proved a more general version, called the Colorful Carathéodory. This colorful version was even more generalized by Holmsen in 2016. He formulated a combinatorial extension and found a topological proof. Taking a dual point of view we gain an equivalent formulation of Holmsen's result that has a more geometric meaning.

In 1982 Víctor Neumann-Lara introduced the dichromatic number of a digraph $D$ as the smallest integer $k$ such that the vertices $V$ of $D$ can be colored with $k$ colors and each color class induces an acyclic digraph. Later a flow theory for the dichromatic number transferring Tutte's theory of nowhere-zero flows (NZ-flows) from classic graph colorings has been developed by Hochstättler. The purpose of this paper is to pursue this analogy by introducing a new definition of algebraic Neumann-Lara-flows (NL-flows) and a closed formula for their polynomial. Furthermore we generalize the Equivalence Theorem for nowhere-zero flows to NL-flows in the setting of regular oriented matroids. Finally we discuss computational aspects of computing the NL-flow polynomial for orientations of complete digraphs and obtain a closed formula in the acyclic case.

It has been shown by Bokal et al. that deciding 2-colourability of digraphs is an NP-complete problem. This result was later on extended by Feder et al. to prove that deciding whether a digraph has a circular $p$-colouring is NP-complete for all rational $p>1$. In this paper, we consider the complexity of corresponding decision problems for related notions of fractional colourings for digraphs and graphs, including the star dichromatic number, the fractional dichromatic number and the circular vertex arboricity. We prove the following results: Deciding if the star dichromatic number of a digraph is at most $p$ is NP-complete for every rational $p>1$. Deciding if the fractional dichromatic number of a digraph is at most $p$ is NP-complete for every $p>1, p \neq 2$. Deciding if the circular vertex arboricity of a graph is at most $p$ is NP-complete for every rational $p>1$. To show these results, different techniques are required in each case. In order to prove the first result, we relate the star dichromatic number to a new notion of homomorphisms between digraphs, called circular homomorphisms, which might be of independent interest. We provide a classification of the computational complexities of the corresponding homomorphism colouring problems similar to the one derived by Feder et al. for acyclic homomorphisms.

We introduce a new notion of circular colourings for digraphs. The idea of this quantity, called star dichromatic number $\vecχ^\ast(D)$ of a digraph $D$, is to allow a finer subdivision of digraphs with the same dichromatic number into such which are "easier" or "harder" to colour by allowing fractional values. This is related to a coherent notion for the vertex arboricity of graphs introduced by Wang et al. and resembles the concept of the star chromatic number of graphs introduced by Vince in the framework of digraph colouring. After presenting basic properties of the new quantity, including range, simple classes of digraphs, general inequalities and its relation to integer counterparts as well as other concepts of fractional colouring, we compare our notion with the notion of circular colourings for digraphs introduced by Bokal et al. and point out similarities as well as differences in certain situations. As it turns out, the star dichromatic number is a lower bound for the circular dichromatic number of Bokal et al., but the gap between the numbers may be arbitrarily close to $1$. We conclude with a discussion of the case of planar digraphs and point out some open problems.

We show that every lattice path matroid of rank at least two has a quite simple coline, also known as a positive coline. Therefore every orientation of a lattice path matroid is 3-colorable with respect to the chromatic number of oriented matroids introduced by J. Nešetřil, R. Nickel, and W. Hochstättler.

We generalize the Varchenko matrix of a hyperplane arrangement to oriented matroids. We show that the celebrated determinant formula for the Varchenko matrix, first proved by Varchenko, generalizes to oriented matroids. It follows that the determinant only depends on the matroid underlying the oriented matroid and analogous formulas hold for cones in oriented matroids. We follow a proof strategy for the original Varchenko formula first suggested by Denham and Hanlon. Besides several technical lemmas this strategy also requires a topological result on supertopes which is of independent interest. We show that a supertope considered as a subposet of the tope poset has a contractible order complex.

We prove the equivalence of Kantor's Conjecture and the Sticky Matroid Conjecture due to Poljak und Turzík.

We prove that the game colouring number of the $m$-th power of a forest of maximum degree $Δ\ge3$ is bounded from above by \[\frac{(Δ-1)^m-1}{Δ-2}+2^m+1,\] which improves the best known bound by an asymptotic factor of 2.