Marcel Filoche, Svitlana Mayboroda and I have just finished our preprint “The effective potential of a -Matrix”. This article examines the analogue of the effective potential of Schrödinger operators provided by the “Landscape function” when working with a certain type of self-adjunct matrix called Matrix instead of a Schrödinger operator.
Suppose you have an eigenfunction
of a Schrödinger operator , Where is the Laplace on , is a potential, and is an energy. Where would one expect the eigenfunction to be focused? If the potential is smooth and varies slowly, the principle of correspondence suggests that the eigenfunction should mainly focus on the potential energy sources with an exponentially decreasing amount of tunnels between boreholes. One way to rigorously establish such an exponential decay is an argument by Agmon, which we will outline later in this post, which results in an exponentially decreasing upper limit (in a Sense) of eigenfunctions in terms of distance to the fountain in relation to a particular “Agmon metric” on determined by the potential and energy level (or any upper limit on this energy). Similar exponential decay results can also be obtained for discrete Schrödinger matrix models in which the domain is replaced by a discrete set like the grid and the Laplace is replaced by a discrete analog such as a Laplace graph.
If the potential is very “rough”such as the random potentials resulting from the theory of Anderson localization, the agmon boundaries, although still true, become very weak due to the depressions are fairly densely distributed across the domain and the eigenfunction can tunnel between different wells with relative ease. As my two co-authors first discovered in 2012, you can replace the gross potential in these situations from a smooth effective potentialwhere the eigenfunctions are typically localized to a single connected component of the effective wells . Indeed, a good choice of effective potential comes from locating the Landscape function, that is the solution to the equation with reasonable behavior in infinity, and that is not negative from the maximum principle, and then the opposite this landscape function serves as an effective potential.
There are now several explanations as to why this particular choice is a good effective potential. Perhaps the simplest (such as in this recent article by Arnold, David, Jerison, and my two co-authors) is the following observation: if is an eigenvector for with energy , then is an eigenvector for with the same energy , so the original Schrödinger operator is conjugated with a (variable coefficient, but still in divergence form) Schrödinger operator with potential Instead of . Closely related to this, we have the integration according to part identity
for any reasonable function This again underlines the emergence of the effective potential .
These particular explanations seem to be quite specific to the Schrödinger equation (continuous or discrete); For example, we couldn’t find any similar identities to explain an effective potential for the Bi-Schrödinger operator .
In this article we show the (perhaps surprising) fact that there is still effective potential for operators who have very little resemblance to Schrödinger operators. Our chosen model is the one -Matrix: self-adjunct positive definitive matrices whose off-diagonal entries are negative. This model includes discrete Schrödinger operators (with non-negative potentials), but can enable significantly more non-local interactions. The analogue of the landscape function would then be the vector , Where denotes the vector with all entries . Our main result is, roughly speaking, that it is an eigenvector of is then exponentially in the “potential wells” localized. , Where denotes the coordinates of the landscape function . In particular, we note the inequality
if is normalized in where the Connectivity is the maximum number of non-zero entries of in every row or column, are the coefficients of , and is a certain moderately complicated but explicit metric function in the spatial domain. Informally, this inequality claims that the eigenfunction should like to expire or faster. In fact, our numbers show a very strong log-linear relationship between and although it seems that our exponent is not quite optimal. We also provide an associated localization result, which can be technically described, but very roughly asserts that a given eigenvector is actually localized to a single connected component of unless there is a resonance between two depressions (by which we mean that an eigenvalue for a localization of A deepening is extremely close to an eigenvalue for a localization connected to another well); Such a localization is also strongly supported by numerics. (Analogous results for Schrödinger operators were previously obtained from the aforementioned paper by Arnold, David, Jerison, and my two co-authors, and from Quantum Graphs in a recent paper by Harrell and Maltsev.)
Our approach is based on Agmon’s methods, which we interpret as the double commutator method, and in particular on the use of the negative determinateness of certain double commutator operators. In the case of Schrödinger operators This negative certainty is provided by identity
for sufficiently reasonable functions where we see (to like ) as a multiplier operator. To take advantage of this, we’ll use commutator identity
valid for everyone after a short calculation. The double commutator identity then tells us that
If we choose be and let be a non-negative weight for an eigenfunction , then we can write
and we conclude from it
We have considerable freedom in this inequality to choose the functions . If we choose we get the clean inequality
If we take be a function that is the same on the fountain but rises exponentially away from these wells, so that
Outside the well we can get the estimate
which then gives an exponential type decay of away from the fountain. This is basically the classic exponential decay estimate of agmon; you can basically take the distance to the wells in terms of the Euclidean metric weighted by an appropriately normalized version of conformal . If we choose instead be the landscape function , (3) then gives
and by selection Suitably, an exponential decay estimate outside of the effective wells results using a weighted metric .
It turns out that this argument can be applied without much difficulty to the -Matrix setting. The analog of the crucial double commutator identity is (2)
for each diagonal matrix . The rest of the agmon-type arguments are looped through after the natural changes.
We also found numerically that some aspects of landscape theory persist beyond that matrix setting, although the double commutators are no longer negative definitive, so this may not be the end of the story, but it at least shows that the utility of the landscape isn’t just based on identities like (1).