Message Boards Message Boards

6
|
3264 Views
|
5 Replies
|
12 Total Likes
View groups...
Share
Share this post:

Obtaining a unitary representation for a given group

Posted 1 year ago

Attachments:
POSTED BY: Hans Dolhaine
5 Replies

Very nice. I have a question though. You create a new matrix by summing the generators and orthogonalize this new one. How do you know the transform will then simultaneously orthogonalize each summand? Does this come from the theory?

POSTED BY: Daniel Lichtblau

This works because they commute

Table[gT[[i]] . gT[[j]] == gT[[j]] . gT[[i]], {i, 4}, {j, i, 4}]
POSTED BY: Mads Bahrami

Hello Dan. Strictly spoken I sum not over generators, but over the whole group. That is the trick that

Conjugate[T[a]] . H . T[a] equals H.

The details are outlined in the text cited.

Correction: it must be of course

TransposeConjugate[T[a]] . H . T[a] equals H.

POSTED BY: Hans Dolhaine

Nice. Thanks for sharing. BTW, one useful built-in function: UnitaryMatrixQ

POSTED BY: Mads Bahrami

enter image description here -- you have earned Featured Contributor Badge enter image description here Your exceptional post has been selected for our editorial column Staff Picks http://wolfr.am/StaffPicks and Your Profile is now distinguished by a Featured Contributor Badge and is displayed on the Featured Contributor Board. Thank you!

POSTED BY: Moderation Team
Reply to this discussion
Community posts can be styled and formatted using the Markdown syntax.
Reply Preview
Attachments
Remove
or Discard

Group Abstract Group Abstract