-
A 4-Dimensional Peabody of Constant Width
Authors:
Isaac Arelio,
Luis Montejano,
Deborah Oliveros
Abstract:
In this paper we present a unique 4-dimensional body of constant width based on the classical notion of focal conics.
In this paper we present a unique 4-dimensional body of constant width based on the classical notion of focal conics.
△ Less
Submitted 23 August, 2024;
originally announced August 2024.
-
Tverberg Partition Graphs
Authors:
Deborah Oliveros,
Érika Roldán,
Pablo Soberón,
Antonio J. Torres
Abstract:
Given a finite set of points in $\mathbb{R}^d$, Tverberg's theorem guarantees the existence of partitions of this set into parts whose convex hulls intersect. We introduce a graph structured on the family of Tverberg partitions of a given set of points, whose edges describe closeness between different Tverberg partitions. We prove bounds on the minimum and maximum degree of this graph, the number…
▽ More
Given a finite set of points in $\mathbb{R}^d$, Tverberg's theorem guarantees the existence of partitions of this set into parts whose convex hulls intersect. We introduce a graph structured on the family of Tverberg partitions of a given set of points, whose edges describe closeness between different Tverberg partitions. We prove bounds on the minimum and maximum degree of this graph, the number of vertices of maximal degree, its clique number, and its connectedness.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
Borsuk and Vázsonyi problems through Reuleaux polyhedra
Authors:
Gyivan Lopez-Campos,
Deborah Oliveros,
Jorge L. Ramírez Alfonsín
Abstract:
The Borsuk conjecture and the Vázsonyi problem are two attractive and famous questions in discrete and combinatorial geometry, both based on the notion of diameter of a bounded sets. In this paper, we present an equivalence between the critical sets with Borsuk number 4 in $\mathbb{R}^3$ and the minimal structures for the Vázsonyi problem by using the well-known Reuleaux polyhedra. The latter lead…
▽ More
The Borsuk conjecture and the Vázsonyi problem are two attractive and famous questions in discrete and combinatorial geometry, both based on the notion of diameter of a bounded sets. In this paper, we present an equivalence between the critical sets with Borsuk number 4 in $\mathbb{R}^3$ and the minimal structures for the Vázsonyi problem by using the well-known Reuleaux polyhedra. The latter lead to a full characterization of all finite sets in $\mathbb{R}^3$ with Borsuk number 4.
The proof of such equivalence needs various ingredients, in particular, we proved a conjecture dealing with strongly critical configuration for the Vázsonyi problem and showed that the diameter graph arising from involutive polyhedra is vertex (and edge) 4-critical.
△ Less
Submitted 7 August, 2023;
originally announced August 2023.
-
A Model for Birdwatching and other Chronological Sampling Activities
Authors:
Jesús A. De Loera,
Edgar Jaramillo-Rodriguez,
Deborah Oliveros,
Antonio J. Torres
Abstract:
In many real life situations one has $m$ types of random events happening in chronological order within a time interval and one wishes to predict various milestones about these events or their subsets. An example is birdwatching. Suppose we can observe up to $m$ different types of birds during a season. At any moment a bird of type $i$ is observed with some probability. There are many natural ques…
▽ More
In many real life situations one has $m$ types of random events happening in chronological order within a time interval and one wishes to predict various milestones about these events or their subsets. An example is birdwatching. Suppose we can observe up to $m$ different types of birds during a season. At any moment a bird of type $i$ is observed with some probability. There are many natural questions a birdwatcher may have: how many observations should one expect to perform before recording all types of birds? Is there a time interval where the researcher is most likely to observe all species? Or, what is the likelihood that several species of birds will be observed at overlapping time intervals? Our paper answers these questions using a new model based on random interval graphs. This model is a natural follow up to the famous coupon collector's problem.
△ Less
Submitted 11 May, 2022;
originally announced May 2022.
-
From word-representable graphs to altered Tverberg-type theorems
Authors:
Deborah Oliveros,
Antonio Torres
Abstract:
Tverberg's theorem says that a set with sufficiently many points in $\mathbb{R}^d$ can always be partitioned into $m$ parts so that the $(m-1)$-simplex is the (nerve) intersection pattern of the convex hulls of the parts. In arXiv:1808.00551v1 [math.MG] the authors investigate how other simplicial complexes arise as nerve complexes once we have a set with sufficiently many points. In this paper we…
▽ More
Tverberg's theorem says that a set with sufficiently many points in $\mathbb{R}^d$ can always be partitioned into $m$ parts so that the $(m-1)$-simplex is the (nerve) intersection pattern of the convex hulls of the parts. In arXiv:1808.00551v1 [math.MG] the authors investigate how other simplicial complexes arise as nerve complexes once we have a set with sufficiently many points. In this paper we relate the theory of word-representable graphs as a way of codifying $1$-skeletons of simplicial complexes to generate nerves. In particular, we show that every $2$-word-representable triangle-free graph, every circle graph, every outerplanar graph, and every bipartite graph could be induced as a nerve complex once we have a set with sufficiently many points in $\mathbb{R}^d$ for some $d$.
△ Less
Submitted 18 November, 2021;
originally announced November 2021.
-
Peabodies of Constant Width
Authors:
Isaac Arelio,
Luis Montejano,
Deborah Oliveros
Abstract:
The purpose of this paper is to describe a new $3$-dimensional family of bodies of constant width that we have called peabodies, obtained from the Reuleaux tetrahedron by replacing a small neighborhood of all six edges with sections of an envelope of spheres. This family contains, in particular, the two Meissner solids and a body with tetrahedral symmetry that we have called Robert's body. Behind…
▽ More
The purpose of this paper is to describe a new $3$-dimensional family of bodies of constant width that we have called peabodies, obtained from the Reuleaux tetrahedron by replacing a small neighborhood of all six edges with sections of an envelope of spheres. This family contains, in particular, the two Meissner solids and a body with tetrahedral symmetry that we have called Robert's body. Behind the construction of this family lies the classical notion of confocal quadrics discussed, for example, by Hilbert in his famous book. We study confocal quadrics and prove that the distances of an alternating sequence of four points in two confocal quadrics always satisfies a simple equation and use this equation to prove that our bodies have constant width.
△ Less
Submitted 12 July, 2021;
originally announced July 2021.
-
On weighted sums of numbers of convex polygons in point sets
Authors:
Clemens Huemer,
Deborah Oliveros,
Pablo Pérez-Lantero,
Ferran Torra,
Birgit Vogtenhuber
Abstract:
Let $S$ be a set of $n$ points in general position in the plane, and let $X_{k,\ell}(S)$ be the number of convex $k$-gons with vertices in $S$ that have exactly $\ell$ points of $S$ in their interior. We prove several equalities for the numbers $X_{k,\ell}(S)$. This problem is related to the Erdős-Szekeres theorem. Some of the obtained equations also extend known equations for the numbers of empty…
▽ More
Let $S$ be a set of $n$ points in general position in the plane, and let $X_{k,\ell}(S)$ be the number of convex $k$-gons with vertices in $S$ that have exactly $\ell$ points of $S$ in their interior. We prove several equalities for the numbers $X_{k,\ell}(S)$. This problem is related to the Erdős-Szekeres theorem. Some of the obtained equations also extend known equations for the numbers of empty convex polygons to polygons with interior points. Analogous results for higher dimension are shown as well.
△ Less
Submitted 19 October, 2019;
originally announced October 2019.
-
Tverberg-Type Theorems with Trees and Cycles as (Nerve) Intersection Patterns
Authors:
Jesús A. De Loera,
Thomas A. Hogan,
Deborah Oliveros,
Dominic Yang
Abstract:
Tverberg's theorem says that a set with sufficiently many points in $\mathbb{R}^d$ can always be partitioned into $m$ parts so that the $(m-1)$-simplex is the (nerve) intersection pattern of the convex hulls of the parts. The main results of our paper demonstrate that Tverberg's theorem is but a special case of a more general situation. Given sufficiently many points, all trees and cycles can also…
▽ More
Tverberg's theorem says that a set with sufficiently many points in $\mathbb{R}^d$ can always be partitioned into $m$ parts so that the $(m-1)$-simplex is the (nerve) intersection pattern of the convex hulls of the parts. The main results of our paper demonstrate that Tverberg's theorem is but a special case of a more general situation. Given sufficiently many points, all trees and cycles can also be induced by at least one partition of a point set.
△ Less
Submitted 1 August, 2018;
originally announced August 2018.
-
The geometry and combinatorics of discrete line segment hypergraphs
Authors:
Deborah Oliveros,
Christopher O'Neill,
Shira Zerbib
Abstract:
An $r$-segment hypergraph $H$ is a hypergraph whose edges consist of $r$ consecutive integer points on line segments in $\mathbb{R}^2$. In this paper, we bound the chromatic number $χ(H)$ and covering number $τ(H)$ of hypergraphs in this family, uncovering several interesting geometric properties in the process. We conjecture that for $r \ge 3$, the covering number $τ(H)$ is at most $(r - 1)ν(H)$,…
▽ More
An $r$-segment hypergraph $H$ is a hypergraph whose edges consist of $r$ consecutive integer points on line segments in $\mathbb{R}^2$. In this paper, we bound the chromatic number $χ(H)$ and covering number $τ(H)$ of hypergraphs in this family, uncovering several interesting geometric properties in the process. We conjecture that for $r \ge 3$, the covering number $τ(H)$ is at most $(r - 1)ν(H)$, where $ν(H)$ denotes the matching number of $H$. We prove our conjecture in the case where $ν(H) = 1$, and provide improved (in fact, optimal) bounds on $τ(H)$ for $r \le 5$. We also provide sharp bounds on the chromatic number $χ(H)$ in terms of $r$, and use them to prove two fractional versions of our conjecture.
△ Less
Submitted 12 July, 2018;
originally announced July 2018.
-
A note on the intersection property for flat boxes and boxicity in $\mathbb{R}^d$
Authors:
Hector Baños,
Déborah Oliveros
Abstract:
By extending the definition of boxicity, we extend a Helly-type result given by Danzer and Grumbaum on 2-piercings of family of boxes in $d$-dimensional Euclidian space by lowering the dimension of the boxes in the ambient space.
By extending the definition of boxicity, we extend a Helly-type result given by Danzer and Grumbaum on 2-piercings of family of boxes in $d$-dimensional Euclidian space by lowering the dimension of the boxes in the ambient space.
△ Less
Submitted 24 January, 2018; v1 submitted 7 August, 2017;
originally announced August 2017.
-
Cyclic pseudo-{L}oupekine snarks
Authors:
Leah Wrenn Berman,
Déborah Oliveros,
Gordon I. Williams
Abstract:
In 1976, Loupekine introduced (via Isaacs) a very general way of constructing new snarks from old snarks by cyclically connecting multipoles constructed from smaller snarks. In this paper, we generalize Loupekine's construction to produce a variety of snarks which can be drawn with $m$-fold rotational symmetry for $m\geq 3$ (and often, $m$ odd), constructed as $\mathbb{Z}_{m}$ lifts of \emph{volta…
▽ More
In 1976, Loupekine introduced (via Isaacs) a very general way of constructing new snarks from old snarks by cyclically connecting multipoles constructed from smaller snarks. In this paper, we generalize Loupekine's construction to produce a variety of snarks which can be drawn with $m$-fold rotational symmetry for $m\geq 3$ (and often, $m$ odd), constructed as $\mathbb{Z}_{m}$ lifts of \emph{voltage graphs} with certain properties; we call these snarks \emph{cyclic pseudo-Loupekine snarks}. In particular, we discuss three infinite families of snarks which can be drawn with $\mathbb{Z}_{m}$ rotational symmetry whose smallest element is constructed from 3 snarks with 3-fold rotational symmetry on 28 vertices; one family has the property that the oddness of the family increases with $m$. We also develop a new infinite family of snarks, of order $12m$ for each odd $m\geq 3$, which can be drawn with $m$-fold rotational symmetry and which are constructed beginning with a 3-edge-colorable graph, instead of a snark.
△ Less
Submitted 10 April, 2019; v1 submitted 17 July, 2017;
originally announced July 2017.
-
A note on extremal results on directed acyclic graphs
Authors:
A. Martínez-Pérez,
L. Montejano,
D. Oliveros
Abstract:
The family of Directed Acyclic Graphs as well as some related graphs are analyzed with respect to extremal behavior in relation with the family of intersection graphs for families of boxes with transverse intersection.
The family of Directed Acyclic Graphs as well as some related graphs are analyzed with respect to extremal behavior in relation with the family of intersection graphs for families of boxes with transverse intersection.
△ Less
Submitted 3 April, 2016;
originally announced April 2016.
-
Helly numbers of Algebraic Subsets of $\mathbb R^d$
Authors:
J. A. De Loera,
R. N. La Haye,
D. Oliveros,
E. Roldán-Pensado
Abstract:
We study $S$-convex sets, which are the geometric objects obtained as the intersection of the usual convex sets in $\mathbb R^d$ with a proper subset $S\subset \mathbb R^d$. We contribute new results about their $S$-Helly numbers. We extend prior work for $S=\mathbb R^d$, $\mathbb Z^d$, and $\mathbb Z^{d-k}\times\mathbb R^k$; we give sharp bounds on the $S$-Helly numbers in several new cases. We c…
▽ More
We study $S$-convex sets, which are the geometric objects obtained as the intersection of the usual convex sets in $\mathbb R^d$ with a proper subset $S\subset \mathbb R^d$. We contribute new results about their $S$-Helly numbers. We extend prior work for $S=\mathbb R^d$, $\mathbb Z^d$, and $\mathbb Z^{d-k}\times\mathbb R^k$; we give sharp bounds on the $S$-Helly numbers in several new cases. We considered the situation for low-dimensional $S$ and for sets $S$ that have some algebraic structure, in particular when $S$ is an arbitrary subgroup of $\mathbb R^d$ or when $S$ is the difference between a lattice and some of its sublattices. By abstracting the ingredients of Lovász method we obtain colorful versions of many monochromatic Helly-type results, including several colorful versions of our own results.
△ Less
Submitted 10 August, 2015;
originally announced August 2015.
-
Beyond Chance-Constrained Convex Mixed-Integer Optimization: A Generalized Calafiore-Campi Algorithm and the notion of $S$-optimization
Authors:
J. A. De Loera,
R. N. La Haye,
D. Oliveros,
E. Roldán-Pensado
Abstract:
The scenario approach developed by Calafiore and Campi to attack chance-constrained convex programs utilizes random sampling on the uncertainty parameter to substitute the original problem with a representative continuous convex optimization with $N$ convex constraints which is a relaxation of the original. Calafiore and Campi provided an explicit estimate on the size $N$ of the sampling relaxatio…
▽ More
The scenario approach developed by Calafiore and Campi to attack chance-constrained convex programs utilizes random sampling on the uncertainty parameter to substitute the original problem with a representative continuous convex optimization with $N$ convex constraints which is a relaxation of the original. Calafiore and Campi provided an explicit estimate on the size $N$ of the sampling relaxation to yield high-likelihood feasible solutions of the chance-constrained problem. They measured the probability of the original constraints to be violated by the random optimal solution from the relaxation of size $N$.
This paper has two main contributions. First, we present a generalization of the Calafiore-Campi results to both integer and mixed-integer variables. In fact, we demonstrate that their sampling estimates work naturally for variables restricted to some subset $S$ of $\mathbb R^d$. The key elements are generalizations of Helly's theorem where the convex sets are required to intersect $S \subset \mathbb R^d$. The size of samples in both algorithms will be directly determined by the $S$-Helly numbers.
Motivated by the first half of the paper, for any subset $S \subset \mathbb R^d$, we introduce the notion of an $S$-optimization problem, where the variables take on values over $S$. It generalizes continuous, integer, and mixed-integer optimization. We illustrate with examples the expressive power of $S$-optimization to capture sophisticated combinatorial optimization problems with difficult modular constraints. We reinforce the evidence that $S$-optimization is "the right concept" by showing that the well-known randomized sampling algorithm of K. Clarkson for low-dimensional convex optimization problems can be extended to work with variables taking values over $S$.
△ Less
Submitted 22 August, 2015; v1 submitted 31 March, 2015;
originally announced April 2015.
-
Extremal results on intersection graphs of boxes in $R^d$
Authors:
A. Martínez-Pérez,
L. Montejano,
D. Oliveros
Abstract:
The main purpose of this paper is to study extremal results on the intersection graphs of boxes in $\R^d$. We calculate exactly the maximal number of intersecting pairs in a family $\F$ of $n$ boxes in $\R^d$ with the property that no $k+1$ boxes in $\F$ have a point in common. This allows us to improve the known bounds for the fractional Helly theorem for boxes. We also use the Fox-Gromov-Lafforg…
▽ More
The main purpose of this paper is to study extremal results on the intersection graphs of boxes in $\R^d$. We calculate exactly the maximal number of intersecting pairs in a family $\F$ of $n$ boxes in $\R^d$ with the property that no $k+1$ boxes in $\F$ have a point in common. This allows us to improve the known bounds for the fractional Helly theorem for boxes. We also use the Fox-Gromov-Lafforgue-Naor-Pach results to derive a fractional Erdős-Stone theorem for semi-algebraic graphs in order to obtain a second proof of the fractional Helly theorem for boxes.
△ Less
Submitted 18 January, 2015; v1 submitted 28 December, 2014;
originally announced December 2014.
-
A fractional Helly theorem for boxes
Authors:
I. Bárány,
F. Fodor,
A. Martínez-Pérez,
L. Montejano,
D. Oliveros,
A. Pór
Abstract:
Let $\mathcal{F}$ be a family of $n$ axis-parallel boxes in $\mathbb{R}^d$ and $α\in (1-1/d,1]$ a real number. There exists a real number $β(α)>0$ such that if there are $α{n\choose 2}$ intersecting pairs in $\mathcal{F}$, then $\mathcal{F}$ contains an intersecting subfamily of size $βn$. A simple example shows that the above statement is best possible in the sense that if $α\leq 1-1/d$, then the…
▽ More
Let $\mathcal{F}$ be a family of $n$ axis-parallel boxes in $\mathbb{R}^d$ and $α\in (1-1/d,1]$ a real number. There exists a real number $β(α)>0$ such that if there are $α{n\choose 2}$ intersecting pairs in $\mathcal{F}$, then $\mathcal{F}$ contains an intersecting subfamily of size $βn$. A simple example shows that the above statement is best possible in the sense that if $α\leq 1-1/d$, then there may be no point in $\mathbb{R}^d$ that belongs to more than $d$ elements of $\mathcal{F}$.
△ Less
Submitted 2 October, 2014;
originally announced October 2014.
-
Colorful Associahedra and Cyclohedra
Authors:
Gabriela Araujo-Pardo,
Isabel Hubard,
Deborah Oliveros,
Egon Schulte
Abstract:
Every n-edge colored n-regular graph G naturally gives rise to a simple abstract n-polytope, the colorful polytope of G, whose 1-skeleton is isomorphic to G. The paper describes colorful polytope versions of the associahedron and cyclohedron. Like their classical counterparts, the colorful associahedron and cyclohedron encode triangulations and flips, but now with the added feature that the diagon…
▽ More
Every n-edge colored n-regular graph G naturally gives rise to a simple abstract n-polytope, the colorful polytope of G, whose 1-skeleton is isomorphic to G. The paper describes colorful polytope versions of the associahedron and cyclohedron. Like their classical counterparts, the colorful associahedron and cyclohedron encode triangulations and flips, but now with the added feature that the diagonals of the triangulations are colored and adjacency of triangulations requires color preserving flips. The colorful associahedron and cyclohedron are derived as colorful polytopes from the edge colored graph whose vertices represent these triangulations and whose colors on edges represent the colors of flipped diagonals.
△ Less
Submitted 17 September, 2014;
originally announced September 2014.
-
The (p,q)-extremal problem and the fractional chromatic number of Kneser hypergraphs
Authors:
Gabriela Araujo-Pardo,
Juan Carlos Díaz-Patiño,
Luis Montejano,
Deborah Oliveros
Abstract:
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$ ed…
▽ More
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.
△ Less
Submitted 14 August, 2014;
originally announced August 2014.
-
A Rainbow Ramsey Analogue of Rado's Theorem
Authors:
Jesús A. De Loera,
Reuben N. La Haye,
Amanda Montejano,
Deborah Oliveros,
Edgardo Roldán-Pensado
Abstract:
We present a Rainbow Ramsey version of the well-known Ramsey-type theorem of Richard Rado. We use techniques from the Geometry of Numbers. We also disprove two conjectures proposed in the literature.
We present a Rainbow Ramsey version of the well-known Ramsey-type theorem of Richard Rado. We use techniques from the Geometry of Numbers. We also disprove two conjectures proposed in the literature.
△ Less
Submitted 4 November, 2014; v1 submitted 5 April, 2014;
originally announced April 2014.
-
The chromatic number of comparability 3-hypergraphs
Authors:
Natalia Garcia-Colin,
Amanda Montejano,
Deborah Oliveros
Abstract:
Beginning with the concepts of orientation for a 3-hypergraph and transitivity for an oriented 3-hypergraph, it is natural to study the class of comparability 3-hypergraphs (those that can be transitively oriented). In this work we show three different behaviors in respect to the relationship between the chromatic number and the clique number of a comparability 3-hypergraph, this is in contrast wi…
▽ More
Beginning with the concepts of orientation for a 3-hypergraph and transitivity for an oriented 3-hypergraph, it is natural to study the class of comparability 3-hypergraphs (those that can be transitively oriented). In this work we show three different behaviors in respect to the relationship between the chromatic number and the clique number of a comparability 3-hypergraph, this is in contrast with the fact that a comparability simple graph is a perfect graph.
△ Less
Submitted 24 February, 2014;
originally announced February 2014.
-
Critical properties on Roman domination graphs
Authors:
A. Martínez-Pérez,
D. Oliveros
Abstract:
A Roman domination function on a graph G is a function $r:V(G)\to \{0,1,2\}$ satisfying the condition that every vertex $u$ for which $r(u)=0$ is adjacent to at least one vertex $v$ for which $r(v)=2$. The weight of a Roman function is the value $r(V(G))=\sum_{u\in V(G)}r(u)$. The Roman domination number $γ_R(G)$ of $G$ is the minimum weight of a Roman domination function on $G$. "Roman Criticalit…
▽ More
A Roman domination function on a graph G is a function $r:V(G)\to \{0,1,2\}$ satisfying the condition that every vertex $u$ for which $r(u)=0$ is adjacent to at least one vertex $v$ for which $r(v)=2$. The weight of a Roman function is the value $r(V(G))=\sum_{u\in V(G)}r(u)$. The Roman domination number $γ_R(G)$ of $G$ is the minimum weight of a Roman domination function on $G$. "Roman Criticality" has been defined in general as the study of graphs where the Roman domination number decreases when removing an edge or a vertex of the graph. In this paper we give further results in this topic as well as the complete characterization of critical graphs that have Toman Domination number $γ_R(G)=4$.
△ Less
Submitted 18 November, 2013;
originally announced November 2013.
-
Transitive oriented 3-Hypergraphs of cyclic orders
Authors:
Natalia Garcia-Colin,
Amanda Montejano,
Luis Montejano,
Deborah Oliveros
Abstract:
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.
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.
△ Less
Submitted 25 October, 2012;
originally announced October 2012.
-
Symmetric Graphicahedra
Authors:
Maria Del Rio-Francos,
Isabel Hubard,
Deborah Oliveros,
Egon Schulte
Abstract:
Given a connected graph G with p vertices and q edges, the G-graphicahedron is a vertex-transitive simple abstract polytope of rank q whose edge-graph is isomorphic to a Cayley graph of the symmetric group S_p associated with G. The paper explores combinatorial symmetry properties of G-graphicahedra, focussing in particular on transitivity properties of their automorphism groups. We present a deta…
▽ More
Given a connected graph G with p vertices and q edges, the G-graphicahedron is a vertex-transitive simple abstract polytope of rank q whose edge-graph is isomorphic to a Cayley graph of the symmetric group S_p associated with G. The paper explores combinatorial symmetry properties of G-graphicahedra, focussing in particular on transitivity properties of their automorphism groups. We present a detailed analysis of the graphicahedra for the q-star graphs K_{1,q} and the q-cycles C_q. The C_q-graphicahedron is intimately related to the geometry of the infinite Euclidean Coxeter group \tilde{A}_{q-1} and can be viewed as an edge-transitive tessellation of the (q-1)-torus by (q-1)-dimensional permutahedra, obtained as a quotient, modulo the root lattice A_{q-1}, of the Voronoi tiling for the dual root lattice A_{q-1}^* in Euclidean (q-1)-space.
△ Less
Submitted 23 June, 2012;
originally announced June 2012.
-
Colorful Polytopes and Graphs
Authors:
Gabriela Araujo-Pardo,
Isabel Hubard,
Deborah Oliveros,
Egon Schulte
Abstract:
The paper investigates connections between abstract polytopes and properly edge colored graphs. Given any finite n-edge-colored n-regular graph G, we associate to G a simple abstract polytope P_G of rank n, called the colorful polytope of G, with 1-skeleton isomorphic to G. We investigate the interplay between the geometric, combinatorial, or algebraic properties of the polytope P_G and the combin…
▽ More
The paper investigates connections between abstract polytopes and properly edge colored graphs. Given any finite n-edge-colored n-regular graph G, we associate to G a simple abstract polytope P_G of rank n, called the colorful polytope of G, with 1-skeleton isomorphic to G. We investigate the interplay between the geometric, combinatorial, or algebraic properties of the polytope P_G and the combinatorial or algebraic structure of the underlying graph G, focussing in particular on aspects of symmetry. Several such families of colorful polytopes are studied including examples derived from a Cayley graph, in particular the graphicahedra, as well as the flag adjacency polytopes and related monodromy polytopes associated with a given abstract polytope. The duals of certain families of colorful polytopes have been important in the topological study of colored triangulations and crystallization of manifolds.
△ Less
Submitted 23 March, 2012;
originally announced March 2012.
-
The Graphicahedron
Authors:
Gabriela Araujo-Pardo,
Maria Del Rio-Francos,
Mariana Lopez-Dudet,
Deborah Oliveros,
Egon Schulte
Abstract:
The paper describes a construction of abstract polytopes from Cayley graphs of symmetric groups. Given any connected graph G with p vertices and q edges, we associate with G a Cayley graph of the symmetric group S_p and then construct a vertex-transitive simple polytope of rank q, called the graphicahedron, whose 1-skeleton (edge graph) is the Cayley graph. The graphicahedron of a graph G is a g…
▽ More
The paper describes a construction of abstract polytopes from Cayley graphs of symmetric groups. Given any connected graph G with p vertices and q edges, we associate with G a Cayley graph of the symmetric group S_p and then construct a vertex-transitive simple polytope of rank q, called the graphicahedron, whose 1-skeleton (edge graph) is the Cayley graph. The graphicahedron of a graph G is a generalization of the well-known permutahedron; the latter is obtained when the graph is a path. We also discuss symmetry properties of the graphicahedron and determine its structure when G is small.
△ Less
Submitted 20 October, 2009;
originally announced October 2009.