Cumulante
# Cumulante

En teoría de la probabilidad y estadística, los cumulantes $κ_n$ de una distribución de probabilidad son un conjunto de cantidades que proporcionan una alternativa a los momentos de una distribución.

Los momentos determinan los cumulantes en el sentido de que dadas dos distribuciones de probabilidad cuyos momentos sean idénticos, también tendrán cumulantes idénticos, y de manera similar, los cumulantes determinan los momentos.   El primer cumulante es la media, el segundo cumulante es la varianza, y el tercer cumulante es el mismo que el tercer momento central. Pero los cumulantes de cuarto orden o superiores no son iguales a los momentos centrales. En algunos casos, los tratamientos teóricos de los problemas en términos de cumulantes son más simples que los que usan momentos. En particular, cuando dos o más variables aleatorias son independientes, el cumulante de orden $n^{ésimo}$ de su suma es igual a la suma de sus cumulantes de orden $n^{ésimo}.$ Además, los cumulantes de tercer y mayor orden de una distribución normal son cero, siendo la única distribución con esta propiedad.

Al igual que para los momentos, donde se utilizan momentos conjuntos cuando se trabaja con múltiples variables aleatorias, es posible definir cumulantes conjuntos.

## Definición

Los cumulantes de una variable aleatoria X se definen utilizando la función de generación de cumulantes K(t), que es el logaritmo natural de la función generadora de momentos:

    $K(t)=\ln \operatorname {E} \left[e^{tX}\right].$

Los cumulantes $κ_n$ se obtienen de una expansión en serie de potencias de la función de generación del cumulante:

    $K(t)=\sum _{n=1}^{\infty }\kappa _{n}{\frac {t^{n}}{n!}}=\mu t+\sigma ^{2}{\frac {t^{2}}{2}}+\cdots .$

Esta expansión es una serie de Taylor, por lo que el n-ésimo cumulante se puede obtener al diferenciar n veces la expansión anterior e igualar el resultado a cero:

    $\kappa _{n}=K^{(n)}(0).$

Si la función que genera el momento no existe, los cumulantes se pueden definir en términos de una relación con los propios momentos, que se analiza más adelante.

### Definición alternativa de la función de generación de cumulantes

Algunos autores prefieren definir la función de generación de cumulantes como el logaritmo natural de la función característica, que a veces también se denomina la función característica segunda:

    $H(t)=\ln \operatorname {E} \left[e^{itX}\right]=\sum _{n=1}^{\infty }\kappa _{n}{\frac {(it)^{n}}{n!}}=\mu it-\sigma ^{2}{\frac {t^{2}}{2}}+\cdots$

Una ventaja de H(t) (en cierto sentido, la función K(t) evaluada para argumentos puramente imaginarios), es que $E(e^{itX})$ está bien definida para todos los valores reales de t, incluso cuando $E(e^{tX})$ no está bien definido para todos los valores reales de t, como puede ocurrir cuando hay demasiada probabilidad de que X tenga una gran magnitud. Aunque la función H(t) estará bien definida, no obstante, se asemejará a K(t) en términos de la longitud de su serie de Taylor, que puede no extenderse más allá (o, rara vez, incluso a) el orden lineal en el argumento t, y en particular el número de Los cumulantes que están bien definidos no cambiará. Sin embargo, incluso cuando H(t) no tiene una serie larga de Maclaurin, puede usarse directamente para analizar y, particularmente, para agregar variables aleatorias. Tanto la distribución de Cauchy (también llamada Lorentziana) como, en general, las distribuciones estables (relacionadas con la distribución de Lévy) son ejemplos de distribuciones para las cuales las expansiones de las funciones de generación de la serie de potencias tienen solo finamente muchos términos bien definidos.

## Usos en estadística

Trabajar con cumulantes puede tener una ventaja sobre el uso de momentos, porque para las variables aleatorias estadísticamente independientes X y Y,

    ${\begin{aligned}K_{X+Y}(t)&=\ln \operatorname {E} \left[e^{t(X+Y)}\right]\\[5pt]&=\ln \left(\operatorname {E} \left[e^{tX}\right]\operatorname {E} \left[e^{tY}\right]\right)\\[5pt]&=\ln \operatorname {E} \left[e^{tX}\right]+\ln \operatorname {E} \left[e^{tY}\right]\\[5pt]&=K_{X}(t)+K_{Y}(t),\end{aligned}}$

de modo que cada cumulante de una suma de variables aleatorias independientes, es la suma de los correspondientes cumulantes de los sumandos. Es decir, cuando los sumandos son estadísticamente independientes, la media de la suma es la suma de las medias, la varianza de la suma es la suma de las varianzas, el tercer cumulante (que es el tercer momento central) de la suma es la suma de los terceros cumulantes, y así sucesivamente para cada orden de cumulante.

