Unverified 2026

Logarithmic Random-Hyperplane Classifier

Implementation & benchmark of arXiv:2607.19334 — Fundamental limits of distributed multiclass classification from simple binary decisions

Usefulness6/10
Difficulty4/10
Novelty5/10

Source paper: Fundamental limits of distributed multiclass classification from simple binary decisions arXiv:2607.19334 ⓘ · analyzed Aug 30, 2026

AI-generated research hypothesis, automatically tested. Not peer-reviewed.

Idea description

Replace a $K$-class softmax with $N$ binary hyperplane heads, where each class is represented by the signs of its projections onto fixed random directions. Train the embedding to reproduce these codewords and decode by nearest Hamming codeword. The paper's guarantee suggests that $N\approx 2\log_2 K+\log_2(1/\delta)$ can separate all class centers with high probability in sufficiently high dimension, giving a concrete width rule rather than choosing the number of binary heads heuristically.

Formulas

$$N=2\log_{2}K+\log_{2}(1/\delta)$$
$$N\geq\log_{2}K$$
$$b_n(h)=\operatorname{sign}(r_n^{\top}h),\qquad c_k=(c_{k,1},\ldots,c_{k,N})\in\{\pm1\}^{N}$$
$$\hat y=\arg\min_{k\in\{1,\ldots,K\}}d_H\bigl(b(h),c_k\bigr),\qquad b(h)=(b_1(h),\ldots,b_N(h))$$

Mathematical statement

The paper states that random hyperplanes assign distinct codewords to all $K$ class centers with probability at least $1-\delta$ using $N=2\log_2 K+\log_2(1/\delta)$ binary tests in sufficiently high dimension. Here $K$ is the number of classes, $N$ is the number of binary heads, and $\delta$ is the allowed code-collision probability; the information-theoretic lower bound is $N\geq\log_2 K$ because $N$ binary tests have at most $2^N$ outcomes. For an embedding $h\in\mathbb{R}^d$ and random directions $r_n\in\mathbb{R}^d$, define the code bit $b_n(h)=\operatorname{sign}(r_n^\top h)$ and class codeword $c_k=(c_{k,1},\ldots,c_{k,N})\in\{\pm1\}^N$. The network is trained against fixed targets $c_y$ and predicts $\hat y=\arg\min_k d_H(\operatorname{sign}(Rh),c_k)$, where $R$ has rows $r_n^\top$ and $d_H$ is Hamming distance. The mathematical asset is random geometric separation with logarithmic test count, not merely binary decomposition.

Implementation notes

Integrate this at the final classifier: let the backbone produce an embedding $h\in\mathbb{R}^d$, then apply a binary projection matrix $R\in\mathbb{R}^{N\times d}$ instead of a $K\times d$ softmax weight matrix. Set $N=\lceil2\log_2K+\log_2(1/\delta)\rceil$ for an initial trial, sample each row of $R$ from an isotropic Gaussian and normalize it, and keep $R$ fixed during the first experiment. Generate one class codeword per class by evaluating $\operatorname{sign}(R\mu_k)$ on class prototype embeddings $\mu_k$, or use a fixed balanced random codebook with rejection sampling until all codewords are distinct. During training, compute logits $s=Rh$, use the target signs $c_y$, and optimize $\sum_{n=1}^N\operatorname{softplus}(-c_{y,n}s_n)$; optionally add a small norm penalty on $h$. At inference, use either hard Hamming decoding or soft distance $\arg\min_k\sum_n\operatorname{softplus}(-c_{k,n}s_n)$. The formula for $N$ is taken from the paper; code collisions, bit balance, and empirical class margins are measured directly. First test on CIFAR-100 and CIFAR-100-LT with a small ResNet, comparing against a standard softmax at matched trainable classifier parameters and matched FLOPs. Success means comparable top-1 accuracy with fewer final-layer parameters, lower communication cost, or faster inference; failure is a substantial accuracy drop after tuning the embedding dimension.

Verification

This idea has not been verified yet.

Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.

Artifacts

Artifacts unavailable.