Eigenvectors with at least one positive component

rkrsnan
Messages
53
Reaction score
0
I am wondering if there is a systematic way to fix the phase of complex eigenvectors. For example e^{i \theta}(1,\omega,\omega^2) where e^{i \theta} is an arbitrary phase and \omega and \omega^2 are the cube roots of unity, is an eigenvector of the cyclic matrix \left(\begin{matrix}0& 1&0\\0&0&1\\1&0&0\end{matrix}\right). But I feel that (1,\omega,\omega^2) and equivalently (\omega,\omega^2,1) and (\omega^2,1,\omega) are somehow special because one of the components is real and positive. Is there some special name for such a choice of phase? Any reference will be greatly appreciated.
 
Physics news on Phys.org


I am not sure what you really want, but any eigenvector has at least one nonzero component, call it a. Dividing the vector with a gives an eigenvector such that (at least) one of its components is 1, which is real and positive.
 
The phase of an eigenvector is arbitrary, whether it is real or complex.

If you are finding the solution to some problem as a linear combination of eigenvectors ##\sum_i a_i \phi_i##, you could say that each "component' ##a_k \phi_k## has a definite phase (and magnitude) because the numerical value of ##a_k## depends on the arbitrary choice for the phase of the corresponding ##\phi_k##.

In some practical situations you might choose to fix the amplitude and phase of an eigenvector in an arbitrary way (e.g. by making the biggest component of the vector = +1) but doing that doesn't have much mathematical significance.
 
Thanks guys for the reply. I am aware of the things you pointed out. As Erland said I should have been more specific on what I want. I am studying the representations of discrete groups for application in physics. Eigenvectors of group elements are significant in this context (for example the matrix that I wrote in the earlier post represents a rotation by 2pi/3 about the axis (1,1,1) and the axis (1,1,1) is an eigenvector). The problem of phase arises when I starts looking at complex eigenvectors for example (1, \omega,\omega^2). All I am saying is that a phase convention with one of the components real and positive is "appealing" to me (especially in the physics context) and so I want to know if such a choice is somehow special for a mathematian.
 
Ohh, I now notice something. Since my representation matrices are unitary, their eigenvalues are always in the form e^{i \theta}. For the matrix that I wrote in the first post, the eigenvalue (corresponding to the eigenvector (1,\omega, \omega^2)) is e^{i 2\pi/3}. So basically the "appealing" phase convention has all its components having phases just a multiple of the eigenvalue.

So let me make a hypothesis. Please let me know it is true.

Let e^{i \theta} be an eigenvalue for a special unitary matrix, U. We will always be able to choose a phase convention for the corresponding eigenvector so that all its components have a phase e^{i n \theta} where n is an integer.
 
Ok, I was wrong, I tried with random unitary matrices and it didn' t work. So let me modify my hypothesis.

Let U be a discrete unitary matrix, with U^n = I, where n is an integer. Its eigenvalues will be of the form e^{i m\frac {2\pi} {n}} where m is an integer. There exists a basis and a phase convention in which all the components of the eigenvectors are of the form | a_x | e^{i k_x\frac {2\pi}{n}} where k_x are integers.

Please let me know if the above statement is true. Thanks very much!
 
Last edited:
I asked online questions about Proposition 2.1.1: The answer I got is the following: I have some questions about the answer I got. When the person answering says: ##1.## Is the map ##\mathfrak{q}\mapsto \mathfrak{q} A _\mathfrak{p}## from ##A\setminus \mathfrak{p}\to A_\mathfrak{p}##? But I don't understand what the author meant for the rest of the sentence in mathematical notation: ##2.## In the next statement where the author says: How is ##A\to...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top