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

Approximating shortest paths in weighted square and hexagonal meshes

Authors: Prosenjit Bose, Guillermo Esteban, David Orden, Rodrigo I. Silveira

Abstract: Continuous 2-dimensional space is often discretized by considering a mesh of weighted cells. In this work we study how well a weighted mesh approximates the space, with respect to shortest paths. We consider a shortest path $ \mathit{SP_w}(s,t) $ from $ s $ to $ t $ in the continuous 2-dimensional space, a shortest vertex path $ \mathit{SVP_w}(s,t) $ (or any-angle path), which is a shortest path w… ▽ More Continuous 2-dimensional space is often discretized by considering a mesh of weighted cells. In this work we study how well a weighted mesh approximates the space, with respect to shortest paths. We consider a shortest path $ \mathit{SP_w}(s,t) $ from $ s $ to $ t $ in the continuous 2-dimensional space, a shortest vertex path $ \mathit{SVP_w}(s,t) $ (or any-angle path), which is a shortest path where the vertices of the path are vertices of the mesh, and a shortest grid path $ \mathit{SGP_w}(s,t) $, which is a shortest path in a graph associated to the weighted mesh. We provide upper and lower bounds on the ratios $ \frac{\lVert \mathit{SGP_w}(s,t)\rVert}{\lVert \mathit{SP_w}(s,t)\rVert} $, $ \frac{\lVert \mathit{SVP_w}(s,t)\rVert}{\lVert \mathit{SP_w}(s,t)\rVert} $, $ \frac{\lVert \mathit{SGP_w}(s,t)\rVert}{\lVert \mathit{SVP_w}(s,t)\rVert} $ in square and hexagonal meshes, extending previous results for triangular grids. These ratios determine the effectiveness of existing algorithms that compute shortest paths on the graphs obtained from the grids. Our main results are that the ratio $ \frac{\lVert \mathit{SGP_w}(s,t)\rVert}{\lVert \mathit{SP_w}(s,t)\rVert} $ is at most $ \frac{2}{\sqrt{2+\sqrt{2}}} \approx 1.08 $ and $ \frac{2}{\sqrt{2+\sqrt{3}}} \approx 1.04 $ in a square and a hexagonal mesh, respectively. △ Less

Submitted 11 April, 2024; originally announced April 2024.

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 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… ▽ 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 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 9 April, 2024; originally announced April 2024.

Comments: Preprint submitted to Information Processing Letters, april 3, 2024

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

Flip Graphs of Pseudo-Triangulations With Face Degree at Most 4

Authors: Maarten Löffler, Tamara Mchedlidze, David Orden, Josef Tkadlec, Jules Wulms

Abstract: A pseudo-triangle is a simple polygon with exactly three convex vertices, and all other vertices (if any) are distributed on three concave chains. A pseudo-triangulation~$\mathcal{T}$ of a point set~$P$ in~$\mathbb{R}^2$ is a partitioning of the convex hull of~$P$ into pseudo-triangles, such that the union of the vertices of the pseudo-triangles is exactly~$P$. We call a size-4 pseudo-triangle a d… ▽ More A pseudo-triangle is a simple polygon with exactly three convex vertices, and all other vertices (if any) are distributed on three concave chains. A pseudo-triangulation~$\mathcal{T}$ of a point set~$P$ in~$\mathbb{R}^2$ is a partitioning of the convex hull of~$P$ into pseudo-triangles, such that the union of the vertices of the pseudo-triangles is exactly~$P$. We call a size-4 pseudo-triangle a dart. For a fixed $k\geq 1$, we study $k$-dart pseudo-triangulations ($k$-DPTs), that is, pseudo-triangulations in which exactly $k$ faces are darts and all other faces are triangles. We study the flip graph for such pseudo-triangulations, in which a flip exchanges the diagonals of a pseudo-quadrilatral. Our results are as follows. We prove that the flip graph of $1$-DPTs is generally not connected, and show how to compute its connected components. Furthermore, for $k$-DPTs on a point configuration called the double chain we analyze the structure of the flip graph on a more fine-grained level. △ Less

Submitted 19 February, 2024; originally announced February 2024.

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 6 May, 2024; v1 submitted 24 April, 2023; originally announced April 2023.

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

