Abstract: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).

A composition theorem for decision tree complexity

Optimal Direct Sum Results for Deterministic and Randomized Decision Tree Complexity

On the parity complexity measures of Boolean functions

Woon's tree and sums over compositions

Approximate Degree Composition for Recursive Functions

Lower bounds for algebraic computation trees with integer inputs

On the B-series composition theorem

Hypergraphs And Decision Trees

Relations between monotone complexity measures based on decision tree complexity

The Complexity of Approximately Counting Tree Homomorphisms

About the determinant of complete non-ambiguous trees

Direct Sums for Parity Decision Trees

Decomposition Complexity

Composite Ramsey theorems via trees

Hypergraphs and Decision Trees (Abstract).

Every decision tree has an influential variable

Trees with flowers: A catalog of integer partition and integer composition trees with their asymptotic analysis

An inequality for the Fourier spectrum of parity decision trees

Complexity Analysis of Generalized and Fractional Hypertree Decompositions

A combinatorial proof of a partition perimeter inequality