---
title: Relative Cumulative Moment-Like Measures
url: https://www.emergentmind.com/topics/relative-cumulative-moment-like-measures
type: topic
---

# Relative Cumulative Moment-Like Measures

Relative cumulative moment-like measures are functionals that compare distributions through cumulative objects—distribution functions, survival functions, Lorenz-curve ordinates, transformed cumulative coordinates, or representing measures—rather than through densities alone. In recent work, the term covers several technically distinct constructions: cdf-based quantities such as the cumulative past information generating function and its relative version, survival-based functionals such as the relative cumulative residual information, and biparametric relative cumulative moments induced by the relative differential-escort transform. Related frameworks extend the same viewpoint to Lorenz-type asymmetry measures, tail-integral moment representations, and measure-theoretic reweightings of moment sequences [2404.00665] [2410.00125] [2507.17408] [2209.10699] [2606.14019] [1809.07523].

## 1. Conceptual scope and defining features

The common structural feature of these measures is that they integrate a cumulative quantity before or while taking powers, weights, or comparisons. For an absolutely continuous random variable \(X\) with cdf \(F\), the cumulative past information generating function is
\[
\mathcal{C}_\theta(X)=\int_\ell^r [F(x)]^\theta\,dx,\qquad \theta>0,
\]
and for two random variables \(X,Y\) with cdfs \(F_X,F_Y\), the relative cumulative past information generating function is
\[
\mathcal{C}_\theta(X,Y)=\int_{-\infty}^{\infty}[F_X(x)]^\theta F_Y(x)\,dx,\qquad \theta>0.
\]
For non-negative lifetimes with survival functions \(\bar F,\bar G\), the relative cumulative residual information is
\[
R_{\alpha,\beta}(\bar F,\bar G)=\int_0^\infty \bar F^\alpha(x)\bar G^\beta(x)\,dx,\qquad \alpha,\beta>0.
\]
For two densities \(f,h\) on a common support, the escort-based relative cumulative moment is
\[
\mu_{p,\alpha}[f\mid h]
=
\int_{\Omega}
\left|
\int_{x_i}^x f(s)^{1-\alpha}h(s)^\alpha\,ds
\right|^p
f(x)\,dx,
\]
with associated deviation-like quantity
\[
\sigma_{p,\alpha}[f\mid h]=\big(\mu_{p,\alpha}[f\mid h]\big)^{\frac{1}{p\alpha}}.
\]
These constructions are cumulative because they are built from \(F\), \(\bar F\), or a cumulative coordinate \(y(x)=\int_{x_i}^x f^{1-\alpha}h^\alpha\), and moment-like because they aggregate powers or weighted averages of such quantities [2404.00665] [2410.00125] [2507.17408].

A second unifying feature is relativity. In some cases the comparison is direct, as in \(\mathcal{C}_\theta(X,Y)\) or \(R_{\alpha,\beta}(\bar F,\bar G)\). In others, it is induced by a reference density or reference measure, as in \(\mu_{p,\alpha}[f\mid h]\) or in constructions where a representing measure \(\mu\) is replaced by \(g\cdot\mu\). A third feature is that not every relative cumulative moment-like quantity is a divergence in the strict sense. Some are generating functions, some are overlap-type integrals, and some are bounded normalized functionals. This distinction is explicit in the literature: the CPIG-based divergence \(D_q(F_X,F_Y)\) is nonnegative, whereas the escort-based relative cumulative moment is not minimized at \(f=h\), and the relative cumulative residual information is introduced as an information/divergence measure but not as a metric [2404.00665] [2507.17408] [2410.00125].

## 2. Past-distribution formulations: CPIG, RCPIG, and Jensen constructions

The cdf-based branch of the subject is organized around the cumulative past information generating function
\[
\mathcal{C}_\theta(X)=\int_\ell^r [F(x)]^\theta\,dx,
\]
obtained from the cumulative information generating function by setting the survival exponent to zero. Its relative version,
\[
\mathcal{C}_\theta(X,Y)=\int_{-\infty}^{\infty}[F_X(x)]^\theta F_Y(x)\,dx,
\]
mixes the past distribution of \(X\) through \(F_X^\theta\) with the past mass of \(Y\) through \(F_Y\). The construction is explicitly analogous to density-based information generating functions, but transferred from \(f\) to \(F\). This gives \(\mathcal{C}_\theta(X)\) the status of a cumulative past generating object, and \(\mathcal{C}_\theta(X,Y)\) the status of a relative cumulative past information generating measure [2404.00665].

