2,099 research outputs found
From the Ising and Potts models to the general graph homomorphism polynomial
In this note we study some of the properties of the generating polynomial for
homomorphisms from a graph to at complete weighted graph on vertices. We
discuss how this polynomial relates to a long list of other well known graph
polynomials and the partition functions for different spin models, many of
which are specialisations of the homomorphism polynomial.
We also identify the smallest graphs which are not determined by their
homomorphism polynomials for and and compare this with the
corresponding minimal examples for the -polynomial, which generalizes the
well known Tutte-polynomal.Comment: V2. Extended versio
Counting Homomorphisms to Cactus Graphs Modulo 2
A homomorphism from a graph G to a graph H is a function from V(G) to V(H) that preserves edges. Many combinatorial structures that arise in mathematics and computer science can be represented naturally as graph homomorphisms and as weighted sums of graph homomorphisms. In this paper, we study the complexity of counting homomorphisms modulo 2. The complexity of modular counting was introduced by Papadimitriou and Zachos and it has been pioneered by Valiant who famously introduced a problem for which counting modulo 7 is easy but counting modulo 2 is intractable. Modular counting provides a rich setting in which to study the structure of homomorphism problems. In this case, the structure of the graph H has a big influence on the complexity of the problem. Thus, our approach is graph-theoretic. We give a complete solution for the class of cactus graphs, which are connected graphs in which every edge belongs to at most one cycle. Cactus graphs arise in many applications such as the modelling of wireless sensor networks and the comparison of genomes. We show that, for some cactus graphs H, counting homomorphisms to H modulo 2 can be done in polynomial time. For every other fixed cactus graph H, the problem is complete for the complexity class +P which is a wide complexity class to which every problem in the polynomial hierarchy can be reduced (using randomised reductions). Determining which H lead to tractable problems can be done in polynomial time. Our result builds upon the work of Faben and Jerrum, who gave a dichotomy for the case in which H is a tree
On the exact learnability of graph parameters: The case of partition functions
We study the exact learnability of real valued graph parameters which are
known to be representable as partition functions which count the number of
weighted homomorphisms into a graph with vertex weights and edge
weights . M. Freedman, L. Lov\'asz and A. Schrijver have given a
characterization of these graph parameters in terms of the -connection
matrices of . Our model of learnability is based on D. Angluin's
model of exact learning using membership and equivalence queries. Given such a
graph parameter , the learner can ask for the values of for graphs of
their choice, and they can formulate hypotheses in terms of the connection
matrices of . The teacher can accept the hypothesis as correct, or
provide a counterexample consisting of a graph. Our main result shows that in
this scenario, a very large class of partition functions, the rigid partition
functions, can be learned in time polynomial in the size of and the size of
the largest counterexample in the Blum-Shub-Smale model of computation over the
reals with unit cost.Comment: 14 pages, full version of the MFCS 2016 conference pape
Graph homomorphisms, the Tutte polynomial and “q-state Potts uniqueness”
We establish for which weighted graphs H homomorphism functions from multigraphs
G to H are specializations of the Tutte polynomial of G, answering a question
of Freedman, Lov´asz and Schrijver.
We introduce a new property of graphs called “q-state Potts uniqueness” and relate
it to chromatic and Tutte uniqueness, and also to “chromatic–flow uniqueness”,
recently studied by Duan, Wu and Yu.Ministerio de EducaciĂłn y Ciencia MTM2005-08441-C02-0
Limits of dense graph sequences
We show that if a sequence of dense graphs has the property that for every
fixed graph F, the density of copies of F in these graphs tends to a limit,
then there is a natural ``limit object'', namely a symmetric measurable
2-variable function on [0,1]. This limit object determines all the limits of
subgraph densities. We also show that the graph parameters obtained as limits
of subgraph densities can be characterized by ``reflection positivity'',
semidefiniteness of an associated matrix. Conversely, every such function
arises as a limit object. Along the lines we introduce a rather general model
of random graphs, which seems to be interesting on its own right.Comment: 27 pages; added extension of result (Sept 22, 2004
Spectral preorder and perturbations of discrete weighted graphs
In this article, we introduce a geometric and a spectral preorder relation on
the class of weighted graphs with a magnetic potential. The first preorder is
expressed through the existence of a graph homomorphism respecting the magnetic
potential and fulfilling certain inequalities for the weights. The second
preorder refers to the spectrum of the associated Laplacian of the magnetic
weighted graph. These relations give a quantitative control of the effect of
elementary and composite perturbations of the graph (deleting edges,
contracting vertices, etc.) on the spectrum of the corresponding Laplacians,
generalising interlacing of eigenvalues.
We give several applications of the preorders: we show how to classify graphs
according to these preorders and we prove the stability of certain eigenvalues
in graphs with a maximal d-clique. Moreover, we show the monotonicity of the
eigenvalues when passing to spanning subgraphs and the monotonicity of magnetic
Cheeger constants with respect to the geometric preorder. Finally, we prove a
refined procedure to detect spectral gaps in the spectrum of an infinite
covering graph.Comment: 26 pages; 8 figure
The Complexity of Approximately Counting Tree Homomorphisms
We study two computational problems, parameterised by a fixed tree H.
#HomsTo(H) is the problem of counting homomorphisms from an input graph G to H.
#WHomsTo(H) is the problem of counting weighted homomorphisms to H, given an
input graph G and a weight function for each vertex v of G. Even though H is a
tree, these problems turn out to be sufficiently rich to capture all of the
known approximation behaviour in #P. We give a complete trichotomy for
#WHomsTo(H). If H is a star then #WHomsTo(H) is in FP. If H is not a star but
it does not contain a certain induced subgraph J_3 then #WHomsTo(H) is
equivalent under approximation-preserving (AP) reductions to #BIS, the problem
of counting independent sets in a bipartite graph. This problem is complete for
the class #RHPi_1 under AP-reductions. Finally, if H contains an induced J_3
then #WHomsTo(H) is equivalent under AP-reductions to #SAT, the problem of
counting satisfying assignments to a CNF Boolean formula. Thus, #WHomsTo(H) is
complete for #P under AP-reductions. The results are similar for #HomsTo(H)
except that a rich structure emerges if H contains an induced J_3. We show that
there are trees H for which #HomsTo(H) is #SAT-equivalent (disproving a
plausible conjecture of Kelk). There is an interesting connection between these
homomorphism-counting problems and the problem of approximating the partition
function of the ferromagnetic Potts model. In particular, we show that for a
family of graphs J_q, parameterised by a positive integer q, the problem
#HomsTo(H) is AP-interreducible with the problem of approximating the partition
function of the q-state Potts model. It was not previously known that the Potts
model had a homomorphism-counting interpretation. We use this connection to
obtain some additional upper bounds for the approximation complexity of
#HomsTo(J_q)
- …