Show that this matrix is unitary
$begingroup$
I'm currently working on quantum computing.
In a literature source that I have, it is said that the following matrix $U$ is unitary.
My question is, how can we show that in this matrix? I know that a matrix is unitary if:
$U^{*}U=I$
The matrix is an NxN matrix:
$U=begin{pmatrix} -1+frac{2}{N} & frac{2}{N} & ...& frac{2}{N} \
frac{2}{N} & -1+frac{2}{N} & ...& frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ...& -1+frac{2}{N} end{pmatrix} $
my first thought would be to pull the 1 out:
$U=begin{pmatrix} frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} end{pmatrix} - I $
Then you would have to show now that the matrix is unitary, but I can not get any further here.
I would be very happy if someone could help me to show that the matrix is unitary. I hope that my question is clear and understandable.
linear-algebra matrices
$endgroup$
add a comment |
$begingroup$
I'm currently working on quantum computing.
In a literature source that I have, it is said that the following matrix $U$ is unitary.
My question is, how can we show that in this matrix? I know that a matrix is unitary if:
$U^{*}U=I$
The matrix is an NxN matrix:
$U=begin{pmatrix} -1+frac{2}{N} & frac{2}{N} & ...& frac{2}{N} \
frac{2}{N} & -1+frac{2}{N} & ...& frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ...& -1+frac{2}{N} end{pmatrix} $
my first thought would be to pull the 1 out:
$U=begin{pmatrix} frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} end{pmatrix} - I $
Then you would have to show now that the matrix is unitary, but I can not get any further here.
I would be very happy if someone could help me to show that the matrix is unitary. I hope that my question is clear and understandable.
linear-algebra matrices
$endgroup$
add a comment |
$begingroup$
I'm currently working on quantum computing.
In a literature source that I have, it is said that the following matrix $U$ is unitary.
My question is, how can we show that in this matrix? I know that a matrix is unitary if:
$U^{*}U=I$
The matrix is an NxN matrix:
$U=begin{pmatrix} -1+frac{2}{N} & frac{2}{N} & ...& frac{2}{N} \
frac{2}{N} & -1+frac{2}{N} & ...& frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ...& -1+frac{2}{N} end{pmatrix} $
my first thought would be to pull the 1 out:
$U=begin{pmatrix} frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} end{pmatrix} - I $
Then you would have to show now that the matrix is unitary, but I can not get any further here.
I would be very happy if someone could help me to show that the matrix is unitary. I hope that my question is clear and understandable.
linear-algebra matrices
$endgroup$
I'm currently working on quantum computing.
In a literature source that I have, it is said that the following matrix $U$ is unitary.
My question is, how can we show that in this matrix? I know that a matrix is unitary if:
$U^{*}U=I$
The matrix is an NxN matrix:
$U=begin{pmatrix} -1+frac{2}{N} & frac{2}{N} & ...& frac{2}{N} \
frac{2}{N} & -1+frac{2}{N} & ...& frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ...& -1+frac{2}{N} end{pmatrix} $
my first thought would be to pull the 1 out:
$U=begin{pmatrix} frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} end{pmatrix} - I $
Then you would have to show now that the matrix is unitary, but I can not get any further here.
I would be very happy if someone could help me to show that the matrix is unitary. I hope that my question is clear and understandable.
linear-algebra matrices
linear-algebra matrices
asked Jan 24 at 13:44
QuantaMagQuantaMag
134
134
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
$ U^{*} = U = begin{pmatrix} frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} end{pmatrix} - I $
(conjugate transpose is just transpose here, as conjugate of a real is the real number itself).
Let us take a new matrix $A$,
$ A= begin{pmatrix} frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} end{pmatrix} $
So $U^{*}U= U^2 = (A-I)*(A-I) = A^2 - 2AI + I = A^2 - 2A + I$
$ A^2= begin{pmatrix} frac{4}{N} & frac{4}{N} & ... & frac{4}{N} \
frac{4}{N} & frac{4}{N} & ... & frac{4}{N} \ vdots & vdots & ddots & vdots \
frac{4}{N} & frac{4}{N} & ... & frac{4}{N} end{pmatrix} = 2A $
So $A^2-2A$ is null matrix (all entries $0$)
And so $U^{*}U= I$
$endgroup$
$begingroup$
Thank you for your answer, I would like to reward you with an upvote, but I do not have enough reputation ... How did you come to the $4/N$ in the $A^2$ matrix? Can you explain that a little bit more in detail? My guess is that it's because you run the $((2/N)*(2/N))$ N times.
$endgroup$
– QuantaMag
Jan 24 at 14:37
$begingroup$
@QuantaMag Yes, exactly, I assume you can see how each entry of $A^2$ is obtained just by matrix multiplication, just like the way you described. $((2/N)*(2/N)) + ((2/N)*(2/N)) + ... $ (N times) = $ N*(4/N^2) = 4/N $. If there is still any confusion, I will edit my answer to clarify further. Also, if you found my answer satisfactorily answers your question, you can accept my answer, even if you do not have reputation to upvote.
$endgroup$
– Swapnil Rustagi
Jan 24 at 15:25
add a comment |
$begingroup$
Note that
$$
U=frac{2}{N}vv^T -I
$$ where $v=(1,1,ldots,1)^TinBbb R^N$. Hence $U=U^T$ and
$$
UU^T =U^2 =I-frac{4}{N}vv^T +frac{4}{N^2}(v^Tv)vv^T=I-frac{4}{N}vv^T +frac{4}{N}vv^T=I
$$ since $v^Tv = |v|^2=N$.
$endgroup$
$begingroup$
Thanks for your answer, I'm just trying to understand your answer. One more question, how did you come to this $v^Tv = |v|^2=N$ ?
$endgroup$
– QuantaMag
Jan 24 at 14:45
$begingroup$
@QuantaMag That is because $v^T v =vcdot v = |v|^2=1^2+1^2+cdots +1^2=N$ where $cdot$ is standard inner(scalar) product, i.e. $vec{a}cdot vec{b} = a_1b_1+a_2b_2+cdots+ a_Nb_N$.
$endgroup$
– Song
Jan 24 at 14:46
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3085893%2fshow-that-this-matrix-is-unitary%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
$ U^{*} = U = begin{pmatrix} frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} end{pmatrix} - I $
(conjugate transpose is just transpose here, as conjugate of a real is the real number itself).
Let us take a new matrix $A$,
$ A= begin{pmatrix} frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} end{pmatrix} $
So $U^{*}U= U^2 = (A-I)*(A-I) = A^2 - 2AI + I = A^2 - 2A + I$
$ A^2= begin{pmatrix} frac{4}{N} & frac{4}{N} & ... & frac{4}{N} \
frac{4}{N} & frac{4}{N} & ... & frac{4}{N} \ vdots & vdots & ddots & vdots \
frac{4}{N} & frac{4}{N} & ... & frac{4}{N} end{pmatrix} = 2A $
So $A^2-2A$ is null matrix (all entries $0$)
And so $U^{*}U= I$
$endgroup$
$begingroup$
Thank you for your answer, I would like to reward you with an upvote, but I do not have enough reputation ... How did you come to the $4/N$ in the $A^2$ matrix? Can you explain that a little bit more in detail? My guess is that it's because you run the $((2/N)*(2/N))$ N times.
$endgroup$
– QuantaMag
Jan 24 at 14:37
$begingroup$
@QuantaMag Yes, exactly, I assume you can see how each entry of $A^2$ is obtained just by matrix multiplication, just like the way you described. $((2/N)*(2/N)) + ((2/N)*(2/N)) + ... $ (N times) = $ N*(4/N^2) = 4/N $. If there is still any confusion, I will edit my answer to clarify further. Also, if you found my answer satisfactorily answers your question, you can accept my answer, even if you do not have reputation to upvote.
$endgroup$
– Swapnil Rustagi
Jan 24 at 15:25
add a comment |
$begingroup$
$ U^{*} = U = begin{pmatrix} frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} end{pmatrix} - I $
(conjugate transpose is just transpose here, as conjugate of a real is the real number itself).
Let us take a new matrix $A$,
$ A= begin{pmatrix} frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} end{pmatrix} $
So $U^{*}U= U^2 = (A-I)*(A-I) = A^2 - 2AI + I = A^2 - 2A + I$
$ A^2= begin{pmatrix} frac{4}{N} & frac{4}{N} & ... & frac{4}{N} \
frac{4}{N} & frac{4}{N} & ... & frac{4}{N} \ vdots & vdots & ddots & vdots \
frac{4}{N} & frac{4}{N} & ... & frac{4}{N} end{pmatrix} = 2A $
So $A^2-2A$ is null matrix (all entries $0$)
And so $U^{*}U= I$
$endgroup$
$begingroup$
Thank you for your answer, I would like to reward you with an upvote, but I do not have enough reputation ... How did you come to the $4/N$ in the $A^2$ matrix? Can you explain that a little bit more in detail? My guess is that it's because you run the $((2/N)*(2/N))$ N times.
$endgroup$
– QuantaMag
Jan 24 at 14:37
$begingroup$
@QuantaMag Yes, exactly, I assume you can see how each entry of $A^2$ is obtained just by matrix multiplication, just like the way you described. $((2/N)*(2/N)) + ((2/N)*(2/N)) + ... $ (N times) = $ N*(4/N^2) = 4/N $. If there is still any confusion, I will edit my answer to clarify further. Also, if you found my answer satisfactorily answers your question, you can accept my answer, even if you do not have reputation to upvote.
$endgroup$
– Swapnil Rustagi
Jan 24 at 15:25
add a comment |
$begingroup$
$ U^{*} = U = begin{pmatrix} frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} end{pmatrix} - I $
(conjugate transpose is just transpose here, as conjugate of a real is the real number itself).
Let us take a new matrix $A$,
$ A= begin{pmatrix} frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} end{pmatrix} $
So $U^{*}U= U^2 = (A-I)*(A-I) = A^2 - 2AI + I = A^2 - 2A + I$
$ A^2= begin{pmatrix} frac{4}{N} & frac{4}{N} & ... & frac{4}{N} \
frac{4}{N} & frac{4}{N} & ... & frac{4}{N} \ vdots & vdots & ddots & vdots \
frac{4}{N} & frac{4}{N} & ... & frac{4}{N} end{pmatrix} = 2A $
So $A^2-2A$ is null matrix (all entries $0$)
And so $U^{*}U= I$
$endgroup$
$ U^{*} = U = begin{pmatrix} frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} end{pmatrix} - I $
(conjugate transpose is just transpose here, as conjugate of a real is the real number itself).
Let us take a new matrix $A$,
$ A= begin{pmatrix} frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} \ vdots & vdots & ddots & vdots \
frac{2}{N} & frac{2}{N} & ... & frac{2}{N} end{pmatrix} $
So $U^{*}U= U^2 = (A-I)*(A-I) = A^2 - 2AI + I = A^2 - 2A + I$
$ A^2= begin{pmatrix} frac{4}{N} & frac{4}{N} & ... & frac{4}{N} \
frac{4}{N} & frac{4}{N} & ... & frac{4}{N} \ vdots & vdots & ddots & vdots \
frac{4}{N} & frac{4}{N} & ... & frac{4}{N} end{pmatrix} = 2A $
So $A^2-2A$ is null matrix (all entries $0$)
And so $U^{*}U= I$
answered Jan 24 at 13:55
Swapnil RustagiSwapnil Rustagi
758721
758721
$begingroup$
Thank you for your answer, I would like to reward you with an upvote, but I do not have enough reputation ... How did you come to the $4/N$ in the $A^2$ matrix? Can you explain that a little bit more in detail? My guess is that it's because you run the $((2/N)*(2/N))$ N times.
$endgroup$
– QuantaMag
Jan 24 at 14:37
$begingroup$
@QuantaMag Yes, exactly, I assume you can see how each entry of $A^2$ is obtained just by matrix multiplication, just like the way you described. $((2/N)*(2/N)) + ((2/N)*(2/N)) + ... $ (N times) = $ N*(4/N^2) = 4/N $. If there is still any confusion, I will edit my answer to clarify further. Also, if you found my answer satisfactorily answers your question, you can accept my answer, even if you do not have reputation to upvote.
$endgroup$
– Swapnil Rustagi
Jan 24 at 15:25
add a comment |
$begingroup$
Thank you for your answer, I would like to reward you with an upvote, but I do not have enough reputation ... How did you come to the $4/N$ in the $A^2$ matrix? Can you explain that a little bit more in detail? My guess is that it's because you run the $((2/N)*(2/N))$ N times.
$endgroup$
– QuantaMag
Jan 24 at 14:37
$begingroup$
@QuantaMag Yes, exactly, I assume you can see how each entry of $A^2$ is obtained just by matrix multiplication, just like the way you described. $((2/N)*(2/N)) + ((2/N)*(2/N)) + ... $ (N times) = $ N*(4/N^2) = 4/N $. If there is still any confusion, I will edit my answer to clarify further. Also, if you found my answer satisfactorily answers your question, you can accept my answer, even if you do not have reputation to upvote.
$endgroup$
– Swapnil Rustagi
Jan 24 at 15:25
$begingroup$
Thank you for your answer, I would like to reward you with an upvote, but I do not have enough reputation ... How did you come to the $4/N$ in the $A^2$ matrix? Can you explain that a little bit more in detail? My guess is that it's because you run the $((2/N)*(2/N))$ N times.
$endgroup$
– QuantaMag
Jan 24 at 14:37
$begingroup$
Thank you for your answer, I would like to reward you with an upvote, but I do not have enough reputation ... How did you come to the $4/N$ in the $A^2$ matrix? Can you explain that a little bit more in detail? My guess is that it's because you run the $((2/N)*(2/N))$ N times.
$endgroup$
– QuantaMag
Jan 24 at 14:37
$begingroup$
@QuantaMag Yes, exactly, I assume you can see how each entry of $A^2$ is obtained just by matrix multiplication, just like the way you described. $((2/N)*(2/N)) + ((2/N)*(2/N)) + ... $ (N times) = $ N*(4/N^2) = 4/N $. If there is still any confusion, I will edit my answer to clarify further. Also, if you found my answer satisfactorily answers your question, you can accept my answer, even if you do not have reputation to upvote.
$endgroup$
– Swapnil Rustagi
Jan 24 at 15:25
$begingroup$
@QuantaMag Yes, exactly, I assume you can see how each entry of $A^2$ is obtained just by matrix multiplication, just like the way you described. $((2/N)*(2/N)) + ((2/N)*(2/N)) + ... $ (N times) = $ N*(4/N^2) = 4/N $. If there is still any confusion, I will edit my answer to clarify further. Also, if you found my answer satisfactorily answers your question, you can accept my answer, even if you do not have reputation to upvote.
$endgroup$
– Swapnil Rustagi
Jan 24 at 15:25
add a comment |
$begingroup$
Note that
$$
U=frac{2}{N}vv^T -I
$$ where $v=(1,1,ldots,1)^TinBbb R^N$. Hence $U=U^T$ and
$$
UU^T =U^2 =I-frac{4}{N}vv^T +frac{4}{N^2}(v^Tv)vv^T=I-frac{4}{N}vv^T +frac{4}{N}vv^T=I
$$ since $v^Tv = |v|^2=N$.
$endgroup$
$begingroup$
Thanks for your answer, I'm just trying to understand your answer. One more question, how did you come to this $v^Tv = |v|^2=N$ ?
$endgroup$
– QuantaMag
Jan 24 at 14:45
$begingroup$
@QuantaMag That is because $v^T v =vcdot v = |v|^2=1^2+1^2+cdots +1^2=N$ where $cdot$ is standard inner(scalar) product, i.e. $vec{a}cdot vec{b} = a_1b_1+a_2b_2+cdots+ a_Nb_N$.
$endgroup$
– Song
Jan 24 at 14:46
add a comment |
$begingroup$
Note that
$$
U=frac{2}{N}vv^T -I
$$ where $v=(1,1,ldots,1)^TinBbb R^N$. Hence $U=U^T$ and
$$
UU^T =U^2 =I-frac{4}{N}vv^T +frac{4}{N^2}(v^Tv)vv^T=I-frac{4}{N}vv^T +frac{4}{N}vv^T=I
$$ since $v^Tv = |v|^2=N$.
$endgroup$
$begingroup$
Thanks for your answer, I'm just trying to understand your answer. One more question, how did you come to this $v^Tv = |v|^2=N$ ?
$endgroup$
– QuantaMag
Jan 24 at 14:45
$begingroup$
@QuantaMag That is because $v^T v =vcdot v = |v|^2=1^2+1^2+cdots +1^2=N$ where $cdot$ is standard inner(scalar) product, i.e. $vec{a}cdot vec{b} = a_1b_1+a_2b_2+cdots+ a_Nb_N$.
$endgroup$
– Song
Jan 24 at 14:46
add a comment |
$begingroup$
Note that
$$
U=frac{2}{N}vv^T -I
$$ where $v=(1,1,ldots,1)^TinBbb R^N$. Hence $U=U^T$ and
$$
UU^T =U^2 =I-frac{4}{N}vv^T +frac{4}{N^2}(v^Tv)vv^T=I-frac{4}{N}vv^T +frac{4}{N}vv^T=I
$$ since $v^Tv = |v|^2=N$.
$endgroup$
Note that
$$
U=frac{2}{N}vv^T -I
$$ where $v=(1,1,ldots,1)^TinBbb R^N$. Hence $U=U^T$ and
$$
UU^T =U^2 =I-frac{4}{N}vv^T +frac{4}{N^2}(v^Tv)vv^T=I-frac{4}{N}vv^T +frac{4}{N}vv^T=I
$$ since $v^Tv = |v|^2=N$.
answered Jan 24 at 13:51


