Search arXiv⌕ Search

arXiv · 2610.39239

Bregman projections and partition design for accelerating finite Markov chains

Abstract

We study Gibbs averaging of finite Markov chains with a prescribed stationary distribution $π$. Given a transition matrix $P$ and the Gibbs kernel $G$ induced by a state-space partition, we prove that $GPG$ is an information projection for every admissible Bregman generator $ϕ$, with divergences defined using transition probabilities relative to $π$. A Pythagorean identity characterizes this projection and recovers the relative entropy and weighted Frobenius cases. A dual characterization identifies $GPG$ as a kernel closest to stationarity among those with the same projection chain as $P$; for relative entropy, it maximizes the entropy rate. The identities also give monotonicity under partition coarsening. For every reversible ergodic baseline $P$, Gibbs averaging cannot increase the squared weighted Frobenius distance to stationarity at any positive integer time, and the inequality is strict unless $P=GPG$. The corresponding mixing time therefore cannot increase. To choose the partition, we identify the divergence of $G$ from stationarity as the exact worst-case divergence of $GPG$ over all $π$-stationary baselines $P$. This objective depends only on the block masses. We give an exact algorithm for concave block costs, including those arising from relative entropy and power generators $ϕ(u)=u^p$ with $1 2$. For power generators $ϕ(u)=u^p$ with $p>1$, the objective is proportional to Tsallis entropy of order $2-p$: its minimization favors imbalanced block masses when $1 2$, while all $k$-block partitions have the same objective value when $p=2$. A numerical experiment compares the resulting projected chains with a local Metropolis sampler on a multi-modal $π$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Michael C. H. Choi, Youjia Wang. 2026-10-29. Bregman projections and partition design for accelerating finite Markov chains. https://arxiv.org/abs/2610.39239

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

KEEP EXPLORING

Related papers

Langevin equations solved by Markov chains (instead of integrals), two solutions with multiplicative noise and their properties

Langevin equations are usually understood as integral equations, since continuous and Markov solutions are nowhere differentiable. This is avoidable by the fact that white Gaussian noise can be seen as a generalized derivative of the Wiener process. The simplest LE is thus solved by Wiener paths, which can be computed by a Markov chain. That crucial property persists for functions of these paths, and solutions of the general LE are therefore assumed to have that form. In short time steps these functions must be linear or quadratic. Both cases lead to sampled versions of existing stochastic intrgrals ('Ito' and 'anti-Ito' respectively). In physics they apply for Brownian motion in presence of a temperature gradient: without a feedback to the medium in the linear case, and for a tagged molecule in the quadratic one; in the latter case the Fokker-Planck equation describes a local equilibrium.

math.PR↗

Diffusion Processes on $p$-Wasserstein Space over Banach Space

To study diffusion processes on the p-Wasserstein space $\mathscr P_p$ for $p\in [1,\infty)$ over a separable, reflexive Banach space $X$, we present a criterion on the quasi-regularity of Dirichlet forms in $L^2(\mathscr P_p,Λ)$ for a reference probability $Λ$ on $\mathscr P_p$. It is formulated in terms of an upper bound condition with the uniform norm of the intrinsic derivative. We find a versatile class of quasi-regular local Dirichlet forms on $\mathscr P_p$ by using images of Dirichlet forms on the tangent space $L^p(X\to X,μ_0)$ at a reference point $μ_0\in\mathscr P_p$. The Ornstein--Uhlenbeck type Dirichlet form and process on $\mathscr P_2$ are an important example in this class. We derive an $L^2$-estimate for the corresponding heat kernel and an integration by parts formula for the invariant measure.

math.PR↗

Convergence of stochastic integrals with applications to transport equations and conservation laws with noise

Convergence of stochastic integrals driven by Wiener processes $W_n$, with $W_n \to W$ almost surely in $C_t$, is crucial in analyzing SPDEs. Our focus is on the convergence of the form $\int_0^T V_n\, \mathrm{d} W_n \to \int_0^T V\, \mathrm{d} W$, where $\{V_n\}$ is bounded in $L^p(Ω\times [0,T];X)$ for a Banach space $X$ and some finite $p > 2$. This is challenging when $V_n$ converges to $V$ weakly in the temporal variable. We supply convergence results to handle stochastic integral limits when strong temporal convergence is lacking. A key tool is a uniform mean $L^1$ time translation estimate on $V_n$, an estimate that is easily verified in many SPDEs. However, this estimate alone does not guarantee strong compactness of $(ω,t)\mapsto V_n(ω,t)$. Our findings, especially pertinent to equations exhibiting singular behavior, are substantiated by establishing several stability results for stochastic transport equations and conservation laws.

math.PR↗