Separating bichromatic point sets in the plane by restricted orientation convex hulls

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

Abstract: We explore the separability of point sets in the plane by a restricted-orientation convex hull, which is an orientation-dependent, possibly disconnected, and non-convex enclosing shape that generalizes the convex hull. Let $R$ and $B$ be two disjoint sets of red and blue points in the plane, and $\mathcal{O}$ be a set of $k \geq 2$ lines passing through the origin. We study the problem of computin… ▽ More We explore the separability of point sets in the plane by a restricted-orientation convex hull, which is an orientation-dependent, possibly disconnected, and non-convex enclosing shape that generalizes the convex hull. Let $R$ and $B$ be two disjoint sets of red and blue points in the plane, and $\mathcal{O}$ be a set of $k \geq 2$ lines passing through the origin. We study the problem of computing the set of orientations of the lines of $\mathcal{O}$ for which the $\mathcal{O}$-convex hull of $R$ contains no points of $B$. For $k=2$ orthogonal lines we have the rectilinear convex hull. In optimal $O(n \log n)$ time and $O(n)$ space, $n = \vert R \vert + \vert B \vert$, we compute the set of rotation angles such that, after simultaneously rotating the lines of $\mathcal{O}$ around the origin in the same direction, the rectilinear convex hull of $R$ contains no points of $B$. We generalize this result to the case where $\mathcal{O}$ is formed by $k \geq 2$ lines with arbitrary orientations. In the counter-clockwise circular order of the lines of $\mathcal{O}$, let $α_i$ be the angle required to clockwise rotate the $i$th line so it coincides with its successor. We solve the problem in this case in $O(1/Θ\cdot N \log N)$ time and $O(1/Θ\cdot N)$ space, where $Θ= \min \{ α_1,\ldots,α_k \}$ and $N=\max\{k,\vert R \vert + \vert B \vert \}$. We finally consider the case in which $\mathcal{O}$ is formed by $k=2$ lines, one of the lines is fixed, and the second line rotates by an angle that goes from $0$ to $π$. We show that this last case can also be solved in optimal $O(n\log n)$ time and $O(n)$ space, where $n = \vert R \vert + \vert B \vert$. △ Less

Submitted 9 September, 2022; originally announced September 2022.

MSC Class: 68U05 ACM Class: I.3.5

On approximating shortest paths in weighted triangular tessellations

Authors: Prosenjit Bose, Guillermo Esteban, David Orden, Rodrigo I. Silveira

Abstract: We study the quality of weighted shortest paths when a continuous 2-dimensional space is discretized by a weighted triangular tessellation. In order to evaluate how well the tessellation approximates the 2-dimensional space, we study three types of shortest paths: a weighted shortest path~$ \mathit{SP_w}(s,t) $, which is a shortest path from $ s $ to $ t $ in the space; a weighted shortest vertex… ▽ More We study the quality of weighted shortest paths when a continuous 2-dimensional space is discretized by a weighted triangular tessellation. In order to evaluate how well the tessellation approximates the 2-dimensional space, we study three types of shortest paths: a weighted shortest path~$ \mathit{SP_w}(s,t) $, which is a shortest path from $ s $ to $ t $ in the space; a weighted shortest vertex path $ \mathit{SVP_w}(s,t) $, which is a shortest path where the vertices of the path are vertices of the tessellation; and a weighted shortest grid path~$ \mathit{SGP_w}(s,t) $, which is a shortest path whose edges are edges of the tessellation. The ratios $ \frac{\lVert \mathit{SGP_w}(s,t)\rVert}{\lVert \mathit{SP_w}(s,t)\rVert} $, $ \frac{\lVert \mathit{SVP_w}(s,t)\rVert}{\lVert \mathit{SP_w}(s,t)\rVert} $, $ \frac{\lVert \mathit{SGP_w}(s,t)\rVert}{\lVert \mathit{SVP_w}(s,t)\rVert} $ provide estimates on the quality of the approximation. Given any arbitrary weight assignment to the faces of a triangular tessellation, we prove upper and lower bounds on the estimates that are independent of the weight assignment. Our main result is that $ \frac{\lVert \mathit{SGP_w}(s,t)\rVert}{\lVert \mathit{SP_w}(s,t)\rVert} = \frac{2}{\sqrt{3}} \approx 1.15 $ in the worst case, and this is tight. △ Less

