Mokshay Madiman
@chamkata.bsky.social
Girl dad, mathematician, foodie, perambulating cogitator, believer in empathy and kindness.
Based at the University of Delaware: https://mokshaymadiman.wordpress.com
Based at the University of Delaware: https://mokshaymadiman.wordpress.com
Reposted by Mokshay Madiman
Algebraic integers are roots of monic polynomials. There are lots of fun visuals of these in the complex plane (just Google it!) Here are two, from Wikipedia.
Click the alt text for the descriptions!
2/19
Click the alt text for the descriptions!
2/19
November 23, 2024 at 5:08 PM
Algebraic integers are roots of monic polynomials. There are lots of fun visuals of these in the complex plane (just Google it!) Here are two, from Wikipedia.
Click the alt text for the descriptions!
2/19
Click the alt text for the descriptions!
2/19
It may help to also keep in mind that Homo sapiens is less than 10^6 years old and complex human civilization less than 10^4 years old; so we have 10^11 times the current age of recognizable human civilization before that last red dwarf winks out.
December 4, 2024 at 6:26 AM
It may help to also keep in mind that Homo sapiens is less than 10^6 years old and complex human civilization less than 10^4 years old; so we have 10^11 times the current age of recognizable human civilization before that last red dwarf winks out.
The joy balance at any given time appears to be oscillatory, with frequency that depends on the semester in question and amplitude that depends on how zen one is feeling.
December 4, 2024 at 1:30 AM
The joy balance at any given time appears to be oscillatory, with frequency that depends on the semester in question and amplitude that depends on how zen one is feeling.
Would be happy to be added, thanks!
December 4, 2024 at 12:04 AM
Would be happy to be added, thanks!
Sometimes it feels like the machine is turning coffee into committee reports and emails and homework sets and graded papers, and the theorem production doesn’t need as much fuel since it is pure joy.
December 3, 2024 at 11:51 PM
Sometimes it feels like the machine is turning coffee into committee reports and emails and homework sets and graded papers, and the theorem production doesn’t need as much fuel since it is pure joy.
I’m enjoying catching up on several of the historical gems you unearthed! As regards this particular observation, I first saw it described as Arnold’s principle: www.math.fsu.edu/~wxm/Arnold....
Since V.I.Arnold does not say when M.Berry said this, it is hard to say if this predates Stigler.
Since V.I.Arnold does not say when M.Berry said this, it is hard to say if this predates Stigler.
V.I. Arnold, On teaching mathematics
www.math.fsu.edu
November 27, 2024 at 12:50 AM
I’m enjoying catching up on several of the historical gems you unearthed! As regards this particular observation, I first saw it described as Arnold’s principle: www.math.fsu.edu/~wxm/Arnold....
Since V.I.Arnold does not say when M.Berry said this, it is hard to say if this predates Stigler.
Since V.I.Arnold does not say when M.Berry said this, it is hard to say if this predates Stigler.
Other more sophisticated versions of this idea (going to higher dimensions) include situations where one goes from the real line to the complex plane (allowing the use of the powerful tools of complex analysis), and the tensorization trick: see, for example: terrytao.wordpress.com/2008/08/25/t...
Tricks Wiki article: The tensor power trick
As many readers may already know, my good friend and fellow mathematical blogger Tim Gowers, having wrapped up work on the Princeton Companion to Mathematics (which I believe is now in press), has …
terrytao.wordpress.com
November 26, 2024 at 11:44 PM
Other more sophisticated versions of this idea (going to higher dimensions) include situations where one goes from the real line to the complex plane (allowing the use of the powerful tools of complex analysis), and the tensorization trick: see, for example: terrytao.wordpress.com/2008/08/25/t...
Just to be clear, this does have a geometric visualization: instead of studying one object on a line (the uniform distribution on n points), we can study an essentially equivalent object in the plane (the uniform distribution on n^2 points in a rectangular grid).
November 26, 2024 at 11:41 PM
Just to be clear, this does have a geometric visualization: instead of studying one object on a line (the uniform distribution on n points), we can study an essentially equivalent object in the plane (the uniform distribution on n^2 points in a rectangular grid).
Another instance of such a doubling trick is the way we calculate the integral of a Gaussian function… essentially by doubling and using Tonelli/Fubini.
November 26, 2024 at 10:50 PM
Another instance of such a doubling trick is the way we calculate the integral of a Gaussian function… essentially by doubling and using Tonelli/Fubini.
This is a manifestation of the fact that for IID random variables X and Y, the variance of X is half of
E[(X-Y)^2] just by linearity of the expectation and the IID assumption. It is an instance of what one might call the “doubling trick”… where taking two copies of something creates simplification.
E[(X-Y)^2] just by linearity of the expectation and the IID assumption. It is an instance of what one might call the “doubling trick”… where taking two copies of something creates simplification.
November 26, 2024 at 10:45 PM
This is a manifestation of the fact that for IID random variables X and Y, the variance of X is half of
E[(X-Y)^2] just by linearity of the expectation and the IID assumption. It is an instance of what one might call the “doubling trick”… where taking two copies of something creates simplification.
E[(X-Y)^2] just by linearity of the expectation and the IID assumption. It is an instance of what one might call the “doubling trick”… where taking two copies of something creates simplification.
It seems like The Royal Society of London for Improving Natural Knowledge (its official name!) made a category error in the first place. Isn’t fellowship meant for scientists and scholars with direct contributions to human knowledge? When did they start recognizing the bankrollers?
November 26, 2024 at 5:45 PM
It seems like The Royal Society of London for Improving Natural Knowledge (its official name!) made a category error in the first place. Isn’t fellowship meant for scientists and scholars with direct contributions to human knowledge? When did they start recognizing the bankrollers?
underlies analysis, since the way we develop the notion of the (Lebesgue) integral with respect to a measure is to build up from sets to functions via this equivalence.
November 26, 2024 at 7:34 AM
underlies analysis, since the way we develop the notion of the (Lebesgue) integral with respect to a measure is to build up from sets to functions via this equivalence.
My favorite equivalence of this type is between sets and their indicator functions (for finite sets, equivalently between the power set of a set with n elements, and binary strings of length n). Thanks to the reflection principle, this underlies many combinatorial identities. But it also…
November 26, 2024 at 7:33 AM
My favorite equivalence of this type is between sets and their indicator functions (for finite sets, equivalently between the power set of a set with n elements, and binary strings of length n). Thanks to the reflection principle, this underlies many combinatorial identities. But it also…
Yes! More generally, when we have two objects that are isomorphic, just realizing that we can think of it as one object with two descriptions is so useful. And beautiful— like looking at the same painting closing one eye at a time, and you get complementary perspectives.
November 26, 2024 at 7:29 AM
Yes! More generally, when we have two objects that are isomorphic, just realizing that we can think of it as one object with two descriptions is so useful. And beautiful— like looking at the same painting closing one eye at a time, and you get complementary perspectives.
Rearrangement inequalities (from Hardy-Littlewood at the simplest end to Rogers-Brascamp-Lieb-Luttinger) are such a useful tool! Classically much used as a step in proving functional inequalities, we (with Liyao Wang) found them useful in an entropy context here: arxiv.org/abs/1307.6018
Beyond the entropy power inequality, via rearrangements
A lower bound on the Rényi differential entropy of a sum of independent random vectors is demonstrated in terms of rearrangements. For the special case of Boltzmann-Shannon entropy, this lower bound i...
arxiv.org
November 26, 2024 at 6:16 AM
Rearrangement inequalities (from Hardy-Littlewood at the simplest end to Rogers-Brascamp-Lieb-Luttinger) are such a useful tool! Classically much used as a step in proving functional inequalities, we (with Liyao Wang) found them useful in an entropy context here: arxiv.org/abs/1307.6018
I’m sure it’s delicious, but your tea store doesn’t seem familiar with the etymology, or with the Spiderverse for that matter: youtu.be/3_OZoPhHpiY?...
Pavitr Prabhakar sipping on Chai-Tea | Spider-Man: Across the Spider-Verse | Rent Now
YouTube video by Sony Pictures Entertainment India
youtu.be
November 25, 2024 at 9:54 PM
I’m sure it’s delicious, but your tea store doesn’t seem familiar with the etymology, or with the Spiderverse for that matter: youtu.be/3_OZoPhHpiY?...
Cute! Also trivial but instructive for students, especially since it motivates the sample variance:
2 Var(X)= E [(X-Y)^2]
for IID X, Y.
2 Var(X)= E [(X-Y)^2]
for IID X, Y.
November 24, 2024 at 1:58 PM
Cute! Also trivial but instructive for students, especially since it motivates the sample variance:
2 Var(X)= E [(X-Y)^2]
for IID X, Y.
2 Var(X)= E [(X-Y)^2]
for IID X, Y.
Thanks for this! Anything written by Tom is luminously clear.
November 24, 2024 at 1:50 PM
Thanks for this! Anything written by Tom is luminously clear.
True. Often when reading a paper (especially on something I don’t really have expertise in), that part of the mental translation process is key. “What is the folklore I don’t know that makes X obvious to the author?”
November 24, 2024 at 6:06 AM
True. Often when reading a paper (especially on something I don’t really have expertise in), that part of the mental translation process is key. “What is the folklore I don’t know that makes X obvious to the author?”
I liked the ideas over incrementals, but wasn’t a huge fan of the 1-page abstract. Extra work, too concise to be meaningful for most readers, and the practical need of having printed proceedings of manageable length hasn’t applied for a while.
November 24, 2024 at 3:22 AM
I liked the ideas over incrementals, but wasn’t a huge fan of the 1-page abstract. Extra work, too concise to be meaningful for most readers, and the practical need of having printed proceedings of manageable length hasn’t applied for a while.
It would only be a good thing IMHO. “Prestige” would transfer over time in case of those for-profit journals that have accumulated it. There are plenty of good journals to go around in most (mathematical) fields without being forced to resort to a for-profit publisher.
November 24, 2024 at 3:19 AM
It would only be a good thing IMHO. “Prestige” would transfer over time in case of those for-profit journals that have accumulated it. There are plenty of good journals to go around in most (mathematical) fields without being forced to resort to a for-profit publisher.
Specifically, the mixed second derivative being nonnegative means the sum of the function values at any 2 points in the plane is at most the sum of the function values at their coordinate-wise minimum and maximum.
November 21, 2024 at 1:38 AM
Specifically, the mixed second derivative being nonnegative means the sum of the function values at any 2 points in the plane is at most the sum of the function values at their coordinate-wise minimum and maximum.
In particular, for a function of 2 variables, one can draw a nice picture involving rectangles to illustrate what the local condition of a positive mixed second derivative means globally.
November 21, 2024 at 1:21 AM
In particular, for a function of 2 variables, one can draw a nice picture involving rectangles to illustrate what the local condition of a positive mixed second derivative means globally.
Just as the sign of the diagonal elements of the Hessian tell us about convexity or concavity, the sign of the off-diagonal elements is connected to submodularity or supermodularity. (One can explain this without invoking the Hessian as such.) See for example arxiv.org/abs/2206.01565
Sumset estimates in convex geometry
Sumset estimates, which provide bounds on the cardinality of sumsets of finite sets in a group, form an essential part of the toolkit of additive combinatorics. In recent years, probabilistic or entro...
arxiv.org
November 21, 2024 at 1:18 AM
Just as the sign of the diagonal elements of the Hessian tell us about convexity or concavity, the sign of the off-diagonal elements is connected to submodularity or supermodularity. (One can explain this without invoking the Hessian as such.) See for example arxiv.org/abs/2206.01565
Hi Eugenia! We’ve never met in person, but I have to tell you that I *loved* reading “The Joy of Abstraction” and have given it as a gift multiple times. Your talent for exposition is something else! Glad to meet you here.
November 21, 2024 at 1:13 AM
Hi Eugenia! We’ve never met in person, but I have to tell you that I *loved* reading “The Joy of Abstraction” and have given it as a gift multiple times. Your talent for exposition is something else! Glad to meet you here.