Una distribución con los $κ_n$ cumulantes dados se puede aproximar a través de una expansión de Edgeworth.

## Cumulantes de algunas distribuciones de probabilidad discretas

* Las variables aleatorias constantes X = μ. La función de generación acumulada es K(t) =μt. El primer cumulante es $κ_1$ = K '(0) = μ y los otros cumulantes son cero, $κ_2$ = $κ_3$ = $κ_4$ = ... = 0.
* Las distribuciones de Bernouilli, (número de éxitos en una prueba con probabilidad p de éxito). La función de generación acumulada es K(t) = log(1 − p + $pe^t).$ Los primeros cumulantes son $κ_1$ = K '(0) = p y $κ_2$ = K′′(0) = p·(1 − p). Los cumulantes satisfacen una fórmula de recursión.

       $\kappa _{n+1}=p(1-p){\frac {d\kappa _{n}}{dp}}.$
* Las distribuciones geométricas, (número de fallos antes de un éxito con probabilidad p de éxito en cada prueba). La función de generación acumulada es K(t) = log(p / (1 + (p − $1)e^t)).$ Los primeros cumulantes son $κ_1$ = K′(0) = $p^{−1}$ − 1 y $κ_2$ = K′′(0) = $κ_1p^{−1}.$ Sustituyendo p = (μ + $1)^{−1}$ resulta K(t) = −log(1 + $μ(1−e^t))$ y $κ_1$ = μ.
* Las distribuciones de Poisson. La función de generación acumulada es K(t) = $μ(e^t$ − 1). Todos los cumulantes son iguales al parámetro: $κ_1$ = $κ_2$ = $κ_3$ = ... = μ.
* Las distribuciones binomiales, (número de éxitos en n pruebas independientes, con probabilidad p de éxito en cada prueba). El caso especial n = 1 es una distribución de Bernoulli. Cada cumulante es exactamente n veces el correspondiente cumulante de la distribución de Bernoulli considerada. La función de generación acumulada es K(t) = n log(1 − p + $pe^t).$ Los primeros cumulantes son $κ_1$ = K′(0) = np y $κ_2$ = K′′(0) = $κ_1(1$ − p). Sustituyendo p = $μ·n^{−1}$ da K '(t) = $((μ^{−1}$ − $n^{−1})·e^{−t}$ + $n^{−1})^{−1}$ y $κ_1$ = μ. El caso límite $n^{−1}$ = 0 es una distribución de Poisson.
* Las distribuciones binomiales negativas, (número de fallos antes de n éxitos, con probabilidad p de éxito en cada prueba). El caso especial n = 1 es una distribución geométrica. Cada cumulante es exactamente n veces el correspondiente cumulante de la distribución geométrica considerada. La derivada de la función de generación acumulativa es K '(t) = n· ((1 - $p)^{−1}·$ $e^{−t}$ −1) $^{−1}.$ Los primeros cumulantes son $κ_1$ = K '(0) = n· $(p^{−1}$ − 1), y $κ_2$ = K ' '(0) = $κ_1·$ $p^{−1}.$ Sustituyendo p = (μ · $n^{−1}$ + 1) $^{−1}$ da K′(t) = $((μ^{−1}$ + $n^{−1})e^{−t}$ − $n^{−1})^{−1}$ y $κ_1$ = μ. La comparación de estas fórmulas con las de las distribuciones binomiales explica el nombre de distribución binomial negativa. El caso límite $n^{−1}$ = 0 es una distribución de Poisson.

Introduciendo la relación varianza-media

    $\varepsilon =\mu ^{-1}\sigma ^{2}=\kappa _{1}^{-1}\kappa _{2},$

las distribuciones de probabilidad anteriores proporcionan una fórmula unificada para la derivada de la función de generación acumulativa:

    $K'(t)=\mu \cdot (1+\varepsilon \cdot (e^{-t}-1))^{-1}.$

La segunda derivada es

    $K''(t)=g'(t)\cdot (1+e^{t}\cdot (\varepsilon ^{-1}-1))^{-1}$

confirmando que el primer cumulante es $κ_1$ = K′(0) = μ y el segundo cumulante es $κ_2$ = K′′(0) = με. Las variables aleatorias constantes X = μ tienen ε = 0. Las distribuciones binomiales tienen ε = 1 − p para que 0 < ε < 1. Las distribuciones de Poisson tienen ε = 1. Las distribuciones binomiales negativas tienen ε = $p^{−1}$ para que ε > 1. Nótese la analogía con la clasificación de las secciones cónicas según su excentricidad: círculos ε = 0, elipses 0 < ε < 1, parábolas ε = 1, e hipérbolas ε > 1.

## Cumulantes de algunas distribuciones de probabilidad continua