Submitted 27 November, 2021; originally announced November 2021.

Comments: 17 pages, 10 figures

Geometric and statistical techniques for projective map** of chocolate chip cookies with a large number of consumers

Authors: David Orden, Encarnación Fernández-Fernández, Marino Tejedor-Romero, Alejandra Martínez-Moraian

Abstract: The so-called rapid sensory methods have proved to be useful for the sensory study of foods by different types of panels, from trained assessors to unexperienced consumers. Data from these methods have been traditionally analyzed using statistical techniques, with some recent works proposing the use of geometric techniques and graph theory. The present work aims to deepen this line of research int… ▽ More The so-called rapid sensory methods have proved to be useful for the sensory study of foods by different types of panels, from trained assessors to unexperienced consumers. Data from these methods have been traditionally analyzed using statistical techniques, with some recent works proposing the use of geometric techniques and graph theory. The present work aims to deepen this line of research introducing a new method, mixing tools from statistics and graph theory, for the analysis of data from Projective Map**. In addition, a large number of n=349 unexperienced consumers is considered for the first time in Projective Map**, evaluating nine commercial chocolate chips cookies which include a blind duplicate of a multinational best-selling brand and seven private labels. The data obtained are processed using the standard statistical technique Multiple Factor Analysis (MFA), the recently appeared geometric method SensoGraph using Gabriel clustering, and the novel variant introduced here which is based on the pairwise distances between samples. All methods provide the same groups of samples, with the blind duplicates appearing close together. Finally, the stability of the results is studied using bootstrap** and the RV and Mantel coefficients. The results suggest that, even for unexperienced consumers, highly stable results can be achieved for MFA and SensoGraph when considering a large enough number of assessors, around 200 for the consensus map of MFA or the global similarity matrix of SensoGraph. △ Less

Submitted 25 August, 2020; v1 submitted 24 August, 2020; originally announced August 2020.

Comments: 21 pages, 16 figures, 1 table

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

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

Shortest Watchman Tours in Simple Polygons under Rotated Monotone Visibility

Authors: Bengt J. Nilsson, David Orden, Leonidas Palios, Carlos Seara, Paweł Żyliński

Abstract: We present an $O(nrG)$ time algorithm for computing and maintaining a minimum length shortest watchman tour that sees a simple polygon under monotone visibility in direction $θ$, while $θ$ varies in $[0,180^{\circ})$, obtaining the directions for the tour to be the shortest one over all tours, where $n$ is the number of vertices, $r$ is the number of reflex vertices, and $G\leq r$ is the maximum n… ▽ More We present an $O(nrG)$ time algorithm for computing and maintaining a minimum length shortest watchman tour that sees a simple polygon under monotone visibility in direction $θ$, while $θ$ varies in $[0,180^{\circ})$, obtaining the directions for the tour to be the shortest one over all tours, where $n$ is the number of vertices, $r$ is the number of reflex vertices, and $G\leq r$ is the maximum number of gates of the polygon used at any time in the algorithm. △ Less

Submitted 16 July, 2020; originally announced July 2020.

Comments: 18 pages, 3 figures, an extended abstract will appear in Proceedings of COCOON 2020 (Lecture Notes in Computer Science)

Maximum rectilinear convex subsets

Authors: Hernán González-Aguilar, David Orden, Pablo Pérez-Lantero, David Rappaport, Carlos Seara, Javier Tejel, Jorge Urrutia

Abstract: Let $P$ be a set of $n$ points in the plane. We consider a variation of the classical Erdős-Szekeres problem, presenting efficient algorithms with $O(n^3)$ running time and $O(n^2)$ space complexity that compute: (1) A subset $S$ of $P$ such that the boundary of the rectilinear convex hull of $S$ has the maximum number of points from $P$, (2) a subset $S$ of $P$ such that the boundary of the recti… ▽ More Let $P$ be a set of $n$ points in the plane. We consider a variation of the classical Erdős-Szekeres problem, presenting efficient algorithms with $O(n^3)$ running time and $O(n^2)$ space complexity that compute: (1) A subset $S$ of $P$ such that the boundary of the rectilinear convex hull of $S$ has the maximum number of points from $P$, (2) a subset $S$ of $P$ such that the boundary of the rectilinear convex hull of $S$ has the maximum number of points from $P$ and its interior contains no element of $P$, (3) a subset $S$ of $P$ such that the rectilinear convex hull of $S$ has maximum area and its interior contains no element of $P$, and (4) when each point of $P$ is assigned a weight, positive or negative, a subset $S$ of $P$ that maximizes the total weight of the points in the rectilinear convex hull of $S$. △ Less