SongSong
18.1k21449
18.1k21449
$begingroup$
Thanks for your answer, I'm just trying to understand your answer. One more question, how did you come to this $v^Tv = |v|^2=N$ ?
$endgroup$
– QuantaMag
Jan 24 at 14:45
$begingroup$
@QuantaMag That is because $v^T v =vcdot v = |v|^2=1^2+1^2+cdots +1^2=N$ where $cdot$ is standard inner(scalar) product, i.e. $vec{a}cdot vec{b} = a_1b_1+a_2b_2+cdots+ a_Nb_N$.
$endgroup$
– Song
Jan 24 at 14:46
add a comment |
$begingroup$
Thanks for your answer, I'm just trying to understand your answer. One more question, how did you come to this $v^Tv = |v|^2=N$ ?
$endgroup$
– QuantaMag
Jan 24 at 14:45
$begingroup$
@QuantaMag That is because $v^T v =vcdot v = |v|^2=1^2+1^2+cdots +1^2=N$ where $cdot$ is standard inner(scalar) product, i.e. $vec{a}cdot vec{b} = a_1b_1+a_2b_2+cdots+ a_Nb_N$.
$endgroup$
– Song
Jan 24 at 14:46
$begingroup$
Thanks for your answer, I'm just trying to understand your answer. One more question, how did you come to this $v^Tv = |v|^2=N$ ?
$endgroup$
– QuantaMag
Jan 24 at 14:45
$begingroup$
Thanks for your answer, I'm just trying to understand your answer. One more question, how did you come to this $v^Tv = |v|^2=N$ ?
$endgroup$
– QuantaMag
Jan 24 at 14:45
$begingroup$
@QuantaMag That is because $v^T v =vcdot v = |v|^2=1^2+1^2+cdots +1^2=N$ where $cdot$ is standard inner(scalar) product, i.e. $vec{a}cdot vec{b} = a_1b_1+a_2b_2+cdots+ a_Nb_N$.
$endgroup$
– Song
Jan 24 at 14:46
$begingroup$
@QuantaMag That is because $v^T v =vcdot v = |v|^2=1^2+1^2+cdots +1^2=N$ where $cdot$ is standard inner(scalar) product, i.e. $vec{a}cdot vec{b} = a_1b_1+a_2b_2+cdots+ a_Nb_N$.
$endgroup$
– Song
Jan 24 at 14:46
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3085893%2fshow-that-this-matrix-is-unitary%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown