Search

We determine the exact value of the Wiener index, the edge-Wiener index, and the vertex-edge-Wiener index of the Basilica graphs, i.e., the sequence of finite Schreier graphs associated with the action of the Basilica group on the rooted binary tree. Moreover, we give a formula for the total distance of every vertex in the Basilica graphs, and we are able to make it explicit for some special vertices. We finally introduce the notions of asymptotic Wiener index and asymptotic total distance, which are compatible with that of convergence of the sequence of finite Basilica graphs to an infinite orbital limit graph in the Gromov–Hausdorff topology: the asymptotic values are explicitly computed.

In this paper we describe two methods, both inspired from Godsil-McKay switching on simple graphs, to build cospectral gain graphs whose gain group consists of the complex numbers of modulus 1 (the circle group). The results obtained here can be also applied to the Hermitian matrix of mixed graphs.

Let $G$ be an arbitrary group. We define a gain-line graph for a gain graph $(\Gamma,\psi)$ through the choice of an incidence $G$-phase matrix inducing $\psi$. We prove that the switching equivalence class of the gain function on the line graph $L(\Gamma)$ does not change if one chooses a different $G$-phase inducing $\psi$ or a different representative of the switching equivalence class of $\psi$. In this way, we generalize to any group some results proven by N. Reff in the abelian case. The investigation of the orbits of some natural actions of $G$ on the set $\mathcal H_\Gamma$ of $G$-phases of $\Gamma$ allows us to characterize gain functions on $\Gamma$, gain functions on $L(\Gamma)$, their switching equivalence classes and their balance property. The use of group algebra valued matrices plays a fundamental role and, together with the matrix Fourier transform, allows us to represent a gain graph with Hermitian matrices and to perform spectral computations. Our spectral results also provide some necessary conditions for a gain graph to be a gain-line graph., Comment: 28 pages, 6 figures, 1 table

This paper deals with graph automaton groups associated with trees and some generalizations. We start by showing some algebraic properties of tree automaton groups. Then we characterize the associated semigroup, proving that it is isomorphic to the partially commutative monoid associated with the complement of the line graph of the defining tree. After that, we generalize these groups by introducing the quite broad class of reducible automaton groups, which lies in the class of contracting automaton groups without singular points. We give a general structure theorem that shows that all reducible automaton groups are direct limit of poly-context-free groups which are virtually subgroups of the direct product of free groups; notice that this result partially supports a conjecture by T. Brough. Moreover, we prove that tree automaton groups with at least two generators are not finitely presented and they are amenable groups, which are direct limit of non-amenable groups., 23 pages, 6 figures

We define $G$-cospectrality of two $G$-gain graphs $(\Gamma,\psi)$ and $(\Gamma',\psi')$, proving that it is a switching isomorphism invariant. When $G$ is a finite group, we prove that $G$-cospectrality is equivalent to cospectrality with respect to all unitary representations of $G$. Moreover, we show that two connected gain graphs are switching equivalent if and only if the gains of their closed walks centered at an arbitrary vertex $v$ can be simultaneously conjugated. In particular, the number of switching equivalence classes on an underlying graph $\Gamma$ with $n$ vertices and $m$ edges, is equal to the number of simultaneous conjugacy classes of the group $G^{m-n+1}$. We provide examples of $G$-cospectral non-switching isomorphic graphs and we prove that any gain graph on a cycle is determined by its $G$-spectrum. Moreover, we show that when $G$ is a finite cyclic group, the cospectrality with respect to a faithful irreducible representation implies the cospectrality with respect to any other faithful irreducible representation, and that the same assertion is false in general., Comment: 27 pages, 5 figures, 1 table

We generalize three classical characterizations of line graphs to line graphs of signed and gain graphs: the Krausz's characterization, the van Rooij and Wilf's characterization and the Beineke's characterization. In particular, we present a list of forbidden gain subgraphs characterizing the class of gain-line graphs. In the case of a signed graph whose underlying graph is a line graph, this list consists of exactly four signed graphs. Under the same hypothesis, we prove that a signed graph is the line graph of a signed graph if and only if its eigenvalues are either greater than $-2$, or less than $2$, depending on which particular definition of line graph is adopted., 25 pages, 10 figures. Accepted for publication in European Journal of Combinatorics

