LawKAN: Bake the Physics Into the Layer, Learn Only What the Textbook Got Wrong

A 54-parameter layer that hardcodes group composition laws and learns only residual hardware deviations beats dense networks 27× its size on rotation tasks and outperforms Gauss-Newton on real robot arms.

Imagine you're assembling IKEA furniture and you know — provably know — that step 3 is "attach leg B to frame A with four bolts." You wouldn't ask a neural network to figure out what a bolt does from scratch. You'd hand it the Allen wrench and say: here's the manual, learn only where the holes are slightly misaligned. That's LawKAN. It takes a known algebraic composition rule — like how 3D rotations chain together via the SU(2) group law — hardcodes that rule as the core of a network layer, and then wraps it with a learnable correction term (ψ) initialized at zero. The network only needs to discover what the textbook didn't tell you: hardware slop, calibration drift, cable stiffness. The committed claim is specific: if you know the composition law governing your task, you can embed it exactly in a single layer node, give edges only the job of estimating local increments, and add a zero-initialized residual ψ for unknown deviations. This isn't approximate physics-informed regularization — the group law sits in the forward pass verbatim. A pre-training representability criterion tells you before training whether the law actually fits your data, so you know when to trust it and when to bail. On the synthetic benchmark — composing fixed-angle SU(2) rotations — a 54-parameter LawKAN dense-edge variant lands 0.05° above the Bayes floor (the theoretical minimum error given observation noise). It does this with 27× fewer parameters than the strongest fixed-matrix baseline. The comparison is clean: same data, same noise model, same evaluation protocol. When the imposed law is correct, the method dominates. When it's wrong, the paper says so plainly — "the recipe matches classical fits where the data obey the law and loses where the imposed law is not the task's." That admission is rare and valuable. The real-robot experiments are where the method earns its keep. An isolated 306-parameter ψ module reaches 1.12–1.14 mm positional accuracy versus 1.29–1.33 mm for Gauss-Newton iterative refinement, once you have N ≥ 60 calibration samples. The recipe transfers across three robot vendors and two communication protocols without retuning the architecture — only the ψ weights change. This is exactly the kind of portability claim that matters for industrial deployment. Architecturally, LawKAN lives in the KAN (Kolmogorov-Arnold Network) family, replacing activation functions with learnable edge functions — but the novelty is structural, not just parametric. The node doesn't learn a nonlinearity; it executes an exact group operation. The edges learn local deformations. The ψ correction is additive and zero-initialized, meaning the model starts at the textbook answer and deviates only when the data demand it. This is a clean inductive bias: the network's hypothesis space is centered on the known law rather than on zero. Integrity is solid for a methods paper. The synthetic benchmark has a known Bayes floor, so you can measure absolute performance, not just relative improvement. The robot experiments span three vendors (suggesting the result isn't an artifact of one hardware stack). Code is released. The main weakness is that the real-robot comparisons are against Gauss-Newton, not against other learned calibration methods or larger neural baselines. The paper acknowledges where the method fails (wrong law → worse than classical), which is more honest than most. The forward path is clear: scale to longer kinematic chains and more complex group structures (SE(3), articulated multi-body systems), and test on tasks where the composition law is only approximately correct — soft robots, deformable objects, contact-rich manipulation. The gap between "the law holds" and "the law approximately holds" is where the real engineering value lives, and it's exactly where the ψ correction term should shine or break.