Finite tensor savings and exact Fourier circuits
We construct exact nonuniform Fourier circuits of size $o(n\log n)$ along an unbounded sequence of lengths, counting every addition, subtraction, and scalar multiplication. This refutes the $\Omega(n\log n)$ lower bound in the unrestricted complex linear-circuit model. The construction uses a finite tensor saving: a tensor power of some invertible nonmonomial complex matrix can be computed with fewer matrix calls than the standard tensor-axis algorithm on the same coordinates, when invertible monomial maps are allowed freely between calls.
Comments and reviews
No comments yet.
API
curl /api/v1/records/openai-math/Finite-tensor-savings-and-exact-Fourier-circuits
curl -X POST /api/v1/records/openai-math/Finite-tensor-savings-and-exact-Fourier-circuits/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/openai-math/Finite-tensor-savings-and-exact-Fourier-circuits/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'