Its moment-like character is sharpened by the link with generalized cumulative past entropy. If
\[
\widetilde{\mathcal{E}_n}(X)=\int_\ell^r F(x)\,[-\log F(x)]^n\,dx,
\]
then
\[
\left.\frac{\partial^n}{\partial\theta^n}\mathcal{C}_\theta(X)\right|_{\theta=1}
=
(-1)^n n!\,\widetilde{\mathcal{E}_n}(X),\qquad n\ge 1,
\]
and
\[
\mathcal{C}_\theta(X)=\sum_{n=0}^\infty (1-\theta)^n\,\widetilde{\mathcal{E}_n}(X).
\]
The first derivative at \(\theta=1\) recovers cumulative past entropy, and the higher derivatives recover the generalized cumulative past entropies. At \(\theta=2\), one also has
\[
\mathcal{C}_2(X)=-2\,\mathrm{CPJ}(X),
\]
so the same family interpolates toward cumulative past extropy. The paper further derives lower bounds connecting CPIG to Shannon entropy, including
\[
\mathcal{C}_\theta(X)\ge \exp\bigl(H(X)-\theta\bigr).
\]

The relative and Jensenized side of this framework is built by combining cdfs through generalized logarithms and mixtures. The CPIG-based divergence
\[
D_q(F_X,F_Y)
=
\int F_X(x)\,L_q\!\Bigl(\frac{F_X(x)}{F_Y(x)}\Bigr)\,dx
-
\bigl(\mathcal{C}_\theta(X)-\mathcal{C}_\theta(Y)\bigr)
\]
is nonnegative for all \(q>0\). If \(F_T=pF_X+(1-p)F_Y\), the Jensen-cumulative past information generating function is defined with a sign depending on whether \(0<\theta\le 1\) or \(\theta\ge 1\), and satisfies
\[
\mathrm{JCPIG}_\theta(F_X,F_Y;p)=p\,D_q(F_X,F_T)+(1-p)\,D_q(F_Y,F_T).
\]
There are parallel Jensen constructions for the fractional cumulative past entropy and the cumulative past Taneja entropy, with nonnegativity established for \(\mathrm{JFCPE}_q\) and \(\mathrm{JCPTE}_q\). The same paper also introduces a CPIG stochastic order, proves that dispersive order implies CPIG-order, and shows convolution bounds such as
\[
\mathcal{C}_\theta(X+Y)\le \min\{\mathcal{C}_\theta(X),\mathcal{C}_\theta(Y)\}\quad\text{for }\theta\ge 1,
\]
with reversal for \(\theta\le 1\). In this literature, relative cumulative moment-like measures are therefore not isolated objects but part of a cdf-based calculus involving generating functions, divergences, Jensen-type decompositions, stochastic orderings, and convolution inequalities [2404.00665].

## 3. Survival-function formulations: RCRI and dynamic residual versions

A second major line of development uses survival functions rather than cdfs. For non-negative random variables \(X,Y\) with survival functions \(\bar F,\bar G\), the relative cumulative residual information is
\[
R_{\alpha,\beta}(\bar F,\bar G)=\int_0^\infty \bar F^\alpha(x)\bar G^\beta(x)\,dx,\qquad \alpha,\beta>0.
\]
When \(\bar F=\bar G\), this reduces to
\[
\int_0^\infty \bar F^{\alpha+\beta}(x)\,dx,
\]
which is exactly the cumulative residual entropy generating function. The dynamic version is defined through residual lifetimes \(X_t=X-t\mid X>t\) and \(Y_t=Y-t\mid Y>t\), giving
\[
R_{\alpha,\beta}(\bar F,\bar G,t)
=
\int_t^\infty
\left(\frac{\bar F(x)}{\bar F(t)}\right)^\alpha
\left(\frac{\bar G(x)}{\bar G(t)}\right)^\beta
\,dx.
\]
At \(t=0\), it recovers the static quantity. The measure is cumulative because it integrates powers of survival probabilities over time, and moment-like because \(\int_0^\infty \bar F(x)\,dx=E[X]\) is the classical mean identity from which these power-based generalizations depart [2410.00125].