Submitted 17 July, 2019; originally announced July 2019.

Comments: 15 pages, 7 figures, 22nd Symposium on Fundamentals of Computation Theory (FCT2019)

REACT: REActive resilience for critical infrastructures using graph-Coloring Techniques

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

Abstract: Nowadays society is more and more dependent on critical infrastructures. Critical network infrastructures (CNI) are communication networks whose disruption can create a severe impact. In this paper we propose REACT, a distributed framework for reactive network resilience, which allows networks to reconfigure themselves in the event of a security incidents so that the risk of further damage is miti… ▽ More Nowadays society is more and more dependent on critical infrastructures. Critical network infrastructures (CNI) are communication networks whose disruption can create a severe impact. In this paper we propose REACT, a distributed framework for reactive network resilience, which allows networks to reconfigure themselves in the event of a security incidents so that the risk of further damage is mitigated. Our framework takes advantage of a risk model based on multilayer networks, as well as a graph-coloring problem conversion, to identify new, more resilient configurations for networks in the event of an attack. We propose two different solution approaches, and evaluate them from two different perspectives, with a number of centralized optimization techniques. Experiments show that our approaches outperform the reference approaches in terms of risk mitigation and performance. △ Less

Submitted 13 July, 2019; v1 submitted 11 July, 2019; originally announced July 2019.

Comments: 24 pages, 11 figures. Accepted by Journal of Network and Computer Applications

Journal ref: Journal of Network and Computer Applicatons 145 (2019), 102402

Estimation of spatio-temporal wave grou** properties using Delaunay triangulation and spline techniques

Authors: José Carlos Nieto Borge, Juan Gerardo Alcázar, David Orden, Sara Marazuela Reca, Gerardo Rodríguez

Abstract: Wave groups can be detected and studied by using the wave envelope. So far, the method used to compute the wave envelope employs the Riesz transform. However, such a technique always produces symmetric envelopes, which is only realistic in the case of linear waves. In this paper we present a new method to compute the wave envelope providing more realistic results. In particular, the method allows… ▽ More Wave groups can be detected and studied by using the wave envelope. So far, the method used to compute the wave envelope employs the Riesz transform. However, such a technique always produces symmetric envelopes, which is only realistic in the case of linear waves. In this paper we present a new method to compute the wave envelope providing more realistic results. In particular, the method allows to detect non-symmetry in the wave envelope, something useful, for instance, when detecting groups of high waves. The method computes first the local maxima and minima of the sea surface, and then determines the wave envelope by combining discrete methods, namely the use of the Delaunay triangulation, and tensor-product splines. The proposed method has been applied to simulated wave fields, and also to wave elevations data measured by an X-band radar. The obtained results correctly reproduce the behavior of the simulated waves. △ Less

Submitted 8 July, 2019; v1 submitted 5 July, 2019; originally announced July 2019.

Comments: 30 pages, 15 figures, 1 table. Accepted by Ocean Engineering

Journal ref: Ocean Engineering 187 (2019) 106187

Cellular morphogenesis of three-dimensional tensegrity structures

Authors: Omar Aloui, Jessica Flores, David Orden, Landolf Rhode-Barbarigos

Abstract: The topology and form finding of tensegrity structures have been studied extensively since the introduction of the tensegrity concept. However, most of these studies address topology and form separately, where the former represented a research focus of rigidity theory and graph theory, while the latter attracted the attention of structural engineers. In this paper, a biomimetic approach for the co… ▽ More The topology and form finding of tensegrity structures have been studied extensively since the introduction of the tensegrity concept. However, most of these studies address topology and form separately, where the former represented a research focus of rigidity theory and graph theory, while the latter attracted the attention of structural engineers. In this paper, a biomimetic approach for the combined topology and form finding of spatial tensegrity systems is introduced. Tensegrity cells, elementary infinitesimally rigid self-stressed structures that have been proven to compose any tensegrity, are used to generate more complex tensegrity structures through the morphogenesis mechanisms of adhesion and fusion. A methodology for constructing a basis to describe the self-stress space is also provided. Through the definition of self-stress, the cellular morphogenesis method can integrate design considerations, such as a desired shape or number of nodes and members, providing great flexibility and control over the tensegrity structure generated. △ Less

