1 00:00:00,000 --> 00:00:06,006 Hello everyone so today I am going to introduce some of the notation some of 2 00:00:06,006 --> 00:00:13,005 which have been sweeping under the rug, in the context of topics, we've already 3 00:00:13,005 --> 00:00:19,008 covered and some that's going to be, important for upcoming lectures. So, I'm 4 00:00:19,008 --> 00:00:26,004 sure some of you are, have been clamoring for this, you know for this level of 5 00:00:26,004 --> 00:00:33,030 precision. And others of you are dreading it but today is the day and so let's get 6 00:00:33,030 --> 00:00:39,050 started. Okay, so what we'll, what I'll talk about today is well, first I'll start 7 00:00:39,050 --> 00:00:46,027 by talking about the Bra-ket notation. So this is just completing this ket notation 8 00:00:46,027 --> 00:00:53,031 that, that I already introduced. Then I'll talk about commission operators and the 9 00:00:53,031 --> 00:00:59,027 admission matrices and eigenvectors, eigenvalues, and finally I'll talk about 10 00:00:59,027 --> 00:01:05,084 Tensa products. Tensa products of Hilbert spaces. Tensor products of matrices, etc. 11 00:01:05,084 --> 00:01:13,002 Okay, so, so, let's get started. Okay so just to make sure we're all on the same 12 00:01:13,002 --> 00:01:20,029 space, page. So far we've been talking about quantum states which let's say we 13 00:01:20,029 --> 00:01:27,060 are working in a K dimensional Hilbert space. K dimensional complex vector space. 14 00:01:27,060 --> 00:01:36,041 So our quantum state is a K dimensional vector. K complex entries. And in our ket 15 00:01:36,041 --> 00:01:46,003 notation, we write it as alpha naught (zero) + alpha1 (one) + so on. Alpha k - 16 00:01:46,003 --> 00:01:55,040 one / k - one. So, just to remind you, ket notation was introduced by Paul Dirac, the 17 00:01:55,040 --> 00:02:03,000 great physicist and the useful thing about, the ket notation for our purposes 18 00:02:03,000 --> 00:02:08,041 is that at the same time, represents the fact that the state is a vector, and that 19 00:02:08,041 --> 00:02:13,088 it conveys information. So, for example, if you had a qubit, you could write its 20 00:02:13,088 --> 00:02:19,043 state as alpha0(0) + alpha1(1). But we could also write it as, you know maybe, 21 00:02:19,043 --> 00:02:24,066 maybe we don't want to write the states as zero and one. Maybe, maybe it's a spin 22 00:02:24,066 --> 00:02:32,040 state, and we want to write it as alpha0 up + alpha1 down or maybe, maybe we want 23 00:02:32,040 --> 00:02:41,079 to write it instead as alpha0(blue) + alpha1(red). Okay, so the, the great thing 24 00:02:41,079 --> 00:02:48,098 about a ket notation is that it makes it very convenient to talk about a label for 25 00:02:48,098 --> 00:02:56,009 each vector in the bases. And at the same time it, it allows you to express what the 26 00:02:56,009 --> 00:03:03,007 amplitudes are, o r the entries of your vector. Okay, so now corresponding to this 27 00:03:03,007 --> 00:03:12,046 vector, which we'll call ket psi, there's a corresponding vector which we will call. 28 00:03:12,046 --> 00:03:22,066 Bra psi and this is the conjugate transpose. It's, it's a row vector alpha 29 00:03:22,066 --> 00:03:32,074 naught alpha1 alphak - one By star I mean just of course, complex conjugate and 30 00:03:32,074 --> 00:03:40,087 we'll denote this, this vector, by this symbol. So, where, where the, where the 31 00:03:40,087 --> 00:03:51,086 pointy end is to the left. And so, together with the ket. This forms Dirac's 32 00:03:51,086 --> 00:04:04,032 Bra-ket notation. Okay so, so, now suppose we have, we have another vector or state 33 00:04:04,032 --> 00:04:15,086 phi which has beta naught(0) + beta1(1) + so on beta k - one, k - one. Okay, so then 34 00:04:15,086 --> 00:04:34,055 what's the inner product of, of psi and phi?. Okay. So if you want to write out 35 00:04:34,055 --> 00:04:45,031 the inner product of psi and phi, the way you would do it is you would, you would 36 00:04:45,031 --> 00:04:54,061 look, you would take alpha naught alpha1 alpha k - one (beta naught, beta1, beta k 37 00:04:54,061 --> 00:05:05,037 - one which is just. Summation of a J of alpha j beta sub J. Right, that's your 38 00:05:05,037 --> 00:05:14,014 inner product. Now, how to you write it in a ket notation? So the way we write it in 39 00:05:14,014 --> 00:05:21,082 the ket notation is we look, we, this is Bra sign, and then we write a ket phi. And 40 00:05:21,082 --> 00:05:29,052 we, we don't duplicate the, the vertical line in the middle and so that's our 41 00:05:29,052 --> 00:05:39,001 notation for inner product. Okay, so now we can also of course once we have an 42 00:05:39,001 --> 00:05:47,000 inner product on our space, we can define the length of a vector. So, so the norm of 43 00:05:47,000 --> 00:06:06,069 psi or it's length, is just the inner product of psi with itself and then the 44 00:06:06,069 --> 00:06:18,003 square root of that. Okay. But what, what would that end up being? Well, that, 45 00:06:18,003 --> 00:06:26,097 that'll just end up being square root of the summation of alpha j alpha j. Which is 46 00:06:26,097 --> 00:06:35,017 of course the square root of the summation of alpha j magnitude squared. And that's 47 00:06:35,017 --> 00:06:43,022 our usual notion of, of, of length of the vector. Now, the other thing you can, you 48 00:06:43,022 --> 00:06:50,089 know the other thing to. If you, if you wish to think about it, intuitively. Then 49 00:06:50,089 --> 00:06:59,061 the inner product gives you a natural notion of the angle between two vectors, 50 00:06:59,061 --> 00:07:08,068 so if this was phi and that's psi then, somehow we want to think of the, the inner 51 00:07:08,068 --> 00:07:14,061 product as telling us what this a ngle theta is between these two vectors, and so 52 00:07:14,061 --> 00:07:21,040 it tells us what cosine theta is. Well but of course you, you have to remember that 53 00:07:21,040 --> 00:07:27,074 in general this, this inner product is going to be a complex number. And so, if 54 00:07:27,074 --> 00:07:33,020 you want to makes, make, make sense of what angle means, we could, we could sort 55 00:07:33,020 --> 00:07:39,000 of say the angle between these two vectors could be defined like this, the theta 56 00:07:39,000 --> 00:07:47,014 could be defined like this but cosine theta is just a unit product between psi 57 00:07:47,014 --> 00:07:58,093 and phi. It's absolute. It's magnitude, divided by the length of psi times length 58 00:07:58,093 --> 00:08:06,075 of phi. Okay. That's just an intuitive notion of, of what the, you know it's, 59 00:08:06,075 --> 00:08:12,062 it's interpreting what, what, what the angle between two vectors is. And here 60 00:08:12,062 --> 00:08:19,081 we'd, of course, want theta to be between zero and phi or two. Okay. So for example, 61 00:08:19,081 --> 00:08:27,040 you see the, the reason we want to do this is because if we were working with just 62 00:08:27,040 --> 00:08:35,018 real vectors then of course we might have this situation or it could be that we had 63 00:08:35,018 --> 00:08:42,004 -psi, and if you had -psi then the inner product would be negative of what it was 64 00:08:42,004 --> 00:08:48,029 here and of course the angle becomes phi by two plus theta. And so we could do 65 00:08:48,029 --> 00:08:54,034 something similar in, you know in, in general of course if we are working in the 66 00:08:54,034 --> 00:09:00,002 complex plane we don't only have to consider, consider for corresponding to 67 00:09:00,002 --> 00:09:09,063 this, this state's phi + or - phi but we also have to consider the E to the IX phi. 68 00:09:09,063 --> 00:09:16,011 So we could have an arbitrary face like this. And okay, so that's what this 69 00:09:16,011 --> 00:09:18,008 definition takes care of.