Eigenvalue estimates for operator perturbations












6












$begingroup$


I edited the question to a general mathematical question, since I found the answer in Carlo Beenakker's reference and think that my initial question was mathematically misleading.



What was behind all this was: If we take $W_N$ being trace free skew-symmetric matrices of rank $N$ on an $N$-dimensional space. And we perturb each of them with a positive operator $A_N$ such that all of the $A_N$ have the same trace. Is it true that as $N rightarrow infty$ the real part of some eigenvalue will tend to zero (resp. be zero)?



Answer:



The answer is yes by the following identity $$operatorname{tr}(A_N)=operatorname{Re}operatorname{tr}(W_N+A_N) = sum_{lambda in sigma(W_N+A_N)} operatorname{Re}(lambda).$$



Since the left-hand side is finite, the right-hand side has to converge.










share|cite|improve this question











$endgroup$












  • $begingroup$
    What is your definition of "dissipative system"? If it's simply that the spectrum has negative real part I don't see why that should be true. There are purely dissipative systems for which the spectrum is and stays entirely real
    $endgroup$
    – lcv
    7 hours ago










  • $begingroup$
    yes, that's true and yes that's my definition. However, in this particular case, there is a special dynamics that is mixing (the Laplacian connects all components of the system). Therefore, it is believable that it holds in this case. Please have a look at Carlo Beenakker's answer below and also the comments.
    $endgroup$
    – Sascha
    7 hours ago












  • $begingroup$
    See Carlo Beenakker's comment about $delta N/ N$ being finite. But this is an additional assumption. I.e. if you perturb a skewhermitian with a negative operator you may (or not) end up with some imaginary eigenvalues if the perturbation is suitably small or vanishing.
    $endgroup$
    – lcv
    7 hours ago










  • $begingroup$
    Sorry, I don't understand. $delta N=1$ in my case. So $delta N/N$ goes to zero. So according to him some eigenvalues should approach the imaginary axis and that is what I would like to show. I agree that this might not hold for general perturbations of skew-symmetric matrices, but the system I consider is somewhat special.-But I feel I have not understood your commet fully.
    $endgroup$
    – Sascha
    6 hours ago


















6












$begingroup$


I edited the question to a general mathematical question, since I found the answer in Carlo Beenakker's reference and think that my initial question was mathematically misleading.



What was behind all this was: If we take $W_N$ being trace free skew-symmetric matrices of rank $N$ on an $N$-dimensional space. And we perturb each of them with a positive operator $A_N$ such that all of the $A_N$ have the same trace. Is it true that as $N rightarrow infty$ the real part of some eigenvalue will tend to zero (resp. be zero)?



Answer:



The answer is yes by the following identity $$operatorname{tr}(A_N)=operatorname{Re}operatorname{tr}(W_N+A_N) = sum_{lambda in sigma(W_N+A_N)} operatorname{Re}(lambda).$$



Since the left-hand side is finite, the right-hand side has to converge.










share|cite|improve this question











$endgroup$












  • $begingroup$
    What is your definition of "dissipative system"? If it's simply that the spectrum has negative real part I don't see why that should be true. There are purely dissipative systems for which the spectrum is and stays entirely real
    $endgroup$
    – lcv
    7 hours ago










  • $begingroup$
    yes, that's true and yes that's my definition. However, in this particular case, there is a special dynamics that is mixing (the Laplacian connects all components of the system). Therefore, it is believable that it holds in this case. Please have a look at Carlo Beenakker's answer below and also the comments.
    $endgroup$
    – Sascha
    7 hours ago












  • $begingroup$
    See Carlo Beenakker's comment about $delta N/ N$ being finite. But this is an additional assumption. I.e. if you perturb a skewhermitian with a negative operator you may (or not) end up with some imaginary eigenvalues if the perturbation is suitably small or vanishing.
    $endgroup$
    – lcv
    7 hours ago










  • $begingroup$
    Sorry, I don't understand. $delta N=1$ in my case. So $delta N/N$ goes to zero. So according to him some eigenvalues should approach the imaginary axis and that is what I would like to show. I agree that this might not hold for general perturbations of skew-symmetric matrices, but the system I consider is somewhat special.-But I feel I have not understood your commet fully.
    $endgroup$
    – Sascha
    6 hours ago
















