Manuscript Oai227-A@1 · Oai227-A.tex · lemma · 7f45f607
Lemma: The exact four-state generator
Stage 6: the one explicit finite certificate › Freeze the complete finite instance · lines 1231–1276 · proof included or linked
Oai227-A@1#lem:two-generator, Oai227-A@1#eq:two-generator, Oai227-A@1#eq:two-actions
In the ordered state space
the heat-bath generator and invariant row vector are
For ,
Proof. A flip at either site has rate
It is in aligned states and in anti-aligned states, which gives . The Gibbs weights are in aligned states and otherwise. Dividing by gives .
The spin actions follow from (eq:spin-action) because . At an update of site one, the conditional mean of the new product is , and the same holds at site two. Therefore .
Displayed formulas in this passage
Oai227-A@1#eq:two-generator · line 1238
Oai227-A@1#eq:two-actions · line 1251
unlabeled · line 1234
unlabeled · line 1263