Under proportional hazards,
\[
\bar G(x)=\bigl(\bar F(x)\bigr)^\theta,\qquad \theta>0,
\]
the integral collapses to
\[
R_{\alpha,\beta}(\bar F,\bar G)=\int_0^\infty \bigl(\bar F(x)\bigr)^{\alpha+\beta\theta}\,dx,
\]
and the dynamic version satisfies an ODE involving the hazard rate:
\[
R'_{\alpha,\beta}(\bar F,t)
=
(\beta\theta+\alpha)h_1(t)\,R_{\alpha,\beta}(\bar F,t)-1.
\]
In the general two-distribution case,
\[
R'_{\alpha,\beta}(\bar F,\bar G,t)
=
\bigl(\beta h_2(t)+\alpha h_1(t)\bigr)\,R_{\alpha,\beta}(\bar F,\bar G,t)-1.
\]
These identities are the basis of several characterization theorems. If \(R_{\alpha,\beta}(\bar F,\bar G,t)=c>0\) is constant in \(t\), then \(F\) is exponential if and only if \(G\) is exponential. Under proportional hazards, linearity of \(R_{\alpha,\beta}(\bar F,t)\) in \(t\) is equivalent to \(F\) being a Generalized Pareto Distribution with survival
\[
\bar F(x)=\left(1+\frac{b}{a}x\right)^{-\left(1+\frac{1}{b}\right)},\qquad x>0,\; b>-1,\; a>0.
\]
The same model is characterized by either
\[
R_{\alpha,\beta}(\bar F,t)=k\,[h_1(t)]^{-1}
\]
or
\[
R_{\alpha,\beta}(\bar F,t)=k\,m_1(t),
\]
where \(m_1(t)\) is the mean residual life. Under affine scaling \(Y=aX+b\) with \(a>0\), \(b\ge 0\), and the proportional hazards model, the paper proves
\[
R_{\alpha,\beta\theta}(Y)=a\,R_{\alpha,\beta\theta}(X),
\]
so the measure scales linearly in time [2410.00125].

The same work develops kernel-based nonparametric estimators. With
\[
\hat{\bar F}(x)=\frac{1}{n}\sum_{j=1}^n \bar K\!\left(\frac{x-X_j}{h}\right),
\qquad
\hat{\bar G}(x)=\frac{1}{n}\sum_{j=1}^n \bar K\!\left(\frac{x-Y_j}{h}\right),
\]
the plug-in estimator of \(R_{\alpha,\beta}\) is obtained by replacing \(\bar F,\bar G\) inside the defining integral, and similarly for \(R_{\alpha,\beta}(\bar F,\bar G,t)\) using conditional kernel survival estimates. Under \(h\to 0\) and \(nh\to\infty\), both estimators converge in probability to their population targets. The paper also reports an extensive Monte Carlo study and a Gaia DR3 application, where RCRI values between photometric bands of one object are close to one another, while a between-object comparison produces a markedly larger value [2410.00125].

## 4. Escort-based relative cumulative moments and sharp information inequalities

A third, explicitly information-theoretic, formulation begins with two positive densities \(f,h\) on a common support and the relative differential-escort transform
\[
\mathfrak{R}_\alpha^{[h]}[f](y)
=
\left(\frac{f(x(y))}{h(x(y))}\right)^\alpha,
\qquad
\frac{dy}{dx}=f(x)^{1-\alpha}h(x)^\alpha.
\]
This transform turns the cumulative coordinate
\[
y(x)=\int_{x_i}^x f(s)^{1-\alpha}h(s)^\alpha\,ds
\]
into the central object. The associated relative cumulative moment is then
\[
\mu_{p,\alpha}[f\mid h]
=
\int_{\widetilde{\Omega}_\alpha}|y|^p\,f_\alpha^{[h]}(y)\,dy
=
\int_{\Omega}
\left|
\int_{x_i}^x f(s)^{1-\alpha}h(s)^\alpha\,ds
\right|^p
f(x)\,dx,
\]
with
\[
\sigma_{p,\alpha}[f\mid h]=\big(\mu_{p,\alpha}[f\mid h]\big)^{\frac{1}{p\alpha}}.
\]
When \(h=f\), the paper notes that
\[
\mu_{p,\alpha}[f\mid f]
=
\mathbb{E}_f\bigl[|F(X)|^p\bigr],
\]
so the relative family collapses to a non-relative cumulative moment built from the ordinary cdf. When \(\alpha=1\),
\[
\mu_{p,1}[f\mid h]
=
\int_\Omega
\left|
\int_{x_i}^x h(s)\,ds
\right|^p
f(x)\,dx,
\]
so the cumulative integral is purely that of the reference density \(h\) [2507.17408].

