[Kolmogorov superposition theorem](https://www.google.ca/url?sa=t&rct=j&q=&esrc=s&source=web&cd=2&cad=rja&sqi=2&ved=0CDQQFjAB&url=http://wissrech.ins.uni-bonn.de/research/pub/braun/remonkoe.pdf&ei=tzAhUvu_A-fCsAS78ID4BA&usg=AFQjCNF1XfRRDuAqJ6_7C60ttGO81rmoQw&sig2=SOHrvWHqgaCrAKN1WO3HGg&bvm=bv.51495398,d.cWc) states that a continuous function $f(x\_1,\ldots,x\_n)$ can be written as 


$$f(x\_1,\ldots,x\_n)=\sum\_{q=0}^{2n}\Phi\_q\left(\sum\_{p=1}^{n}\phi\_{q,p}(x\_p)\right)$$


for certain continuous functions $\Phi\_q$ and $\phi\_{q,p}$.


For smooth, $f\in C^{\infty}$, can we obtain such a representation with the $\Phi\_q$ and $\phi\_{q,p}$ smooth too? Moreover, I am particularly interested in the case in which more than smooth, $f$ belongs to some Denjoy-Carleman [quasianalytic class](http://en.wikipedia.org/wiki/Quasi-analytic_function), but the question about smoothness would be a point to start. 


I don't assume independence of $\Phi\_q$ and $\phi\_{q,p}$ of their parameters or of $f$.



Kolmogorov superposition for smooth functions
The answer is no. There exist analytic functions $f$ of 3 variables such that they cannot be represented as a composition of continuously differentiable functions of two variables. This is old result of Vitushkin. You can find nice story of Hilbert's thirteen problem in Vitushkin, A. G. Hilbert's thirteenth problem and related questions. Russian Math. Surveys 59 (2004), no. 1, 11–25).
**Edit:** I mixed two different results of Vitushkin. In 1964 Vitushkin shown that not every analytic function of three variables can be written in the desired form with continuously differentiable functions $\phi\_{p,q}$. That's answer ABC's question. In 1954 Vitushkin proved that not all continuously differentiable functions of three variables can be represented as superposition of continuously differentiable functions of two variables.