6












6








6


2



$begingroup$


I edited the question to a general mathematical question, since I found the answer in Carlo Beenakker's reference and think that my initial question was mathematically misleading.



What was behind all this was: If we take $W_N$ being trace free skew-symmetric matrices of rank $N$ on an $N$-dimensional space. And we perturb each of them with a positive operator $A_N$ such that all of the $A_N$ have the same trace. Is it true that as $N rightarrow infty$ the real part of some eigenvalue will tend to zero (resp. be zero)?



Answer:



The answer is yes by the following identity $$operatorname{tr}(A_N)=operatorname{Re}operatorname{tr}(W_N+A_N) = sum_{lambda in sigma(W_N+A_N)} operatorname{Re}(lambda).$$



Since the left-hand side is finite, the right-hand side has to converge.










share|cite|improve this question











$endgroup$




I edited the question to a general mathematical question, since I found the answer in Carlo Beenakker's reference and think that my initial question was mathematically misleading.



What was behind all this was: If we take $W_N$ being trace free skew-symmetric matrices of rank $N$ on an $N$-dimensional space. And we perturb each of them with a positive operator $A_N$ such that all of the $A_N$ have the same trace. Is it true that as $N rightarrow infty$ the real part of some eigenvalue will tend to zero (resp. be zero)?



Answer:



The answer is yes by the following identity $$operatorname{tr}(A_N)=operatorname{Re}operatorname{tr}(W_N+A_N) = sum_{lambda in sigma(W_N+A_N)} operatorname{Re}(lambda).$$



Since the left-hand side is finite, the right-hand side has to converge.







fa.functional-analysis real-analysis ap.analysis-of-pdes ca.classical-analysis-and-odes sp.spectral-theory






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 2 hours ago







Sascha

















asked 8 hours ago









SaschaSascha

447114




447114












  • $begingroup$
    What is your definition of "dissipative system"? If it's simply that the spectrum has negative real part I don't see why that should be true. There are purely dissipative systems for which the spectrum is and stays entirely real
    $endgroup$
    – lcv
    7 hours ago










  • $begingroup$
    yes, that's true and yes that's my definition. However, in this particular case, there is a special dynamics that is mixing (the Laplacian connects all components of the system). Therefore, it is believable that it holds in this case. Please have a look at Carlo Beenakker's answer below and also the comments.
    $endgroup$
    – Sascha
    7 hours ago












  • $begingroup$
    See Carlo Beenakker's comment about $delta N/ N$ being finite. But this is an additional assumption. I.e. if you perturb a skewhermitian with a negative operator you may (or not) end up with some imaginary eigenvalues if the perturbation is suitably small or vanishing.
    $endgroup$
    – lcv
    7 hours ago










  • $begingroup$
    Sorry, I don't understand. $delta N=1$ in my case. So $delta N/N$ goes to zero. So according to him some eigenvalues should approach the imaginary axis and that is what I would like to show. I agree that this might not hold for general perturbations of skew-symmetric matrices, but the system I consider is somewhat special.-But I feel I have not understood your commet fully.
    $endgroup$
    – Sascha
    6 hours ago




















  • $begingroup$
    What is your definition of "dissipative system"? If it's simply that the spectrum has negative real part I don't see why that should be true. There are purely dissipative systems for which the spectrum is and stays entirely real
    $endgroup$
    – lcv
    7 hours ago










  • $begingroup$
    yes, that's true and yes that's my definition. However, in this particular case, there is a special dynamics that is mixing (the Laplacian connects all components of the system). Therefore, it is believable that it holds in this case. Please have a look at Carlo Beenakker's answer below and also the comments.
    $endgroup$
    – Sascha
    7 hours ago












  • $begingroup$
    See Carlo Beenakker's comment about $delta N/ N$ being finite. But this is an additional assumption. I.e. if you perturb a skewhermitian with a negative operator you may (or not) end up with some imaginary eigenvalues if the perturbation is suitably small or vanishing.
    $endgroup$
    – lcv
    7 hours ago










  • $begingroup$
    Sorry, I don't understand. $delta N=1$ in my case. So $delta N/N$ goes to zero. So according to him some eigenvalues should approach the imaginary axis and that is what I would like to show. I agree that this might not hold for general perturbations of skew-symmetric matrices, but the system I consider is somewhat special.-But I feel I have not understood your commet fully.
    $endgroup$
    – Sascha
    6 hours ago


















