Eigenvectors are computible from eigenvalues
39 views
Skip to first unread message
David A. Wheeler
Nov 14, 2019, 12:08:37 PM11/14/19
to metamath
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
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
Reply all
Reply to author
Forward
0 new messages