Showing 1–9 of 9 results for author: Martínez-Sandoval, L

On prescribing total preorders and linear orders to pairwise distances of points in Euclidean space

Authors: Víctor Hugo Almendra-Hernández, Leonardo Martínez-Sandoval

Abstract: We show that any total preorder on a set with $\binom{n}{2}$ elements coincides with the order on pairwise distances of some point collection of size $n$ in $\mathbb{R}^{n-1}$. For linear orders, a collection of $n$ points in $\mathbb{R}^{n-2}$ suffices. These bounds turn out to be optimal. We also find an optimal bound in a bipartite version for total preorders and a near-optimal bound for a bipa… ▽ More We show that any total preorder on a set with $\binom{n}{2}$ elements coincides with the order on pairwise distances of some point collection of size $n$ in $\mathbb{R}^{n-1}$. For linear orders, a collection of $n$ points in $\mathbb{R}^{n-2}$ suffices. These bounds turn out to be optimal. We also find an optimal bound in a bipartite version for total preorders and a near-optimal bound for a bipartite version for linear orders. Our arguments include tools from convexity and positive semidefinite quadratic forms. △ Less

Submitted 16 November, 2021; originally announced November 2021.

MSC Class: 52C10 (Primary); 06A05 (Secondary)

Rainbow polygons for colored point sets in the plane

Authors: David Flores-Peñaloza, Mikio Kano, Leonardo Martínez-Sandoval, David Orden, Javier Tejel, Csaba D. Tóth, Jorge Urrutia, Birgit Vogtenhuber

Abstract: Given a colored point set in the plane, a perfect rainbow polygon is a simple polygon that contains exactly one point of each color, either in its interior or on its boundary. Let $\operatorname{rb-index}(S)$ denote the smallest size of a perfect rainbow polygon for a colored point set $S$, and let $\operatorname{rb-index}(k)$ be the maximum of $\operatorname{rb-index}(S)$ over all $k$-colored poi… ▽ More Given a colored point set in the plane, a perfect rainbow polygon is a simple polygon that contains exactly one point of each color, either in its interior or on its boundary. Let $\operatorname{rb-index}(S)$ denote the smallest size of a perfect rainbow polygon for a colored point set $S$, and let $\operatorname{rb-index}(k)$ be the maximum of $\operatorname{rb-index}(S)$ over all $k$-colored point sets in general position; that is, every $k$-colored point set $S$ has a perfect rainbow polygon with at most $\operatorname{rb-index}(k)$ vertices. In this paper, we determine the values of $\operatorname{rb-index}(k)$ up to $k=7$, which is the first case where $\operatorname{rb-index}(k)\neq k$, and we prove that for $k\ge 5$, \[ \frac{40\lfloor (k-1)/2 \rfloor -8}{19} %Birgit: \leq\operatorname{rb-index}(k)\leq 10 \bigg\lfloor\frac{k}{7}\bigg\rfloor + 11. \] Furthermore, for a $k$-colored set of $n$ points in the plane in general position, a perfect rainbow polygon with at most $10 \lfloor\frac{k}{7}\rfloor + 11$ vertices can be computed in $O(n\log n)$ time. △ Less

Submitted 30 March, 2021; v1 submitted 20 July, 2020; originally announced July 2020.

Comments: 23 pages, 11 figures, to appear at Discrete Mathematics

Geometric Systems of Unbiased Representatives

Authors: Aritra Banik, Bhaswar B. Bhattacharya, Sujoy Bhore, Leonardo Martínez-Sandoval

Abstract: Let $P$ be a set of points in $\mathbb{R}^d$, $B$ a bicoloring of $P$ and $\Oo$ a family of geometric objects (that is, intervals, boxes, balls, etc). An object from $\Oo$ is called balanced with respect to $B$ if it contains the same number of points from each color of $B$. For a collection $\B$ of bicolorings of $P$, a geometric system of unbiased representatives (G-SUR) is a subset… ▽ More Let $P$ be a set of points in $\mathbb{R}^d$, $B$ a bicoloring of $P$ and $\Oo$ a family of geometric objects (that is, intervals, boxes, balls, etc). An object from $\Oo$ is called balanced with respect to $B$ if it contains the same number of points from each color of $B$. For a collection $\B$ of bicolorings of $P$, a geometric system of unbiased representatives (G-SUR) is a subset $\Oo'\subseteq\Oo$ such that for any bicoloring $B$ of $\B$ there is an object in $\Oo'$ that is balanced with respect to $B$. We study the problem of finding G-SURs. We obtain general bounds on the size of G-SURs consisting of intervals, size-restricted intervals, axis-parallel boxes and Euclidean balls. We show that the G-SUR problem is NP-hard even in the simple case of points on a line and interval ranges. Furthermore, we study a related problem on determining the size of the largest and smallest balanced intervals for points on the real line with a random distribution and coloring. Our results are a natural extension to a geometric context of the work initiated by Balachandran et al. on arbitrary systems of unbiased representatives. △ Less

Submitted 13 February, 2020; originally announced February 2020.

Comments: Appears in the Proceedings of the 31st Canadian Conference on Computational Geometry (CCCG 2019)

The convex dimension of hypergraphs and the hypersimplicial Van Kampen-Flores Theorem

Authors: Leonardo Martínez-Sandoval, Arnau Padrol

