arXiv++ Combinatorics

It is known that strongly involutive polyhedra are closely related to self-dual maps where the antipodal function acts as duality isomorphism. Such a family of polyhedra appears in different combinatorial, topological and geometric contexts, and is thus attractive to be studied. In this note, we determine the 10 antipodal pairings among the classification of the 24 self-dual pairings $Dual(G)\rhd Aut(G)$ of self-dual maps G. We also present the orbifold associated to each antipodal pairing and describe explicitly the corresponding fundamental regions. We finally explain how to construct two infinite families of strongly involutive polyhedra (one of them new) by using their doodles and the action of the corresponding orbifolds.

A very short proof of Kneser's theorem via transversal is given.

In this paper, we investigate representations of links that are either centrally symmetric in $\mathbb{R}^3$ or antipodally symmetric in $\mathbb{S}^3$. By using the notions of antipodally self-dual and antipodally symmetric maps, introduced and studied by the authors, we are able to present sufficient combinatorial conditions for a link $L$ to admit such representations. The latter naturally arises sufficient conditions for $L$ to be amphichiral. We also introduce another (closely related) method yielding again to sufficient conditions for $L$ to be amphichiral. We finally prove that a link $L$, associated to a map $G$, is amphichiral if the self-dual pairing of $G$ is not one of 6 specific ones among the classification of the 24 self-dual pairing $Cor(G) \rhd Aut(G)$.

A self-dual map $G$ is said to be \emph{antipodally self-dual} if the dual map $G^*$ is antipodal embedded in $\mathbb{S}^2$ with respect to $G$. In this paper, we investigate necessary and/or sufficient conditions for a map to be antipodally self-dual. In particular, we present a combinatorial characterization for map $G$ to be antipodally self-dual in terms of certain \emph{involutive labelings}. The latter lead us to obtain necessary conditions for a map to be \emph{strongly involutive} (a notion relevant for its connection with convex geometric problems). We also investigate the relation of antipodally self-dual maps and the notion of \emph{ antipodally symmetric} maps. It turns out that the latter is a very helpful tool to study questions concerning the \emph{symmetry} as well as the \emph{amphicheirality} of \emph{links}.

A polyhedron is a graph $G$ which is simple, planar and 3-connected. In this note, we classify the family of strongly involutive self-dual polyhedra. The latter is done by using a well-known result due to Tutte characterizing 3-connected graphs. We also show that this special class of polyhedra self-duality behaves topologically as the antipodal mapping. These self-dual polyhedra are related with several problems in convex and discrete geometry including the Vázsonyi problem.

This work is about graphs arising from Reuleaux polyhedra. Such graphs must necessarily be planar, $3$-connected and strongly self-dual. We study the question of when these conditions are sufficient. If $G$ is any such a graph with isomorphism $τ: G \to G^*$ (where $G^*$ is the unique dual graph), a metric mapping is a map $η: V(G) \to \mathbb R^3$ such that the diameter of $η(G)$ is $1$ and for every pair of vertices $(u,v)$ such that $u\in τ(v)$ we have dist$(η(u),η(v)) = 1$. If $η$ is injective, it is called a metric embedding. Note that a metric embedding gives rise to a Reuleaux Polyhedra. Our contributions are twofold: Firstly, we prove that any planar, $3$-connected, strongly self-dual graph has a metric mapping by proving that the chromatic number of the diameter graph (whose vertices are $V(G)$ and whose edges are pairs $(u,v)$ such that $u\in τ(v)$) is at most $4$, which means there exists a metric mapping to the tetrahedron. Furthermore, we use the Lovász neighborhood-complex theorem in algebraic topology to prove that the chromatic number of the diameter graph is exactly $4$. Secondly, we develop algorithms that allow us to obtain every such graph with up to $14$ vertices. Furthermore, we numerically construct metric embeddings for every such graph. From the theorem and this computational evidence we conjecture that every such graph is realizable as a Reuleaux polyhedron in $\mathbb R^3$. In previous work the first and last authors described a method to construct a constant-width body from a Reuleaux polyhedron. So in essence, we also construct hundreds of new examples of constant-width bodies. This is related to a problem of Vázsonyi, and also to a problem of Blaschke-Lebesgue.

Given a coloration of the vertices of a triangulation of a manifold, we give homological conditions on the chromatic complexes under which it is possible to obtain a rainbow simplex

Given a simplicial complex and a collection of subcomplexes covering it, the nerve theorem, a fundamental tool in topological combinatorics, guarantees a certain connectivity of the simplicial complex when connectivity conditions on the intersection of the subcomplexes are satisfied. We show that it is possible to extend this theorem by replacing some of these connectivity conditions on the intersection of the subcomplexes by connectivity conditions on their union. While this is interesting for its own sake, we use this extension to generalize in various ways the Meshulam lemma, a powerful homological version of the Sperner lemma. We also prove a generalization of the Meshulam lemma that is somehow reminiscent of the polytopal generalization of the Sperner lemma by De Loera, Peterson, and Su. For this latter result, we use a different approach and we do not know whether there is a way to get it via a nerve theorem of some kind.