* Para la distribución normal con esperanza matemática μ y varianza $σ^2,$ la función de generación de cumulantes es K(t) = μt + $σ^2t^2$ / 2. La primera y la segunda derivadas de la función de generación de cumulantes son K '(t) = μ + $σ^2·t$ y K (t) = $σ^2.$

Los cumulantes son $κ_1$ = μ, $κ_2$ = $σ^2,$ y $κ_3$ = $κ_4$ = ... = 0. El caso especial $σ^2$ = 0 es una variable aleatoria constante X = μ.

* Los cumulantes de la distribución uniforme en el intervalo [−1, 0] son $κ_n$ = $B_n$ / n, donde $B_n$ es el n-ésimo número de Bernoulli.
* Los cumulantes de la distribución exponencial con el parámetro λ son $κ_n$ = $λ^{−n}$ (n - 1)!.

## Algunas propiedades de la función de generación de cumulantes

La función de generación de cumulantes K (t), si existe, es una función continuamente diferenciable y convexa, y pasa a través del origen. Su primera derivada varía monótonamente en el intervalo abierto desde el ínfimo al supremo del soporte de la distribución de probabilidad, y su segunda derivada es siempre estrictamente positiva, excepto en el caso de la distribución degenerada de una sola masa puntual. La función de generación de cumulantes existe si y solo si las colas de la distribución son mayoradas por un decaimiento exponencial, es decir, (véase cota superior asintótica )

    ${\begin{aligned}&\exists c>0,\,\,F(x)=O(e^{cx}),x\to -\infty ;{\text{ and}}\\[4pt]&\exists d>0,\,\,1-F(x)=O(e^{-dx}),x\to +\infty ;\end{aligned}}$

donde $F$ es la función de distribución. La función de generación de cumulantes tendrá asíntota(s) en el ínfimo de tal c, si existe tal ínfimo, y en el supremo de tal d, si existe tal supremo, de lo contrario será definido para todos los números reales.

Si el soporte de una variable aleatoria X tiene límites finitos superiores o inferiores, entonces su función de generación de cumulantes y = K (t), si existe, se acerca a la asíntota(s) cuya pendiente es igual al supremo y/o al mínimo del soporte,

    ${\begin{aligned}y&=(t+1)\inf \operatorname {sup} X-\mu (X),{\text{ and}}\\[5pt]y&=(t-1)\sup \operatorname {sup} X+\mu (X),\end{aligned}}$

respectivamente, siempre por encima de estas dos líneas. (Las integrales

    $\int _{-\infty }^{0}\left[t\inf \operatorname {sup} X-K'(t)\right]\,dt,\qquad \int _{\infty }^{0}\left[t\inf \operatorname {sup} X-K'(t)\right]\,dt$

proporcionan la intersección con el eje y de estas asíntotas, ya que K(0) = 0).

Para un desplazamiento de la distribución de valor c, $K_{X+c}(t)=K_{X}(t)+ct.$ Para una masa puntual degenerada en c, la función generadora de cumulantes es la línea recta $K_{c}(t)=ct$, y más generalmente, $K_{X+Y}=K_{X}+K_{Y}$ si y solo si X e Y son independientes y sus funciones generadoras de cumulantes existen; (la subindependencia y la existencia de segundos momentos son suficientes para implicar la independencia).

La familia exponencial natural de una distribución puede realizarse cambiando o trasladando K(t), y ajustándolo verticalmente para que siempre pase por el origen: si f es la serie de potencias con función generadora de cumulantes $K(t)=\log M(t),$ y $f|\theta$ es su familia exponencial natural, entonces $f(x\mid \theta )={\frac {1}{M(\theta )}}e^{\theta x}f(x),$ y $K(t\mid \theta )=K(t+\theta )-K(\theta ).$

Si K(t) es finito para un rango $t_1$ < Re(t) < $t_2,$ entonces si $t_1$ < 0 < $t_2$ entonces K(t) es analítica e infinitamente diferenciable para $t_1$ < Re(t) < $t_2.$ Además, para t real y $t_1$ < t < $t_2$ K(t) es estrictamente convexo, y K' (t) es estrictamente creciente.

## Algunas propiedades de los cumulantes

### Invarianza y equivarianza

El primer cumulante es equivariante y todos los demás son invariantes. Esto significa que, si se denota con $κ_n$ (X) el n-ésimo cumulante de la distribución de probabilidad de la variable aleatoria X, entonces para cualquier constante c:

* $\kappa _{1}(X+c)=\kappa _{1}(X)+c~{\text{ and}}$
* $\kappa _{n}(X+c)=\kappa _{n}(X)~{\text{ for }}~n\geq 2.$

En otras palabras, cambiar una variable aleatoria (agregando c) cambia el primer cumulante (la media) y no afecta a ninguno de los otros.

### Homogeneidad

El n-ésimo cumulante es homogéneo de grado n, es decir, si c es una constante, entonces

    $\kappa _{n}(cX)=c^{n}\kappa _{n}(X).$

