-
On bipartite biregular large graphs
Authors:
G. Araujo-Pardo,
C. Dalfó,
M. A. Fiol,
N. López
Abstract:
A bipartite graph $G=(V,E)$ with $V=V_1\cup V_2$ is biregular if all the vertices of each stable set, $V_1$ and $V_2$, have the same degree, $r$ and $s$, respectively. This paper studies difference sets derived from both Abelian and non-Abelian groups. From them, we propose some constructions of bipartite biregular graphs with diameter $d=3$ and asymptotically optimal order for given degrees $r$ a…
▽ More
A bipartite graph $G=(V,E)$ with $V=V_1\cup V_2$ is biregular if all the vertices of each stable set, $V_1$ and $V_2$, have the same degree, $r$ and $s$, respectively. This paper studies difference sets derived from both Abelian and non-Abelian groups. From them, we propose some constructions of bipartite biregular graphs with diameter $d=3$ and asymptotically optimal order for given degrees $r$ and $s$. Moreover, we find some biMoore graphs, that is, bipartite biregular graphs that attain the Moore bound.
△ Less
Submitted 6 April, 2024;
originally announced April 2024.
-
On factored lifts of graphs and their spectra
Authors:
C. Dalfó,
M. A. Fiol,
S. Pavlíková,
J. Sirán
Abstract:
In this note, we introduce the concept of factored lift, associated with a combined voltage graph, as a generalization of the lift graph. We present a new method for computing the eigenvalues and eigenspaces of factored lifts.
In this note, we introduce the concept of factored lift, associated with a combined voltage graph, as a generalization of the lift graph. We present a new method for computing the eigenvalues and eigenspaces of factored lifts.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Token graphs of Cayley graphs as lifts
Authors:
C. Dalfó,
M. A. Fiol,
S. Pavlíková,
J. Širáň
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 Laplacia…
▽ More
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.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
A general method to find the spectrum and eigenspaces of the $k$-token of a cycle, and 2-token through continuous fractions
Authors:
M. A. Reyes,
C. Dalfó,
M. A. Fiol,
A. Messegué
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 an…
▽ More
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$.
△ Less
Submitted 29 March, 2024;
originally announced March 2024.
-
On bipartite $(1,1,k)$-mixed graphs
Authors:
C. Dalfó,
G. Erskine,
G. Exoo,
M. A. Fiol,
J. Tuite
Abstract:
Mixed graphs can be seen as digraphs with arcs and edges (or digons, that is, two opposite arcs). In this paper, we consider the case where such graphs are bipartite and in which the undirected and directed degrees are one. The best graphs, in terms of the number of vertices, are presented for small diameters. Moreover, two infinite families of such graphs with diameter $k$ and number of vertices…
▽ More
Mixed graphs can be seen as digraphs with arcs and edges (or digons, that is, two opposite arcs). In this paper, we consider the case where such graphs are bipartite and in which the undirected and directed degrees are one. The best graphs, in terms of the number of vertices, are presented for small diameters. Moreover, two infinite families of such graphs with diameter $k$ and number of vertices of the order of $2^{k/2}$ are proposed, one of them being totally regular $(1,1)$-mixed graphs. In addition, we present two more infinite families called chordal ring and chordal double ring mixed graphs, which are bipartite and related to tessellations of the plane. Finally, we give an upper bound that improves the Moore bound for bipartite mixed graphs for $r = z = 1$.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
On two algebras of token graphs
Authors:
M. A. Reyes,
C. Dalfó,
M. A. Fiol
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 article, we describe some properties of the Laplacian matrix $Ł_k$ of $F_k(G)$ and the Laplacian matrix $\overlineŁ_k$ of the $k$-token graph $F_k(\overline{G})$ of its comp…
▽ More
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 article, we describe some properties of the Laplacian matrix $Ł_k$ of $F_k(G)$ and the Laplacian matrix $\overlineŁ_k$ of the $k$-token graph $F_k(\overline{G})$ of its complement $\overline{G}$.
In this context, a result about the commutativity of the matrices $Ł_k$ and $\overlineŁ_k$ was given in [C. Dalfó, F. Duque, R. Fabila-Monroy, M. A. Fiol, C. Huemer, A. L. Trujillo-Negrete, and F. J. Zaragoza Martínez,
On the Laplacian spectra of token graphs,
{\em Linear Algebra Appl.} {\bf 625} (2021) 322--348], but the proof was incomplete, and there were some typos. Here, we give the correct proof.
Based on this result, and fixed the pair $(n,k)$ and the graph $G$, we first introduce a `local' algebra ${\cal L}(G)$, generated by the pair $(Ł_k, \overlineŁ_k)$, showing its closed relationship with the Bose-Mesner algebra of the Johnson graphs $J(n,k)$.
Finally, fixed only $(n,k)$, we present a `global' algebra ${\cal A}(n,k)$ that contains ${\cal L}(G)$ together with the Laplacian and adjacency matrices of the $k$-token graph of any graph $G$ on $n$ vertices.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
On token signed graphs
Authors:
C. Dalfó,
M. A. Fiol,
E. Steffen
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 leve…
▽ More
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.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Note on the product of the largest and the smallest eigenvalue of a graph
Authors:
Aida Abiad,
Cristina Dalfó,
Miquel Àngel Fiol
Abstract:
In this note, we use eigenvalue interlacing to derive an inequality between the maximum degree of a graph and its maximum and minimum adjacency eigenvalues. The case of equality is fully characterized.
In this note, we use eigenvalue interlacing to derive an inequality between the maximum degree of a graph and its maximum and minimum adjacency eigenvalues. The case of equality is fully characterized.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
On the spectra and spectral radii of token graphs
Authors:
M. A. Reyes,
C. Dalfó,
M. A. Fiol
Abstract:
Let $G$ be a graph on $n$ vertices. The $k$-token graph (or symmetric $k$-th power) of $G$, denoted by $F_k(G)$ has as vertices the ${n\choose k}$ $k$-subsets of vertices from $G$, and two vertices are adjacent when their symmetric difference is a pair of adjacent vertices in $G$. In particular, $F_k(K_n)$ is the Johnson graph $J(n,k)$, which is a distance-regular graph used in coding theory. In t…
▽ More
Let $G$ be a graph on $n$ vertices. The $k$-token graph (or symmetric $k$-th power) of $G$, denoted by $F_k(G)$ has as vertices the ${n\choose k}$ $k$-subsets of vertices from $G$, and two vertices are adjacent when their symmetric difference is a pair of adjacent vertices in $G$. In particular, $F_k(K_n)$ is the Johnson graph $J(n,k)$, which is a distance-regular graph used in coding theory. In this paper, we present some results concerning the (adjacency and Laplacian) spectrum of $F_k(G)$ in terms of the spectrum of $G$. For instance, when $G$ is walk-regular, an exact value for the spectral radius $ρ$ (or maximum eigenvalue) of $F_k(G)$ is obtained. When $G$ is distance-regular, other eigenvalues of its $2$-token graph are derived using the theory of equitable partitions. A generalization of Aldous' spectral gap conjecture (which is now a theorem) is proposed.
△ Less
Submitted 25 October, 2023;
originally announced October 2023.
-
Some bounds on the Laplacian eigenvalues of token graphs
Authors:
Cristina Dalfó,
Miquel Àngel Fiol,
Arnau Messegué
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 $α(G)$ of $G$.
In this pa…
▽ More
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 $α(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 $λ$ is an eigenvalue of $F_k(G)$, but not of $G$, then $$ λ\ge kα(G)-k+1. $$ As a consequence, we conclude that if $α(G)\geq k$, then $α(F_h(G))=α(G)$ for every $h\le k$.
△ Less
Submitted 16 September, 2023;
originally announced September 2023.
-
On the spectra of token graphs of cycles and other graphs
Authors:
Mónica. A. Reyes,
Cristina Dalfó,
Miquel Àngel Fiol,
Arnau Messegué
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…
▽ More
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)$.
△ Less
Submitted 13 September, 2023;
originally announced September 2023.
-
On large regular (1,1,k)-mixed graphs
Authors:
C. Dalfó,
G. Erskine,
G. Exoo,
M. A. Fiol,
N. López,
A. Messegué,
J. Tuite
Abstract:
An $(r,z,k)$-mixed graph $G$ has every vertex with undirected degree $r$, directed in- and out-degree $z$, and diameter $k$. In this paper, we study the case $r=z=1$, proposing some new constructions of $(1,1,k)$-mixed graphs with a large number of vertices $N$. Our study is based on computer techniques for small values of $k$ and the use of graphs on alphabets for general $k$. In the former case,…
▽ More
An $(r,z,k)$-mixed graph $G$ has every vertex with undirected degree $r$, directed in- and out-degree $z$, and diameter $k$. In this paper, we study the case $r=z=1$, proposing some new constructions of $(1,1,k)$-mixed graphs with a large number of vertices $N$. Our study is based on computer techniques for small values of $k$ and the use of graphs on alphabets for general $k$. In the former case, the constructions are either Cayley or lift graphs. In the latter case, some infinite families of $(1,1,k)$-mixed graphs are proposed with diameter of the order of $2\log_2 N$.
△ Less
Submitted 7 June, 2023;
originally announced June 2023.
-
On the algebraic connectivity of token graphs
Authors:
C. Dalfó,
M. A. Fiol
Abstract:
We study the algebraic connectivity (or second Laplacian eigenvalue) 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$. Recently, it was conjectured that the algebraic connectiv…
▽ More
We study the algebraic connectivity (or second Laplacian eigenvalue) 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$. Recently, it was conjectured that the algebraic connectivity of $F_k(G)$ equals the algebraic connectivity of $G$. In this paper, we prove the conjecture for new infinite families of graphs, such as trees and graphs with maximum degree large enough.
△ Less
Submitted 2 September, 2022;
originally announced September 2022.
-
Almost Moore and the largest mixed graphs of diameters two and three
Authors:
C. Dalfó,
M. A. Fiol,
N. López
Abstract:
Almost Moore mixed graphs\/} appear in the context of the degree/diameter problem as a class of extremal mixed graphs, in the sense that their order is one unit less than the Moore bound for such graphs. The problem of their existence has been considered just for diameter $2$. In this paper, we give a complete characterization of these extremal mixed graphs for diameters 2 and 3. We also derive so…
▽ More
Almost Moore mixed graphs\/} appear in the context of the degree/diameter problem as a class of extremal mixed graphs, in the sense that their order is one unit less than the Moore bound for such graphs. The problem of their existence has been considered just for diameter $2$. In this paper, we give a complete characterization of these extremal mixed graphs for diameters 2 and 3. We also derive some optimal constructions for other diameters.
△ Less
Submitted 6 June, 2022;
originally announced June 2022.
-
On inertia and ratio type bounds for the $k$-independence number of a graph and their relationship
Authors:
Aida Abiad,
Cristina Dalfó,
Miquel Àngel Fiol,
Sjanne Zeijlemaker
Abstract:
For $k\ge 1$, the $k$-independence number $α_k$ of a graph is the maximum number of vertices that are mutually at distance greater than $k$. The well-known inertia and ratio bounds for the (1-)independence number $α(=α_1)$ of a graph, due to Cvetković and Hoffman, respectively, were generalized recently for every value of $k$. We show that, for graphs with enough regularity, the polynomials involv…
▽ More
For $k\ge 1$, the $k$-independence number $α_k$ of a graph is the maximum number of vertices that are mutually at distance greater than $k$. The well-known inertia and ratio bounds for the (1-)independence number $α(=α_1)$ of a graph, due to Cvetković and Hoffman, respectively, were generalized recently for every value of $k$. We show that, for graphs with enough regularity, the polynomials involved in such generalizations are closely related and give exact values for $α_k$, showing a new relationship between the inertia and ratio type bounds. Additionally, we investigate the existence and properties of the extremal case of sets of vertices that are mutually at maximum distance for walk-regular graphs. Finally, we obtain new sharp inertia and ratio type bounds for partially walk-regular graphs by using the predistance polynomials.
△ Less
Submitted 13 January, 2022;
originally announced January 2022.
-
Bipartite biregular Moore graphs
Authors:
Gabriela Araujo-Pardo,
Cristina Dalfó,
Miguel Ángel Fiol,
Nacho López
Abstract:
A bipartite graph $G=(V,E)$ with $V=V_1\cup V_2$ is biregular if all the vertices of a stable set $V_i$ have the same degree $r_i$ for $i=1,2$. In this paper, we give an improved new Moore bound for an infinite family of such graphs with odd diameter. This problem was introduced in 1983 by Yebra, Fiol, and Fàbrega.\\ Besides, we propose some constructions of bipartite biregular graphs with diamete…
▽ More
A bipartite graph $G=(V,E)$ with $V=V_1\cup V_2$ is biregular if all the vertices of a stable set $V_i$ have the same degree $r_i$ for $i=1,2$. In this paper, we give an improved new Moore bound for an infinite family of such graphs with odd diameter. This problem was introduced in 1983 by Yebra, Fiol, and Fàbrega.\\ Besides, we propose some constructions of bipartite biregular graphs with diameter $d$ and large number of vertices $N(r_1,r_2;d)$, together with their spectra. In some cases of diameters $d=3$, $4$, and $5$, the new graphs attaining the Moore bound are unique up to isomorphism.
△ Less
Submitted 21 March, 2021;
originally announced March 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.
-
Decompositions of a rectangle into non-congruent rectangles of equal area
Authors:
C. Dalfó,
M. A. Fiol,
N. López,
A. Martínez-Pérez
Abstract:
In this paper, we deal with a simple geometric problem: Is it possible to partition a rectangle into $k$ non-congruent rectangles of equal area? This problem is motivated by the so-called `Mondrian art problem' that asks a similar question for dissections with rectangles of integer sides. Here, we generalize the Mondrian problem by allowing rectangles of real sides. In this case, we show that the…
▽ More
In this paper, we deal with a simple geometric problem: Is it possible to partition a rectangle into $k$ non-congruent rectangles of equal area? This problem is motivated by the so-called `Mondrian art problem' that asks a similar question for dissections with rectangles of integer sides. Here, we generalize the Mondrian problem by allowing rectangles of real sides. In this case, we show that the minimum value of $k$ for a rectangle to have a `perfect Mondrian partition' (that is, with non-congruent equal-area rectangles) is seven. Moreover, we prove that such a partition is unique (up to symmetries) and that there exist exactly two proper perfect Mondrian partitions for $k=8$. Finally, we also prove that any square has a perfect Mondrian decomposition for $k\ge 7$.
△ Less
Submitted 19 July, 2020;
originally announced July 2020.
-
New results for the Mondrian art problem
Authors:
C. Dalfó,
M. A. Fiol,
N. López
Abstract:
The Mondrian problem consists of dissecting a square of side length $n\in \NN$ into non-congruent rectangles with natural length sides such that the difference $d(n)$ between the largest and the smallest areas of the rectangles partitioning the square is minimum. In this paper, we compute some bounds on $d(n)$ in terms of the number of rectangles of the square partition. These bounds provide us op…
▽ More
The Mondrian problem consists of dissecting a square of side length $n\in \NN$ into non-congruent rectangles with natural length sides such that the difference $d(n)$ between the largest and the smallest areas of the rectangles partitioning the square is minimum. In this paper, we compute some bounds on $d(n)$ in terms of the number of rectangles of the square partition. These bounds provide us optimal partitions for some values of $n \in \NN$. We provide a sequence of square partitions such that $d(n)/n^2$ tends to zero for $n$ large enough. For the case of `perfect' partitions, that is, with $d(n)=0$, we show that, for any fixed powers $s_1,\ldots, s_m$, a square with side length $n=p_1^{s_1}\cdots p_m^{s_m}$, can have a perfect Mondrian partition only if $p_1$ satisfies a given lower bound. Moreover, if $n(x)$ is the number of side lengths $x$ (with $n\le x$) of squares not having a perfect partition, we prove that its `density' $\frac{n(x)}{x}$ is asymptotic to $\frac{(\log(\log(x))^2}{2\log x}$, which improves previous results.
△ Less
Submitted 19 July, 2020;
originally announced July 2020.
-
An improved Moore bound and some new optimal families of mixed Abelian Cayley graphs
Authors:
C. Dalfó,
M. A. Fiol,
N. López,
J. Ryan
Abstract:
We consider the case in which mixed graphs (with both directed and undirected edges) are Cayley graphs of Abelian groups. In this case, some Moore bounds were derived for the maximum number of vertices that such graphs can attain. We first show these bounds can be improved if we know more details about the order of some elements of the generating set. Based on these improvements, we present some n…
▽ More
We consider the case in which mixed graphs (with both directed and undirected edges) are Cayley graphs of Abelian groups. In this case, some Moore bounds were derived for the maximum number of vertices that such graphs can attain. We first show these bounds can be improved if we know more details about the order of some elements of the generating set. Based on these improvements, we present some new families of mixed graphs. For every fixed value of the degree, these families have an asymptotically large number of vertices as the diameter increases. In some cases, the results obtained are shown to be optimal.
△ Less
Submitted 3 June, 2020;
originally announced June 2020.
-
A note on the spectra and eigenspaces of the universal adjacency matrices of arbitrary lifts of graphs
Authors:
C. Dalfó,
M. A. Fiol,
S. Pavlíková,
J. Širáň
Abstract:
The universal adjacency matrix $U$ of a graph $Γ$, with adjacency matrix $A$, is a linear combination of $A$, the diagonal matrix $D$ of vertex degrees, the identity matrix $I$, and the all-1 matrix $J$ with real coefficients, that is, $U=c_1 A+c_2 D+c_3 I+ c_4 J$, with $c_i\in {\mathbb R}$ and $c_1\neq 0$. Thus, as particular cases, $U$ may be the adjacency matrix, the Laplacian, the signless Lap…
▽ More
The universal adjacency matrix $U$ of a graph $Γ$, with adjacency matrix $A$, is a linear combination of $A$, the diagonal matrix $D$ of vertex degrees, the identity matrix $I$, and the all-1 matrix $J$ with real coefficients, that is, $U=c_1 A+c_2 D+c_3 I+ c_4 J$, with $c_i\in {\mathbb R}$ and $c_1\neq 0$. Thus, as particular cases, $U$ may be the adjacency matrix, the Laplacian, the signless Laplacian, and the Seidel matrix. In this note, we show that basically the same method introduced before by the authors can be applied for determining the spectra and bases of all the corresponding eigenspaces of arbitrary lifts of graphs (regular or not).
△ Less
Submitted 8 December, 2019;
originally announced December 2019.
-
On $d$-Fibonacci digraphs
Authors:
C. Dalfó,
M. A. Fiol
Abstract:
The $d$-Fibonacci digraphs $F(d,k)$, introduced here, have the number of vertices following generalized Fibonacci-like sequences. They can be defined both as digraphs on alphabets and as iterated line digraphs. Here we study some of their nice properties. For instance, $F(2,k)$ has diameter $d+k-2$ and is semi-pancyclic, that is, it has a cycle of every length between 1 and $\ell$, with…
▽ More
The $d$-Fibonacci digraphs $F(d,k)$, introduced here, have the number of vertices following generalized Fibonacci-like sequences. They can be defined both as digraphs on alphabets and as iterated line digraphs. Here we study some of their nice properties. For instance, $F(2,k)$ has diameter $d+k-2$ and is semi-pancyclic, that is, it has a cycle of every length between 1 and $\ell$, with $\ell\in\{2k-2,2k-1\}$. Moreover, it turns out that several other numbers of $F(d,k)$ (of closed $l$-walks, classes of vertices, etc.) also follow the same linear recurrences as the numbers of vertices of the $d$-Fibonacci digraphs.
△ Less
Submitted 15 September, 2019;
originally announced September 2019.
-
New results on the degree/diameter problem of mixed Abelian Cayley graphs
Authors:
C. Dalfó,
M. A. Fiol,
N. López
Abstract:
Mixed graphs can be seen as digraphs that have both arcs and edges (or digons, that is, two opposite arcs). In this paper, we consider the case in which such graphs are Cayley graphs of Abelian groups. These groups can be constructed by using a generalization to $\mathbb{Z}^n$ of the concept of congruence in $\mathbb{Z}$. Here we use this approach to present some families of mixed graphs, which, f…
▽ More
Mixed graphs can be seen as digraphs that have both arcs and edges (or digons, that is, two opposite arcs). In this paper, we consider the case in which such graphs are Cayley graphs of Abelian groups. These groups can be constructed by using a generalization to $\mathbb{Z}^n$ of the concept of congruence in $\mathbb{Z}$. Here we use this approach to present some families of mixed graphs, which, for every fixed value of the degree, have an asymptotically large number of vertices as the diameter increases. In some cases, the results obtained are shown to be optimal.
△ Less
Submitted 19 May, 2020; v1 submitted 1 August, 2019;
originally announced August 2019.
-
Spectra and eigenspaces from regular partitions of Cayley (di)graphs of permutation groups
Authors:
C. Dalfó,
M. A. Fiol
Abstract:
In this paper, we present a method to obtain regular (or equitable) partitions of Cayley (di)graphs (that is, graphs, digraphs, or mixed graphs) of permutation groups on $n$ letters. We prove that every partition of the number $n$ gives rise to a regular partition of the Cayley graph. By using representation theory, we also obtain the complete spectra and the eigenspaces of the corresponding quoti…
▽ More
In this paper, we present a method to obtain regular (or equitable) partitions of Cayley (di)graphs (that is, graphs, digraphs, or mixed graphs) of permutation groups on $n$ letters. We prove that every partition of the number $n$ gives rise to a regular partition of the Cayley graph. By using representation theory, we also obtain the complete spectra and the eigenspaces of the corresponding quotient (di)graphs. More precisely, we provide a method to find all the eigenvalues and eigenvectors of such (di)graphs, based on their irreducible representations. As examples, we apply this method to the pancake graphs $P(n)$ and to a recent known family of mixed graphs $Γ(d,n,r)$ (having edges with and without direction). As a byproduct, the existence of perfect codes in $P(n)$ allows us to give a lower bound for the multiplicity of its eigenvalue $-1$.
△ Less
Submitted 13 June, 2019;
originally announced June 2019.
-
Identifying codes in line digraphs
Authors:
C. Balbuena,
C. Dalfó,
B. Martínez-Barona
Abstract:
Given an integer $\ell\ge 1$, a $(1,\le \ell)$-identifying code in a digraph is a dominating subset $C$ of vertices such that all distinct subsets of vertices of cardinality at most $\ell$ have distinct closed in-neighbourhood within $C$. In this paper, we prove that every $k$-iterated line digraph of minimum in-degree at least 2 and $k\geq2$, or minimum in-degree at least 3 and $k\geq1$, admits a…
▽ More
Given an integer $\ell\ge 1$, a $(1,\le \ell)$-identifying code in a digraph is a dominating subset $C$ of vertices such that all distinct subsets of vertices of cardinality at most $\ell$ have distinct closed in-neighbourhood within $C$. In this paper, we prove that every $k$-iterated line digraph of minimum in-degree at least 2 and $k\geq2$, or minimum in-degree at least 3 and $k\geq1$, admits a $(1,\le \ell)$-identifying code with $\ell\leq2$, and in any case it does not admit a $(1,\le \ell)$-identifying code for $\ell\geq3$. Moreover, we find that the identifying number of a line digraph is lower bounded by the size of the original digraph minus its order. Furthermore, this lower bound is attained for oriented graphs of minimum in-degree at least 2.
△ Less
Submitted 17 May, 2019; v1 submitted 13 May, 2019;
originally announced May 2019.
-
Spectra and eigenspaces of arbitrary lifts of graphs
Authors:
C. Dalfó,
M. A. Fiol,
S. Pavlíková,
J. Širáň
Abstract:
We describe, in a very explicit way, a method for determining the spectra and bases of all the corresponding eigenspaces of arbitrary lifts of graphs (regular or not).
We describe, in a very explicit way, a method for determining the spectra and bases of all the corresponding eigenspaces of arbitrary lifts of graphs (regular or not).
△ Less
Submitted 26 September, 2019; v1 submitted 26 March, 2019;
originally announced March 2019.
-
El mètode de les línies per a la resolució numèrica d'equacions en derivades parcials. The method of lines for numerical solutions of partial differential equations
Authors:
C. Dalfó,
M. A. Fiol
Abstract:
In this paper, we describe a semi-discrete method for a numerical resolution of a type of partial differential equations, called the method of lines (MOL). This method is based on the discretization of all but one of the variables of the problem. We illustrate this method by solving the Laplace equation in Cartesian coordinates. We compare the concepts used by the MOL with respect to the analytica…
▽ More
In this paper, we describe a semi-discrete method for a numerical resolution of a type of partial differential equations, called the method of lines (MOL). This method is based on the discretization of all but one of the variables of the problem. We illustrate this method by solving the Laplace equation in Cartesian coordinates. We compare the concepts used by the MOL with respect to the analytical method of variable separation. We show that the results obtained with the MOL are very good approximations of the analytical solutions.
△ Less
Submitted 27 February, 2019;
originally announced March 2019.
-
Sufficient conditions for a digraph to admit a $(1,\leq\ell)$-identifying code
Authors:
C. Balbuena,
C. Dalfó,
B. Martínez-Barona
Abstract:
A $(1,\le \ell)$-identifying code in a digraph $D$ is a subset $C$ of vertices of $D$ such that all distinct subsets of vertices of cardinality at most $\ell$ have different closed in-neighborhoods within $C$. In this paper, we give some sufficient conditions for a digraph of minimum in-degree $δ^-\ge 1$ to admit a $(1,\le \ell)$-identifying code for $\ell=δ^-, δ^-+1$. As a corollary, we obtain th…
▽ More
A $(1,\le \ell)$-identifying code in a digraph $D$ is a subset $C$ of vertices of $D$ such that all distinct subsets of vertices of cardinality at most $\ell$ have different closed in-neighborhoods within $C$. In this paper, we give some sufficient conditions for a digraph of minimum in-degree $δ^-\ge 1$ to admit a $(1,\le \ell)$-identifying code for $\ell=δ^-, δ^-+1$. As a corollary, we obtain the result by Laihonen that states that a graph of minimum degree $δ\ge 2$ and girth at least 7 admits a $(1,\le δ)$-identifying code. Moreover, we prove that every $1$-in-regular digraph has a $(1,\le 2)$-identifying code if and only if the girth of the digraph is at least 5. We also characterize all the 2-in-regular digraphs admitting a $(1,\le \ell)$-identifying code for $\ell=2,3$.
△ Less
Submitted 13 February, 2019;
originally announced February 2019.
-
A general method to obtain the spectrum and local spectra of a graph from its regular partitions
Authors:
C. Dalfó,
M. A. Fiol
Abstract:
It is well known that, in general, part of the spectrum of a graph can be obtained from the adjacency matrix of its quotient graph given by a regular partition. In this paper, we propose a method to obtain all the spectrum, and also the local spectra, of a graph $Γ$ from the quotient matrices of some of its regular partitions. As examples, it is shown how to find the eigenvalues and (local) multip…
▽ More
It is well known that, in general, part of the spectrum of a graph can be obtained from the adjacency matrix of its quotient graph given by a regular partition. In this paper, we propose a method to obtain all the spectrum, and also the local spectra, of a graph $Γ$ from the quotient matrices of some of its regular partitions. As examples, it is shown how to find the eigenvalues and (local) multiplicities of walk-regular, distance-regular, and distance-biregular graphs.
△ Less
Submitted 23 January, 2019;
originally announced January 2019.
-
A new approach to gross error detection for GPS networks
Authors:
M. A. Fiol,
C. Dalfó
Abstract:
We present a new matrix-based approach to detect and correct gross errors in GPS geodetic control networks. The study is carried out by introducing a new matrix, whose entries are powers of a (real or complex) variable, which fully represents the network.
We present a new matrix-based approach to detect and correct gross errors in GPS geodetic control networks. The study is carried out by introducing a new matrix, whose entries are powers of a (real or complex) variable, which fully represents the network.
△ Less
Submitted 6 May, 2018;
originally announced May 2018.
-
From subKautz digraphs to cyclic Kautz digraphs
Authors:
C. Dalfó
Abstract:
The Kautz digraphs $K(d,\ell)$ are a well-known family of dense digraphs, widely studied as a good model for interconnection networks. Closely related to these, the cyclic Kautz digraphs $CK(d,\ell)$ were recently introduced by Böhmová, Huemer and the author, and some of its distance-related parameters were fixed. In this paper we propose a new approach to the cyclic Kautz digraphs by introducing…
▽ More
The Kautz digraphs $K(d,\ell)$ are a well-known family of dense digraphs, widely studied as a good model for interconnection networks. Closely related to these, the cyclic Kautz digraphs $CK(d,\ell)$ were recently introduced by Böhmová, Huemer and the author, and some of its distance-related parameters were fixed. In this paper we propose a new approach to the cyclic Kautz digraphs by introducing the family of the subKautz digraphs $sK(d,\ell)$, from where the cyclic Kautz digraphs can be obtained as line digraphs. This allows us to give exact formulas for the distance between any two vertices of both $sK(d,\ell)$ and $CK(d,\ell)$. Moreover, we compute the diameter and the semigirth of both families, also providing efficient routing algorithms to find the shortest path between any pair of vertices. Using these parameters, we also prove that $sK(d,\ell)$ and $CK(d,\ell)$ are maximally vertex-connected and super-edge-connected. Whereas $K(d,\ell)$ are optimal with respect to the diameter, we show that $sK(d,\ell)$ and $CK(d,\ell)$ are optimal with respect to the mean distance, whose exact values are given for both families when $\ell=3$. Finally, we provide a lower bound on the girth of $CK(d,\ell)$ and $sK(d,\ell)$.
△ Less
Submitted 6 September, 2017;
originally announced September 2017.
-
The spectra of lifted digraphs
Authors:
C. Dalfó,
M. A. Fiol,
J. Širáň
Abstract:
We present a method to derive the complete spectrum of the lift $Γ^α$ of a base digraph $Γ$, with voltage assignments on a (finite) group $G$. The method is based on assigning to $Γ$ a quotient-like matrix whose entries are elements of the group algebra $\mathbb{C}[G]$, which fully represents $Γ^α$. This allows us to derive the eigenvectors and eigenvalues of the lift in terms of those of the base…
▽ More
We present a method to derive the complete spectrum of the lift $Γ^α$ of a base digraph $Γ$, with voltage assignments on a (finite) group $G$. The method is based on assigning to $Γ$ a quotient-like matrix whose entries are elements of the group algebra $\mathbb{C}[G]$, which fully represents $Γ^α$. This allows us to derive the eigenvectors and eigenvalues of the lift in terms of those of the base digraph and the irreducible characters of $G$. Thus, our main theorem generalize some previous results of Lováz and Babai concerning the spectra of Cayley digraphs.
△ Less
Submitted 14 July, 2017;
originally announced July 2017.
-
An algebraic approach to lifts of digraphs
Authors:
C. Dalfó,
M. A. Fiol,
M. Miller,
J. Ryan,
J. Širáň
Abstract:
We study the relationship between two key concepts in the theory of (di)graphs: the quotient digraph, and the lift $Γ^α$ of a base (voltage) digraph. These techniques contract or expand a given digraph in order to study its characteristics, or obtain more involved structures. This study is carried out by introducing a quotient-like matrix, with complex polynomial entries, which fully represents…
▽ More
We study the relationship between two key concepts in the theory of (di)graphs: the quotient digraph, and the lift $Γ^α$ of a base (voltage) digraph. These techniques contract or expand a given digraph in order to study its characteristics, or obtain more involved structures. This study is carried out by introducing a quotient-like matrix, with complex polynomial entries, which fully represents $Γ^α$. In particular, such a matrix gives the quotient matrix of a regular partition of $Γ^α$, and when the involved group is Abelian, it completely determines the spectrum of $Γ^α$. As some examples of our techniques, we study some basic properties of the Alegre digraph. In addition we completely characterize the spectrum of a new family of digraphs, which contains the generalized Petersen graphs, and that of the Hoffman-Singleton graph.
△ Less
Submitted 24 June, 2017; v1 submitted 28 December, 2016;
originally announced December 2016.
-
Graphs, friends and acquaintances
Authors:
C. Dalfó,
M. A. Fiol
Abstract:
As is well known, a graph is a mathematical object modeling the existence of a certain relation between pairs of elements of a given set. Therefore, it is not surprising that many of the first results concerning graphs made reference to relationships between people or groups of people. In this article, we comment on four results of this kind, which are related to various general theories on graphs…
▽ More
As is well known, a graph is a mathematical object modeling the existence of a certain relation between pairs of elements of a given set. Therefore, it is not surprising that many of the first results concerning graphs made reference to relationships between people or groups of people. In this article, we comment on four results of this kind, which are related to various general theories on graphs and their applications: the Handshake lemma (related to graph colorings and Boolean algebra), a lemma on known and unknown people at a cocktail party (to Ramsey theory), a theorem on friends in common (to distance-regularity and coding theory), and Hall's Marriage theorem (to the theory of networks). These four areas of graph theory, often with problems which are easy to state but difficult to solve, are extensively developed and currently give rise to much research work. As examples of representative problems and results of these areas, which are discussed in this paper, we may cite the following: the Four Colors Theorem (4CTC), the Ramsey numbers, problems of the existence of distance-regular graphs and completely regular codes, and finally the study of topological proprieties of interconnection networks.
△ Less
Submitted 27 February, 2019; v1 submitted 22 November, 2016;
originally announced November 2016.
-
On bipartite mixed graphs
Authors:
C. Dalfó,
M. A. Fiol,
N. López
Abstract:
Mixed graphs can be seen as digraphs that have both arcs and edges (or digons, that is, two opposite arcs). In this paper, we consider the case where such graphs are bipartite. As main results, we show that in this context the Moore-like bound is attained in the case of diameter $k=3$, and that bipartite mixed graphs of diameter $k\ge 4$ do not exist.
Mixed graphs can be seen as digraphs that have both arcs and edges (or digons, that is, two opposite arcs). In this paper, we consider the case where such graphs are bipartite. As main results, we show that in this context the Moore-like bound is attained in the case of diameter $k=3$, and that bipartite mixed graphs of diameter $k\ge 4$ do not exist.
△ Less
Submitted 5 November, 2016;
originally announced November 2016.
-
An improved Moore bound for mixed graphs
Authors:
C. Dalfó,
M. A. Fiol,
N. López
Abstract:
A mixed graph $G$ can contain both (undirected) edges and arcs (directed edges). Here we derive an improved Moore-like bound for the maximum number of vertices of a mixed graph with diameter at least three. Moreover, a complete enumeration of all optimal $(1,1)$-regular mixed graphs with diameter three is presented, so proving that, in general, the proposed bound cannot be improved.
A mixed graph $G$ can contain both (undirected) edges and arcs (directed edges). Here we derive an improved Moore-like bound for the maximum number of vertices of a mixed graph with diameter at least three. Moreover, a complete enumeration of all optimal $(1,1)$-regular mixed graphs with diameter three is presented, so proving that, in general, the proposed bound cannot be improved.
△ Less
Submitted 25 April, 2018; v1 submitted 1 October, 2016;
originally announced October 2016.
-
From expanded digraphs to lifts of voltage digraphs and line digraphs
Authors:
C. Dalfó,
M. A. Fiol,
M. Miller,
J. Ryan
Abstract:
In this note we present a general approach to construct large digraphs from small ones. These are called expanded digraphs, and, as particular cases, we show the close relationship between lifted digraphs of voltage digraphs and line digraphs, which are two known ways to obtain dense digraphs. In the same context, we show the equivalence between the vertex-splitting and partial line digraph techni…
▽ More
In this note we present a general approach to construct large digraphs from small ones. These are called expanded digraphs, and, as particular cases, we show the close relationship between lifted digraphs of voltage digraphs and line digraphs, which are two known ways to obtain dense digraphs. In the same context, we show the equivalence between the vertex-splitting and partial line digraph techniques. Then, we give a sufficient condition for a lifted digraph of a base line digraph to be again a line digraph. Some of the results are illustrated with two well-known families of digraphs. Namely, the De Bruijn and Kautz digraphs, where it is shown that both families can be seen as lifts of smaller De Bruijn digraphs with appropriate voltage assignments.
△ Less
Submitted 1 October, 2016; v1 submitted 22 August, 2016;
originally announced August 2016.
-
On middle cube graphs
Authors:
C. Dalfó,
M. A. Fiol,
M. Mitjana
Abstract:
We study a family of graphs related to the $n$-cube. The middle cube graph of parameter $k$ is the subgraph of $Q_{2k-1}$ induced by the set of vertices whose binary representation has either $k-1$ or $k$ number of ones. The middle cube graphs can be obtained from the well-known odd graphs by doubling their vertex set. Here we study some of the properties of the middle cube graphs in the light of…
▽ More
We study a family of graphs related to the $n$-cube. The middle cube graph of parameter $k$ is the subgraph of $Q_{2k-1}$ induced by the set of vertices whose binary representation has either $k-1$ or $k$ number of ones. The middle cube graphs can be obtained from the well-known odd graphs by doubling their vertex set. Here we study some of the properties of the middle cube graphs in the light of the theory of distance-regular graphs. In particular, we completely determine their spectra (eigenvalues and their multiplicities, and associated eigenvectors).
△ Less
Submitted 11 August, 2016;
originally announced August 2016.
-
Sequence mixed graphs
Authors:
C. Dalfó,
M. A. Fiol,
N. López
Abstract:
A mixed graph can be seen as a type of digraph containing some edges (two opposite arcs). Here we introduce the concept of sequence mixed graphs, which is a generalization of both sequence graphs and iterated line digraphs. These structures are proven to be useful in the problem of constructing dense graphs or digraphs, and this is related to the degree/diameter problem. Thus, our generalized appr…
▽ More
A mixed graph can be seen as a type of digraph containing some edges (two opposite arcs). Here we introduce the concept of sequence mixed graphs, which is a generalization of both sequence graphs and iterated line digraphs. These structures are proven to be useful in the problem of constructing dense graphs or digraphs, and this is related to the degree/diameter problem. Thus, our generalized approach gives rise to graphs that have also good ratio order/diameter. Moreover, we propose a general method for obtaining a sequence mixed digraph by identifying some vertices of a certain iterated line digraph. As a consequence, some results about distance-related parameters (mainly, the diameter and the average distance) of sequence mixed graphs are presented.
△ Less
Submitted 11 October, 2016; v1 submitted 9 August, 2016;
originally announced August 2016.
-
A new general family of deterministic hierarchical networks
Authors:
C. Dalfó,
M. A. Fiol
Abstract:
It is known that many networks modeling real-life complex systems are small-word (large local clustering and small diameter) and scale-free (power law of the degree distribution), and very often they are also hierarchical. Although most of the models are based on stochastic methods, some deterministic constructions have been recently proposed, because this allows a better computation of their prop…
▽ More
It is known that many networks modeling real-life complex systems are small-word (large local clustering and small diameter) and scale-free (power law of the degree distribution), and very often they are also hierarchical. Although most of the models are based on stochastic methods, some deterministic constructions have been recently proposed, because this allows a better computation of their properties. Here a new deterministic family of hierarchical networks is presented, which generalizes most of the previous proposals, such as the so-called binomial tree. The obtained graphs can be seen as graphs on alphabets (where vertices are labeled with words of a given alphabet, and the edges are defined by a specific rule relating different words). This allows us the characterization of their main distance-related parameters, such as the radius and the diameter. Moreover, as a by product, an efficient shortest-path local algorithm is proposed.
△ Less
Submitted 7 August, 2016;
originally announced August 2016.
-
The spectral excess theorem for graphs with few eigenvalues whose distance-$2$ or distance-$1$-or-$2$ graph is strongly regular
Authors:
C. Dalfó,
M. A. Fiol,
J. Koolen
Abstract:
We study regular graphs whose distance-$2$ graph or distance-$1$-or-$2$ graph is strongly regular. We provide a characterization of such graphs $Γ$ (among regular graphs with few distinct eigenvalues) in terms of the spectrum and the mean number of vertices at maximal distance $d$ from every vertex, where $d+1$ is the number of different eigenvalues of $Γ$. This can be seen as a another version of…
▽ More
We study regular graphs whose distance-$2$ graph or distance-$1$-or-$2$ graph is strongly regular. We provide a characterization of such graphs $Γ$ (among regular graphs with few distinct eigenvalues) in terms of the spectrum and the mean number of vertices at maximal distance $d$ from every vertex, where $d+1$ is the number of different eigenvalues of $Γ$. This can be seen as a another version of the so-called spectral excess theorem, which characterizes in a similar way those regular graphs that are distance-regular.
△ Less
Submitted 27 February, 2019; v1 submitted 1 August, 2016;
originally announced August 2016.
-
A note on the order of iterated line digraphs
Authors:
C. Dalfó,
M. A. Fiol
Abstract:
Given a digraph $G$, we propose a new method to find the recurrence equation for the number of vertices $n_k$ of the $k$-iterated line digraph $L^k(G)$, for $k\geq0$, where $L^0(G)=G$. We obtain this result by using the minimal polynomial of a quotient digraph $π(G)$ of $G$. We show some examples of this method applied to the so-called cyclic Kautz, the unicyclic, and the acyclic digraphs. In the…
▽ More
Given a digraph $G$, we propose a new method to find the recurrence equation for the number of vertices $n_k$ of the $k$-iterated line digraph $L^k(G)$, for $k\geq0$, where $L^0(G)=G$. We obtain this result by using the minimal polynomial of a quotient digraph $π(G)$ of $G$. We show some examples of this method applied to the so-called cyclic Kautz, the unicyclic, and the acyclic digraphs. In the first case, our method gives the enumeration of the ternary length-2 squarefree words of any length.
△ Less
Submitted 29 July, 2016;
originally announced July 2016.
-
Cospectral digraphs from locally line digraphs
Authors:
C. Dalfó,
M. A. Fiol
Abstract:
A digraph $\G=(V,E)$ is a line digraph when every pair of vertices $u,v\in V$ have either equal or disjoint in-neighborhoods. When this condition only applies for vertices in a given subset (with at least two elements), we say that $\G$ is a locally line digraph. In this paper we give a new method to obtain a digraph $\G'$ cospectral with a given locally line digraph $\G$ with diameter $D$, where…
▽ More
A digraph $\G=(V,E)$ is a line digraph when every pair of vertices $u,v\in V$ have either equal or disjoint in-neighborhoods. When this condition only applies for vertices in a given subset (with at least two elements), we say that $\G$ is a locally line digraph. In this paper we give a new method to obtain a digraph $\G'$ cospectral with a given locally line digraph $\G$ with diameter $D$, where the diameter $D'$ of $\G'$ is in the interval $[D-1,D+1]$. In particular, when the method is applied to De Bruijn or Kautz digraphs, we obtain cospectral digraphs with the same algebraic properties that characterize the formers.
△ Less
Submitted 15 April, 2016;
originally announced April 2016.
-
On Cyclic Kautz Digraphs
Authors:
Katerina Böhmová,
Cristina Dalfó,
Clemens Huemer
Abstract:
A prominent problem in Graph Theory is to find extremal graphs or digraphs with restrictions in their diameter, degree and number of vertices. Here we obtain a new family of digraphs with minimal diameter, that is, given the number of vertices and out-degree there is no other digraph with a smaller diameter. This new family is called modified cyclic digraphs $MCK(d,\ell)$ and it is derived from th…
▽ More
A prominent problem in Graph Theory is to find extremal graphs or digraphs with restrictions in their diameter, degree and number of vertices. Here we obtain a new family of digraphs with minimal diameter, that is, given the number of vertices and out-degree there is no other digraph with a smaller diameter. This new family is called modified cyclic digraphs $MCK(d,\ell)$ and it is derived from the Kautz digraphs $K(d,\ell)$. %It is not common to find non-regular digraphs with minimal diameter given their number of vertices and out-degree.
It is well-known that the Kautz digraphs $K(d,\ell)$ have the smallest diameter among all digraphs with their number of vertices and degree. We define the cyclic Kautz digraphs $CK(d,\ell)$, whose vertices are labeled by all possible sequences $a_1\ldots a_\ell$ of length $\ell$, such that each character $a_i$ is chosen from an alphabet containing $d+1$ distinct symbols, where the consecutive characters in the sequence are different (as in Kautz digraphs), and now also requiring that $a_1\neq a_\ell$. The cyclic Kautz digraphs $CK(d,\ell)$ have arcs between vertices $a_1 a_2\ldots a_\ell$ and $a_2 \ldots a_\ell a_{\ell+1}$, with $a_1\neq a_\ell$ and $a_2\neq a_{\ell+1}$. Unlike in Kautz digraphs $K(d,\ell)$, any label of a vertex of $CK(d,\ell)$ can be cyclically shifted to form again a label of a vertex of $CK(d,\ell)$.
We give the main parameters of $CK(d,\ell)$: number of vertices, number of arcs, and diameter. Moreover, we construct the modified cyclic Kautz digraphs $MCK(d,\ell)$ to obtain the same diameter as in the Kautz digraphs, and we show that $MCK(d,\ell)$ are $d$-out-regular. Finally, we compute the number of vertices of the iterated line digraphs of $CK(d,\ell)$.
△ Less
Submitted 18 December, 2015;
originally announced December 2015.
-
Deterministic hierarchical networks
Authors:
L. Barrière,
F. Comellas,
C. Dalfó,
M. A. Fiol
Abstract:
It has been shown that many networks associated with complex systems are small-world (they have both a large local clustering coefficient and a small diameter) and they are also scale-free (the degrees are distributed according to a power law). Moreover, these networks are very often hierarchical, as they describe the modularity of the systems that are modeled. Most of the studies for complex netw…
▽ More
It has been shown that many networks associated with complex systems are small-world (they have both a large local clustering coefficient and a small diameter) and they are also scale-free (the degrees are distributed according to a power law). Moreover, these networks are very often hierarchical, as they describe the modularity of the systems that are modeled. Most of the studies for complex networks are based on stochastic methods. However, a deterministic method, with an exact determination of the main relevant parameters of the networks, has proven useful. Indeed, this approach complements and enhances the probabilistic and simulation techniques and, therefore, it provides a better understanding of the systems modeled. In this paper we find the radius, diameter, clustering coefficient and degree distribution of a generic family of deterministic hierarchical small-world scale-free networks that has been considered for modeling real-life complex systems.
△ Less
Submitted 17 July, 2015;
originally announced July 2015.
-
The (Δ,D) and (Δ,N) problems for New Amsterdam and Manhattan digraphs
Authors:
C. Dalfó,
M. A. Fiol
Abstract:
We give a quasi-complete solution of the (Δ,N) problem for two well-known families of digraphs used as good models for large interconnection networks. In our study we also relate both families, the New Amsterdam and Manhattan digraphs, with the double-step graphs (or circulant graphs with degree two).
We give a quasi-complete solution of the (Δ,N) problem for two well-known families of digraphs used as good models for large interconnection networks. In our study we also relate both families, the New Amsterdam and Manhattan digraphs, with the double-step graphs (or circulant graphs with degree two).
△ Less
Submitted 23 October, 2012;
originally announced October 2012.
-
Edge-distance-regular graphs are distance-regular
Authors:
M. Cámara,
C. Dalfó,
C. Delorme,
M. A. Fiol,
H. Suzuki
Abstract:
A graph is edge-distance-regular when it is distance-regular around each of its edges and it has the same intersection numbers for any edge taken as a root. In this paper we give some (combinatorial and algebraic) proofs of the fact that every edge-distance-regular graph $\G$ is distance-regular and homogeneous. More precisely, $\G$ is edge-distance-regular if and only if it is bipartite distance-…
▽ More
A graph is edge-distance-regular when it is distance-regular around each of its edges and it has the same intersection numbers for any edge taken as a root. In this paper we give some (combinatorial and algebraic) proofs of the fact that every edge-distance-regular graph $\G$ is distance-regular and homogeneous. More precisely, $\G$ is edge-distance-regular if and only if it is bipartite distance-regular or a generalized odd graph. Also, we obtain the relationships between some of their corresponding parameters, mainly, the distance polynomials and the intersection numbers.
△ Less
Submitted 20 October, 2012;
originally announced October 2012.
-
A differential approach for bounding the index of graphs under perturbations
Authors:
C. Dalfó,
M. A. Fiol,
E. Garriga
Abstract:
This paper presents bounds for the variation of the spectral radius $λ(G)$ of a graph $G$ after some perturbations or local vertex/edge modifications of $G$. The perturbations considered here are the connection of a new vertex with, say, $g$ vertices of $G$, the addition of a pendant edge (the previous case with $g=1$) and the addition of an edge. The method proposed here is based on continuous pe…
▽ More
This paper presents bounds for the variation of the spectral radius $λ(G)$ of a graph $G$ after some perturbations or local vertex/edge modifications of $G$. The perturbations considered here are the connection of a new vertex with, say, $g$ vertices of $G$, the addition of a pendant edge (the previous case with $g=1$) and the addition of an edge. The method proposed here is based on continuous perturbations and the study of their differential inequalities associated. Within rather economical information (namely, the degrees of the vertices involved in the perturbation), the best possible inequalities are obtained. In addition, the cases when equalities are attained are characterized. The asymptotic behavior of the bounds obtained is also discussed. For instance, if $G$ is a connected graph and $G_u$ denotes the graph obtained from $G$ by adding a pendant edge at vertex $u$ with degree $δ_u$, then, $$ λ(G_u)\le λ(G)+\frac{δ_u}{λ^3(G)}+\textrm{o}(\frac{1}{λ^3(G)}). $$
△ Less
Submitted 23 September, 2012;
originally announced September 2012.
-
Moments in graphs
Authors:
C. Dalfó,
M. A. Fiol,
E. Garriga
Abstract:
Let $G$ be a connected graph with vertex set $V$ and a {\em weight function} $ρ$ that assigns a nonnegative number to each of its vertices. Then, the {\em $ρ$-moment} of $G$ at vertex $u$ is defined to be $M_G^ρ(u)=\sum_{v\in V} ρ(v)\dist (u,v) $, where $\dist(\cdot,\cdot)$ stands for the distance function. Adding up all these numbers, we obtain the {\em $ρ$-moment of $G$}:…
▽ More
Let $G$ be a connected graph with vertex set $V$ and a {\em weight function} $ρ$ that assigns a nonnegative number to each of its vertices. Then, the {\em $ρ$-moment} of $G$ at vertex $u$ is defined to be $M_G^ρ(u)=\sum_{v\in V} ρ(v)\dist (u,v) $, where $\dist(\cdot,\cdot)$ stands for the distance function. Adding up all these numbers, we obtain the {\em $ρ$-moment of $G$}: $$ M_G^ρ=\sum_{u\in V}M_G^ρ(u)=1/2\sum_{u,v\in V}\dist(u,v)[ρ(u)+ρ(v)]. $$ This parameter generalizes, or it is closely related to, some well-known graph invariants, such as the {\em Wiener index} $W(G)$, when $ρ(u)=1/2$ for every $u\in V$, and the {\em degree distance} $D'(G)$, obtained when $ρ(u)=δ(u)$, the degree of vertex $u$. In this paper we derive some exact formulas for computing the $ρ$-moment of a graph obtained by a general operation called graft product, which can be seen as a generalization of the hierarchical product, in terms of the corresponding $ρ$-moments of its factors. As a consequence, we provide a method for obtaining nonisomorphic graphs with the same $ρ$-moment for every $ρ$ (and hence with equal mean distance, Wiener index, degree distance, etc.). In the case when the factors are trees and/or cycles, techniques from linear algebra allow us to give formulas for the degree distance of their product.
△ Less
Submitted 28 August, 2012;
originally announced August 2012.
-
Dual concepts of almost distance-regularity and the spectral excess theorem
Authors:
Cristina Dalfó,
Edwin R. van Dam,
Miquel Angel Fiol,
Ernest Garriga
Abstract:
Generally speaking, `almost distance-regular' graphs share some, but not necessarily all, of the regularity properties that characterize distance-regular graphs. In this paper we propose two new dual concepts of almost distance-regularity, thus giving a better understanding of the properties of distance-regular graphs. More precisely, we characterize $m$-partially distance-regular graphs and $j$-p…
▽ More
Generally speaking, `almost distance-regular' graphs share some, but not necessarily all, of the regularity properties that characterize distance-regular graphs. In this paper we propose two new dual concepts of almost distance-regularity, thus giving a better understanding of the properties of distance-regular graphs. More precisely, we characterize $m$-partially distance-regular graphs and $j$-punctually eigenspace distance-regular graphs by using their spectra. Our results can also be seen as a generalization of the so-called spectral excess theorem for distance-regular graphs, and they lead to a dual version of it.
△ Less
Submitted 16 July, 2012;
originally announced July 2012.