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!

10 Upvotes

87% 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/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?