These relative cumulative moments are introduced together with a biparametric relative Fisher divergence
\[
F_{p,\lambda}[f\mid h]
=
\int_{\Omega}
f(x)^{1+p(\lambda-1)}
h(x)^{-\lambda p}
\left|\frac{d}{dx}\log\frac{f(x)}{h(x)}\right|^p
\,dx,
\]
and the whole construction is organized around the fact that Shannon and Rényi quantities of the escort-transformed density become KL and Rényi divergences between \(f\) and \(h\). The basic identities are
\[
N_\lambda^{1-\lambda}[f_\alpha^{[h]}]
=
K_{\xi(\lambda,\alpha)}[f\mid h],
\qquad
\xi(\lambda,\alpha)=1+\alpha(\lambda-1),
\]
and
\[
S[f_\alpha^{[h]}]=-\alpha\,D[f\mid h].
\]
Because of these correspondences, classical moment-entropy and Stam inequalities can be pulled back to the relative setting. One central bound is
\[
e^{D_{\xi(\lambda,\alpha)}[f\mid h]}\,\sigma_{p^*,\alpha}[f\mid h]
\ge
\big(K^{(0)}_{p,\lambda}\big)^{1/\alpha},
\]
and in the KL limit,
\[
\sigma_{p^*,\alpha}[f\mid h]\,e^{D[f\mid h]}
\ge
\big(K^{(0)}_{p,1}\big)^{1/\alpha}.
\]
The paper emphasizes that these bounds are sharp and that the minimizers are obtained by applying the inverse relative differential-escort transformation to stretched Gaussian densities. It further gives explicit forms for the minimizing densities in terms of generalized trigonometric functions, generalized hyperbolic functions, and, in the \(\lambda=1\) case, the inverse incomplete Gamma function [2507.17408].

Several structural properties distinguish this family from other relative cumulative measures. First, it is scale-invariant:
\[
\sigma_{p,\alpha}[f_{(r)}\mid h_{(r)}]=\sigma_{p,\alpha}[f\mid h],\qquad r>0,
\]
matching the scaling behavior of KL and Rényi divergences under simultaneous dilation. Second, the paper explicitly notes that \(\mu_{p,\alpha}[f\mid h]\) is not minimized at \(f=h\); unlike a divergence, it is a relative cumulative moment rather than a discrepancy functional in the strict sense. Third, the same escort mechanism supports adapted inequalities for a prescribed minimizing density \(f^\star\), where the reference \(h^\star\) is constructed so that the product inequality is minimized only at \(f=f^\star\). In that construction, generalized trigonometric functions again play a central role [2507.17408].

## 5. Related constructions from Lorenz curves, tail integrals, moment sequences, and Gaussian benchmarks

The broader literature contains several constructions that, while not always presented under exactly the same terminology, fit the same cumulative-comparative template. In the Lorenz-curve setting, cumulative skewness is defined from ordered data by
\[
CS=\frac{\sum_{i=1}^{n-1} D_iW_i}{\sum_{i=1}^{n-1}D_i},
\qquad
D_i=p_i-q_i,
\qquad
W_i=\frac{(2r_i-n)\cdot 3}{n}.
\]
Here \(p_i=i/n\) is the cumulative proportion of observations, \(q_i\) is the cumulative proportion of the variable, and the weights are negative below the median rank and positive above it. The measure is bounded, with \(CS\in[-1,1]\) and finite-sample bounds \(CS\in[-1+2/n,\,1-2/n]\). The paper explicitly describes it as cumulative because it is built from Lorenz cumulative shares, and relative because it normalizes weighted asymmetry by total Lorenz deviation; it is also presented as robust to outliers compared with third-moment skewness [2209.10699].

In the moment-sequence framework, relative cumulative constructions arise through transformations of representing measures. If \(y_n=\int_K x^n\,d\mu(x)\) is an \([a,b]\)-moment sequence and \(g(x)\ge 0\) on \([a,b]\), then
\[
\mathcal{T}_g(y)_n=\int_a^b x^n g(x)\,d\mu(x)
\]
is again an \([a,b]\)-moment sequence, with representing measure
\[
d\tilde\mu(x)=g(x)\,d\mu(x).
\]
Subsequences \(y_{dk+\ell}\) similarly correspond to multiplication by \(x^\ell\) and pushforward under \(x\mapsto x^d\). This suggests a measure-theoretic interpretation of relative cumulative moment-like measures in which a new moment functional is derived from a reference one by weighting and deterministic transformation, while existence, uniqueness, and support remain controlled by the Hausdorff or Stieltjes moment structure [1809.07523].

