KAN: Kolmogorov–Arnold Networks: A review
Why review this?
On Apr 30, 2024, [5] appears on ArXiV and by May 7th, I have heard about this paper from multiple students, from whom I do not hear about new papers. It must be special, I thought. I decided to take a look.
If I was professionally reviewing this paper, I would accept the paper with major revisions. The paper has enough contributions to deserve a publication. But some of the claims need to be toned down, interpretations need to be clarified and comparisons with spline based neural networks be made.
Outline
I make 4 major critques of the paper

1.
MLPs have learnable activation functions as well

2.
The content of the paper does not justify the name, KolmogorovArnold networks (KANs).

3.
KANs are MLPs with splinebasis as the activation function.

4.
KANs do not beat the curse of dimensionality.
MLPs have learnable activation functions as well
The authors claim in the abstract,
While MLPs have fixed activation functions on nodes (“neurons”), KANs have learnable activation functions on edges (“weights”). KANs have no linear weights at all – every weight parameter is replaced by a univariate function parametrized as a spline.
This is not a helpful description because one can interpret MLPs as having “learnable activation functions” as well; it depends on the definition what you call the “activation function“. Consider a two layer MLP with input $\mathbf{x}\in {\mathbb{R}}^{n}$, weights ${W}_{1}$, ${W}_{2}$ (ignore biases for now) and activation function $\sigma $,
$f(\mathbf{x})$  $={W}_{2}\sigma ({W}_{1}\mathbf{x})={W}_{2}{\varphi}_{1}(\mathbf{x}).$  (1) 
If I define ${\varphi}_{1}(\mathbf{x})=\sigma ({W}_{1}\mathbf{x})$ and call ${\varphi}_{1}(.)$ as the activation function, then I have a learnable activation function in an MLP. Same with Figure 0.1, it is a reinterpretation, not redesign of MLPs as claimed.
What’s in the name
How do KAN’s actually use KolmogorovArnold Theorem (KAT)? The theorem is not actually useful in the development of KANs. KANs are only inspired by KAT not based on it.
So what is KolmogorovArnold Theorem? The paper describes it as the decomposition of any smooth function $f:{[0,1]}^{n}\to \mathbb{R}$ in terms of finite basis function ${\varphi}_{q}^{(2)}:\mathbb{R}\to \mathbb{R}$^{1}^{1} 1 Slight change in notation from the paper and ${\varphi}_{q,p}:[0,1]\to \mathbb{R}$.
$f(\mathbf{x})=f({x}_{1},\mathrm{\dots},{x}_{n})={\displaystyle \sum _{q=1}^{{2}{}{n}{+}{1}}}{\varphi}_{q}^{(2)}\left({\displaystyle \sum _{p=1}^{n}}{\varphi}_{p,q}({x}_{p})\right).$  (2) 
If you plan to use KolmogorovArnold Theorem (KAT), you have understand the central claim of the KAT theorem and how is this theorem different the nearest competitor (Universal Approximation Theorem (UAT) ). Universal approximation theorem states that any function can be approximated by a wide enough 2layer neural network.
$f(\mathbf{x})$  $={\displaystyle \sum _{q=1}^{{\mathrm{\infty}}}}{w}_{q}^{(2)}\sigma \left({\displaystyle \sum _{p=1}^{n}}{w}_{q,p}^{(1)}{x}_{p}\right)$  $\text{where}{W}_{2}={[{w}_{q}^{(2)}]}_{q=1}^{\mathrm{\infty}}\text{and}{W}_{1}={[{[{w}_{q,p}^{(1)}]}_{q=1}^{\mathrm{\infty}}]}_{p=1}^{n}$  (3) 
I wrote the MLP in terms of summation instead of matrix multiplication to draw parallels between UAT and KAT. There are two main differences between UAT and KAT,

1.
UAT deals with linear layers with common activation function (like sigmoid [3], ReLU, tanh) while KAT deals with arbitrary functions, possibly “nonsmooth and even fractal”.