$begingroup$
What is your definition of "dissipative system"? If it's simply that the spectrum has negative real part I don't see why that should be true. There are purely dissipative systems for which the spectrum is and stays entirely real
$endgroup$
– lcv
7 hours ago




$begingroup$
What is your definition of "dissipative system"? If it's simply that the spectrum has negative real part I don't see why that should be true. There are purely dissipative systems for which the spectrum is and stays entirely real
$endgroup$
– lcv
7 hours ago












$begingroup$
yes, that's true and yes that's my definition. However, in this particular case, there is a special dynamics that is mixing (the Laplacian connects all components of the system). Therefore, it is believable that it holds in this case. Please have a look at Carlo Beenakker's answer below and also the comments.
$endgroup$
– Sascha
7 hours ago






$begingroup$
yes, that's true and yes that's my definition. However, in this particular case, there is a special dynamics that is mixing (the Laplacian connects all components of the system). Therefore, it is believable that it holds in this case. Please have a look at Carlo Beenakker's answer below and also the comments.
$endgroup$
– Sascha
7 hours ago














$begingroup$
See Carlo Beenakker's comment about $delta N/ N$ being finite. But this is an additional assumption. I.e. if you perturb a skewhermitian with a negative operator you may (or not) end up with some imaginary eigenvalues if the perturbation is suitably small or vanishing.
$endgroup$
– lcv
7 hours ago




$begingroup$
See Carlo Beenakker's comment about $delta N/ N$ being finite. But this is an additional assumption. I.e. if you perturb a skewhermitian with a negative operator you may (or not) end up with some imaginary eigenvalues if the perturbation is suitably small or vanishing.
$endgroup$
– lcv
7 hours ago












$begingroup$
Sorry, I don't understand. $delta N=1$ in my case. So $delta N/N$ goes to zero. So according to him some eigenvalues should approach the imaginary axis and that is what I would like to show. I agree that this might not hold for general perturbations of skew-symmetric matrices, but the system I consider is somewhat special.-But I feel I have not understood your commet fully.
$endgroup$
– Sascha
6 hours ago






$begingroup$
Sorry, I don't understand. $delta N=1$ in my case. So $delta N/N$ goes to zero. So according to him some eigenvalues should approach the imaginary axis and that is what I would like to show. I agree that this might not hold for general perturbations of skew-symmetric matrices, but the system I consider is somewhat special.-But I feel I have not understood your commet fully.
$endgroup$
– Sascha
6 hours ago












1 Answer
1






active

oldest

votes


















3












$begingroup$

