32,891 research outputs found
Efficient tilings of de Bruijn and Kautz graphs
Kautz and de Bruijn graphs have a high degree of connectivity which makes
them ideal candidates for massively parallel computer network topologies. In
order to realize a practical computer architecture based on these graphs, it is
useful to have a means of constructing a large-scale system from smaller,
simpler modules. In this paper we consider the mathematical problem of
uniformly tiling a de Bruijn or Kautz graph. This can be viewed as a
generalization of the graph bisection problem. We focus on the problem of graph
tilings by a set of identical subgraphs. Tiles should contain a maximal number
of internal edges so as to minimize the number of edges connecting distinct
tiles. We find necessary and sufficient conditions for the construction of
tilings. We derive a simple lower bound on the number of edges which must leave
each tile, and construct a class of tilings whose number of edges leaving each
tile agrees asymptotically in form with the lower bound to within a constant
factor. These tilings make possible the construction of large-scale computing
systems based on de Bruijn and Kautz graph topologies.Comment: 29 pages, 11 figure
Transforming structures by set interpretations
We consider a new kind of interpretation over relational structures: finite
sets interpretations. Those interpretations are defined by weak monadic
second-order (WMSO) formulas with free set variables. They transform a given
structure into a structure with a domain consisting of finite sets of elements
of the orignal structure. The definition of these interpretations directly
implies that they send structures with a decidable WMSO theory to structures
with a decidable first-order theory. In this paper, we investigate the
expressive power of such interpretations applied to infinite deterministic
trees. The results can be used in the study of automatic and tree-automatic
structures.Comment: 36 page
Optimal network topologies: Expanders, Cages, Ramanujan graphs, Entangled networks and all that
We report on some recent developments in the search for optimal network
topologies. First we review some basic concepts on spectral graph theory,
including adjacency and Laplacian matrices, and paying special attention to the
topological implications of having large spectral gaps. We also introduce
related concepts as ``expanders'', Ramanujan, and Cage graphs. Afterwards, we
discuss two different dynamical feautures of networks: synchronizability and
flow of random walkers and so that they are optimized if the corresponding
Laplacian matrix have a large spectral gap. From this, we show, by developing a
numerical optimization algorithm that maximum synchronizability and fast random
walk spreading are obtained for a particular type of extremely homogeneous
regular networks, with long loops and poor modular structure, that we call
entangled networks. These turn out to be related to Ramanujan and Cage graphs.
We argue also that these graphs are very good finite-size approximations to
Bethe lattices, and provide almost or almost optimal solutions to many other
problems as, for instance, searchability in the presence of congestion or
performance of neural networks. Finally, we study how these results are
modified when studying dynamical processes controlled by a normalized (weighted
and directed) dynamics; much more heterogeneous graphs are optimal in this
case. Finally, a critical discussion of the limitations and possible extensions
of this work is presented.Comment: 17 pages. 11 figures. Small corrections and a new reference. Accepted
for pub. in JSTA
Hypergraph expanders from Cayley graphs
We present a simple mechanism, which can be randomised, for constructing
sparse -uniform hypergraphs with strong expansion properties. These
hypergraphs are constructed using Cayley graphs over and have
vertex degree which is polylogarithmic in the number of vertices. Their
expansion properties, which are derived from the underlying Cayley graphs,
include analogues of vertex and edge expansion in graphs, rapid mixing of the
random walk on the edges of the skeleton graph, uniform distribution of edges
on large vertex subsets and the geometric overlap property.Comment: 13 page
- …