Showing 1–16 of 16 results for author: Trujillo-Negrete, A

Antidirected trees in dense digraphs

Authors: Maya Stein, Ana Trujillo-Negrete

Abstract: We show that if $D$ is an $n$-vertex digraph with more than $(k-1)n$ arcs that does not contain any of three forbidden digraphs, then $D$ contains every antidirected tree on $k$ arcs. The forbidden digraphs are those orientations of $K_{2, \lceil k/12\rceil}$ where each of the vertices in the class of size two has either out-degree $0$ or in-degree $0$. This proves a conjecture of Addario-Berry et… ▽ More We show that if $D$ is an $n$-vertex digraph with more than $(k-1)n$ arcs that does not contain any of three forbidden digraphs, then $D$ contains every antidirected tree on $k$ arcs. The forbidden digraphs are those orientations of $K_{2, \lceil k/12\rceil}$ where each of the vertices in the class of size two has either out-degree $0$ or in-degree $0$. This proves a conjecture of Addario-Berry et al. for a broad class of digraphs, and generalises a result for $K_{2, \lfloor k/12\rfloor}$-free graphs by Balasubramanian and Dobson. We also show that every digraph $D$ on $n$ vertices with more than $(k-1)n$ arcs contains every antidirected $k$-arc caterpillar, thus solving the above conjecture for caterpillars. This generalises a result of Perles. △ Less

Submitted 25 May, 2024; v1 submitted 16 April, 2024; originally announced April 2024.

Comments: The authors' names were incorrectly ordered in the first version. The only modification in the second version is the correction of this formatting error

MSC Class: 05C05; 05C20; 05C35

On the Treewidth of Token and Johnson Graphs

Authors: Ruy Fabila-Monroy, Sergio Gerardo Gómez-Galicia, César Hernández-Cruz, Ana Laura Trujillo-Negrete

Abstract: Let $G$ be a graph on $n$ vertices and $1 \le k \le n$ a fixed integer. The $k$-token graph of $G$ is the graph, $F_k(G)$, whose vertex set is equal to all the $k$-subsets of $V(G)$; where two of them are adjacent whenever their symmetric difference 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… ▽ More Let $G$ be a graph on $n$ vertices and $1 \le k \le n$ a fixed integer. The $k$-token graph of $G$ is the graph, $F_k(G)$, whose vertex set is equal to all the $k$-subsets of $V(G)$; where two of them are adjacent whenever their symmetric difference 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)$. △ Less

Submitted 1 March, 2024; v1 submitted 27 February, 2024; originally announced February 2024.

On the Automorphism Group of Token Graphs of Complete Bipartite Graphs

Authors: Ruy Fabila-Monroy, Ana Laura Trujillo-Negrete

Abstract: 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}$. 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}$. △ Less

Submitted 25 January, 2024; v1 submitted 15 February, 2023; originally announced February 2023.

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

Authors: Ruy Fabila-Monroy, Ana Laura Trujillo-Negrete

Abstract: 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 a… ▽ More 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$. △ Less

Submitted 28 July, 2022; v1 submitted 25 July, 2022; originally announced July 2022.

Hamiltonicity of the Complete Double Vertex Graph of some Join Graphs

Authors: Luis Manuel Rivera, Ana Laura Trujillo-Negrete

Abstract: 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 Hamiltoni… ▽ More 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. △ Less

Submitted 2 August, 2021; originally announced August 2021.

Comments: 8 pages, 1 figure. The results presented in this article were presented in preprint arXiv:2007.00115 which was splitted into two papers

MSC Class: 05C45; 05C76

Hamiltonicity of Token Graphs of some Join Graphs

Authors: Luis Enrique Adame, Luis Manuel Rivera, Ana Laura Trujillo-Negrete

Abstract: 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.… ▽ More 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$. △ Less

Submitted 16 June, 2021; v1 submitted 5 January, 2021; originally announced January 2021.

Comments: The results presented in this article generalize some results presented in arXiv:2007.00115. V2 is a revised version and some mistakes in our proofs were corrected