Abstract: The convex dimension of a $k$-uniform hypergraph is the smallest dimension $d$ for which there is an injective map** of its vertices into $\mathbb{R}^d$ such that the set of $k$-barycenters of all hyperedges is in convex position. We completely determine the convex dimension of complete $k$-uniform hypergraphs, which settles an open question by Halman, Onn and Rothblum, who solved the problem… ▽ More The convex dimension of a $k$-uniform hypergraph is the smallest dimension $d$ for which there is an injective map** of its vertices into $\mathbb{R}^d$ such that the set of $k$-barycenters of all hyperedges is in convex position. We completely determine the convex dimension of complete $k$-uniform hypergraphs, which settles an open question by Halman, Onn and Rothblum, who solved the problem for complete graphs. We also provide lower and upper bounds for the extremal problem of estimating the maximal number of hyperedges of $k$-uniform hypergraphs on $n$ vertices with convex dimension $d$. To prove these results, we restate them in terms of affine projections that preserve the vertices of the hypersimplex. More generally, we provide a full characterization of the projections that preserve its $i$-dimensional skeleton. In particular, we obtain a hypersimplicial generalization of the linear van Kampen-Flores theorem: for each $n$, $k$ and $i$ we determine onto which dimensions can the $(n,k)$-hypersimplex be linearly projected while preserving its $i$-skeleton. Our results have direct interpretations in terms of $k$-sets and $(i,j)$-partitions, and are closely related to the problem of finding large convexly independent subsets in Minkowski sums of $k$ point sets. △ Less

Submitted 20 November, 2019; v1 submitted 3 September, 2019; originally announced September 2019.

Comments: 24 pages, 2 figures. Added characterization of projections (Thm. 3.6). Previous main result now consequence of Thm. 3.6 (see Sec. 3). Added section on strong convex embeddings (Sec. 4). Updated open problems (Sec. 5). Added references. Other minor changes

Further Consequences of the Colorful Helly Hypothesis

Authors: Leonardo Martínez-Sandoval, Edgardo Roldán-Pensado, Natan Rubin

Abstract: Let $\mathcal{F}$ be a family of convex sets in ${\mathbb R}^d$, which are colored with $d+1$ colors. We say that $\mathcal{F}$ satisfies the Colorful Helly Property if every rainbow selection of $d+1$ sets, one set from each color class, has a non-empty common intersection. The Colorful Helly Theorem of Lovász states that for any such colorful family $\mathcal{F}$ there is a color class… ▽ More Let $\mathcal{F}$ be a family of convex sets in ${\mathbb R}^d$, which are colored with $d+1$ colors. We say that $\mathcal{F}$ satisfies the Colorful Helly Property if every rainbow selection of $d+1$ sets, one set from each color class, has a non-empty common intersection. The Colorful Helly Theorem of Lovász states that for any such colorful family $\mathcal{F}$ there is a color class $\mathcal{F}_i\subset \mathcal{F}$, for $1\leq i\leq d+1$, whose sets have a non-empty intersection. We establish further consequences of the Colorful Helly hypothesis. In particular, we show that for each dimension $d\geq 2$ there exist numbers $f(d)$ and $g(d)$ with the following property: either one can find an additional color class whose sets can be pierced by $f(d)$ points, or all the sets in $\mathcal{F}$ can be crossed by $g(d)$ lines. △ Less

Submitted 16 March, 2018; originally announced March 2018.

Comments: The preliminary version to appear in proceedings of SoCG 2018

MSC Class: 52C17; 52C35; 52C45; 05D15 ACM Class: G.2.1; F.2.2

Bounding a global red-blue proportion using local conditions

Authors: Márton Naszódi, Leonardo Martínez-Sandoval, Shakhar Smorodinsky

Abstract: We study the following local-to-global phenomenon: Let $B$ and $R$ be two finite sets of (blue and red) points in the Euclidean plane $\mathbb{R}^2$. Suppose that in each "neighborhood" of a red point, the number of blue points is at least as large as the number of red points. We show that in this case the total number of blue points is at least one fifth of the total number of red points. We also… ▽ More We study the following local-to-global phenomenon: Let $B$ and $R$ be two finite sets of (blue and red) points in the Euclidean plane $\mathbb{R}^2$. Suppose that in each "neighborhood" of a red point, the number of blue points is at least as large as the number of red points. We show that in this case the total number of blue points is at least one fifth of the total number of red points. We also show that this bound is optimal and we generalize the result to arbitrary dimension and arbitrary norm using results from Minkowski arrangements. △ Less

Submitted 20 April, 2017; v1 submitted 9 January, 2017; originally announced January 2017.

Comments: 5 pages, 4 figures, EuroCG 2017

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.

Journal ref: Advances in Applied Mathematics, Elsevier, 2016

A Tutte polynomial inequality for lattice path matroids

Authors: Kolja Knauer, Leonardo Martínez-Sandoval, Jorge Luis Ramírez Alfonsín

Abstract: Let $M$ be a matroid without loops or coloops and let $T(M;x,y)$ be its Tutte polynomial. In 1999 Merino and Welsh conjectured that $$\max(T(M;2,0), T(M;0,2))\geq T(M;1,1)$$ holds for graphic matroids. Ten years later, Conde and Merino proposed a multiplicative version of the conjecture which implies the original one. In this paper we prove the multiplicative conjecture for the family of lattice p… ▽ More Let $M$ be a matroid without loops or coloops and let $T(M;x,y)$ be its Tutte polynomial. In 1999 Merino and Welsh conjectured that $$\max(T(M;2,0), T(M;0,2))\geq T(M;1,1)$$ holds for graphic matroids. Ten years later, Conde and Merino proposed a multiplicative version of the conjecture which implies the original one. In this paper we prove the multiplicative conjecture for the family of lattice path matroids (generalizing earlier results on uniform and Catalan matroids). In order to do this, we introduce and study particular lattice path matroids, called snakes, used as building bricks to indeed establish a strengthening of the multiplicative conjecture as well as a complete characterization of the cases in which equality holds. △ Less

Submitted 27 October, 2016; v1 submitted 2 October, 2015; originally announced October 2015.

Comments: 17 pages, 9 figures, improved exposition/minor corrections