Related papers: Scarf's theorems, simplices, and oriented matroids
We prove a colorful generalization of the Borsuk--Ulam theorem and derive colorful consequences from it, such as a colorful generalization of the ham sandwich theorem. Even in the uncolored case this specializes to a strengthening of the…
Beck's conjecture on coloring of graphs associated to various algebraic objects has generated considerable interest in the community of discrete mathematics and combinatorics since its inception in the year 1988. The version of this…
Consider edge colorings of digraphs where edges $v_1 v_2$ and $v_2 v_3$ have different colors. This coloring induces a vertex coloring by sets of edge colors, in which edge $v_1 v_2$ in the graph implies that the set color of $v_1$ contains…
We prove a fixed-point theorem that generalises and simplifies a number of results in the theory of $F$-contractions. We show that all of the previously imposed conditions on the operator can be either omitted or relaxed. Furthermore, our…
While planar graphs are flat from a topological viewpoint, we observe that they are not from a geometric one. We prove that every planar graph can be embedded into a surface consisting of spheres, glued together in a tree-like fashion. As a…
Various results ensure the existence of large complete bipartite graphs in properly colored graphs when some condition related to a topological lower bound on the chromatic number is satisfied. We generalize three theorems of this kind,…
Nakada's colored hook formula is a vast generalization of many important formulae in combinatorics, such as the classical hook length formula and the Peterson's formula for the number of reduced expressions of minuscule Weyl group elements.…
We prove a common extension of Bang's and Kadets' lemmas for contact pairs, in the spirit of the Colourful Carath\'eodory Theorem. We also formulate a generalized version of the affine plank problem and prove it under special assumptions.…
We study some kinds of generalizations of Schr\"oder paths below a line with rational slope and derive the $q$-difference equations that are satisfied by their generating functions. As a result, we establish a relation between the…
The Kauffman-Harary conjecture states that for any reduced alternating diagram K of a knot with a prime determinant p, every non-trivial Fox p-coloring of K assigns different colors to its arcs. We generalize the conjecture by stating it in…
Our point of departure is the following simple common generalisation of the Sylvester-Gallai theorem and the Motzkin-Rabin theorem: Let S be a finite set of points in the plane, with each point coloured red or blue or with both colours.…
In this paper we introduce generalized symmetric Meir-Keeler contractions and prove some coupled fixed point theorems for mixed monotone operators $F:X \times X \rightarrow X$ in partially ordered metric spaces. The obtained results extend,…
We develop a topological framework in an attempt to generalize the classical colourful Caratheodory theorem by imposing an additional constraint. For that we introduce the notion of zero-avoding complexes and covering criteria for the…
We give a simple short proof of Brooks' theorem using only induction and greedy coloring, while avoiding issues of graph connectivity. The argument generalizes easily to some extensions of Brooks' theorem, including its variants for list…
We develop the technique of geometric realizations with algebraically independent (over the field of real algebraic numbers) coordinates of vertices and combine it with the oriented volume method inspired by work of McLennan and Tourky on…
We establish a colorful and, more generally, matroidal solution to the problem of Goodman and Pollack on the existence of an $\mathbb{F}$-affine $k$-dimensional transversal to a family of convex sets in $\mathbb{F}^d$, where $0 \le k \le d…
This paper discusses reformulations of the problem of coloring plane maps with four colors. The context is the edge-coloring with three colors of cubic graphs such that three distinct colors occur at each vertex. We include discussion of…
Working in subsystems of second order arithmetic, we formulate several representations for hypergraphs. We then prove the equivalence of various vertex coloring theorems to ${\sf WKL}_0$, ${\sf ACA}_0$ and $\Pi ^1_ 1$-${\sf CA}_0$.
Three central results in economic theory --- Brouwer's fixed-point theorem, Sperner's lemma, and the Knaster-Kuratowski-Mazurkiewicz (KKM) lemma --- are known to be equivalent. In almost all cases, elementary direct proofs of one of these…
We develop a geometric framework that unifies several different combinatorial fixed-point theorems related to Tucker's lemma and Sperner's lemma, showing them to be different geometric manifestations of the same topological phenomena. In…