arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 1305.6306

The Complexity of Approximately Counting Tree Homomorphisms

Leslie Ann Goldberg·Mark Jerrum
View original source ↗Read source document ↗Export metadata ↓

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

Explore related subjects

cs.CC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Leslie Ann Goldberg, Mark Jerrum. 2014-02-27. The Complexity of Approximately Counting Tree Homomorphisms. https://doi.org/10.1145/2600917

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Near-Linear Regimes for One-Sided Distribution-Free Junta Testing

We study adaptive one-sided distribution-free testing of Boolean $k$-juntas, with membership-query access to the function and sample access to an arbitrary unknown distribution. For general Boolean functions, we give a tester using $O(k^2\log(k+1)+k/ε)$ queries, independently of the ambient dimension. The tester maintains disjoint relevant blocks certified by observed disagreements. Within each fresh batch, it jointly decodes literal signatures for a small family of random base masks, then uses linear combinations to generate $Θ(1/ε)$ probes. Their ideal counterparts are pairwise independent, yielding constant conditional progress probability; a global $O(k)$ batch budget gives the additive query bound. Consequently, the complexity is $O((k/ε)\log(k+1))$ when $ε\le1/k$, and $O(k/ε)$ when $ε\le1/(k\log(k+1))$. We also analyze an indexed-table implementation that reuses previously computed block orientations. For functions symmetric on an unknown set of relevant variables, it uses $O(k\log^2(k+1)/ε)$ queries: safely checked blocks contain a single globally relevant variable, making their cached nonliteral sides reusable. For arbitrary functions, a stable-deletion analysis establishes soundness of the same implementation at $O(k^2\log(k+1)/ε)$ queries. All variants always accept $k$-juntas, and every rejection is certified by $k+1$ disjoint relevant blocks. The fresh-batch construction and the reuse analysis use the same certified-block framework, with different randomness and stopping rules.

cs.CC↗
arXiv2026

A Relative-Computability Theory of Self-Improving Agents

Agents increasingly modify the procedures by which they solve tasks and improve themselves. Autonomy over improvement, gains in practical capability, and enlargement of computational reach are distinct properties. We develop an oracle-relative model with mutable solvers, evaluators, and improvers. Uniform simulation keeps every total decision procedure produced by effective self-revision over $A$ within $\mathcal{C}(A)=\{D:D\leq_T A\}$; oracle joins account for additional access, while the relativized limit lemma separates limiting answers from effective completion. A worked model of Boolean rule acquisition makes the distinction constructive. For a known finite-dimensional feature language, we characterize exactly which answers a query history determines, obtain a sharp teacher-query bound, and give a terminating protocol that permits revisions to the query proposer. The learned solver can dispense with the teacher on every input while remaining in the same computability layer. However, uniformly constructing the required feature-span specification from arbitrary effective feature programs is already as hard as the relative halting problem. We also give a conditional criterion for strict ascent and distinguish it from finite behavioral evidence. The framework thus separates acquisition, certification, and computability ascent, identifying both a positive route to verified support removal and the assumptions on which it depends.

cs.CC↗
arXiv2026

An $n^2\log\log n$ Lower Bound for Permanent Circuits with Valid Division

We record lower bounds for permanent circuits with valid division over characteristic zero, counting nonscalar multiplications and divisions while additions and scalar operations are free. Chapter 5 of OpenAI's Ten Advances supplies the block construction and critical-locus estimate; these, with the parameter choice made here and the classical bounds of Strassen and Baur-Strassen, give liminf as n tends to infinity of L_div(per_n)/(n^2 log_2 log_2 n) >= 1/12. Our finite-parameter refinement for matching-minor polynomials observes that the coefficient vector at deletion size h lies in a space of dimension at most min{binom(t,h), binom(t,d-h)}. Twelve machine-checked declarations of the Lean development accompanying OpenAI's manuscript on border determinantal complexity of the permanent (September 24, 2026) imply, by a short written argument, the existence of a geometric slice; a further written, unformalized application of the same criterion gives L_div(per_n) >= (n^2/119790) log_2(n/44) for n >= 1936. Assuming Proposition 7.3 of that manuscript gives the bound (n^2/86400) log_2(n/48) for n >= 1408. These are order-of-growth results; the elementary Hessian bound n^2/2 is larger at practical orders.

cs.CC↗