Is there always another non-trivial hermitian matrix $A$ for $B$ that $e^{iAx_0} = e^{iBx_1}$, $x_0 neq x_1$...
$begingroup$
Suppose $A$ and $B$ are hermitian $n times n$ matrix, with $A neq B$. $x_0$ and $x_1$ are real numbers, with $x_0 neq x_1$.
Let $B$ a given matrix, and $x_0$, $x_1$ are given numbers as well, with $x_0 neq x_1$. Would there always be some $A$ such that $e^{iAx_0} = e^{iBx_1}$ that is not simply $Bx_1/x_0$?
What would happen if $n$ goes to infinity?
edit:
What if I also constrain $A$ to be so that $A neq Bx_1/x_0 + 2pi k/x_0$ with $k in mathbb{Z}$?
linear-algebra
$endgroup$
add a comment |
$begingroup$
Suppose $A$ and $B$ are hermitian $n times n$ matrix, with $A neq B$. $x_0$ and $x_1$ are real numbers, with $x_0 neq x_1$.
Let $B$ a given matrix, and $x_0$, $x_1$ are given numbers as well, with $x_0 neq x_1$. Would there always be some $A$ such that $e^{iAx_0} = e^{iBx_1}$ that is not simply $Bx_1/x_0$?
What would happen if $n$ goes to infinity?
edit:
What if I also constrain $A$ to be so that $A neq Bx_1/x_0 + 2pi k/x_0$ with $k in mathbb{Z}$?
linear-algebra
$endgroup$
add a comment |
$begingroup$
Suppose $A$ and $B$ are hermitian $n times n$ matrix, with $A neq B$. $x_0$ and $x_1$ are real numbers, with $x_0 neq x_1$.
Let $B$ a given matrix, and $x_0$, $x_1$ are given numbers as well, with $x_0 neq x_1$. Would there always be some $A$ such that $e^{iAx_0} = e^{iBx_1}$ that is not simply $Bx_1/x_0$?
What would happen if $n$ goes to infinity?
edit:
What if I also constrain $A$ to be so that $A neq Bx_1/x_0 + 2pi k/x_0$ with $k in mathbb{Z}$?
linear-algebra
$endgroup$
Suppose $A$ and $B$ are hermitian $n times n$ matrix, with $A neq B$. $x_0$ and $x_1$ are real numbers, with $x_0 neq x_1$.
Let $B$ a given matrix, and $x_0$, $x_1$ are given numbers as well, with $x_0 neq x_1$. Would there always be some $A$ such that $e^{iAx_0} = e^{iBx_1}$ that is not simply $Bx_1/x_0$?
What would happen if $n$ goes to infinity?
edit:
What if I also constrain $A$ to be so that $A neq Bx_1/x_0 + 2pi k/x_0$ with $k in mathbb{Z}$?
linear-algebra
linear-algebra
edited Dec 4 '18 at 2:14
Mark Vanderbilt
asked Dec 4 '18 at 0:18
Mark VanderbiltMark Vanderbilt
284
284
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
The equation is equivalent to $e^{iA} = e^{iBt}$ where $t = x_1/x_0$.
Since the exponential map is a group homomorphism, the preimage is the set of matrices of the form $Bt + X$ where $e^{iX} = 1$, i.e. $X$ is in the kernel. The kernel includes diagonal matrices with entries of the form $2pi n$ for $ninmathbb Z$ which are Hermitian.
$endgroup$
1
$begingroup$
What? I'm pretty sure the $i$ out front makes that not work. Like, the diagonal matrix with $2pi$ on the diagonal is Hermitian and in the kernel of $e^{iX}$.
$endgroup$
– jgon
Dec 4 '18 at 1:19
$begingroup$
Thanks that’s better
$endgroup$
– Ben
Dec 4 '18 at 1:59
add a comment |
$begingroup$
Let $A=(Bx_1+2pi k)/x_0$ (which is Hermitian), for any $kinBbb{Z}$. Then
$$e^{iAx_0}=e^{i(Bx_1+2pi k)}=e^{iBx_1+2pi i}=e^{iBx_1},$$
so as long as $x_0ne 0$, then the answer is yes, you can always find $Ane B$ with the property you want.
Also you lost the $i$ in the equation in the body, but its there in the title, so I assume I'm answering the right question.
$endgroup$
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%2f3024920%2fis-there-always-another-non-trivial-hermitian-matrix-a-for-b-that-eiax-0%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$
The equation is equivalent to $e^{iA} = e^{iBt}$ where $t = x_1/x_0$.
Since the exponential map is a group homomorphism, the preimage is the set of matrices of the form $Bt + X$ where $e^{iX} = 1$, i.e. $X$ is in the kernel. The kernel includes diagonal matrices with entries of the form $2pi n$ for $ninmathbb Z$ which are Hermitian.
$endgroup$
1
$begingroup$
What? I'm pretty sure the $i$ out front makes that not work. Like, the diagonal matrix with $2pi$ on the diagonal is Hermitian and in the kernel of $e^{iX}$.
$endgroup$
– jgon
Dec 4 '18 at 1:19
$begingroup$
Thanks that’s better
$endgroup$
– Ben
Dec 4 '18 at 1:59
add a comment |
$begingroup$
The equation is equivalent to $e^{iA} = e^{iBt}$ where $t = x_1/x_0$.
Since the exponential map is a group homomorphism, the preimage is the set of matrices of the form $Bt + X$ where $e^{iX} = 1$, i.e. $X$ is in the kernel. The kernel includes diagonal matrices with entries of the form $2pi n$ for $ninmathbb Z$ which are Hermitian.
$endgroup$
1
$begingroup$
What? I'm pretty sure the $i$ out front makes that not work. Like, the diagonal matrix with $2pi$ on the diagonal is Hermitian and in the kernel of $e^{iX}$.
$endgroup$
– jgon
Dec 4 '18 at 1:19
$begingroup$
Thanks that’s better
$endgroup$
– Ben
Dec 4 '18 at 1:59
add a comment |
$begingroup$
The equation is equivalent to $e^{iA} = e^{iBt}$ where $t = x_1/x_0$.
Since the exponential map is a group homomorphism, the preimage is the set of matrices of the form $Bt + X$ where $e^{iX} = 1$, i.e. $X$ is in the kernel. The kernel includes diagonal matrices with entries of the form $2pi n$ for $ninmathbb Z$ which are Hermitian.
$endgroup$
The equation is equivalent to $e^{iA} = e^{iBt}$ where $t = x_1/x_0$.
Since the exponential map is a group homomorphism, the preimage is the set of matrices of the form $Bt + X$ where $e^{iX} = 1$, i.e. $X$ is in the kernel. The kernel includes diagonal matrices with entries of the form $2pi n$ for $ninmathbb Z$ which are Hermitian.
edited Dec 4 '18 at 1:59
answered Dec 4 '18 at 0:48
BenBen
3,218616
3,218616
1
$begingroup$
What? I'm pretty sure the $i$ out front makes that not work. Like, the diagonal matrix with $2pi$ on the diagonal is Hermitian and in the kernel of $e^{iX}$.
$endgroup$
– jgon
Dec 4 '18 at 1:19
$begingroup$
Thanks that’s better
$endgroup$
– Ben
Dec 4 '18 at 1:59
add a comment |
1
$begingroup$
What? I'm pretty sure the $i$ out front makes that not work. Like, the diagonal matrix with $2pi$ on the diagonal is Hermitian and in the kernel of $e^{iX}$.
$endgroup$
– jgon
Dec 4 '18 at 1:19
$begingroup$
Thanks that’s better
$endgroup$
– Ben
Dec 4 '18 at 1:59
1
1
$begingroup$
What? I'm pretty sure the $i$ out front makes that not work. Like, the diagonal matrix with $2pi$ on the diagonal is Hermitian and in the kernel of $e^{iX}$.
$endgroup$
– jgon
Dec 4 '18 at 1:19
$begingroup$
What? I'm pretty sure the $i$ out front makes that not work. Like, the diagonal matrix with $2pi$ on the diagonal is Hermitian and in the kernel of $e^{iX}$.
$endgroup$
– jgon
Dec 4 '18 at 1:19
$begingroup$
Thanks that’s better
$endgroup$
– Ben
Dec 4 '18 at 1:59
$begingroup$
Thanks that’s better
$endgroup$
– Ben
Dec 4 '18 at 1:59
add a comment |
$begingroup$
Let $A=(Bx_1+2pi k)/x_0$ (which is Hermitian), for any $kinBbb{Z}$. Then
$$e^{iAx_0}=e^{i(Bx_1+2pi k)}=e^{iBx_1+2pi i}=e^{iBx_1},$$
so as long as $x_0ne 0$, then the answer is yes, you can always find $Ane B$ with the property you want.
Also you lost the $i$ in the equation in the body, but its there in the title, so I assume I'm answering the right question.
$endgroup$
add a comment |
$begingroup$
Let $A=(Bx_1+2pi k)/x_0$ (which is Hermitian), for any $kinBbb{Z}$. Then
$$e^{iAx_0}=e^{i(Bx_1+2pi k)}=e^{iBx_1+2pi i}=e^{iBx_1},$$
so as long as $x_0ne 0$, then the answer is yes, you can always find $Ane B$ with the property you want.
Also you lost the $i$ in the equation in the body, but its there in the title, so I assume I'm answering the right question.
$endgroup$
add a comment |
$begingroup$
Let $A=(Bx_1+2pi k)/x_0$ (which is Hermitian), for any $kinBbb{Z}$. Then
$$e^{iAx_0}=e^{i(Bx_1+2pi k)}=e^{iBx_1+2pi i}=e^{iBx_1},$$
so as long as $x_0ne 0$, then the answer is yes, you can always find $Ane B$ with the property you want.
Also you lost the $i$ in the equation in the body, but its there in the title, so I assume I'm answering the right question.
$endgroup$
Let $A=(Bx_1+2pi k)/x_0$ (which is Hermitian), for any $kinBbb{Z}$. Then
$$e^{iAx_0}=e^{i(Bx_1+2pi k)}=e^{iBx_1+2pi i}=e^{iBx_1},$$
so as long as $x_0ne 0$, then the answer is yes, you can always find $Ane B$ with the property you want.
Also you lost the $i$ in the equation in the body, but its there in the title, so I assume I'm answering the right question.
answered Dec 4 '18 at 1:30
jgonjgon
13.5k22041
13.5k22041
add a comment |
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%2f3024920%2fis-there-always-another-non-trivial-hermitian-matrix-a-for-b-that-eiax-0%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