On the Lebesgue measure of one generalised set of subsums of geometric series

In the present paper, we study a set that can be treated as a generalised set of subsums for a geometric series. This object was discovered independently in various mathematical aspects. For instance, it is closely related to various systems of representation of real numbers. The main object of this paper was particularly studied by R. Kenyon, who brought up a question about the Lebesgue measure of the set and conjectured that it is positive. Further, Z. Nitecki confirmed the hypothesis by using nontrivial topological techniques. However, the aforementioned result is quite limited, as this particular case should satisfy a rigid condition of homogeneity. Despite the limited progress, the problem remained understudied in a general framework. The study of topological, metric, and fractal properties of the set of subsums for a numerical series is a separate research direction in mathematics. On the other hand, the topic is related to another modern mathematical problem, namely, deepening of the Jessen-Wintner theorem for infinite Bernoulli convolutions and their generalisations. The essence of the problem is to reveal the necessary and sufficient conditions for the probability distribution of a random subsum of a geometric series to be absolutely continuous or singular. The Jessen-Wintner theorem guarantees that the distribution is pure (pure discrete, pure singular, or pure absolutely continuous).Meanwhile, the Levy theorem gives us the necessary and sufficient condition for the distribution to be discrete.Since the set of subsums for an absolutely convergent series coincides with the set of possible outcomes of the corresponding probability distribution, under certain conditions, it allows us to apply various probability techniques for its further investigation. In particular, some techniques help us to prove that the above sets have a positive Lebesgue measure and allow to deepen the Jessen-Wintner theorem under certain conditions.