-
The 10 antipodal pairings of strongly involutive polyhedra
Authors:
Javier Bracho,
Eric Paulí Pérez,
Luis Montejano,
Jorge Luis Ramírez-Alfonsín
Abstract:
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…
▽ More
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.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Complex homothetic sections and projections through a Helly type Theorem for cosets of $§^1$
Authors:
Jorge Luis Arocha,
Javier Bracho,
Luis Montejano
Abstract:
We prove that two closed subsets of complex space $\C^n$ with corresponding complex homothetic sections (projections) are complex homothetic. The proof uses a new Helly-type theorem for cosets of closed subgroups of $§^1$.
We prove that two closed subsets of complex space $\C^n$ with corresponding complex homothetic sections (projections) are complex homothetic. The proof uses a new Helly-type theorem for cosets of closed subgroups of $§^1$.
△ Less
Submitted 9 October, 2023;
originally announced October 2023.
-
On $k$-neighborly reorientations of oriented matroids
Authors:
Rangel Hernández-Ortiz,
Kolja Knauer,
Luis Pedro Montejano
Abstract:
We study the existence and the number of $k$-neighborly reorientations of an oriented matroid. This leads to $k$-variants of McMullen's problem and Roudneff's conjecture, the case $k=1$ being the original statements on complete cells in arrangements. Adding to results of Larman and García-Colín, we provide new bounds on the $k$-McMullen's problem and prove the conjecture for several ranks and $k$…
▽ More
We study the existence and the number of $k$-neighborly reorientations of an oriented matroid. This leads to $k$-variants of McMullen's problem and Roudneff's conjecture, the case $k=1$ being the original statements on complete cells in arrangements. Adding to results of Larman and García-Colín, we provide new bounds on the $k$-McMullen's problem and prove the conjecture for several ranks and $k$ by computer. Further, we show that $k$-Roudneff's conjecture for fixed rank and $k$ reduces to a finite case analyse. As a consequence we prove the conjecture for odd rank $r$ and $k=\frac{r-1}{2}$ as well as for rank $6$ and $k=2$ with the aid of the computer.
△ Less
Submitted 5 February, 2024; v1 submitted 1 June, 2023;
originally announced June 2023.
-
Roudneff's Conjecture in Dimension $4$
Authors:
Rangel Hernández-Ortiz,
Kolja Knauer,
Luis Pedro Montejano,
Manfred Scheucher
Abstract:
J.-P. Roudneff conjectured in 1991 that every arrangement of $n \ge 2d+1\ge 5$ pseudohyperplanes in the real projective space $\mathbb{P}^d$ has at most $\sum_{i=0}^{d-2} \binom{n-1}{i}$ complete cells (i.e., cells bounded by each hyperplane). The conjecture is true for $d=2,3$ and for arrangements arising from Lawrence oriented matroids. The main result of this manuscript is to show the validity…
▽ More
J.-P. Roudneff conjectured in 1991 that every arrangement of $n \ge 2d+1\ge 5$ pseudohyperplanes in the real projective space $\mathbb{P}^d$ has at most $\sum_{i=0}^{d-2} \binom{n-1}{i}$ complete cells (i.e., cells bounded by each hyperplane). The conjecture is true for $d=2,3$ and for arrangements arising from Lawrence oriented matroids. The main result of this manuscript is to show the validity of Roudneff's conjecture for $d=4$. Moreover, based on computational data we conjecture that the maximum number of complete cells is only obtained by cyclic arrangements.
△ Less
Submitted 24 March, 2023;
originally announced March 2023.
-
An overview of complex ellipsoids
Authors:
Jorge Luis Arocha,
Javier Bracho,
Luis Montejano
Abstract:
An ellipsoid is the image of a ball under an affine transformation. If this affine transformation is over the complex numbers, we refer to it as a complex ellipsoid. Characterizations of real ellipsoids have received much attention over the years however, characterizations of complex ellipsoids have been studied very little. This paper is a review of what is known about complex ellipsoids from the…
▽ More
An ellipsoid is the image of a ball under an affine transformation. If this affine transformation is over the complex numbers, we refer to it as a complex ellipsoid. Characterizations of real ellipsoids have received much attention over the years however, characterizations of complex ellipsoids have been studied very little. This paper is a review of what is known about complex ellipsoids from the point of view of convex geometry. In particular, the proof of the Complex Banach Conjecture.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
Self-dual Maps III: projective links
Authors:
L. Montejano,
J. Ramirez Alfonsin,
I. Rasskin
Abstract:
In this paper, we present necessary and sufficient combinatorial conditions for a link to be projective, that is, a link in $RP^3$. This characterization is closely related to the notions of antipodally self-dual and antipodally symmetric maps. We also discuss the notion of symmetric cycle, an interesting issue arising in projective links leading us to an easy condition to prevent a projective lin…
▽ More
In this paper, we present necessary and sufficient combinatorial conditions for a link to be projective, that is, a link in $RP^3$. This characterization is closely related to the notions of antipodally self-dual and antipodally symmetric maps. We also discuss the notion of symmetric cycle, an interesting issue arising in projective links leading us to an easy condition to prevent a projective link to be alternating.
△ Less
Submitted 8 October, 2022;
originally announced October 2022.
-
Reflections of convex bodies and their sections
Authors:
Jorge L. Arocha,
Javier Bracho,
Luis Montejano
Abstract:
The purpose of this paper is to study the reflections of a convex body. In particular, we are interested in orthogonal reflections of its sections that can be extended to reflections of the whole body. For this reason, we need to study the case of a non-spherical ellipsoid, where a surprising structure arises (Section 2). These results allow us to give a new characterization of ellipsoids in terms…
▽ More
The purpose of this paper is to study the reflections of a convex body. In particular, we are interested in orthogonal reflections of its sections that can be extended to reflections of the whole body. For this reason, we need to study the case of a non-spherical ellipsoid, where a surprising structure arises (Section 2). These results allow us to give a new characterization of ellipsoids in terms of their reflections and, on the other hand, to prove a result deeply related to a conjecture due to K. Bezdek.
△ Less
Submitted 5 August, 2022;
originally announced August 2022.
-
Complex ellipsoids and complex symmetry
Authors:
Jorge Arocha,
Javier Bracho,
Luis Montejano
Abstract:
Several characterizations of complex ellipsoids among convex bodies in Cn, in terms of their sections and projections are proved. Characterizing complex symmetry in similar terms is an important tool.
Several characterizations of complex ellipsoids among convex bodies in Cn, in terms of their sections and projections are proved. Characterizing complex symmetry in similar terms is an important tool.
△ Less
Submitted 28 November, 2021;
originally announced November 2021.
-
A new and simple proof of the false centre theorem
Authors:
Luis Montejano,
Efren Morales-Amaya
Abstract:
We present in this work a new and simple proof of the false centre theorem.
We present in this work a new and simple proof of the false centre theorem.
△ Less
Submitted 27 October, 2021; v1 submitted 8 October, 2021;
originally announced October 2021.
-
A short proof of Kneser's theorem via transversals
Authors:
Luis Montejano
Abstract:
A very short proof of Kneser's theorem via transversal is given.
A very short proof of Kneser's theorem via transversal is given.
△ Less
Submitted 14 September, 2021;
originally announced September 2021.
-
Convex bodies all whose sections (projections) are equal
Authors:
Luis Montejano
Abstract:
The purpose of this paper is to answer the following question:
If all hyperplane sections through the origin of a convex body are "equal", is the convex body "equal" to the ball?
The meaning of the notion "equal" will change in the course of this paper.
Similarly, we are interested in the following problem:
If all orthogonal projections of a convex body onto hyperplanes are "equal", is the…
▽ More
The purpose of this paper is to answer the following question:
If all hyperplane sections through the origin of a convex body are "equal", is the convex body "equal" to the ball?
The meaning of the notion "equal" will change in the course of this paper.
Similarly, we are interested in the following problem:
If all orthogonal projections of a convex body onto hyperplanes are "equal", is the convex body "equal" to the ball?
Topology and convex geometry are deeply interrelated in the solution and understanding of these problems.
△ Less
Submitted 17 September, 2021; v1 submitted 19 August, 2021;
originally announced August 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.
-
Self-dual maps II: links and symmetry
Authors:
Luis Montejano,
Jorge L. Ramírez Alfonsín,
Ivan Rasskin
Abstract:
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 aris…
▽ More
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)$.
△ Less
Submitted 9 June, 2021;
originally announced June 2021.
-
Extremal inscribed and circumscribed complex ellipsoids
Authors:
Jorge L. Arocha,
Javier Bracho,
Luis Montejano
Abstract:
We prove that if a convex set in Cn contains two inscribed complex ellipsoid of maximal volume then one is a translate of the other. On the other hand, the circumscribed complex elipsoid of minimal volume is unique. As application we prove the complex analoge of Brunn's characterization of ellipsods.
We prove that if a convex set in Cn contains two inscribed complex ellipsoid of maximal volume then one is a translate of the other. On the other hand, the circumscribed complex elipsoid of minimal volume is unique. As application we prove the complex analoge of Brunn's characterization of ellipsods.
△ Less
Submitted 29 December, 2020;
originally announced December 2020.
-
Self-dual Maps I : antipodality
Authors:
Luis Montejano,
Jorge L. Ramírez Alfonsín,
Ivan Rasskin
Abstract:
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}…
▽ More
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}.
△ Less
Submitted 28 August, 2020;
originally announced August 2020.
-
Italian domination in rooted product graphs
Authors:
R. Hernandez-Ortiz,
L. P. Montejano,
J. A. Rodriguez-Velazquez
Abstract:
In this article, we obtain closed formulae for the Italian domination number of rooted product graphs. As a particular case of the study, we derive the corresponding formulas for corona graphs, and we provide an alternative proof that the problem of computing the Italian domination number of a graph is NP-hard.
In this article, we obtain closed formulae for the Italian domination number of rooted product graphs. As a particular case of the study, we derive the corresponding formulas for corona graphs, and we provide an alternative proof that the problem of computing the Italian domination number of a graph is NP-hard.
△ Less
Submitted 3 June, 2020;
originally announced June 2020.
-
On the complex Banach conjecture
Authors:
Javier Bracho,
Luis Montejano
Abstract:
The complex conjecture of Stefan Banach states that if V is a Banach space over the complex numbers where for some n, 1<n<dim(V), all of its n-dimensional subspaces are isometric, then V is a Hilbert space. Mikhail Gromov proved it for n even in 1967. Here, we prove it for n congruent to 1 mod 4.
The complex conjecture of Stefan Banach states that if V is a Banach space over the complex numbers where for some n, 1<n<dim(V), all of its n-dimensional subspaces are isometric, then V is a Hilbert space. Mikhail Gromov proved it for n even in 1967. Here, we prove it for n congruent to 1 mod 4.
△ Less
Submitted 30 May, 2020;
originally announced June 2020.
-
Strongly involutive self-dual polyhedra
Authors:
Javier Bracho,
Luis Montejano,
Eric Pauli,
Jorge Luis Ramirez Alfonsin
Abstract:
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 map**. These self-dual polyhedra are related with…
▽ More
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 map**. These self-dual polyhedra are related with several problems in convex and discrete geometry including the Vázsonyi problem.
△ Less
Submitted 8 May, 2020;
originally announced May 2020.
-
Convex Bodies with affinely equivalent projections and affine bodies of revolution
Authors:
Luis Montejano
Abstract:
Abstract In this paper, we study affine bodies of revolution. This will allow us to prove that a convex body all whose orthogonal $n$-projections are affinely equivalent is an ellipsoid, provided $n\equiv 0,1, 2$ mod $4$, $n>1$ with the possible exemption of $n=133$. Our proof uses convex geometry and topology of compact Lie groups.
AMS classification subject: 22E10, 52A05
Abstract In this paper, we study affine bodies of revolution. This will allow us to prove that a convex body all whose orthogonal $n$-projections are affinely equivalent is an ellipsoid, provided $n\equiv 0,1, 2$ mod $4$, $n>1$ with the possible exemption of $n=133$. Our proof uses convex geometry and topology of compact Lie groups.
AMS classification subject: 22E10, 52A05
△ Less
Submitted 5 May, 2020;
originally announced May 2020.
-
The graphs behind Reuleaux polyhedra
Authors:
Luis Montejano,
Eric Pauli,
Miguel Raggi,
Edgardo Roldán-Pensado
Abstract:
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 map** is a map $η: V(G) \to \mathbb R^3$ such that the diameter of $η(G)$ is $1$ and for…
▽ More
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 map** 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 map** 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 map** 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.
△ Less
Submitted 29 April, 2019;
originally announced April 2019.
-
On the number of vertices of projective polytopes
Authors:
Natalia García-Colín,
Luis Pedro Montejano,
Jorge Luis Ramírez Alfonsín
Abstract:
Let $X$ be a configuration of $n$ points in $\mathbb{R}^d$.
What is the maximum number of vertices that $conv(T(X))$ can have among all the possible permissible projective transformations $T$?
In this paper, we investigate this and connected questions. After presenting several upper bounds, we study a closely related problem (via Gale transforms) concerning the number of minimal Radon partitio…
▽ More
Let $X$ be a configuration of $n$ points in $\mathbb{R}^d$.
What is the maximum number of vertices that $conv(T(X))$ can have among all the possible permissible projective transformations $T$?
In this paper, we investigate this and connected questions. After presenting several upper bounds, we study a closely related problem (via Gale transforms) concerning the number of minimal Radon partitions of a set of points. We then present some bounds for this number that enable us to partially answer a question due to Pach and Szegedy. We also discuss another related problem concerning the size of topes in arrangements of hyperplanes.
△ Less
Submitted 6 July, 2021; v1 submitted 5 October, 2018;
originally announced October 2018.
-
Rainbow simplices in triangulations of manifolds
Authors:
Luis Montejano
Abstract:
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 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
△ Less
Submitted 29 September, 2018;
originally announced October 2018.
-
Different versions of the nerve theorem and rainbow simplices
Authors:
Frédéric Meunier,
Luis Montejano
Abstract:
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 inters…
▽ More
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.
△ Less
Submitted 29 July, 2019; v1 submitted 3 July, 2018;
originally announced July 2018.
-
Chomp on generalized Kneser graphs and others
Authors:
Ignacio García-Marco,
Kolja Knauer,
Luis Pedro Montejano
Abstract:
In chomp on graphs, two players alternatingly pick an edge or a vertex from a graph. The player that cannot move any more loses. The questions one wants to answer for a given graph are: Which player has a winning strategy? Can a explicit strategy be devised? We answer these questions (and determine the Nim-value) for the class of generalized Kneser graphs and for several families of Johnson graphs…
▽ More
In chomp on graphs, two players alternatingly pick an edge or a vertex from a graph. The player that cannot move any more loses. The questions one wants to answer for a given graph are: Which player has a winning strategy? Can a explicit strategy be devised? We answer these questions (and determine the Nim-value) for the class of generalized Kneser graphs and for several families of Johnson graphs. We also generalize some of these results to the clique complexes of these graphs. Furthermore, we determine which player has a winning strategy for some classes of threshold graphs.
△ Less
Submitted 18 April, 2018; v1 submitted 8 March, 2018;
originally announced March 2018.
-
$b$-vectors of chordal graphs
Authors:
Luis Pedro Montejano,
Luis Núñez Betancourt
Abstract:
The $b$-vector $(b_1,b_2\ldots,b_d)$ of a graph $G$ is defined in terms of its clique vector $(c_1,c_2\ldots,c_d)$ by the equation $\sum^d_{i=1}b_i(x+1)^{i-1}=\sum^d_{i=1} c_i x^{i-1},$ where $d$ is the largest cardinality of a clique in $G$. We study the relation of the $b$-vector of a chordal graph $G$ with some structural properties of $G$. In particular, we show that the $b$-vector encodes dif…
▽ More
The $b$-vector $(b_1,b_2\ldots,b_d)$ of a graph $G$ is defined in terms of its clique vector $(c_1,c_2\ldots,c_d)$ by the equation $\sum^d_{i=1}b_i(x+1)^{i-1}=\sum^d_{i=1} c_i x^{i-1},$ where $d$ is the largest cardinality of a clique in $G$. We study the relation of the $b$-vector of a chordal graph $G$ with some structural properties of $G$. In particular, we show that the $b$-vector encodes different aspects of the connectivity and clique dominance of $G$. Furthermore, we relate the $b$-vector with the Betti numbers of the Stanley-Reisner ring associated to clique simplicial complex of $G$.
△ Less
Submitted 1 September, 2017;
originally announced September 2017.
-
Shadows of a Closed Curve
Authors:
Michael Gene Dobbins,
Heuna Kim,
Luis Montejano,
Edgardo Roldán-Pensado
Abstract:
A shadow of a geometric object $A$ in a given direction $v$ is the orthogonal projection of $A$ on the hyperplane orthogonal to $v$. We show that any topological embedding of a circle into Euclidean $d$-space can have at most two shadows that are simple paths in linearly independent directions. The proof is topological and uses an analog of basic properties of degree of maps on a circle to relatio…
▽ More
A shadow of a geometric object $A$ in a given direction $v$ is the orthogonal projection of $A$ on the hyperplane orthogonal to $v$. We show that any topological embedding of a circle into Euclidean $d$-space can have at most two shadows that are simple paths in linearly independent directions. The proof is topological and uses an analog of basic properties of degree of maps on a circle to relations on a circle. This extends a previous result which dealt with the case $d=3$.
△ Less
Submitted 7 June, 2017;
originally announced June 2017.
-
Rotors in triangles and tethrahedra
Authors:
Luis Montejano,
Javier Bracho
Abstract:
A polytope $P$ is circumscribed about a convex body $Φ\subset \mathbb{R}^n$ if $Φ\subset P$ and each facet of $P$ is contained in a support hyperplane of $Φ$. We say that a convex body $Φ\subset \mathbb{R}^n$ is a rotor of a polytope $P$ if for each rotation $ρ$ of $\mathbb{R}^n$ there exist a translation $τ$ so that $P$ is circumscribed about $τρΦ$.
In this paper we shall prove that if $P$ is a…
▽ More
A polytope $P$ is circumscribed about a convex body $Φ\subset \mathbb{R}^n$ if $Φ\subset P$ and each facet of $P$ is contained in a support hyperplane of $Φ$. We say that a convex body $Φ\subset \mathbb{R}^n$ is a rotor of a polytope $P$ if for each rotation $ρ$ of $\mathbb{R}^n$ there exist a translation $τ$ so that $P$ is circumscribed about $τρΦ$.
In this paper we shall prove that if $P$ is a triangle, then there is a baricentric formula that describes the curvature of bd$Φ$ at the contact points, $\{A_1, A_2,A_3\}$. We prove also that if $Φ\subset \mathbb{R}^3$ is a convex body which is a rotor in a tetrahedron $T$ and if $Φ$ intersects the faces of $T$ at the points $\{x_1, \dots, x_4\}$, then the normal lines of $Φ$ at the contact points with $T$, $\{x_1, \dots, x_4\}$ generically belong to one ruling of a quadric surface.
△ Less
Submitted 19 October, 2016;
originally announced October 2016.
-
A variation on the homological nerve theorem
Authors:
Luis Montejano
Abstract:
An equivalent but useful version on the Homological Nerve Theorem is proved.
An equivalent but useful version on the Homological Nerve Theorem is proved.
△ Less
Submitted 12 September, 2016;
originally announced September 2016.
-
Meissner Polyhedra
Authors:
Luis Montejano,
Edgardo Roldán-Pensado
Abstract:
In this paper we develop a concrete way to construct bodies of constant width in dimension three. They are constructed from special embeddings of self-dual graphs.
In this paper we develop a concrete way to construct bodies of constant width in dimension three. They are constructed from special embeddings of self-dual graphs.
△ Less
Submitted 29 November, 2016; v1 submitted 22 August, 2016;
originally announced August 2016.
-
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.
-
Codimension two and three Kneser Transversals
Authors:
Jonathan Chappelon,
Leonardo Martínez-Sandoval,
Luis Montejano,
Luis Pedro Montejano,
Jorge Luis Ramírez Alfonsín
Abstract:
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…
▽ More
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$.
△ Less
Submitted 15 November, 2017; v1 submitted 4 January, 2016;
originally announced January 2016.
-
Complete Kneser Transversals
Authors:
Jonathan Chappelon,
Leonardo Martínez-Sandoval,
Luis Montejano,
Luis Pedro Montejano,
Jorge Luis Ramírez Alfonsín
Abstract:
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 chr…
▽ More
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.
△ Less
Submitted 12 August, 2016; v1 submitted 4 November, 2015;
originally announced November 2015.
-
On transversal and $2$-packing numbers in straight line systems on $\mathbb{R}^{2}$
Authors:
Gabriela Araujo-Pardo,
Amanda Montejano,
Luis Montejano,
Adrián Vázquez-Ávila
Abstract:
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…
▽ More
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$.
△ Less
Submitted 11 September, 2015;
originally announced September 2015.
-
On the complexity of computing the $k$-restricted edge-connectivity of a graph
Authors:
Luis Pedro Montejano,
Ignasi Sau
Abstract:
The \emph{$k$-restricted edge-connectivity} of a graph $G$, denoted by $λ_k(G)$, is defined as the minimum size of an edge set whose removal leaves exactly two connected components each containing at least $k$ vertices. This graph invariant, which can be seen as a generalization of a minimum edge-cut, has been extensively studied from a combinatorial point of view. However, very little is known ab…
▽ More
The \emph{$k$-restricted edge-connectivity} of a graph $G$, denoted by $λ_k(G)$, is defined as the minimum size of an edge set whose removal leaves exactly two connected components each containing at least $k$ vertices. This graph invariant, which can be seen as a generalization of a minimum edge-cut, has been extensively studied from a combinatorial point of view. However, very little is known about the complexity of computing $λ_k(G)$. Very recently, in the parameterized complexity community the notion of \emph{good edge separation} of a graph has been defined, which happens to be essentially the same as the $k$-restricted edge-connectivity. Motivated by the relevance of this invariant from both combinatorial and algorithmic points of view, in this article we initiate a systematic study of its computational complexity, with special emphasis on its parameterized complexity for several choices of the parameters. We provide a number of NP-hardness and W[1]-hardness results, as well as FPT-algorithms.
△ Less
Submitted 17 September, 2016; v1 submitted 26 February, 2015;
originally announced February 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 geometric Hall-type theorem
Authors:
Andreas Holmsen,
Leonardo Martinez-Sandoval,
Luis Montejano
Abstract:
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…
▽ More
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.
△ Less
Submitted 14 January, 2015; v1 submitted 20 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.
-
Convex bodies with many elliptic sections
Authors:
Isaac Arelio,
Luis Montejano
Abstract:
{We show in this paper that two normal elliptic sections through every point of the boundary of a smooth convex body essentially characterize an ellipsoid and furthermore, that four different pairwise non-tangent elliptic sections through every point of the $C^2$-differentiable boundary of a convex body also essentially characterize an ellipsoid.
{We show in this paper that two normal elliptic sections through every point of the boundary of a smooth convex body essentially characterize an ellipsoid and furthermore, that four different pairwise non-tangent elliptic sections through every point of the $C^2$-differentiable boundary of a convex body also essentially characterize an ellipsoid.
△ Less
Submitted 24 August, 2014;
originally announced August 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.
-
How many circuits determine an oriented matroid?
Authors:
Kolja Knauer,
Luis Pedro Montejano,
Jorge Luis Ramírez Alfonsín
Abstract:
Las Vergnas and Hamidoune studied the number of circuits needed to determine an oriented matroid. In this paper we investigate this problem and some new variants, as well as their interpretation in particular classes of matroids. We present general upper and lower bounds in the setting of general connected orientable matroids, leading to the study of subgraphs of the base graph and the intersectio…
▽ More
Las Vergnas and Hamidoune studied the number of circuits needed to determine an oriented matroid. In this paper we investigate this problem and some new variants, as well as their interpretation in particular classes of matroids. We present general upper and lower bounds in the setting of general connected orientable matroids, leading to the study of subgraphs of the base graph and the intersection graph of circuits.
We then consider the problem for uniform matroids which is closely related to the notion of (connected) covering numbers in Design Theory. Finally, we also devote special attention to regular matroids as well as some graphic and cographic matroids leading in particular to the topics of (connected) bond and cycle covers in Graph Theory.
△ Less
Submitted 15 July, 2016; v1 submitted 28 July, 2014;
originally announced July 2014.
-
A New Topological Helly Theorem and some Transversals Results
Authors:
Luis Montejano
Abstract:
We prove that for a topological space X with the property that $H_p(U)=0$ for $p\geq d$ and every open subset $U$ of $X$, a finite family of open sets in $X$ has nonempty intersection if for any subfamily of size $j$, $1\leq j \leq d+1$, the $(d-j)$-dimensional homology group of its intersection is zero. We use this theorem to prove new results concerning transversal affine planes to families of c…
▽ More
We prove that for a topological space X with the property that $H_p(U)=0$ for $p\geq d$ and every open subset $U$ of $X$, a finite family of open sets in $X$ has nonempty intersection if for any subfamily of size $j$, $1\leq j \leq d+1$, the $(d-j)$-dimensional homology group of its intersection is zero. We use this theorem to prove new results concerning transversal affine planes to families of convex sets.
△ Less
Submitted 8 July, 2014;
originally announced July 2014.
-
About an Erdős-Grünbaum conjecture concerning piercing of non bounded convex sets
Authors:
Amanda Montejano,
Luis Montejano,
Edgardo Roldán-Pensado,
Pablo Soberón
Abstract:
In this paper, we study the number of compact sets needed in an infinite family of convex sets with a local intersection structure to imply a bound on its piercing number, answering a conjecture of Erdős and Grünbaum. Namely, if in an infinite family of convex sets in $\mathbb{R}^d$ we know that out of every $p$ there are $q$ which are intersecting, we determine if having some compact sets implies…
▽ More
In this paper, we study the number of compact sets needed in an infinite family of convex sets with a local intersection structure to imply a bound on its piercing number, answering a conjecture of Erdős and Grünbaum. Namely, if in an infinite family of convex sets in $\mathbb{R}^d$ we know that out of every $p$ there are $q$ which are intersecting, we determine if having some compact sets implies a bound on the number of points needed to intersect the whole family. We also study variations of this problem.
△ Less
Submitted 24 December, 2014; v1 submitted 2 July, 2014;
originally announced July 2014.
-
Möbius function of semigroup posets through Hilbert series
Authors:
Jonathan Chappelon,
Ignacio García-Marco,
Luis Pedro Montejano,
Jorge Luis Ramírez Alfonsín
Abstract:
In this paper, we investigate the M{ö}bius function $μ\_{\mathcal{S}}$ associated to a (locally finite) poset arising from a semigroup $\mathcal{S}$ of $\mathbb{Z}^m$. We introduce and develop a new approach to study $μ\_{\mathcal{S}}$ by using the Hilbert series of $\mathcal{S}$. The latter enables us to provide formulas for $μ\_{\mathcal{S}}$ when $\mathcal{S}$ belongs to certain families of sem…
▽ More
In this paper, we investigate the M{ö}bius function $μ\_{\mathcal{S}}$ associated to a (locally finite) poset arising from a semigroup $\mathcal{S}$ of $\mathbb{Z}^m$. We introduce and develop a new approach to study $μ\_{\mathcal{S}}$ by using the Hilbert series of $\mathcal{S}$. The latter enables us to provide formulas for $μ\_{\mathcal{S}}$ when $\mathcal{S}$ belongs to certain families of semigroups. Finally, a characterization for a locally finite poset to be isomorphic to a semigroup poset is given.
△ Less
Submitted 31 March, 2016; v1 submitted 23 April, 2014;
originally announced April 2014.
-
Straight Line motion with rigid sets
Authors:
Robert Connelly,
Luis Montejano
Abstract:
If one is given a rigid triangle in the plane or space, we show that the only motion possible, where each vertex of the triangle moves along a straight line, is given by a hypocycloid line drawer in the plane, and a natural extension in three-space. Each point lies on a circle which rolls around, without slip**, inside a larger circle of twice its diameter.
If one is given a rigid triangle in the plane or space, we show that the only motion possible, where each vertex of the triangle moves along a straight line, is given by a hypocycloid line drawer in the plane, and a natural extension in three-space. Each point lies on a circle which rolls around, without slip**, inside a larger circle of twice its diameter.
△ Less
Submitted 19 January, 2014;
originally announced January 2014.
-
On Ramsey numbers of complete graphs with dropped stars
Authors:
Jonathan Chappelon,
Luis Pedro Montejano,
Jorge Ramírez Alfonsín
Abstract:
Let $r(G,H)$ be the smallest integer $N$ such that for any $2$-coloring (say, red and blue) of the edges of $K\_n$, $n\geqslant N$, there is either a red copy of $G$ or a blue copy of $H$. Let $K\_n-K\_{1,s}$ be the complete graph on $n$ vertices from which the edges of $K\_{1,s}$ are dropped. In this note we present exact values for $r(K\_m-K\_{1,1},K\_n-K\_{1,s})$ and new upper bounds for…
▽ More
Let $r(G,H)$ be the smallest integer $N$ such that for any $2$-coloring (say, red and blue) of the edges of $K\_n$, $n\geqslant N$, there is either a red copy of $G$ or a blue copy of $H$. Let $K\_n-K\_{1,s}$ be the complete graph on $n$ vertices from which the edges of $K\_{1,s}$ are dropped. In this note we present exact values for $r(K\_m-K\_{1,1},K\_n-K\_{1,s})$ and new upper bounds for $r(K\_m,K\_n-K\_{1,s})$ in numerous cases. We also present some results for the Ramsey number of Wheels versus $K\_n-K\_{1,s}$.
△ Less
Submitted 31 March, 2016; v1 submitted 14 October, 2013;
originally announced October 2013.
-
Ramsey for complete graphs with dropped cliques
Authors:
Jonathan Chappelon,
Luis Pedro Montejano,
Jorge Luis Ramírez Alfonsín
Abstract:
Let $K\_{[k,t]}$ be the complete graph on $k$ vertices from which a set of edges, induced by a clique of order $t$, has been dropped. In this note we give two explicit upper bounds for $R(K\_{[k\_1,t\_1]},\dots, K\_{[k\_r,t\_r]})$ (the smallest integer $n$ such that for any $r$-edge coloring of $K\_n$ there always occurs a monochromatic $K\_{[k\_i,t\_i]}$ for some $i$). Our first upper bound c…
▽ More
Let $K\_{[k,t]}$ be the complete graph on $k$ vertices from which a set of edges, induced by a clique of order $t$, has been dropped. In this note we give two explicit upper bounds for $R(K\_{[k\_1,t\_1]},\dots, K\_{[k\_r,t\_r]})$ (the smallest integer $n$ such that for any $r$-edge coloring of $K\_n$ there always occurs a monochromatic $K\_{[k\_i,t\_i]}$ for some $i$). Our first upper bound contains a classical one in the case when $k\_1=\cdots =k\_r$ and $t\_i=1$ for all $i$. The second one is obtained by introducing a new edge coloring called {\em $χ\_r$-colorings}. We finally discuss a conjecture claiming, in particular, that our second upper bound improves the classical one in infinitely many cases.
△ Less
Submitted 12 December, 2014; v1 submitted 24 July, 2013;
originally announced July 2013.
-
Connected covering numbers
Authors:
Jonathan Chappelon,
Kolja Knauer,
Luis Pedro Montejano,
Jorge Luis Ramírez Alfonsín
Abstract:
A connected covering is a design system in which the corresponding {\em block graph} is connected. The minimum size of such coverings are called {\em connected coverings numbers}. In this paper, we present various formulas and bounds for several parameter settings for these numbers. We also investigate results in connection with {\em Turán systems}. Finally, a new general upper bound, improving a…
▽ More
A connected covering is a design system in which the corresponding {\em block graph} is connected. The minimum size of such coverings are called {\em connected coverings numbers}. In this paper, we present various formulas and bounds for several parameter settings for these numbers. We also investigate results in connection with {\em Turán systems}. Finally, a new general upper bound, improving an earlier result, is given. The latter is used to improve upper bounds on a question concerning oriented matroid due to Las Vergnas.
△ Less
Submitted 13 January, 2015; v1 submitted 24 June, 2013;
originally announced June 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.
-
Order Types of convex bodies
Authors:
Alfredo Hubard,
Luis Montejano,
Emiliano Mora,
Andrew Suk
Abstract:
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.
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.
△ Less
Submitted 22 October, 2010;
originally announced October 2010.
-
Topological transversals to a family of convex sets
Authors:
L. Montejano,
R. N. Karasev
Abstract:
Let $\mathcal F$ be a family of compact convex sets in $\mathbb R^d$. We say that $\mathcal F $ has a \emph{topological $ρ$-transversal of index $(m,k)$} ($ρ<m$, $0<k\leq d-m$) if there are, homologically, as many transversal $m$-planes to $\mathcal F$ as $m$-planes containing a fixed $ρ$-plane in $\mathbb R^{m+k}$.
Clearly, if $\mathcal F$ has a $ρ$-transversal plane, then $\mathcal F$ has a to…
▽ More
Let $\mathcal F$ be a family of compact convex sets in $\mathbb R^d$. We say that $\mathcal F $ has a \emph{topological $ρ$-transversal of index $(m,k)$} ($ρ<m$, $0<k\leq d-m$) if there are, homologically, as many transversal $m$-planes to $\mathcal F$ as $m$-planes containing a fixed $ρ$-plane in $\mathbb R^{m+k}$.
Clearly, if $\mathcal F$ has a $ρ$-transversal plane, then $\mathcal F$ has a topological $ρ$-transversal of index $(m,k),$ for $ρ<m$ and $k\leq d-m$. The converse is not true in general.
We prove that for a family $\mathcal F$ of $ρ+k+1$ compact convex sets in $\mathbb R^d$ a topological $ρ$-transversal of index $(m,k)$ implies an ordinary $ρ$-transversal. We use this result, together with the multiplication formulas for Schubert cocycles, the Lusternik-Schnirelmann category of the Grassmannian, and different versions of the colorful Helly theorem by Bárány and Lovász, to obtain some geometric consequences.
△ Less
Submitted 2 September, 2010; v1 submitted 1 June, 2010;
originally announced June 2010.