We study the balance of $G$-gain graphs, where $G$ is an arbitrary group, by investigating their adjacency matrices and their spectra. As a first step, we characterize switching equivalence and balance of gain graphs in terms of their adjacency matrices in $M_n(\mathbb C G)$. Then we introduce a represented adjacency matrix, associated with a gain graph and a group representation, by extending the theory of Fourier transforms from the group algebra $\mathbb C G$ to the algebra $M_n(\mathbb C G)$. We prove that a gain graph is balanced if and only if the spectrum of the represented adjacency matrix associated with any (or equivalently all) faithful unitary representation of $G$ coincides with the spectrum of the underlying graph, with multiplicity given by the degree of the representation. We show that the complex adjacency matrix of unit gain graphs and the adjacency matrix of a cover graph are indeed particular cases of our construction. This enables us to recover some classical results and prove some new characterizations of balance in terms of spectrum, index or structure of these graphs., Comment: 27 pages, 3 tables, 5 figures. In this second version, the word "balancedness" (with the meaning of "property of being balanced") has been replaced by the word "balance" both in the title and in the body of the article

We define a subgroup of the universal sofic group, obtained as the normaliser of a separable abelian subalgebra. This subgroup can be obtained as an extension by the group of automorphisms on a standard probability space. We show that each sofic representation can be conjugated inside this subgroup., Comment: 11 pages

A signed graph is a pair = (G; ), where G = (V (G);E(G)) is a graph and E(G) {+1;−1} is the sign function on the edges of G. The notion of composition (also known as lexicographic product) of two signed graphs and = (H; ) already exists in literature, yet it fails to map balanced graphs onto balanced graphs. We improve the existing denition showing that our `new' signature on the lexicographic product of G and H behaves well with respect to switching equivalence. Signed regularities and some spectral properties are also discussed.

A well--known fact in Spectral Graph Theory is the existence of pairs of isospectral nonisomorphic graphs (known as PINGS). The work of A.J. Schwenk (in 1973) and of C. Godsil and B. McKay (in 1982) shed some light on the explanation of the presence of isospectral graphs, and they gave routines to construct PINGS. Here, we consider the Godsil-McKay--type routines developed for graphs, whose adjacency matrices are $(0,1)$-matrices, to the level of signed graphs, whose adjacency matrices allow the presence of $-1$'s. We show that, with suitable adaption, such routines can be successfully ported to signed graphs, and we can build pairs of cospectral switching nonisomorphic signed graphs., Comment: 13 pages, 4 figures

We investigate partial Equality and Word Problems for finitely generated groups. After introducing Upper Banach (UB) density on free groups, we prove that solvability of the Equality Problem on squares of UB-generic sets implies solvability of the whole Word Problem. In particular, we prove that solvability of generic EP implies WP. We then exploit another definition of generic EP, which turns out to be equivalent to generic WP. We characterize in different ways the class of groups with unsolvable UB-generic WP, proving that it contains that of algorithmically finite groups, and it is contained in that of groups with unsolvable generic WP., 14 pages. Final version, to appear in Advances in Mathematics

The wreath product of graphs is a graph composition inspired by the notion of wreath product of groups, with interesting connections with Geometric Group Theory and Probability. This paper is devoted to the description of some degree and distance-based invariants, of large interest in Chemical Graph Theory, for a wreath product of graphs. An explicit formula is obtained for the Zagreb indices, in terms of the Zagreb indices of the factor graphs. A detailed analysis of distances in a wreath product is performed, allowing to describe the antipodal graph and to provide a formula for the Wiener index. Finally, a formula for the Szeged index is obtained. Several explicit examples are given., 33 pages, 7 figures

We introduce and investigate different definitions of effective amenability, in terms of computability of F{\o}lner sets, Reiter functions, and F{\o}lner functions. As a consequence, we prove that recursively presented amenable groups have subrecursive F{\o}lner function, answering a question of Gromov, for the same class of groups we prove that solvability of the Equality Problem on a generic set (generic EP) is equivalent to solvability of the Word Problem on the whole group (WP), thus providing the first examples of finitely presented groups with unsolvable generic EP. In particular, we prove that for finitely presented groups, solvability of generic WP doesn't imply solvability of generic EP., Comment: 16 pages

In the last decades much attention has turned towards centrality measures on graphs. The Wiener index and the total distance are key tools to investigate the median vertices, the distance-balanced property and the opportunity index of a graph. This interest has recently been addressed to graphs obtained via classical graph products like the Cartesian, the direct, the strong and the lexicographic product. We extend this study to a relatively new graph product, that is, the wreath product. In this paper, we compute the total distance for the vertices of an arbitrary wreath product graph $G\wr H$ in terms of the total distances in $H$ and of some distance-based indices of $G$. We explicitly compute these indices for the star graph $S_n$, providing a closed formula for the total distances in $S_n\wr H$ when $H$ is complete or a star. As a consequence, we obtain the Wiener index of these graphs, we characterize the median and the central vertices, and finally we give an upper and a lower bound for the opportunity index of $S_n\wr S_m$ in terms of tail conditional expectations of an associated binomial distribution.