arXiv subjects

Ruy Fabila-Monroy

Publications and source records attributed to Ruy Fabila-Monroy.

At least 19 recordsLinked to original sources

arXiv2026

Automorphisms of Token Graphs That Send $4$-Cycles Generated by Two Edges to Cycles Generated by a $4$-Cycle and Two Tokens

Let $G$ be a connected graph. The $k$-token graph of $G$ is the graph $F_k(G)$ whose vertex set consists of all subsets of $k$ vertices of $G$, where two of them are adjacent whenever their symmetric difference is an edge of $G$. Every automorphism of $G$ induces one of $F_k(G)$, as does complementation when $k=|G|/2$; automorphisms of this form are called \emph{induced}. Fabila-Monroy et al.\ (Graphs and Combinatorics 42, 2026) show that token graphs can have many non-induced automorphisms, arising from \emph{twin cuts}. These are cut sets $\{x,y\}$ whose two vertices have the same neighbours (other than themselves) in $G$. These non-induced automorphisms send configurations with a prescribed number of tokens on each component of $G\setminus \{x,y\}$, totalling $k-1$, and exactly one token on one vertex of $\{x,y\}$, to the configuration obtained by moving (\emph{flipping}) the token at $\{x,y\}$ to the other vertex of $\{x,y\}$. These automorphisms send an induced $4$-cycle generated by moving two tokens on two disjoint edges to one generated by moving two tokens on a $4$-cycle; thus introducing what we call a \emph{twist}. We prove a partial converse: if an isomorphism $φ\colon F_k(G)\to F_{k'}(G')$ sends some $4$-cycle generated by moving two tokens on two disjoint edges to one generated by moving two tokens on a $4$-cycle, then $G$ and $G'$ have twin cuts $\{x,y\}$ and $\{x',y'\}$, respectively. We also show that any twist can be undone by composing $φ$ with twin-cut flips.

math.CO↗

arXiv2026

Blow-ups of order types of positive density

Order types are an equivalence relation between point configurations that capture their combinatorial and convexity properties. Let $P$ be a $κ$-colored sequence of $n \ge d+1$ points in general position in $\mathbb{R}^d$. Let $ρ$ be a $κ$-colored order type on $k \le d+1$ points that has positive density on $P$; that is, for some constant $δ>0$, there are $δ\cdot \binom{n}{k}$ $k$-point subsequences of $P$ that have the same order type as $ρ$ and the same color pattern. In this paper we show that there exists a constant $c >0$ (depending only on $d, δ$, $k$ and $κ$) and disjoint subsets $X_1,\dots,X_k$ of $P$, each with at least $c \cdot n$ points, such that for every choice of $k$ points $x_i \in X_i$, $(x_1,\dots,x_k)$ has the same order type and color pattern as $ρ$.

math.CO↗

arXiv2025

The Euclidean $k$-Matching Problem is NP-hard

Let $G$ be a complete edge-weighted graph on $n$ vertices. To each subset of vertices of $G$ assign the cost of the minimum spanning tree of the subset as its weight. Suppose that $n$ is a multiple of some fixed positive integer $k$. The $k$-matching problem is the problem of finding a partition of the vertices of $G$ into $k$-sets, that minimizes the sum of the weights of the $k$-sets. The case $k=3$ has been shown to be NP-hard [Johnsson et al.,1998]. In the Euclidean version, the vertices of $G$ are points in the plane and the weight of an edge is the Euclidean distance between its endpoints. We call this problem the Euclidean $k$-matching problem. We show that, for every fixed $k \ge 3$, the Euclidean $k$-matching is NP-hard. This resolves an open problem in the literature and provides the first theoretical justification for the use of known heuristic methods in the case $k=3$. We also show that the problem remains NP-hard if the trees are required to be paths.

cs.CG↗

arXiv2025

Domination number of Token Graphs

The $k$-token graph of $G$ is the graph, $F_k(G)$, whose vertices are all the $k$-subsets of $V(G)$; with two of them adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$. In this paper, we study the domination number of the token graphs of the star, $S_n$, and the complete graph, $K_n$.

math.CO↗

arXiv2025

On the Treewidth of Token and Johnson Graphs

Let $G$ be a graph on $n$ vertices and $1 \le k \le n$ a fixed integer. The \textit{$k$-token graph} of $G$ is the graph $F_k(G)$ whose vertex set consists of all $k$-subsets of the vertex set of $G$, where two vertices $A$ and $B$ are adjacent in $F_k(G)$ whenever their symmetric difference $A\triangle B$ is an edge of $G$. In this paper we study the treewidth of $F_k(G)$ when $G$ is a star, path, or a complete graph. We show that in the first two cases, the treewidth is of order $Θ(n^{k-1})$, and of order $Θ(n^k)$ in the third case. We conjecture that our upper bound for the treewidth of $F_k(K_n)$ is tight. This is particularly relevant since $F_k(K_n)$ is isomorphic to the well known Johnson graph $J(n,k)$.

math.CO↗