This problem of "non-Hermitian" quantum mechanics has been studied in the context of random-matrix theory (RMT), see for example the review Random matrix approaches to open quantum systems. The particular case pointed to in the OP is when the Hermitian matrix ${cal H}=iW_{H}$ of high rank $N$ is perturbed by a positive-definite matrix $-ipi WW^{t}$ of low rank $delta Nll N$. The eigenvalues $E_n-iGamma_n$ of the effective Hamiltonian ${cal H}_{text{eff}}={cal H}-ipi WW^t$ describe resonant scattering from a heavy atom or quantum dot (with $E_n$ the center of the resonance and $Gamma_n$ its width). The special case in the OP where ${cal H}$ is block-off-diagonal is referred to as the case of "chiral symmetry" in the context of random-matrix theory. (The appropriate ensemble for real ${cal H}$ is the socalled "chiral orthogonal ensemble".)



Now the question in the OP is the distribution of the $Gamma_n$'s in the limit $Nrightarrowinfty$ at fixed $delta N$. The "universal" result of random-matrix theory (see section IV.A in the cited review) is that for $delta Nll N$ all $Gamma_n$'s are greater than a minimal value $Gamma_{text{min}}simeqdelta N/N$ and they accumulate near that value.
Note that the OP refers to $i$ times the eigenvalues of ${cal H}$, so this approach to the real axis corresponds to an approach to the imaginary axis in the OP.



Hence my answer to the final question of the OP, "does the spectrum approach the imaginary axis in the large-$N$ limit" is yes, it does, if the non-Hermitian perturbation has a rank $delta N$ that remains small compared to the rank of the Hermitian part. There remains, however, for any finite $N$ a gap of order $delta N/N$ that separates the "dissipative dynamics" from the unitary quantum mechanical evolution.



I show a plot that illustrates the clustering of the eigenvalues $E_n-iGamma_n$ of ${cal H}_{text{eff}}$ near the $Gamma=0$ axis, with a sharp threshold (blue horizontal line) and a gap.
In the plot $N=500$ and $delta N=50$. There is no chiral symmetry, but that would only introduce a $pm E_n$ symmetry, it would not affect the gap in the $Gamma$'s.




source: arXiv:1405.6896






share|cite|improve this answer











$endgroup$













  • $begingroup$
    First, I would like to thank you for your deep insights into my question. It gives I think a lot of intuition about why this should hold. Can I however still ask you though whether the result you are referring to is rigorous?-PS: I really think what you write is very interesting for me.
    $endgroup$
    – Sascha
    7 hours ago








  • 1




    $begingroup$
    it is rigorous in the context of random-matrix theory, so for the gaussian ensembles; like all the RMT results, it is believed to hold for a much wider class of random matrices.
    $endgroup$
    – Carlo Beenakker
    7 hours ago










  • $begingroup$
    ah, but so it is not necessarily clear for my deterministic sequence above, right?
    $endgroup$
    – Sascha
    7 hours ago






  • 1




    $begingroup$
    not necessarily so, but keep in mind that RMT was developed for deterministic systems, such as large molecules. The randomness is introduced to make the problem tractable, RMT is believed to hold for deterministic systems if they are sufficiently complex ("chaotic dynamics" is the term). It has really a remarkably wide range of applicability, it is in fact the other way around: you have to work really hard to see behavior that deviates from the universal RMT results.
    $endgroup$
    – Carlo Beenakker
    7 hours ago













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: "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/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
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f323957%2feigenvalue-estimates-for-operator-perturbations%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









3












$begingroup$

This problem of "non-Hermitian" quantum mechanics has been studied in the context of random-matrix theory (RMT), see for example the review Random matrix approaches to open quantum systems. The particular case pointed to in the OP is when the Hermitian matrix ${cal H}=iW_{H}$ of high rank $N$ is perturbed by a positive-definite matrix $-ipi WW^{t}$ of low rank $delta Nll N$. The eigenvalues $E_n-iGamma_n$ of the effective Hamiltonian ${cal H}_{text{eff}}={cal H}-ipi WW^t$ describe resonant scattering from a heavy atom or quantum dot (with $E_n$ the center of the resonance and $Gamma_n$ its width). The special case in the OP where ${cal H}$ is block-off-diagonal is referred to as the case of "chiral symmetry" in the context of random-matrix theory. (The appropriate ensemble for real ${cal H}$ is the socalled "chiral orthogonal ensemble".)



