# Eigenvectors from eigenvalues **URL:** \ **Category:** Offtopic\ **Created:** [November 27, 2019, 9:07pm UTC](https://discourse.julialang.org/t/eigenvectors-from-eigenvalues/31600 "2019-11-27T21:07:33Z")\ **Posts on this page:** 7\ **Page:** 1

**Author:** ![jonniedie](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/jonniedie/32/12842_2.png) [@jonniedie](https://discourse.julialang.org/u/jonniedie)\ **Post date:** [November 27, 2019, 9:07pm UTC](https://discourse.julialang.org/t/eigenvectors-from-eigenvalues/31600/1 "2019-11-27T21:07:33Z")

Really neat paper. Seems pretty unbelievable that something this fundamental has gone unnoticed for so long. [Eigenvectors from Eigenvalues](https://arxiv.org/abs/1908.03795) ---

**Author:** ![stevengj](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/stevengj/32/71_2.png) [@stevengj](https://discourse.julialang.org/u/stevengj)\ **Post date:** [November 27, 2019, 9:30pm UTC](https://discourse.julialang.org/t/eigenvectors-from-eigenvalues/31600/2 "2019-11-27T21:30:49Z")

I heard about this a few days ago; it seems like a neat result! Not clear how useful it is since applying it requires all eigenvalues of all submatrices; there are much easier computational methods to get eigenvectors from eigenvalues, and for theoretical usage it’s not clear when you would know these submatrix spectra either. But I can imagine it being useful in some proof… (Their “Corollary 3” is a trivial result, though — if an element of an eigenvector vanishes, it is obvious and doubtless well-known that you can delete that row and column from the matrix/vector to obtain an eigenvector of the submatrix with the same eigenvalue.) ---

**Author:** ![stevengj](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/stevengj/32/71_2.png) [@stevengj](https://discourse.julialang.org/u/stevengj)\ **Post date:** [November 27, 2019, 9:50pm UTC](https://discourse.julialang.org/t/eigenvectors-from-eigenvalues/31600/3 "2019-11-27T21:50:08Z")

It might be interesting to think about the implications of this for Gaussian quadrature schemes, since in that case the quadrature weights are given by the magnitude squared of the first element of each eigenvector of a Hermitian matrix, which is the ideal case for applying their equation (2) — you only need the eigenvalues of a single submatrix. Not as a computational method, but it might say something interesting about the quadrature weights in theory. ---

**Author:** ![giordano](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/giordano/32/2166_2.png) [@giordano](https://discourse.julialang.org/u/giordano)\ **Post date:** [November 27, 2019, 10:00pm UTC](https://discourse.julialang.org/t/eigenvectors-from-eigenvalues/31600/4 "2019-11-27T22:00:09Z")

For the record, Alan Edelman pointed out that the result has been known for decades, without much hype: [Eigenvectors from eigenvalues | What's new](https://terrytao.wordpress.com/2019/08/13/eigenvectors-from-eigenvalues/#comment-529031) ---

**Author:** ![stevengj](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/stevengj/32/71_2.png) [@stevengj](https://discourse.julialang.org/u/stevengj)\ **Post date:** [November 27, 2019, 10:22pm UTC](https://discourse.julialang.org/t/eigenvectors-from-eigenvalues/31600/5 "2019-11-27T22:22:03Z")

[This reply](https://terrytao.wordpress.com/2019/08/13/eigenvectors-from-eigenvalues/#comment-529341) from Terence Tao is also illuminating: > We are in the process of completely rewriting the paper; at this point it seems more appropriate to present a historical survey of the various places in the literature the identity has appeared (the earliest relevant reference we have currently is a [1934 paper of Loewner](https://mathscinet.ams.org/mathscinet-getitem?mr=1545446), and there are at least 18 other appearances in the literature to our knowledge), and describe the various proofs, generalisations, and applications that we are now aware of. There is also an interesting sociology-of-science aspect to this story which is also worth recording, in particular how it seems that it was not feasible to integrate all the disparate references to this identity in the literature until a popular science article reporting on the identity created enough “[common knowledge](https://en.wikipedia.org/wiki/Common_knowledge_(logic))” to kick off what was effectively a crowdsourced effort to locate all these prior references. ---

**Author:** ![anon92994695](https://avatars.discourse-cdn.com/v4/letter/a/ce7236/32.png) [@anon92994695](https://discourse.julialang.org/u/anon92994695)\ **Post date:** [November 27, 2019, 10:42pm UTC](https://discourse.julialang.org/t/eigenvectors-from-eigenvalues/31600/6 "2019-11-27T22:42:47Z")

Was gonna say I swear I saw something like this somewhere before :P. Those who don’t read the literature are condemned to rediscover it I guess. Still a nice little note to put out there. ---

**Author:** ![chakravala](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/chakravala/32/6832_2.png) [@chakravala](https://discourse.julialang.org/u/chakravala)\ **Post date:** [November 28, 2019, 12:12am UTC](https://discourse.julialang.org/t/eigenvectors-from-eigenvalues/31600/7 "2019-11-28T00:12:09Z")

We also had a similar discussion in the Bivector discourse to discuss the geometric algebra proof of it: > **[Eigenvectors from Eigenvalues](https://discourse.bivector.net/t/eigenvectors-from-eigenvalues/92?u=chakravala)** > > There’s a newly published result relating the coordinates of the eigenvectors of a (hermitian or symmetric) linear operator to the eigenvalues of the operator and its minors that has been getting some press lately: Quanta Magazine:... It’s not so surprising of a result from a [Grassmann.jl](https://github.com/chakravala/Grassmann.jl) perspective, which has the foundation for determinants.