MSC Class: 05C45; 05C76

Journal ref: Symmetry 13(1076), 2021

On the Laplacian spectra of token graphs

Authors: C. Dalfó, F. Duque, R. Fabila-Monroy, M. A. Fiol, C. Huemer, A. L. Trujillo-Negrete, F. J. Zaragoza Martínez

Abstract: We study the Laplacian spectrum of token graphs, also called symmetric powers of graphs. The $k$-token graph $F_k(G)$ of a graph $G$ is the graph whose vertices are the $k$-subsets of vertices from $G$, two of which being adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$. In this paper, we give a relationship between the Laplacian spectra of any two token graphs of… ▽ More We study the Laplacian spectrum of token graphs, also called symmetric powers of graphs. The $k$-token graph $F_k(G)$ of a graph $G$ is the graph whose vertices are the $k$-subsets of vertices from $G$, two of which being adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$. In this paper, we give a relationship between the Laplacian spectra of any two token graphs of a given graph. In particular, we show that, for any integers $h$ and $k$ such that $1\le h\le k\le \frac{n}{2}$, the Laplacian spectrum of $F_h(G)$ is contained in the Laplacian spectrum of $F_k(G)$. We also show that the double odd graphs and doubled Johnson graphs can be obtained as token graphs of the complete graph $K_n$ and the star $S_{n}=K_{1,n-1}$, respectively. Besides, we obtain a relationship between the spectra of the $k$-token graph of $G$ and the $k$-token graph of its complement $\overline{G}$. This generalizes a well-known property for Laplacian eigenvalues of graphs to token graphs. Finally, the double odd graphs and doubled Johnson graphs provide two infinite families, together with some others, in which the algebraic connectivities of the original graph and its token graph coincide. Moreover, we conjecture that this is the case for any graph $G$ and its token graph. △ Less

Submitted 1 December, 2020; originally announced December 2020.

On the dimension of the map** class groups of a non-orientable surface

Authors: Cristhian E. Hidber, Luis Jorge Sánchez Saldaña, Alejandra Trujillo-Negrete

Abstract: Let $\mathcal{N}_g$ be the map** class group of a non-orientable closed surface. We prove that the proper cohomological dimension, the proper geometric dimension, and the virtual cohomological dimension of $\mathcal{N}_g$ are equal whenever $g\neq 4,5$. In particular, there exists a model for the classifying space of $\mathcal{N}_g$ for proper actions of dimension… ▽ More Let $\mathcal{N}_g$ be the map** class group of a non-orientable closed surface. We prove that the proper cohomological dimension, the proper geometric dimension, and the virtual cohomological dimension of $\mathcal{N}_g$ are equal whenever $g\neq 4,5$. In particular, there exists a model for the classifying space of $\mathcal{N}_g$ for proper actions of dimension $\mathrm{vcd}(\mathcal{N}_g)=2g-5$. Similar results are obtained for the map** class group of a non-orientable surface with boundaries and possibly punctures, and for the pure map** class group of a non-orientable surface with punctures and without boundaries. △ Less

Submitted 6 December, 2021; v1 submitted 24 July, 2020; originally announced July 2020.

Comments: 20 pages. Version accepted for publication in Homology, Homotopy and Applications

Empty Rainbow Triangles in $k$-colored Point Sets

Authors: Ruy Fabila-Monroy, Daniel Perz, Ana Laura Trujillo-Negrete

Abstract: 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… ▽ More 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$. △ Less

Submitted 15 July, 2020; originally announced July 2020.

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

Authors: Luis Enrique Adame, Luis Manuel Rivera, Ana Laura Trujillo-Negrete

Abstract: 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… ▽ More 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. △ Less

Submitted 5 August, 2021; v1 submitted 30 June, 2020; originally announced July 2020.

Comments: V2 is a revised version. Not intended for publication. Theorem 1.1 was presented in Symmetry 13(6) (1076), 2021, doi:10.3390/sym13061076 (arXiv:2101.01855) and Theorem 1.2 was presented in arXiv:2108.01119 (to appear in Matemática Contemporânea)

