Manuscript II@2 · II.tex · proposition · 50d64def

Proposition: Complete response factorization

Ward reduction and coupling factorization › Factorization on the whole locked domain · lines 901–918 · proof included or linked

II@2#prop:factorization, II@2#eq:factorization

Back to manuscript

On ,

Proof. The displayed species cases exhaust all four-leg words. They establish when leg one is replaced. Simultaneous relabeling moves any replaced leg to position one. The additional quartic contacts contribute linearly by definition.

Displayed formulas in this passage

  • II@2#eq:factorization · line 904

Nearby in this section