Stable size-biasing and the positive scale-mixture order of generalized Gaussian laws
Pith reviewed 2026-06-26 22:32 UTC · model grok-4.3
The pith
A generalized Gaussian with smaller exponent is a unique positive scale mixture of one with larger exponent, but not conversely.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We prove that, for p,q>0, there exists a strictly positive random variable V, independent of X_q, such that X_p ≃^d V X_q if and only if p ≤ q. Moreover, the law of V is unique. For p<q, put a=1/p, b=1/q, and α=b/a=p/q. If S_α is a positive α-stable random variable with Laplace transform E exp(-u S_α)=exp(-u^α), set W_0=S_α^{-b}, let W be the W_0-size-biased version of W_0, and define V_{p,q}=2^{a-b}W. Then X_p ≃^d V_{p,q} X_q. For p>q, the required Mellin quotient, viewed as the candidate characteristic function of log V, is unbounded by Stirling's formula, and hence cannot be a characteristic function. The factor laws form a multiplicative cocycle V_{p,r} ≃^d V_{p,q} V_{q,r} for p≤q≤r, whe
What carries the argument
The size-biased version of W_0 = S_α^{-b} (S_α positive α-stable) rescaled to V_{p,q}, which supplies the explicit mixing factor when p<q and shows the Mellin quotient cannot be a characteristic function when p>q.
If this is right
- The factors satisfy the cocycle identity V_{p,r} equals in distribution the product of independent copies of V_{p,q} and V_{q,r} whenever p≤q≤r.
- The Mellin quotient Φ_{p,q} is positive definite exactly when p≤q.
- The inverse Fourier-Mellin transform produces a genuine nonnegative probability density throughout the p<q branch.
- The known Gaussian-base case and bounded-parameter product cases are recovered as instances inside the single positive scale-mixture classification.
Where Pith is reading between the lines
- The cocycle structure on the exponents suggests the parameter space carries a semigroup operation that could be checked for other one-parameter families of symmetric distributions.
- The explicit stable-based construction supplies a simulation route from one generalized Gaussian to another that could be tested for efficiency in Monte Carlo work.
- Similar scale-mixture orders might be sought for asymmetric or multivariate extensions of the generalized Gaussian family.
Load-bearing premise
The Mellin quotient for p greater than q is unbounded and therefore cannot be the characteristic function of log V.
What would settle it
Numerical evaluation of the Mellin quotient for concrete values with p>q to confirm it is unbounded, or Monte Carlo sampling to check whether any positive multiple of X_q can match the law of X_p.
read the original abstract
Let $X_r\sim N_r(0,1)$ be the centered unit-scale generalized Gaussian random variable with density proportional to $\exp(-|x|^r/2)$. We prove that, for $p,q>0$, there exists a strictly positive random variable $V$, independent of $X_q$, such that $X_p\stackrel{d}{=}VX_q$ if and only if $p\le q$. Moreover, the law of $V$ is unique. For $p<q$, put $a=1/p$, $b=1/q$, and $\alpha=b/a=p/q$. If $S_\alpha$ is a positive $\alpha$-stable random variable with Laplace transform $\mathbb{E}\exp(-uS_\alpha)=\exp(-u^\alpha)$, set $W_0=S_\alpha^{-b}$, let $W$ be the $W_0$-size-biased version of $W_0$, and define $V_{p,q}=2^{a-b}W$. Then $X_p\stackrel{d}{=}V_{p,q}X_q$. For $p>q$, the required Mellin quotient, viewed as the candidate characteristic function of $\log V$, is unbounded by Stirling's formula, and hence cannot be a characteristic function. The factor laws form a multiplicative cocycle, $V_{p,r}\stackrel{d}{=}V_{p,q}V_{q,r}$, for $p\le q\le r$, where the factors on the right-hand side are independent copies. Thus the Mellin quotient isolated by Dytso, Bustin, Poor and Shamai is realized constructively throughout the $p<q$ branch. In particular, $\Phi_{p,q}$ is positive definite exactly in the range $p\le q$, and the inverse Fourier--Mellin candidate density in the remaining $p<q$ branch is a genuine nonnegative probability density. The known Gaussian-base and bounded-parameter product cases are recovered as parts of a single positive scale-mixture classification.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript proves that for centered unit-scale generalized Gaussian random variables X_r (density proportional to exp(-|x|^r/2)), there exists a strictly positive V independent of X_q such that X_p equals V X_q in distribution if and only if p ≤ q, with the law of V unique. For p < q an explicit construction is given via size-biasing of W_0 = S_α^{-b} (α = p/q, S_α positive α-stable) to obtain V_{p,q} = 2^{a-b} W; for p > q the Mellin quotient, continued to the imaginary line, is shown unbounded by Stirling and hence cannot be a characteristic function. The factors satisfy the multiplicative cocycle V_{p,r} =^d V_{p,q} V_{q,r} (independent copies) for p ≤ q ≤ r, realizing the Mellin quotient of Dytso et al. constructively and establishing positive-definiteness exactly on p ≤ q.
Significance. If the derivations hold, the result supplies a complete classification of the positive scale-mixture order on generalized Gaussians, with an explicit stable size-biasing construction that realizes the Mellin quotient as a genuine characteristic function precisely when p ≤ q. The cocycle property and recovery of the Gaussian-base and bounded-parameter product cases as special instances of a single framework are notable strengths; uniqueness follows immediately from uniqueness of characteristic functions once the Mellin transform matches.
minor comments (3)
- Abstract: the phrase 'the W_0-size-biased version of W_0' is standard but would be clearer if the explicit Radon-Nikodym factor (or the resulting density of W) were recalled in one sentence.
- The normalization constant implicit in the density of X_r is omitted throughout; while conventional, a single sentence recalling that the constant is (r/2)^{1/r} / (2 Γ(1/r)) would aid readers outside the immediate area.
- The statement that 'the inverse Fourier-Mellin candidate density ... is a genuine nonnegative probability density' for p < q would benefit from an explicit reference to the inversion formula used (e.g., the Bromwich contour or Fourier inversion on the log scale).
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the positive assessment. We are pleased that the referee finds the classification of the positive scale-mixture order, the explicit stable size-biasing construction, the cocycle property, and the recovery of prior special cases to be strengths of the work. The recommendation to accept is appreciated.
Circularity Check
No significant circularity; derivation self-contained
full rationale
The paper's central result is an if-and-only-if characterization proved in two directions. For p < q the forward direction is established by an explicit construction: V is obtained from the size-bias of a power of an α-stable random variable whose Laplace transform is the standard one-parameter family; the resulting Mellin transform is then verified by direct computation to equal the Gamma-function ratio of moments of the generalized Gaussians. For p > q the converse is ruled out by applying the classical vertical-strip Stirling asymptotics to show that the same Gamma ratio, continued to the imaginary line, is unbounded and therefore cannot be a characteristic function. Both steps rely on externally known analytic facts (stable-law Laplace transforms, Stirling's formula, uniqueness of characteristic functions) rather than on any fitted parameter, self-referential definition, or load-bearing self-citation. The cocycle property and positive-definiteness statements are immediate consequences of the same explicit construction. No step reduces the claimed theorem to a tautology or to a renaming of its own inputs.
Axiom & Free-Parameter Ledger
axioms (3)
- standard math Positive α-stable random variables exist with the stated Laplace transform E[exp(-u S_α)] = exp(-u^α)
- standard math Size-biasing preserves the required positivity and independence properties
- standard math Stirling's formula gives the asymptotic growth of the Mellin quotient
Reference graph
Works this paper leans on
-
[1]
From time series to superstatistics https://doi.org/10.1103/PhysRevE.72.056133
Beck, C., Cohen, E.G.D., Swinney, H.L., 2005. From time series to superstatistics https://doi.org/10.1103/PhysRevE.72.056133. Physical Review E 72, 056133. doi:10.1103/PhysRevE.72.056133
-
[2]
Bondesson, L., 1992. Generalized Gamma Convolutions and Related Classes of Distributions and Densities https://doi.org/10.1007/978-1-4612-2948-3. Lecture Notes in Statistics, vol. 76. Springer, New York
-
[3]
Journal of the American Statistical Association , volume =
Chambers, J.M., Mallows, C.L., Stuck, B.W., 1976. A method for simulating stable random variables https://doi.org/10.1080/01621459.1976.10480344. Journal of the American Statistical Association 71, 340--344
-
[4]
Dytso, A., Bustin, R., Poor, H.V., Shamai, S., 2018. Analytical properties of generalized Gaussian distributions https://doi.org/10.1186/s40488-018-0088-5. Journal of Statistical Distributions and Applications 5, Article 6. doi:10.1186/s40488-018-0088-5
-
[5]
https://www.wiley.com/en-gb/An
Feller, W., 1971. https://www.wiley.com/en-gb/An
1971
-
[6]
G\' o mez-S\' a nchez-Manzano, E., G\' o mez-Villegas, M.A., Mar\' i n, J.M., 2008. Multivariate exponential power distributions as mixtures of normal distributions with Bayesian applications https://doi.org/10.1080/03610920701762754. Communications in Statistics -- Theory and Methods 37, 972--985. doi:10.1080/03610920701762754
-
[7]
Kanter, M., 1975. Stable densities under change of scale and total variation inequalities https://doi.org/10.1214/aop/1176996309. Annals of Probability 3, 697--707
-
[8]
Korolev, V., 2020. Some properties of univariate and multivariate exponential power distributions and related topics https://doi.org/10.3390/math8111918. Mathematics 8, 1918. doi:10.3390/math8111918
-
[9]
Characteristic Functions, 2nd ed
Lukacs, E., 1970. Characteristic Functions, 2nd ed. https://books.google.com/books?id=uGEPAQAAMAAJ Griffin, London
1970
-
[10]
Recent developments on the moment problem https://doi.org/10.1186/s40488-017-0059-2
Lin, G.D., 2017. Recent developments on the moment problem https://doi.org/10.1186/s40488-017-0059-2. Journal of Statistical Distributions and Applications 4, Article 5. doi:10.1186/s40488-017-0059-2
-
[11]
Mac\^ e do, A.M.S., Gonzales, I.R.R., Salazar, D.S.P., Vasconcelos, G.L., 2017. Universality classes of fluctuation dynamics in hierarchical complex systems https://doi.org/10.1103/PhysRevE.95.032315. Physical Review E 95, 032315. doi:10.1103/PhysRevE.95.032315
-
[12]
A generalized normal distribution https://doi.org/10.1080/02664760500079464
Nadarajah, S., 2005. A generalized normal distribution https://doi.org/10.1080/02664760500079464. Journal of Applied Statistics 32, 685--694
-
[13]
Nolan, J.P., 2020. Univariate Stable Distributions: Models for Heavy Tailed Data https://doi.org/10.1007/978-3-030-52915-4. Springer, Cham
-
[14]
Salazar, D.S.P., Vasconcelos, G.L., 2010. Stochastic dynamical model of intermittency in fully developed turbulence https://doi.org/10.1103/PhysRevE.82.047301. Physical Review E 82, 047301. doi:10.1103/PhysRevE.82.047301
-
[15]
Schilling, R.L., Song, R., Vondra c ek, Z., 2012. Bernstein Functions: Theory and Applications, 2nd ed. https://doi.org/10.1515/9783110269338 De Gruyter, Berlin
-
[16]
Krein condition in probabilistic moment problems https://doi.org/10.2307/3318763
Stoyanov, J., 2000. Krein condition in probabilistic moment problems https://doi.org/10.2307/3318763. Bernoulli 6, 939--949. doi:10.2307/3318763
-
[17]
On the law of frequency of error https://eudml.org/doc/64424
Subbotin, M.T., 1923. On the law of frequency of error https://eudml.org/doc/64424. Matematicheskii Sbornik 31, 296--301
1923
-
[18]
On scale mixtures of normal distributions https://doi.org/10.1093/biomet/74.3.646
West, M., 1987. On scale mixtures of normal distributions https://doi.org/10.1093/biomet/74.3.646. Biometrika 74, 646--648. doi:10.1093/biomet/74.3.646
-
[19]
One-Dimensional Stable Distributions https://bookstore.ams.org/mmono-65/
Zolotarev, V.M., 1986. One-Dimensional Stable Distributions https://bookstore.ams.org/mmono-65/. American Mathematical Society, Providence, RI
1986
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.