Showing 1–27 of 27 results for author: Leaños, J

The differential on Graph Operator R(G)

Authors: Ludwin A. Hernández, Jesús Leaños, Omar Rosario, José M. Sigarreta

Abstract: Let $G=(V(G), E(G))$ be a simple graph with vertex set $V(G)$ and edge set $E(G)$. Let $S$ be a subset of $V(G)$, and let $B(S)$ be the set of neighbours of $S$ in $V(G) \setminus S$. The differential $\partial(S)$ of $S$ is the number $|B(S)|-|S|$. The maximum value of $\partial(S)$ taken over all subsets $S\subseteq V(G)$ is the differential $\partial(G)$ of $G$. The graph $R{G}$ is defined as t… ▽ More Let $G=(V(G), E(G))$ be a simple graph with vertex set $V(G)$ and edge set $E(G)$. Let $S$ be a subset of $V(G)$, and let $B(S)$ be the set of neighbours of $S$ in $V(G) \setminus S$. The differential $\partial(S)$ of $S$ is the number $|B(S)|-|S|$. The maximum value of $\partial(S)$ taken over all subsets $S\subseteq V(G)$ is the differential $\partial(G)$ of $G$. The graph $R{G}$ is defined as the graph obtained from $G$ by adding a new vertex $v_e$ for each $e\in E(G)$, and by joining $v_e$ to the end vertices of $e$. In this paper we study the relationship between $\partial(G)$ and $\partial(R(G))$, and give tight asymptotic bounds for $\partial(R(G))$. We also exhibit some relationships between certain vertex sets of $G$ and $R(G)$ which involve well known graph theoretical parameters. △ Less

Submitted 3 August, 2023; originally announced August 2023.

Comments: arXiv admin note: text overlap with arXiv:2106.09829 by other authors

MSC Class: 05C69; 05C76

The Maximum Chromatic Number of the Disjointness Graph of Segments on $n$-point Sets in the Plane with $n\leq 16$

Authors: Jesús García-Davila, Jesús Leaños, Mario Lomelí-Haro, Luis Manuel Ríos-Castro

Abstract: Let $P$ be a finite set of points in general position in the plane. The disjointness graph of segments $D(P)$ of $P$ is the graph whose vertices are all the closed straight line segments with endpoints in $P$, two of which are adjacent in $D(P)$ if and only if they are disjoint. As usual, we use $χかい(D(P))$ to denote the chromatic number of $D(P)$, and use $d(n)$ to denote the maximum $χかい(D(P))$ take… ▽ More Let $P$ be a finite set of points in general position in the plane. The disjointness graph of segments $D(P)$ of $P$ is the graph whose vertices are all the closed straight line segments with endpoints in $P$, two of which are adjacent in $D(P)$ if and only if they are disjoint. As usual, we use $χかい(D(P))$ to denote the chromatic number of $D(P)$, and use $d(n)$ to denote the maximum $χかい(D(P))$ taken over all sets $P$ of $n$ points in general position in the plane. In this paper we show that $d(n)=n-2$ if and only if $n\in \{3,4,\ldots ,16\}$. △ Less

Submitted 30 March, 2023; originally announced March 2023.

Comments: 25 pages, 3 figures

Disjointness Graphs of segments in $R^2$ are almost all Hamiltonian

Authors: J. Leaños, Christophe Ndjatchi, L. M. Ríos-Castro

Abstract: Let $P$ be a set of $n\geq 2$ points in general position in $R^2$. The edge disjointness graph $D(P)$ of $P$ is the graph whose vertices are all the closed straight line segments with endpoints in $P$, two of which are adjacent in $D(P)$ if and only if they are disjoint. In this note, we give a full characterization of all those edge disjointness graphs that are hamiltonian. More precisely, we sha… ▽ More Let $P$ be a set of $n\geq 2$ points in general position in $R^2$. The edge disjointness graph $D(P)$ of $P$ is the graph whose vertices are all the closed straight line segments with endpoints in $P$, two of which are adjacent in $D(P)$ if and only if they are disjoint. In this note, we give a full characterization of all those edge disjointness graphs that are hamiltonian. More precisely, we shall show that (up to order type isomorphism) there are exactly 8 instances of P for which $D(P)$ is not hamiltonian. Additionally, from one of these 8 instances, we derive a counterexample to a criterion for the existence of hamiltonian cycles due to A. D. Plotnikov in 1998. △ Less

Submitted 5 April, 2023; v1 submitted 29 March, 2023; originally announced March 2023.

On the connectivity of the disjointness graph of segments of point sets in general position in the plane

Authors: J. Leaños, Christophe Ndjatchi, L. M. Ríos-Castro

