FYI: A startling new math result has just been announced: hard-to-compute eigenvectors are computable using easier-to-compute eigenvalues. Eigenvectors & eigenvalues been studied for centuries, so it's hard to believe this has only just been discovered... but it appears that this really is the case.
More info: * A layman-level article about the discovery: "Neutrinos Lead to Unexpected Discovery in Basic Math" https://www.quantamagazine.org/neutrinos-lead-to-unexpected-discovery-in-basic-math-20191113/ * Mathematical proof: "Eigenvectors from Eigenvalues" https://arxiv.org/abs/1908.03795 * Work that inspired this analysis by examining neutrino oscillation: "Eigenvalues: the Rosetta Stone for Neutrino Oscillations in Matter" https://arxiv.org/abs/1907.02534 It'd be cool if that were eventually proved in set.mm. I'm not volunteering myself, especially since the only stuff in set.mm about eigenvectors & eigenvalues is in a deprecated section (so it'd need to be added elsewhere). But someone else might find this challenge of interest! --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/E1iVIbj-0006ga-DE%40rmmprod07.runbox.
