← Back to context

Comment by kingstnap

1 day ago

Some of these are interesting ngl.

109. Integer multiplication below n log n

Surprising that this is possible.

158. The Euclidean plane cannot be colored with five colors.

Only 6 and 7 remain!

376. Universal computation in forced Navier–Stokes flows.

Morning coffee proven turing complete

> We give a deterministic algorithm that multiplies two n-bit integers in O(n (log n)^(1−κ)) worst- case time, with κ = 2^(−182).

LMAO, I don't think I ever saw such a small number in a CS result.

  • Yeah its ridiculously small, but any improvement on n log n is wild.

    Like there is somehow redundancy in a fourier transform that makes it sub Linearithmic?

    Which low and behold ->

    130. Fourier transforms below n log n.

  • It fascinates me that there's something like this in something as solid and rigid like matrix multiplication. What causes something so rigid to break apart and "leak" at very large scale? Why does the "optimization" appear to be very, very small? Why does galactic algorithm exists? I can't imagine long division suddenly breaking apart after a billion digit, the structure seems very stable? I have heard before that matrix multiplication is apparently optimize-able at very, very large scale.

    Does anyone have an intuition to what causes it? What happens at these large scale (or very small)?

    • One way to think about it is that the classical algorithms are the ones that are fast for small numbers. Galactic algorithms often work for small inputs, it's just that to be faster you need big inputs. A common case of this is a requirement that log(n)<<klog(log(n)). If k=100 then this algorithm will take huge sizes to win

  • Can anyone ELI5 to make it make sense?

    It seems n would have to be unimaginably large for this to make any difference. What changes about multiplication / FFT at large enough size ?

    I guess nobody expected that it did before this result.