The main ingredient here is the invariance principle of Lemma 3.7. Recall the delta/dot operation from Definition 3.3?, tensor notations from Section ? and recall that for any partition \pi=(P_1,P_2,\dots, P_p) \in \mathcal{OP}_n the multilinear map \varphi_\pi^{\underline{t}}\colon \mathcal{A}^n \to \mathbb{C} is identified with the linear lifting \tilde{\varphi}_\pi^{\underline{t}}\colon \mathcal{A}^{\otimes n} \to \mathbb{C}. Similar to (?), for a linear map L\colon \mathcal{A}\to\mathcal{A} we we adopt the notation L^{\otimes P}\colon \mathcal{A}^{\otimes n} \to \mathcal{B}^{\otimes n} for the linear map
L^{\otimes P}=I\otimes I\otimes\dots\otimes L\otimes I\otimes \dots\otimes L\otimes I\otimes\dots\otimes L\otimes\dots\otimes I
with L appearing exactly at position j for every j\in P. Let {\mathbf X}=X_1\otimes X_2\otimes \dots\otimes X_n, let k + [m]:=\{k+1,k+2,\dots, k+m\} and let e_j \in \mathbb{R}^p be the jth unit vector. Then, for each j \in [p],
\varphi_\pi^{\underline{N}+me_j}(X_1,\dots, X_n)
= \varphi_\pi^{\underline{N}+me_j}({\mathbf X})
= \varphi_\pi\left( \left(\delta_{[N_j+m]}^{\otimes P_j} \prod_{i\ne j}
\delta_{[N_i]}^{\otimes P_i}\right) ({\mathbf X})\right)
;
after expansion we obtain
\delta_{[N_j+m]}^{\otimes P_j} = (\delta_{[N_j]}+\delta_{N_j+[m]})^{\otimes P_j}
= \sum_{A\subseteq P_j} \delta_{[N_j]}^{\otimes P_j \setminus A} \delta_{N_j+[m] }^{\otimes A}
and thus (Proof) is equal to
\begin{aligned}
&= \sum_{A\subseteq P_j}
\varphi_\pi\!\left(
\left(\delta_{[N_j]}^{\otimes P_j \setminus A} \delta_{N_j+[m] }^{\otimes A} \prod_{i\ne j} \delta_{[N_i]}^{\otimes P_i}\right) ({\mathbf X})
\right).
\intertext{This is a sum of $\varphi_\pi$'s with entries $X_{k}^{(i_k)}, k\in[n]$,
where the indices $i_k$ with $k\in A$ are strictly larger than the indices
$i_k$ with $k\in P_j \setminus A$, and therefore we may split the block $P_j \in \pi$ into two parts:
}
&= \sum_{A\subseteq P_j}
\varphi_{(P_1,P_2,\dots,P_{j-1},P_j\setminus A, A, P_{j+1},\dots,P_p)}\left(
\left( \delta_{[N_j]}^{\otimes P_j \setminus A} \delta_{N_j+[m] }^{\otimes A} \prod_{i\ne j} \delta_{[N_i]}^{\otimes P_i}\right) ({\mathbf X})
\right).
\intertext{
Now by Lemma~\ref{lem:quasimeetshift}
the local shift in $A$ can be omitted without changing the value
and we obtain
}
&= \sum_{A\subseteq P_j}
\varphi_{(P_1,P_2,\dots,P_{j-1},P_j\setminus A, A, P_{j+1},\dots,P_p)}\left(
\left( \delta_{[N_j]}^{\otimes P_j \setminus A} \delta_{[m]}^{\otimes A} \prod_{i\ne j} \delta_{[N_i]}^{\otimes P_i}\right) ({\mathbf X})
\right)
\\
&= \sum_{A\subseteq P_j}
\varphi_{(P_1,P_2,\dots,P_{j-1},P_j\setminus A, A, P_{j+1},\dots,P_p)}^{(N_1,N_2,\dots,N_{j-1},N_j,m,N_{j+1},\dots,N_p)}
({\mathbf X}).
\end{aligned}
The analytic extension of this identity is
\begin{aligned}
\varphi_\pi^{\underline{t}+se_j}({\mathbf X})
&= \sum_{A\subseteq P_j}
\varphi_{(P_1,P_2,\dots,P_{j-1},P_j\setminus A, A, P_{j+1},\dots,P_p)}^{(t_1,t_2,\dots,t_{j-1},t_j,s,t_{j+1},\dots,t_p)}
({\mathbf X})\\
&= \varphi_\pi^{\underline{t}}({\mathbf X})
+
\sum_{\emptyset\ne A\subseteq P_j}
\varphi_{(P_1,P_2,\dots,P_{j-1},P_j\setminus A,A, P_{j+1},\dots,P_p)}^{(t_1,t_2,\dots,t_{j-1},t_j,s,t_{j+1},\dots,t_p)}
({\mathbf X}),
\end{aligned}
and the derivative satisfies the derived identity (4.3):
\frac{\partial}{\partial t_j} \varphi_\pi^{\underline{t}}({\mathbf X})
=
\left.
\frac{\partial}{\partial s}
\right\rvert_{s=0}
\varphi_\pi^{\underline{t}+se_j}({\mathbf X})
= \sum_{\emptyset\ne A\subseteq P_j}
K_{(P_1,P_2,\dots,P_{j-1},P_j\setminus A,A,P_{j+1},\dots,P_p)}^{(t_1,t_2,\dots,t_{j-1},t_j,1,t_{j+1},\dots,t_p)}
({\mathbf X}).
In order to prove the first differential equation (4.3) we replace (Proof) by the complementary expansion
\delta_{[N_j+m]}^{\otimes P_j} = (\delta_{[m]}+\delta_{m+[N_j]})^{\otimes P_j}
= \sum_{A\subseteq P_j} \delta_{[m]}^{\otimes A} \delta_{m+[N_j]}^{\otimes P_j \setminus A},
and following the lines of (Proof)–(Proof) we obtain
\begin{gathered}
\varphi_\pi^{\underline{N}+me_j}(X_1,\dots, X_n) \\
\begin{aligned}[t]
&= \sum_{A\subseteq P_j}
\varphi_\pi\!\left(
\left( \delta_{[m]}^{\otimes A} \delta_{m+[N_j]}^{\otimes P_j \setminus A} \prod_{i\ne j} \delta_{[N_i]}^{\otimes P_i}\right) ({\mathbf X})
\right)
\\
&= \sum_{A\subseteq P_j}
\varphi_{(P_1,P_2,\dots,P_{j-1},A, P_j\setminus A, P_{j+1},\dots,P_p)}\left(
\left( \delta_{[m]}^{\otimes A} \delta_{[N_j]}^{\otimes P_j \setminus A}\prod_{i\ne j} \delta_{[N_i]}^{\otimes P_i}\right) ({\mathbf X})
\right)
\\
&= \sum_{A\subseteq P_j}
\varphi_{(P_1,P_2,\dots,P_{j-1},A,P_j\setminus A, P_{j+1},\dots,P_p)}^{(N_1,N_2,\dots,N_{j-1},m,N_j,N_{j+1},\dots,N_p)}
({\mathbf X}).
\end{aligned}
\end{gathered}
By analytic continuation, we may replace m and N_i with s and t_i respectively. Taking the derivative with respect to s at 0 we obtain (4.3).