arXiv2025

On the Automorphism Group of Token Graphs of Complete Bipartite Graphs

Let $G$ be a graph of order $n$ and let $k\in \{1,2,\ldots,n-1\}$. The $k$-token graph of $G$ is the graph, whose vertices are all the $k$-subsets of vertices of $G$, where two such $k$-sets are adjacent whenever their symmetric difference is an edge of $G$. In this paper, we determine the automorphism group of the $k$-token graph of the complete bipartite graph $K_{m,n}$.

math.CO↗

arXiv2025

On the rectilinear crossing number of complete balanced multipartite graphs and layered graphs

A rectilinear drawing of a graph is a drawing of the graph in the plane in which the edges are drawn as straight-line segments. The rectilinear crossing number of a graph is the minimum number of pairs of edges that cross over all rectilinear drawings of the graph. Let $n \ge r$ be positive integers. The graph $K_n^r$, is the complete $r$-partite graph on $n$ vertices, in which every set of the partition has at least $\lfloor n/r \rfloor$ vertices. The layered graph, $L_n^r$, is an $r$-partite graph on $n$ vertices, in which for every $1\le i \le r-1$, all the vertices in the $i$-th partition are adjacent to all the vertices in the $(i+1)$-th partition. In this paper, we give upper bounds on the rectilinear crossing numbers of $K_n^r$ and~$L_n^r$.

math.CO↗

arXiv2024

On the Automorphisms of Token Graphs Generated by $2$-cuts with the Same Neighbours

Let $G$ be a connected graph on $n$ vertices and $1 \le k \le n-1$ an integer. The $k$-token graph of $G$ is the graph $F_k(G)$ whose vertices are all the $k$-subsets of vertices of $G$, two of which are adjacent whenever their symmetric difference is an edge of $G$. Every automorphism of $G$ induces an automorphism of $F_k(G)$ in a natural way. Suppose that $S:=\{x,y\}$ is a cut set of $G$, such that $x$ and $y$ have the same neighbours in $G\setminus \{x,y\}$. In this paper we show that there exist a large number of automorphisms of $F_k(G)$ defined by $S$ that are not induced by automorphisms of $G$. We also describe the group produced by all such $2$-cuts of $G$.

math.CO↗

arXiv2024

Filming runners with drones is hard

The use of drones or Unmanned Aerial Vehicles (UAVs) for aerial photography and cinematography is becoming widespread. The following optimization problem has been recently considered. Let us imagine a sporting event where a group of runners are competing and a team of drones with cameras are used to cover the event. The media \emph{director} selects a set of \emph{filming scenes} (determined by locations and time intervals) and the goal is to maximize the total \emph{filming time} (the sum of recordings) achieved by the aerial cinematographers. Recently, it has been showed that this problem can be solved in polynomial time assuming the drones have unlimited battery endurance. In this paper, we prove that the problem is NP-hard for the more realistic case in which the battery endurance of the drones is limited.

cs.CG↗

arXiv2023

A Note on the Asymptotic Value of the Isoperimetric Number of $J(n,2)$

Let $G$ be a graph on $n$ vertices and $S$ a subset of vertices of $G$; the boundary of $S$ is the set, $\partial S$, of edges of $G$ connecting $ S $ to its complement in $G$. The isoperimetric number of $G$, is the minimum of $\left| \partial S \right|/\left| S \right|$ overall $S \subset V(G)$ of at most $n/2$ vertices. Let $k \le n$ be positive integers. The Johnson graph is the graph, $J(n,k)$, whose vertices are all the subsets of size $k$ of $\{1,\dots,n\}$, two of which are adjacent if their intersection has cardinality equal to $k-1$. In this paper we show that the asymptotic value of the isoperimetric number of the Johnson graph $J(n,2)$ is equal to $ (2-\sqrt{2})n$.

math.CO↗

arXiv2023

A Note on the 2-Colored Rectilinear Crossing Number of Random Point Sets in the Unit Square

Let $S$ be a set of four points chosen independently, uniformly at random from a square. Join every pair of points of $S$ with a straight line segment. Color these edges red if they have positive slope and blue, otherwise. We show that the probability that $S$ defines a pair of crossing edges of the same color is equal to $1/4$. This is connected to a recent result of Aichholzer et al. [GD 2019] who showed that by 2-colouring the edges of a geometric graph and counting monochromatic crossings instead of crossings, the number of crossings can be more than halfed. Our result shows that for the described random drawings, there is a coloring of the edges such that the number of monochromatic crossings is in expectation $\frac{1}{2}-\frac{7}{50}$ of the total number of crossings.

math.CO↗

arXiv2023

A Note on the $k$-colored Crossing Ratio of Dense Geometric Graphs

A \emph{geometric graph} is a graph whose vertex set is a set of points in general position in the plane, and its edges are straight line segments joining these points. We show that for every integer $k \ge 2$, there exists a constat $c>0$ such that the following holds. The edges of every dense geometric graph can be colored with $k$ colors, such that the number of pairs of edges of the same color that cross is at most $(1/k-c)$ times the total number of pairs of edges that cross. The case when $k=2$ and $G$ is a complete geometric graph, was proved by Aichholzer et al.[\emph{GD} 2019].