Now the question in the OP is the distribution of the $Gamma_n$'s in the limit $Nrightarrowinfty$ at fixed $delta N$. The "universal" result of random-matrix theory (see section IV.A in the cited review) is that for $delta Nll N$ all $Gamma_n$'s are greater than a minimal value $Gamma_{text{min}}simeqdelta N/N$ and they accumulate near that value.
Note that the OP refers to $i$ times the eigenvalues of ${cal H}$, so this approach to the real axis corresponds to an approach to the imaginary axis in the OP.



Hence my answer to the final question of the OP, "does the spectrum approach the imaginary axis in the large-$N$ limit" is yes, it does, if the non-Hermitian perturbation has a rank $delta N$ that remains small compared to the rank of the Hermitian part. There remains, however, for any finite $N$ a gap of order $delta N/N$ that separates the "dissipative dynamics" from the unitary quantum mechanical evolution.



I show a plot that illustrates the clustering of the eigenvalues $E_n-iGamma_n$ of ${cal H}_{text{eff}}$ near the $Gamma=0$ axis, with a sharp threshold (blue horizontal line) and a gap.
In the plot $N=500$ and $delta N=50$. There is no chiral symmetry, but that would only introduce a $pm E_n$ symmetry, it would not affect the gap in the $Gamma$'s.




source: arXiv:1405.6896






share|cite|improve this answer











$endgroup$













  • $begingroup$
    First, I would like to thank you for your deep insights into my question. It gives I think a lot of intuition about why this should hold. Can I however still ask you though whether the result you are referring to is rigorous?-PS: I really think what you write is very interesting for me.
    $endgroup$
    – Sascha
    7 hours ago








  • 1




    $begingroup$
    it is rigorous in the context of random-matrix theory, so for the gaussian ensembles; like all the RMT results, it is believed to hold for a much wider class of random matrices.
    $endgroup$
    – Carlo Beenakker
    7 hours ago










  • $begingroup$
    ah, but so it is not necessarily clear for my deterministic sequence above, right?
    $endgroup$
    – Sascha
    7 hours ago






  • 1




    $begingroup$
    not necessarily so, but keep in mind that RMT was developed for deterministic systems, such as large molecules. The randomness is introduced to make the problem tractable, RMT is believed to hold for deterministic systems if they are sufficiently complex ("chaotic dynamics" is the term). It has really a remarkably wide range of applicability, it is in fact the other way around: you have to work really hard to see behavior that deviates from the universal RMT results.
    $endgroup$
    – Carlo Beenakker
    7 hours ago


















3












$begingroup$

This problem of "non-Hermitian" quantum mechanics has been studied in the context of random-matrix theory (RMT), see for example the review Random matrix approaches to open quantum systems. The particular case pointed to in the OP is when the Hermitian matrix ${cal H}=iW_{H}$ of high rank $N$ is perturbed by a positive-definite matrix $-ipi WW^{t}$ of low rank $delta Nll N$. The eigenvalues $E_n-iGamma_n$ of the effective Hamiltonian ${cal H}_{text{eff}}={cal H}-ipi WW^t$ describe resonant scattering from a heavy atom or quantum dot (with $E_n$ the center of the resonance and $Gamma_n$ its width). The special case in the OP where ${cal H}$ is block-off-diagonal is referred to as the case of "chiral symmetry" in the context of random-matrix theory. (The appropriate ensemble for real ${cal H}$ is the socalled "chiral orthogonal ensemble".)



Now the question in the OP is the distribution of the $Gamma_n$'s in the limit $Nrightarrowinfty$ at fixed $delta N$. The "universal" result of random-matrix theory (see section IV.A in the cited review) is that for $delta Nll N$ all $Gamma_n$'s are greater than a minimal value $Gamma_{text{min}}simeqdelta N/N$ and they accumulate near that value.
Note that the OP refers to $i$ times the eigenvalues of ${cal H}$, so this approach to the real axis corresponds to an approach to the imaginary axis in the OP.



