Polarization Identity for Fourth Cumulants

• The paper introduces the unique polarization identity for fourth cumulants, extending the diagonal evaluation to a fully symmetric 4-linear form.
• It employs combinatorial sign-sum and inclusion–exclusion formulas to derive explicit moment-cumulant relationships, facilitating efficient computation.
• Applications span classical, quantum, and noncommutative settings, underpinning advanced limit theorems and higher-order dependency analysis.

The polarization identity for fourth cumulants provides the unique extension of the fourth moment polynomial along the diagonal—such as $C_4(x,x,x,x)$—to the fully symmetric 4-linear cumulant $C_4(x_1, x_2, x_3, x_4)$. This identity is fundamental to the theory and application of cumulants in commutative and noncommutative settings, underpins central limit theorems in chaos expansions, and enables efficient computation of higher-order dependencies in both classical and quantum statistical analysis.

1. Construction of the Polarization Identity for Fourth Cumulants

Let $\phi(h) = C_4(h, h, h, h)$ denote the homogeneous quartic polynomial corresponding to the univariate fourth cumulant of a random variable $h$, given explicitly by: $\phi(h) = \E[h^4] - 4\E[h^3]\E[h] - 3(\E[h^2])^2 + 12\E[h^2](\E[h])^2 - 6(\E[h])^4$ as shown in (Schefczik et al., 2019). Polarization extends $\phi$ to a symmetric 4-linear map, yielding the canonical multilinear fourth cumulant $C_4(x_1,x_2,x_3,x_4)$ by the formula: $$C_4(x_1, x_2, x_3, x_4) = \frac{1}{2^4 4!} \sum_{\varepsilon_i = \pm1} (\varepsilon_1 \varepsilon_2 \varepsilon_3 \varepsilon_4) \; \phi\left(\sum_{j=1}^4 \varepsilon_j x_j \right)$$ This "sign–sum" formula symmetrically aggregates diagonal evaluations over all sign combinations, ensuring that $C_4$ is both multilinear and invariant under permutation of arguments (Schefczik et al., 2019, Thomas, 2013).

An equivalent "difference" or inclusion–exclusion form is: $$C_4(x_1,x_2,x_3,x_4) = \frac{1}{4!} \sum_{k=0}^4 (-1)^{4-k} \sum_{1 \le i_1 < \cdots < i_k \le 4} \phi(x_{i_1} + \cdots + x_{i_k})$$ This forms the basis for all further explicit cumulant expressions.

2. Raw-Moment Expansion of the Fourth Cumulant

Upon substituting the explicit polynomial expansion for $C_4(x_1, x_2, x_3, x_4)$0, the polarization sum yields the well-known raw-moment formula for $C_4(x_1, x_2, x_3, x_4)$1 (not assumed mean-zero): $C_4(x_1, x_2, x_3, x_4)$2 where permutation sums run over all tuples as detailed in (Schefczik et al., 2019). Exactly 19 terms survive, accounting for every symmetry in the argument indices. Centralizing variables (taking them mean-zero) further reduces the expansion.

3. Alternative Polarization Forms and Multivariate Interpretations

The same multilinearization process can be applied in more abstract settings. For any symmetric 4-linear map $C_4(x_1, x_2, x_3, x_4)$3, (Thomas, 2013) provides combinatorial and diagonal forms:

Formula Type	Expression	Source
"Sign-sum"	$C_4(x_1, x_2, x_3, x_4)$4	(Thomas, 2013)
"Inclusion–exclusion"	$C_4(x_1, x_2, x_3, x_4)$5	(Thomas, 2013)
Diagonal cumulant	$C_4(x_1, x_2, x_3, x_4)$6 (for centered $C_4(x_1, x_2, x_3, x_4)$7)	(Thomas, 2013)

Specializing $C_4(x_1, x_2, x_3, x_4)$8 to the fourth cumulant functional produces the diagonal-moment formula: $C_4(x_1, x_2, x_3, x_4)$9 which expresses all mixed cumulants in terms of diagonal fourth moments (Thomas, 2013).

4. Polarization for Fourth Cumulants in Noncommutative Chaos