Submitted 15 February, 2019; originally announced February 2019.

Comments: 31 pages, 17 figures

Journal ref: Computer Methods in Applied Mechanics and Engineering. Volume 346, 1 April 2019, Pages 85-108

Nonlinear Negotiation Approaches for Complex-Network Optimization: A Study Inspired by Wi-Fi Channel Assignment

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

Abstract: At the present time, Wi-Fi networks are everywhere. They operate in unlicensed radio-frequency spectrum bands (divided in channels), which are highly congested. The purpose of this paper is to tackle the problem of channel assignment in Wi-Fi networks. To this end, we have modeled the networks as multilayer graphs, in a way that frequency channel assignment becomes a graph coloring problem. For a… ▽ More At the present time, Wi-Fi networks are everywhere. They operate in unlicensed radio-frequency spectrum bands (divided in channels), which are highly congested. The purpose of this paper is to tackle the problem of channel assignment in Wi-Fi networks. To this end, we have modeled the networks as multilayer graphs, in a way that frequency channel assignment becomes a graph coloring problem. For a high number and variety of scenarios, we have solved the problem with two different automated negotiation techniques: a hill-climber and a simulated annealer. As an upper bound reference for the performance of these two techniques, we have also solved the problem using a particle swarm optimizer. Results show that the annealer negotiator behaves as the best choice because it is able to obtain even better results than the particle swarm optimizer in the most complex scenarios under study, with running times one order of magnitude below. Finally, we study how different properties of the network layout affect to the performance gain that the annealer is able to obtain with respect to the particle swarm optimizer. △ Less

Submitted 15 February, 2019; originally announced February 2019.

Comments: This is a pre-print of an article published in Group Decision and Negotiation. The final version is available online at https://doi.org/10.1007/s10726-018-9600-z

Journal ref: Group Decision and Negotiation, February 2019, Volume 28, Issue 1, pages 175-196

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

Spectrum graph coloring to improve Wi-Fi channel assignment in a real-world scenario via edge contraction

Authors: David Orden, Ivan Marsa-Maestre, Jose Manuel Gimenez-Guzman, Enrique de la Hoz, Ana Álvarez-Suárez

Abstract: The present work deals with the problem of efficiently assigning Wi-Fi channels in a real-world scenario, the Polytechnic School of the University of Alcalá. We first use proximity graphs to model the whole problem as an instance of spectrum graph coloring, we further obtain a simplified model using edge contraction, and we finally use simulated annealing to look for a coloring which optimizes the… ▽ More The present work deals with the problem of efficiently assigning Wi-Fi channels in a real-world scenario, the Polytechnic School of the University of Alcalá. We first use proximity graphs to model the whole problem as an instance of spectrum graph coloring, we further obtain a simplified model using edge contraction, and we finally use simulated annealing to look for a coloring which optimizes the network throughput. As the main result, we show that the solutions we obtain outperform the de facto standard for Wi-Fi channel assignment, both in terms of network throughput and of computation time. △ Less

Submitted 16 November, 2018; originally announced November 2018.

Comments: 18 pages, 10 figures, 1 table

Journal ref: Discrete Applied Mathematics 263 (2019), 234-243

Testing SensoGraph, a geometric approach for fast sensory evaluation

Authors: David Orden, Encarnación Fernández-Fernández, José M. Rodríguez-Nogales, Josefina Vila-Crespo

