Cumulante

Conjunto de cantidades en la teoría de la probabilidad

En teoría de 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 la distribución. Dos distribuciones de probabilidad cualesquiera cuyos momentos sean idénticos tendrán también cumulantes idénticos, y viceversa.

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 y de orden superior 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 utilizan momentos. En particular, cuando dos o más variables aleatorias son estadísticamente independientes , el cumulante de orden n de su suma es igual a la suma de sus cumulantes de orden n . Además, los cumulantes de tercer orden y de orden superior de una distribución normal son cero, y es la única distribución con esta propiedad.

Al igual que para los momentos, donde se utilizan momentos conjuntos para colecciones de variables aleatorias, es posible definir cumulantes conjuntos .

Definición

Los cumulantes de una variable aleatoria X se definen utilizando la función generadora de cumulantes K ( t ) , que es el logaritmo natural de la función generadora de momentos : $${\displaystyle K(t)=\log \operatorname {E} \left[e^{tX}\right].}$$

Los cumulantes κ _n se obtienen a partir de una expansión en serie de potencias de la función generadora de cumulantes: $${\displaystyle K(t)=\sum _{n=1}^{\infty }\kappa _{n}{\frac {t^{n}}{n!}}=\kappa _{1}{\frac {t}{1!}}+\kappa _{2}{\frac {t^{2}}{2!}}+\kappa _{3}{\frac {t^{3}}{3!}}+\cdots =\mu t+\sigma ^{2}{\frac {t^{2}}{2}}+\cdots .}$$

Esta expansión es una serie de Maclaurin , por lo que el n -ésimo cumulante se puede obtener diferenciando la expansión anterior n veces y evaluando el resultado en cero: ^[1] $${\displaystyle \kappa _{n}=K^{(n)}(0).}$$

Si la función generadora de momentos no existe, los cumulantes se pueden definir en términos de la relación entre cumulantes y momentos que se analiza más adelante.

Definición alternativa de la función generadora de cumulantes

Algunos autores ^{[2] [3]} prefieren definir la función generadora de cumulantes como el logaritmo natural de la función característica , que a veces también se denomina segunda función característica , ^{[4] [5]} $${\displaystyle H(t)=\log \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 definida para todos los valores reales de t , como puede ocurrir cuando hay "demasiada" probabilidad de que X tenga una magnitud grande. Aunque la función H ( t ) estará bien definida, no obstante imitará a K ( t ) en términos de la longitud de su serie de Maclaurin , que puede no extenderse más allá (o, raramente, incluso hasta) el orden lineal en el argumento  t , y en particular el número de cumulantes que están bien definidos no cambiará. Sin embargo, incluso cuando H ( t ) no tiene una serie de Maclaurin larga, se puede utilizar directamente para analizar y, en particular, agregar variables aleatorias. Tanto la distribución de Cauchy (también llamada lorentziana) como, de manera más general, las distribuciones estables (relacionadas con la distribución de Lévy) son ejemplos de distribuciones para las cuales las expansiones en series de potencias de las funciones generadoras tienen solo un número finito de términos bien definidos.

Algunas propiedades básicas

El cumulante número 1 de (la distribución de) una variable aleatoria disfruta de las siguientes propiedades: ${\textstyle n}$ ${\textstyle \kappa _{n}(X)}$ ${\textstyle X}$

• Si y es constante (es decir, no aleatorio), entonces , es decir, el cumulante es invariante en la traducción . (Si entonces tenemos ${\textstyle n>1}$ ${\textstyle c}$ ${\textstyle \kappa _{n}(X+c)=\kappa _{n}(X),}$ ${\textstyle n=1}$ ${\textstyle \kappa _{1}(X+c)=\kappa _{1}(X)+c.)}$
• Si es constante (es decir, no aleatorio), entonces el cumulante n es homogéneo de grado  . ${\textstyle c}$ ${\textstyle \kappa _{n}(cX)=c^{n}\kappa _{n}(X),}$ ${\textstyle n}$ ${\textstyle n}$
• Si las variables aleatorias son independientes, entonces Es decir, el cumulante es acumulativo, de ahí el nombre. ${\textstyle X_{1},\ldots ,X_{m}}$ $${\displaystyle \kappa _{n}(X_{1}+\cdots +X_{m})=\kappa _{n}(X_{1})+\cdots +\kappa _{n}(X_{m})\,.}$$

La propiedad acumulativa se deduce rápidamente al considerar la función generadora de cumulantes: de modo que cada cumulante de una suma de variables aleatorias independientes es la suma de los cumulantes correspondientes 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 resulta ser el tercer momento central) de la suma es la suma de los terceros cumulantes, y así sucesivamente para cada orden de cumulante. $${\displaystyle {\begin{aligned}K_{X_{1}+\cdots +X_{m}}(t)&=\log \operatorname {E} \left[e^{t(X_{1}+\cdots +X_{m})}\right]\\[5pt]&=\log \left(\operatorname {E} \left[e^{tX_{1}}\right]\cdots \operatorname {E} \left[e^{tX_{m}}\right]\right)\\[5pt]&=\log \operatorname {E} \left[e^{tX_{1}}\right]+\cdots +\log \operatorname {E} \left[e^{tX_{m}}\right]\\[5pt]&=K_{X_{1}}(t)+\cdots +K_{X_{m}}(t),\end{aligned}}}$$

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

Primeros cumulantes como funciones de los momentos

Todos los cumulantes superiores son funciones polinómicas de los momentos centrales, con coeficientes enteros, pero sólo en los grados 2 y 3 los cumulantes son realmente momentos centrales.

