A Variant of the Necessary Condition for the Absolute Continuity of Symmetric Multivariate Mixture

Sufficient conditions are given under which the absolute continuity of the joint distribution of conditionally independent random variables can be violated. It is shown that in the case of a dimension n > 1 this occurs for a sufficiently large number of discontinuity points of one-dimensional conditional distributions.


Introduction
In this note, we study multidimensional mixtures of the form which coincide, due to de Finetti's theorem, with the class of joint distributions of symmetrically dependent (or infinitely permutable) random variables. Such models arise, in particular, in the mathematical theory of financial risks and in the theory of reliability, where they describe the behavior of systems consisting of identical components under the influence of random external conditions. There are many works devoted to the study of conditions under which conditional marginal distributions, or vice versa, the original symmetric law, belong to one or another class of distributions or type. For example, in the works [1,2], the type of dependence between conditionally independent random variables with a distribution function (1) is studied with additional requirements for conditional distribution functions.
In particular, it is mentioned that a sufficient condition for the absolute continuity of the mixture is the absolute continuity of the conditional distribution functions. A similar statement is also found in [3][4][5] for more general mixtures.
As the following simple example shows, this condition is not necessary. In the case of n = 1, even continuity is not required. It suffices to take as µ the Lebesgue measure on This note deals with a variant of the necessary condition for the absolute continuity of the mixture (1), which has not been presented in the literature before. More specifically, if too many univariate conditional distribution functions in the family have discontinuity points, then mixture (1) will not be absolutely continuous.
The result is important for statistical applications to the theory of reliability and finance. The formulation of the theorem is motivated by the following considerations.
Let us consider the system of random variables X 1 , . . . , X n as life lengths of n identical components of a complex system operating in a random environment. Let them be i.i.d. for a given state of the environment. Such a system is considered, for example, in [6]. Suppose additionally that at some random moment in time, depending on the state of the environment, each component of the system is independently affected (or in many cases may be affected) by some destructive effect leading to component failure with probability p ∈ (0, 1). The question arises, in particular, is it possible to use kernel density estimation as a nonparametric estimate of the joint distribution of their life lengths based on observations of the components of such a system? Will it be possible to apply the Rosenblatt transformation (see [7]) to check the goodness-of-fit of the sample with such a distribution? The following theorem answers these questions in the negative.

Theorem 1. Let
the distribution function concentrated on the unit cube, and F(x | r) is the one-dimensional distribution function on [0, 1] for µ-almost all r. Let G be the set of points r, for which the function F r (x) = F(x | r) has a discontinuity. If G is µ-measurable, µ(G) > 0, and there is some µ-measurable function r → x(r), where x(r) any of the discontinuity points of the function F r (x), then F n is not absolutely continuous in the case n > 1.

Proof of Theorem 1. Define the jump function
For an arbitrary arbitrarily small number δ > 0, choose a natural N > δ − 1 n−1 and set ν := 1/N. Let it denote the following (measurable due to the measurability of x(r) and G) subsets of the real line Note that summing the F-volumes of the cubes (x i − ν, x i ] n , we obtain The last integral is strictly positive since g(r) > 0 on G, and µ(G) > 0. Thus, we have a number ε = G g n (r) µ(dr) > 0 such that for any δ > 0 a set of measurable sets is indicated {{0} n , (x i − ν, x i ] n , i = 1, 2, . . . , N} with the total Lebesgue measure Nν n + 0 = N −(n−1) < δ, with the total F-volume which denies the absolute continuity of the function F n .
Great thanks to the reviewers for their helpful comments.