Abstract: This paper introduces SensoGraph, a novel approach for fast sensory evaluation using two-dimensional geometric techniques. In the tasting sessions, the assessors follow their own criteria to place samples on a tablecloth, according to the similarity between samples. In order to analyse the data collected, first a geometric clustering is performed to each tablecloth, extracting connections between… ▽ More This paper introduces SensoGraph, a novel approach for fast sensory evaluation using two-dimensional geometric techniques. In the tasting sessions, the assessors follow their own criteria to place samples on a tablecloth, according to the similarity between samples. In order to analyse the data collected, first a geometric clustering is performed to each tablecloth, extracting connections between the samples. Then, these connections are used to construct a global similarity matrix. Finally, a graph drawing algorithm is used to obtain a 2D consensus graphic, which reflects the global opinion of the panel by (1) positioning closer those samples that have been globally perceived as similar and (2) showing the strength of the connections between samples. The proposal is validated by performing four tasting sessions, with three types of panels tasting different wines, and by develo** a new software to implement the proposed techniques. The results obtained show that the graphics provide similar positionings of the samples as the consensus maps obtained by multiple factor analysis (MFA), further providing extra information about connections between samples, not present in any previous method. The main conclusion is that the use of geometric techniques provides information complementary to MFA, and of a different type. Finally, the method proposed is computationally able to manage a significantly larger number of assessors than MFA, which can be useful for the comparison of pictures by a huge number of consumers, via the Internet. △ Less

Submitted 16 September, 2018; originally announced September 2018.

Comments: 21 pages, 7 figures, 3 tables. Accepted at Food Quality and Preference

Journal ref: Food Quality and Preference 72 (2019), 1-9

Generation of planar tensegrity structures through cellular multiplication

Authors: Omar Aloui, David Orden, Landolf Rhode-Barbarigos

Abstract: Tensegrity structures are frameworks in a stable self-equilibrated prestress state that have been applied in various fields in science and engineering. Research into tensegrity structures has resulted in reliable techniques for their form finding and analysis. However, most techniques address topology and form separately. This paper presents a bio-inspired approach for the combined topology identi… ▽ More Tensegrity structures are frameworks in a stable self-equilibrated prestress state that have been applied in various fields in science and engineering. Research into tensegrity structures has resulted in reliable techniques for their form finding and analysis. However, most techniques address topology and form separately. This paper presents a bio-inspired approach for the combined topology identification and form finding of planar tensegrity structures. Tensegrity structures are generated using tensegrity cells (elementary stable self-stressed units that have been proven to compose any tensegrity structure) according to two multiplication mechanisms: cellular adhesion and fusion. Changes in the dimension of the self-stress space of the structure are found to depend on the number of adhesion and fusion steps conducted as well as on the interaction among the cells composing the system. A methodology for defining a basis of the self-stress space is also provided. Through the definition of the equilibrium shape, the number of nodes and members as well as the number of self-stress states, the cellular multiplication method can integrate design considerations, providing great flexibility and control over the tensegrity structure designed and opening the door to the development of a whole new realm of planar tensegrity systems with controllable characteristics. △ Less

Submitted 17 July, 2018; originally announced July 2018.

Comments: 29 pages, 19 figures, to appear at Applied Mathematical Modeling

Journal ref: Applied Mathematical Modelling 64 (2018), 71-92

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

Optimizing generalized kernels of polygons

Authors: Alejandra Martinez-Moraian, David Orden, Leonidas Palios, Carlos Seara, Paweł Żyliński

Abstract: Let $\mathcal{O}$ be a set of $k$ orientations in the plane, and let $P$ be a simple polygon in the plane. Given two points $p,q$ inside $P$, we say that $p$ $\mathcal{O}$-\emph{sees} $q$ if there is an $\mathcal{O}$-\emph{staircase} contained in $P$ that connects $p$ and $q$. The $\mathcal{O}$-${\rm Kernel }$ of the polygon $P$, denoted by $\mathcal{O}$-${\rm Kernel }(P)$, is the subset of points… ▽ More Let $\mathcal{O}$ be a set of $k$ orientations in the plane, and let $P$ be a simple polygon in the plane. Given two points $p,q$ inside $P$, we say that $p$ $\mathcal{O}$-\emph{sees} $q$ if there is an $\mathcal{O}$-\emph{staircase} contained in $P$ that connects $p$ and $q$. The $\mathcal{O}$-${\rm Kernel }$ of the polygon $P$, denoted by $\mathcal{O}$-${\rm Kernel }(P)$, is the subset of points which $\mathcal{O}$-see all the other points in $P$. This work initiates the study of the computation and maintenance of $\mathcal{O}$-${\rm Kernel }(P)$ as we rotate the set $\mathcal{O}$ by an angle $θ$, denoted $\mathcal{O}$-${\rm Kernel }_θ(P)$. In particular, we consider the case when the set $\mathcal{O}$ is formed by either one or two orthogonal orientations, $\mathcal{O}=\{0^\circ\}$ or $\mathcal{O}=\{0^\circ,90^\circ\}$. For these cases and $P$ being a simple polygon, we design efficient algorithms for computing and maintaining the $\mathcal{O}$-${\rm Kernel }_θ(P)$ while $θ$ varies in $[-\fracπ{2},\fracπ{2})$, obtaining the angular intervals where: (i) $\mathcal{O}$-${\rm Kernel }_θ(P)$ is not empty, (ii) $\mathcal{O}$-${\rm Kernel }_θ(P)$ optimizes area or perimeter. Further, we show how the algorithms can be improved when $P$ is a simple orthogonal polygon. △ Less