• ${\textstyle \kappa _{1}(X)=\operatorname {E} (X)={}}$significar
• ${\textstyle \kappa _{2}(X)=\operatorname {var} (X)=\operatorname {E} {\big (}(X-\operatorname {E} (X))^{2}{\big )}={}}$la varianza, o segundo momento central.
• ${\textstyle \kappa _{3}(X)=\operatorname {E} {\big (}(X-\operatorname {E} (X))^{3}{\big )}={}}$El tercer momento central.
• ${\textstyle \kappa _{4}(X)=\operatorname {E} {\big (}(X-\operatorname {E} (X))^{4}{\big )}-3\left(\operatorname {E} {\big (}(X-\operatorname {E} (X))^{2}{\big )}\right)^{2}={}}$el cuarto momento central menos tres veces el cuadrado del segundo momento central. Por lo tanto, este es el primer caso en el que los cumulantes no son simplemente momentos o momentos centrales. Los momentos centrales de grado superior a 3 carecen de la propiedad acumulativa.
• ${\textstyle \kappa _{5}(X)=\operatorname {E} {\big (}(X-\operatorname {E} (X))^{5}{\big )}-10\operatorname {E} {\big (}(X-\operatorname {E} (X))^{3}{\big )}\operatorname {E} {\big (}(X-\operatorname {E} (X))^{2}{\big )}.}$

Cumulantes de algunas distribuciones de probabilidad discretas

• Las variables aleatorias constantes X = μ . La función generadora acumulativa es K ( t ) = μt . El primer acumulante es κ ₁ = K ′(0) = μ y los demás acumulantes son cero, κ ₂ = κ ₃ = κ ₄ = ⋅⋅⋅ = 0 .
• Distribuciones de Bernoulli (número de éxitos en un ensayo con probabilidad p de éxito). La función generadora de cumulantes es K ( t ) = log(1 − p + p e ^t ) . Los primeros cumulantes son κ ₁ = K '(0) = p y κ ₂ = K′′ (0) = p ·(1 − p ) . Los cumulantes satisfacen una fórmula de recursión $${\displaystyle \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 ensayo). La función generadora de cumulantes es K ( t ) = log( p / (1 + ( p − 1)e ^t )) . Los primeros cumulantes son κ ₁ = K′ (0) = p ⁻¹ − 1 , y κ ₂ = K′′ (0) = κ ₁ p ⁻¹ . Sustituyendo p = ( μ + 1) ⁻¹ se obtiene K ( t ) = −log(1 + μ (1−e ^t )) y κ ₁ = μ .
• Las distribuciones de Poisson . La función generadora acumulativa es K ( t ) = μ (e ^t − 1) . Todos los acumulantes son iguales al parámetro: κ ₁ = κ ₂ = κ ₃ = ... = μ .
• Las distribuciones binomiales , (número de éxitos en n ensayos independientes con probabilidad p de éxito en cada ensayo). El caso especial n = 1 es una distribución de Bernoulli. Cada cumulante es simplemente n veces el cumulante correspondiente de la distribución de Bernoulli correspondiente. La función generadora de cumulantes es K ( t ) = n log(1 − p + p e ^t ) . Los primeros cumulantes son κ ₁ = K′ (0) = np y κ ₂ = K′′ (0) = κ ₁ (1 − p ) . Sustituyendo p = μ· n ⁻¹ da K '( t ) = ((μ ⁻¹ − n ⁻¹ )·e ^{− t} + n ⁻¹ ) ⁻¹ y κ ₁ = μ . El caso límite n ⁻¹ = 0 es una distribución de Poisson.
• Las distribuciones binomiales negativas (número de fallos antes de r éxitos con probabilidad p de éxito en cada ensayo). El caso especial r = 1 es una distribución geométrica. Cada cumulante es simplemente r veces el cumulante correspondiente de la distribución geométrica correspondiente. La derivada de la función generadora de cumulantes es K ′( t ) = r ·((1 − p ) ⁻¹ ·e ^{− t} −1) ⁻¹ . Los primeros cumulantes son κ ₁ = K ′(0) = r ·( p ⁻¹ −1) , y κ ₂ = K ′′(0) = κ ₁ · p ⁻¹ . Sustituyendo p = (μ· r ⁻¹ +1) ⁻¹ se obtiene K ′( t ) = (( μ ⁻¹ + r ⁻¹ ) e ^{− t} − r ⁻¹ ) ⁻¹ y κ ₁ = μ . 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 r ⁻¹ = 0 es una distribución de Poisson.

