Quantum dyamics as a limit of dissipative dynamics?-True or false?Infinite hermitian matrix“Explicit”...
Quantum dyamics as a limit of dissipative dynamics?-True or false?
Infinite hermitian matrix“Explicit” embedding of $ell^1$ as a closed subalgebra of a direct sum of matrix algebrasPaving conjecture for Toeplitz matricesSelf-adjointness of a perturbed quantum mechanical Hamiltonian specified in an infinite matrix formDiscrete versus Continuous Hilbert TransformPertubations of self-adjoint first order operatorsWeak convergence implies norm convergence for trace class operators?Quantum group representations from (convolution) matrix units?Paving propertya Kernel free asymptotic for a sampling operator
$begingroup$
I am currently looking at systems converging into quantum dynamics and I would like to understand this transition better. For simplicity I illustrate this on the Hilbert space $mathcal H:=ell^2(mathbb Z)^2.$
(For some very nice physical intuition about my problem, please see the explanation below by Carlo Beenakker).
Quantum evolution is usually of the form $T_t:=e^{Wt}$ where $W$ is a skew-adjoint operator. Usually in quantum dyanmics $W=iH$ where $H$ is then called the self-adjoint Hamiltonian.
The simplest way to realize a skew-adjoint operator is to choose a self-adjoint operator $H$ and define $W_H:=left(begin{matrix} 0 & H \
-H & 0 end{matrix}right).$ It is easy to verify that $sigma(W_H)=pm isigma(H).$
Now, if $Hu=-Delta u+u$ let's say, where $Delta$ is the positive Laplacian on $ell^2(mathbb Z),$ then one can define $H_N:=Hvert_{ell^2({-N,-N+1,...,N})}$ with some suitable choice of boundary conditions (let's say Dirichlet).
We then define an approximation of the operator $W_H$ by $A_{N}: ell^2(mathbb Z)^2 rightarrow ell^2(mathbb Z)^2$as above:
$$A_{N}(u,v)(n_1,n_2):= ((-Hu)(n_1)delta_{vert n_1vertle N}+v(n_2)delta_{n_2,N},(Hv)(n_2)delta_{vert n_2vertle N}))$$
The above choice of $A_N$, corresponds to matrices $W_{N}:=left(begin{matrix} 0 & H_N \
-H_N & E_{N} end{matrix}right)$ on $ell^2({-N,-N+1,...,N})^2$ with $E_N=(0,0,.,0,-1)$, that are just extended by zero to the entire space, so that everything is defined on a single space $ell^2(mathbb Z^2)$ rather than different ones.
In particular $sigma(W_N)=sigma(A_N)backslash {0}.$
The nice property of the above operators $W_N$ is that they are dissipative, i.e. $text{Real part}(sigma(W_N))<0.$
By strong convergence $A_{H_N}x rightarrow W_Hx$ we know that the dissipative dynamics converges strongly to the quantum dynamics $T_N(t)x:=e^{A_Nt}x rightarrow T(t)x:=e^{W_Ht}x.$
What this means is, that if we fix a state and evolve it under $T_N$ then the dynamics will become more and more quantum.
I would like to know whether in each dissipative system, there is actually an eigenmode that approximates the quantum dynamics, i.e. is it true that the spectrum approximates the imaginary axis $$lim_{N rightarrow infty}d(sigma(W_N),imathbb R)=0?$$
I should say that for this very particular example I did some simple numerics with MATLAB and the answer should be yes. Actually there is a lot of spectrum approximating the imaginary axis.
EDIT
According to Carlo Beenakker's answer, we'd even expect that
$$d(sigma(W_N),imathbb R)le C frac{1}{N}!$$
However, I'd even be happy to know whether for the above system, we converge at all.
fa.functional-analysis real-analysis ap.analysis-of-pdes ca.classical-analysis-and-odes sp.spectral-theory
$endgroup$
add a comment |
$begingroup$
I am currently looking at systems converging into quantum dynamics and I would like to understand this transition better. For simplicity I illustrate this on the Hilbert space $mathcal H:=ell^2(mathbb Z)^2.$
(For some very nice physical intuition about my problem, please see the explanation below by Carlo Beenakker).
Quantum evolution is usually of the form $T_t:=e^{Wt}$ where $W$ is a skew-adjoint operator. Usually in quantum dyanmics $W=iH$ where $H$ is then called the self-adjoint Hamiltonian.
The simplest way to realize a skew-adjoint operator is to choose a self-adjoint operator $H$ and define $W_H:=left(begin{matrix} 0 & H \
-H & 0 end{matrix}right).$ It is easy to verify that $sigma(W_H)=pm isigma(H).$
Now, if $Hu=-Delta u+u$ let's say, where $Delta$ is the positive Laplacian on $ell^2(mathbb Z),$ then one can define $H_N:=Hvert_{ell^2({-N,-N+1,...,N})}$ with some suitable choice of boundary conditions (let's say Dirichlet).
We then define an approximation of the operator $W_H$ by $A_{N}: ell^2(mathbb Z)^2 rightarrow ell^2(mathbb Z)^2$as above:
$$A_{N}(u,v)(n_1,n_2):= ((-Hu)(n_1)delta_{vert n_1vertle N}+v(n_2)delta_{n_2,N},(Hv)(n_2)delta_{vert n_2vertle N}))$$
The above choice of $A_N$, corresponds to matrices $W_{N}:=left(begin{matrix} 0 & H_N \
-H_N & E_{N} end{matrix}right)$ on $ell^2({-N,-N+1,...,N})^2$ with $E_N=(0,0,.,0,-1)$, that are just extended by zero to the entire space, so that everything is defined on a single space $ell^2(mathbb Z^2)$ rather than different ones.
In particular $sigma(W_N)=sigma(A_N)backslash {0}.$
The nice property of the above operators $W_N$ is that they are dissipative, i.e. $text{Real part}(sigma(W_N))<0.$
By strong convergence $A_{H_N}x rightarrow W_Hx$ we know that the dissipative dynamics converges strongly to the quantum dynamics $T_N(t)x:=e^{A_Nt}x rightarrow T(t)x:=e^{W_Ht}x.$
What this means is, that if we fix a state and evolve it under $T_N$ then the dynamics will become more and more quantum.
I would like to know whether in each dissipative system, there is actually an eigenmode that approximates the quantum dynamics, i.e. is it true that the spectrum approximates the imaginary axis $$lim_{N rightarrow infty}d(sigma(W_N),imathbb R)=0?$$
I should say that for this very particular example I did some simple numerics with MATLAB and the answer should be yes. Actually there is a lot of spectrum approximating the imaginary axis.
EDIT
According to Carlo Beenakker's answer, we'd even expect that
$$d(sigma(W_N),imathbb R)le C frac{1}{N}!$$
However, I'd even be happy to know whether for the above system, we converge at all.
fa.functional-analysis real-analysis ap.analysis-of-pdes ca.classical-analysis-and-odes sp.spectral-theory
$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
4 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
4 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
4 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
4 hours ago
add a comment |
$begingroup$
I am currently looking at systems converging into quantum dynamics and I would like to understand this transition better. For simplicity I illustrate this on the Hilbert space $mathcal H:=ell^2(mathbb Z)^2.$
(For some very nice physical intuition about my problem, please see the explanation below by Carlo Beenakker).
Quantum evolution is usually of the form $T_t:=e^{Wt}$ where $W$ is a skew-adjoint operator. Usually in quantum dyanmics $W=iH$ where $H$ is then called the self-adjoint Hamiltonian.
The simplest way to realize a skew-adjoint operator is to choose a self-adjoint operator $H$ and define $W_H:=left(begin{matrix} 0 & H \
-H & 0 end{matrix}right).$ It is easy to verify that $sigma(W_H)=pm isigma(H).$
Now, if $Hu=-Delta u+u$ let's say, where $Delta$ is the positive Laplacian on $ell^2(mathbb Z),$ then one can define $H_N:=Hvert_{ell^2({-N,-N+1,...,N})}$ with some suitable choice of boundary conditions (let's say Dirichlet).
We then define an approximation of the operator $W_H$ by $A_{N}: ell^2(mathbb Z)^2 rightarrow ell^2(mathbb Z)^2$as above:
$$A_{N}(u,v)(n_1,n_2):= ((-Hu)(n_1)delta_{vert n_1vertle N}+v(n_2)delta_{n_2,N},(Hv)(n_2)delta_{vert n_2vertle N}))$$
The above choice of $A_N$, corresponds to matrices $W_{N}:=left(begin{matrix} 0 & H_N \
-H_N & E_{N} end{matrix}right)$ on $ell^2({-N,-N+1,...,N})^2$ with $E_N=(0,0,.,0,-1)$, that are just extended by zero to the entire space, so that everything is defined on a single space $ell^2(mathbb Z^2)$ rather than different ones.
In particular $sigma(W_N)=sigma(A_N)backslash {0}.$
The nice property of the above operators $W_N$ is that they are dissipative, i.e. $text{Real part}(sigma(W_N))<0.$
By strong convergence $A_{H_N}x rightarrow W_Hx$ we know that the dissipative dynamics converges strongly to the quantum dynamics $T_N(t)x:=e^{A_Nt}x rightarrow T(t)x:=e^{W_Ht}x.$
What this means is, that if we fix a state and evolve it under $T_N$ then the dynamics will become more and more quantum.
I would like to know whether in each dissipative system, there is actually an eigenmode that approximates the quantum dynamics, i.e. is it true that the spectrum approximates the imaginary axis $$lim_{N rightarrow infty}d(sigma(W_N),imathbb R)=0?$$
I should say that for this very particular example I did some simple numerics with MATLAB and the answer should be yes. Actually there is a lot of spectrum approximating the imaginary axis.
EDIT
According to Carlo Beenakker's answer, we'd even expect that
$$d(sigma(W_N),imathbb R)le C frac{1}{N}!$$
However, I'd even be happy to know whether for the above system, we converge at all.
fa.functional-analysis real-analysis ap.analysis-of-pdes ca.classical-analysis-and-odes sp.spectral-theory
$endgroup$
I am currently looking at systems converging into quantum dynamics and I would like to understand this transition better. For simplicity I illustrate this on the Hilbert space $mathcal H:=ell^2(mathbb Z)^2.$
(For some very nice physical intuition about my problem, please see the explanation below by Carlo Beenakker).
Quantum evolution is usually of the form $T_t:=e^{Wt}$ where $W$ is a skew-adjoint operator. Usually in quantum dyanmics $W=iH$ where $H$ is then called the self-adjoint Hamiltonian.
The simplest way to realize a skew-adjoint operator is to choose a self-adjoint operator $H$ and define $W_H:=left(begin{matrix} 0 & H \
-H & 0 end{matrix}right).$ It is easy to verify that $sigma(W_H)=pm isigma(H).$
Now, if $Hu=-Delta u+u$ let's say, where $Delta$ is the positive Laplacian on $ell^2(mathbb Z),$ then one can define $H_N:=Hvert_{ell^2({-N,-N+1,...,N})}$ with some suitable choice of boundary conditions (let's say Dirichlet).
We then define an approximation of the operator $W_H$ by $A_{N}: ell^2(mathbb Z)^2 rightarrow ell^2(mathbb Z)^2$as above:
$$A_{N}(u,v)(n_1,n_2):= ((-Hu)(n_1)delta_{vert n_1vertle N}+v(n_2)delta_{n_2,N},(Hv)(n_2)delta_{vert n_2vertle N}))$$
The above choice of $A_N$, corresponds to matrices $W_{N}:=left(begin{matrix} 0 & H_N \
-H_N & E_{N} end{matrix}right)$ on $ell^2({-N,-N+1,...,N})^2$ with $E_N=(0,0,.,0,-1)$, that are just extended by zero to the entire space, so that everything is defined on a single space $ell^2(mathbb Z^2)$ rather than different ones.
In particular $sigma(W_N)=sigma(A_N)backslash {0}.$
The nice property of the above operators $W_N$ is that they are dissipative, i.e. $text{Real part}(sigma(W_N))<0.$
By strong convergence $A_{H_N}x rightarrow W_Hx$ we know that the dissipative dynamics converges strongly to the quantum dynamics $T_N(t)x:=e^{A_Nt}x rightarrow T(t)x:=e^{W_Ht}x.$
What this means is, that if we fix a state and evolve it under $T_N$ then the dynamics will become more and more quantum.
I would like to know whether in each dissipative system, there is actually an eigenmode that approximates the quantum dynamics, i.e. is it true that the spectrum approximates the imaginary axis $$lim_{N rightarrow infty}d(sigma(W_N),imathbb R)=0?$$
I should say that for this very particular example I did some simple numerics with MATLAB and the answer should be yes. Actually there is a lot of spectrum approximating the imaginary axis.
EDIT
According to Carlo Beenakker's answer, we'd even expect that
$$d(sigma(W_N),imathbb R)le C frac{1}{N}!$$
However, I'd even be happy to know whether for the above system, we converge at all.
fa.functional-analysis real-analysis ap.analysis-of-pdes ca.classical-analysis-and-odes sp.spectral-theory
fa.functional-analysis real-analysis ap.analysis-of-pdes ca.classical-analysis-and-odes sp.spectral-theory
edited 1 hour ago
Sascha
asked 5 hours ago
SaschaSascha
445114
445114
$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
4 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
4 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
4 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
4 hours ago
add a comment |
$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
4 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
4 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
4 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
4 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
4 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
4 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
4 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
4 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
4 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
4 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
4 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
4 hours ago
add a comment |
1 Answer
1
active
oldest
votes
$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
$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
4 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
4 hours ago
$begingroup$
ah, but so it is not necessarily clear for my deterministic sequence above, right?
$endgroup$
– Sascha
4 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
4 hours ago
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: "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
});
}
});
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%2f323957%2fquantum-dyamics-as-a-limit-of-dissipative-dynamics-true-or-false%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
$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
$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
4 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
4 hours ago
$begingroup$
ah, but so it is not necessarily clear for my deterministic sequence above, right?
$endgroup$
– Sascha
4 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
4 hours ago
add a comment |
$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
$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
4 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
4 hours ago
$begingroup$
ah, but so it is not necessarily clear for my deterministic sequence above, right?
$endgroup$
– Sascha
4 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
4 hours ago
add a comment |
$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
$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
edited 3 hours ago
answered 4 hours ago
Carlo BeenakkerCarlo Beenakker
77.3k9182286
77.3k9182286
$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
4 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
4 hours ago
$begingroup$
ah, but so it is not necessarily clear for my deterministic sequence above, right?
$endgroup$
– Sascha
4 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
4 hours ago
add a comment |
$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
4 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
4 hours ago
$begingroup$
ah, but so it is not necessarily clear for my deterministic sequence above, right?
$endgroup$
– Sascha
4 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
4 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
4 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
4 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
4 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
4 hours ago
$begingroup$
ah, but so it is not necessarily clear for my deterministic sequence above, right?
$endgroup$
– Sascha
4 hours ago
$begingroup$
ah, but so it is not necessarily clear for my deterministic sequence above, right?
$endgroup$
– Sascha
4 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
4 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
4 hours ago
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%2f323957%2fquantum-dyamics-as-a-limit-of-dissipative-dynamics-true-or-false%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
$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
4 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
4 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
4 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
4 hours ago