Pensieve header:  Experiments in 2026: Alternative integrands for $\theta$.

Initialization

SetDirectory["C:\\drorbn\\AcademicPensieve\\Talks\\Bonn-2505"];
Once[<<"IType(SimplifiedFormatting).m"];

Minor utilities

CCF[ℰ_] := ExpandDenominator@ExpandNumerator@Together[ℰ]; 
CCF[ℰ_] := Factor[ℰ];
CF[ℰ_List]:=CF/@ℰ;
CF[ℰ_ϵSeries]:=CF/@Take[ℰ,$k+1];
CF[ℰ_] :=Module[{F},Expand@Collect[ℰ,ϵ|(Subscript[(p|x|π|ξ|g), __]),F]/.F->CCF];
CF[ℰ_𝔼]:=CF/@ℰ; 
CF[(Subscript[𝔼, sp___])[ℰs___]]:=CF/@(Subscript[𝔼, sp])[ℰs];

(Subscript[ℒ, i_])[K_]:=CF[(Subscript[ℒ, i])/@Features[K][[2]]]
vs[K_]:=Flatten@Table[{(Subscript[p, ν,i]),(Subscript[x, ν,i])},{ν,3},{i,Features[K][[1]]}]

{(SuperStar[p]),(SuperStar[x]),(SuperStar[π]),(SuperStar[ξ])}={π,ξ,p,x}; 
(SuperStar[(vs_List)]):=(v|->(SuperStar[v]))/@vs;
(SuperStar[((Subscript[u_, νi__]))]):=(Subscript[((SuperStar[u])), νi]);

HL[ℰ_] := Style[ℰ, Background -> If[TrueQ@ℰ,,]];

g2px and px2g

Modified from pensieve://Talks/Geneva-2408/DataConversions.nb

g2px[ℰ_]:=CF@Module[{λ},Expand[ℰ/.{(Subscript[g, i_,j_]):>λ (Subscript[p, i])(Subscript[x, j])}]/.{(λ^(k_.)):>1/k!}]
gν2px[ℰ_]:=CF@Module[{λ},Expand[ℰ/.{(Subscript[g, ν_,i_,j_]):>(Subscript[λ, ν]) (Subscript[p, ν,i])(Subscript[x, ν,j])}]/.{(Subscript[λ, _]^(k_.)):>1/k!}]

