Research proof index

For a list φs of 𝓕.FieldOp, then 𝓣(φs) is equal to the sum of - ∑ φsΛ, φsΛ.wickTerm where the sum is over all Wick contraction φsΛ which have no contractions of equal time. - ∑ φsΛ, φsΛ.sign • φsΛ.timeContract * (∑ φssucΛ, φssucΛ.wickTerm), where the first sum is over all Wick contraction φsΛ which only have equal time contractions and the...

For a list φs of 𝓕.FieldOp, then 𝓣(φs) = ∑ φsΛ, φsΛ.sign • φsΛ.timeContract * 𝓣(𝓝([φsΛ]ᵘᶜ)) where the sum is over all Wick contraction φsΛ which only have equal time contractions. This result follows from - static_wick_theorem to rewrite 𝓣(φs) on the left hand side as a sum of 𝓣(φsΛ.staticWickTerm). - `EqTimeOnly.timeOrder_staticContra...