Submitted 26 March, 2021; v1 submitted 16 February, 2018; originally announced February 2018.

Comments: 26 pages, 18 figures, version submitted to Journal of Global Optimization (the accepted version including minor changes)

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 aperture angles of the… ▽ 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 aperture angles of the $2k$ sectors defined by every pair of two consecutive lines. Let $Θ_{i}=π-α_i$ and $Θ=\min\{Θ_i:i=1,\ldots,2k\}$. We further 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, while if $Θ<\fracπ{2}$ the complexities are $O(\frac{n}Θ\log n)$ time and $O(\frac{n}Θ)$ space. (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 in $O(k\frac{n}Θ\log n)$ time and $O(k\frac{n}Θ)$ space if $Θ<\fracπ{2}$. (3) Finally, given a set $\mathcal{O}$ such that $Θ\ge\fracπ{2}$, we compute the ${\mathcal{O}}_θ$-convex hull of $P$ of minimum (or maximum) area over all $θ\in [0,2π)$ in $O(kn\log n)$ time and $O(kn)$ space. △ Less

Submitted 25 February, 2019; v1 submitted 30 October, 2017; originally announced October 2017.

Comments: 28 pages, 23 figures. Changes in the order in which results are presented, as well as several further improvements and clarifications. This work has received funding from the European Union's Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Actions - RISE - grant agreement No 734922 - CONNECT

$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

On the $O_β$-hull of a planar point set

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

Abstract: We study the $O_β$-hull of a planar point set, a generalization of the Orthogonal Convex Hull where the coordinate axes form an angle $β$. Given a set $P$ of $n$ points in the plane, we show how to maintain the $O_β$-hull of $P$ while $β$ runs from $0$ to $π$ in $O(n \log n)$ time and $O(n)$ space. With the same complexity, we also find the values of $β$ that maximize the area and the perimeter of… ▽ More We study the $O_β$-hull of a planar point set, a generalization of the Orthogonal Convex Hull where the coordinate axes form an angle $β$. Given a set $P$ of $n$ points in the plane, we show how to maintain the $O_β$-hull of $P$ while $β$ runs from $0$ to $π$ in $O(n \log n)$ time and $O(n)$ space. With the same complexity, we also find the values of $β$ that maximize the area and the perimeter of the $O_β$-hull and, furthermore, we find the value of $β$ achieving the best fitting of the point set $P$ with a two-joint chain of alternate interior angle $β$. △ Less

Submitted 26 December, 2017; v1 submitted 8 September, 2015; originally announced September 2015.

MSC Class: 68U05 ACM Class: I.3.5

Journal ref: Computational Geometry: Theory an Applications 68 (2018) 277-291

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

Rapidly convergent representations for 2D and 3D Green's functions for a linear periodic array of dipole sources

Authors: Derek Van Orden, Vitaliy Lomakin

Abstract: Hybrid spectral-spatial representations are introduced to rapidly calculate periodic scalar and dyadic Green's functions of the Helmholtz equation for 2D and 3D configurations with a 1D (linear) periodicity. The presented schemes work seamlessly for any observation location near the array and for any practical array periodicities, including electrically small and large periodicities. The represe… ▽ More Hybrid spectral-spatial representations are introduced to rapidly calculate periodic scalar and dyadic Green's functions of the Helmholtz equation for 2D and 3D configurations with a 1D (linear) periodicity. The presented schemes work seamlessly for any observation location near the array and for any practical array periodicities, including electrically small and large periodicities. The representations are based on the expansion of the periodic Green's functions in terms of the continuous spectral integrals over the transverse (to the array) spectral parameters. To achieve high convergence and numerical efficiency, the introduced integral representations are cast in a hybrid form in terms of (i) a small number of contributions due to sources located around the unit cell of interest, (ii) a small number of symmetric combinations of the Floquet modes, and (iii) an integral evaluated along the steepest descent path (SDP). The SDP integral is regularized by extracting the singular behavior near the saddle point of the integrand and integrating the extracted components in closed form. Efficient quadrature rules are established to evaluate this integral using a small number of quadrature nodes with arbitrary small error for a wide range of structure parameters. Strengths of the introduced approach are demonstrated via extensive numerical examples. △ Less

Submitted 21 December, 2008; originally announced December 2008.

Comments: 28 pages, 8 figures, accepted for publication in IEEE Transactions on Antennas and Propagation

Análisis de distancias temporales y espaciales entre el Lugar de La Mancha y cuatro puntos de referencia

Authors: David Orden, Raquel Viaña

Abstract: The identity of the famous place of La Mancha appearing at the Quijote is an unknown with a history almost as long as that of the famous book by Miguel de Cervantes. This work analyzes data obtained from a Geographic Information System and compares the results with those of the previous works. Three different variables with two possible values each are considered: time or space data, 3 or 4 refe… ▽ More The identity of the famous place of La Mancha appearing at the Quijote is an unknown with a history almost as long as that of the famous book by Miguel de Cervantes. This work analyzes data obtained from a Geographic Information System and compares the results with those of the previous works. Three different variables with two possible values each are considered: time or space data, 3 or 4 reference points, and the commonly used distances to the place of La Mancha or a set of recently proposed ones. The village in the Campo de Montiel which is closest to be the place of La Mancha happens to be Carrizosa or Villanueva de los Infantes, depending on the configuration, with the latter being the solution for the configuration in which the relative errors are the smallest and the second candidate village is furthest from the first. ----- La identidad del famoso lugar de la Mancha que aparece en El Quijote es una incógnita con una historia casi tan larga como la publicación de la famosa obra de Miguel de Cervantes. Este trabajo analiza datos obtenidos mediante un Sistema de Información Geográfica y compara los resultados con los de los trabajos anteriores. Se consideran tres variables diferentes con dos posibles valores cada una: datos temporales o espaciales, 3 ó 4 puntos de referencia y las distancias al lugar de La Mancha usadas habitualmente o unas recientemente introducidas. La localidad del Campo de Montiel más cercana a ser el lugar de La Mancha resulta ser Carrizosa o Villanueva de los Infantes, dependiendo de la configuración, siendo ésta última la solución para la configuración en que los errores relativos son los más pequeños y la segunda localidad candidata está más lejos de la primera. △ Less

Submitted 20 October, 2008; v1 submitted 22 July, 2008; originally announced July 2008.

Comments: In spanish, 18 pages, 28 tables, to appear at the volume "El enigma resuelto del Quijote (Un debate sobre el lugar de la Mancha)". Changes from v1: new data from [8], hence new analysis. More variables in input data, hence 8 different configurations

Decomposition of Multiple Coverings into More Parts

Authors: G. Aloupis, J. Cardinal, S. Collette, S. Langerman, D. Orden, P. Ramos

Abstract: We prove that for every centrally symmetric convex polygon Q, there exists a constant alpha such that any alpha*k-fold covering of the plane by translates of Q can be decomposed into k coverings. This improves on a quadratic upper bound proved by Pach and Toth (SoCG'07). The question is motivated by a sensor network problem, in which a region has to be monitored by sensors with limited battery l… ▽ More We prove that for every centrally symmetric convex polygon Q, there exists a constant alpha such that any alpha*k-fold covering of the plane by translates of Q can be decomposed into k coverings. This improves on a quadratic upper bound proved by Pach and Toth (SoCG'07). The question is motivated by a sensor network problem, in which a region has to be monitored by sensors with limited battery lifetime. △ Less

Submitted 3 July, 2008; originally announced July 2008.

Journal ref: Discrete and Computational Geometry 44:3 (2010), 706-723

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.