Matteo Cavaleri

Università degli studi Niccolò Cusano | unicusano · Engineering

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 so...

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.

We define the notion of computability of F\o lner sets for finitely generated amenable groups. We prove, by an explicit description, that the Kharlampovich group, a finitely presented solvable group with unsolvable word problem, has computable F\o lner sets. We also prove computability of F\o lner sets for a group that is extension of an amenable g...

We introduce a switching operation, inspired by the Godsil-McKay switching, in order to obtain pairs of $G$-cospectral gain graphs, that are gain graphs cospectral with respect to every representation of the gain group $G$. For instance, for two signed graphs, this notion of cospectrality is equivalent to the cospectrality of their signed adjacency...

We define G G -cospectrality of two G G -gain graphs ( Γ , ψ ) \left(\Gamma ,\psi ) and ( Γ ′ , ψ ′ ) \left(\Gamma ^{\prime} ,\psi ^{\prime} ) , proving that it is a switching isomorphism invariant. When G G is a finite group, we prove that G G -cospectrality is equivalent to cospectrality with respect to all unitary representations of G G . Moreov...

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. A...

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

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 a...

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

We generalize three classical characterizations of line graphs to line graphs of signed and gain graphs: the Krausz's characterization, the 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 who...

For each $p\geq 1$, the star automaton group $\mathcal{G}_{S_p}$ is an automaton group which can be defined starting from a star graph on $p+1$ vertices. We study Schreier graphs associated with the action of the group $\mathcal{G}_{S_p}$ on the regular rooted tree $T_{p+1}$ of degree $p+1$ and on its boundary $\partial T_{p+1}$. With the transitiv...

Let G be an arbitrary group. We define a gain-line graph for a gain graph (Γ,ψ) through the choice of an incidence G-phase matrix inducing ψ. We prove that the switching equivalence class of the gain function on the line graph L(Γ) does not change if one chooses a different G-phase inducing ψ or a different representative of the switching equivalen...

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 Mn(CG). Then we introduce a represented adjacency matrix, associated with a gain graph and a grou...

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 represen...

In this paper we define a way to get a bounded invertible automaton starting from a finite graph. It turns out that the corresponding automaton group is regular weakly branch over its commutator subgroup, contains a free semigroup on two elements and is amenable of exponential growth. We also highlight a connection between our construction and the...

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

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.

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

A well-known fact in Spectral Graph Theory is the existence of pairs of cospectral (or 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 cospectral graphs, and they gave routines to construct PINGS. Here, we consider the...

This paper introduces a new graph construction, the permutational power of a graph, whose adjacency matrix is obtained by the composition of a permutation matrix with the adjacency matrix of the graph. It is shown that this construction recovers the classical zig-zag product of graphs when the permutation is an involution, and it is in fact more ge...

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 explic...

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

For every probability $p\in[0,1]$ we define a distance-based graph property, the $p$TS-distance-balancedness, that in the case $p=0$ coincides with the standard distance-balancedness, and in the case $p=1$ is related to the Hamiltonian-connectedness. In analogy with the classical case, where the distance-balancedness of a graph is equivalent to the...

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 Cartesi...

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

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

This paper introduces a new graph construction, the permutational power of a graph, whose adjacency matrix is obtained by the composition of a permutation matrix with the adjacency matrix of the graph. It is shown that this construction recovers the classical zig-zag product of graphs when the permutation is an involution, and it is in fact more ge...

Graph products and the corresponding spectra are often studied in the literature. A special attention has been given to the wreath product of two graphs, which is derived from the homonymous product of groups. Despite a general formula for the spectrum is also known, such a formula is far from giving an explicit spectrum of the compound graph. Here...

In this manuscript we continue the investigations related to the wreath product of graphs by considering the compound graph of a clique with a circuit. This product shows nice combinatorial and algebraic properties which permit with reasonable effort to compute some topological indices and the (adjacency) spectrum.

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 explic...

We define the computability of Følner sets for a finitely generated amenable group. We prove that Kharlampovich groups, finitely presented solvable groups with unsolv-able word problem, have computable Følner sets. We prove the computability of Følner sets for a group that is extension of an amenable group with solvable word problem by a finitely g...