5,914 research outputs found
Graph homomorphisms between trees
In this paper we study several problems concerning the number of
homomorphisms of trees. We give an algorithm for the number of homomorphisms
from a tree to any graph by the Transfer-matrix method. By using this algorithm
and some transformations on trees, we study various extremal problems about the
number of homomorphisms of trees. These applications include a far reaching
generalization of Bollob\'as and Tyomkyn's result concerning the number of
walks in trees.
Some other highlights of the paper are the following. Denote by
the number of homomorphisms from a graph to a graph . For any tree
on vertices we give a general lower bound for by certain
entropies of Markov chains defined on the graph . As a particular case, we
show that for any graph ,
where is the
largest eigenvalue of the adjacency matrix of and is a
certain constant depending only on which we call the spectral entropy of
. In the particular case when is the path on vertices, we
prove that where
is any tree on vertices, and and denote the path and star on
vertices, respectively. We also show that if is any fixed tree and
for some tree on vertices, then
must be the tree obtained from a path by attaching a pendant
vertex to the second vertex of .
All the results together enable us to show that
|\End(P_m)|\leq|\End(T_m)|\leq|\End(S_m)|, where \End(T_m) is the set of
all endomorphisms of (homomorphisms from to itself).Comment: 47 pages, 15 figure
Graph homomorphisms between trees
Abstract In this paper we study several problems concerning the number of homomorphisms of trees. We begin with an algorithm for the number of homomorphisms from a tree to any graph. By using this algorithm and some transformations on trees, we study various extremal problems about the number of homomorphisms of trees. These applications include a far reaching generalization and a dual of Bollobás and Tyomkyn's result concerning the number of walks in trees. Some other main results of the paper are the following. Denote by hom(H, G) the number of homomorphisms from a graph H to a graph G. For any tree T m on m vertices we give a general lower bound for hom(T m , G) by certain entropies of Markov chains defined on the graph G. As a particular case, we show that for any graph G, where λ is the largest eigenvalue of the adjacency matrix of G and H λ (G) is a certain constant depending only on G which we call the spectral entropy of G. We also show that if T m is any fixed tree and for some tree T n on n vertices, then T n must be the tree obtained from a path P n−1 by attaching a pendant vertex to the second vertex of P n−1 . the electronic journal of combinatorics 21(4) (2014), #P4.9 1 All the results together enable us to show that among all trees with fixed number of vertices, the path graph has the fewest number of endomorphisms while the star graph has the most
Preservation and decomposition theorems for bounded degree structures
We provide elementary algorithms for two preservation theorems for
first-order sentences (FO) on the class \^ad of all finite structures of degree
at most d: For each FO-sentence that is preserved under extensions
(homomorphisms) on \^ad, a \^ad-equivalent existential (existential-positive)
FO-sentence can be constructed in 5-fold (4-fold) exponential time. This is
complemented by lower bounds showing that a 3-fold exponential blow-up of the
computed existential (existential-positive) sentence is unavoidable. Both
algorithms can be extended (while maintaining the upper and lower bounds on
their time complexity) to input first-order sentences with modulo m counting
quantifiers (FO+MODm). Furthermore, we show that for an input FO-formula, a
\^ad-equivalent Feferman-Vaught decomposition can be computed in 3-fold
exponential time. We also provide a matching lower bound.Comment: 42 pages and 3 figures. This is the full version of: Frederik
Harwath, Lucas Heimberg, and Nicole Schweikardt. Preservation and
decomposition theorems for bounded degree structures. In Joint Meeting of the
23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS'14,
pages 49:1-49:10. ACM, 201
- …