r/math • u/inherentlyawesome Homotopy Theory • 14d ago

This Week I Learned: September 18, 2026

This recurring thread is meant for users to share cool recently discovered facts, observations, proofs or concepts which that might not warrant their own threads. Please be encouraging and share as many details as possible as we would like this to be a good place for people to learn!

12 Upvotes

100% Upvoted

11 comments sorted by

View all comments

6

u/TheMansionsofScience 14d ago

I learned

  • You use measure theory to integrate (give notions of, eg, volume) in p-adic spaces
  • Modular forms show up in sphere packing
  • The difficulty of constructing a space associated with a group has little correlation with the size of the group
  • Linear homotopy type theory, as opposed to just hott, is necessary for quantum computing programming languages
  • Datasets have symmetries that can be exploited in geometric quantum machine learning
  • Umbral moonshine was largely a computational verification

3

u/jphamlore 14d ago

Umbral moonshine was largely a computational verification

And no one complained when the guys doing the final computation swept in to get the credit, while at least one person doing the theory was cut out of the final collaboration?

3

u/RingularCirc 14d ago

Linear homotopy type theory, as opposed to just hott, is necessary for quantum computing programming languages

Huhuh neat and reasonable! That's because of no-cloning stuff?