Amalgamated products of groups: Measures of random normal forms

Let G = A *_C B be an amalgamated product of finite rank free groups A, B, and C. We introduce atomic measures and corresponding asymptotic densities on a set of normal forms of elements in G. We also define two strata of normal forms: the first one consists of regular (or stable) normal forms, and the second stratum is formed by singular (or unstable) normal forms. In a series of previous works about classical algorithmic problems, it was shown that standard algorithms work fast on elements of the first stratum and nothing is known about their work on the second stratum. In this paper, we give probabilistic and asymptotic estimates of these strata.