Spectrum of a Subspace of MatricesProving “almost all matrices over C are diagonalizable”.Matrices: characterizing pairs $(AB, BA)$What is known about the distribution of eigenvectors of random matrices?Is there a nice choice-free argument to count the number of sublattices?Complexity class of matrix generalization of knapsack problemRotatable matrix, its eigenvalues and eigenvectors
Spectrum of a Subspace of Matrices
Proving “almost all matrices over C are diagonalizable”.Matrices: characterizing pairs $(AB, BA)$What is known about the distribution of eigenvectors of random matrices?Is there a nice choice-free argument to count the number of sublattices?Complexity class of matrix generalization of knapsack problemRotatable matrix, its eigenvalues and eigenvectors
$begingroup$
I conjecture the following:
Let $U subset Bbb C^n times n$ be an affine subspace, and let $S_U$ denote the "spectrum of $U$", that is
$$
S_U = lambda in Bbb C : det(A - lambda I) = 0 text for some A in U.
$$
Then either all elements of $U$ have an identical spectrum, or $S_U = Bbb C$.
Is this correct? Some simple examples of each case: for any fixed $lambda_i$,
$$
U_1 = leftpmatrixlambda_1&t\0&lambda_2: t in Bbb Cright, quad
U_2 = leftpmatrixlambda_1&0\0&t: t in Bbb Cright.
$$
Clearly, $S_U_1 = lambda_1,lambda_2$ and $S_U_2 = Bbb C$. Are there any other possibilities? I suspect that there is a quick algebraic-geometry approach here that I am missing.
An aside: I would also be interested in the case of real affine subspaces of $Bbb C^n times n$, if anyone has insights on what the possibilities are there. Note that the symmetric real matrices are an example of a subspace where we attain $S_U^(Bbb R) = Bbb R subsetneq Bbb C$. We can clearly attain any "line" in $Bbb C$, but I wonder if there are other possibilities.
linear-algebra
$endgroup$
add a comment
|
$begingroup$
I conjecture the following:
Let $U subset Bbb C^n times n$ be an affine subspace, and let $S_U$ denote the "spectrum of $U$", that is
$$
S_U = lambda in Bbb C : det(A - lambda I) = 0 text for some A in U.
$$
Then either all elements of $U$ have an identical spectrum, or $S_U = Bbb C$.
Is this correct? Some simple examples of each case: for any fixed $lambda_i$,
$$
U_1 = leftpmatrixlambda_1&t\0&lambda_2: t in Bbb Cright, quad
U_2 = leftpmatrixlambda_1&0\0&t: t in Bbb Cright.
$$
Clearly, $S_U_1 = lambda_1,lambda_2$ and $S_U_2 = Bbb C$. Are there any other possibilities? I suspect that there is a quick algebraic-geometry approach here that I am missing.
An aside: I would also be interested in the case of real affine subspaces of $Bbb C^n times n$, if anyone has insights on what the possibilities are there. Note that the symmetric real matrices are an example of a subspace where we attain $S_U^(Bbb R) = Bbb R subsetneq Bbb C$. We can clearly attain any "line" in $Bbb C$, but I wonder if there are other possibilities.
linear-algebra
$endgroup$
add a comment
|
$begingroup$
I conjecture the following:
Let $U subset Bbb C^n times n$ be an affine subspace, and let $S_U$ denote the "spectrum of $U$", that is
$$
S_U = lambda in Bbb C : det(A - lambda I) = 0 text for some A in U.
$$
Then either all elements of $U$ have an identical spectrum, or $S_U = Bbb C$.
Is this correct? Some simple examples of each case: for any fixed $lambda_i$,
$$
U_1 = leftpmatrixlambda_1&t\0&lambda_2: t in Bbb Cright, quad
U_2 = leftpmatrixlambda_1&0\0&t: t in Bbb Cright.
$$
Clearly, $S_U_1 = lambda_1,lambda_2$ and $S_U_2 = Bbb C$. Are there any other possibilities? I suspect that there is a quick algebraic-geometry approach here that I am missing.
An aside: I would also be interested in the case of real affine subspaces of $Bbb C^n times n$, if anyone has insights on what the possibilities are there. Note that the symmetric real matrices are an example of a subspace where we attain $S_U^(Bbb R) = Bbb R subsetneq Bbb C$. We can clearly attain any "line" in $Bbb C$, but I wonder if there are other possibilities.
linear-algebra
$endgroup$
I conjecture the following:
Let $U subset Bbb C^n times n$ be an affine subspace, and let $S_U$ denote the "spectrum of $U$", that is
$$
S_U = lambda in Bbb C : det(A - lambda I) = 0 text for some A in U.
$$
Then either all elements of $U$ have an identical spectrum, or $S_U = Bbb C$.
Is this correct? Some simple examples of each case: for any fixed $lambda_i$,
$$
U_1 = leftpmatrixlambda_1&t\0&lambda_2: t in Bbb Cright, quad
U_2 = leftpmatrixlambda_1&0\0&t: t in Bbb Cright.
$$
Clearly, $S_U_1 = lambda_1,lambda_2$ and $S_U_2 = Bbb C$. Are there any other possibilities? I suspect that there is a quick algebraic-geometry approach here that I am missing.
An aside: I would also be interested in the case of real affine subspaces of $Bbb C^n times n$, if anyone has insights on what the possibilities are there. Note that the symmetric real matrices are an example of a subspace where we attain $S_U^(Bbb R) = Bbb R subsetneq Bbb C$. We can clearly attain any "line" in $Bbb C$, but I wonder if there are other possibilities.
linear-algebra
linear-algebra
asked Sep 18 at 15:51
OmnomnomnomOmnomnomnom
2471 silver badge8 bronze badges
2471 silver badge8 bronze badges
add a comment
|
add a comment
|
2 Answers
2
active
oldest
votes
$begingroup$
To expand on Christian Remling's answer a bit: in his example, setting $det(A(t) - lambda) = 0$ becomes $(1-lambda)t+lambda^3=0$, and solving for $t$ gives $t = x^3/(x-1)$ -- so for any $lambda in mathbbC$, we have $x in S$ by choosing this $t$, with the exception of $lambda=1$.
In general for an affine subspace of dimension $d$, we can define the space by $A(t_1,t_2,dots t_d)$, and all entries in $A$ are linear in the $t_i$. Then $det(A(t) - lambda)$ is an $n$th degree polynomial in all the $t_i$ and $lambda$. It is possible that the determinant has no dependence on any $t_i$, in which case we have a finite spectrum. Otherwise, we have a dependence on the $t_i$. Then $det(A(t)-lambda)=0$ has a solution in $t_1$ whenever at least one of the non-constant coefficients is nonzero. (In the above example, as long as the linear coefficient $1-lambdaneq 0$.) Since the leading coefficient (that is not a constant 0 polynomial) is an $n-1$th degree polynomial in $lambda$, it is zero at a most $n-1$ different places, and this is at most $n-1$ places that the spectrum can fail to be continuous. The spectrum only fails to be continuous when all of the coefficients in the $t_1$ polynomial are zero, so this is an upper bound. So, theorem:
For an affine subspace of $ntimes n$ matrices, the spectrum is either finite (of size at most $n$), or it is $mathbbCsetminus K$, where $K$ is a finite set of exceptions (of size at most $n-1$).
$endgroup$
$begingroup$
Excellent! Thank you for a clear and thorough answer.
$endgroup$
– Omnomnomnom
Sep 19 at 3:01
add a comment
|
$begingroup$
This is not true. Consider
$$
A(t) = beginpmatrix 0 & t & 0 \ 1 & 0 & 1 \ 1 & 0 & 0
endpmatrix .
$$
Then $det (A(t)+1) = 1$, so $-1notin S$, but clearly the spectrum of $A(t)$ is not constant (for example, $0$ is in the spectrum if and only if $t=0$).
$endgroup$
$begingroup$
Thank you for the example, I guess sometimes $2times 2$ isn't big enough :P
$endgroup$
– Omnomnomnom
Sep 19 at 3:06
$begingroup$
Actually @Omnomnomnom, $2times 2$ can be enough. Consider [[t 1] [1 0]], which spectrum $mathbbCsetminus0$. :) For any t, having an eigenvalue of 0 would imply a determinant of 0, but the determinant of that matrix is always -1.
$endgroup$
– Alex Meiburg
Sep 19 at 8:29
$begingroup$
@AlexMeiburg Nice one, guess I really had no excuse here then
$endgroup$
– Omnomnomnom
Sep 19 at 8:34
add a comment
|
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "504"
;
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/4.0/"u003ecc by-sa 4.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%2fmathoverflow.net%2fquestions%2f341924%2fspectrum-of-a-subspace-of-matrices%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$
To expand on Christian Remling's answer a bit: in his example, setting $det(A(t) - lambda) = 0$ becomes $(1-lambda)t+lambda^3=0$, and solving for $t$ gives $t = x^3/(x-1)$ -- so for any $lambda in mathbbC$, we have $x in S$ by choosing this $t$, with the exception of $lambda=1$.
In general for an affine subspace of dimension $d$, we can define the space by $A(t_1,t_2,dots t_d)$, and all entries in $A$ are linear in the $t_i$. Then $det(A(t) - lambda)$ is an $n$th degree polynomial in all the $t_i$ and $lambda$. It is possible that the determinant has no dependence on any $t_i$, in which case we have a finite spectrum. Otherwise, we have a dependence on the $t_i$. Then $det(A(t)-lambda)=0$ has a solution in $t_1$ whenever at least one of the non-constant coefficients is nonzero. (In the above example, as long as the linear coefficient $1-lambdaneq 0$.) Since the leading coefficient (that is not a constant 0 polynomial) is an $n-1$th degree polynomial in $lambda$, it is zero at a most $n-1$ different places, and this is at most $n-1$ places that the spectrum can fail to be continuous. The spectrum only fails to be continuous when all of the coefficients in the $t_1$ polynomial are zero, so this is an upper bound. So, theorem:
For an affine subspace of $ntimes n$ matrices, the spectrum is either finite (of size at most $n$), or it is $mathbbCsetminus K$, where $K$ is a finite set of exceptions (of size at most $n-1$).
$endgroup$
$begingroup$
Excellent! Thank you for a clear and thorough answer.
$endgroup$
– Omnomnomnom
Sep 19 at 3:01
add a comment
|
$begingroup$
To expand on Christian Remling's answer a bit: in his example, setting $det(A(t) - lambda) = 0$ becomes $(1-lambda)t+lambda^3=0$, and solving for $t$ gives $t = x^3/(x-1)$ -- so for any $lambda in mathbbC$, we have $x in S$ by choosing this $t$, with the exception of $lambda=1$.
In general for an affine subspace of dimension $d$, we can define the space by $A(t_1,t_2,dots t_d)$, and all entries in $A$ are linear in the $t_i$. Then $det(A(t) - lambda)$ is an $n$th degree polynomial in all the $t_i$ and $lambda$. It is possible that the determinant has no dependence on any $t_i$, in which case we have a finite spectrum. Otherwise, we have a dependence on the $t_i$. Then $det(A(t)-lambda)=0$ has a solution in $t_1$ whenever at least one of the non-constant coefficients is nonzero. (In the above example, as long as the linear coefficient $1-lambdaneq 0$.) Since the leading coefficient (that is not a constant 0 polynomial) is an $n-1$th degree polynomial in $lambda$, it is zero at a most $n-1$ different places, and this is at most $n-1$ places that the spectrum can fail to be continuous. The spectrum only fails to be continuous when all of the coefficients in the $t_1$ polynomial are zero, so this is an upper bound. So, theorem:
For an affine subspace of $ntimes n$ matrices, the spectrum is either finite (of size at most $n$), or it is $mathbbCsetminus K$, where $K$ is a finite set of exceptions (of size at most $n-1$).
$endgroup$
$begingroup$
Excellent! Thank you for a clear and thorough answer.
$endgroup$
– Omnomnomnom
Sep 19 at 3:01
add a comment
|
$begingroup$
To expand on Christian Remling's answer a bit: in his example, setting $det(A(t) - lambda) = 0$ becomes $(1-lambda)t+lambda^3=0$, and solving for $t$ gives $t = x^3/(x-1)$ -- so for any $lambda in mathbbC$, we have $x in S$ by choosing this $t$, with the exception of $lambda=1$.
In general for an affine subspace of dimension $d$, we can define the space by $A(t_1,t_2,dots t_d)$, and all entries in $A$ are linear in the $t_i$. Then $det(A(t) - lambda)$ is an $n$th degree polynomial in all the $t_i$ and $lambda$. It is possible that the determinant has no dependence on any $t_i$, in which case we have a finite spectrum. Otherwise, we have a dependence on the $t_i$. Then $det(A(t)-lambda)=0$ has a solution in $t_1$ whenever at least one of the non-constant coefficients is nonzero. (In the above example, as long as the linear coefficient $1-lambdaneq 0$.) Since the leading coefficient (that is not a constant 0 polynomial) is an $n-1$th degree polynomial in $lambda$, it is zero at a most $n-1$ different places, and this is at most $n-1$ places that the spectrum can fail to be continuous. The spectrum only fails to be continuous when all of the coefficients in the $t_1$ polynomial are zero, so this is an upper bound. So, theorem:
For an affine subspace of $ntimes n$ matrices, the spectrum is either finite (of size at most $n$), or it is $mathbbCsetminus K$, where $K$ is a finite set of exceptions (of size at most $n-1$).
$endgroup$
To expand on Christian Remling's answer a bit: in his example, setting $det(A(t) - lambda) = 0$ becomes $(1-lambda)t+lambda^3=0$, and solving for $t$ gives $t = x^3/(x-1)$ -- so for any $lambda in mathbbC$, we have $x in S$ by choosing this $t$, with the exception of $lambda=1$.
In general for an affine subspace of dimension $d$, we can define the space by $A(t_1,t_2,dots t_d)$, and all entries in $A$ are linear in the $t_i$. Then $det(A(t) - lambda)$ is an $n$th degree polynomial in all the $t_i$ and $lambda$. It is possible that the determinant has no dependence on any $t_i$, in which case we have a finite spectrum. Otherwise, we have a dependence on the $t_i$. Then $det(A(t)-lambda)=0$ has a solution in $t_1$ whenever at least one of the non-constant coefficients is nonzero. (In the above example, as long as the linear coefficient $1-lambdaneq 0$.) Since the leading coefficient (that is not a constant 0 polynomial) is an $n-1$th degree polynomial in $lambda$, it is zero at a most $n-1$ different places, and this is at most $n-1$ places that the spectrum can fail to be continuous. The spectrum only fails to be continuous when all of the coefficients in the $t_1$ polynomial are zero, so this is an upper bound. So, theorem:
For an affine subspace of $ntimes n$ matrices, the spectrum is either finite (of size at most $n$), or it is $mathbbCsetminus K$, where $K$ is a finite set of exceptions (of size at most $n-1$).
answered Sep 18 at 19:54
Alex MeiburgAlex Meiburg
8413 silver badges13 bronze badges
8413 silver badges13 bronze badges
$begingroup$
Excellent! Thank you for a clear and thorough answer.
$endgroup$
– Omnomnomnom
Sep 19 at 3:01
add a comment
|
$begingroup$
Excellent! Thank you for a clear and thorough answer.
$endgroup$
– Omnomnomnom
Sep 19 at 3:01
$begingroup$
Excellent! Thank you for a clear and thorough answer.
$endgroup$
– Omnomnomnom
Sep 19 at 3:01
$begingroup$
Excellent! Thank you for a clear and thorough answer.
$endgroup$
– Omnomnomnom
Sep 19 at 3:01
add a comment
|
$begingroup$
This is not true. Consider
$$
A(t) = beginpmatrix 0 & t & 0 \ 1 & 0 & 1 \ 1 & 0 & 0
endpmatrix .
$$
Then $det (A(t)+1) = 1$, so $-1notin S$, but clearly the spectrum of $A(t)$ is not constant (for example, $0$ is in the spectrum if and only if $t=0$).
$endgroup$
$begingroup$
Thank you for the example, I guess sometimes $2times 2$ isn't big enough :P
$endgroup$
– Omnomnomnom
Sep 19 at 3:06
$begingroup$
Actually @Omnomnomnom, $2times 2$ can be enough. Consider [[t 1] [1 0]], which spectrum $mathbbCsetminus0$. :) For any t, having an eigenvalue of 0 would imply a determinant of 0, but the determinant of that matrix is always -1.
$endgroup$
– Alex Meiburg
Sep 19 at 8:29
$begingroup$
@AlexMeiburg Nice one, guess I really had no excuse here then
$endgroup$
– Omnomnomnom
Sep 19 at 8:34
add a comment
|
$begingroup$
This is not true. Consider
$$
A(t) = beginpmatrix 0 & t & 0 \ 1 & 0 & 1 \ 1 & 0 & 0
endpmatrix .
$$
Then $det (A(t)+1) = 1$, so $-1notin S$, but clearly the spectrum of $A(t)$ is not constant (for example, $0$ is in the spectrum if and only if $t=0$).
$endgroup$
$begingroup$
Thank you for the example, I guess sometimes $2times 2$ isn't big enough :P
$endgroup$
– Omnomnomnom
Sep 19 at 3:06
$begingroup$
Actually @Omnomnomnom, $2times 2$ can be enough. Consider [[t 1] [1 0]], which spectrum $mathbbCsetminus0$. :) For any t, having an eigenvalue of 0 would imply a determinant of 0, but the determinant of that matrix is always -1.
$endgroup$
– Alex Meiburg
Sep 19 at 8:29
$begingroup$
@AlexMeiburg Nice one, guess I really had no excuse here then
$endgroup$
– Omnomnomnom
Sep 19 at 8:34
add a comment
|
$begingroup$
This is not true. Consider
$$
A(t) = beginpmatrix 0 & t & 0 \ 1 & 0 & 1 \ 1 & 0 & 0
endpmatrix .
$$
Then $det (A(t)+1) = 1$, so $-1notin S$, but clearly the spectrum of $A(t)$ is not constant (for example, $0$ is in the spectrum if and only if $t=0$).
$endgroup$
This is not true. Consider
$$
A(t) = beginpmatrix 0 & t & 0 \ 1 & 0 & 1 \ 1 & 0 & 0
endpmatrix .
$$
Then $det (A(t)+1) = 1$, so $-1notin S$, but clearly the spectrum of $A(t)$ is not constant (for example, $0$ is in the spectrum if and only if $t=0$).
answered Sep 18 at 18:27
Christian RemlingChristian Remling
13.3k2 gold badges24 silver badges45 bronze badges
13.3k2 gold badges24 silver badges45 bronze badges
$begingroup$
Thank you for the example, I guess sometimes $2times 2$ isn't big enough :P
$endgroup$
– Omnomnomnom
Sep 19 at 3:06
$begingroup$
Actually @Omnomnomnom, $2times 2$ can be enough. Consider [[t 1] [1 0]], which spectrum $mathbbCsetminus0$. :) For any t, having an eigenvalue of 0 would imply a determinant of 0, but the determinant of that matrix is always -1.
$endgroup$
– Alex Meiburg
Sep 19 at 8:29
$begingroup$
@AlexMeiburg Nice one, guess I really had no excuse here then
$endgroup$
– Omnomnomnom
Sep 19 at 8:34
add a comment
|
$begingroup$
Thank you for the example, I guess sometimes $2times 2$ isn't big enough :P
$endgroup$
– Omnomnomnom
Sep 19 at 3:06
$begingroup$
Actually @Omnomnomnom, $2times 2$ can be enough. Consider [[t 1] [1 0]], which spectrum $mathbbCsetminus0$. :) For any t, having an eigenvalue of 0 would imply a determinant of 0, but the determinant of that matrix is always -1.
$endgroup$
– Alex Meiburg
Sep 19 at 8:29
$begingroup$
@AlexMeiburg Nice one, guess I really had no excuse here then
$endgroup$
– Omnomnomnom
Sep 19 at 8:34
$begingroup$
Thank you for the example, I guess sometimes $2times 2$ isn't big enough :P
$endgroup$
– Omnomnomnom
Sep 19 at 3:06
$begingroup$
Thank you for the example, I guess sometimes $2times 2$ isn't big enough :P
$endgroup$
– Omnomnomnom
Sep 19 at 3:06
$begingroup$
Actually @Omnomnomnom, $2times 2$ can be enough. Consider [[t 1] [1 0]], which spectrum $mathbbCsetminus0$. :) For any t, having an eigenvalue of 0 would imply a determinant of 0, but the determinant of that matrix is always -1.
$endgroup$
– Alex Meiburg
Sep 19 at 8:29
$begingroup$
Actually @Omnomnomnom, $2times 2$ can be enough. Consider [[t 1] [1 0]], which spectrum $mathbbCsetminus0$. :) For any t, having an eigenvalue of 0 would imply a determinant of 0, but the determinant of that matrix is always -1.
$endgroup$
– Alex Meiburg
Sep 19 at 8:29
$begingroup$
@AlexMeiburg Nice one, guess I really had no excuse here then
$endgroup$
– Omnomnomnom
Sep 19 at 8:34
$begingroup$
@AlexMeiburg Nice one, guess I really had no excuse here then
$endgroup$
– Omnomnomnom
Sep 19 at 8:34
add a comment
|
Thanks for contributing an answer to MathOverflow!
- 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%2fmathoverflow.net%2fquestions%2f341924%2fspectrum-of-a-subspace-of-matrices%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