← All papers
First page of A Fast Algorithm for Subspace Convolution

A Fast Algorithm for Subspace Convolution

Shlomo A. Perles, Omri Weinstein

cs.DS Nov 9, 2026 · v1 cs.CC
A companion repository contains Lean 4 proofs, built on Mathlib, of the transform identities, arithmetic operation bounds, and graph-coloring constructions, with an axiom audit.
A cornerstone result in Boolean lattice theory is the subset-zeta transform, which computes the $f$-weighted subset summation problem $(Z f)(B)=\sum_{A\subseteq B}f(A)$ for all $ B\subseteq[n]$ in $O(N \log N)$ additions instead of the naïve $O(3^n) = O(N^{\log_2 3})$, where $N=2^n$. This paper studies the algebraic analogue of this problem–the subspace summation problem–where subsets are replaced by linear subspaces in $\mathbb{F}_q^n$. Surprisingly, we show that this problem admits a similar $Θ_q(N_q \log N_q)$-time algorithm, where $N_q$ is the number of subspaces. This improves substantially (in both theory and practice) over lattice-based algorithms ([BHK+16, KKW16]), which are known to be optimal for addition-only algorithms over $\mathbb R$. We prove similar runtimes for inversion, rank-constrained sums and span convolution. We describe two main applications: Fast linear algebra on Grassmann graphs: Matrix–vector multiplication for arbitrary distance-invariant kernels on $N$-vertex Grassmann graphs in $O_q(N\log N)$ arithmetic operations, together with fast spectral projections and exact solutions of the corresponding linear systems. Graph coloring of low binary cut-rank graphs: An $n^{2^{r^2/4+O(1)}}$-time algorithm for computing the chromatic number and chromatic polynomial of an $n$-vertex graph, given a rank-decomposition of width $r$. We also give quantitative reductions from satisfiability and monotone constraint problems. Experiments show speedups in measured running time of up to $18$ over the covering-pair algorithm for the zeta transform, $190$ over Poisson summation for rank-constrained sums, and $22$ over the distance-matrix recurrence for Grassmann kernel multiplication. Lean 4 formalizations of the transform identities, arithmetic operation bounds, and graph-coloring constructions accompany the paper [PW26].

The subset-zeta transform computes subset sums over the Boolean lattice in O(N log N) additions. The paper studies the analogous subspace summation problem over the lattice of subspaces of F_q^n, where existing covering-pair (lattice-based) algorithms are much slower.

A recursion cuts F_q^n at a hyperplane and splits subspaces into those inside the hyperplane and those crossing it. Crossing contributions are handled with finite Fourier transforms on quotient spaces, which reduce them to smaller subproblems at each frequency. The same technique gives inversion, two-dimension incidence sums, span convolution, and Grassmann-graph kernel multiplication. Subspace profiles of color classes yield a coloring algorithm for graphs of bounded binary cut-rank. The transform identities, operation-count bounds, and coloring constructions are formalized in Lean 4 with Mathlib.

The zeta transform runs in Θ_q(N_q log N_q) arithmetic operations, where N_q is the number of subspaces. The chromatic number and chromatic polynomial of an n-vertex graph can be computed in n^{2^{r^2/4+O(1)}} time given a rank-decomposition of width r. Measured speedups reach 18x for the zeta transform, 190x for incidence/rank-constrained sums, and 22x for Grassmann kernel multiplication.

OperationSizeSpeedupOp count ratio
Zeta transform Z_n1.2e6 – 6.7e81.5 – 180.45 – 4.1
Incidence I_n^{a,b}1.8e6 – 8.2e84.5 – 1904.3 – 170
Grassmann kernel Kf2.6e6 – 1.6e84.8 – 220.81 – 4.6
Measured speedup and operation-count ratio (comparison algorithm divided by the new algorithm)