Abstract: Let $P$ be a set of $n\geq 3$ points in general position in the plane. The edge disjointness graph $D(P)$ of $P$ is the graph whose vertices are all the closed straight line segments with endpoints in $P$, two of which are adjacent in $D(P)$ if and only if they are disjoint. We show that the connectivity of $D(P)$ is at least… ▽ More Let $P$ be a set of $n\geq 3$ points in general position in the plane. The edge disjointness graph $D(P)$ of $P$ is the graph whose vertices are all the closed straight line segments with endpoints in $P$, two of which are adjacent in $D(P)$ if and only if they are disjoint. We show that the connectivity of $D(P)$ is at least $\binom{\lfloor\frac{n-2}{2}\rfloor}{2}+\binom{\lceil\frac{n-2}{2}\rceil}{2}$, and that this bound is tight for each $n\geq 3$. △ Less

Submitted 2 May, 2022; v1 submitted 29 July, 2020; originally announced July 2020.

Comments: 16 pages, 5 figures

MSC Class: 05C40

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Combinatorics (May 6, 2022) dmtcs:6678

On the Connectivity of Token Graphs of Trees

Authors: Ruy Fabila-Monroy, Jesús Leaños, Ana Laura Trujillo-Negrete

Abstract: Let $k$ and $n$ be integers such that $1\leq k \leq n-1$, and let $G$ be a simple graph of order $n$. The $k$-token graph $F_k(G)$ of $G$ is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $F_k(G)$ whenever their symmetric difference is an edge of $G$. In this paper we show that if $G$ is a tree, then the connectivity of $F_k(G)$ is equal to the minimum d… ▽ More Let $k$ and $n$ be integers such that $1\leq k \leq n-1$, and let $G$ be a simple graph of order $n$. The $k$-token graph $F_k(G)$ of $G$ is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $F_k(G)$ whenever their symmetric difference is an edge of $G$. In this paper we show that if $G$ is a tree, then the connectivity of $F_k(G)$ is equal to the minimum degree of $F_k(G)$. △ Less

Submitted 22 March, 2022; v1 submitted 29 April, 2020; originally announced April 2020.

MSC Class: 05C40; 05C76

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 24, no. 1, Graph Theory (March 30, 2022) dmtcs:7538

The Edge-connectivity of Token Graphs

Authors: J. Leaños, M. K. Christophe Ndjatchi

Abstract: Let $G$ be a simple graph of order $n\geq 2$ and let $k\in \{1,\ldots ,n-1\}$. The $k$-token graph $F_k(G)$ of $G$ is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $F_k(G)$ whenever their symmetric difference is an edge of $G$. In 2018 J. Leaños and A. L. Trujillo-Negrete proved that if $G$ is $t$-connected and $t\geq k$, then $F_k(G)$ is at least… ▽ More Let $G$ be a simple graph of order $n\geq 2$ and let $k\in \{1,\ldots ,n-1\}$. The $k$-token graph $F_k(G)$ of $G$ is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $F_k(G)$ whenever their symmetric difference is an edge of $G$. In 2018 J. Leaños and A. L. Trujillo-Negrete proved that if $G$ is $t$-connected and $t\geq k$, then $F_k(G)$ is at least $k(t-k+1)$-connected. In this paper we show that such a lower bound remains true in the context of edge-connectivity. Specifically, we show that if $G$ is $t$-edge-connected and $t\geq k$, then $F_k(G)$ is at least $k(t-k+1)$-edge-connected. We also provide some families of graphs attaining this bound. △ Less

Submitted 14 September, 2019; originally announced September 2019.

Comments: 12 pages, 4 figures

MSC Class: 05C40

Bounded maximum degree conjecture holds precisely for $c$-crossing-critical graphs with $c \leq 12$

Authors: Drago Bokal, Zdeněk Dvořák, Petr Hliněný, Jesús Leaños, Bojan Mohar, Tilo Wiedera

Abstract: We study $c$-crossing-critical graphs, which are the minimal graphs that require at least $c$ edge-crossings when drawn in the plane. For every fixed pair of integers with $c\ge 13$ and $d\ge 1$, we give first explicit constructions of $c$-crossing-critical graphs containing a vertex of degree greater than $d$. We also show that such unbounded degree constructions do not exist for $c\le 12$, preci… ▽ More We study $c$-crossing-critical graphs, which are the minimal graphs that require at least $c$ edge-crossings when drawn in the plane. For every fixed pair of integers with $c\ge 13$ and $d\ge 1$, we give first explicit constructions of $c$-crossing-critical graphs containing a vertex of degree greater than $d$. We also show that such unbounded degree constructions do not exist for $c\le 12$, precisely, that there exists a constant $D$ such that every $c$-crossing-critical graph with $c\le 12$ has maximum degree at most $D$. Hence, the bounded maximum degree conjecture of $c$-crossing-critical graphs, which was generally disproved in 2010 by Dvořák and Mohar (without an explicit construction), holds true, surprisingly, exactly for the values $c\le 12.$ △ Less

