We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Probability

Title: Counting independent sets in amenable graphs

Abstract: Given a locally finite graph $\Gamma$, an amenable subgroup $G$ of graph automorphisms acting freely and almost transitively on its vertices, and a $G$-invariant activity function $\lambda$, consider the free energy $f_G(\Gamma,\lambda)$ of the hardcore model defined on the set of independent sets in $\Gamma$ weighted by $\lambda$.
We define suitable ensembles of hardcore models and prove that, under some recursion-theoretic assumptions on $G$, if $\|\lambda\|_\infty < \lambda_c(\Delta)$, there exists an $\epsilon$-additive approximation algorithm for $f_G(\Gamma,\lambda)$ that runs in time $\mathrm{poly}((1+\epsilon^{-1})|\Gamma/G|)$ and, if $\|\lambda\|_\infty > \lambda_c(\Delta)$, there is no such algorithm, unless $\mathrm{NP} = \mathrm{RP}$, where $\lambda_c(\Delta)$ denotes the critical activity on the $\Delta$-regular tree. This recovers the computational phase transition for the partition function of the hardcore model on finite graphs and provides an extension to the infinite setting.
As an application in symbolic dynamics, we use these results to develop efficient approximation algorithms for the topological entropy of subshifts of finite type with enough safe symbols, we obtain a representation formula of topological entropy in terms of random trees of self-avoiding walks, and we provide new conditions for the uniqueness of the measure of maximal entropy based on the connective constant of a particular associated graph.
Comments: 45 pages, 8 figures
Subjects: Probability (math.PR); Mathematical Physics (math-ph); Combinatorics (math.CO); Dynamical Systems (math.DS)
MSC classes: 82B20, 82B41, 60B10, 05C69, 37A15, 37A25, 37A50
Cite as: arXiv:2107.14187 [math.PR]
  (or arXiv:2107.14187v1 [math.PR] for this version)

Submission history

From: Raimundo Briceño [view email]
[v1] Thu, 29 Jul 2021 17:15:50 GMT (292kb,D)

Link back to: arXiv, form interface, contact.