In Wiener–Itô (classical), free Wigner, and $\phi(h) = C_4(h, h, h, h)$0–Gaussian (noncommutative) chaos, polarization identities relate the fourth cumulant of sums to contractions of the summands. For random variables $\phi(h) = C_4(h, h, h, h)$1, $\phi(h) = C_4(h, h, h, h)$2 in classical Wiener–Itô chaos, with $\phi(h) = C_4(h, h, h, h)$3 and $\phi(h) = C_4(h, h, h, h)$4 of opposite parity: $\phi(h) = C_4(h, h, h, h)$5 where $\phi(h) = C_4(h, h, h, h)$6, and the covariance contracts the underlying symmetric kernels (Kemp et al., 25 Nov 2025). The parity condition ensures vanishing of $\phi(h) = C_4(h, h, h, h)$7 and similar cross-chaos interactions.

Analogous polarization formulas hold for free and $\phi(h) = C_4(h, h, h, h)$8–Gaussian chaoses with covariance and mixed trace terms, each term corresponding to extensions of the original polarization principle. In all cases, these identities provide the algebraic backbone for higher-moment limit theorems and contraction-based characterization of sum statistics in chaos expansions (Kemp et al., 25 Nov 2025).

5. Polarization Identity in Quantum and Multipole Contexts

In the context of quantum optics and polarization, the fourth cumulant of an arbitrary projection of the Stokes operator is expressed via multipole moments: $\phi(h) = C_4(h, h, h, h)$9 with $h$0 the $h$1-th multipole component of the SU(2) $h$2-function, and $h$3 the global polarization multipoles (Sanchez-Soto et al., 2013). Only the quadrupole $h$4 and hexadecapole $h$5 enter the fourth cumulant, sharply limiting the required tomography.

This multipole-based polarization identity is a direct analog of the combinatorial polarization in classical cumulants, confirming that, even in quantum observables, all higher-order dependencies are fully encoded in the $h$6 and $h$7 spherical harmonics components.

6. Relation to Second-Order Polarization and Generalizations

The polarization identity for cumulants generalizes the bilinear identity for covariances. For $h$8 and quadratic polynomial $h$9, polarization returns the familiar covariance: $\phi(h) = \E[h^4] - 4\E[h^3]\E[h] - 3(\E[h^2])^2 + 12\E[h^2](\E[h])^2 - 6(\E[h])^4$0 The quartic case is the unique symmetric $\phi(h) = \E[h^4] - 4\E[h^3]\E[h] - 3(\E[h^2])^2 + 12\E[h^2](\E[h])^2 - 6(\E[h])^4$1 extension: the same combinatorial structure as $\phi(h) = \E[h^4] - 4\E[h^3]\E[h] - 3(\E[h^2])^2 + 12\E[h^2](\E[h])^2 - 6(\E[h])^4$2 but in a higher-degree multilinear context. This generality holds for higher cumulants, though the combinatorics rapidly increase in complexity (Schefczik et al., 2019).

7. Applications, Structural Consequences, and Limitations

Polarization formulas for fourth cumulants are essential in unbiased estimation theory (Schefczik et al., 2019), limit theorems in stochastic integration and noncommutative probability (Kemp et al., 25 Nov 2025), and the study of higher-order polarization in quantum states (Sanchez-Soto et al., 2013). The explicit moment-cumulant expressions facilitate algorithmic computation and theoretical analysis of mixed dependencies, especially under independence, orthogonality, or symmetry constraints.

A notable subtlety is the necessity of imposing parity or orthogonality constraints in noncommutative frameworks; without these, mixed cumulant terms survive and complicate the decomposition, as shown by the breakdown of polarization splits in $\phi(h) = \E[h^4] - 4\E[h^3]\E[h] - 3(\E[h^2])^2 + 12\E[h^2](\E[h])^2 - 6(\E[h])^4$3 where $\phi(h) = \E[h^4] - 4\E[h^3]\E[h] - 3(\E[h^2])^2 + 12\E[h^2](\E[h])^2 - 6(\E[h])^4$4 and $\phi(h) = \E[h^4] - 4\E[h^3]\E[h] - 3(\E[h^2])^2 + 12\E[h^2](\E[h])^2 - 6(\E[h])^4$5 live in identical chaos levels (Kemp et al., 25 Nov 2025). Thus, the practical use of these formulas requires careful assessment of the algebraic properties of the underlying variables.

In summary, the polarization identity for fourth cumulants is a central structural tool in multivariate statistical theory, with broad impact across both commutative and noncommutative probability, quantum state characterization, and higher-order statistical inference.