Maybe in a hundred years one of these discoveries will unlock time/FTL travel or wormholes or something... maybe a jailbreak for the simulation we're in.
- "I'd like to talk to you about producing a similar visualization for modular forms. These are inherently "just complex functions", but they're nontrivial to compute. But in two recent papers, I study how to compute modular forms and various visualizations of modular forms."
- "I'm knowledgeable about various 2d plotting, but I don't actually know anything about 3d plotting. I'm aware that blender exists and that shaders exist, but that's the extent of my knowledge. This is a major aspect of complex function visualization that I'm missing."
Not sure if you're being sarcastic or not, but 99.9999% or possibly even 100% of this kind of abstract mathematics will never have any meaningful impact on day-to-day software engineering.
I keep hearing this about abstract mathematics "never" having an impact because it is too abstract and relates to pure mathematics. It's not true. Mathematics is a formal system that provides insights on surprising patterns. Surprising patterns can almost always be applied outside their intended area. And not surprisingly, non-Euclidean geometry and even the inability for mathematics to find certain proofs related to primes has resulted in breakthroughs in other areas. Surprising patterns take time to have effect mostly because they are not generally known until some genius is able to apply them outside their intended area.
I am 99.999% certain that you are wrong to say that "this kind of abstract mathematics will 'never' have any meaningful impact on day-to-day software engineering." I would be less certain if you replaced "never" with "will probably not have a significant impact in the short term".
I never did math past linear algebra/real analysis, so the only concept of sizes I have are countable/uncountable infinities.
Apparently the crux of this proof was showing that "the space of all modular forms with bounded denominators" and "the space of all congruence modular forms" were the same size.
I wonder what kind of expression "size" is here. Presumably not some finite integer, nor one of the simple infinities, since their first step was showing one is "a bit bigger" than the other. I wish this article went into more detail on that.
I definitely remember nerding out about modular forms via Andrew Wiles as a younger self.
If I understand the intro correctly, the "size" they're referring to is the growth rate of a sequence, where the sequence is counting the dimensions of certain subsets of bounded denominator modular forms.
Let BDMF = bounded denominator modular form.
They show congruence BDMFs grow at least N^3, but all BDMFs grow at most N^3*log(N). (The latter bound is the hard part of the proof.) To get the contradiction, they show a hypothetical noncongruence BDMF example would imply additional counterexamples that (just barely) get over the N^3*log(N) bound.
So is this a kind of result akin to the prime number theorem (https://en.wikipedia.org/wiki/Prime_number_theorem) where you have things that are asymptotically guaranteed to be/remain very close to one another?
17 comments
[ 3.5 ms ] story [ 43.3 ms ] thread- "This video is a collaboration David Lowry-Duda, that actually started here on the /r/math Reddit thread."
https://old.reddit.com/r/math/comments/m0w1qs/a_modular_form...
...Which (probably) refers to this thread:
- "I'd like to talk to you about producing a similar visualization for modular forms. These are inherently "just complex functions", but they're nontrivial to compute. But in two recent papers, I study how to compute modular forms and various visualizations of modular forms."
- "I'm knowledgeable about various 2d plotting, but I don't actually know anything about 3d plotting. I'm aware that blender exists and that shaders exist, but that's the extent of my knowledge. This is a major aspect of complex function visualization that I'm missing."
https://old.reddit.com/r/math/comments/k53813/visualizing_fu...
Nothing too earth-shattering but it’s plausible something generally useful could come out of it.
I think for many things those super abstract theories let us take some small steps that are not apparent to wider audience.
I am 99.999% certain that you are wrong to say that "this kind of abstract mathematics will 'never' have any meaningful impact on day-to-day software engineering." I would be less certain if you replaced "never" with "will probably not have a significant impact in the short term".
Apparently the crux of this proof was showing that "the space of all modular forms with bounded denominators" and "the space of all congruence modular forms" were the same size.
I wonder what kind of expression "size" is here. Presumably not some finite integer, nor one of the simple infinities, since their first step was showing one is "a bit bigger" than the other. I wish this article went into more detail on that.
I definitely remember nerding out about modular forms via Andrew Wiles as a younger self.
Let BDMF = bounded denominator modular form. They show congruence BDMFs grow at least N^3, but all BDMFs grow at most N^3*log(N). (The latter bound is the hard part of the proof.) To get the contradiction, they show a hypothetical noncongruence BDMF example would imply additional counterexamples that (just barely) get over the N^3*log(N) bound.
https://mitpress.mit.edu/9780262039413/on-the-brink-of-parad...
There was an edX course titled Paradox and Infinity that was normally offered every year around May or June, but it didn't run last year.
https://openlearninglibrary.mit.edu/courses/course-v1:MITx+2...
https://www.youtube.com/watch?v=eoxQXiz9ykQ