On two algebras of token graphs

M. A. Reyes,C. Dalfó,M. A. Fiol

2024-03-28

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

Combinatorics

What problem does this paper attempt to address?

On the spectra of token graphs of cycles and other graphs

Mónica. A. Reyes,Cristina Dalfó,Miquel Àngel Fiol,Arnau Messegué

2023-09-14

Abstract: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$. It is a known result that the algebraic connectivity (or second Laplacian eigenvalue) of $F_k(G)$ equals the algebraic connectivity of $G$. In this paper, we first give results that relate the algebraic connectivities of a token graph and the same graph after removing a vertex. Then, we prove the result on the algebraic connectivity of 2-token graphs for two infinite families: the odd graphs $O_r$ for all $r$, and the multipartite complete graphs $K_{n_1,n_2,\ldots,n_r}$ for all $n_1,n_2,\ldots,n_r$ In the case of cycles, we present a new method that allows us to compute the whole spectrum of $F_2(C_n)$. This method also allows us to obtain closed formulas that give asymptotically exact approximations for most of the eigenvalues of $F_2(\textit{}C_n)$.

Combinatorics
On the algebraic connectivity of some token graphs

C. Dalfó,M. A. Fiol

DOI: https://doi.org/10.1007/s10801-024-01323-0

2024-05-09

Journal of Algebraic Combinatorics

Abstract:The k -token graph of a graph G is the graph whose vertices are the k -subsets of vertices from G , two of which are adjacent whenever their symmetric difference is a pair of adjacent vertices in G . It was proved that the algebraic connectivity of equals the algebraic connectivity of G with a proof using random walks and interchange of processes on a weighted graph. However, no algebraic or combinatorial proof is known, and it would be a hit in the area. In this paper, we algebraically prove that the algebraic connectivity of equals the one of G for new infinite families of graphs, such as trees, some graphs with hanging trees, and graphs with minimum degree large enough. Some examples of these families are the following: the cocktail party graph, the complement graph of a cycle, and the complete multipartite graph.

mathematics
Some bounds on the Laplacian eigenvalues of token graphs

Cristina Dalfó,Miquel Àngel Fiol,Arnau Messegué

2023-09-17

Abstract:The $k$-token graph $F_k(G)$ of a graph $G$ on $n$ vertices is the graph whose vertices are the ${n\choose k}$ $k$-subsets of vertices from $G$, two of which being adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$. It is known that the algebraic connectivity (or second Laplacian eigenvalue) of $F_k(G)$ equals the algebraic connectivity $\alpha(G)$ of $G$. In this paper, we give some bounds on the (Laplacian) eigenvalues of a $k$-token graph (including the algebraic connectivity) in terms of the $h$-token graph, with $h\leq k$. For instance, we prove that if $\lambda$ is an eigenvalue of $F_k(G)$, but not of $G$, then $$ \lambda\ge k\alpha(G)-k+1. $$ As a consequence, we conclude that if $\alpha(G)\geq k$, then $\alpha(F_h(G))=\alpha(G)$ for every $h\le k$.

Combinatorics
On the Automorphism Group of Token Graphs of Complete Bipartite Graphs

Ruy Fabila-Monroy,Ana Laura Trujillo-Negrete

2024-01-26

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

Combinatorics
On token signed graphs

C. Dalfó,M. A. Fiol,E. Steffen

2024-03-05

Abstract:We introduce the concept of a $k$-token signed graph and study some of its combinatorial and algebraic properties. We prove that two switching isomorphic signed graphs have switching isomorphic token graphs. Moreover, we show that the Laplacian spectrum of a balanced signed graph is contained in the Laplacian spectra of its $k$-token signed graph. Besides, we introduce and study the unbalance level of a signed graph, which is a new parameter that measures how far a signed graph is from being balanced. Moreover, we study the relation between the frustration index and the unbalance level of signed graphs and their token signed graphs.

Combinatorics
A general method to find the spectrum and eigenspaces of the $k$-token of a cycle, and 2-token through continuous fractions

M. A. Reyes,C. Dalfó,M. A. Fiol,A. Messegué

2024-03-29

Abstract: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 propose a general method to find the spectrum and eigenspaces of the $k$-token graph $F_k(C_n)$ of a cycle $C_n$. The method is based on the theory of lift graphs and the recently introduced theory of over-lifts. In the case of $k=2$, we use continuous fractions to derive the spectrum and eigenspaces of the 2-token graph of $C_n$.

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

Ruy Fabila-Monroy,Sergio Gerardo Gómez-Galicia,Daniel Gregorio-Longino,Teresa I. Hoekstra-Mendoza,Ana Trujillo-Negrete

2024-08-08

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

Combinatorics
A study on token digraphs

Cristina G. Fernandes,Carla N. Lintzmayer,Juan P. Peña,Giovanne Santos,Ana Trujillo-Negrete,Jose Zamora

2024-10-26

