Measure-theoretic status of the density functional

Determine whether the density functional μ on subsets of the graded polynomial space R_hom, defined by limits of degree-wise proportions, is a true probability measure on an appropriate σ-algebra.

Background

The paper defines the density of a subset of the union R_hom of homogeneous polynomial spaces by taking the limit of its proportions in degree d. The authors use this density as though it were a probability measure, introducing conditional densities and invoking analogies with independence and conditional probability.

However, the paper explicitly leaves unresolved whether μ is actually a probability measure on a suitable σ-algebra of subsets of R_hom. Establishing such a measure-theoretic foundation would clarify which standard probabilistic operations are formally justified beyond the finite additivity and independence properties proved or cited in the paper.

References

In particular, while it is unclear whether $\mu$ is a true probability measure defined on an appropriate $\sigma$-algebra, it shares enough similar properties that it is convenient to interpret it as one.

— Almost All Transverse-Free Plane Curves Are Trivially Transverse-Free  (2502.00549 - Lopez et al., 1 Feb 2025) in Section 2, “General Methods for Density Computation,” paragraph preceding Corollary 2.?.