Showing 1–25 of 25 results for author: Orden, D

An efficient algorithm for identifying rainbow ortho-convex 4-sets in k-colored point sets

Authors: David Flores-Peñaloza, Mario A. Lopez, Nestaly Marín, David Orden

Abstract: Let $P$ be a $k$-colored set of $n$ points in the plane, $4 \leq k \leq n$. We study the problem of deciding if $P$ contains a subset of four points of different colors such that its Rectilinear Convex Hull has positive area. We show this problem to be equivalent to deciding if there exists a point $c$ in the plane such that each of the open quadrants defined by $c$ contains a point of $P$, each o… ▽ More Let $P$ be a $k$-colored set of $n$ points in the plane, $4 \leq k \leq n$. We study the problem of deciding if $P$ contains a subset of four points of different colors such that its Rectilinear Convex Hull has positive area. We show this problem to be equivalent to deciding if there exists a point $c$ in the plane such that each of the open quadrants defined by $c$ contains a point of $P$, each of them having a different color. We provide an $O(n \log n)$-time algorithm for this problem, where the hidden constant does not depend on $k$; then, we prove that this problem has time complexity $Ω(n \log n)$ in the algebraic computation tree model. No general position assumptions for $P$ are required. △ Less

Submitted 20 December, 2024; v1 submitted 9 April, 2024; originally announced April 2024.

Comments: 17 pages, 4 figures, accepted version

MSC Class: 68U05 (Primary); 68R05 (Secondary) ACM Class: G.2.1; F.2.2

Journal ref: Information Processing Letters 189 (2025) 106551

On polynomials associated to Voronoi diagrams of point sets and crossing numbers

Authors: Mercè Claverol, Andrea de las Heras-Parrilla, David Flores-Peñaloza, Clemens Huemer, David Orden

