Skip to main content
6 events
when toggle format what by license comment
Nov 8, 2013 at 18:51 comment added martin @Suvrit oh I see, yes that would be an upper bound, unfortunately in this example I think it's too loose because $a$ and $b$ are fixed, hence for small enough $\epsilon$ I can't guarantee $\|\Lambda_1^{\downarrow}-\Lambda_2^{\uparrow}\|\leq \epsilon$..
Nov 8, 2013 at 13:59 comment added Suvrit what I meant was that $\|\Lambda_1^\downarrow-\Lambda_2^\uparrow\|$ is an upper bound (the arrows denote sorting)---this might be too loose, but with suitable choice of matrices, equality can be achieved in this....hence....
Nov 8, 2013 at 8:30 comment added martin @Suvrit Thanks. Yes, $a\preceq A$ is shorthand for $aI\preceq A$, and good means that the resulting upper bound should scale correctly in terms of $\epsilon$. So for instance if it were true that $\|U_1\Lambda_1 U_1^T-U_2\Lambda_2 U_2^T\|_2\leq\|U_1-U_2\|_2+\|\Lambda_1-\Lambda_2\|_2$, that would probably be good enough. On the other hand, $\|U_1\Lambda_1 U_1^T-U_2\Lambda_2 U_2^T\|_2\leq d \|U_1-U_2\|_{\infty,\infty}+d \|\Lambda_1-\Lambda_2\|_{\infty,\infty}$ (I'm just making that up, as an example) probably would be too loose.
Nov 7, 2013 at 22:43 comment added Suvrit Martin, maybe the following similar question is sorta helpful (though it did not see much activity): mathoverflow.net/questions/122934/… --- also, by $a \preceq A$ do you mean $a I \preceq A$? Also, as for "good" upper bound on the last term you wrote, what does "good" mean? E.g., it can be bounded by $\|\Lambda_1 - \Lambda_2\|_2$, but that is not "good" enough I guess?
Nov 7, 2013 at 21:28 review First posts
Nov 7, 2013 at 21:29
Nov 7, 2013 at 21:10 history asked martin CC BY-SA 3.0