MSC Class: 05C45 (Primary); 05C76 (Secondary)

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

On the virtually-cyclic dimension of surface braid groups and right-angled Artin groups

Authors: Alejandra Trujillo-Negrete

Abstract: We give a bound for the virtually cyclic dimension of groups with a normal subgroup of finite index which satisfies that every infinite virtually-cyclic subgroup is contained in a unique maximal such subgroup. As an application we provide a bound for the virtually-cyclic dimension for the braid group of a closed surface with genus greater than 2 and for right-angled Artin groups. We give a bound for the virtually cyclic dimension of groups with a normal subgroup of finite index which satisfies that every infinite virtually-cyclic subgroup is contained in a unique maximal such subgroup. As an application we provide a bound for the virtually-cyclic dimension for the braid group of a closed surface with genus greater than 2 and for right-angled Artin groups. △ Less

Submitted 10 April, 2018; originally announced April 2018.

Comments: 8 pages

MSC Class: 55R35; 20F65

On the virtually-cyclic dimension of map** class groups of punctured spheres

Authors: J. Aramayona, D. Juan-Pineda, A. Trujillo-Negrete

Abstract: We calculate the virtually-cyclic dimension of the map** class group of a sphere with at most six punctures. As an immediate consequence, we obtain the virtually-cyclic dimension of the map** class group of the twice-holed torus and of the closed genus-two surface. We calculate the virtually-cyclic dimension of the map** class group of a sphere with at most six punctures. As an immediate consequence, we obtain the virtually-cyclic dimension of the map** class group of the twice-holed torus and of the closed genus-two surface. △ Less

Submitted 1 September, 2017; v1 submitted 11 August, 2017; originally announced August 2017.

Comments: V2: remarks 1.4 and 4.2 have been rephrased

MSC Class: 55R35; 20F65

Journal ref: Algebr. Geom. Topol. 18 (2018) 2471-2495

Hamiltonicity of token graphs of fan graphs

Authors: Luis Manuel Rivera, Ana Laura Trujillo-Negrete

Abstract: 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. 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. △ Less

Submitted 2 October, 2017; v1 submitted 18 July, 2017; originally announced July 2017.

Comments: V2 is a revised version following the referee report. A minor gap in the proof was corrected

MSC Class: 05C45; 05C76

Journal ref: Art Discrete Appl. Math. 1 (2018) #P07

Models for classifying spaces for $\mathbb{Z}\rtimes \mathbb{Z}$

Authors: Daniel Juan-Pineda, Alejandra Trujillo-Negrete

Abstract: We construct two models for the classifying space for the family of infinite cyclic subgroups of the fundamental group of the Klein bottle. These examples do not fit in general constructions previously done, for example, for hyperbolic groups. We construct two models for the classifying space for the family of infinite cyclic subgroups of the fundamental group of the Klein bottle. These examples do not fit in general constructions previously done, for example, for hyperbolic groups. △ Less

Submitted 2 May, 2017; originally announced May 2017.

Comments: 14 pages

MSC Class: 20F65; 55R35

Journal ref: Bol. Soc. Mat. Mex. (2018) 24: 343

On classifying spaces for the family of virtually cyclic subgroups in map** class groups

Authors: Daniel Juan-Pineda, Alejandra Trujillo-Negrete

Abstract: We give a bound for the geometric dimension for the family of virtually cyclic groups in map** class groups of a compact surface with punctures, possibly with nonempty boundary and negative Euler characteristic. We give a bound for the geometric dimension for the family of virtually cyclic groups in map** class groups of a compact surface with punctures, possibly with nonempty boundary and negative Euler characteristic. △ Less

Submitted 2 May, 2017; v1 submitted 1 June, 2016; originally announced June 2016.

Comments: 23 pages and 3 figures

MSC Class: 55R35; 20F65

Journal ref: Pure and Applied Mathematics Quarterly Volume 12 (2016) Number 2