Proof of the Diaconis--Freedman Conjecture on partially-exchangeable processes

2024/05/30 by Noah Halberstam, Tom Hutchcroft, Halberstam, Noah +1
Engineering · Mathematics · #Field-Flow Fractionation Techniques #advanced mathematical theories

paper · pdf · doi:10.48550/arxiv.2405.20276

Abstract

We prove a conjecture of Diaconis and Freedman (Ann. Probab. 1980) characterising the extreme points of the set of partially-exchangeable processes on a countable set. More concretely, we prove that the partially exchangeable sigma-algebra of any transient partially exchangeable process X=(X_i)_{i≥ 0} (and hence any transient Markov chain) coincides up to null sets with the sigma-algebra generated by the initial state X₀ and the transition counts ( #\i≥ 0: X_i=x, X_i+1=y\ : x,y∈ S). Our proof is based on an analysis of Gibbs measures for Eulerian paths on rooted digraphs, relying in particular on the connection to uniform spanning trees and Wilson's algorithm via the de Bruijn--Ehrenfest--Smith--Tutte (BEST) bijection, and yields an explicit method to sample from the conditional distribution of a transient Markov chain given its transition counts.

Related

• Exchangeable Markov processes on graphs: Feller case
• On the extendibility of partially and Markov exchangeable binary sequences
• de Finetti reductions for partially exchangeable probability distributions
• Exchangeable min-id sequences: Characterization, exponent measures and non-decreasing id-processes
• Exchangeable Markov Processes on [k]^\zzN with Cadlag Sample Paths