(Subscript[Zip, {}])[ℰ_]:=ℰ;
(Subscript[Zip, {ζ_,ζs___}])[ℰ_] := (Collect[ℰ//(Subscript[Zip, {ζs}]),ζ] /. f_.(ζ^(d_.)):>(D[f,{(SuperStar[ζ]),d}]))/.(SuperStar[ζ])->0

px2g[ℰ_]:=CF@Module[{ps,xs,Q,α,β},
ps=Union[Cases[ℰ,(Subscript[p, _]),∞]]; xs=Union[Cases[ℰ,(Subscript[x, _]),∞]];
Q=Sum[(SuperStar[p0]) (SuperStar[x0]) (Subscript[g, p0[[2]],x0[[2]]]),{p0,ps},{x0,xs}];
Expand[(Subscript[Zip, ps⋃xs])[ℰ (E^Q)]]
]
pxν2g[ℰ_]:=CF@Module[{ps,xs,Q,α,β},
ps=Union[Cases[ℰ,(Subscript[p, __]),∞]]; xs=Union[Cases[ℰ,(Subscript[x, __]),∞]];
Q=Sum[(SuperStar[p0]) (SuperStar[x0]) (Subscript[g, p0[[2]],x0[[2]],p0[[3]],x0[[3]]]),{p0,ps},{x0,xs}];
Expand[(Subscript[Zip, ps⋃xs])[ℰ (E^Q)]/.(Subscript[g, α_,β_,i_,j_]):>If[α===β,(Subscript[g, α,i,j]),0]]
]

gRules

From pensieve://Talks/MonteVerita-2604/Theta.nb

(Subscript[gR, s_,i_,j_]):={
(Subscript[g, j,β_]):>(Subscript[g, (SuperPlus[j]),β])+(Subscript[δ, j,β]),(Subscript[g, i,β_]):>(T^s)(Subscript[g, (SuperPlus[i]),β])+(1-(T^s))(Subscript[g, (SuperPlus[j]),β])+(Subscript[δ, i,β]),
(Subscript[g, α_,(SuperPlus[i])]):>(T^s)(Subscript[g, α,i])+(Subscript[δ, α,(SuperPlus[i])]),(Subscript[g, α_,(SuperPlus[j])]):>(Subscript[g, α,j])+(1-(T^s))(Subscript[g, α,i])+(Subscript[δ, α,(SuperPlus[j])]),
(Subscript[g, ν_,j,β_]):>(Subscript[g, ν,(SuperPlus[j]),β])+(Subscript[δ, j,β]),(Subscript[g, ν_,i,β_]):>(Subscript[T, ν]^s)(Subscript[g, ν,(SuperPlus[i]),β])+(1-(Subscript[T, ν]^s))(Subscript[g, ν,(SuperPlus[j]),β])+(Subscript[δ, i,β]),
(Subscript[g, ν_,α_,(SuperPlus[i])]):>(Subscript[T, ν]^s)(Subscript[g, ν,α,i])+(Subscript[δ, α,(SuperPlus[i])]),(Subscript[g, ν_,α_,(SuperPlus[j])]):>(Subscript[g, ν,α,j])+(1-(Subscript[T, ν]^s))(Subscript[g, ν,α,i])+(Subscript[δ, α,(SuperPlus[j])])
}
(Subscript[gR, i_]):={(Subscript[g, i,β_]):>(Subscript[g, (SuperPlus[i]),β])+(Subscript[δ, i,β]),(Subscript[g, α_,(SuperPlus[i])]):>(Subscript[g, α,i])+(Subscript[δ, α,(SuperPlus[i])])}

Inverse gRules written locally:

(Subscript[igR, s_,i_,j_]):={
(Subscript[g, (SuperPlus[j]),β_]):>(Subscript[g, j,β])-(Subscript[δ, j,β]), (Subscript[g, (SuperPlus[i]),β_]):>(T^(-s))(Subscript[g, i,β])-((T^(-s))-1)(Subscript[g, (SuperPlus[j]),β])-(T^(-s))(Subscript[δ, i,β]),
(Subscript[g, α_,i]):>(T^(-s))((Subscript[g, α,(SuperPlus[i])])-(Subscript[δ, α,(SuperPlus[i])])),(Subscript[g, α_,j]):>(Subscript[g, α,(SuperPlus[j])])-(1-(T^s))(Subscript[g, α,i])-(Subscript[δ, α,(SuperPlus[j])]),
(Subscript[g, ν_,(SuperPlus[j]),β_]):>(Subscript[g, ν,j,β])-(Subscript[δ, j,β]), (Subscript[g, ν_,(SuperPlus[i]),β_]):>(Subscript[T, ν]^(-s))(Subscript[g, ν,i,β])-((Subscript[T, ν]^(-s))-1)(Subscript[g, ν,(SuperPlus[j]),β])-(Subscript[T, ν]^(-s))(Subscript[δ, i,β]),
(Subscript[g, ν_,α_,i]):>(Subscript[T, ν]^(-s))((Subscript[g, ν,α,(SuperPlus[i])])-(Subscript[δ, α,(SuperPlus[i])])),(Subscript[g, ν_,α_,j]):>(Subscript[g, ν,α,(SuperPlus[j])])-(1-(Subscript[T, ν]^s))(Subscript[g, ν,α,i])-(Subscript[δ, α,(SuperPlus[j])])
}

The Base Lagrangian

From pensieve://Talks/Rank2.nb.

(Subscript[T, 3])=(Subscript[T, 1])(Subscript[T, 2]);  (SuperPlus[i_]):=i+1;
$π=(CF@Normal[#+((O[ϵ])^2)]/. {(Subscript[π, is__]):>(B^(-1))(Subscript[π, is]),(Subscript[x, is__]):>(B^(-1))(Subscript[x, is]),(Subscript[p, is__]):>B (Subscript[p, is])}/.ϵ (B^(b_))/;b<0->0/.B->1)&;

(Subscript[ℒ, 1])[(Subscript[X, i_,j_])[s_]]:=(Subscript[T, 3]^s)𝔼[CF@Plus[
(∑_(ν=1)^3)((Subscript[x, ν,i])((Subscript[p, ν,(SuperPlus[i])])-(Subscript[p, ν,i]))+(Subscript[x, ν,j])((Subscript[p, ν,(SuperPlus[j])])-(Subscript[p, ν,j]))+((Subscript[T, ν]^s)-1)(Subscript[x, ν,i])((Subscript[p, ν,(SuperPlus[i])])-(Subscript[p, ν,(SuperPlus[j])]))),
((Subscript[T, 1]^s)-1)(Subscript[p, 3,j])(Subscript[x, 1,i])((Subscript[T, 2]^s)(Subscript[x, 2,i])-(Subscript[x, 2,j])),
ϵ s((Subscript[T, 3]^s)-1)(Subscript[p, 1,j])((Subscript[p, 2,i])-(Subscript[p, 2,j]))(Subscript[x, 3,i])/((Subscript[T, 2]^s)-1),
ϵ s(1/2+(Subscript[T, 2]^s)(Subscript[p, 1,i])(Subscript[p, 2,j])(Subscript[x, 1,i])(Subscript[x, 2,i])-(Subscript[p, 1,i])(Subscript[p, 2,j])(Subscript[x, 1,i])(Subscript[x, 2,j])-(Subscript[p, 3,i])(Subscript[x, 3,i])-((Subscript[T, 2]^s)-1)(Subscript[p, 2,j])(Subscript[p, 3,i])(Subscript[x, 2,i])(Subscript[x, 3,i])+((Subscript[T, 3]^s)-1)(Subscript[p, 2,j])(Subscript[p, 3,j])(Subscript[x, 2,i])(Subscript[x, 3,i])+2 (Subscript[p, 2,j])(Subscript[p, 3,i])(Subscript[x, 2,j])(Subscript[x, 3,i])+(Subscript[p, 1,i])(Subscript[p, 3,j])(Subscript[x, 1,i])(Subscript[x, 3,j])-(Subscript[p, 2,i])(Subscript[p, 3,j])(Subscript[x, 2,i])(Subscript[x, 3,j])-(Subscript[T, 2]^s)(Subscript[p, 2,j])(Subscript[p, 3,j])(Subscript[x, 2,i])(Subscript[x, 3,j])+(((Subscript[T, 1]^s)-1)(Subscript[p, 1,j])(Subscript[x, 1,i])((Subscript[T, 2]^(2s))(Subscript[p, 2,j])(Subscript[x, 2,i])-(Subscript[T, 2]^s)(Subscript[p, 2,j])(Subscript[x, 2,j])-((Subscript[T, 2]^s)+1)((Subscript[T, 3]^s)-1)(Subscript[p, 3,j])(Subscript[x, 3,i])+(Subscript[T, 2]^s)(Subscript[p, 3,j])(Subscript[x, 3,j]))+((Subscript[T, 3]^s)-1)(Subscript[p, 3,j])(Subscript[x, 3,i])(1-(Subscript[T, 2]^s)(Subscript[p, 1,i])(Subscript[x, 1,i])+(Subscript[p, 2,i])(Subscript[x, 2,j])+((Subscript[T, 2]^s)-2)(Subscript[p, 2,j])(Subscript[x, 2,j])))/((Subscript[T, 2]^s)-1))]]
(Subscript[ℒ, 1])[(Subscript[C, i_])[φ_]]:=(Subscript[T, 3]^φ)𝔼[(∑_(ν=1)^3)(Subscript[x, ν,i])((Subscript[p, ν,(SuperPlus[i])])-(Subscript[p, ν,i]))+ϵ φ((Subscript[p, 3,i])(Subscript[x, 3,i])-1/2)]

$ℒ=(Subscript[ℒ, 1]);

The Trefoil

K=Mirror@Knot[3,1]; Features[K]

{vs[K],$ℒ[K]}

∫$ℒ[K]\[DifferentialD] vs[K]

ℱ[is__]:=𝔼[Sum[(Subscript[π, ν,i])(Subscript[p, ν,i]),{i,{is}}, {ν,3}]];
(Subscript[vs, i_]):=Sequence[(Subscript[p, 1,i]),(Subscript[p, 2,i]),(Subscript[p, 3,i]),(Subscript[x, 1,i]),(Subscript[x, 2,i]),(Subscript[x, 3,i])];

lhs=∫ℱ[i]$ℒ/@((Subscript[X, i+2,i])[1](Subscript[C, i+1])[1])\[DifferentialD]{(Subscript[vs, i]),(Subscript[vs, (SuperPlus[i])]),(Subscript[vs, i+2])}
rhs=∫ℱ[i]$ℒ/@((Subscript[C, i])[0](Subscript[C, i+1])[0](Subscript[C, i+2])[0])\[DifferentialD]{(Subscript[vs, i]),(Subscript[vs, (SuperPlus[i])]),(Subscript[vs, i+2])};
lhs==rhs //HL

lhs=∫ℱ[i]$ℒ/@((Subscript[X, i,i+2])[1](Subscript[C, i+1])[-1])\[DifferentialD]{(Subscript[vs, i]),(Subscript[vs, (SuperPlus[i])]),(Subscript[vs, i+2])}
rhs=∫ℱ[i]$ℒ/@((Subscript[C, i])[0](Subscript[C, i+1])[0](Subscript[C, i+2])[0])\[DifferentialD]{(Subscript[vs, i]),(Subscript[vs, (SuperPlus[i])]),(Subscript[vs, i+2])};
lhs==rhs//HL

Territory: (Subscript[(x|p), (SuperPlus[(i|j)])]), (Subscript[x, i|j]).

lhs=∫ℱ[i,j]$ℒ/@((Subscript[X, i,j])[1](Subscript[X, i+1,j+1])[-1])\[DifferentialD]{(Subscript[vs, i]),(Subscript[vs, j]),(Subscript[vs, (SuperPlus[i])]),(Subscript[vs, (SuperPlus[j])])}
rhs=∫ℱ[i,j]$ℒ/@((Subscript[C, i])[0](Subscript[C, i+1])[0](Subscript[C, j])[0](Subscript[C, j+1])[0])\[DifferentialD]{(Subscript[vs, i]),(Subscript[vs, j]),(Subscript[vs, (SuperPlus[i])]),(Subscript[vs, (SuperPlus[j])])};
lhs==rhs//HL

lhs=∫ℱ[i,j]$ℒ/@((Subscript[X, i+1,j])[1](Subscript[X, i,j+2])[-1](Subscript[C, j+1])[1])\[DifferentialD]{(Subscript[vs, i]),(Subscript[vs, j]),(Subscript[vs, (SuperPlus[i])]),(Subscript[vs, (SuperPlus[j])]),(Subscript[vs, j+2])}
rhs=∫ℱ[i,j]$ℒ/@((Subscript[C, i])[0](Subscript[C, i+1])[0](Subscript[C, j])[0](Subscript[C, j+1])[1](Subscript[C, j+2])[0])\[DifferentialD]{(Subscript[vs, i]),(Subscript[vs, j]),(Subscript[vs, (SuperPlus[i])]),(Subscript[vs, (SuperPlus[j])]),(Subscript[vs, j+2])};
lhs==rhs//HL

Short[lhs=∫(ℱ[i,j,k]$ℒ/@((Subscript[X, i,j])[1](Subscript[X, i+1,k])[1](Subscript[X, j+1,k+1])[1]))\[DifferentialD]{(Subscript[vs, i]),(Subscript[vs, j]),(Subscript[vs, k]),(Subscript[vs, (SuperPlus[i])]),(Subscript[vs, (SuperPlus[j])]),(Subscript[vs, (SuperPlus[k])])}]
rhs=∫(ℱ[i,j,k]$ℒ/@((Subscript[X, j,k])[1](Subscript[X, i,k+1])[1](Subscript[X, i+1,j+1])[1]))\[DifferentialD]{(Subscript[vs, i]),(Subscript[vs, j]),(Subscript[vs, k]),(Subscript[vs, (SuperPlus[i])]),(Subscript[vs, (SuperPlus[j])]),(Subscript[vs, (SuperPlus[k])])};
lhs==rhs//HL

Short[lhs=∫ℱ[i,j]$ℒ/@((Subscript[X, i+1,j+1])[1](Subscript[C, i])[-1](Subscript[C, j])[-1](Subscript[C, i+2])[1](Subscript[C, j+2])[1])\[DifferentialD]{(Subscript[vs, i]),(Subscript[vs, j]),(Subscript[vs, (SuperPlus[i])]),(Subscript[vs, (SuperPlus[j])]),(Subscript[vs, i+2]),(Subscript[vs, j+2])}]
rhs=∫ℱ[i,j]$ℒ/@((Subscript[X, i+1,j+1])[1](Subscript[C, i])[0](Subscript[C, j])[0](Subscript[C, i+2])[0](Subscript[C, j+2])[0])\[DifferentialD]{(Subscript[vs, i]),(Subscript[vs, j]),(Subscript[vs, (SuperPlus[i])]),(Subscript[vs, (SuperPlus[j])]),(Subscript[vs, i+2]),(Subscript[vs, j+2])};
lhs==rhs//HL

The pPush Lagrangian

pPush[ω_.𝔼[L_]]:=Module[{B,L1,Q,P0,P1a,P1b,θ0},
L1=CoefficientRules[B L/.{(Subscript[p, αβ__]):>B (Subscript[p, αβ]),(Subscript[x, αβ__]):>(B^(-1)) (Subscript[x, αβ])},{ϵ,B}];
{ω,Q={0,1}/.L1, P0={0,0}/.L1, P1a={1,2}/.L1, P1b={1,1}/.L1};
θ0=CF[
pxν2g[CF[(P0/.Thread[{s,i,j}->{s0,i0,j0}])(P1a/.Thread[{s,i,j}->{s1,i1,j1}])
]]/.(Subscript[gR, s0,i0,j0])/.(Subscript[gR, s1,i1,j1])/.{(Subscript[δ, j1,i0])|(Subscript[δ, j0,i1])|(Subscript[δ, i1,j0])->0,(Subscript[δ, i1,i0])|(Subscript[δ, j1,j0])->B}
];
θ1=List@@Factor[gν2px[θ0/.B->0]];
{Y0=Times@@Select[θ1,FreeQ[s1|i1|j1]],Y1=Times@@Select[θ1,FreeQ[s0|i0|j0]]};
Times@@θ1==Y0 Y1;
gν2px[Coefficient[θ0,B]/.{s0|s1->s,i0|i1->i,j0|j1->j}]
];
pPush@(Subscript[ℒ, 1])[(Subscript[X, i,j])[s]]

(Subscript[pPush, loc__])[ℰ_]:=g2px[px2g[ℰ]/.(Subscript[gR, loc])/.{(Subscript[δ, α_,α_])->1,(Subscript[δ, i,j])->0,(Subscript[δ, j,i])->0}/.(SuperPlus[α_]):>α+1];

{(Subscript[pPush, s,i,j])[(Subscript[x, i])(Subscript[p, i])], (Subscript[pPush, i])[(Subscript[x, i])(Subscript[p, i])]}

(Subscript[ℒ, pPush])[(Subscript[X, i_,j_])[s_]]:=(T^(s/2))CF@𝔼[Plus[
(Subscript[x, i])((Subscript[p, i+1])-(Subscript[p, i]))+(Subscript[x, j])((Subscript[p, j+1])-(Subscript[p, j]))+((T^s)-1)(Subscript[x, i])((Subscript[p, i+1])-(Subscript[p, j+1])),
(Subscript[pPush, s,i,j])[(ϵ s/2)×((Subscript[x, i])((Subscript[p, i])-(Subscript[p, j]))(((T^s)-1)(Subscript[x, i])(Subscript[p, j])+2(1-(Subscript[x, j])(Subscript[p, j])))-1)]
]]
(Subscript[ℒ, pPush])[(Subscript[C, i_])[φ_]]:=(T^(φ/2))𝔼[(Subscript[x, i])((Subscript[p, i+1])-(Subscript[p, i]))+(Subscript[pPush, i])[ϵ φ((1/2)-(Subscript[x, i])(Subscript[p, i]))]]
$ℒ=(Subscript[ℒ, pPush]);

$ℒ[(Subscript[X, i,j])[s]]
$ℒ[(Subscript[C, i])[φ]]

Collect[$ℒ[(Subscript[X, i,j])[s]][[2,1]],ϵ]
Collect[$ℒ[(Subscript[C, i])[φ]][[2,1]],ϵ]

The Trefoil

K=Mirror@Knot[3,1]; {vs[K],$ℒ[K]}

$π=Normal[#+((O[ϵ])^2)]&;∫$ℒ[K]\[DifferentialD] vs[K]

lhs=∫𝔼[I (Subscript[π, i])(Subscript[p, i])]$ℒ/@((Subscript[X, i+2,i])[1](Subscript[C, i+1])[1])\[DifferentialD]{(Subscript[x, i]),(Subscript[p, i]),(Subscript[x, i+1]),(Subscript[p, i+1]),(Subscript[x, i+2]),(Subscript[p, i+2])}
rhs=∫𝔼[I (Subscript[π, i])(Subscript[p, i])]$ℒ/@((Subscript[C, i])[0](Subscript[C, i+1])[0](Subscript[C, i+2])[0])\[DifferentialD]{(Subscript[x, i]),(Subscript[p, i]),(Subscript[x, i+1]),(Subscript[p, i+1]),(Subscript[x, i+2]),(Subscript[p, i+2])};
lhs==rhs //HL

lhs=∫𝔼[I (Subscript[π, i])(Subscript[p, i])]$ℒ/@((Subscript[X, i,i+2])[1](Subscript[C, i+1])[-1])\[DifferentialD]{(Subscript[x, i]),(Subscript[p, i]),(Subscript[x, i+1]),(Subscript[p, i+1]),(Subscript[x, i+2]),(Subscript[p, i+2])}
rhs=∫𝔼[I (Subscript[π, i])(Subscript[p, i])]$ℒ/@((Subscript[C, i])[0](Subscript[C, i+1])[0](Subscript[C, i+2])[0])\[DifferentialD]{(Subscript[x, i]),(Subscript[p, i]),(Subscript[x, i+1]),(Subscript[p, i+1]),(Subscript[x, i+2]),(Subscript[p, i+2])};
lhs==rhs//HL

Territory: (Subscript[(x|p), (SuperPlus[(i|j)])]), (Subscript[x, i|j]).

lhs=∫𝔼[I (Subscript[π, i])(Subscript[p, i])+I (Subscript[π, j])(Subscript[p, j])]$ℒ/@((Subscript[X, i,j])[1](Subscript[X, i+1,j+1])[-1])\[DifferentialD]{(Subscript[x, i]),(Subscript[x, j]),(Subscript[p, i]),(Subscript[p, j]),(Subscript[x, i+1]),(Subscript[x, j+1]),(Subscript[p, i+1]),(Subscript[p, j+1])}
rhs=∫𝔼[I (Subscript[π, i])(Subscript[p, i])+I (Subscript[π, j])(Subscript[p, j])]$ℒ/@((Subscript[C, i])[0](Subscript[C, i+1])[0](Subscript[C, j])[0](Subscript[C, j+1])[0])\[DifferentialD]{(Subscript[x, i]),(Subscript[x, j]),(Subscript[p, i]),(Subscript[p, j]),(Subscript[x, i+1]),(Subscript[x, j+1]),(Subscript[p, i+1]),(Subscript[p, j+1])};
lhs==rhs//HL

lhs=∫𝔼[I (Subscript[π, i])(Subscript[p, i])+I (Subscript[π, j])(Subscript[p, j])]$ℒ/@((Subscript[X, i+1,j])[1](Subscript[X, i,j+2])[-1](Subscript[C, j+1])[1])\[DifferentialD]{(Subscript[x, i]),(Subscript[x, j]),(Subscript[p, i]),(Subscript[p, j]),(Subscript[x, i+1]),(Subscript[x, j+1]),(Subscript[p, i+1]),(Subscript[p, j+1]),(Subscript[x, j+2]),(Subscript[p, j+2])}
rhs=∫𝔼[I (Subscript[π, i])(Subscript[p, i])+I (Subscript[π, j])(Subscript[p, j])]$ℒ/@((Subscript[C, i])[0](Subscript[C, i+1])[0](Subscript[C, j])[0](Subscript[C, j+1])[1](Subscript[C, j+2])[0])\[DifferentialD]{(Subscript[x, i]),(Subscript[x, j]),(Subscript[p, i]),(Subscript[p, j]),(Subscript[x, i+1]),(Subscript[x, j+1]),(Subscript[p, i+1]),(Subscript[p, j+1]),(Subscript[x, j+2]),(Subscript[p, j+2])};
lhs==rhs//HL

$ℒ/@((Subscript[X, i,j])[1](Subscript[X, i+1,k])[1](Subscript[X, j+1,k+1])[1])

lhs=∫(𝔼[I (Subscript[π, i])(Subscript[p, i])+I (Subscript[π, j])(Subscript[p, j])+I (Subscript[π, k])(Subscript[p, k])]$ℒ/@((Subscript[X, i,j])[1](Subscript[X, i+1,k])[1](Subscript[X, j+1,k+1])[1]))\[DifferentialD]{(Subscript[p, i]),(Subscript[p, j]),(Subscript[p, k]),(Subscript[x, i]),(Subscript[x, j]),(Subscript[x, k]),(Subscript[p, i+1]),(Subscript[p, j+1]),(Subscript[p, k+1]),(Subscript[x, i+1]),(Subscript[x, j+1]),(Subscript[x, k+1])}
rhs=∫(𝔼[I (Subscript[π, i])(Subscript[p, i])+I (Subscript[π, j])(Subscript[p, j])+I (Subscript[π, k])(Subscript[p, k])]$ℒ/@((Subscript[X, j,k])[1](Subscript[X, i,k+1])[1](Subscript[X, i+1,j+1])[1]))\[DifferentialD]{(Subscript[p, i]),(Subscript[p, j]),(Subscript[p, k]),(Subscript[x, i]),(Subscript[x, j]),(Subscript[x, k]),(Subscript[p, i+1]),(Subscript[p, j+1]),(Subscript[p, k+1]),(Subscript[x, i+1]),(Subscript[x, j+1]),(Subscript[x, k+1])};
lhs==rhs//HL

lhs=∫𝔼[I (Subscript[π, i])(Subscript[p, i])+I (Subscript[π, j])(Subscript[p, j])]$ℒ/@((Subscript[X, i+1,j+1])[1](Subscript[C, i])[-1](Subscript[C, j])[-1](Subscript[C, i+2])[1](Subscript[C, j+2])[1])\[DifferentialD]{(Subscript[x, i]),(Subscript[x, j]),(Subscript[p, i]),(Subscript[p, j]),(Subscript[x, i+1]),(Subscript[x, j+1]),(Subscript[p, i+1]),(Subscript[p, j+1]),(Subscript[x, i+2]),(Subscript[p, i+2]),(Subscript[x, j+2]),(Subscript[p, j+2])}
rhs=∫𝔼[I (Subscript[π, i])(Subscript[p, i])+I (Subscript[π, j])(Subscript[p, j])]$ℒ/@((Subscript[X, i+1,j+1])[1](Subscript[C, i])[0](Subscript[C, j])[0](Subscript[C, i+2])[0](Subscript[C, j+2])[0])\[DifferentialD]{(Subscript[x, i]),(Subscript[x, j]),(Subscript[p, i]),(Subscript[p, j]),(Subscript[x, i+1]),(Subscript[x, j+1]),(Subscript[p, i+1]),(Subscript[p, j+1]),(Subscript[x, i+2]),(Subscript[p, i+2]),(Subscript[x, j+2]),(Subscript[p, j+2])};
lhs==rhs//HL