### Aditividad

Si X e Y son variables aleatorias independientes, entonces $κ_n(X$ + Y) = $κ_n(X)$ + $κ_n(Y).$

### Resultado negativo

Dados los resultados para los cumulantes de la distribución normal, podría esperarse encontrar familias de distribuciones para las cuales $κ_m$ = $κ_{m+1}$ = ⋯ = 0 para algunos m > 3, con los cumulantes de orden inferior (órdenes 3 a m − 1) que no son cero. No existen tales distribuciones. El resultado subyacente aquí es que la función de generación de cumulantes no puede ser un polinomio de orden finito de grado mayor que 2.

### Cumulantes y momentos

La función generadora de momentos viene dada por:

    $M(t)=1+\sum _{n=1}^{\infty }{\frac {\mu '_{n}t^{n}}{n!}}=\exp \left(\sum _{n=1}^{\infty }{\frac {\kappa _{n}t^{n}}{n!}}\right)=\exp(K(t)).$

Así que la función de generación de cumulantes es el logaritmo de la función de generación de momentos

    $K(t)=\log M(t).$

El primer cumulante es la esperanza matemática; el segundo y tercer cumulantes son, respectivamente, el segundo y el tercer momento central (el segundo momento central es la varianza); pero los cumulantes superiores no son ni momentos ni momentos centrales, sino más bien funciones polinomiales más complicadas de los momentos.

Los momentos se pueden recuperar en términos de cumulantes mediante la evaluación de la n-ésima derivada de $\exp(K(t))$ en $t=0$.

    $\mu '_{n}=M^{(n)}(0)=\left.{\frac {\mathrm {d} ^{n}\exp(K(t))}{\mathrm {d} t^{n}}}\right|_{t=0}.$

Del mismo modo, los cumulantes se pueden recuperar en términos de momentos mediante la evaluación de la n-ésima derivada de $\log M(t)$ en $t=0$,

    $\kappa _{n}=K^{(n)}(0)=\left.{\frac {\mathrm {d} ^{n}\log M(t)}{\mathrm {d} t^{n}}}\right|_{t=0}.$

La expresión explícita para el momento n-ésimo en términos de los primeros n cumulantes, y viceversa, se puede obtener utilizando la fórmula de Faà di Bruno para derivadas más altas de funciones compuestas. En general, se tiene que

    $\mu '_{n}=\sum _{k=1}^{n}B_{n,k}(\kappa _{1},\ldots ,\kappa _{n-k+1})$
    $\kappa _{n}=\sum _{k=1}^{n}(-1)^{k-1}(k-1)!B_{n,k}(\mu '_{1},\ldots ,\mu '_{n-k+1}),$

donde $B_{n,k}$ son polinomios de Bell incompletos (o parciales).

De manera similar, si la media viene dada por $\mu$, la función de generación del momento central está dada por

    $C(t)=\operatorname {E} [e^{t(x-\mu )}]=e^{-\mu t}M(t)=\exp(K(t)-\mu t),$

y el n-ésimo momento central se obtiene en términos de cumulantes como

    $\mu _{n}=C^{(n)}(0)=\left.{\frac {\mathrm {d} ^{n}}{\mathrm {d} t^{n}}}\exp(K(t)-\mu t)\right|_{t=0}=\sum _{k=1}^{n}B_{n,k}(0,\kappa _{2},\ldots ,\kappa _{n-k+1}).$

Además, para n > 1, el n-ésimo cumulante en términos de los momentos centrales es

    ${\begin{aligned}\kappa _{n}&=K^{(n)}(0)=\left.{\frac {\mathrm {d} ^{n}}{\mathrm {d} t^{n}}}(\log C(t)+\mu t)\right|_{t=0}\\[4pt]&=\sum _{k=1}^{n}(-1)^{k-1}(k-1)!B_{n,k}(0,\mu _{2},\ldots ,\mu _{n-k+1}).\end{aligned}}$

El n-ésimo momento $μ´_n$ es un polinomio de grado n en los primeros n cumulantes. Las primeras expresiones son:

    ${\begin{aligned}\mu '_{1}=&\kappa _{1}\\[5pt]\mu '_{2}=&\kappa _{2}+\kappa _{1}^{2}\\[5pt]\mu '_{3}=&\kappa _{3}+3\kappa _{2}\kappa _{1}+\kappa _{1}^{3}\\[5pt]\mu '_{4}=&\kappa _{4}+4\kappa _{3}\kappa _{1}+3\kappa _{2}^{2}+6\kappa _{2}\kappa _{1}^{2}+\kappa _{1}^{4}\\[5pt]\mu '_{5}=&\kappa _{5}+5\kappa _{4}\kappa _{1}+10\kappa _{3}\kappa _{2}+10\kappa _{3}\kappa _{1}^{2}+15\kappa _{2}^{2}\kappa _{1}+10\kappa _{2}\kappa _{1}^{3}+\kappa _{1}^{5}\\[5pt]\mu '_{6}=&\kappa _{6}+6\kappa _{5}\kappa _{1}+15\kappa _{4}\kappa _{2}+15\kappa _{4}\kappa _{1}^{2}+10\kappa _{3}^{2}+60\kappa _{3}\kappa _{2}\kappa _{1}+20\kappa _{3}\kappa _{1}^{3}\\&+15\kappa _{2}^{3}+45\kappa _{2}^{2}\kappa _{1}^{2}+15\kappa _{2}\kappa _{1}^{4}+\kappa _{1}^{6}.\end{aligned}}$

La notación con comillas distingue los momentos $μ′_n$ de los momentos centrales $μ_n.$ Para expresar los momentos centrales como funciones de los cumulantes, se deben eliminar de estos polinomios todos los términos en los cuales $κ_1$ aparece como un factor:

    ${\begin{aligned}\mu _{1}&=0\\[4pt]\mu _{2}&=\kappa _{2}\\[4pt]\mu _{3}&=\kappa _{3}\\[4pt]\mu _{4}&=\kappa _{4}+3\kappa _{2}^{2}\\[4pt]\mu _{5}&=\kappa _{5}+10\kappa _{3}\kappa _{2}\\[4pt]\mu _{6}&=\kappa _{6}+15\kappa _{4}\kappa _{2}+10\kappa _{3}^{2}+15\kappa _{2}^{3}.\end{aligned}}$

De manera similar, el n-ésimo cumulante $κ_n$ es un polinomio de grado n en los primeros n momentos no centrales. Las primeras expresiones son:

    ${\begin{aligned}\kappa _{1}=&\mu '_{1}\\[4pt]\kappa _{2}=&\mu '_{2}-{\mu '_{1}}^{2}\\[4pt]\kappa _{3}=&\mu '_{3}-3\mu '_{2}\mu '_{1}+2{\mu '_{1}}^{3}\\[4pt]\kappa _{4}=&\mu '_{4}-4\mu '_{3}\mu '_{1}-3{\mu '_{2}}^{2}+12\mu '_{2}{\mu '_{1}}^{2}-6{\mu '_{1}}^{4}\\[4pt]\kappa _{5}=&\mu '_{5}-5\mu '_{4}\mu '_{1}-10\mu '_{3}\mu '_{2}+20\mu '_{3}{\mu '_{1}}^{2}+30{\mu '_{2}}^{2}\mu '_{1}-60\mu '_{2}{\mu '_{1}}^{3}+24{\mu '_{1}}^{5}\\[4pt]\kappa _{6}=&\mu '_{6}-6\mu '_{5}\mu '_{1}-15\mu '_{4}\mu '_{2}+30\mu '_{4}{\mu '_{1}}^{2}-10{\mu '_{3}}^{2}+120\mu '_{3}\mu '_{2}\mu '_{1}\\&-120\mu '_{3}{\mu '_{1}}^{3}+30{\mu '_{2}}^{3}-270{\mu '_{2}}^{2}{\mu '_{1}}^{2}+360\mu '_{2}{\mu '_{1}}^{4}-120{\mu '_{1}}^{6}\end{aligned}}$

Para expresar los cumulantes $κ_n$ para n > 1 como funciones de los momentos centrales, se deben eliminar de estos polinomios todos los términos en los que $μ'_1$ aparece como un factor:

    $\kappa _{2}=\mu _{2}\,$
    $\kappa _{3}=\mu _{3}\,$
    $\kappa _{4}=\mu _{4}-3{\mu _{2}}^{2}\,$
    $\kappa _{5}=\mu _{5}-10\mu _{3}\mu _{2}\,$
    $\kappa _{6}=\mu _{6}-15\mu _{4}\mu _{2}-10{\mu _{3}}^{2}+30{\mu _{2}}^{3}\,.$

Para expresar los cumulantes $κ_n$ para n > 2 como funciones de momentos estándar centrales, también hágase $μ'_2=1$ en los polinomios:

    $\kappa _{3}=\mu _{3}\,$
    $\kappa _{4}=\mu _{4}-3\,$
    $\kappa _{5}=\mu _{5}-10\mu _{3}\,$
    $\kappa _{6}=\mu _{6}-15\mu _{4}-10{\mu _{3}}^{2}+30\,.$

Los cumulantes también están relacionados con los momentos por la siguiente fórmula de recursión:

    $\kappa _{n}=\mu '_{n}-\sum _{m=1}^{n-1}{n-1 \choose m-1}\kappa _{m}\mu _{n-m}'.$

### Cumulantes y particiones

Estos polinomios tienen una notable interpretación combinatoria: los coeficientes permiten contabilizar ciertas particiones de conjuntos. Una forma general de estos polinomios es

    $\mu '_{n}=\sum _{\pi \,\in \,\Pi }\prod _{B\,\in \,\pi }\kappa _{|B|}$

donde

* Π recorre la lista de todas las particiones de un conjunto de tamaño n;
* "B ∈ Π" significa que B es uno de los "bloques" en los que se divide el conjunto; y
* | B | es el tamaño del conjunto B.

Por lo tanto, cada monomio es una constante por un producto de cumulantes en el que la suma de los índices es n (por ejemplo, en el término $κ_3$ $κ_2^2$ $κ_1,$ la suma de los índices es 3 + 2 + 2 + 1 = 8; esto aparece en el polinomio que expresa el octavo momento en función de los primeros ocho cumulantes. Una partición de un número entero n corresponde a cada término. El "coeficiente" en cada término es el número de particiones de un conjunto de miembros de n que colapsan en esa partición del entero n cuando los miembros del conjunto se vuelven indistinguibles.

### Cumulantes y combinatoria

Se puede encontrar una conexión adicional entre cumulantes y combinatoria en el trabajo de Gian-Carlo Rota y Jianhong (Jackie) Shen, donde se estudian los enlaces a la teoría de invariantes, funciones simétricas, y secuencias binomiales a través del cálculo umbral.

## Cumulantes conjuntos

El cumulante conjunto de varias variables aleatorias $X_1,$ ..., $X_n$ se define por una función de generación de cumulantes similar

    $K(t_{1},t_{2},\dots ,t_{n})=\log E(\mathrm {e} ^{\sum _{j=1}^{n}t_{j}X_{j}}).$

Una consecuencia es que

    $\kappa (X_{1},\dots ,X_{n})=\sum _{\pi }(|\pi |-1)!(-1)^{|\pi |-1}\prod _{B\in \pi }E\left(\prod _{i\in B}X_{i}\right)$

donde Π recorre la lista de todas las particiones de { 1, ..., n }, B recorre la lista de todos los bloques de la partición Π, y | Π | es el número de partes en la partición. Por ejemplo,

    $\kappa (X,Y,Z)=\operatorname {E} (XYZ)-\operatorname {E} (XY)\operatorname {E} (Z)-\operatorname {E} (XZ)\operatorname {E} (Y)-\operatorname {E} (YZ)\operatorname {E} (X)+2\operatorname {E} (X)\operatorname {E} (Y)\operatorname {E} (Z).\,$

Si alguna de estas variables aleatorias son idénticas, por ejemplo, X = Y, se aplican las mismas fórmulas, por ejemplo:

    $\kappa (X,X,Z)=\operatorname {E} (X^{2}Z)-2\operatorname {E} (XZ)\operatorname {E} (X)-\operatorname {E} (X^{2})\operatorname {E} (Z)+2\operatorname {E} (X)^{2}\operatorname {E} (Z),\,$

Aunque para tales variables repetidas hay fórmulas más concisas. Para vectores aleatorios de media cero,

    $\kappa (X,Y,Z)=\operatorname {E} (XYZ).\,$
    $\kappa (X,Y,Z,W)=\operatorname {E} (XYZW)-\operatorname {E} (XY)\operatorname {E} (ZW)-\operatorname {E} (XZ)\operatorname {E} (YW)-\operatorname {E} (XW)\operatorname {E} (YZ).\,$

El cumulante conjunto de una sola variable aleatoria es su valor esperado, y el de dos variables aleatorias es su covarianza. Si algunas de las variables aleatorias son independientes de todas las demás, entonces cualquier cumulante que involucre dos (o más) variables aleatorias independientes es cero. Si todas las variables aleatorias de n son iguales, entonces el cumulante conjunto es el n-ésimo cumulante ordinario.

El significado combinatorio de la expresión de momentos en términos de cumulantes es más fácil de entender que el de los cumulantes en términos de momentos:

    $\operatorname {E} (X_{1}\cdots X_{n})=\sum _{\pi }\prod _{B\in \pi }\kappa (X_{i}:i\in B).$

Por ejemplo:

    $\operatorname {E} (XYZ)=\kappa (X,Y,Z)+\kappa (X,Y)\kappa (Z)+\kappa (X,Z)\kappa (Y)+\kappa (Y,Z)\kappa (X)+\kappa (X)\kappa (Y)\kappa (Z).\,$

Otra propiedad importante de los cumulantes conjuntos es la multilinealidad:

    $\kappa (X+Y,Z_{1},Z_{2},\dots )=\kappa (X,Z_{1},Z_{2},\ldots )+\kappa (Y,Z_{1},Z_{2},\ldots ).\,$

Así como el segundo cumulante es la varianza, el cumulante conjunto de solo dos variables aleatorias es su covarianza. La conocida identidad

    $\operatorname {var} (X+Y)=\operatorname {var} (X)+2\operatorname {cov} (X,Y)+\operatorname {var} (Y)\,$

se generaliza a los cumulantes:

    $\kappa _{n}(X+Y)=\sum _{j=0}^{n}{n \choose j}\kappa (\,\underbrace {X,\dots ,X} _{j},\underbrace {Y,\dots ,Y} _{n-j}\,).\,$

### Cumulantes condicionales y la ley de cumulancia total

La ley de expectativa total y la ley de varianza total se generalizan naturalmente a los cumulantes condicionales. El caso n = 3, expresado en el lenguaje de momentos (centrales) en lugar de en el de los cumulantes, dice

    $\mu _{3}(X)=\operatorname {E} (\mu _{3}(X\mid Y))+\mu _{3}(\operatorname {E} (X\mid Y))+3\operatorname {cov} (\operatorname {E} (X\mid Y),\operatorname {var} (X\mid Y)).$

En general,

    $\kappa (X_{1},\dots ,X_{n})=\sum _{\pi }\kappa (\kappa (X_{\pi _{1}}\mid Y),\dots ,\kappa (X_{\pi _{b}}\mid Y))$

donde

* La suma supera a todas las particiones Π del conjunto { 1, ..., n } de los índices, y
* $Π_1,$ ..., $Π_b$ son todos los "bloques" de la partición Π; la expresión $κ(X_{Πm})$ indica que el conjunto de cumulantes de las variables aleatorias cuyos índices están en ese bloque de la partición.

## Relación con la física estadística

En física estadística, muchas propiedades intensivas y extensivas, es decir, cantidades que son proporcionales al volumen o tamaño de un sistema dado, están relacionadas con los cumulantes de variables aleatorias. La conexión profunda es que, en un sistema grande, una cantidad extensa como la energía o el número de partículas se puede considerar como la suma de (por caso) la energía asociada con un número de regiones casi independientes. El hecho de que los cumulantes de estas variables aleatorias casi independientes (casi) se sumen, hace que sea razonable que se espere que grandes cantidades estén relacionadas con los cumulantes.

Un sistema en equilibrio con un baño térmico a temperatura "T" puede ocupar los estados de energía E. La energía E puede considerarse una variable aleatoria, teniendo una densidad de probabilidad. La función de partición del sistema es

    $Z(\beta )=\langle \exp(-\beta E)\rangle ,\,$

donde β = 1 / (kT) y k es la constante de Boltzmann; usando la notación $\langle A\rangle$ en lugar de $\operatorname {E} [A]$ para el valor esperado para evitar confusiones con la energía, E. La energía de Helmholtz es entonces

    $F(\beta )=-\beta ^{-1}\log Z\,$

y está claramente muy relacionada con la función de generación de cumulantes para la energía. La energía libre da acceso a todas las propiedades termodinámicas del sistema a través de sus derivadas de orden primero, segundo o superior, como su energía interna, entropía y capacidad calorífica. Debido a la relación entre la energía libre y la función de generación de cumulantes, todas estas cantidades están relacionadas con los cumulantes, por ejemplo, la energía y el calor específico vienen dados por

    $E=\langle E\rangle _{c}$
    $C=dE/dT=k\beta ^{2}\langle E^{2}\rangle _{c}=k\beta ^{2}(\langle E^{2}\rangle -\langle E\rangle ^{2})$

y $\langle E^{2}\rangle _{c}$ simboliza el segundo cumulante de la energía. Otra energía libre a menudo también es una función de otras variables como el campo magnético o el potencial químico $\mu$, por ejemplo.

    $\Omega =-\beta ^{-1}\log(\langle \exp(-\beta E-\beta \mu N)\rangle ),\,$

donde N es el número de partículas y $\Omega$ es el potencial principal. Una vez más, la estrecha relación entre la definición de energía libre y la función de generación de cumulantes implica que varias derivadas de esta energía libre se pueden describir en términos de cumulantes conjuntos de E y de N.

## Historia

La historia de los cumulantes ha sido estudiada por Anders Hald.

Los cumulantes fueron introducidos por primera vez por Thorvald N. Thiele, en 1889, quien los llamó "semi-invariantes". Fueron llamados cumulantes por primera vez en un artículo de 1932 firmado por Ronald Fisher y John Wishart. Fisher recordó públicamente el trabajo de Thiele a través de Neyman, quien también señala las citas publicadas anteriores de Thiele que llamaron la atención de Fisher. Stephen Stigler señaló que el nombre cumulante fue sugerido a Fisher en una carta de Harold Hotelling. En un artículo publicado en 1929, Fisher los había llamado "funciones de momento acumulativo". La función de partición en física estadística fue introducida por Josiah Willard Gibbs en 1901. La energía libre a menudo se llama energía libre de Gibbs. En física estadística, los cumulantes también se conocen como funciones de Ursell, relacionados con una publicación en 1927.

## Cumulantes en entornos generalizados

### Cumulantes formales

De manera más general, los cumulantes de una secuencia ${m_n:$ n = 1, 2, 3, ...}, no necesariamente los momentos de cualquier distribución de probabilidad, son, por definición,

    $1+\sum _{n=1}^{\infty }{\frac {m_{n}t^{n}}{n!}}=\exp \left(\sum _{n=1}^{\infty }{\frac {\kappa _{n}t^{n}}{n!}}\right),$

donde los valores de $κ_n$ para n = 1, 2, 3, ... se encuentran formalmente, es decir, solo por álgebra, sin tener en cuenta las dudas de si alguna serie converge. Todas las dificultades del "problema de los cumulantes" están ausentes cuando se trabaja formalmente. El ejemplo más simple es que el segundo cumulante de una distribución de probabilidad siempre debe ser no negativo, y es cero solo si todos los cumulantes más altos son cero. Los cumulantes formales no están sujetos a tales restricciones.

### Números de Bell

En combinatoria, el n-ésimo número de Bell es el número de particiones de un conjunto de tamaño n. Todos los cumulantes de la secuencia de números de Bell son iguales a 1. Los números de Bell son los momentos de la distribución de Poisson con valor esperado 1.

### Cumulantes de una secuencia polinómica de tipo binomial

Para cualquier secuencia ${κ_n:$ n = 1, 2, 3, ...} de escalares en un campo de característica cero, que se consideran cumulantes formales, existe una secuencia correspondiente { μ ′: n = 1, 2, 3, ... } de los momentos formales, dados por los polinomios de arriba. Para esos polinomios, es posible construir una sucesión polinómica de la siguiente manera. Fuera del polinomio

    ${\begin{aligned}\mu '_{6}=&\kappa _{6}+6\kappa _{5}\kappa _{1}+15\kappa _{4}\kappa _{2}+15\kappa _{4}\kappa _{1}^{2}+10\kappa _{3}^{2}+60\kappa _{3}\kappa _{2}\kappa _{1}+20\kappa _{3}\kappa _{1}^{3}\\&+15\kappa _{2}^{3}+45\kappa _{2}^{2}\kappa _{1}^{2}+15\kappa _{2}\kappa _{1}^{4}+\kappa _{1}^{6}\end{aligned}}$

constrúyase un nuevo polinomio con una variable adicional x:

    ${\begin{aligned}p_{6}(x)=&\kappa _{6}\,x+(6\kappa _{5}\kappa _{1}+15\kappa _{4}\kappa _{2}+10\kappa _{3}^{2})\,x^{2}+(15\kappa _{4}\kappa _{1}^{2}+60\kappa _{3}\kappa _{2}\kappa _{1}+15\kappa _{2}^{3})\,x^{3}\\&+(45\kappa _{2}^{2}\kappa _{1}^{2})\,x^{4}+(15\kappa _{2}\kappa _{1}^{4})\,x^{5}+(\kappa _{1}^{6})\,x^{6},\end{aligned}}$

y a continuación se generaliza el patrón, consistente en que los números de bloques en las particiones antes mencionadas son los exponentes en x. Cada coeficiente es un polinomio en los cumulantes; estos son los polinomios de Bell, nombrados así en honor del matemático Eric Temple Bell.

Esta secuencia de polinomios es de tipo binomial. De hecho, no existen otras secuencias de tipo binomial; cada secuencia polinomial de tipo binomial está completamente determinada por su secuencia de cumulantes formales.

### Cumulantes libres

En la fórmula de momento-cumulante anterior

    $E(X_{1}\cdots X_{n})=\sum _{\pi }\prod _{B\,\in \,\pi }\kappa (X_{i}:i\in B)$

para los cumulantes conjuntos, se suman todas las particiones del conjunto {1, ..., n}. Si, por el contrario, solo se suman las particiones no cruzadas, al resolver estas fórmulas para $\kappa$ en términos de los momentos, se obtienen cumulantes libres en lugar de los cumulantes convencionales tratados anteriormente. Estos cumulantes libres fueron introducidos por Roland Speicher y juegan un papel central en la teoría de probabilidad libre. En esa teoría, en lugar de considerar la independencia de las variables aleatorias, definidas en términos de producto tensorial de variables aleatorias, se considera en cambio la independencia libre de variables aleatorias, definidas en términos de productos libres de álgebras.

Los cumulantes ordinarios de grado superior a 2 de una distribución normal son cero. Los cumulantes libres de grado superior a 2 de la distribución semicircular de Wigner son cero. Este es un aspecto en el cual el papel de la distribución de Wigner en la teoría de probabilidad libre es análogo al de la distribución normal en la teoría de probabilidad convencional.

