Absolutely continuous measures on non quasi-analytic curves with independent powers (Q4517490)

The Carleman class \(C\{M_j\}\) consists of all \(C^\infty\) functions \(f\) on \(R\) satisfying \(|f^{(j)}(x)|\leq \alpha A^j M_j\) for all \(x\) in \(R\), \(j\geq 0\). The main result of the paper is that in case \(C\{M_j\}\) is non-quasi-analytic there is a curve \(\Gamma= (x,f(x))\) with \(f\) in \(C\{M_j\}\) and a compactly supported measure \(\nu\) on \(R^2\), absolutely continuous with respect to arc length on \(\Gamma\), and such that the powers of \(\nu\) are independent and such that \(\nu\) does not belong to any Wiener subalgebra of \(M(R^2)\). This sharpens a result of \textit{J.-E. Björk} [Wiener subalgebras of \(M(R^n)\) generated by smooth measures carried by smooth submanifolds of \(R^n\), Preprint, Stockholm University, 1979], where \(\Gamma\) was only assumed to be \(C^\infty\). The proof uses a result concerning extensions to \(C\{M_j\}\) of maps between Cantor sets.