Table of Contents
Fetching ...

Local Gibbs sampling beyond local uniformity

Hongyang Liu, Chunyang Wang, Yitong Yin

TL;DR

The paper develops local samplers for Gibbs distributions that operate beyond the local uniformity constraint by generalizing the Coupling Towards the Past framework with marginal-sampling oracles. It delivers a perfect, linear-time local sampler for spin systems with soft constraints in near-critical regimes (e.g., Ising) and introduces the first local sampler for uniform proper q-colorings with q = O(Delta), along with corresponding local probabilistic inference mechanisms. The approach hinges on marginal samplers, rejection sampling, and Bernoulli factory techniques to implement grand couplings without unconditional marginal lower bounds, and uses backward deduction with a potential-function analysis to ensure efficiency. These results imply efficient local algorithms for probabilistic inference in the same near-critical regimes and broaden the applicability of local sampling to both soft-constraint and hard-constraint spin models, with implications for dynamic and sublinear computation models.

Abstract

Local samplers are algorithms that generate random samples based on local queries to high-dimensional distributions, ensuring the samples follow the correct induced distributions while maintaining time complexity that scales locally with the query size. These samplers have broad applications, including deterministic approximate counting [He, Wang, Yin, SODA '23; Feng et.al., FOCS '23], sampling from infinite or high-dimensional Gibbs distributions [Anand, Jerrum, SICOMP '22; He, Wang, Yin, FOCS '22], and providing local access to large random objects [Biswas, Rubinfield, Yodpinyanee, ITCS '20]. In this work, we present local samplers for Gibbs distributions of spin systems. Specifically, we design linear-time local samplers for: - permissive spin systems, including the first local sampler for the Ising model in near-critical regimes; - truly repulsive spin systems, represented by the first local sampler for uniform proper $q$-colorings, with $q=O(Δ)$ colors on graphs with maximum degree $Δ$. These local samplers are efficient beyond the "local uniformity" threshold, which imposes unconditional marginal lower bounds -- a key assumption required by all prior local samplers. Our results show that, in general, local sampling is not significantly harder than global sampling for spin systems. As an application, our results also imply local algorithms for probabilistic inference in the same near-critical regimes.

Local Gibbs sampling beyond local uniformity

TL;DR

The paper develops local samplers for Gibbs distributions that operate beyond the local uniformity constraint by generalizing the Coupling Towards the Past framework with marginal-sampling oracles. It delivers a perfect, linear-time local sampler for spin systems with soft constraints in near-critical regimes (e.g., Ising) and introduces the first local sampler for uniform proper q-colorings with q = O(Delta), along with corresponding local probabilistic inference mechanisms. The approach hinges on marginal samplers, rejection sampling, and Bernoulli factory techniques to implement grand couplings without unconditional marginal lower bounds, and uses backward deduction with a potential-function analysis to ensure efficiency. These results imply efficient local algorithms for probabilistic inference in the same near-critical regimes and broaden the applicability of local sampling to both soft-constraint and hard-constraint spin models, with implications for dynamic and sublinear computation models.

Abstract

Local samplers are algorithms that generate random samples based on local queries to high-dimensional distributions, ensuring the samples follow the correct induced distributions while maintaining time complexity that scales locally with the query size. These samplers have broad applications, including deterministic approximate counting [He, Wang, Yin, SODA '23; Feng et.al., FOCS '23], sampling from infinite or high-dimensional Gibbs distributions [Anand, Jerrum, SICOMP '22; He, Wang, Yin, FOCS '22], and providing local access to large random objects [Biswas, Rubinfield, Yodpinyanee, ITCS '20]. In this work, we present local samplers for Gibbs distributions of spin systems. Specifically, we design linear-time local samplers for: - permissive spin systems, including the first local sampler for the Ising model in near-critical regimes; - truly repulsive spin systems, represented by the first local sampler for uniform proper -colorings, with colors on graphs with maximum degree . These local samplers are efficient beyond the "local uniformity" threshold, which imposes unconditional marginal lower bounds -- a key assumption required by all prior local samplers. Our results show that, in general, local sampling is not significantly harder than global sampling for spin systems. As an application, our results also imply local algorithms for probabilistic inference in the same near-critical regimes.

Paper Structure

This paper contains 23 sections, 22 theorems, 41 equations, 13 algorithms.

Key Result

Theorem 1.2

There exists an algorithm that, given access (as in assumption:access-model) to a $q$-spin system $\mathcal{S}=(G,\bm{\lambda},\bm{A})$ satisfying cond:main, with Gibbs distribution $\mu=\mu^{\mathcal{S}}$, and given a subset of vertices $\Lambda\subseteq V$, outputs a perfect sample $X\sim \mu_{\La

Theorems & Definitions (45)

  • Theorem 1.2: local sampler for spin systems with soft constraints
  • Corollary 1.3: local Ising sampler
  • Theorem 1.4: local sampler for proper $q$-colorings
  • Remark 1.5
  • Theorem 1.6: probabilistic inference in spin systems with soft constraints
  • Theorem 1.7: probabilistic inference for proper $q$-colorings
  • Theorem 2.1: levin2017markov
  • Definition 3.1: marginal sampling oracle
  • Definition 3.2: simulation of systematic scan Glauber dynamics via a marginal sampling oracle
  • Remark 3.3: grand coupling
  • ...and 35 more