2.
UAT needs possibly infinite hidden units for exact approximation while KAT only needs $2n+1$ “hidden units”.
I would claim that central point of KAT is about needing only $2n+1$ hidden units, otherwise it is a weaker theorem than UAT. Does the KAN paper make use of the $2n+1$ hidden units consistently? No. But they justify rest of the paper to be based on KAT by saying,
However, we are more optimistic about the usefulness of the KolmogorovArnold theorem for machine learning. First of all, we need not stick to the original Eq. (2.1) which has only twolayer non linearities and a small number of terms (2n + 1) in the hidden layer: we will generalize the network to arbitrary widths and depths.
Okay. But aren’t we back to Universal approximation theorem then?
There is one aspect of KAT that the authors highlight, “In a sense, they showed that the only true multivariate function is addition, since every other function can be written using univariate functions and sum.” This is a cool interpretation, but this interpretation does not separate KAT from UAT that is already being used in MLPs.
KANs are MLPs with splinebased activation functions
In practice, the authors end up proposing a KAN residual layer whose each scalar function is written as,
$\varphi (x)$  $=w(\text{silu}(x)+\text{spline}(x))$  (4)  
$\text{spline}(x)$  $={\displaystyle \sum _{i=1}^{G}}{c}_{i}{B}_{i}(x).$  (5) 
What are splines?^{2}^{2} 2 https://personal.math.vt.edu/embree/math5466/lecture10.pdf For the purpose of this section you do not need to know splines. By the way there exists a history of splines in neural networks which is not cited in this paper [2, 1]. For now, assume splines are functions that are a result of a linear combination ${c}_{i}{B}_{i}(x)$ of a particular kind basis functions ${B}_{i}(x)$ (Bform splines). To reinterpret this scalar function as a MLP, let’s rewrite this as,
$\varphi (x)$  $={\displaystyle \sum _{i=1}^{k}}{c}_{i}{B}_{i}(x)+\text{selu}(x)$  (6)  
$=\underset{{\mathbf{w}}^{\top}}{\underset{\u23df}{\left[\begin{array}{ccccc}\hfill w{c}_{1}\hfill & \hfill w{c}_{2}\hfill & \hfill \mathrm{\dots}\hfill & \hfill w{c}_{k}\hfill & \hfill w\hfill \end{array}\right]}}\underset{\mathbf{b}(x)}{\underset{\u23df}{\left[\begin{array}{c}\hfill {B}_{1}(x)\hfill \\ \hfill {B}_{2}(x)\hfill \\ \hfill \mathrm{\vdots}\hfill \\ \hfill {B}_{G}(x)\hfill \\ \hfill \text{selu}(x)\hfill \end{array}\right]}}$  (13)  
$={\mathbf{w}}^{\top}\mathbf{b}(x).$  (14) 
Here $\mathbf{w}$ contains the learnable parameters of the splines and $\mathbf{b}(x)$ is deterministic once the spline grid is fixed though it can be made learnable. Let’s put this back into (2),
$f(\mathbf{x})=f({x}_{1},\mathrm{\dots},{x}_{n})$  $={\displaystyle \sum _{q=1}^{2n+1}}{\varphi}_{q}^{(2)}\left({\displaystyle \sum _{p=1}^{n}}{\varphi}_{p,q}^{(1)}({x}_{p})\right)$  (15)  
$={\displaystyle \sum _{q=1}^{2n+1}}{\mathbf{w}}_{q}^{(2)\top}\mathbf{b}\left({\displaystyle \sum _{p=1}^{n}}{\mathbf{w}}_{p,q}^{(1)\top}\mathbf{b}({x}_{p})\right).$  (16) 
This is very close to an MLP if we consider $\mathbf{w}$s linear weights and the basis functions as activation functions, with the following differences,

1.
The activation function $\mathbf{b}()$ is applied on the input side which is typically not a part of MLPs. However, it has been common to convert input into a set of feature vectors as a preprocessing step rather than providing MLPs the raw input.