Abstract:For a digraph $D$ of order $n$ and an integer $1 \leq k \leq n-1$, the $k$-token digraph of $D$ is the graph whose vertices are all $k$-subsets of vertices of $D$ and, given two such $k$-subsets $A$ and $B$, $(A,B)$ is an arc in the $k$-token digraph whenever $\{a\} = A \setminus B$, $\{b\} = B \setminus A$, and there is an arc $(a,b)$ in $D$. Token digraphs are a generalization of token graphs. In this paper, we study some properties of token digraphs, including strong and unilateral connectivity, kernels, girth, circumference and Eulerianity. We also extend some known results on the clique and chromatic numbers of $k$-token graphs, addressing the bidirected clique number and dichromatic number of $k$-token digraphs. Additionally, we prove that determining whether $2$-token digraphs have a kernel is NP-complete.

Combinatorics
Garland's method for token graphs

Alan Lew

2023-05-04

Abstract:The $k$-th token graph of a graph $G=(V,E)$ is the graph $F_k(G)$ whose vertices are the $k$-subsets of $V$ and whose edges are all pairs of $k$-subsets $A,B$ such that the symmetric difference of $A$ and $B$ forms an edge in $G$. Let $L(G)$ be the Laplacian matrix of $G$, and $L_k(G)$ be the Laplacian matrix of $F_k(G)$. It was shown by Dalfó et al. that for any graph $G$ on $n$ vertices and any $0\leq \ell \leq k \leq \left\lfloor n/2\right\rfloor$, the spectrum of $L_{\ell}(G)$ is contained in that of $L_k(G)$. Here, we continue to study the relation between the spectrum of $L_k(G)$ and that of $L_{k-1}(G)$. In particular, we show that, for $1\leq k\leq \left\lfloor n/2\right\rfloor$, any eigenvalue $\lambda$ of $L_k(G)$ that is not contained in the spectrum of $L_{k-1}(G)$ satisfies \[ k(\lambda_2(L(G))-k+1)\leq \lambda \leq k\lambda_n(L(G)), \] where $\lambda_2(L(G))$ is the second smallest eigenvalue of $L(G)$ (a.k.a. the algebraic connectivity of $G$), and $\lambda_n(L(G))$ is its largest eigenvalue. Our proof relies on an adaptation of Garland's method, originally developed for the study of high-dimensional Laplacians of simplicial complexes.

Combinatorics
The automorphism groups of some token graphs

Sofía Ibarra,Luis Manuel Rivera

DOI: https://doi.org/10.22199/issn.0717-6279-5954

2023-07-13

Abstract:In this paper we obtain the automorphism groups of the token graphs of some graphs. In particular we obtain the automorphism group of the $k$-token graph of the path graph $P_n$, for $n\neq 2k$. Also, we obtain the automorphism group of the $2$-token graph of the following graphs: cycle, star, fan and wheel graphs.

Combinatorics,Group Theory
2 0 A pr 2 00 4 K-theory associated to vertex operator algebras

Chongying DONG,Kefeng LIU,MA Xiaonan,Jian ZHOU

2004-01-01

Abstract:We introduce two K-theories, one for vector bundles whose fibers are modules of vertex operator algebras, another for vector bundles whose fibers are modules of associative algebras. We verify the cohomological properties of these K-theories, and construct a natural homomorphism from the VOA K-theory to the associative algebra K-theory.
On $2$-integral Cayley graphs

Alireza Abdollahi,Majid Arezoomand,Tao Feng,Shixin Wang

2024-03-08

Abstract:In this paper, we introduce the concept of $k$-integral graphs. A graph $\Gamma$ is called $k$-integral if the extension degree of the splitting field of the characteristic polynomial of $\Gamma$ over rational field $\mathbb Q$ is equal to $k$. We prove that for any positive integers $k$ and $\Delta$, the set of all finite connected graphs with algebraic degree at most $k$ and maximum degree at most $\Delta$ is finite. We study

Combinatorics,Group Theory
Token graphs of Cayley graphs as lifts

C. Dalfó,M. A. Fiol,S. Pavlíková,J. Širáň

2024-04-03

Abstract:This paper describes a general method for representing $k$-token graphs of Cayley graphs as lifts of voltage graphs. This allows us to construct line graphs of circulant graphs and Johnson graphs as lift graphs on cyclic groups. As an application of the method, we derive the spectra of the considered token graphs. This method can also be applied to dealing with other matrices, such as the Laplacian or the signless Laplacian, and to construct token digraphs of Cayley digraphs.

Combinatorics
On the Treewidth of Token and Johnson Graphs

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

2024-02-28

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, the treewidth is of order $\Theta(n^{k-1})$, and of order $\Theta(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)$.

Combinatorics
Separable representations of higher-rank graphs

Carla Farsi,Elizabeth Gillaspy,Palle Jorgensen,Sooran Kang,Judith Packer

DOI: https://doi.org/10.48550/arXiv.1709.00592

2017-09-02

