Wednesday, November 15, 2017

mathematical physics - Intuitive meaning of the exponential form of an unitary operator in Quantum Mechanics


I'm an undergraduate student in Chemistry currently studying quantum mechanics and I have a problem with unitary transformations. Here in my book, it is stated that




Every unitary operator $\hat{\mathcal{U}}$ can be written in an exponential form as follows: $$\mathrm{e}^{-i\alpha\hat{\mathcal{T}}}=\sum_{k=0}^{\infty}\dfrac{1}{k!}\left(-i\alpha\right)^{k}\hat{\mathcal{T}}^{k} $$



Provided that I have no knowledge of Lie Group/Algebra, my questions are:



  • Why a unitary operator can be always represented by an exponential form?

  • What is the intuitive mathematical meaning of the exponential form/matrix?

  • What is the relation between the operator $\hat{\mathcal{U}}$ and the operator $\hat{\mathcal{T}}$?

  • What is its physical meaning?




Answer



There's no escaping Lie theory if you want to understand what is going on mathematically. I'll try to provide some intuitive pictures for what is going on in the footnotes, though I'm not sure if it will be what you are looking for.


On any (finite-dimensional, for simplicity) vector space, the group of unitary operators is the Lie group $\mathrm{U}(N)$, which is connected. Lie groups are manifolds, i.e. things that locally look like $\mathbb{R}^N$, and as such possess tangent spaces at every point spanned by the derivatives of their coordinates — or, equivalently, by all possible directions of paths at that point. These directions form, at $g \in \mathrm{U}(N)$, the $N$-dimensional vector space $T_g \mathrm{U}(N)$.1


Canonically, we take the tangent space at the identity $\mathbf{1} \in \mathrm{U}(N)$ and call it the Lie algebra $\mathfrak{g} \cong T_\mathbf{1}\mathrm{U}(N)$. Now, from tangent spaces, there is something called the exponential map to the manifold itself. It is a fact that, for compact groups, such as the unitary group, said map is surjective onto the part containing the identity.2 It is a further fact that the unitary group is connected, meaning that it has no parts not connected to the identity, so the exponential map $\mathfrak{u}(N) \to \mathrm{U}(N)$ is surjective, and hence every unitary operator is the exponential of some Lie algebra element.3 (The exponential map is always surjective locally, so we are in principle able to find exponential forms for other operators, too)


So, the above (and the notes) answers to your first three questions: We can always represent a unitary operator like that since $\mathrm{U}(N)$ is compact and connected, the exponential of an operator means "walking in the direction specified by that operator", and while $\mathcal{U}$ lies in the Lie group, $\mathcal{T}$ lies, as its generator, in the Lie algebra. One also says that $\mathcal{T}$ is the infinitesimal generator of $\mathcal{U}$, since, in $\mathrm{e}^{\alpha \mathcal{T}}$, we can see it as giving only the direction of the operation, while $\alpha$ tells us how far from the identity the generated exponetial will lie.


The physical meaning is a difficult thing to tell generally - often, it will be that the $\mathcal{T}$ is a generator of a symmetry, and the unitary operator $\mathcal{U}$ is the finite version of that symmetry, for example, the Hamiltonian $H$ generates the time translation $U$, the angular momenta $L_i$ generate the rotations $\mathrm{SO}(3)$, and so on, and so forth — the generator is always the infinitesimal version of the exponentiated operator in the sense that


$$ \mathrm{e}^{\epsilon T} = 1 + \epsilon T + \mathcal{O}(\epsilon^2)$$


so the generated operator will, for small $\epsilon$ be displaced from the identity by almost exactly $\epsilon T$.




1 Think of the circle (which is $\mathrm{U}(1)$): At every point on the circle, you can draw the tangent to it - which is $\mathbb{R}$, a 1D vector space. The length of the tangent vector specifies "how fast" the path in that direction will be traversed.



2 Think of the two-dimensional sphere (which is, sadly, not a Lie group, but illustrative for the exponential map). Take the tangent space at one point and imagine you are actually holding a sheet of paper next to a sphere. Now "crumble" the paper around the sphere. You will end up covering the whole sphere, and if the paper is large enough (it would have to be infinte to represent the tangent space), you can even wind it around the sphere multiple times, thus showing that the exponential map cannot be injective, but is easily seen to be surjective. A more precise notion of this crumbling would be to fix some measure of length on the sphere and map every vector in the algebra to a point on the sphere by walking into the direction indicated by the vector exactly as far as its length tells you.


3 This is quite easy to understand - if there were some part of the group wholly disconnected to our group, or if our group had infinite volume (if it was non-compact), we could not hope to cover it wholly with only one sheet of paper, no matter how large.


No comments:

Post a Comment

classical mechanics - Moment of a force about a given axis (Torque) - Scalar or vectorial?

I am studying Statics and saw that: The moment of a force about a given axis (or Torque) is defined by the equation: $M_X = (\vec r \times \...