cs.CG↗

arXiv2022

No Selection Lemma for Empty Triangles

Let $S$ be a set of $n$ points in general position in the plane. The Second Selection Lemma states that for any family of $Θ(n^3)$ triangles spanned by $S$, there exists a point of the plane that lies in a constant fraction of them. For families of $Θ(n^{3-α})$ triangles, with $0\le α\le 1$, there might not be a point in more than $Θ(n^{3-2α})$ of those triangles. An empty triangle of $S$ is a triangle spanned by $S$ not containing any point of $S$ in its interior. Bárány conjectured that there exist an edge spanned by $S$ that is incident to a super constant number of empty triangles of $S$. The number of empty triangles of $S$ might be $O(n^2)$; in such a case, on average, every edge spanned by $S$ is incident to a constant number of empty triangles. The conjecture of Bárány suggests that for the class of empty triangles the above upper bound might not hold. In this paper we show that, somewhat surprisingly, the above upper bound does in fact hold for empty triangles. Specifically, we show that for any integer $n$ and real number $0\leq α\leq 1$ there exists a point set of size $n$ with $Θ(n^{3-α})$ empty triangles such that any point of the plane is only in $O(n^{3-2α})$ empty triangles.

cs.CG↗

arXiv2022

Stochastic strategies for patrolling a terrain with a synchronized multi-robot system

A group of cooperative aerial robots can be deployed to efficiently patrol a terrain, in which each robot flies around an assigned area and shares information with the neighbors periodically in order to protect or supervise it. To ensure robustness, previous works on these synchronized systems propose sending a robot to the neighboring area in case it detects a failure. In order to deal with unpredictability and to improve on the efficiency in the deterministic patrolling scheme, this paper proposes random strategies to cover the areas distributed among the agents. First, a theoretical study of the stochastic process is addressed in this paper for two metrics: the \emph{idle time}, the expected time between two consecutive observations of any point of the terrain and the \emph{isolation time}, the expected time that a robot is without communication with any other robot. After that, the random strategies are experimentally compared with the deterministic strategy adding another metric: the \emph{broadcast time}, the expected time elapsed from the moment a robot emits a message until it is received by all the other robots of the team. The simulations show that theoretical results are in good agreement with the simulations and the random strategies outperform the behavior obtained with the deterministic protocol proposed in the literature.

cs.RO↗

arXiv2022

Connected ($C_4$,Diamond)-free Graphs Are Uniquely Reconstructible from Their Token Graphs

A diamond is the graph that is obtained from removing an edge from the complete graph on $4$ vertices. A ($C_4$,diamond)-free graph is a graph that does not contain a diamond or a cycle on four vertices as induced subgraphs. Let $G$ be a connected ($C_4$,diamond)-free graph on $n$ vertices. Let $1 \le k \le n-1$ be an integer. The $k$-token graph, $F_k(G)$, of $G$ is the graph whose vertices are all the sets of $k$ vertices of $G$; two of which are adjacent if their symmetric difference is a pair of adjacent vertices in $G$. Let $F$ be a graph isomorphic to $F_k(G)$. In this paper we show that given only $F$, we can construct in polynomial time a graph isomorphic to $G$. Let $\operatorname{Aut}(G)$ be the automorphism group of $G$. We also show that if $k\neq n/2$, then $\operatorname{Aut}(G) \simeq \operatorname{Aut}(F_k(G))$; and if $k = n/2$, then $\operatorname{Aut}(G) \simeq \operatorname{Aut}(F_k(G)) \times \mathbb{Z}_2$.

math.CO↗

arXiv2022

On the Connectivity of Token Graphs of Trees

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)$.

math.CO↗

arXiv2020

Counting the Number of Crossings in Geometric Graphs

A geometric graph is a graph whose vertices are points in general position in the plane and its edges are straight line segments joining these points. In this paper we give an $O(n^2 \log n)$ algorithm to compute the number of pairs of edges that cross in a geometric graph on $n$ points. For layered, and convex geometric graphs the algorithm takes $O(n^2)$ time.

cs.CG↗

arXiv2020

An Ongoing Project to Improve the Rectilinear and the Pseudolinear Crossing Constants

A drawing of a graph in the plane is {\it pseudolinear} if the edges of the drawing can be extended to doubly-infinite curves that form an arrangement of pseudolines, that is, any pair of edges crosses precisely once. A special case are {\it rectilinear} drawings where the edges of the graph are drawn as straight line segments. The rectilinear (pseudolinear) crossing number of a graph is the minimum number of pairs of edges of the graph that cross in any of its rectilinear (pseudolinear) drawings. In this paper we describe an ongoing project to continuously obtain better asymptotic upper bounds on the rectilinear and pseudolinear crossing number of the complete graph $K_n$.

math.CO↗