Al introducir la relación entre la varianza y la media, las distribuciones de probabilidad anteriores obtienen una fórmula unificada para la derivada de la función generadora de cumulantes: ^{[ cita requerida ]} $${\displaystyle \varepsilon =\mu ^{-1}\sigma ^{2}=\kappa _{1}^{-1}\kappa _{2},}$$ $${\displaystyle K'(t)=(1+(e^{-t}-1)\varepsilon )^{-1}\mu }$$

La segunda derivada confirma que el primer cumulante es κ ₁ = K′ (0) = μ y el segundo cumulante es κ ₂ = K′′ (0) = με . $${\displaystyle K''(t)=(\varepsilon -(\varepsilon -1)e^{t})^{-2}\mu \varepsilon e^{t}}$$

Las variables aleatorias constantes X = μ tienen ε = 0 .

Las distribuciones binomiales tienen ε = 1 − p de modo que 0 < ε < 1 .

Las distribuciones de Poisson tienen ε = 1 .

Las distribuciones binomiales negativas tienen ε = p ⁻¹ de modo que ε > 1 .

Nótese la analogía con la clasificación de secciones cónicas por excentricidad : círculos ε = 0 , elipses 0 < ε < 1 , parábolas ε = 1 , hipérbolas ε > 1 .

Cumulantes de algunas distribuciones de probabilidad continua

• Para la distribución normal con valor esperado μ y varianza σ ² , la función generadora de cumulantes es K ( t ) = μt + σ ² t ² /2 . Las derivadas primera y segunda de la función generadora de cumulantes son K ′( t ) = μ + σ ² · t y K ′′( t ) = σ ² . Los cumulantes son κ ₁ = μ , κ ₂ = σ ² y κ ₃ = κ ₄ = ⋅⋅⋅ = 0 . El caso especial σ ² = 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 parámetro de velocidad λ son κ _n = λ ^{− n} ( n − 1)! .

Algunas propiedades de la función generadora de cumulantes

La función generadora de cumulantes K ( t ) , si existe, es infinitamente diferenciable y convexa , y pasa por el origen. Su primera derivada varía monótonamente en el intervalo abierto desde el ínfimo hasta el supremo del soporte de la distribución de probabilidad, y su segunda derivada es estrictamente positiva en todos los lugares en los que está definida, excepto en la distribución degenerada de una sola masa puntual. La función generadora de cumulantes existe si y solo si las colas de la distribución están mayoradas por un decaimiento exponencial , es decir, ( véase la notación Big O ) donde es la función de distribución acumulativa . La función generadora de cumulantes tendrá asíntotas verticales en el supremo negativo de tal c , si tal supremo existe, y en el supremo de tal d , si tal supremo existe, de lo contrario estará definida para todos los números reales. $${\displaystyle {\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}}}$$ ${\textstyle F}$

Si el soporte de una variable aleatoria X tiene límites superiores o inferiores finitos, entonces su función generadora de cumulantes y = K ( t ) , si existe, tiende a la(s) asíntota (s) cuya pendiente es igual al supremo o ínfimo del soporte, respectivamente, y se encuentra por encima de ambas líneas en todas partes. (Las integrales dan como resultado las intersecciones con el eje y de estas asíntotas, ya que  K (0) = 0 .) $${\displaystyle {\begin{aligned}y&=(t+1)\inf \operatorname {supp} X-\mu (X),{\text{ and}}\\[5pt]y&=(t-1)\sup \operatorname {supp} X+\mu (X),\end{aligned}}}$$ $${\displaystyle \int _{-\infty }^{0}\left[t\inf \operatorname {supp} X-K'(t)\right]\,dt,\qquad \int _{\infty }^{0}\left[t\inf \operatorname {supp} X-K'(t)\right]\,dt}$$

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

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

Si K ( t ) es finito para un intervalo t ₁ < Re( t ) < t _{2 ,} entonces si t ₁ < 0 < t ₂ , entonces K ( t ) es analítico e infinitamente diferenciable para t ₁ < Re( t ) < t ₂ . Además, para t real y t ₁ < t < t _{2 ,} K ( t ) es estrictamente convexo y K ′( t ) es estrictamente creciente. ^{[ cita requerida ]}

Otras propiedades de los cumulantes

Un resultado negativo

Dados los resultados para los cumulantes de la distribución normal , se podría esperar encontrar familias de distribuciones para las cuales κ _m = κ _{m +1} = ⋯ = 0 para algún m > 3 , con los cumulantes de orden inferior (órdenes 3 a m − 1 ) siendo distintos de cero. No existen tales distribuciones. ^[7] El resultado subyacente aquí es que la función generadora 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: $${\displaystyle 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)).}$$

Por lo tanto, la función generadora cumulante es el logaritmo de la función generadora de momentos. $${\displaystyle K(t)=\log M(t).}$$

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

