Abstract: We propose a notion of contraction function for a family of graphs and establish its connection to the strong spatial mixing for spin systems. More specifically, we show that for anti-ferromagnetic Potts model on families of graphs characterized by a specific contraction function, the model exhibits strong spatial mixing, and if further the graphs exhibit certain local sparsity which are very natural and easy to satisfy by typical sparse graphs, then we also have FPTAS for computing the partition function. This new characterization of strong spatial mixing of multi-spin system does not require maximum degree of the graphs to be bounded, but instead it relates the decay of correlation of the model to a notion of effective average degree measured by the contraction of a function on the family of graphs. It also generalizes other notion of effective average degree which may determine the strong spatial mixing, such as the connective constant, whose connection to strong spatial mixing is only known for very simple models and is not extendable to general spin systems. As direct consequences: (1) we obtain FPTAS for the partition function of $q$-state anti-ferromagnetic Potts model with activity $0\le\beta<1$ on graphs of maximum degree bounded by $d$ when $q> 3(1-\beta)d+1$, improving the previous best bound $\beta> 3(1-\beta)d$ and asymptotically approaching the inapproximability threshold $q=(1-\beta)d$, and (2) we obtain an efficient sampler (in the same sense of fully polynomial-time almost uniform sampler, FPAUS) for the Potts model on Erd\H{o}s-R\'enyi random graph $\mathcal{G}(n,d/n)$ with sufficiently large constant $d$, provided that $q> 3(1-\beta)d+4$. In particular when $\beta=0$, the sampler becomes an FPAUS for for proper $q$-coloring in $\mathcal{G}(n,d/n)$ with $q> 3d+4$, improving the current best bound $q> 5.5d$ for FPAUS for $q$-coloring in $\mathcal{G}(n,d/n)$.

Approximating Partition Functions of the Two-State Spin System

Quantum Phase Transitions of the Spin-Boson Model Within Multi-Coherent-states

Approximate counting via correlation decay in spin systems

Correlation Decay Up to Uniqueness in Spin Systems

FPTAS for Hardcore and Ising Models on Hypergraphs

Improved FPTAS for Multi-spin Systems.

Inapproximability After Uniqueness Phase Transition in Two-Spin Systems

Inapproximability for Antiferromagnetic Spin Systems in the Tree Non-Uniqueness Region

Emergent infinite-randomness fixed points from the extensive random bipartitions of the spin-1 Affleck-Kennedy-Lieb-Tasaki topological state

The Ising Partition Function: Zeros and Deterministic Approximation

The computational hardness of counting in two-spin models on d-regular graphs

Efficient Algorithms for Approximating Quantum Partition Functions at Low Temperature

Modified Spin-Wave Study Of Random Antiferromagnetic-Ferromagnetic Spin Chains

Spatial mixing and approximate counting for Potts model on graphs with bounded average degree

Bounding the partition function of spin-systems

Algorithmic Pirogov-Sinai theory

Counterexamples to a Weitz-Style Reduction for Multispin Systems

Approximate Counting for Spin Systems in Sub-Quadratic Time

On Approximating the Potts Model with Contracting Glauber Dynamics

Spin-Spin Correlations in the Kitaev Model at Finite Temperatures: Approximate and Exact Results via Green's Function Equation of Motion

Conditioned stochastic particle systems and integrable quantum spin systems