Skip to content
Preprint

BiKAN: Restoring Collapsed Basis of Binary Kolmogorov--Arnold Networks

Aug 2026 · 0 citations · 18 references
Computer Science

TL;DR

This proposed BiKAN addresses this critical issue by augmenting each binary KAN layer with selected degree-2 Walsh characters, and restores explicit pairwise coordinates without learned routing or multiplier-based feature generation.

Abstract

Binarizing a polynomial Kolmogorov--Arnold Network (KAN) not only changes parameter precision, but also alters the function space available to each layer. When activations are restricted to ${-1,+1}$, all even powers reduce to $1$ and all odd powers reduce to $x$, causing the elementwise polynomial basis to collapse to constant and first-order responses. We refer to this structural failure as Spatial Orthogonality Collapse. Our proposed BiKAN addresses this critical issue by augmenting each binary KAN layer with selected degree-2 Walsh characters. Fixed circular channel rolls generate pairwise parities, and learned binary projections mix them using the same XNOR--popcount operations as the remaining W1A1 paths. This restores explicit pairwise coordinates without learned routing or multiplier-based feature generation. Experiments on CIFAR-10 confirms that removing parity reduces accuracy by $1.23$ points over five paired seeds ($p=0.003$), the gain increases as width decreases, and accuracy improves monotonically as more parity planes are added. At an equal $\sim$11.9M-parameter budget, parity outperforms conventional widening by $3.09$ points ($p<10^{-4}$). At W1A1, BiKAN reaches $99.48\%$, $84.38\%$, and $55.81\%$ on MNIST, CIFAR-10, and CIFAR-100, respectively. Post-route Zynq-7020 FPGA results show that the repair remains hardware-efficient; the convolutional design cuts DSP usage from 164 to 72 and estimated compute-core latency from 401 to 54.8 ms, while the power-of-two-aware dense design achieves zero-DSP inference with a 0.03-point accuracy loss. The BiKAN implementation is available at https://github.com/OSU-STARLAB/BiKAN.

View source

Similar papers

Preprint Oct 2026

Percolation of Data Constraints and Reorganization of Boolean Function States in Parity Learning

We study how a neural network reorganizes its learned function as training proceeds and as previously unseen parity data accumulate. The trained model is itself a Boolean function on binary strings of finite length. We then evaluate it on all data, inside and outside the training set, and read off its complete sign tab...

Han-Wen Ma · 1 citation
Preprint Oct 2026

MacKay-Neal Codes Achieve Capacity under MAP Decoding

Statistical-mechanical analyses predict that MacKay-Neal codes can achieve channel capacity at fixed degrees. We prove this prediction for the uncoupled $(\ell,3,3)$ MN socket ensemble for every fixed integer $\ell\ge4$. For each binary-input memoryless symmetric channel of capacity strictly greater than $3/\ell$, the...

Kenta Kasai · 0 citations
Preprint Oct 2026

Binary Cyclic Gradient Coding: Exact Recovery and Robustness to Compression

We introduce binary cyclic gradient coding (BCGC), an exact gradient coding scheme for $n$ workers and up to $s$ stragglers. Its encoding matrix is binary, circulant when $(s+1)\mid n$ and nearly circulant otherwise, and the master decodes by a single summation. Like the fractional repetition coding scheme (FRC) and it...

Hassan Ou-azzou, Imad Kissami, El Houcine Bergou · 0 citations
#machine learning Preprint Oct 2026

CorrFlow: Exact and Permutation-Equivariant Flow Matching on the Correlation Elliptope

Correlation matrices combine nonlinear positive-definiteness constraints with a simultaneous row-column permutation symmetry. Their generation therefore involves two distinct problems. First, every output must remain on the correlation elliptope, irrespective of how its variables are ordered. Second, the generator must...

G. Marti · 0 citations
Preprint Oct 2026

A faster matrix multiplication algorithm through structured optimization

We present a new asymptotic matrix multiplication construction yielding $\omega<2.37115924$, and therefore an algorithm that multiplies two $n\times n$ matrices in $O(n^{2.37115924})$ arithmetic operations over the rationals, reals, or complex numbers. The construction improves the bound $2.371177$ of Dupont et al. wit...

R. Zadeh · 0 citations
Preprint Sep 2026

Branch-Sensitive Density Increments for $k$-Configurations

We refine the density-increment argument for $k$-configurations developed by Beker. The point is not to introduce a new inverse theorem, but to retain information that is lost when the graph-counting output is compressed into a single uniform alternative. For the transitive $K_k$ appearing in the $k$-configuration prob...

Zhi Yao · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.