Organizations: Axiom Research Group · Dept. of Applied Mathematics and Computational Science, NM-AIST, Arusha, Tanzania · AIMS Research and Innovation Centre, Kigali, Rwanda
Kolmogorov-Arnold Networks (KAN) employ B-spline bases on a fixed grid, providing no intrinsic multi-scale decomposition for non-smooth function approximation. We introduce Fractal Interpolation KAN (FI-KAN), which incorporates learnable fractal interpolation function (FIF) bases from iterated function system (IFS) theory into KAN. Two variants are presented: Pure FI-KAN (Barnsley, 1986) replaces B-splines entirely with FIF bases; Hybrid FI-KAN (Navascues, 2005) retains the B-spline path and adds a learnable fractal correction. The IFS contraction parameters give each edge a differentiable fractal dimension that adapts to target regularity during training. On a Holder regularity benchmark (α∈[0.2,2.0]), Hybrid FI-KAN outperforms KAN at every regularity level (1.3x to 33x). On fractal targets, FI-KAN achieves up to 6.3x MSE reduction over KAN, maintaining 4.7x advantage at 5 dB SNR. On non-smooth PDE solutions (scikit-fem), Hybrid FI-KAN achieves up to 79x improvement on rough-coefficient diffusion and 3.5x on L-shaped domain corner singularities. Pure FI-KAN's complementary behavior, dominating on rough targets while underperforming on smooth ones, provides controlled evidence that basis geometry must match target regularity. A fractal dimension regularizer provides interpretable complexity control whose learned values recover the true fractal dimension of each target. These results establish regularity-matched basis design as a principled strategy for neural function approximation.
Figures & tables
Figure 2: FI-KAN: learning basis geometry across the smooth-to-rough spectrum. Top row: FI-KAN combines smooth basis functions (B-spline/hat-type), fractal interpolation with learnable contraction parameters d , and the KAN edge-function graph to produce regularity-matched edge geometry. Middle row: Smooth-to-fractal basis morphing as di increases from 0 to 0.9 . At di=0 the basis is a smooth hat function ( dimB=1 ); as di increases, the basis acquires progressively finer self-affine structure with dimB>1 . Bottom row: The two FI-KAN variants. Pure FI-KAN (Barnsley framework) uses all-fractal bases, strongest on rough targets. Hybrid FI-KAN (Navascués framework) retains a spline backbone and adds a fractal correction, providing robustness across both smooth and rough regimes.
Figure 3: Edge function architecture for the three models. (a) KAN : base activation plus B-spline path. (b) Pure FI-KAN (Barnsley): replaces B-splines with fractal interpolation bases φm(x;d) . When d=0 , the FIF bases reduce to piecewise linear hat functions. (c) Hybrid FI-KAN (Navascués): retains the B-spline path and adds a fractal correction, implementing the α -fractal decomposition fbα=b+h . When d=0 and fractal weights vanish, Hybrid reduces to standard KAN.
Figure 4: Fractal basis function φ2(x;d) (the middle basis on a 5-interval grid) as the contraction parameters di vary uniformly from 0 to 0.9. At di=0 , the basis is the standard piecewise linear hat function ( dimB=1 ). As di increases, the basis acquires increasingly fine-scale fractal structure ( dimB>1 ) while maintaining the Kronecker property φ2(xj)=δ2j at all grid points (black dots). Recursion depth K=8 .
Figure 5: Pure FI-KAN (Barnsley framework) architecture detail. (a) Network graph: all edges carry fractal interpolation function (FIF) bases φm(x;d) with learnable contraction parameters; nodes perform summation. (b) Edge activation: the input x splits into a base SiLU path and a fractal path ∑wmfracφm(x;d) , where d∈(−1,1)N controls the fractal character of the basis. When d=0 , the FIF bases reduce to piecewise linear hat functions (order-1 KAN). (c) Fractal basis φ2(x;d) at four contraction values di∈{0,0.3,0.6,0.9} , computed via K=10 truncated Read–Bajraktarević iterations. The Kronecker property φ2(xj)=δ2j is preserved at all d values (dots). (d) Box-counting dimension dimB(d) as a function of uniform di , with the transition surface ∑∣di∣=1 marked. (e) Fractal dimension regularizer R(d)=(dimB(d)−1)2 : a geometry-aware Occam’s razor that penalizes unnecessary fractal complexity.
Figure 6: Hybrid FI-KAN (Navascués framework) architecture detail. (a) Network graph: edges carry dual paths—solid blue for the B-spline path b (classical approximant) and dashed coral for the fractal correction h —implementing the α -fractal decomposition fbα=b+h . (b) Edge activation: the input splits into three paths (base SiLU, B-spline, FIF), combined into the α -fractal output fbα=b+h . When d=0 and wfrac=0 , the architecture reduces exactly to standard KAN. Initialization sets wfrac=0 and draw∼N(0,0.01) , so the network starts as a KAN and develops fractal structure only where the data demands it. (c) α -fractal decomposition showing the B-spline basis b (blue), hybrid outputs b+h at increasing di , and the isolated fractal correction h (dashed). (d) Recovery property: ∥d∥→0 implies fbα→b (KAN recovery). (e) Fractal energy ratio ρ=∥wfrac∥1/∥wspl∥1 across target Hölder exponents: fractal path is active ( ρ≫0 ) on rough targets and dormant ( ρ≈0 ) on smooth targets.
Pure FI-KAN experiment
Hybrid FI-KAN experiment
Target
dimB
MLP
KAN
Pure
MLP
KAN
Hybrid
polynomial
1.00
1.42e-2
2.97e-3
3.20e-1
1.44e-2
2.97e-3
1.3e-5
exp_sin
1.00
2.18e-1
3.32e-4
4.41e-1
1.68e-1
3.32e-4
7.0e-6
chirp
1.00
4.51e-1
2.95e-1
3.34e-1
4.51e-1
2.95e-1
1.57e-1
weierstrass std
1.64
2.20e-1
1.23e-1
1.01e-1
2.20e-1
1.23e-1
4.38e-2
weierstrass rough
1.68
4.48e-1
1.98e-1
2.15e-1
4.48e-1
1.98e-1
9.31e-2
Table 1: 1D regression benchmark (test MSE, mean ± std over 5 seeds, grid size G=8 ). Pure FI-KAN parameters: MLP=487, KAN=416, FI-KAN=488. Hybrid FI-KAN parameters: MLP=841, KAN=416, FI-KAN=840. Best result per target shown in bold .
Figure 7: Hybrid FI-KAN vs. KAN on four representative targets spanning the regularity spectrum. Top row: target function (gray), KAN fit (blue dashed), and Hybrid FI-KAN fit (red) with final test MSE. Bottom row: training curves (test MSE vs. epoch, log scale) with improvement ratios. On smooth targets (polynomial, exp_sin), Hybrid FI-KAN converges to orders-of-magnitude lower MSE. On fractal targets (Weierstrass, sawtooth), the fractal correction path captures multi-scale structure that B-splines miss entirely.
α
MLP
KAN
Hybrid FI-KAN
Improvement over KAN
0.2
7.42e-1
3.99e-1
3.02e-1
1.3×
0.4
4.59e-1
1.69e-1
6.77e-2
2.5×
0.6
2.94e-1
7.36e-2
1.20e-2
6.1×
0.8
1.94e-1
3.14e-2
2.34e-3
13.4×
1.0
1.34e-1
1.32e-2
6.30e-4
21.0×
1.5
6.99e-2
1.58e-3
4.8e-5
32.9×
Table 2: Hölder regularity sweep (test MSE, Hybrid FI-KAN experiment). Hybrid FI-KAN wins at every regularity level.
Figure 8: Hölder regularity sweep: test MSE as a function of Hölder exponent α for fα(x)=∣x∣α . Hybrid FI-KAN achieves the lowest MSE at every regularity level, with improvement factors over KAN increasing from 1.3× ( α=0.2 ) to 33× ( α=1.5 ). The three curves are clearly separated across the entire spectrum, with the C1 boundary ( α=1 ) marked. Shaded regions show ±1 std over 5 seeds.
Target
KAN (864p)
Hybrid FI-KAN (840p)
Ratio
Winner
polynomial
1.58e-4
1.2e-5
13.2×
FI-KAN
exp_sin
4.0e-6
6.0e-6
0.7×
KAN
weierstrass std
4.58e-2
4.24e-2
1.1×
FI-KAN
sawtooth
4.46e-3
1.81e-3
2.5×
FI-KAN
Table 3: Parameter-matched comparison (Hybrid FI-KAN: 840 params vs. KAN: 864 params). FI-KAN wins 3 of 4 targets; the one KAN win (exp_sin) is nearly tied.
Table 4: Scaling laws: MSE vs. parameter count at varying grid sizes (Hybrid FI-KAN). Exponent γ fitted via log-log regression.
Figure 9: Scaling laws (Hybrid FI-KAN): test RMSE vs. parameter count across three targets spanning the regularity spectrum. Left (exp_sin, smooth): FI-KAN achieves low error from the smallest grid size, saturating early while KAN continues improving with more parameters. Center (Weierstrass, rough): FI-KAN achieves lower RMSE than KAN at all model sizes, with both showing positive scaling. Right (sawtooth, fractal): MLP completely stagnates. FI-KAN maintains a consistent advantage over KAN at every model size. Scaling exponents fitted over the full grid range G∈{3,5,8,12,16,20} are reported in Table 4 . Shaded regions show ±1 std over 5 seeds.
Weierstrass ( dimB≈1.64 )
Sawtooth ( dimB=1.5 )
SNR (dB)
KAN
Hybrid FI-KAN
KAN
Hybrid FI-KAN
100.0
1.567e-1
4.52e-2
1.139e-2
1.87e-3
40.0
1.568e-1
4.62e-2
1.140e-2
1.85e-3
30.0
1.569e-1
4.62e-2
1.141e-2
1.84e-3
20.0
1.573e-1
4.74e-2
1.144e-2
1.92e-3
10.0
1.579e-1
5.17e-2
1.155e-2
2.13e-3
Table 5: Noise robustness (test MSE on clean data after training with noisy targets). Both FI-KAN variants outperform KAN across all noise levels on fractal targets.
Figure 10: Noise robustness on fractal targets (Hybrid FI-KAN). Models trained with noisy data, evaluated on clean test data. Left (Weierstrass): FI-KAN maintains a ∼3.5× advantage across all SNR levels, with the gap narrowing gracefully under heavy noise. Right (sawtooth): up to 6.1× advantage at clean SNR, degrading gracefully to 4.7× at extreme noise ( 5 dB). Shaded regions show ±1 std over 5 seeds.
Model
Final MSE
Std
Relative to KAN
MLP
1.294
0.008
1.04× worse
KAN
1.248
0.022
(baseline)
Pure FI-KAN
1.158
0.051
1.1× better
Hybrid FI-KAN
1.376
0.035
1.1× worse
Table 6: Continual learning: final MSE after sequential training on multiple tasks.
Figure 11: Continual learning across 5 sequential tasks (Hybrid FI-KAN). Each column shows one training phase; each row shows a different architecture’s output. Top (Data): the current task’s target function (black) with all tasks shown in gray. MLP: catastrophic forgetting collapses the output to a near-constant function. KAN: retains some structure but progressively distorts earlier tasks. FI-KAN: retains peaked structure across phases, with the fractal and spline paths providing implicit modularity. Quantitative MSE for the task sequence including the corrected Takagi–Landsberg target is reported in Table 6 .
Polynomial ( dimB=1 )
Weierstrass ( dimB≈1.64 )
λfrac
Test MSE
Learned dimB
Test MSE
Learned dimB
0
3.74e-1
1.302
9.68e-2
1.150
10−4
3.69e-1
1.299
9.63e-2
1.146
10−3
3.41e-1
1.294
9.15e-2
1.137
10−2
1.23e-1
1.231
7.28e-2
1.053
10−1
9.27e-3
1.001
6.09e-2
1.008
Table 7: Regularization sweep (Pure FI-KAN). The regularizer drives the learned fractal dimension toward 1.0 and significantly improves performance on the smooth target.
Figure 12: Regularization sweep (Hybrid FI-KAN) on polynomial (left) and Weierstrass (right) targets. Left (polynomial): test MSE is nearly flat across λfrac , confirming that the spline path already handles smooth targets effectively; the fractal regularizer has little to correct. Right (Weierstrass): stronger regularization ( λfrac≥10−2 ) reduces MSE by ∼20% , suppressing unnecessary fractal complexity while preserving beneficial multi-scale structure. Shaded regions show ±1 std. The Hybrid variant is robust to regularization weight choice, in contrast to the Pure variant’s sensitivity ( Table 7 ).
Depth K
Test MSE
Std
Wall time (s)
1
3.39e-2
8.35e-4
5.8
2
2.72e-2
8.33e-4
7.1
4
3.03e-2
7.95e-4
9.6
6
4.11e-2
1.45e-3
12.0
8
5.43e-2
3.63e-3
14.4
10
6.26e-2
3.87e-3
16.9
Table 8: Fractal depth analysis (Hybrid FI-KAN, Weierstrass target). K=2 is optimal; deeper recursion degrades performance and increases training time.
Figure 13: Impact of fractal recursion depth K on Hybrid FI-KAN performance (Weierstrass target). Red (left axis): test MSE (log scale) with ±1 std error bars. Blue dashed (right axis): average training time. K=2 achieves optimal MSE at minimal computational cost. Deeper recursion ( K>4 ) monotonically degrades performance while linearly increasing training time, reflecting the optimization difficulty of propagating gradients through multiple sequential multiplicative steps.
Target
MLP
KAN
Pure FI-KAN
Hybrid FI-KAN
Ackley 2D
4.27e-1
2.56e-2
6.03e-2
1.75e-3
Weierstrass 2D
4.32e-1
1.87e-1
1.25e-1
8.95e-2
Table 9: 2D function regression (test MSE, mean ± std over 5 seeds).
Figure 14: 2D function regression (Hybrid FI-KAN). Top row (Ackley): KAN smooths out the multi-modal structure near the origin (MSE 0.0204), while FI-KAN recovers the peaked landscape (MSE 0.0016), a 12.8× improvement. Bottom row (2D Weierstrass): KAN captures only coarse structure (MSE 0.1577), while FI-KAN resolves finer oscillatory detail (MSE 0.0826), a 1.9× improvement. Left column: target surface. Center: KAN prediction. Right: Hybrid FI-KAN prediction.
Table 10: Non-smooth PDE solutions (test MSE, mean ± std over 5 seeds). Reference solutions computed via scikit-fem and exact spectral methods. Hybrid FI-KAN wins all 12 experiments. The rough-coefficient diffusion results ( 65 – 79× ) are the strongest in the paper.
Figure 15: L-shaped domain benchmark ( −Δu=1 , Hölder 2/3 corner singularity). Left: FEM reference solution computed via scikit-fem (P1 elements, 6144 elements); the singularity at the re-entrant corner is visible as the peaked region near the origin. Center: Test MSE comparison (log scale, ±1 std over 5 seeds). Hybrid FI-KAN achieves 3.5× lower MSE than KAN. Right: Training curves showing Hybrid FI-KAN converging to ∼10−3 MSE while KAN plateaus near 3×10−3 .
Target
True α
Pure dimB
Hybrid dimB
smooth ( α=2.0 )
2.0
1.128±0.012
1.000±0.000
C1 ( α=1.0 )
1.0
1.157±0.012
1.034±0.007
Hölder 0.6
0.6
1.194±0.014
1.119±0.007
Hölder 0.3
0.3
1.190±0.026
1.152±0.018
Weierstrass
0.64
1.144±0.008
1.149±0.004
Table 11: Learned fractal dimension (mean ± std over 5 seeds) for targets of varying regularity. The Hybrid variant produces sharper estimates, with smooth targets yielding dimB≈1 and rough targets yielding dimB>1.1 .
Figure 16: Learned fractal dimension vs. true Hölder exponent (Hybrid FI-KAN). The learned dimB correlates monotonically with target regularity: smooth targets ( α=2.0 ) yield dimB=1.0 exactly (fractal path inactive), while rough targets ( α=0.3 , Weierstrass) yield dimB>1.1 (fractal path active). The dotted line at dimB=1 marks the smooth baseline. This monotonic correlation makes the learned fractal dimension a useful, interpretable proxy for target regularity.
Figure 17: Fractal parameter evolution during training (Pure FI-KAN). Top row: individual di trajectories for layer 0 across three targets. Bottom row: mean dimB over training. Left (polynomial): the contraction parameters grow steadily, pushing dimB above 1.2; this is the smooth-target overfitting pathology predicted by Corollary 4.8 . Center (Weierstrass): dimB stays near 1.0 throughout, indicating the regularizer successfully constrains fractal complexity. Right (sawtooth): dimB spikes to ∼1.05 in early training (exploration phase) then settles back, suggesting an explore-then-consolidate dynamic where the network first probes fractal structure and then retains only what reduces the loss.
Appendix figures & tables10 assets
Supplementary material from the paper’s appendix.
Appendix
Mean MSE
Params
Target
MLP
KAN
Hybrid
MLP
KAN
Hybrid
J0 Bessel
8.62e-2
1.54e-4
2.18e-4
424
208
424
exsin(y)+y2
7.79e-1
4.32e-2
6.16e-2
609
312
608
x⋅y
4.6e-5
8.3e-5
8.2e-5
609
312
608
10D sum
4.57e-3
1.21e-2
4.03e-4
1081
572
1080
4D composite
2.50
1.38
4.27
639
338
652
Appendix
Table 12: KAN paper toy functions [ 27 ] . These are smooth, low-dimensional targets where B-spline KAN is near-optimal. Hybrid FI-KAN wins 1 of 5; Pure FI-KAN wins 0 of 5. This is consistent with the theoretical analysis: fractal bases provide no advantage on smooth analytic targets.
Target
MLP
KAN
Pure FI-KAN
J0 Bessel
8.62e-2
1.54e-4
7.30e-3
exsin(y)+y2
7.93e-1
4.32e-2
1.98
x⋅y
6.1e-5
8.3e-5
8.22e-4
10D sum
8.17e-3
1.21e-2
3.05e-1
4D composite
2.75
1.38
9.59
Appendix
Table 13: KAN paper toy functions (Pure FI-KAN).
Figure 18: KAN paper toy functions (Hybrid FI-KAN). Bar chart comparison of test MSE across five canonical smooth targets. KAN wins on 3 of 5 targets where B-splines are near-optimal. The one Hybrid FI-KAN win (10D sum, ∼30× improvement) suggests that the fractal correction provides additional representational diversity that benefits higher-dimensional targets even when the underlying function is smooth.
Equation
MLP
KAN
Hybrid FI-KAN
Best
I.6.2 Gaussian
6.46e-1
1.32e-2
9.77e-3
FI-KAN
I.12.11 Lorentz
9.40e-4
2.15e-2
4.53e-2
MLP
I.16.6 Relativity
8.27e-2
7.35e-3
1.97e-3
FI-KAN
I.29.16 Distance
2.00e-2
2.15e-3
2.92e-3
KAN
I.30.3 Diffraction
2.10e-1
1.07e-1
5.45e-2
FI-KAN
I.50.26 Cosine
7.33e-2
1.12e-2
1.33e-2
KAN
Appendix
Table 14: Feynman physics equations (Hybrid FI-KAN). FI-KAN wins 3 of 7 on these smooth physics targets.
Figure 19: Feynman physics equations (Hybrid FI-KAN). Bar chart comparison across seven analytic physics targets. KAN wins 4 of 7, consistent with the expectation that B-splines are well-adapted to analytic targets. The FI-KAN wins (Gaussian, relativity, diffraction) occur on functions with sharp transitions or oscillatory structure that benefit from multi-scale representation.
Figure 20: Scaling laws (Pure FI-KAN): test RMSE vs. parameter count. Left (exp_sin): Pure FI-KAN exhibits a negative scaling exponent: test error increases with model size. This is the pathological behavior predicted by Corollary 4.8 : additional grid points introduce more oscillatory fractal basis functions, making the cancellation required for smooth approximation increasingly fragile. Center (Weierstrass): mild negative scaling. Right (sawtooth): negative scaling at large grid sizes, extending the smooth-approximation obstruction to fractal targets when too many uncontrolled fractal bases are introduced without the spline backbone. At small-to-moderate grid sizes, positive scaling is observed before the pathology sets in.
Figure 21: Pure FI-KAN vs. KAN on four representative targets. Top row: function fits. Bottom row: training curves with improvement ratios. The pattern is complementary to Hybrid FI-KAN ( Fig. 7 ): Pure FI-KAN loses badly on smooth targets (ratio 0.0x on polynomial, exp_sin) but wins on the sawtooth (ratio 2.3x). This asymmetry is the strongest controlled evidence for the regularity-matching hypothesis.
Figure 22: Noise robustness (Pure FI-KAN). The Pure variant also outperforms KAN on fractal targets under noise, though with smaller margins than the Hybrid. Left (Weierstrass): ∼1.5× advantage. Right (sawtooth): up to 2.2× advantage at clean SNR.
Figure 23: Learned fractal dimension vs. true Hölder exponent (Pure FI-KAN). The monotonic correlation is present but weaker than the Hybrid variant ( Fig. 16 ): smooth targets receive dimB≈1.13 rather than 1.0, because the Pure variant is forced to use some fractal structure even when inappropriate. This systematic overestimation further confirms that fractal-only bases are suboptimal for smooth targets.
Figure 24: 2D function regression (Pure FI-KAN). Pure FI-KAN loses on Ackley (smooth outside origin) but captures more fine-scale structure on the 2D Weierstrass target than KAN (MSE 0.1251 vs. 0.1871), consistent with the regularity-matching thesis.
Department of Applied Sciences, Tezpur University, Napaam, Tezpur, 784028, Assam, India. · Department of ICT, Pandit Deendayal Energy University, Raysan, Gandhinagar, 382007, Gujarat, India.