Reordering the signed R-322 Green skeleton

The combinatorial extraction list and the analytic collapse schedule contain the same endpoint intervals in different orders. The closed-form Green skeleton only uses the set of replaced right edges and the commutative product of difference factors, so it is exactly invariant under this reordering.

noncomputable def Anderson4D.r322AnalyticGreenSkeleton {n : ℕ} (κ : PartialPairing (Fin n)) (x : Fin n → T4) : ℝ

The closed signed Green skeleton written in the paper's analytic inside-to-outside order.

Equations

• One or more equations did not get rendered due to their size.

theorem Anderson4D.r322AnalyticGreenSkeleton_eq_renormalized {n : ℕ} (κ : PartialPairing (Fin n)) (x : Fin n → T4) : r322AnalyticGreenSkeleton κ x = renormalizedJGreenSkeleton κ x

Reordering the extraction intervals into analytic execution order does not alter the signed Green/difference skeleton.