arXiv subjects

Ana Laura Trujillo-Negrete

Publications and source records attributed to Ana Laura Trujillo-Negrete.

10 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↗

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↗

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↗

arXiv2021

Hamiltonicity of the Double Vertex Graph and the Complete Double Vertex Graph of some Join Graphs

Let $G$ be a simple graph of order $n$. The double vertex graph $F_2(G)$ of $G$ is the graph whose vertices are the $2$-subsets of $V(G)$, where two vertices are adjacent in $F_2(G)$ if their symmetric difference is a pair of adjacent vertices in $G$. A generalization of this graph is the complete double vertex graph $M_2(G)$ of $G$, defined as the graph whose vertices are the $2$-multisubsets of $V(G)$, and two of such vertices are adjacent in $M_2(G)$ if their symmetric difference (as multisets) is a pair of adjacent vertices in $G$. In this paper we exhibit an infinite family of graphs (containing Hamiltonian and non-Hamiltonian graphs) for which $F_2(G)$ and $M_2(G)$ are Hamiltonian. This family of graphs is the set of join graphs $G=G_1 + G_2$, where $G_1$ and $G_2$ are of order $m\geq 1$ and $n\geq 2$, respectively, and $G_2$ has a Hamiltonian path. For this family of graphs, we show that if $m\leq 2n$ then $F_2(G)$ is Hamiltonian, and if $m\leq 2(n-1)$ then $M_2(G)$ is Hamiltonian.

math.CO↗

arXiv2021

Hamiltonicity of the Complete Double Vertex Graph of some Join Graphs

The complete double vertex graph $M_2(G)$ of $G$ is defined as the graph whose vertices are the $2$-multisubsets of $V(G)$, and two of such vertices are adjacent in $M_2(G)$ if their symmetric difference (as multisets) is a pair of adjacent vertices in $G$. In this paper we exhibit an infinite family of graphs $G$ (containing Hamiltonian and non-Hamiltonian graphs) for which $M_2(G)$ are Hamiltonian.

math.CO↗

arXiv2021

Hamiltonicity of Token Graphs of some Join Graphs

Let $G$ be a simple graph of order $n$ and let $k$ be an integer such that $1\leq k\leq n-1$. The $k$-token graph $G^{\{k\}}$ of $G$ is the graph whose vertices are the $k$-subsets of $V(G)$, where two vertices are adjacent in $G^{\{k\}}$ whenever their symmetric difference is a pair of adjacent vertices in $G$. In this paper we study the Hamiltonicity of the $k$-token graphs of some join graphs. As a consequence, we provide an infinite family of graphs (containing Hamiltonian and non-Hamiltonian graphs) for which their $k$-token graphs are Hamiltonian. Our result provides, to our knowledge, the first family of non-Hamiltonian graphs for which their $k$-token graphs are Hamiltonian, for $2<k<n-2$.

math.CO↗

arXiv2020

Empty Rainbow Triangles in $k$-colored Point Sets

Let $S$ be a set of $n$ points in general position in the plane. Suppose that each point of $S$ has been assigned one of $k \ge 3$ possible colors and that there is the same number, $m$, of points of each color class. A polygon with vertices on $S$ is empty if it does not contain points of $S$ in its interior; and it is rainbow if all its vertices have different colors. Let $f(k,m)$ be the minimum number of empty rainbow triangles determined by $S$. In this paper we give tight asymptotic bounds for this function. Furthermore, we show that $S$ may not determine an empty rainbow quadrilateral for some arbitrarily large values of $k$ and $m$.

cs.CG↗

arXiv2017

Hamiltonicity of token graphs of fan graphs

In this note we show that the token graphs of fan graphs are Hamiltonian. This result provides another proof of the Hamiltonicity of Johnson graphs and also extends previous results obtained by Mirajkar and Priyanka Y. B.

math.CO↗