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

Back to manuscript

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

Nearby in this section