Abstract: Three polynomials are defined for given sets $S$ of $n$ points in general position in the plane: The Voronoi polynomial with coefficients the numbers of vertices of the order-$k$ Voronoi diagrams of $S$, the circle polynomial with coefficients the numbers of circles through three points of $S$ enclosing $k$ points of $S$, and the $E_{\leq k}$ polynomial with coefficients the numbers of (at most… ▽ More Three polynomials are defined for given sets $S$ of $n$ points in general position in the plane: The Voronoi polynomial with coefficients the numbers of vertices of the order-$k$ Voronoi diagrams of $S$, the circle polynomial with coefficients the numbers of circles through three points of $S$ enclosing $k$ points of $S$, and the $E_{\leq k}$ polynomial with coefficients the numbers of (at most $k$)-edges of $S$. We present several formulas for the rectilinear crossing number of $S$ in terms of these polynomials and their roots. We also prove that the roots of the Voronoi polynomial lie on the unit circle if, and only if, $S$ is in convex position. Further, we present bounds on the location of the roots of these polynomials. △ Less

Submitted 18 September, 2024; v1 submitted 24 April, 2023; originally announced April 2023.

Comments: 18 pages, 3 figures, published in Discrete Mathematics and Theoretical Computer Science

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 26:2, Combinatorics (November 4, 2024) dmtcs:12443

Analysis of self-equilibrated networks through cellular modeling

Authors: Omar Aloui, David Orden, Nizar Bel Hadj Ali, Landolf Rhode-Barbarigos

Abstract: Network equilibrium models represent a versatile tool for the analysis of interconnected objects and their relationships. They have been widely employed in both science and engineering to study the behavior of complex systems under various conditions, including external perturbations and damage. In this paper, network equilibrium models are revisited through graph-theory laws and attributes with s… ▽ More Network equilibrium models represent a versatile tool for the analysis of interconnected objects and their relationships. They have been widely employed in both science and engineering to study the behavior of complex systems under various conditions, including external perturbations and damage. In this paper, network equilibrium models are revisited through graph-theory laws and attributes with special focus on systems that can sustain equilibrium in the absence of external perturbations (self-equilibrium). A new approach for the analysis of self-equilibrated networks is proposed; they are modeled as a collection of cells, predefined elementary network units that have been mathematically shown to compose any self-equilibrated network. Consequently, the equilibrium state of complex self-equilibrated systems can be obtained through the study of individual cell equilibria and their interactions. A series of examples that highlight the flexibility of network equilibrium models are included in the paper. The examples attest how the proposed approach, which combines topological as well as geometrical considerations, can be used to decipher the state of complex systems. △ Less

Submitted 11 August, 2020; originally announced August 2020.

Comments: 38 pages, 23 figures

Journal ref: Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 476: 20200154 (2020)

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

Journal ref: Discrete Mathematics 344(7) (2021), 112406

Non-crossing geometric spanning trees with bounded degree and monochromatic leaves on bicolored point sets

Authors: Mikio Kano, Kenta Noguchi, David Orden

Abstract: Let $R$ and $B$ be a set of red points and a set of blue points in the plane, respectively, such that $R\cup B$ is in general position, and let $f:R \to \{2,3,4, \ldots \}$ be a function. We show that if $2\le |B|\le \sum_{x\in R}(f(x)-2) + 2$, then there exists a non-crossing geometric spanning tree $T$ on $R\cup B$ such that $2\le \operatorname{deg}_T(x)\le f(x)$ for every $x\in R$ and the set o… ▽ More Let $R$ and $B$ be a set of red points and a set of blue points in the plane, respectively, such that $R\cup B$ is in general position, and let $f:R \to \{2,3,4, \ldots \}$ be a function. We show that if $2\le |B|\le \sum_{x\in R}(f(x)-2) + 2$, then there exists a non-crossing geometric spanning tree $T$ on $R\cup B$ such that $2\le \operatorname{deg}_T(x)\le f(x)$ for every $x\in R$ and the set of leaves of $T$ is $B$, where every edge of $T$ is a straight-line segment. △ Less

Submitted 6 December, 2018; originally announced December 2018.

Comments: 6 pages, 2 figures

Capturing points with a rotating polygon (and a 3D extension)

Authors: Carlos Alegría-Galicia, David Orden, Leonidas Palios, Carlos Seara, Jorge Urrutia

Abstract: We study the problem of rotating a simple polygon to contain the maximum number of elements from a given point set in the plane. We consider variations of this problem where the rotation center is a given point or lies on a line segment, a line, or a polygonal chain. We also solve an extension to 3D where we rotate a polyhedron around a given point to contain the maximum number of elements from a… ▽ More We study the problem of rotating a simple polygon to contain the maximum number of elements from a given point set in the plane. We consider variations of this problem where the rotation center is a given point or lies on a line segment, a line, or a polygonal chain. We also solve an extension to 3D where we rotate a polyhedron around a given point to contain the maximum number of elements from a set of points in the space. △ Less

Submitted 7 May, 2018; originally announced May 2018.

Comments: 25 pages, 12 figures, submitted to journal in February 2017

Journal ref: Theory of Computing Systems 63:3 (2019), 543-566

Efficient computation of minimum-area rectilinear convex hull under rotation and generalizations

Authors: Carlos Alegría-Galicia, David Orden, Carlos Seara, Jorge Urrutia

Abstract: Let $P$ be a set of $n$ points in the plane. We compute the value of $θ\in [0,2π)$ for which the rectilinear convex hull of $P$, denoted by $\mathcal{RH}_θ(P)$, has minimum (or maximum) area in optimal $O(n\log n)$ time and $O(n)$ space, improving the previous $O(n^2)$ bound. Let $\mathcal{O}$ be a set of $k$ lines through the origin sorted by slope and let $α_i$ be the sizes of the $2k$ angles de… ▽ More Let $P$ be a set of $n$ points in the plane. We compute the value of $θ\in [0,2π)$ for which the rectilinear convex hull of $P$, denoted by $\mathcal{RH}_θ(P)$, has minimum (or maximum) area in optimal $O(n\log n)$ time and $O(n)$ space, improving the previous $O(n^2)$ bound. Let $\mathcal{O}$ be a set of $k$ lines through the origin sorted by slope and let $α_i$ be the sizes of the $2k$ angles defined by pairs of two consecutive lines, $i=1, \ldots , 2k$. Let $Θ_{i}=π-α_i$ and $Θ=\min\{Θ_i \colon i=1,\ldots,2k\}$. We obtain: (1) Given a set $\mathcal{O}$ such that $Θ\ge\fracπ{2}$, we provide an algorithm to compute the $\mathcal{O}$-convex hull of $P$ in optimal $O(n\log n)$ time and $O(n)$ space; If $Θ< \fracπ{2}$, the time and space complexities are $O(\frac{n}Θ\log n)$ and $O(\frac{n}Θ)$ respectively. (2) Given a set $\mathcal{O}$ such that $Θ\ge\fracπ{2}$, we compute and maintain the boundary of the ${\mathcal{O}}_θ$-convex hull of $P$ for $θ\in [0,2π)$ in $O(kn\log n)$ time and $O(kn)$ space, or if $Θ< \fracπ{2}$, in $O(k\frac{n}Θ\log n)$ time and $O(k\frac{n}Θ)$ space. (3) Finally, given a set $\mathcal{O}$ such that $Θ\ge\fracπ{2}$, we compute, in $O(kn\log n)$ time and $O(kn)$ space, the angle $θ\in [0,2π)$ such that the $\mathcal{O}_θ$-convex hull of $P$ has minimum (or maximum) area over all $θ\in [0,2π)$. △ Less

Submitted 17 January, 2025; v1 submitted 30 October, 2017; originally announced October 2017.

Comments: 28 pages, 23 figures. Accepted version

Journal ref: Journal of Global Optimization (2021) 79:687-714

$K_{1,3}$-covering red and blue points in the plane

Authors: Bernardo M. Ábrego, Silvia Fernández-Merchant, Mikio Kano, David Orden, Pablo Pérez-Lantero, Carlos Seara, Javier Tejel

Abstract: We say that a finite set of red and blue points in the plane in general position can be $K_{1,3}$-covered if the set can be partitioned into subsets of size $4$, with $3$ points of one color and $1$ point of the other color, in such a way that, if at each subset the fourth point is connected by straight-line segments to the same-colored points, then the resulting set of all segments has no crossin… ▽ More We say that a finite set of red and blue points in the plane in general position can be $K_{1,3}$-covered if the set can be partitioned into subsets of size $4$, with $3$ points of one color and $1$ point of the other color, in such a way that, if at each subset the fourth point is connected by straight-line segments to the same-colored points, then the resulting set of all segments has no crossings. We consider the following problem: Given a set $R$ of $r$ red points and a set $B$ of $b$ blue points in the plane in general position, how many points of $R\cup B$ can be $K_{1,3}$-covered? and we prove the following results: (1) If $r=3g+h$ and $b=3h+g$, for some non-negative integers $g$ and $h$, then there are point sets $R\cup B$, like $\{1,3\}$-equitable sets (i.e., $r=3b$ or $b=3r$) and linearly separable sets, that can be $K_{1,3}$-covered. (2) If $r=3g+h$, $b=3h+g$ and the points in $R\cup B$ are in convex position, then at least $r+b-4$ points can be $K_{1,3}$-covered, and this bound is tight. (3) There are arbitrarily large point sets $R\cup B$ in general position, with $r=b+1$, such that at most $r+b-5$ points can be $K_{1,3}$-covered. (4) If $b\le r\le 3b$, then at least $\frac{8}{9}(r+b-8)$ points of $R\cup B$ can be $K_{1,3}$-covered. For $r>3b$, there are too many red points and at least $r-3b$ of them will remain uncovered in any $K_{1,3}$-covering. Furthermore, in all the cases we provide efficient algorithms to compute the corresponding coverings. △ Less

Submitted 24 January, 2019; v1 submitted 21 July, 2017; originally announced July 2017.

Comments: 29 pages, 10 figures, 1 table

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Combinatorics (January 31, 2019) dmtcs:4537

Spectrum graph coloring and applications to WiFi channel assignment

Authors: David Orden, Jose Manuel Gimenez-Guzman, Ivan Marsa-Maestre, Enrique de la Hoz

Abstract: We introduce and explore a family of vertex-coloring problems which, surprisingly enough, have not been considered before despite stemming from the problem of Wi-Fi channel assignment. Given a spectrum of colors, endowed with a matrix of interferences between each pair of colors, the Threshold Spectrum Coloring problem fixes the number of colors available and aims to minimize the interference thre… ▽ More We introduce and explore a family of vertex-coloring problems which, surprisingly enough, have not been considered before despite stemming from the problem of Wi-Fi channel assignment. Given a spectrum of colors, endowed with a matrix of interferences between each pair of colors, the Threshold Spectrum Coloring problem fixes the number of colors available and aims to minimize the interference threshold, i.e., the maximum of the interferences at the vertices. Conversely, the Chromatic Spectrum Coloring problem fixes a threshold and aims to minimize the number of colors for which respecting that threshold is possible. As main theoretical results, we prove tight upper bounds for the solutions to each problem. Since both problems turn out to be NP-hard, we complete the scene with experimental results. We propose a DSATUR-based heuristic and study its performance to minimize the maximum vertex interference in Wi-Fi channel assignment, both for randomly generated graphs and for a real-world scenario. Further, for all these graphs we experimentally check the goodness of the theoretical bounds. △ Less

Submitted 19 July, 2017; v1 submitted 16 February, 2016; originally announced February 2016.

Comments: 28 pages, 7 figures, 11 tables, submitted. From the previous version, more experiments have been added and some rephrasing performed

MSC Class: 05C15; 90C35; 94C15

Journal ref: Symmetry 2018, 10, 65

Flips in combinatorial pointed pseudo-triangulations with face degree at most four

Authors: Oswin Aichholzer, Thomas Hackl, David Orden, Alexander Pilz, Maria Saumell, Birgit Vogtenhuber

Abstract: In this paper we consider the flip operation for combinatorial pointed pseudo-triangulations where faces have size 3 or 4, so-called combinatorial 4-PPTs. We show that every combinatorial 4-PPT is stretchable to a geometric pseudo-triangulation, which in general is not the case if faces may have size larger than 4. Moreover, we prove that the flip graph of combinatorial 4-PPTs is connected and has… ▽ More In this paper we consider the flip operation for combinatorial pointed pseudo-triangulations where faces have size 3 or 4, so-called combinatorial 4-PPTs. We show that every combinatorial 4-PPT is stretchable to a geometric pseudo-triangulation, which in general is not the case if faces may have size larger than 4. Moreover, we prove that the flip graph of combinatorial 4-PPTs is connected and has diameter $O(n^2)$, even in the case of labeled vertices with fixed outer face. For this case we provide an $Ω(n\log n)$ lower bound. △ Less

Submitted 31 October, 2014; v1 submitted 2 October, 2013; originally announced October 2013.

Comments: 21 pages, 24 figures. Accepted for publication in the special volume of International Journal of Computational Geometry & Applications devoted to the XV Spanish Meeting on Computational Geometry

Journal ref: International Journal of Computational Geometry 24:3 (2014), 197-224

On the Fiedler value of large planar graphs

Authors: Lali Barrière, Clemens Huemer, Dieter Mitsche, David Orden

Abstract: The Fiedler value $λ_2$, also known as algebraic connectivity, is the second smallest Laplacian eigenvalue of a graph. We study the maximum Fiedler value among all planar graphs $G$ with $n$ vertices, denoted by $λ_{2\max}$, and we show the bounds $2+Θ(\frac{1}{n^2}) \leq λ_{2\max} \leq 2+O(\frac{1}{n})$. We also provide bounds on the maximum Fiedler value for the following classes of planar graph… ▽ More The Fiedler value $λ_2$, also known as algebraic connectivity, is the second smallest Laplacian eigenvalue of a graph. We study the maximum Fiedler value among all planar graphs $G$ with $n$ vertices, denoted by $λ_{2\max}$, and we show the bounds $2+Θ(\frac{1}{n^2}) \leq λ_{2\max} \leq 2+O(\frac{1}{n})$. We also provide bounds on the maximum Fiedler value for the following classes of planar graphs: Bipartite planar graphs, bipartite planar graphs with minimum vertex degree~3, and outerplanar graphs. Furthermore, we derive almost tight bounds on $λ_{2\max}$ for two more classes of graphs, those of bounded genus and $K_h$-minor-free graphs. △ Less

Submitted 7 June, 2013; v1 submitted 18 June, 2012; originally announced June 2012.

Comments: 21 pages, 4 figures, 1 table. Version accepted in Linear Algebra and Its Applications

MSC Class: 05C50

Journal ref: Linear Algebra and its Applications 439:7 (2013), 2070-2084

Balanced lines in two-coloured point sets

Authors: David Orden, Pedro Ramos, Gelasio Salazar

Abstract: Let $B$ and $R$ be point sets (of {\em blue} and {\em red} points, respectively) in the plane, such that $P:=B\cup R$ is in general position, and $|P|$ is even. A line $\ell$ is {\em balanced} if it spans one blue and one red point, and on each open halfplane of $\ell$, the number of blue points minus the number of red points is the same. We prove that $P$ has at least $\min \{|B|,|R|\} $ balanc… ▽ More Let $B$ and $R$ be point sets (of {\em blue} and {\em red} points, respectively) in the plane, such that $P:=B\cup R$ is in general position, and $|P|$ is even. A line $\ell$ is {\em balanced} if it spans one blue and one red point, and on each open halfplane of $\ell$, the number of blue points minus the number of red points is the same. We prove that $P$ has at least $\min \{|B|,|R|\} $ balanced lines. This refines a result by Pach and Pinchasi, who proved this for the case $|B|=|R|$. △ Less

Submitted 22 May, 2009; v1 submitted 20 May, 2009; originally announced May 2009.

MSC Class: 52A37; 52C30

The number of generalized balanced lines

Authors: David Orden, Pedro Ramos, Gelasio Salazar

Abstract: Let $S$ be a set of $r$ red points and $b=r+2d$ blue points in general position in the plane, with $d\geq 0$. A line $\ell$ determined by them is said to be balanced if in each open half-plane bounded by $\ell$ the difference between the number of red points and blue points is $d$. We show that every set $S$ as above has at least $r$ balanced lines. The main techniques in the proof are rotations… ▽ More Let $S$ be a set of $r$ red points and $b=r+2d$ blue points in general position in the plane, with $d\geq 0$. A line $\ell$ determined by them is said to be balanced if in each open half-plane bounded by $\ell$ the difference between the number of red points and blue points is $d$. We show that every set $S$ as above has at least $r$ balanced lines. The main techniques in the proof are rotations and a generalization, sliding rotations, introduced here. △ Less

Submitted 22 May, 2009; v1 submitted 28 April, 2009; originally announced April 2009.

Comments: 6 pages, 3 figures, several typos fixed, reference added

Journal ref: Discrete and Computational Geometry 44:4 (2010), 805-811

Flip Graphs of Degree-Bounded (Pseudo-)Triangulations

Authors: Oswin Aichholzer, Thomas Hackl, David Orden, Pedro Ramos, Günter Rote, André Schulz, Bettina Speckmann

Abstract: We study flip graphs of triangulations whose maximum vertex degree is bounded by a constant $k$. In particular, we consider triangulations of sets of $n$ points in convex position in the plane and prove that their flip graph is connected if and only if $k > 6$; the diameter of the flip graph is $O(n^2)$. We also show that, for general point sets, flip graphs of pointed pseudo-triangulations can be… ▽ More We study flip graphs of triangulations whose maximum vertex degree is bounded by a constant $k$. In particular, we consider triangulations of sets of $n$ points in convex position in the plane and prove that their flip graph is connected if and only if $k > 6$; the diameter of the flip graph is $O(n^2)$. We also show that, for general point sets, flip graphs of pointed pseudo-triangulations can be disconnected for $k \leq 9$, and flip graphs of triangulations can be disconnected for any $k$. Additionally, we consider a relaxed version of the original problem. We allow the violation of the degree bound $k$ by a small constant. Any two triangulations with maximum degree at most $k$ of a convex point set are connected in the flip graph by a path of length $O(n \log n)$, where every intermediate triangulation has maximum degree at most $k+4$. △ Less

Submitted 11 September, 2012; v1 submitted 12 March, 2009; originally announced March 2009.

Comments: 13 pages, 12 figures, acknowledgments updated

MSC Class: 05C62; 05C10; 52C99

Journal ref: Graphs and Combinatorics 29 (2013), 1577-1593

Bijections for Baxter Families and Related Objects

Authors: Stefan Felsner, Éric Fusy, Marc Noy, David Orden

Abstract: The Baxter number can be written as $B_n = \sum_0^n Θ_{k,n-k-1}$. These numbers have first appeared in the enumeration of so-called Baxter permutations; $B_n$ is the number of Baxter permutations of size $n$, and $Θ_{k,l}$ is the number of Baxter permutations with $k$ descents and $l$ rises. With a series of bijections we identify several families of combinatorial objects counted by the numbers… ▽ More The Baxter number can be written as $B_n = \sum_0^n Θ_{k,n-k-1}$. These numbers have first appeared in the enumeration of so-called Baxter permutations; $B_n$ is the number of Baxter permutations of size $n$, and $Θ_{k,l}$ is the number of Baxter permutations with $k$ descents and $l$ rises. With a series of bijections we identify several families of combinatorial objects counted by the numbers $Θ_{k,l}$. Apart from Baxter permutations, these include plane bipolar orientations with $k+2$ vertices and $l+2$ faces, 2-orientations of planar quadrangulations with $k+2$ white and $l+2$ black vertices, certain pairs of binary trees with $k+1$ left and $l+1$ right leaves, and a family of triples of non-intersecting lattice paths. This last family allows us to determine the value of $Θ_{k,l}$ as an application of the lemma of Gessel and Viennot. The approach also allows us to count certain other subfamilies, e.g., alternating Baxter permutations, objects with symmetries and, via a bijection with a class of plan bipolar orientations also Schnyder woods of triangulations, which are known to be in bijection with 3-orientations. △ Less

Submitted 11 March, 2008; originally announced March 2008.

Comments: 31 pages, 22 figures, submitted to JCTA

MSC Class: 05A15; 05A16; 05C10; 05C78

Journal ref: Journal of Combinatorial Theory, Series A 118:3 (2011), 993-1020

New results on lower bounds for the number of (at most k)-facets

Authors: Oswin Aichholzer, Jesús García, David Orden, Pedro Ramos

Abstract: In this paper we present three different results dealing with the number of $(\leq k)$-facets of a set of points: 1. We give structural properties of sets in the plane that achieve the optimal lower bound $3\binom{k+2}{2}$ of $(\leq k)$-edges for a fixed $0\leq k\leq \lfloor n/3 \rfloor -1$; 2. We give a simple construction showing that the lower bound… ▽ More In this paper we present three different results dealing with the number of $(\leq k)$-facets of a set of points: 1. We give structural properties of sets in the plane that achieve the optimal lower bound $3\binom{k+2}{2}$ of $(\leq k)$-edges for a fixed $0\leq k\leq \lfloor n/3 \rfloor -1$; 2. We give a simple construction showing that the lower bound $3\binom{k+2}{2}+3\binom{k-\lfloor \frac{n}{3} \rfloor+2}{2}$ for the number of $(\leq k)$-edges of a planar point set appeared in [Aichholzer et al. New lower bounds for the number of ($\leq k$)-edges and the rectilinear crossing number of $K_n$. {\em Disc. Comput. Geom.} 38:1 (2007), 1--14] is optimal in the range $\lfloor n/3 \rfloor \leq k \leq \lfloor 5n/12 \rfloor -1$; 3. We show that for $k < \lfloor n/(d+1) \rfloor$ the number of $(\leq k)$-facets of a set of $n$ points in general position in $\mathbb{R}^d$ is at least $(d+1)\binom{k+d}{d}$, and that this bound is tight in the given range of $k$. △ Less

Submitted 12 June, 2008; v1 submitted 7 January, 2008; originally announced January 2008.

Comments: 11 pages, 5 figures. Submitted to European Journal of Combinatorics. Changes: last result in the abstract generalized to $d$ dimensions, Section 4 simplified

MSC Class: 52C35

Journal ref: European Journal of Combinatorics 30:7 (2009), 1568-1574

Binary Labelings for Plane Quadrangulations and their Relatives

Authors: Stefan Felsner, Clemens Huemer, Sarah Kappes, David Orden

Abstract: Motivated by the bijection between Schnyder labelings of a plane triangulation and partitions of its inner edges into three trees, we look for binary labelings for quadrangulations (whose edges can be partitioned into two trees). Our labeling resembles many of the properties of Schnyder's one for triangulations: Apart from being in bijection with tree decompositions, paths in these trees allow t… ▽ More Motivated by the bijection between Schnyder labelings of a plane triangulation and partitions of its inner edges into three trees, we look for binary labelings for quadrangulations (whose edges can be partitioned into two trees). Our labeling resembles many of the properties of Schnyder's one for triangulations: Apart from being in bijection with tree decompositions, paths in these trees allow to define the regions of a vertex such that counting faces in them yields an algorithm for embedding the quadrangulation, in this case on a~2-book. Furthermore, as Schnyder labelings have been extended to 3-connected plane graphs, we are able to extend our labeling from quadrangulations to a larger class of 2-connected bipartite graphs. Finally, we propose a binary labeling for Laman graphs. △ Less

Submitted 12 April, 2008; v1 submitted 1 December, 2006; originally announced December 2006.

Comments: 27 pages, 25 figures. New introduction and abstract. Structure clarified. Added new results

MSC Class: 05C78

Journal ref: Discrete Mathematics & Theoretical Computer Science 12:3 (2010), 115-138

New lower bounds for the number of $(\leq k)$-edges and the rectilinear crossing number of $K_n$

Authors: Oswin Aichholzer, Jesús García, David Orden, Pedro Ramos

Abstract: We provide a new lower bound on the number of $(\leq k)$-edges of a set of $n$ points in the plane in general position. We show that for $0 \leq k \leq\lfloor\frac{n-2}{2}\rfloor$ the number of $(\leq k)$-edges is at least $$ E_k(S) \geq 3\binom{k+2}{2} + \sum_{j=\lfloor\frac{n}{3}\rfloor}^k (3j-n+3), $$ which, for $k\geq \lfloor\tfrac{n}{3}\rfloor$, improves the previous best lower bound in [J.… ▽ More We provide a new lower bound on the number of $(\leq k)$-edges of a set of $n$ points in the plane in general position. We show that for $0 \leq k \leq\lfloor\frac{n-2}{2}\rfloor$ the number of $(\leq k)$-edges is at least $$ E_k(S) \geq 3\binom{k+2}{2} + \sum_{j=\lfloor\frac{n}{3}\rfloor}^k (3j-n+3), $$ which, for $k\geq \lfloor\tfrac{n}{3}\rfloor$, improves the previous best lower bound in [J. Balogh, G. Salazar, Improved bounds for the number of ($\leq k$)-sets, convex quadrilaterals, and the rectilinear crossing number of $K_n$]. As a main consequence, we obtain a new lower bound on the rectilinear crossing number of the complete graph or, in other words, on the minimum number of convex quadrilaterals determined by $n$ points in the plane in general position. We show that the crossing number is at least $$ \Bigl({41/108}+ε\Bigr) \binom{n}{4} + O(n^3) \geq 0.379631 \binom{n}{4} + O(n^3), $$ which improves the previous bound of $0.37533 \binom{n}{4} + O(n^3)$ in [J. Balogh, G. Salazar, Improved bounds for the number of ($\leq k$)-sets, convex quadrilaterals, and the rectilinear crossing number of $K_n$] and approaches the best known upper bound $0.38058\binom{n}{4}$ in [O. Aichholzer, H. Krasser, Abstract order type extension and new results on the rectilinear crossing number]. △ Less

Submitted 25 October, 2006; v1 submitted 24 August, 2006; originally announced August 2006.

Comments: 14 pages, 4 figures, submitted to Discrete and Computational Geometry, fixed a gap in the proof of Theorem 10

MSC Class: 52C35

Journal ref: Discrete and Computational Geometry 38:1 (2007), 1-14

On the Number of Pseudo-Triangulations of Certain Point Sets

Authors: Oswin Aichholzer, David Orden, Francisco Santos, Bettina Speckmann

Abstract: We pose a monotonicity conjecture on the number of pseudo-triangulations of any planar point set, and check it on two prominent families of point sets, namely the so-called double circle and double chain. The latter has asymptotically $12^n n^{Θ(1)}$ pointed pseudo-triangulations, which lies significantly above the maximum number of triangulations in a planar point set known so far. We pose a monotonicity conjecture on the number of pseudo-triangulations of any planar point set, and check it on two prominent families of point sets, namely the so-called double circle and double chain. The latter has asymptotically $12^n n^{Θ(1)}$ pointed pseudo-triangulations, which lies significantly above the maximum number of triangulations in a planar point set known so far. △ Less

Submitted 14 June, 2007; v1 submitted 30 January, 2006; originally announced January 2006.

Comments: 31 pages, 11 figures, 4 tables. Not much technical changes with respect to v1, except some proofs and statements are slightly more precise and some expositions more clear. This version has been accepted in J. Combin. Th. A. The increase in number of pages from v1 is mostly due to formatting the paper with "elsart.cls" for Elsevier

MSC Class: 05C10; 05C62

Journal ref: J. Combin. Theory Ser. A, 115 (2008) 254-278.

From graphs to tensegrity structures: Geometric and symbolic approaches

Authors: Miguel de Guzmán, David Orden

Abstract: A form-finding problem for tensegrity structures is studied; given an abstract graph, we show an algorithm to provide a necessary condition for it to be the underlying graph of a tensegrity in $\mathbb{R}^d$ (typically $d=2,3$) with vertices in general position. Furthermore, for a certain class of graphs our algorithm allows to obtain necessary and sufficient conditions on the relative position… ▽ More A form-finding problem for tensegrity structures is studied; given an abstract graph, we show an algorithm to provide a necessary condition for it to be the underlying graph of a tensegrity in $\mathbb{R}^d$ (typically $d=2,3$) with vertices in general position. Furthermore, for a certain class of graphs our algorithm allows to obtain necessary and sufficient conditions on the relative position of the vertices in order to underlie a tensegrity, for what we propose both a geometric and a symbolic approach. △ Less

Submitted 13 March, 2006; v1 submitted 19 April, 2004; originally announced April 2004.

Comments: 17 pages, 8 figures; final version

MSC Class: 05C85; 68W30

Journal ref: Publicacions Matemàtiques 50:2 (2006), 279-299

Non-crossing frameworks with non-crossing reciprocals

Authors: David Orden, Guenter Rote, Francisco Santos, Brigitte Servatius, Herman Servatius, Walter Whiteley

Abstract: We study non-crossing frameworks in the plane for which the classical reciprocal on the dual graph is also non-crossing. We give a complete description of the self-stresses on non-crossing frameworks whose reciprocals are non-crossing, in terms of: the types of faces (only pseudo-triangles and pseudo-quadrangles are allowed); the sign patterns in the self-stress; and a geometric condition on the… ▽ More We study non-crossing frameworks in the plane for which the classical reciprocal on the dual graph is also non-crossing. We give a complete description of the self-stresses on non-crossing frameworks whose reciprocals are non-crossing, in terms of: the types of faces (only pseudo-triangles and pseudo-quadrangles are allowed); the sign patterns in the self-stress; and a geometric condition on the stress vectors at some of the vertices. As in other recent papers where the interplay of non-crossingness and rigidity of straight-line plane graphs is studied, pseudo-triangulations show up as objects of special interest. For example, it is known that all planar Laman circuits can be embedded as a pseudo-triangulation with one non-pointed vertex. We show that if such an embedding is sufficiently generic, then the reciprocal is non-crossing and again a pseudo-triangulation embedding of a planar Laman circuit. For a singular (i.e., non-generic) pseudo-triangulation embedding of a planar Laman circuit, the reciprocal is still non-crossing and a pseudo-triangulation, but its underlying graph may not be a Laman circuit. Moreover, all the pseudo-triangulations which admit a non-crossing reciprocal arise as the reciprocals of such, possibly singular, stresses on pseudo-triangulation embeddings of Laman circuits. All self-stresses on a planar graph correspond to liftings to piece-wise linear surfaces in 3-space. We prove characteristic geometric properties of the lifts of such non-crossing reciprocal pairs. △ Less

Submitted 8 September, 2003; originally announced September 2003.

Comments: 32 pages, 23 figures

MSC Class: 05C10; 05C62; 52C25

Journal ref: Discrete Comput. Geom., 32:4 (2004), 567-600

Combinatorial pseudo-Triangulations

Authors: David Orden, Francisco Santos, Brigitte Servatius, Herman Servatius

Abstract: We prove that a planar graph is generically rigid in the plane if and only if it can be embedded as a pseudo-triangulation. This generalizes the main result of math.CO/0307347 which treats the minimally generically rigid case. The proof uses the concept of combinatorial pseudo-triangulation, CPT, in the plane and has two main steps: showing that a certain ``generalized Laman property'' is a ne… ▽ More We prove that a planar graph is generically rigid in the plane if and only if it can be embedded as a pseudo-triangulation. This generalizes the main result of math.CO/0307347 which treats the minimally generically rigid case. The proof uses the concept of combinatorial pseudo-triangulation, CPT, in the plane and has two main steps: showing that a certain ``generalized Laman property'' is a necessary and sufficient condition for a CPT to be ``stretchable'', and showing that all generically rigid plane graphs admit a CPT assignment with that property. Additionally, we propose the study of combinatorial pseudo-triangulations on closed surfaces. △ Less

Submitted 31 October, 2005; v1 submitted 28 July, 2003; originally announced July 2003.

Comments: 17 pages, 10 figures. Changes from v2: minor editing plus removal of a superfluous lemma. Changes from v1: Section 5 has been completely rewritten, after a referee complained (rightfully) that too many details were omitted. The rest only has minor corrections and stylistic changes. This version has been accepted in "Discrete Mathematics"

MSC Class: 05C10; 05C62

Journal ref: Discrete Mathematics 307:3-5, (2007), 554-566

Planar Minimally Rigid Graphs and Pseudo-Triangulations

Authors: Ruth Haas, David Orden, Guenter Rote, Francisco Santos, Brigitte Servatius, Herman Servatius, Diane Souvaine, Ileana Streinu, Walter Whiteley

Abstract: Pointed pseudo-triangulations are planar minimally rigid graphs embedded in the plane with pointed vertices (adjacent to an angle larger than 180 degrees. In this paper we prove that the opposite statement is also true, namely that planar minimally rigid graphs always admit pointed embeddings, even under certain natural topological and combinatorial constraints. We provide two proofs, which both… ▽ More Pointed pseudo-triangulations are planar minimally rigid graphs embedded in the plane with pointed vertices (adjacent to an angle larger than 180 degrees. In this paper we prove that the opposite statement is also true, namely that planar minimally rigid graphs always admit pointed embeddings, even under certain natural topological and combinatorial constraints. We provide two proofs, which both yield efficient embedding algorithms. One based on Henneberg inductive constructions from combinatorial rigidity theory, the other on a generalization of Tutte's barycentric embeddings to directed graphs. △ Less

Submitted 25 July, 2003; originally announced July 2003.

Comments: 25 pages, 12 figures. A preliminary version appeared in the proceedings of the 19th ACM Symposium on Computational Geometry, San Diego, June 8-10, 2003

MSC Class: 05C10; 05C62

Journal ref: Computational Geometry: theory and Applications 31:1-2 (May 2005), 63-100.

The polytope of non-crossing graphs on a planar point set

Authors: David Orden, Francisco Santos

Abstract: For any finite set $\A$ of $n$ points in $\R^2$, we define a $(3n-3)$-dimensional simple polyhedron whose face poset is isomorphic to the poset of ``non-crossing marked graphs'' with vertex set $\A$, where a marked graph is defined as a geometric graph together with a subset of its vertices. The poset of non-crossing graphs on $\A$ appears as the complement of the star of a face in that polyhedr… ▽ More For any finite set $\A$ of $n$ points in $\R^2$, we define a $(3n-3)$-dimensional simple polyhedron whose face poset is isomorphic to the poset of ``non-crossing marked graphs'' with vertex set $\A$, where a marked graph is defined as a geometric graph together with a subset of its vertices. The poset of non-crossing graphs on $\A$ appears as the complement of the star of a face in that polyhedron. The polyhedron has a unique maximal bounded face, of dimension $2n_i +n -3$ where $n_i$ is the number of points of $\A$ in the interior of $\conv(\A)$. The vertices of this polytope are all the pseudo-triangulations of $\A$, and the edges are flips of two types: the traditional diagonal flips (in pseudo-triangulations) and the removal or insertion of a single edge. As a by-product of our construction we prove that all pseudo-triangulations are infinitesimally rigid graphs. △ Less

Submitted 30 May, 2003; v1 submitted 11 February, 2003; originally announced February 2003.

Comments: 28 pages, 16 figures. Main change from v1 and v2: Introduction has been reshaped

MSC Class: 05C10 (primary); 52C25 (secondary)

Journal ref: Discrete Comput. Geom. 33:2 (2005), 275-305

Asymptotically efficient triangulations of the d-cube

Authors: David Orden, Francisco Santos

Abstract: Let $P$ and $Q$ be polytopes, the first of "low" dimension and the second of "high" dimension. We show how to triangulate the product $P \times Q$ efficiently (i.e., with few simplices) starting with a given triangulation of $Q$. Our method has a computational part, where we need to compute an efficient triangulation of $P \times Δ^m$, for a (small) natural number $m$ of our choice. $Δ^m$ denote… ▽ More Let $P$ and $Q$ be polytopes, the first of "low" dimension and the second of "high" dimension. We show how to triangulate the product $P \times Q$ efficiently (i.e., with few simplices) starting with a given triangulation of $Q$. Our method has a computational part, where we need to compute an efficient triangulation of $P \times Δ^m$, for a (small) natural number $m$ of our choice. $Δ^m$ denotes the $m$-simplex. Our procedure can be applied to obtain (asymptotically) efficient triangulations of the cube $I^n$: We decompose $I^n = I^k \times I^{n-k}$, for a small $k$. Then we recursively assume we have obtained an efficient triangulation of the second factor and use our method to triangulate the product. The outcome is that using $k=3$ and $m=2$, we can triangulate $I^n$ with $O(0.816^{n} n!)$ simplices, instead of the $O(0.840^{n} n!)$ achievable before. △ Less

Submitted 10 March, 2003; v1 submitted 11 April, 2002; originally announced April 2002.

Comments: 19 pages, 6 figures. Only minor changes from previous versions, some suggested by anonymous referees. Paper accepted in "Discrete and Computational Geometry"

Journal ref: Discrete Comput. Geom., 30:4 (2003), 509-528.