The real-order moment framework based on cdfs and tails supplies another closely related perspective. For arbitrary real-valued \(X\) and \(p>0\),
\[
\mathbb{E}[X^p]
=
p\int_0^\infty t^{p-1}[1-F_X(t)]\,dt
-
p\int_{-\infty}^0 t^{p-1}F_X(t^-)\,dt,
\]
and for \(X>0\), negative moments admit
\[
\mathbb{E}[X^{-q}]=q\int_0^\infty t^{-q-1}F_X(t)\,dt.
\]
The paper does not explicitly define relative measures, but it states that the tail-integral structure naturally suggests definitions such as
\[
R_p(F,G)
=
\frac{\int_0^\infty t^{p-1}\bigl(\bar F(t)-\bar G(t)\bigr)\,dt}
{\int_0^\infty t^{p-1}\bar G(t)\,dt},
\]
together with discrete analogues based on weighted tail sums and logarithmic analogues based on Laplace transforms. In this sense, cumulative moment-like comparison can be formulated directly as a weighted comparison of tails or cdfs [2606.14019].

A further related viewpoint compares cumulative moment profiles to a benchmark law. Under cumulant bounds of the form
\[
|\kappa_j(Z_n)|\le (j!)^{1+\gamma}A_n^{j-2},\qquad j\ge 3,
\]
the deviation of a normalized variable \(Z_n\) from the Gaussian benchmark \(N\sim N(0,1)\) is quantified by
\[
\Delta_k(Z_n;N)=\big|\mathbb{E}[Z_n^k]-\mathbb{E}[N^k]\big|.
\]
The paper shows that \(\Delta_k(Z_n;N)=O(A_n^{-2})\) for even \(k\) and \(O(A_n^{-1})\) for odd \(k\), and explicitly interprets cumulative sums of such deviations as cumulative moment-like measures of distance to Gaussianity. This is not a cumulative cdf- or survival-based construction, but it retains the same comparative aggregation logic [1901.04865].

## 6. Comparative structure, misconceptions, and domains of use

Taken together, these literatures support a three-part description of relative cumulative moment-like measures. They are cumulative because they integrate \(F\), \(\bar F\), Lorenz distances, cumulative coordinates, or weighted tails over the support. They are relative because they compare two distributions, one distribution against a reference density, one moment sequence against a reweighted version, or one moment profile against a benchmark law. They are moment-like because the defining objects are powers, weighted averages, or generating-function derivatives of cumulative quantities rather than pointwise density evaluations. This synthesis is consistent with the way the individual papers connect their measures to entropy, extropy, mean residual life, Hausdorff moments, or Gaussian moments [2404.00665] [2507.17408] [2410.00125] [2606.14019].

Several recurrent misconceptions are explicitly ruled out by the underlying results. First, relative cumulative moment-like measures are not uniformly divergences. The CPIG-based \(D_q(F_X,F_Y)\) is nonnegative, but \(\mu_{p,\alpha}[f\mid h]\) is not minimized at \(f=h\), and RCRI is introduced as an information/divergence measure without metric properties. Second, “relative” does not require logarithmic ratios; the comparison may be implemented by powers of cdfs or survival functions, by weighting a representing measure through \(g(x)\), or by rank-weighted normalization in Lorenz space. Third, “cumulative” does not imply restriction to reliability theory. The same formal pattern appears in survival analysis, past-lifetime analysis, asymmetry measurement, moment problems, and information inequalities [2404.00665] [2410.00125] [2507.17408] [2209.10699] [1809.07523].

The principal application domains are correspondingly diverse. In reliability and lifetime analysis, CPIG, RCPIG, RCRI, and DRCRI quantify cumulative past or residual uncertainty and support characterization theorems under proportional hazards or generalized Pareto structure. In information theory, escort-based relative cumulative moments form one leg of a relative information triangle alongside scale-invariant relative Fisher measures and KL/Rényi divergences. In robust statistics, Lorenz-based cumulative skewness provides a bounded asymmetry functional that behaves similarly to third-moment skewness for “normal” distributions but is less sensitive to outliers. In applied data analysis, the Gaia DR3 study illustrates how relative cumulative residual information can compare photometric distributions within and across astronomical objects. In moment theory, weighted and pushed-forward representing measures furnish explicit relative constructions whose supports and determinacy properties can still be tracked [2410.00125] [2507.17408] [2209.10699] [1809.07523].

A plausible implication of this body of work is that the subject is best understood not as a single invariant, but as a family of comparison principles indexed by the cumulative object being integrated and by the manner in which reference information enters the construction. The mature part of the theory already includes exact definitions, sharp inequalities, stochastic orders, characterization results, and consistent nonparametric estimators; the less formal part, especially in tail-integral and moment-sequence settings, suggests additional relative cumulative measures that can be built whenever cumulative representations of moments or entropies are available [2606.14019] [2404.00665] [2507.17408].

Source: https://www.emergentmind.com/topics/relative-cumulative-moment-like-measures