Linear Mapping and integration - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T02:27:21Z http://mathoverflow.net/feeds/question/42204 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/42204/linear-mapping-and-integration Linear Mapping and integration Shishir Pandey 2010-10-14T20:25:57Z 2010-10-15T08:15:35Z <p>I have been reading the paper - "<a href="http://arxiv.org/abs/1008.2417" rel="nofollow">Introduction to Quantum Fisher Information</a>". In section 1.2 the author talks about the linear map $\mathbb{J}_D$, which he defines as follows:</p> <p>Let $D \in M_n$ be a positive invertible matrix. The linear mapping $\mathbb{J}^f_D:M_n \to M_n$ is defined by the formula</p> <p>$\mathbb{J}_D^f=f(\mathbb{L}_D\mathbb{R}^{-1}_D)\mathbb{R}_D$</p> <p>where $f:\mathbb{R}^+\to\mathbb{R}^+$,</p> <p>$\mathbb{L}_D(X)=DX$ and $\mathbb{R}_D(X)=XD$.</p> <p>Also, the author points out that the inverse mapping of $\mathbb{J}_D^f$ is the given by</p> <p>$\frac{1}{f}(\mathbb{L}_D\mathbb{R}^{-1}_D)\mathbb{R}_D^{-1}$</p> <p>Then he gives the following example, of which I am able to get the first part but not the inverse map. </p> <p><em>Example 1</em>: If $f(x)=(x+1)/2$, then</p> <p>$\mathbb{J}_DB=\frac{1}{2}(DB+BD)$.</p> <p>$\mathbb{J}_DB=\int_0^\infty \text{exp}(-tD/2)B\text{exp}(-tD/2)dt$</p> <p>Can you tell me how does he get the required formula for the inverse map? Also, I would like to know what is the meaning of the map $\mathbb{J}_D$? What does the integral of the linear map represent? Can you also provide me some reference book where I could look for these topics?</p> http://mathoverflow.net/questions/42204/linear-mapping-and-integration/42259#42259 Answer by Makoto Yamashita for Linear Mapping and integration Makoto Yamashita 2010-10-15T07:37:21Z 2010-10-15T08:15:35Z <p>One way to think of the operation ${J}_D^f$ is as follows: $M_n$ has the structure of a Hilbert space by the inner product $\langle X, Y \rangle = {\rm Tr}(X^* Y) = {\rm Tr}(Y X^*)$. Then the transformations $L_D R_{D}^{-1}$ and ${R}_D$ are positive operators on this Hilbert space. Since they commute, you may take the functional calculus $f(s) \otimes g(t) \mapsto f(L_D R_{D}^{-1}) g({R}_D)$ from the space of functions on ${\rm Sp}(L_D R_D^{-1}) \times {\rm Sp}(R_D)$ into the space of bounded operators on $M_n$ (since the spectrum ${\rm Sp}(L_D{R}_{D^{-1}})$ of $L_D$ is a finite subset of ${R}$, there is no need to worry about the regularity of $f$. Ditto for $g$). Then ${J}_D^f$ is simply the image of $f(s) \otimes t$. Since the functional calculus is an algebra homomorphism, the inverse of ${J}_D^f$ is represented by $(1/f(s)) \otimes (1/t)$, which equals $\frac{1}{f}(L_D{R}_D^{-1}){R}_D^{-1}$. When $E \subset M_n$ is the joint eigenspace for $L_D {R}_{D^{-1}}$ and ${R}_D$ with the corresponding eigenvalues $a b^{-1}$ and $b$ (i.e. $L_D$ has eigenvalue $a$ on this subspace), ${J}_D^f$ acts by $f(a/b)b$ on $E$.</p> <p>Any book containing the spectral theory of self adjoint operators on Hilbert spaces will do, like Pedersen's Analysis Now (GTM 118).</p> <p>About the computation of $\mathbb{J}_D$ for the case of $f(t) = \frac{t+1}{2}$, the integral formula follows from the identity $\int_0^\infty exp(-t a / 2) exp(-t b / 2) = \frac{2}{a+b} = \frac{2}{ab^{-1}+1} \frac{1}{b}$.</p> <p>Edit: I made a stupid mistake in the first version, and this is the corrected version. Sorry for the change of notation from $\mathbb{L}_D$ to $L_D$, etc. I somehow couldn't make it to work.</p>