Hence my answer to the final question of the OP, "does the spectrum approach the imaginary axis in the large-$N$ limit" is yes, it does, if the non-Hermitian perturbation has a rank $delta N$ that remains small compared to the rank of the Hermitian part. There remains, however, for any finite $N$ a gap of order $delta N/N$ that separates the "dissipative dynamics" from the unitary quantum mechanical evolution.



I show a plot that illustrates the clustering of the eigenvalues $E_n-iGamma_n$ of ${cal H}_{text{eff}}$ near the $Gamma=0$ axis, with a sharp threshold (blue horizontal line) and a gap.
In the plot $N=500$ and $delta N=50$. There is no chiral symmetry, but that would only introduce a $pm E_n$ symmetry, it would not affect the gap in the $Gamma$'s.




source: arXiv:1405.6896






share|cite|improve this answer











$endgroup$













  • $begingroup$
    First, I would like to thank you for your deep insights into my question. It gives I think a lot of intuition about why this should hold. Can I however still ask you though whether the result you are referring to is rigorous?-PS: I really think what you write is very interesting for me.
    $endgroup$
    – Sascha
    7 hours ago








  • 1




    $begingroup$
    it is rigorous in the context of random-matrix theory, so for the gaussian ensembles; like all the RMT results, it is believed to hold for a much wider class of random matrices.
    $endgroup$
    – Carlo Beenakker
    7 hours ago










  • $begingroup$
    ah, but so it is not necessarily clear for my deterministic sequence above, right?
    $endgroup$
    – Sascha
    7 hours ago






  • 1




    $begingroup$
    not necessarily so, but keep in mind that RMT was developed for deterministic systems, such as large molecules. The randomness is introduced to make the problem tractable, RMT is believed to hold for deterministic systems if they are sufficiently complex ("chaotic dynamics" is the term). It has really a remarkably wide range of applicability, it is in fact the other way around: you have to work really hard to see behavior that deviates from the universal RMT results.
    $endgroup$
    – Carlo Beenakker
    7 hours ago
















3












3








3





$begingroup$

This problem of "non-Hermitian" quantum mechanics has been studied in the context of random-matrix theory (RMT), see for example the review Random matrix approaches to open quantum systems. The particular case pointed to in the OP is when the Hermitian matrix ${cal H}=iW_{H}$ of high rank $N$ is perturbed by a positive-definite matrix $-ipi WW^{t}$ of low rank $delta Nll N$. The eigenvalues $E_n-iGamma_n$ of the effective Hamiltonian ${cal H}_{text{eff}}={cal H}-ipi WW^t$ describe resonant scattering from a heavy atom or quantum dot (with $E_n$ the center of the resonance and $Gamma_n$ its width). The special case in the OP where ${cal H}$ is block-off-diagonal is referred to as the case of "chiral symmetry" in the context of random-matrix theory. (The appropriate ensemble for real ${cal H}$ is the socalled "chiral orthogonal ensemble".)



Now the question in the OP is the distribution of the $Gamma_n$'s in the limit $Nrightarrowinfty$ at fixed $delta N$. The "universal" result of random-matrix theory (see section IV.A in the cited review) is that for $delta Nll N$ all $Gamma_n$'s are greater than a minimal value $Gamma_{text{min}}simeqdelta N/N$ and they accumulate near that value.
Note that the OP refers to $i$ times the eigenvalues of ${cal H}$, so this approach to the real axis corresponds to an approach to the imaginary axis in the OP.



Hence my answer to the final question of the OP, "does the spectrum approach the imaginary axis in the large-$N$ limit" is yes, it does, if the non-Hermitian perturbation has a rank $delta N$ that remains small compared to the rank of the Hermitian part. There remains, however, for any finite $N$ a gap of order $delta N/N$ that separates the "dissipative dynamics" from the unitary quantum mechanical evolution.