2.
Unlike ${w}_{p,q}^{(1)}$ being scalar in (3), ${\mathbf{w}}_{p,q}^{(1)}$ is a vector in (16). This is not a problem because it is still a linear combination of processed input values through a basis function $\mathbf{b}(x)$. To make this explicit, we write (16) as a matrix vector multiplication followed by activation functions.
To write (16) as a matrix vector product, consider only the first layer term ,
$\sum _{p=1}^{n}}{\mathbf{w}}_{p,q}^{(1)\top}\mathbf{b}({x}_{p})=\underset{{\mathbf{W}}^{(1)}}{\underset{\u23df}{{\left[\begin{array}{ccc}\hfill {\mathbf{w}}_{1,1}^{(1)\top}\hfill & \hfill \mathrm{\dots}\hfill & \hfill {\mathbf{w}}_{1,n}^{(1)\top}\hfill \\ \hfill {\mathbf{w}}_{2,1}^{(1)\top}\hfill & \hfill \mathrm{\dots}\hfill & \hfill {\mathbf{w}}_{2,n}^{(1)\top}\hfill \\ \hfill \mathrm{\vdots}\hfill & \hfill \mathrm{\ddots}\hfill & \hfill \mathrm{\vdots}\hfill \\ \hfill {\mathbf{w}}_{2n+1,1}^{(1)\top}\hfill & \hfill \mathrm{\dots}\hfill & \hfill {\mathbf{w}}_{2n+1,n}^{(1)\top}\hfill \end{array}\right]}_{(2n+1)\times nG}}}\underset{\mathbf{B}(\mathbf{x})}{\underset{\u23df}{{\left[\begin{array}{c}\hfill \mathbf{b}({x}_{1})\hfill \\ \hfill \mathrm{\vdots}\hfill \\ \hfill \mathbf{b}({x}_{n})\hfill \end{array}\right]}_{nG\times 1}}}.$  (24) 
You can apply this interpretation repeatedly,
$f(\mathbf{x})={\mathbf{W}}^{(2)}\mathbf{B}\left({\mathbf{W}}^{(1)}\mathbf{B}(\mathbf{x})\right),$  (25) 
where $\mathbf{x}\in {\mathbb{R}}^{n},\mathbf{B}:{\mathbb{R}}^{n}\to {\mathbb{R}}^{nG},{\mathbf{W}}^{(1)}\in {\mathbb{R}}^{(2n+1)\times nG},{\mathbf{W}}^{(2)}\in {\mathbb{R}}^{1\times (2n+1)G}$.
Here $\mathbf{B}(\mathbf{x})$ is unlike other activation functions. Instead of producing a scalar from a scalar, it produces $G$ different values for each scalar value in the input.
The claim that KANs beat the curse of dimensionality is wrong
The authors claim that,
KANs with finite grid size can approximate the function well with a residue rate independent of the dimension, hence beating curse of dimensionality!
This is a huge claim and requires huge evidence. As outlined in the previous section, if all KANs can be written as MLPs then either both MLPs and KANs beat the curse of dimensionality or neither does.
My first objection is how ”curse of dimensionality” is interpreted. Typically curse of dimensionality in machine learning is measured by the amount of data needed for training a function to a desired error.
I do not understand the proof of Theorem 2.1, especially the first step. It is not clear from what theorem in [4] the first result follows. If page number or chapter is provided that would be great.
It is also counter intuitive because a singular grid size $G$ is assumed for all the $n$ input dimensions. What would the bound look like if each dimension of $x$ is divided into different grid sizes.
References
 [1] (2020) Deep neural networks with trainable activations and controlled lipschitz constant. IEEE Transactions on Signal Processing 68 (), pp. 4688–4699. External Links: Document Cited by: KANs are MLPs with splinebased activation functions.
 [2] (2020) Learning activation functions in deep (spline) neural networks. IEEE Open Journal of Signal Processing 1 (), pp. 295–309. External Links: Document Cited by: KANs are MLPs with splinebased activation functions.
 [3] (1989) Approximation by superpositions of a sigmoidal function. Mathematics of control, signals and systems 2 (4), pp. 303–314. Cited by: item 1.
 [4] (2001) A practical guide to splines. Applied Mathematical Sciences, Springer New York. External Links: ISBN 9780387953663, LCCN 20049644, Link Cited by: The claim that KANs beat the curse of dimensionality is wrong.
 [5] (2024) KAN: kolmogorovarnold networks. arXiv preprint arXiv:2404.19756. Cited by: Why review this?.