Let $k,d,λ\geqslant 1$ be integers with $d\geqslant λ$ and let $X$ be a finite set of points in $\mathbb{R}^{d}$. A $(d-λ)$-plane $L$ transversal to the convex hulls of all $k$-sets of $X$ is called Kneser transversal. If in addition $L$ contains $(d-λ)+1$ points of $X$, then $L$ is called complete Kneser transversal.In this paper, we present various results on the existence of (complete) Kneser transversals for $λ=2,3$. In order to do this, we introduce the notions of stability and instability for (complete) Kneser transversals. We first give a stability result for collections of $d+2(k-λ)$ points in $\mathbb{R}^d$ with $k-λ\geqslant 2$ and $λ=2,3$. We then present a description of Kneser transversals $L$ of collections of $d+2(k-λ)$ points in $\mathbb{R}^d$ with $k-λ\geqslant 2$ for $λ=2,3$. We show that either $L$ is a complete Kneser transversal or it contains $d-2(λ-1)$ points and the remaining $2(k-1)$ points of $X$ are matched in $k-1$ pairs in such a way that $L$ intersects the corresponding closed segments determined by them. The latter leads to new upper and lower bounds (in the case when $λ=2$ and $3$) for $m(k,d,λ)$ defined as the maximum positive integer $n$ such that every set of $n$ points (not necessarily in general position) in $\mathbb{R}^{d}$ admit a Kneser transversal.Finally, by using oriented matroid machinery, we present some computational results (closely related to the stability and unstability notions). We determine the existence of (complete) Kneser transversals for each of the $246$ different order types of configurations of $7$ points in $\mathbb{R}^3$.

Let $k,d,λ\geqslant1$ be integers with $d\geqslantλ$. Let $m(k,d,λ)$ be the maximum positive integer $n$ such that every set of $n$ points (not necessarily in general position) in $\mathbb{R}^{d}$ has the property that the convex hulls of all $k$-sets have a common transversal $(d-λ)$-plane. It turns out that $m(k, d,λ)$ is strongly connected with other interesting problems, for instance, the chromatic number of Kneser hypergraphs and a discrete version of Rado's centerpoint theorem. In the same spirit, we introduce a natural discrete version $m^*$ of $m$ by considering the existence of complete Kneser transversals. We study the relation between them and give a number of lower and upper bounds of $m^*$ as well as the exact value in some cases. The main ingredient for the proofs are Radon's partition theorem as well as oriented matroids tools. By studying the alternating oriented matroid we obtain the asymptotic behavior of the function $m^*$ for the family of cyclic polytopes.

A linear system is a pair $(X,\mathcal{F})$ where $\mathcal{F}$ is a finite family of subsets on a ground set $X$, and it satisfies that $|A\cap B|\leq 1$ for every pair of distinct subsets $A,B \in \mathcal{F}$. As an example of a linear system are the straight line systems, which family of subsets are straight line segments on $\mathbb{R}^{2}$. By $τ$ and $ν_2$ we denote the size of the minimal transversal and the 2--packing numbers of a linear system respectively. A natural problem is asking about the relationship of these two parameters; it is not difficult to prove that there exists a quadratic function $f$ holding $τ\leq f(ν_2)$. However, for straight line system we believe that $τ\leqν_2-1$. In this paper we prove that for any linear system with $2$-packing numbers $ν_2$ equal to $2, 3$ and $4$, we have that $τ\leqν_2$. Furthermore, we prove that the linear systems that attains the equality have transversal and $2$-packing numbers equal to $4$, and they are a special family of linear subsystems of the projective plane of order $3$. Using this result we confirm that all straight line systems with $ν_2\in\{2,3,4\}$ satisfies $τ\leqν_2-1$.

We introduce a geometric generalization of Hall's marriage theorem. For any family $F = \{X_1, \dots, X_m\}$ of finite sets in $\mathbb{R}^d$, we give conditions under which it is possible to choose a point $x_i\in X_i$ for every $1\leq i \leq m$ in such a way that the points $\{x_1,...,x_m\}\subset \mathbb{R}^d$ are in general position. We give two proofs, one elementary proof requiring slightly stronger conditions, and one proof using topological techniques in the spirit of Aharoni and Haxell's celebrated generalization of Hall's theorem.

The problem of computing the chromatic number of Kneser hypergraphs has been extensively studied over the last 40 years and the fractional version of the chromatic number of Kneser hypergraphs is only solved for particular cases. The \emph{$(p,q)$-extremal problem} consists in finding the maximum number of edges on a $k$-uniform hypergraph $\mathcal{H}$ with $n$ vertices such that among any $p$ edges some $q$ of them have no empty intersection. In this paper we have found a link between the fractional chromatic number of Kneser hypergraphs and the $(p,q)$-extremal problem and also solve the $(p,q)$-extremal problem for graphs if $n$ is sufficiently large and $p \geq q \geq 3$ by proposing it as a problem of extremal graph theory. With the aid of this result we calculate the fractional chromatic number of Kneser hypergraphs when they are composed with sets of cardinality 2.

In this paper we introduce the definition of transitivity for oriented 3-hypergraphs in order to study partial and complete cyclic orders. This definition allow us to give sufficient conditions on a partial cyclic order to be totally extendable. Furthermore, we introduce the 3-hypergraph associated to a cyclic permutation and characterize it in terms of cyclic comparability 3-hypergraphs.

We give new bounds on the Erdos-Szekeres theorems for convex bodies of Bisztriczky and Fejes Toth and of Pach and Toth. We derive them from a combinatorial characterization of convex position of a family of planar convex bodies. This characterization confirms that the concept of Order Type for points can be extended to noncrossing families of convex bodies in a geometrically meaningful way.