Submitted 5 May, 2021; v1 submitted 13 March, 2019; originally announced March 2019.

Context, Attention and Audio Feature Explorations for Audio Visual Scene-Aware Dialog

Authors: Shachi H Kumar, Eda Okur, Saurav Sahay, Juan Jose Alvarado Leanos, Jonathan Huang, Lama Nachman

Abstract: With the recent advancements in AI, Intelligent Virtual Assistants (IVA) have become a ubiquitous part of every home. Going forward, we are witnessing a confluence of vision, speech and dialog system technologies that are enabling the IVAs to learn audio-visual groundings of utterances and have conversations with users about the objects, activities and events surrounding them. As a part of the 7th… ▽ More With the recent advancements in AI, Intelligent Virtual Assistants (IVA) have become a ubiquitous part of every home. Going forward, we are witnessing a confluence of vision, speech and dialog system technologies that are enabling the IVAs to learn audio-visual groundings of utterances and have conversations with users about the objects, activities and events surrounding them. As a part of the 7th Dialog System Technology Challenges (DSTC7), for Audio Visual Scene-Aware Dialog (AVSD) track, We explore `topics' of the dialog as an important contextual feature into the architecture along with explorations around multimodal Attention. We also incorporate an end-to-end audio classification ConvNet, AclNet, into our models. We present detailed analysis of the experiments and show that some of our model variations outperform the baseline system presented for this task. △ Less

Submitted 20 December, 2018; originally announced December 2018.

Comments: 7 pages, 2 figures, DSTC7 workshop at AAAI 2019

AclNet: efficient end-to-end audio classification CNN

Authors: Jonathan J Huang, Juan Jose Alvarado Leanos

Abstract: We propose an efficient end-to-end convolutional neural network architecture, AclNet, for audio classification. When trained with our data augmentation and regularization, we achieved state-of-the-art performance on the ESC-50 corpus with 85:65% accuracy. Our network allows configurations such that memory and compute requirements are drastically reduced, and a tradeoff analysis of accuracy and com… ▽ More We propose an efficient end-to-end convolutional neural network architecture, AclNet, for audio classification. When trained with our data augmentation and regularization, we achieved state-of-the-art performance on the ESC-50 corpus with 85:65% accuracy. Our network allows configurations such that memory and compute requirements are drastically reduced, and a tradeoff analysis of accuracy and complexity is presented. The analysis shows high accuracy at significantly reduced computational complexity compared to existing solutions. For example, a configuration with only 155k parameters and 49:3 million multiply-adds per second is 81:75%, exceeding human accuracy of 81:3%. This improved efficiency can enable always-on inference in energy-efficient platforms. △ Less

Submitted 15 November, 2018; originally announced November 2018.

On the Number of Order Types in Integer Grids of Small Size

Authors: Luis E. Caraballo, José-Miguel Díaz-Báñez, Ruy Fabila-Monroy, Carlos Hidalgo-Toscano, Jesús Leaños, Amanda Montejano

Abstract: Let $\{p_1,\dots,p_n\}$ and $\{q_1,\dots,q_n\}$ be two sets of $n$ labeled points in general position in the plane. We say that these two point sets have the same order type if for every triple of indices $(i,j,k)$, $p_k$ is above the directed line from $p_i$ to $p_j$ if and only if $q_k$ is above the directed line from $q_i$ to $q_j$. In this paper we give the first non-trivial lower bounds on th… ▽ More Let $\{p_1,\dots,p_n\}$ and $\{q_1,\dots,q_n\}$ be two sets of $n$ labeled points in general position in the plane. We say that these two point sets have the same order type if for every triple of indices $(i,j,k)$, $p_k$ is above the directed line from $p_i$ to $p_j$ if and only if $q_k$ is above the directed line from $q_i$ to $q_j$. In this paper we give the first non-trivial lower bounds on the number of different order types of $n$ points that can be realized in integer grids of polynomial △ Less

Submitted 16 November, 2018; v1 submitted 6 November, 2018; originally announced November 2018.

The Chromatic Number of the Disjointness Graph of the Double Chain

Authors: Ruy Fabila-Monroy, Carlos Hidalgo-Toscano, Jesús Leaños, Mario Lomelí-Haro

Abstract: Let $P$ be a set of $n\geq 4$ points in general position in the plane. Consider all the closed straight line segments with both endpoints in $P$. Suppose that these segments are colored with the rule that disjoint segments receive different colors. In this paper we show that if $P$ is the point configuration known as the double chain, with $k$ points in the upper convex chain and $l \ge k$ points… ▽ More Let $P$ be a set of $n\geq 4$ points in general position in the plane. Consider all the closed straight line segments with both endpoints in $P$. Suppose that these segments are colored with the rule that disjoint segments receive different colors. In this paper we show that if $P$ is the point configuration known as the double chain, with $k$ points in the upper convex chain and $l \ge k$ points in the lower convex chain, then $k+l- \left\lfloor \sqrt{2l+\frac{1}{4}} - \frac{1}{2}\right\rfloor$ colors are needed and that this number is sufficient. △ Less

Submitted 17 March, 2020; v1 submitted 15 November, 2017; originally announced November 2017.

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Graph Theory (March 22, 2020) dmtcs:4490

The packing number of the double vertex graph of the path graph

Authors: José Manuel Gómez Soto, Jesús Leaños, Luis Manuel Ríos-Castro, Luis Manuel Rivera

Abstract: Neil Sloane showed that the problem of determine the maximum size of a binary code of constant weight 2 that can correct a single adjacent transposition is equivalent to finding the packing number of a certain graph. In this paper we solve this open problem by finding the packing number of the double vertex graph (2-token graph) of a path graph. This double vertex graph is isomorphic to the Sloane… ▽ More Neil Sloane showed that the problem of determine the maximum size of a binary code of constant weight 2 that can correct a single adjacent transposition is equivalent to finding the packing number of a certain graph. In this paper we solve this open problem by finding the packing number of the double vertex graph (2-token graph) of a path graph. This double vertex graph is isomorphic to the Sloane's graph. Our solution implies a conjecture of Rob Pratt about the ordinary generating function of sequence A085680. △ Less

Submitted 24 March, 2018; v1 submitted 9 November, 2017; originally announced November 2017.

Comments: 21 pages, 7 figures. V2: 22 pages, more figures added. V3. minor corrections based on referee's comments. One figure corrected. The title "On an error correcting code problem" has been changed

MSC Class: 94B05; 94B65; 05C70; 05C76

Journal ref: Discrete Appl. Math, 247 (2018) 327-340

The complexity of computing the cylindrical and the $t$-circle crossing number of a graph

Authors: Frank Duque, Hernán González-Aguilar, César Hernández-Vélez, Jesús Leaños, Carolina Medina

Abstract: A plane drawing of a graph is {\em cylindrical} if there exist two concentric circles that contain all the vertices of the graph, and no edge intersects (other than at its endpoints) any of these circles. The {\em cylindrical crossing number} of a graph \(G\) is the minimum number of crossings in a cylindrical drawing of \(G\). In his influential survey on the variants of the definition of the cro… ▽ More A plane drawing of a graph is {\em cylindrical} if there exist two concentric circles that contain all the vertices of the graph, and no edge intersects (other than at its endpoints) any of these circles. The {\em cylindrical crossing number} of a graph \(G\) is the minimum number of crossings in a cylindrical drawing of \(G\). In his influential survey on the variants of the definition of the crossing number of a graph, Schaefer lists the complexity of computing the cylindrical crossing number of a graph as an open question. In this paper we settle this by showing that this problem is NP-complete. Moreover, we show an analogous result for the natural generalization of the cylindrical crossing number, namely the \(t\)-{\em circle crossing number}. △ Less

Submitted 6 August, 2017; originally announced August 2017.

MSC Class: 05C10; 68R10; 05C85

Journal ref: Electron. J. Combin. 25 (2018), no. 2, Paper 2.43, 11 pp

Independence and matching numbers of some token graphs

Authors: Hernan de Alba, Walter Carballosa, Jesús Leaños, Luis Manuel Rivera

Abstract: Let $G$ be a graph of order $n$ and let $k\in\{1,\ldots,n-1\}$. The $k$-token graph $F_k(G)$ of $G$, is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $F_k(G)$ whenever their symmetric difference is an edge of $G$. We study the independence and matching numbers of $F_k(G)$. We present a tight lower bound for the matching number of $F_k(G)$ for the case i… ▽ More Let $G$ be a graph of order $n$ and let $k\in\{1,\ldots,n-1\}$. The $k$-token graph $F_k(G)$ of $G$, is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $F_k(G)$ whenever their symmetric difference is an edge of $G$. We study the independence and matching numbers of $F_k(G)$. We present a tight lower bound for the matching number of $F_k(G)$ for the case in which $G$ has either a perfect matching or an almost perfect matching. Also, we estimate the independence number for bipartite $k$-token graphs, and determine the exact value for some graphs. △ Less

Submitted 10 December, 2018; v1 submitted 20 June, 2016; originally announced June 2016.

Comments: 16 pages, 4 figures. Third version is a major revision. Some proofs were corrected or simplified. New references added

MSC Class: 05C10; 05C69

Journal ref: Australas J. Combin., 76(3), (2020), 387-403

Regularity and Planarity of Token Graphs

Authors: Walter Carballosa, Ruy Fabila-Monroy, Jesús Leaños, Luis Manuel Rivera

Abstract: Let $G=(V,E)$ be a graph of order $n$ and let $1\leq k< n$ be an integer. The $k$-token graph of $G$ is the graph whose vertices are all the $k$-subsets of $V$, two of which are adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$. In this paper we characterize precisely, for each value of $k$, which graphs have a regular $k$-token graph and which connected graphs hav… ▽ More Let $G=(V,E)$ be a graph of order $n$ and let $1\leq k< n$ be an integer. The $k$-token graph of $G$ is the graph whose vertices are all the $k$-subsets of $V$, two of which are adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$. In this paper we characterize precisely, for each value of $k$, which graphs have a regular $k$-token graph and which connected graphs have a planar $k$-token graph. △ Less

Submitted 14 June, 2016; v1 submitted 1 October, 2015; originally announced October 2015.

Comments: 13 pages, 5 figures. Referee suggestions and corrections incorporated (in particular, a mistake in the proof of Theorem 2.9 was fixed). One reference added. Accepted for publication in "Discussiones Mathematicae Graph Theory"

MSC Class: 05C10; 05C69

Journal ref: Discussiones Mathematicae Graph Theory, 37(3) (2017), 573-586

The $2nd-$convex hull of every optimal rectilinear drawing of $K_{n}$ is a triangle

Authors: J. Leaños, M. Lomeli, M. Ramírez-Ibáñez, L. M. Rivera-Martínez

Abstract: A rectilinear drawing of a graph $G$ is optimal if it has the smallest number of crossings among all rectilinear drawings of $G$. In this paper it is shown that for $n\geq 8$, the second convex hull of every optimal rectilinear drawing of the complete graph $K_n$ is a triangle. A rectilinear drawing of a graph $G$ is optimal if it has the smallest number of crossings among all rectilinear drawings of $G$. In this paper it is shown that for $n\geq 8$, the second convex hull of every optimal rectilinear drawing of the complete graph $K_n$ is a triangle. △ Less

Submitted 14 June, 2016; v1 submitted 2 November, 2014; originally announced November 2014.

Comments: This paper has been withdrawn by the authors due to a crucial error in the proof of the main result

MSC Class: 05C10; 68R10

On the pseudolinear crossing number

Authors: Cesar Hernandez-Velez, Jesus Leanos, Gelasio Salazar

Abstract: A drawing of a graph is {\em pseudolinear} if there is a pseudoline arrangement such that each pseudoline contains exactly one edge of the drawing. The {\em pseudolinear crossing number} of a graph $G$ is the minimum number of pairwise crossings of edges in a pseudolinear drawing of $G$. We establish several facts on the pseudolinear crossing number, including its computational complexity and its… ▽ More A drawing of a graph is {\em pseudolinear} if there is a pseudoline arrangement such that each pseudoline contains exactly one edge of the drawing. The {\em pseudolinear crossing number} of a graph $G$ is the minimum number of pairwise crossings of edges in a pseudolinear drawing of $G$. We establish several facts on the pseudolinear crossing number, including its computational complexity and its relationship to the usual crossing number and to the rectilinear crossing number. This investigation was motivated by open questions and issues raised by Marcus Schaefer in his comprehensive survey of the many variants of the crossing number of a graph. △ Less

Submitted 29 April, 2014; originally announced April 2014.

Comments: 12 pages

MSC Class: 05C10; 52C30; 68R10; 05C62

The Erdős-Sós Conjecture for Geometric Graphs

Authors: Luis F. Barba, Ruy Fabila-Monroy, Dolores Lara, Jesús Leaños, Cynthia Rodríguez, Gelasio Salazar, Francisco Zaragoza

Abstract: Let $f(n,k)$ be the minimum number of edges that must be removed from some complete geometric graph $G$ on $n$ points, so that there exists a tree on $k$ vertices that is no longer a planar subgraph of $G$. In this paper we show that $(1/2)\frac{n^2}{k-1}-\frac{n}{2}\le f(n,k) \le 2 \frac{n(n-2)}{k-2}$. For the case when $k=n$, we show that $2 \le f(n,n) \le 3$. For the case when $k=n$ and $G$ is… ▽ More Let $f(n,k)$ be the minimum number of edges that must be removed from some complete geometric graph $G$ on $n$ points, so that there exists a tree on $k$ vertices that is no longer a planar subgraph of $G$. In this paper we show that $(1/2)\frac{n^2}{k-1}-\frac{n}{2}\le f(n,k) \le 2 \frac{n(n-2)}{k-2}$. For the case when $k=n$, we show that $2 \le f(n,n) \le 3$. For the case when $k=n$ and $G$ is a geometric graph on a set of points in convex position, we show that at least three edges must be removed. △ Less

Submitted 5 July, 2012; originally announced July 2012.

On the decay of crossing numbers of sparse graphs

Authors: Jozsef Balogh, Jesus Leanos, Gelasio Salazar

Abstract: Richter and Thomassen proved that every graph has an edge $e$ such that the crossing number $\ucr(G-e)$ of $G-e$ is at least $(2/5)\ucr(G) - O(1)$. Fox and Cs. Tóth proved that dense graphs have large sets of edges (proportional in the total number of edges) whose removal leaves a graph with crossing number proportional to the crossing number of the original graph; this result was later strenghten… ▽ More Richter and Thomassen proved that every graph has an edge $e$ such that the crossing number $\ucr(G-e)$ of $G-e$ is at least $(2/5)\ucr(G) - O(1)$. Fox and Cs. Tóth proved that dense graphs have large sets of edges (proportional in the total number of edges) whose removal leaves a graph with crossing number proportional to the crossing number of the original graph; this result was later strenghtened by Černý, Kynčl and G. Tóth. These results make our understanding of the {decay} of crossing numbers in dense graphs essentially complete. In this paper we prove a similar result for large sparse graphs in which the number of edges is not artificially inflated by operations such as edge subdivisions. We also discuss the connection between the decay of crossing numbers and expected crossing numbers, a concept recently introduced by Mohar and Tamon. △ Less

Submitted 2 March, 2012; originally announced March 2012.

MSC Class: 05C07; 05C10; 05C38

Minor crossing number is additive over arbitrary cuts

Authors: Drago Bokal, Markus Chimani, Jesús Leaños

Abstract: We prove that if $G$ is a graph with an minimal edge cut $F$ of size three and $G_1$, $G_2$ are the two (augmented) components of $G-F$, then the crossing number of $G$ is equal to the sum of crossing numbers of $G_1$ and $G_2$. Combining with known results, this implies that crossing number is additive over edge-cuts of size $d$ for $d\in\{0, 1, 2, 3\}$, whereas there are counterexamples for ever… ▽ More We prove that if $G$ is a graph with an minimal edge cut $F$ of size three and $G_1$, $G_2$ are the two (augmented) components of $G-F$, then the crossing number of $G$ is equal to the sum of crossing numbers of $G_1$ and $G_2$. Combining with known results, this implies that crossing number is additive over edge-cuts of size $d$ for $d\in\{0, 1, 2, 3\}$, whereas there are counterexamples for every $d\ge 4$. The techniques generalize to show that minor crossing number is additive over edge cuts of arbitrary size, as well as to provide bounds for crossing number additivity in arbitrary surfaces. We point out several applications to exact crossing number computation and crossing critical graphs, as well as provide a very general lower bound for the minor crossing number of the Cartesian product of an arbitrary graph with a tree. △ Less

Submitted 25 November, 2011; originally announced November 2011.

Comments: 11 pages

Visibility-preserving convexifications using single-vertex moves

Authors: Bernardo M. Abrego, Mario Cetina, Jesus Leanos, Gelasio Salazar

Abstract: Devadoss asked: (1) can every polygon be convexified so that no internal visibility (between vertices) is lost in the process? Moreover, (2) does such a convexification exist, in which exactly one vertex is moved at a time (that is, using {\em single-vertex moves})? We prove the redundancy of the "single-vertex moves" condition: an affirmative answer to (1) implies an affirmative answer to (2). Si… ▽ More Devadoss asked: (1) can every polygon be convexified so that no internal visibility (between vertices) is lost in the process? Moreover, (2) does such a convexification exist, in which exactly one vertex is moved at a time (that is, using {\em single-vertex moves})? We prove the redundancy of the "single-vertex moves" condition: an affirmative answer to (1) implies an affirmative answer to (2). Since Aichholzer et al. recently proved (1), this settles (2). △ Less

Submitted 17 May, 2011; originally announced May 2011.

On $(\le k)$-edges, crossings, and halving lines of geometric drawings of $K_n$

Authors: Bernardo M. Ábrego, Mario Cetina, Silvia Fernández-Merchant, Jesús Leaños, Gelasio Salazar

Abstract: Let $P$ be a set of points in general position in the plane. Join all pairs of points in $P$ with straight line segments. The number of segment-crossings in such a drawing, denoted by $\crg(P)$, is the \emph{rectilinear crossing number} of $P$. A \emph{halving line} of $P$ is a line passing though two points of $P$ that divides the rest of the points of $P$ in (almost) half. The number of halving… ▽ More Let $P$ be a set of points in general position in the plane. Join all pairs of points in $P$ with straight line segments. The number of segment-crossings in such a drawing, denoted by $\crg(P)$, is the \emph{rectilinear crossing number} of $P$. A \emph{halving line} of $P$ is a line passing though two points of $P$ that divides the rest of the points of $P$ in (almost) half. The number of halving lines of $P$ is denoted by $h(P)$. Similarly, a $k$\emph{-edge}, $0\leq k\leq n/2-1$, is a line passing through two points of $P$ and leaving exactly $k$ points of $P$ on one side. The number of $(\le k)$-edges of $P$ is denoted by $E_{\leq k}(P) $. Let $\rcr(n)$, $h(n)$, and $E_{\leq k}(n) $ denote the minimum of $\crg(P)$, the maximum of $h(P)$, and the minimum of $E_{\leq k}(P) $, respectively, over all sets $P$ of $n$ points in general position in the plane. We show that the previously best known lower bound on $E_{\leq k}(n)$ is tight for $k<\lceil (4n-2) /9\rceil $ and improve it for all $k\geq \lceil (4n-2) /9 \rceil $. This in turn improves the lower bound on $\rcr(n)$ from $0.37968\binom{n} {4}+Θしーた(n^{3})$ to {277/729}\binom{n}{4}+Θしーた(n^{3})\geq 0.37997\binom{n}{4}+Θしーた(n^{3})$. We also give the exact values of $\rcr(n)$ and $h(n) $ for all $n\leq27$. Exact values were known only for $n\leq18$ and odd $n\leq21$ for the crossing number, and for $n\leq14$ and odd $n\leq21$ for halving lines. △ Less

Submitted 16 March, 2011; v1 submitted 24 February, 2011; originally announced February 2011.

Comments: Second version. In the first version, the PostScript version was OK (24 pages long), but in the generated PDF version (27 pages long) the last 3 pages contained superfluous figures. This is corrected in the second version

MSC Class: 52C30; 52C10; 52C45; 05C62; 68R10; 60D05; and 52A22

Point sets that minimize $(\le k)$-edges, 3-decomposable drawings, and the rectilinear crossing number of $K_{30}$

Authors: M. Cetina, C. Hernández-Vélez, J. Leaños, C. Villalobos

Abstract: There are two properties shared by all known crossing-minimizing geometric drawings of $K_n$, for $n$ a multiple of 3. First, the underlying $n$-point set of these drawings has exactly $3\binom{k+2}{2}$ $(\le k)$-edges, for all $0\le k < n/3$. Second, all such drawings have the $n$ points divided into three groups of equal size; this last property is captured under the concept of 3-decomposability… ▽ More There are two properties shared by all known crossing-minimizing geometric drawings of $K_n$, for $n$ a multiple of 3. First, the underlying $n$-point set of these drawings has exactly $3\binom{k+2}{2}$ $(\le k)$-edges, for all $0\le k < n/3$. Second, all such drawings have the $n$ points divided into three groups of equal size; this last property is captured under the concept of 3-decomposability. In this paper we show that these properties are tightly related: every $n$-point set with exactly $3\binom{k+2}{2}$ $(\le k)$-edges for all $0\le k < n/3$, is 3-decomposable. As an application, we prove that the rectilinear crossing number of $K_{30}$ is 9726. △ Less

Submitted 28 March, 2011; v1 submitted 23 September, 2010; originally announced September 2010.

Comments: 14 pages

Simple Euclidean arrangements with one (>=5)-gon

Authors: Jesus Leaños, Mbe Koua Christophe Ndjatchi, Luis Manuel Rivera-Martinez

Abstract: Let L be a simple Euclidean arrangement of n pseudolines. It is shown that if L has exactly one (>=5)=gon P, and k is the number of edges of P that are adjacent to an unbounded cell of the subarrangement of L induced by the pseudolines in P, then L has exactly n-k triangles and k+n(n-5)/2 quadrilaterals. We also prove that if each pseudoline of L is adjacent to P then L is stretchable. Let L be a simple Euclidean arrangement of n pseudolines. It is shown that if L has exactly one (>=5)=gon P, and k is the number of edges of P that are adjacent to an unbounded cell of the subarrangement of L induced by the pseudolines in P, then L has exactly n-k triangles and k+n(n-5)/2 quadrilaterals. We also prove that if each pseudoline of L is adjacent to P then L is stretchable. △ Less

Submitted 26 August, 2010; originally announced August 2010.

Comments: 17 pages, 15 figures

On the number of mth roots of permutations

Authors: Jesús Leaños, Rutilo Moreno, Luis Manuel Rivera-Martínez

Abstract: Let m be a fixed positive integer. It is well-known that a permutation $σしぐま$ may have one, many, or no mth roots. In this note we provide an explicit expression and a generating function for the number of mth roots of σしぐま. Let p_m(n) be the probability that a random n-permutation has an mth root. We also include a proof that p_m(jq)=p_m(jq+1)=... =p_m(jq+(q-1)) where j=0,1,... and m is a power of prim… ▽ More Let m be a fixed positive integer. It is well-known that a permutation $σしぐま$ may have one, many, or no mth roots. In this note we provide an explicit expression and a generating function for the number of mth roots of σしぐま. Let p_m(n) be the probability that a random n-permutation has an mth root. We also include a proof that p_m(jq)=p_m(jq+1)=... =p_m(jq+(q-1)) where j=0,1,... and m is a power of prime q. △ Less

Submitted 12 September, 2011; v1 submitted 10 May, 2010; originally announced May 2010.

Comments: 16 pages. Revised version, one subsection added. To appear in Australas J. Combinatorics

MSC Class: 05A05; 05A15

Journal ref: Australas J. Combin. 52 (2012) 41-54

3--symmetric and 3--decomposable drawings of $K_n$ (extended version)

Authors: B. Ábrego, M. Cetina, S. Fernández--Merchant, J. Leaños, G. Salazar

Abstract: Even the most superficial glance at the vast majority of crossing-minimal geometric drawings of $K_n$ reveals two hard-to-miss features. First, all such drawings appear to be 3-fold symmetric (or simply {\em 3-symmetric}) . And second, they all are {\em 3-decomposable}, that is, there is a triangle $T$ enclosing the drawing, and a balanced partition $A, B, C$ of the underlying set of points $P$,… ▽ More Even the most superficial glance at the vast majority of crossing-minimal geometric drawings of $K_n$ reveals two hard-to-miss features. First, all such drawings appear to be 3-fold symmetric (or simply {\em 3-symmetric}) . And second, they all are {\em 3-decomposable}, that is, there is a triangle $T$ enclosing the drawing, and a balanced partition $A, B, C$ of the underlying set of points $P$, such that the orthogonal projections of $P$ onto the sides of $T$ show $A$ between $B$ and $C$ on one side, $B$ between $A$ and $C$ on another side, and $C$ between $A$ and $B$ on the third side. In fact, we conjecture that all optimal drawings are 3-decomposable, and that there are 3-symmetric optimal constructions for all $n$ multiple of 3. In this paper, we show that any 3-decomposable geometric drawing of $K_n$ has at least $0.380029\binom{n}{4}+Θしーた(n^3)$ crossings. On the other hand, we produce 3-symmetric and 3-decomposable drawings that improve the {\em general} upper bound for the rectilinear crossing number of $K_n$ to $0.380488\binom{n}{4}+Θしーた(n^3)$. We also give explicit 3-symmetric and 3-decomposable constructions for $n<100$ that are at least as good as those previously known. △ Less

Submitted 8 May, 2008; v1 submitted 30 April, 2008; originally announced May 2008.

Comments: Added new content

MSC Class: 05C10

On 3-decomposable geometric drawings of $K_n$

Authors: Bernardo Abrego, Silvia Fernandez-Merchant, Jesus Leanos, Gelasio Salazar

Abstract: The point sets of all known optimal rectilinear drawings of $K_n$ share an unmistakeable clustering property, the so--called {\em 3--decomposability}. It is widely believed that the underlying point sets of all optimal rectilinear drawings of $K_n$ are 3--decomposable. We give a lower bound for the minimum number of $(\le k)$--sets in a 3--decomposable $n$--point set. As an immediate corollary,… ▽ More The point sets of all known optimal rectilinear drawings of $K_n$ share an unmistakeable clustering property, the so--called {\em 3--decomposability}. It is widely believed that the underlying point sets of all optimal rectilinear drawings of $K_n$ are 3--decomposable. We give a lower bound for the minimum number of $(\le k)$--sets in a 3--decomposable $n$--point set. As an immediate corollary, we obtain a lower bound for the crossing number $\rcr(\dd)$ of any rectilinear drawing $\dd$ of $K_n$ with underlying 3--decomposable point set, namely $\rcr(\dd) > {2/27}(15-πぱい^{2})\binom{n}{4}+Θしーた(n^{3}) \approx 0.380029\binom{n}{4} + Θしーた(n^3)$. This closes this gap between the best known lower and upper bounds for the rectilinear crossing number $\rcr(K_n)$ of $K_n$ by over 40%, under the assumption of 3--decomposability. △ Less

Submitted 27 December, 2007; originally announced December 2007.

MSC Class: 05C10