Los momentos se pueden recuperar en términos de cumulantes evaluando la derivada n- ésima de en ⁠ ⁠ , ${\textstyle \exp(K(t))}$ ${\displaystyle t=0}$ $${\displaystyle \mu '_{n}=M^{(n)}(0)=\left.{\frac {\mathrm {d} ^{n}\exp(K(t))}{\mathrm {d} t^{n}}}\right|_{t=0}.}$$

De la misma manera, los cumulantes se pueden recuperar en términos de momentos evaluando la derivada n -ésima de en ⁠ ⁠ , ${\textstyle \log M(t)}$ ${\displaystyle t=0}$ $${\displaystyle \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 en términos de los primeros n cumulantes, y viceversa, se puede obtener utilizando la fórmula de Faà di Bruno para derivadas superiores de funciones compuestas. En general, tenemos donde son polinomios de Bell incompletos (o parciales) . $${\displaystyle \mu '_{n}=\sum _{k=1}^{n}B_{n,k}(\kappa _{1},\ldots ,\kappa _{n-k+1})}$$ $${\displaystyle \kappa _{n}=\sum _{k=1}^{n}(-1)^{k-1}(k-1)!B_{n,k}(\mu '_{1},\ldots ,\mu '_{n-k+1}),}$$ ${\textstyle B_{n,k}}$

De la misma manera, si la media está dada por , la función generadora del momento central está dada por y el n- ésimo momento central se obtiene en términos de cumulantes como ${\textstyle \mu }$ $${\displaystyle C(t)=\operatorname {E} [e^{t(x-\mu )}]=e^{-\mu t}M(t)=\exp(K(t)-\mu t),}$$ $${\displaystyle \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 $${\displaystyle {\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 momento n μ ′ _n es un polinomio de grado n en los primeros n cumulantes. Las primeras expresiones son:

$${\displaystyle {\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}}}$$

El "primo" distingue los momentos μ ′ _n de los momentos centrales μ _n . Para expresar los momentos centrales como funciones de los cumulantes, basta con quitar de estos polinomios todos los términos en los que κ ₁ aparece como factor: $${\displaystyle {\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: $${\displaystyle {\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}}}$$

En general, ^[8] el cumulante es el determinante de una matriz: $${\displaystyle \kappa _{l}=(-1)^{l+1}\left|{\begin{array}{cccccccc}\mu '_{1}&1&0&0&0&0&\ldots &0\\\mu '_{2}&\mu '_{1}&1&0&0&0&\ldots &0\\\mu '_{3}&\mu '_{2}&\left({\begin{array}{l}2\\1\end{array}}\right)\mu '_{1}&1&0&0&\ldots &0\\\mu '_{4}&\mu '_{3}&\left({\begin{array}{l}3\\1\end{array}}\right)\mu '_{2}&\left({\begin{array}{l}3\\2\end{array}}\right)\mu '_{1}&1&0&\ldots &0\\\mu '_{5}&\mu '_{4}&\left({\begin{array}{l}4\\1\end{array}}\right)\mu '_{3}&\left({\begin{array}{l}4\\2\end{array}}\right)\mu '_{2}&\left({\begin{array}{c}4\\3\end{array}}\right)\mu '_{1}&1&\ldots &0\\\vdots &\vdots &\vdots &\vdots &\vdots &\ddots &\ddots &\vdots \\\mu '_{l-1}&\mu '_{l-2}&\ldots &\ldots &\ldots &\ldots &\ddots &1\\\mu '_{l}&\mu '_{l-1}&\ldots &\ldots &\ldots &\ldots &\ldots &\left({\begin{array}{l}l-1\\l-2\end{array}}\right)\mu '_{1}\end{array}}\right|}$$

Para expresar los cumulantes κ _n para n > 1 como funciones de los momentos centrales, elimine de estos polinomios todos los términos en los que μ' ₁ aparece como factor: $${\displaystyle \kappa _{2}=\mu _{2}\,}$$ $${\displaystyle \kappa _{3}=\mu _{3}\,}$$ $${\displaystyle \kappa _{4}=\mu _{4}-3{\mu _{2}}^{2}\,}$$ $${\displaystyle \kappa _{5}=\mu _{5}-10\mu _{3}\mu _{2}\,}$$ $${\displaystyle \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 los momentos centrales estandarizados μ″ _n , también establezca μ' ₂ =1 en los polinomios: $${\displaystyle \kappa _{3}=\mu ''_{3}\,}$$ $${\displaystyle \kappa _{4}=\mu ''_{4}-3\,}$$ $${\displaystyle \kappa _{5}=\mu ''_{5}-10\mu ''_{3}\,}$$ $${\displaystyle \kappa _{6}=\mu ''_{6}-15\mu ''_{4}-10{\mu ''_{3}}^{2}+30\,.}$$

Los cumulantes se pueden relacionar con los momentos diferenciando la relación log M ( t ) = K ( t ) con respecto a t , dando M′ ( t ) = K′ ( t ) M ( t ) , que convenientemente no contiene exponenciales ni logaritmos. Igualando el coeficiente de t ^{n −1} / ( n −1)! en los lados izquierdo y derecho y usando μ′ ₀ = 1 se obtienen las siguientes fórmulas para n ≥ 1 : ^[9] Estas permiten calcular o a partir del otro usando el conocimiento de los cumulantes y momentos de orden inferior. Las fórmulas correspondientes para los momentos centrales para se forman a partir de estas fórmulas estableciendo y reemplazando cada una con para : $${\displaystyle {\begin{aligned}\mu '_{1}={}&\kappa _{1}\\[1pt]\mu '_{2}={}&\kappa _{1}\mu '_{1}+\kappa _{2}\\[1pt]\mu '_{3}={}&\kappa _{1}\mu '_{2}+2\kappa _{2}\mu '_{1}+\kappa _{3}\\[1pt]\mu '_{4}={}&\kappa _{1}\mu '_{3}+3\kappa _{2}\mu '_{2}+3\kappa _{3}\mu '_{1}+\kappa _{4}\\[1pt]\mu '_{5}={}&\kappa _{1}\mu '_{4}+4\kappa _{2}\mu '_{3}+6\kappa _{3}\mu '_{2}+4\kappa _{4}\mu '_{1}+\kappa _{5}\\[1pt]\mu '_{6}={}&\kappa _{1}\mu '_{5}+5\kappa _{2}\mu '_{4}+10\kappa _{3}\mu '_{3}+10\kappa _{4}\mu '_{2}+5\kappa _{5}\mu '_{1}+\kappa _{6}\\[1pt]\mu '_{n}={}&\sum _{m=1}^{n-1}{n-1 \choose m-1}\kappa _{m}\mu '_{n-m}+\kappa _{n}\,.\end{aligned}}}$$ ${\textstyle \kappa _{n}}$ ${\textstyle \mu '_{n}}$ ${\textstyle \mu _{n}}$ ${\textstyle n\geq 2}$ ${\textstyle \mu '_{1}=\kappa _{1}=0}$ ${\textstyle \mu '_{n}}$ ${\textstyle \mu _{n}}$ ${\textstyle n\geq 2}$ $${\displaystyle {\begin{aligned}\mu _{2}={}&\kappa _{2}\\[1pt]\mu _{3}={}&\kappa _{3}\\[1pt]\mu _{n}={}&\sum _{m=2}^{n-2}{n-1 \choose m-1}\kappa _{m}\mu _{n-m}+\kappa _{n}\,.\end{aligned}}}$$

Cumulantes y particiones de conjuntos

Estos polinomios tienen una notable interpretación combinatoria : los coeficientes cuentan ciertas particiones de conjuntos . Una forma general de estos polinomios es donde $${\displaystyle \mu '_{n}=\sum _{\pi \,\in \,\Pi }\prod _{B\,\in \,\pi }\kappa _{|B|}}$$

• π 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 .

Así, cada monomio es una constante por un producto de cumulantes en el que la suma de los índices es n (p. ej., en el término κ ₃ κ ₂ ² κ ₁ , la suma de los índices es 3 + 2 + 2 + 1 = 8; esto aparece en el polinomio que expresa el octavo momento como función de los primeros ocho cumulantes). A cada término le corresponde una partición del entero n . El coeficiente de cada término es el número de particiones de un conjunto de n miembros que colapsan a esa partición del entero n cuando los miembros del conjunto se vuelven indistinguibles.

Cumulantes y combinatoria

Se pueden encontrar más conexiones entre cumulantes y combinatoria en el trabajo de Gian-Carlo Rota , donde se estudian vínculos con la teoría invariante , funciones simétricas y secuencias binomiales a través del cálculo umbral . ^[10]

Acumulantes conjuntos

El cumulante conjunto κ de varias variables aleatorias X ₁ , ..., X _n se define como el coeficiente κ _1,...,1 ( X ₁ , ..., X _n ) en la serie de Maclaurin de la función generadora de cumulante multivariante, véase la Sección 3.1 en, ^[11] Nótese que y, en particular Como con una sola variable, la función generadora y el cumulante pueden definirse en cambio mediante en cuyo caso y $${\displaystyle G(t_{1},\dots ,t_{n})=\log \mathrm {E} (\mathrm {e} ^{\sum _{j=1}^{n}t_{j}X_{j}})=\sum _{k_{1},\ldots ,k_{n}}\kappa _{k_{1},\ldots ,k_{n}}{\frac {t_{1}^{k_{1}}\cdots t_{n}^{k_{n}}}{k_{1}!\cdots k_{n}!}}\,.}$$ $${\displaystyle \kappa _{k_{1},\dots ,k_{n}}=\left.\left({\frac {\mathrm {d} }{\mathrm {d} t_{1}}}\right)^{k_{1}}\cdots \left({\frac {\mathrm {d} }{\mathrm {d} t_{n}}}\right)^{k_{n}}G(t_{1},\dots ,t_{n})\right|_{t_{1}=\dots =t_{n}=0}\,,}$$ $${\displaystyle \kappa (X_{1},\ldots ,X_{n})=\left.{\frac {\mathrm {d} ^{n}}{\mathrm {d} t_{1}\cdots \mathrm {d} t_{n}}}G(t_{1},\dots ,t_{n})\right|_{t_{1}=\dots =t_{n}=0}\,.}$$ $${\displaystyle H(t_{1},\dots ,t_{n})=\log \mathrm {E} (\mathrm {e} ^{\sum _{j=1}^{n}it_{j}X_{j}})=\sum _{k_{1},\ldots ,k_{n}}\kappa _{k_{1},\ldots ,k_{n}}i^{k_{1}+\cdots +k_{n}}{\frac {t_{1}^{k_{1}}\cdots t_{n}^{k_{n}}}{k_{1}!\cdots k_{n}!}}\,,}$$ $${\displaystyle \kappa _{k_{1},\dots ,k_{n}}=(-i)^{k_{1}+\cdots +k_{n}}\left.\left({\frac {\mathrm {d} }{\mathrm {d} t_{1}}}\right)^{k_{1}}\cdots \left({\frac {\mathrm {d} }{\mathrm {d} t_{n}}}\right)^{k_{n}}H(t_{1},\dots ,t_{n})\right|_{t_{1}=\dots =t_{n}=0}\,,}$$ $${\displaystyle \kappa (X_{1},\ldots ,X_{n})=\left.(-i)^{n}{\frac {\mathrm {d} ^{n}}{\mathrm {d} t_{1}\cdots \mathrm {d} t_{n}}}H(t_{1},\dots ,t_{n})\right|_{t_{1}=\dots =t_{n}=0}\,.}$$

Variables aleatorias repetidas y relación entre los coeficienteskk 1 , ..., k n

Observe que también se puede escribir como de lo cual concluimos que Por ejemplo y En particular, la última igualdad muestra que los cumulantes de una sola variable aleatoria son los cumulantes conjuntos de múltiples copias de esa variable aleatoria. ${\textstyle \kappa _{k_{1},\dots ,k_{n}}(X_{1},\ldots ,X_{n})}$ $${\displaystyle \kappa _{k_{1},\dots ,k_{n}}=\left.{\frac {\mathrm {d} ^{k_{1}}}{\mathrm {d} t_{1,1}\cdots \mathrm {d} t_{1,k_{1}}}}\cdots {\frac {\mathrm {d} ^{k_{n}}}{\mathrm {d} t_{n,1}\cdots \mathrm {d} t_{n,k_{n}}}}G\left(\sum _{j=1}^{k_{1}}t_{1,j},\dots ,\sum _{j=1}^{k_{n}}t_{n,j}\right)\right|_{t_{i,j}=0},}$$ $${\displaystyle \kappa _{k_{1},\dots ,k_{n}}(X_{1},\ldots ,X_{n})=\kappa _{1,\ldots ,1}(\underbrace {X_{1},\dots ,X_{1}} _{k_{1}},\ldots ,\underbrace {X_{n},\dots ,X_{n}} _{k_{n}}).}$$ $${\displaystyle \kappa _{2,0,1}(X,Y,Z)=\kappa (X,X,Z),\,}$$ $${\displaystyle \kappa _{0,0,n,0}(X,Y,Z,T)=\kappa _{n}(Z)=\kappa (\underbrace {Z,\dots ,Z} _{n}).\,}$$

Relación con momentos mixtos

Las variables aleatorias o cumulantes conjuntas se pueden expresar como una suma alternativa de productos de sus momentos mixtos , véase la ecuación (3.2.7) en ^[11] donde  π recorre la lista de todas las particiones de {1, ..., n } ; donde  B recorre la lista de todos los bloques de la partición  π ; y donde  | π | es el número de partes en la partición. $${\displaystyle \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)}$$

Por ejemplo, es el valor esperado de , es la covarianza de y , y $${\displaystyle \kappa (X)=\operatorname {E} (X),}$$ ${\textstyle X}$ $${\displaystyle \kappa (X,Y)=\operatorname {E} (XY)-\operatorname {E} (X)\operatorname {E} (Y),}$$ ${\textstyle X}$ ${\textstyle Y}$ $${\displaystyle \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).\,}$$

Para variables aleatorias de media cero , cualquier momento mixto de la forma se anula si es una partición de la cual contiene un singleton . Por lo tanto, la expresión de su cumulante conjunto en términos de momentos mixtos se simplifica. Por ejemplo, si X, Y, Z, W son variables aleatorias de media cero, tenemos ${\textstyle X_{1},\ldots ,X_{n}}$ ${\textstyle \prod _{B\in \pi }E\left(\prod _{i\in B}X_{i}\right)}$ ${\textstyle \pi }$ ${\textstyle \{1,\ldots ,n\}}$ ${\textstyle B=\{k\}}$ $${\displaystyle \kappa (X,Y,Z)=\operatorname {E} (XYZ).\,}$$ $${\displaystyle \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).\,}$$

En términos más generales, cualquier coeficiente de la serie de Maclaurin también se puede expresar en términos de momentos mixtos, aunque no existen fórmulas concisas. De hecho, como se señaló anteriormente, se puede escribir como un cumulante conjunto repitiendo las variables aleatorias de manera apropiada y luego aplicar la fórmula anterior para expresarlo en términos de momentos mixtos. Por ejemplo $${\displaystyle \kappa _{201}(X,Y,Z)=\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).\,}$$

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. ^{[ cita requerida ]}

El significado combinatorio de la expresión de momentos mixtos en términos de cumulantes es más fácil de entender que el de cumulantes en términos de momentos mixtos, véase la ecuación (3.2.6) en: ^[11] $${\displaystyle \operatorname {E} (X_{1}\cdots X_{n})=\sum _{\pi }\prod _{B\in \pi }\kappa (X_{i}:i\in B).}$$

Por ejemplo: $${\displaystyle \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).\,}$$

Otras propiedades

Otra propiedad importante de los cumulantes conjuntos es la multilinealidad: $${\displaystyle \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 sólo dos variables aleatorias es la covarianza . La identidad familiar se generaliza a los cumulantes: $${\displaystyle \operatorname {var} (X+Y)=\operatorname {var} (X)+2\operatorname {cov} (X,Y)+\operatorname {var} (Y)\,}$$ $${\displaystyle \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 la cumulancia total

La ley de la expectativa total y la ley de la varianza total se generalizan naturalmente a los cumulantes condicionales. El caso n = 3 , expresado en el lenguaje de los momentos (centrales) en lugar del de los cumulantes, dice $${\displaystyle \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, ^[12] donde $${\displaystyle \kappa (X_{1},\dots ,X_{n})=\sum _{\pi }\kappa (\kappa (X_{\pi _{1}}\mid Y),\dots ,\kappa (X_{\pi _{b}}\mid Y))}$$

• la suma es sobre todas las particiones  π del conjunto {1, ..., n } de índices, y
• π ₁ , ...,  π _b son todos los "bloques" de la partición π ; la expresión κ ( X _{π m} ) indica que el cumulante conjunto de las variables aleatorias cuyos índices están en ese bloque de la partición.

Cumulantes condicionales y expectativa condicional

Para ciertas situaciones, se puede establecer una identidad derivada entre el cumulante condicional y la esperanza condicional. Por ejemplo, supongamos que Y = X + Z donde Z es la normal estándar independiente de X , entonces para cualquier X se cumple que ^[13] Los resultados también se pueden extender a la familia exponencial. ^[14] $${\displaystyle \kappa _{n+1}(X\mid Y=y)={\frac {\mathrm {d} ^{n}}{\mathrm {d} y^{n}}}\operatorname {E} (X\mid Y=y),\,n\in \mathbb {N} ,\,y\in \mathbb {R} .}$$

Relación con la física estadística

En física estadística, muchas magnitudes extensivas (es decir, magnitudes que son proporcionales al volumen o tamaño de un sistema dado) están relacionadas con cumulantes de variables aleatorias. La conexión profunda es que, en un sistema grande, una magnitud extensiva como la energía o el número de partículas puede considerarse como la suma (por ejemplo) de la energía asociada con una serie de regiones casi independientes. El hecho de que los cumulantes de estas variables aleatorias casi independientes se sumen (casi) hace que sea razonable esperar que las magnitudes extensivas estén relacionadas con los cumulantes.

Un sistema en equilibrio con un baño térmico a temperatura T tiene una energía interna fluctuante E , que puede considerarse una variable aleatoria extraída de una distribución . La función de partición del sistema es donde β =  1/( kT ) y k es la constante de Boltzmann y se ha utilizado la notación en lugar de para el valor esperado para evitar confusiones con la energía, E . Por lo tanto, el primer y el segundo cumulante para la energía E dan la energía promedio y la capacidad calorífica. ${\textstyle E\sim p(E)}$ $${\displaystyle Z(\beta )=\langle \exp(-\beta E)\rangle ,}$$ ${\textstyle \langle A\rangle }$ ${\textstyle \operatorname {E} [A]}$ $${\displaystyle {\begin{aligned}\langle E\rangle _{c}&={\frac {\partial \log Z}{\partial (-\beta )}}=\langle E\rangle \\[6pt]\langle E^{2}\rangle _{c}&={\frac {\partial \langle E\rangle _{c}}{\partial (-\beta )}}=kT^{2}{\frac {\partial \langle E\rangle }{\partial T}}=kT^{2}C\end{aligned}}}$$

La energía libre de Helmholtz expresada en términos de conecta además magnitudes termodinámicas con la función generadora de cumulantes para la energía. Las propiedades termodinámicas que son derivadas de la energía libre, como su energía interna , entropía y capacidad calorífica específica , pueden expresarse fácilmente en términos de estos cumulantes. Otra energía libre puede ser una función de otras variables como el campo magnético o el potencial químico , por ejemplo, donde N es el número de partículas y es el potencial general. Nuevamente, la estrecha relación entre la definición de la energía libre y la función generadora de cumulantes implica que varias derivadas de esta energía libre pueden escribirse en términos de cumulantes conjuntos de E y N. $${\displaystyle F(\beta )=-\beta ^{-1}\log Z(\beta )\,}$$ ${\textstyle \mu }$ $${\displaystyle \Omega =-\beta ^{-1}\log(\langle \exp(-\beta E-\beta \mu N)\rangle ),\,}$$ ${\textstyle \Omega }$

Historia

Anders Hald analiza la historia de los cumulantes . ^{[15] [16]}

Los cumulantes fueron introducidos por primera vez por Thorvald N. Thiele , en 1889, quien los llamó semiinvariantes . ^[17] Fueron llamados cumulantes por primera vez en un artículo de 1932 de Ronald Fisher y John Wishart . ^[18] Fisher fue recordado públicamente por Neyman, quien también señala citas publicadas previamente de Thiele que llamaron la atención de Fisher. ^[19] Stephen Stigler ha dicho ^{[ cita requerida ]} que el nombre cumulante fue sugerido a Fisher en una carta de Harold Hotelling . En un artículo publicado en 1929, Fisher las había llamado funciones de momento acumulativo . ^[20]

La función de partición en física estadística fue introducida por Josiah Willard Gibbs en 1901. ^{[ cita requerida ]} La energía libre a menudo se denomina energía libre de Gibbs. En mecánica estadística , los cumulantes también se conocen como funciones de Ursell en relación con una publicación de 1927. ^{[ cita requerida ]}

Cumulantes en configuraciones generalizadas

Cumulantes formales

En términos más generales, 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, donde los valores de κ _n para n = 1, 2, 3, ... se encuentran formalmente, es decir, solo por álgebra, sin tener en cuenta las cuestiones 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 superiores son cero. Los cumulantes formales no están sujetos a tales restricciones. $${\displaystyle 1+\sum _{n=1}^{\infty }{\frac {m_{n}t^{n}}{n!}}=\exp \left(\sum _{n=1}^{\infty }{\frac {\kappa _{n}t^{n}}{n!}}\right),}$$

Números de campana

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 cuerpo de característica cero, siendo considerados cumulantes formales, hay una secuencia correspondiente { μ ′ : n = 1, 2, 3, ... } de momentos formales, dada por los polinomios anteriores. ^{[ aclaración necesaria ] [ cita necesaria ]} Para esos polinomios, construya una secuencia polinómica de la siguiente manera. A partir del polinomio haga un nuevo polinomio en estos más una variable adicional x : y luego generalice el patrón. El patrón es que los números de bloques en las particiones mencionadas anteriormente son los exponentes en x . Cada coeficiente es un polinomio en los cumulantes; estos son los polinomios de Bell , llamados así por Eric Temple Bell . ^{[ cita necesaria ]} $${\displaystyle {\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}}}$$ $${\displaystyle {\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}}}$$

Esta secuencia de polinomios es de tipo binomial . De hecho, no existen otras secuencias de tipo binomial; cada secuencia de polinomios de tipo binomial está completamente determinada por su secuencia de cumulantes formales. ^{[ cita requerida ]}

Acumulantes libres

En la fórmula de momentos-cumulantes anterior para cumulantes conjuntos, se suma sobre todas las particiones del conjunto { 1, ..., n } . Si en cambio, se suma solo sobre las particiones que no se cruzan , entonces, al resolver estas fórmulas para los 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 . ^{[21] [22]} En esa teoría, en lugar de considerar la independencia de las variables aleatorias , definidas en términos de productos tensoriales de álgebras de variables aleatorias, se considera en cambio la independencia libre de las variables aleatorias, definida en términos de productos libres de álgebras. ^[22] $${\displaystyle \operatorname {E} (X_{1}\cdots X_{n})=\sum _{\pi }\prod _{B\,\in \,\pi }\kappa (X_{i}:i\in B)}$$ ${\textstyle \kappa }$

Los cumulantes ordinarios de grado superior a 2 de la distribución normal son cero. Los cumulantes libres de grado superior a 2 de la distribución de semicírculo de Wigner son cero. ^[22] Este es un aspecto en el que 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.

Véase también

• El valor entrópico en riesgo
• Función generadora de cumulantes a partir de un multiconjunto
• Expansión de Cornish-Fisher
• Expansión de Edgeworth
• Polikay
• Estadística k , un estimador imparcial de varianza mínima de un cumulante
• Función Ursell
• Tensor de posición total como aplicación de cumulantes para analizar la función de onda electrónica en química cuántica .

Referencias

1. Weisstein, Eric W. "Cumulant". De MathWorld – Un recurso web de Wolfram. http://mathworld.wolfram.com/Cumulant.html
2. Kendall, MG, Stuart, A. (1969) The Advanced Theory of Statistics , Volumen 1 (3.ª edición). Griffin, Londres. (Sección 3.12)
3. Lukacs, E. (1970) Funciones características (2.ª edición). Griffin, Londres. (Página 27)
4. Lukacs, E. (1970) Funciones características (2.ª edición). Griffin, Londres. (Sección 2.4)
5. Aapo Hyvarinen, Juha Karhunen y Erkki Oja (2001) Análisis de componentes independientes , John Wiley & Sons . (Sección 2.7.2)
6. Hamedani, GG; Volkmer, Hans; Behboodian, J. (1 de marzo de 2012). "Una nota sobre variables aleatorias subindependientes y una clase de mezclas bivariadas". Studia Scientiarum Mathematicarum Hungarica . 49 (1): 19–25. doi :10.1556/SScMath.2011.1183.
7. Lukacs, E. (1970) Funciones características (2.ª edición), Griffin, Londres. (Teorema 7.3.5)
8. Bazant, Martin (4 de febrero de 2005). "MIT 18.366 | Otoño de 2006 | Posgrado | Paseos aleatorios y difusión, lección 2: momentos, cumulantes y escalamiento". MIT OpenCourseWare . Archivado desde el original el 2022-10-07 . Consultado el 2023-09-03 .
9. Smith, Peter J. (mayo de 1995). "Una formulación recursiva del antiguo problema de obtención de momentos a partir de cumulantes y viceversa". The American Statistician . 49 (2): 217–218. doi :10.2307/2684642. JSTOR  2684642.
10. Rota, G.-C.; Shen, J. (2000). "Sobre la combinatoria de cumulantes". Journal of Combinatorial Theory, Serie A . 91 (1–2): 283–304. doi : 10.1006/jcta.1999.3017 .
11. Peccati, Giovanni; Taqqu, Murad S. (2011). "Caos de Wiener: momentos, cumulantes y diagramas". Serie Bocconi & Springer . 1 . doi :10.1007/978-88-470-1679-8. ISBN 978-88-470-1678-1. ISSN  2039-1471.
12. Brillinger, DR (1969). "El cálculo de cumulantes mediante condicionamiento". Anales del Instituto de Matemática Estadística . 21 : 215–218. doi :10.1007/bf02532246. S2CID  122673823.
13. Dytso, Alex; Poor, H. Vincent; Shamai Shitz, Shlomo (2023). "Estimación de media condicional en ruido gaussiano: una identidad metaderivada con aplicaciones". IEEE Transactions on Information Theory . 69 (3): 1883–1898. doi :10.1109/TIT.2022.3216012. S2CID  253308274.
14. Dytso, Alex; Cardone, Martina; Zieder, Ian (2023). "Identidad metaderivada para la expectativa condicional". IEEE Transactions on Information Theory . 69 (7): 4284–4302. doi :10.1109/TIT.2023.3249163. S2CID  257247930.
15. Hald, A. (2000) "La historia temprana de los cumulantes y la serie Gram–Charlier " International Statistical Review , 68 (2): 137–153. (Reimpreso en Lauritzen, Steffen L. , ed. (2002). Thiele: pionero en estadística . Oxford UP ISBN 978-0-19-850972-1.)
16. Hald, Anders (1998). Una historia de la estadística matemática desde 1750 hasta 1930. Nueva York: Wiley. ISBN 978-0-471-17912-2.
17. H. Cramér (1946) Métodos matemáticos de estadística, Princeton University Press, Sección 15.10, pág. 186.
18. Fisher, RA , John Wishart, J. (1932) La derivación de las fórmulas de patrones de particiones de dos vías a partir de las de patrones más simples, Actas de la London Mathematical Society , Serie 2, v. 33, págs. 195–208 doi :10.1112/plms/s2-33.1.195
19. Neyman, J. (1956): 'Nota sobre un artículo de Sir Ronald Fisher', Journal of the Royal Statistical Society , Serie B (Metodológica), 18, págs. 288–94.
20. Fisher, RA (1929). "Momentos y momentos producto de distribuciones de muestreo" (PDF) . Actas de la London Mathematical Society . 30 : 199–238. doi :10.1112/plms/s2-30.1.199. hdl : 2440/15200 .
21. Speicher, Roland (1994). "Funciones multiplicativas en la red de particiones no cruzadas y convolución libre". Mathematische Annalen . 298 (4): 611–628. doi :10.1007/BF01459754. S2CID  123022311.
22. Novak, Jonathan; Śniady, Piotr (2011). "¿Qué es un cumulante libre?". Avisos de la American Mathematical Society . 58 (2): 300–301. ISSN  0002-9920.

Enlaces externos

• Weisstein, Eric W. "Cumulante". MundoMatemático .
• Cumulante sobre los usos más antiguos conocidos de algunas de las palabras de las matemáticas