Is Unitarity Preserved by Different Inner Products?

  • Thread starter Thread starter e(ho0n3
  • Start date Start date
  • Tags Tags
    Unitarity
Click For Summary
The discussion centers on whether a unitary operator U, defined with respect to one inner product, remains unitary under a different inner product. It concludes that U is not necessarily unitary with respect to a new inner product, as changing the inner product alters the adjoint, which is crucial for the unitary condition. The participants clarify that while any inner product can be represented by a Hermitian, positive-definite matrix H, the relationship U'U = 1 may not hold when the inner product changes. They establish that U can be similar to a unitary operator under a different inner product but does not retain its unitary property. Ultimately, the consensus is that the answer to the original question is "no."
e(ho0n3
Messages
1,349
Reaction score
0
Let V be a finite dimensional complex inner product space with inner product < , >. Let U be unitary with respect to this inner product. If ( , ) is another inner product, is U also unitary with respect to ( , )?

The definition of unitary I'm working with is the one that says: U is unitary if <Uv, Uw> = <v w>, i.e. it preserves inner products.

Now it is easy to show that U is unitary with respect to < , > if and only if U'U = 1, where U' is the adjoint and 1 is the identity transformations. But by replacing < , > with ( , ), the prior statement says that U is also unitary with respect to ( , ).

Am I missing something?
 
Physics news on Phys.org
I don't know if the result is true of not, I haven'T thinking about it but you seem to be missing that if the inner product changes, then the adjoint changes also! So mayeb we lose U'U=1 when we change the inner product.
 
You know what, you're right! That hadn't occur to me.

I think the result should be as follows: If U is unitary with respect < , >, then it is similar to a unitary with respect to ( , ).
 
The answer to the original question is "no." Any inner product <.,.> on a finite-dimensional vector space is of the form

\langle x,y\rangle = \overline{x}^t H y

for some hermitian, positive-definite matrix H. For U to be unitary with respect to <.,.>, one needs that \overline{U}^t H U = H. With this in mind, it's easy to cook up examples of unitary matrices with respect to one inner product failing to be unitary matrices with respect to another.

On the other hand, the answer to the second question is "yes." It's enough to show this for when <.,.> is arbitrary and (.,.) is the standard dot product (so: let's fix a basis for our space and think of it as \mathbb{C}^n). Let H be the matrix associated to <.,.> as above. Since H is positive definite and hermitian, one can find an invertible matrix S such that H = \overline{S}^t S (exercise!). Now if U is unitary with respect to (.,.), i.e. U^{-1} = \overline{U}^t, then taking V = S^{-1}US, we find that

\overline{V}^t H V = \overline{S}^t \overline{U}^t \overline{S}^{-t} H S^{-1}US = \overline{S}^t \overline{U}^t \overline{S}^{-t} \overline{S}^t S S^{-1}US = \overline{S}^t \overline{U}^t US = \overline{S}^t S = H,[/itex]<br /> <br /> that is, V is unitary with respect to &lt;.,.&gt;.<br /> <br /> Conversely, if U is unitary with respect to &lt;.,.&gt;, i.e. \overline{U}^t H U = H[/itex], then one can check that SUS^{-1} is unitary with respect to (.,.).&lt;br /&gt; &lt;br /&gt; Hopefully I haven&amp;#039;t made any mistakes.
 
Last edited:
morphism said:
The answer to the original question is "no."
I'm convinced of that now. Thanks.

Since H is positive definite and hermitian, one can find an invertible matrix S such that H = \overline{S}^t S (exercise!).
Since H is Hermitian, you can use the spectral theorem to get an S such that H = S2, where S is positive definite and hence Hermitian.

Hopefully I haven't made any mistakes.
I didn't recognize any. Thanks again.
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
5K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 32 ·
2
Replies
32
Views
4K
  • · Replies 20 ·
Replies
20
Views
4K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K