I show a plot that illustrates the clustering of the eigenvalues $E_n-iGamma_n$ of ${cal H}_{text{eff}}$ near the $Gamma=0$ axis, with a sharp threshold (blue horizontal line) and a gap.
In the plot $N=500$ and $delta N=50$. There is no chiral symmetry, but that would only introduce a $pm E_n$ symmetry, it would not affect the gap in the $Gamma$'s.




source: arXiv:1405.6896






share|cite|improve this answer











$endgroup$



This problem of "non-Hermitian" quantum mechanics has been studied in the context of random-matrix theory (RMT), see for example the review Random matrix approaches to open quantum systems. The particular case pointed to in the OP is when the Hermitian matrix ${cal H}=iW_{H}$ of high rank $N$ is perturbed by a positive-definite matrix $-ipi WW^{t}$ of low rank $delta Nll N$. The eigenvalues $E_n-iGamma_n$ of the effective Hamiltonian ${cal H}_{text{eff}}={cal H}-ipi WW^t$ describe resonant scattering from a heavy atom or quantum dot (with $E_n$ the center of the resonance and $Gamma_n$ its width). The special case in the OP where ${cal H}$ is block-off-diagonal is referred to as the case of "chiral symmetry" in the context of random-matrix theory. (The appropriate ensemble for real ${cal H}$ is the socalled "chiral orthogonal ensemble".)



Now the question in the OP is the distribution of the $Gamma_n$'s in the limit $Nrightarrowinfty$ at fixed $delta N$. The "universal" result of random-matrix theory (see section IV.A in the cited review) is that for $delta Nll N$ all $Gamma_n$'s are greater than a minimal value $Gamma_{text{min}}simeqdelta N/N$ and they accumulate near that value.
Note that the OP refers to $i$ times the eigenvalues of ${cal H}$, so this approach to the real axis corresponds to an approach to the imaginary axis in the OP.



Hence my answer to the final question of the OP, "does the spectrum approach the imaginary axis in the large-$N$ limit" is yes, it does, if the non-Hermitian perturbation has a rank $delta N$ that remains small compared to the rank of the Hermitian part. There remains, however, for any finite $N$ a gap of order $delta N/N$ that separates the "dissipative dynamics" from the unitary quantum mechanical evolution.



I show a plot that illustrates the clustering of the eigenvalues $E_n-iGamma_n$ of ${cal H}_{text{eff}}$ near the $Gamma=0$ axis, with a sharp threshold (blue horizontal line) and a gap.
In the plot $N=500$ and $delta N=50$. There is no chiral symmetry, but that would only introduce a $pm E_n$ symmetry, it would not affect the gap in the $Gamma$'s.




source: arXiv:1405.6896







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited 6 hours ago

























answered 7 hours ago









Carlo BeenakkerCarlo Beenakker

77.4k9182286




