= Exchangeable invariant laws of symmetric exclusion
If the probability of occupation at every site in a finite set depends only on its cardinality, the law is exchangeable. The <product self-duality of symmetric exclusion> and conservation of the finite dual particle count imply that all these occupation-product moments are unchanged by evolution. <Inclusion-exclusion principle> reconstructs every finite cylinder probability from them, proving invariance. This direct argument does not require a representation theorem for exchangeable laws.
Back to article page
