zeta-transform

Here are 3 public repositories matching this topic...

Swapnil-jain / mobius-x1

GF(2) Möbius / zeta transform in o(N log N) XOR gates, the first asymptotic improvement over Yates (1937) for circuits with cancellation: proofs, certificates, Lean 4 checks, and closed ideas. Asymptotic only, AI-checked, not yet human-refereed.

algorithms finite-fields theoretical-computer-science formal-verification open-problems reed-muller complexity-theory mathlib boolean-functions lean4 gf2 linear-circuits circuit-complexity algebraic-complexity mobius-transform zeta-transform yates-algorithm xor-circuits fast-transforms

Updated Oct 11, 2026
C

shlomi-perles / subspace-convolution

Star

Code, experiments and Lean 4 formalization for the paper "A Fast Algorithm for Subspace Convolution"

cpp fast-fourier-transform formal-verification graph-coloring mathlib grassmannian lean4 zeta-transform

Updated Nov 3, 2026
Lean

alford-auld / exact-yates-metal

Star

Exact GPU zeta/Möbius/Walsh–Hadamard transforms on the subset lattice - one templated Metal kernel via MLX. Exact over Z/2³² & Z/2⁶⁴, bandwidth-bound on Apple Silicon: n = 29 in 174 ms, ~96% of copy.

metal gpu mlx apple-silicon exact-arithmetic walsh-hadamard-transform mobius-transform zeta-transform

Updated Oct 10, 2026
Python

Add this topic to your repo

To associate your repository with the zeta-transform topic, visit your repo's landing page and select "manage topics."

Learn more