= 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
