Constructing quasisymmetric functions via graph-directed iterated function systems

Using Tukia's method for representing a quasisymmetric function as a quasisymmetric sieve, we generalize his modification to the Salem scheme and find a sufficient condition for the collection of functions that realize a structure parametrization of a graph-directed function system of a particular form (a one-dimensional multizipper) to consist of quasisymmetric functions. We give an asymptotically sharp estimate for the quasisymmetry coefficient of these functions in terms of the dilation coefficients of the mappings constituting a given multizipper, which yields a substantially more general method for constructing quasisymmetric functions than Tukia's construction.