Abstract:In this monograph we undertake a comprehensive study of separable representations (as well as their unitary equivalence classes) of $C^*$-algebras associated to strongly connected finite $k$-graphs $\Lambda$. We begin with the representations associated to the $\Lambda$-semibranching function systems introduced by Farsi, Gillaspy, Kang, and Packer in \cite{FGKP}, by giving an alternative characterization of these systems which is more easily verified in examples. We present a variety of such examples, one of which we use to construct a new faithful separable representation of any row-finite source-free $k$-graph. Next, we analyze the monic representations of $C^*$-algebras of finite $k$-graphs. We completely characterize these representations, generalizing results of Dutkay and Jorgensen \cite{dutkay-jorgensen-monic} and Bezuglyi and Jorgensen \cite{bezuglyi-jorgensen} for Cuntz and Cuntz-Krieger algebras respectively. We also describe a universal representation for non-negative monic representations of finite, strongly connected $k$-graphs. To conclude, we characterize the purely atomic and permutative representations of $k$-graph $C^*$-algebras, and discuss the relationship between these representations and the classes of representations introduced earlier.

Operator Algebras
Cycline subalgebras of $k$-graph C*-algebras

Dilian Yang

DOI: https://doi.org/10.48550/arXiv.1508.07086

2015-08-28

Abstract:In this paper, we prove that the cycline subalgbra of a $k$-graph C*-algebra is maximal abelian, and show when it is a Cartan subalgebra (in the sense of Renault).

Operator Algebras,Functional Analysis
On K-2 Of Division Algebras

Xuejun Guo,Aderemi Kuku,Hourong Qin

DOI: https://doi.org/10.1081/AGB-200053813

2005-01-01

Communications in Algebra

Abstract:In this paper, it is proved that if F is a global field, then for any integer n > 3, there is an extension field E over F of degree n such that K2E is not generated by the Steinberg symbols {a, b} with a epsilon F*, b epsilon E*. If however, F is a number field and D is a finite-dimensional central division F-algebra with square free index, then K2D is always generated by the Steinberg symbols {a,b} with a epsilon F*, b epsilon D*. Finally, the tame kernels of central division algebras over F are expressed explicitly.
Exel-Pardo algebras of self-similar $k$-graphs

Hossein Larki

2023-08-22

Abstract:We introduce the Exel-Pardo $*$-algebra $\mathrm{EP}_R(G,\Lambda)$ associated to a self-similar $k$-graph $(G,\Lambda,\varphi)$. We prove the $\mathbb{Z}^k$-graded and Cuntz-Krieger uniqueness theorems for such algebras and investigate their ideal structure. In particular, we modify the graded uniqueness theorem for self-similar 1-graphs, and then apply it to present $\mathrm{EP}_R(G,\Lambda)$ as a Steinberg algebra and to study the ideal structure.

Rings and Algebras,Operator Algebras
$τ$-tilting finiteness of two-point algebras II

Qi Wang

2023-09-15

Abstract:In this paper, we explain a strategy on $g$-vectors to discover some new minimal $\tau$-tilting infinite two-point algebras. Consequently, the $\tau$-tilting finiteness of various two-point monomial algebras, including all radical cube zero cases, could be determined. Moreover, we find that the derived equivalence class of the Kronecker algebra contains only itself and its opposite algebra.

Representation Theory
Embeddability of higher-rank graphs in groupoids, and the structure of their C*-algebras

Nathan Brownlowe,Alex Kumjian,David Pask,Aidan Sims

2024-03-03

Abstract:We show that the C*-algebra of a row-finite source-free k-graph is Rieffel-Morita equivalent to a crossed product of an AF algebra by the fundamental group of the k-graph. When the k-graph embeds in its fundamental groupoid, this AF algebra is a Fell algebra; and simple-connectedness of a certain sub-1-graph characterises when this Fell algebra is Rieffel--Morita equivalent to a commutative C*-algebra. We provide a substantial suite of results for determining if a given k-graph embeds in its fundamental groupoid, and provide a large class of examples, arising via work of Cartwright, Robertson, Steger et al. from the theory of $\tilde{A_2}$-groups, that do embed.

Operator Algebras

On two algebras of token graphs

On the spectra of token graphs of cycles and other graphs

On the algebraic connectivity of some token graphs

Some bounds on the Laplacian eigenvalues of token graphs

On the Automorphism Group of Token Graphs of Complete Bipartite Graphs

On token signed graphs

A general method to find the spectrum and eigenspaces of the $k$-token of a cycle, and 2-token through continuous fractions

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

A study on token digraphs

Garland's method for token graphs

The automorphism groups of some token graphs

2 0 A pr 2 00 4 K-theory associated to vertex operator algebras

On $2$-integral Cayley graphs

Token graphs of Cayley graphs as lifts

On the Treewidth of Token and Johnson Graphs

Separable representations of higher-rank graphs

Cycline subalgebras of $k$-graph C*-algebras

On K-2 Of Division Algebras

Exel-Pardo algebras of self-similar $k$-graphs

$τ$-tilting finiteness of two-point algebras II

Embeddability of higher-rank graphs in groupoids, and the structure of their C*-algebras