77.4k9182286












  • $begingroup$
    First, I would like to thank you for your deep insights into my question. It gives I think a lot of intuition about why this should hold. Can I however still ask you though whether the result you are referring to is rigorous?-PS: I really think what you write is very interesting for me.
    $endgroup$
    – Sascha
    7 hours ago








  • 1




    $begingroup$
    it is rigorous in the context of random-matrix theory, so for the gaussian ensembles; like all the RMT results, it is believed to hold for a much wider class of random matrices.
    $endgroup$
    – Carlo Beenakker
    7 hours ago










  • $begingroup$
    ah, but so it is not necessarily clear for my deterministic sequence above, right?
    $endgroup$
    – Sascha
    7 hours ago






  • 1




    $begingroup$
    not necessarily so, but keep in mind that RMT was developed for deterministic systems, such as large molecules. The randomness is introduced to make the problem tractable, RMT is believed to hold for deterministic systems if they are sufficiently complex ("chaotic dynamics" is the term). It has really a remarkably wide range of applicability, it is in fact the other way around: you have to work really hard to see behavior that deviates from the universal RMT results.
    $endgroup$
    – Carlo Beenakker
    7 hours ago




















  • $begingroup$
    First, I would like to thank you for your deep insights into my question. It gives I think a lot of intuition about why this should hold. Can I however still ask you though whether the result you are referring to is rigorous?-PS: I really think what you write is very interesting for me.
    $endgroup$
    – Sascha
    7 hours ago








  • 1




    $begingroup$
    it is rigorous in the context of random-matrix theory, so for the gaussian ensembles; like all the RMT results, it is believed to hold for a much wider class of random matrices.
    $endgroup$
    – Carlo Beenakker
    7 hours ago










  • $begingroup$
    ah, but so it is not necessarily clear for my deterministic sequence above, right?
    $endgroup$
    – Sascha
    7 hours ago






  • 1




    $begingroup$
    not necessarily so, but keep in mind that RMT was developed for deterministic systems, such as large molecules. The randomness is introduced to make the problem tractable, RMT is believed to hold for deterministic systems if they are sufficiently complex ("chaotic dynamics" is the term). It has really a remarkably wide range of applicability, it is in fact the other way around: you have to work really hard to see behavior that deviates from the universal RMT results.
    $endgroup$
    – Carlo Beenakker
    7 hours ago


















$begingroup$
First, I would like to thank you for your deep insights into my question. It gives I think a lot of intuition about why this should hold. Can I however still ask you though whether the result you are referring to is rigorous?-PS: I really think what you write is very interesting for me.
$endgroup$
– Sascha
7 hours ago






$begingroup$
First, I would like to thank you for your deep insights into my question. It gives I think a lot of intuition about why this should hold. Can I however still ask you though whether the result you are referring to is rigorous?-PS: I really think what you write is very interesting for me.
$endgroup$
– Sascha
7 hours ago






1




1




$begingroup$
it is rigorous in the context of random-matrix theory, so for the gaussian ensembles; like all the RMT results, it is believed to hold for a much wider class of random matrices.
$endgroup$
– Carlo Beenakker
7 hours ago




$begingroup$
it is rigorous in the context of random-matrix theory, so for the gaussian ensembles; like all the RMT results, it is believed to hold for a much wider class of random matrices.
$endgroup$
– Carlo Beenakker
7 hours ago












$begingroup$
ah, but so it is not necessarily clear for my deterministic sequence above, right?
$endgroup$
– Sascha
7 hours ago




$begingroup$
ah, but so it is not necessarily clear for my deterministic sequence above, right?
$endgroup$
– Sascha
7 hours ago




1




1




$begingroup$
not necessarily so, but keep in mind that RMT was developed for deterministic systems, such as large molecules. The randomness is introduced to make the problem tractable, RMT is believed to hold for deterministic systems if they are sufficiently complex ("chaotic dynamics" is the term). It has really a remarkably wide range of applicability, it is in fact the other way around: you have to work really hard to see behavior that deviates from the universal RMT results.
$endgroup$
– Carlo Beenakker
7 hours ago






$begingroup$
not necessarily so, but keep in mind that RMT was developed for deterministic systems, such as large molecules. The randomness is introduced to make the problem tractable, RMT is believed to hold for deterministic systems if they are sufficiently complex ("chaotic dynamics" is the term). It has really a remarkably wide range of applicability, it is in fact the other way around: you have to work really hard to see behavior that deviates from the universal RMT results.
$endgroup$
– Carlo Beenakker
7 hours ago




















draft saved

draft discarded




















































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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f323957%2feigenvalue-estimates-for-operator-perturbations%23new-answer', 'question_page');
}
);

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







Popular posts from this blog

GameSpot

日野市

Tu-95轟炸機