Abstract
Under an abstract setting, we show that eigenvectors belong to discrete spectra of unitary operators have exponential decay properties. We apply the main theorem to multi-dimensional quantum walks and show that eigenfunctions belong to a discrete spectrum decay exponentially at infinity.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Exponential decay property (EDP) at infinity is one of the characteristic properties of eigenfunctions associated with Schrödinger operators. Earlier works on EDP are discussed by Šnol’. In [35], he discussed the asymptotic behavior at infinity for eigenfunctions belong to discrete spectra. Moreover, it was clarified that there is a relation between the spectral gap and decay rate at infinity. O’Connor, Combes–Thomas, and Agmon considered EDP for N-body Schrödinger operators. O’Connor showed EDP for pair potentials belonging to Rollnik class plus \(L_{\epsilon }^{\infty }\) class [31]. Combes and Thomas showed it for pair potentials which are analytic for the subgroup of linear transformation groups [4]. Agmon showed it by application of operator positivity methods [1]. For other works on EDP, we refer Froese–Herbst [5], Griesemer [10], Nakamura [30], Bach–Matte [2], Yafaev [38] and Kawamoto [19]. We can also derive EDP from an application of the Feynman–Kac type formula. It is known that semigroups generated by a class of Schrödinger operators can be represented by stochstic processes. In particular, martingale properties are crucial to deriving EDP. In this direction, we refer [3, 17, 18, 23] and references therein. EDP also appears in the context of quantum field theory [11, 15, 16]. Besides, this property is not only shown but also applied to show the existence of ground states in non-relativistic quantum electrodynamics [12, 14].
In this paper, we consider EDP for a class of unitary operators. Let U be a unitary operator and A be a non-negative self-adjoint operator on a Hilbert space \(\mathcal {H}.\) We suppose that the discrete spectrum of U is not empty. The purpose of this paper is to show
for any eigenvector \(\psi \) belongs to the discrete spectrum and any sufficiently small \(\delta >0\). In this case, we say that \(\psi \) has EDP for A. As we see below, the range of \(\delta \) is closely related to the distance between the essential spectrum of U and the discrete eigenvalue which \(\psi \) belongs to. A typical example of a non-negative self-adjoint operator A in our mind is the modules of the position operator.
A motivation we consider EDP for unitary operators comes from quantum walks which are often regarded as a quantum counterpart of random walks [13, 24, 29]. From the viewpoint of partial differential equations, quantum walks are space-time discretized Dirac equations [27]. It is well known that some properties of quantum walks are quite different from that of random walks. In particular, the ballistic transportation and the localization occur in quantum walks [21, 22]. Related to these properties, mathematical analysis is developed from a viewpoint of weak limit theorem [9, 33, 36], spectral theory [26, 28, 32], and references therein as examples.
In the context of quantum walks, results on the existence of discrete spectra are known [20, 25]. In particular, the explicit optimal decay rate is derived. In particular, in nonlinear quantum walks, EDP is applied to obtain the asymptotic stability [25]. However, these references are limited in one dimension. In the one-dimensional case, we can introduce the transfer matrix which is a powerful tool for solving eigenvalue problems and analyzing various quantities. Although, in multi-dimensional cases, the existence of a discrete spectrum is reported in [6, 7], detailed properties of eigenfunctions are not well known. In particular, it is not known whether eigenfunctions have EDP, yet. Motivated by these situations, we show EDP for a class of quantum walks involving multi-dimensional cases.
First, we establish (1.1) under a general setting in Sect. 2. Since we treat exponential operators of unbounded operators, we have to introduce suitable cut-off functions to avoid domain problems. For the proof, we mainly follow the methods presented by Yafaev [38] concerned the first-order differential systems involving Dirac operators. In our case, the derivative of functions are replaced by commutators. To analyze commutators is the crucial part.
In proofs, instead of A, we introduce another operator \(\Lambda (A)\) which is step-like and approximates A from above (see (2.1)). In the function space, differential operators and multiplication operators act locally on configuration spaces. From this observation, in addition to introducing \(\Lambda (A),\) it may be suitable to assume some locality conditions in U. Therefore, in this paper, we impose “finite propagation” condition (see Assumption 2.3) for U. By these two ideas, we can analyze the commutator in detail.
The optimal constant \(\delta \) in (1.1) depends on dispersion relations of quantum walks. For example, in [20, 25], the optimal constant is derived. However, in quantum walks, we can select graphs, internal degrees of freedom, motion of a quantum walker, and shift parameters. Thus, it would be useful to establish EDP in general settings. For example, in [37], Tiedra de Aldecoa considered spectral and scattering theory for quantum walks on not square lattices but trees. If discrete spectra of such quantum walks are not empty, we can apply our results. Our idea can be applied to discrete Schrödinger operators since they consist of shift operators and multiplication operators that act locally.
As an application, in Sect. 3, we apply the results for multi-dimensional quantum walks with a defect. Then, we can show that eigenfunctions associated with discrete spectrum possess EDP.
2 Set up and main result
Let \(\mathcal {H}\) be the separable Hilbert space over \(\mathbb {C}\). The symbol \(\langle \cdot , \cdot \rangle \) and \(\Vert \cdot \Vert \) denotes the inner product and the norm over \(\mathcal {H}\), respectively. Let U be a unitary operator on \(\mathcal {H}\). Symbols \(\sigma (U)\), \(\sigma _{\textrm{ess}}(U)\) and \(\sigma _{\textrm{d}}(U)\) denote the spectrum of U, the essential spectrum of U and the discrete spectrum of U, respectively. First, we introduce the following notion:
Definition 2.1
Let S be a self-adjoint operator on \(\mathcal {H}.\) We denote the spectral measure of S by \(E_{S}(\cdot ).\) We say that U finitely propagates with respect to S if there exists a constant \(b>0\) such that for any \(\psi \in \textrm{Ran}E_{S}([R_{1}, R_{2}))\) with \(R_{1}< R_{2},\) \(U\psi \in \textrm{Ran}E_{S}([R_{1}-b, R_{2}+b)).\)
Remark 2.2
In Definition 2.1, we introduced the notion of finite propagation for half-open intervals. Of course, we can also define the notion of the finite propagation by open intervals and closed intervals. However, we only consider half-open intervals to cover \([0, \infty )\) by disjoint intervals.
We impose the following assumption:
Assumption 2.3
-
1.
\(\sigma _{\textrm{d}}(U)\ne \emptyset \).
-
2.
The unitary operator U finitely propagates with a constant \(b>0\) with respect to a non-negative, possibly unbounded, self-adjoint operator A.
For any \(\lambda \in \sigma _{\textrm{d}}(U),\) we define the constant \(d(\lambda )>0\) as
The main result of this section is as follows:
Theorem 2.4
Under Assumption 2.3, for any \(\psi \in \textrm{Ker}(U-\lambda )\setminus \{0\}\) with \(\lambda \in \sigma _{\textrm{d}}(U)\), \(e^{\delta A}\psi \in \mathcal {H}\) for any \(\delta >0\) such that \(2\sinh (\delta b)<d(\lambda )\).
Remark 2.5
The non-negativity in the second part of Assumption 2.3 is not essential. However, for simplicity, we assume the non-negativity of A in this paper.
In what follows, we always assume Assumption 2.3. To prove Theorem 2.4, we prepare some lemmas.
Lemma 2.6
We take \(\lambda \in \sigma _{\textrm{d}}(U).\) Then for any \(\epsilon >0,\) there exists \(R>0\) such that
for all \(f\in \mathcal {H}\) such that \(E_{A}([0, R))f=0\).
Proof
We suppose the contrary. Then there exists \(\epsilon >0\) such that for any \(R>0\), there exists \(f_{R}\in \mathcal {H}\) such that \(\Vert f_{R}\Vert =1\), \(E_{A}([0, R))f_{R}=0\) and
We choose \(\theta \in [0, 2\pi )\) such that \(a:=\textrm{dist}\left( \textrm{Arc}(\lambda , \theta ), \sigma _{\textrm{ess}}(U)\right) <d(\lambda )\) and \(a>d(\lambda )-\epsilon \), where
We set \(X:=\textrm{Arc}(\lambda ,\theta ),\) and \(g_{R}:=(1-E_{U}(X))f_{R}\), where \(E_{U}(\cdot )\) is the spectral measure of U. From the spectral theorem for unitary operators, it follows that
where \(S^{1}\) is the unit circle on \(\mathbb {C}.\) Since \(f_{R}\) weakly converges to 0 (as \(R\rightarrow \infty \)) and \(E_{U}(X)\) is compact, \(E_{U}(X)f_{R}\) strongly converges to 0 (as \(R\rightarrow \infty \)). This implies that \(\Vert g_{R}-f_{R}\Vert \rightarrow 0\) (as \(R\rightarrow \infty \)). On the other hand, we have
By taking the limit \(R\rightarrow \infty \), we get \(a\le d(\lambda )-\epsilon \) since \(\Vert g_{R}\Vert \rightarrow \Vert f_{R}\Vert =1\ (\textrm{as} \ R\rightarrow \infty ).\) This is a contradiction since we took a like as \(a>d(\lambda )-\epsilon \). \(\square \)
Before going to next lemma, we introduce followig step-like functions. For \(N\in \mathbb {N}\) and \(\delta >0,\) we define
where \(B_{n}:=[(n-1)b, nb)\subset \mathbb {R}\) and \(\mathbb {I}_{B_{n}}\) is the characteristic function of \(B_{n}.\) Then, \(\Lambda \) approximates a function \(f(r):=\delta r,\ (r\in [0, \infty ))\) from the above and \(\Lambda _{N}\) is a cut-off function of \(\Lambda .\)
For a two bounded operators S and T, we define the commutator [S, T] as \([S, T]:=ST-TS.\)
Lemma 2.7
For any \(R>0\), we set \(E_{A}(R):=E_{A}([R, \infty )).\) Then, \(e^{\Lambda (A)}[U, E_{A}(R)]\) is bounded on \(\mathcal {H}\) and
where for \(x>0, \lceil x\rceil _{b}:=b\cdot \min \{n\in \mathbb {N}|\ x\le nb\}.\)
Proof
Since U finitely propagates with respect to A, it follows that
where if \(R-b\le 0,\) we set \(E_{A}([0, R-b))=0\) and \(E_{A}([R-b, R))=E_{A}([0, R)).\) Thus, for any \(\psi \in \mathcal {H},\) it follows that \([U, E_{A}(R)]\psi \in D(e^{\Lambda (A)})\) and
Therefore the lemma follows. \(\square \)
Lemma 2.8
For any \(N\in \mathbb {N},\) it follows that
In particular, the above estimate in the right hand side does not depend on N.
Proof
By applying the Duhamel formula, \([U, e^{\Lambda _{N}(A)}]e^{-\Lambda _{N}(A)}\) can be expressed as
The integrand in (2.2) is decomposed as follows:
The first term \(\textrm{I}\) can be calculated as follows:
The second term \(\textrm{II}\) can be calculated as follows:
The third term \(\textrm{III}\) can be calculated as follows:
Lastly, the forth term \(\textrm{IV}\) can be calculated as follows:
Thus, we get the following expression:
For any \(\psi \in \mathcal {H}\), we have
Thus, the lemma follows. \(\square \)
Proof of Theorem 2.4
We choose \(\epsilon >0\) as \(\epsilon :=[d(\lambda )-2\sinh (\delta b)]/2.\) Then, by Lemma 2.6, there exists \(R>0\) such that for any \(f\in \mathcal {H}\) with \(E_{A}([0, R))f=0, \) we have
We take \(\psi \in \textrm{Ker}(U-\lambda )\setminus \{0\}\) with \(\lambda \in \sigma _{\textrm{d}}(U)\). For R and b, there exists \(N_{0}\in \mathbb {N}\) such that \(R<N_{0}b\). Then we set \(f_{N}:=e^{\Lambda _{N}(A)}E_{A}(R)\psi ,\ (N\ge N_{0}).\) Since \(E_{A}([0, R))f_{N}=0\), we have the following for arbitrary \(N\ge N_{0}\):
From \(U\psi =\lambda \psi ,\) we get
From Lemma 2.7, we get
For the first term of (2.4), from Lemma 2.8, we get
Thus, we arrive at
From the above inequality and (2.3), we arrive at
Since N is arbitrary and right hand side of (2.5) is independent of N, we conclude that \(e^{\Lambda (A)}\psi \in \mathcal {H}\) by the monotone convergence theorem. This implies \(e^{\delta A}\psi \in \mathcal {H}.\) \(\square \)
3 Application
In this section, we apply the result to multi-dimensional quantum walks. We choose the Hilbert space \(\mathcal {H}\) as
In what follows, we freely use the identification \(\mathcal {H}\simeq \oplus _{j=1}^{d}\ell ^{2}(\mathbb {Z};\mathbb {C}^2)\). Thus
Let \(\{e_{j}\}_{j=1}^{d}\) be the set of standard orthogonal basis of \(\mathbb {Z}^{d}\). Let \(L_{j}\) \((j=1, \dots , d)\) be the shift operator on \(j-\)th direction defined by
To introduce the shift operator S, we set
For \((p, q)\in D\), we define the shift operator S by
Next, we intoduce the coin operator C. Let \(\{C(x)\}_{x\in \mathbb {Z}}\subset U(2d)\) be a set of \(2d\times 2d\) self-adjoint and unitary matrices. We define the coin operator C as a multiplication operator by C(x) :
For the coin operator C, we impose the following assumptioon:
Assumption 3.1
-
1.
For each \(x\in \mathbb {Z}^d,\) 1 is a simple eigenvalue of C(x), i.e., \(\textrm{dim ker}(C(x)-1)=1.\)
-
2.
There exists two self-adjoint and unitary matrices \(C_{0}\) and \(C_{1}\) such that
$$\begin{aligned} C(x)={\left\{ \begin{array}{ll} C_{1}, \ {} &{} x\in \mathbb {Z}^d\setminus \{0\}, \\ C_{0}, \ {} &{} x=0.\end{array}\right. } \end{aligned}$$
By the first part of Assumption 3.1, for each \(x\in \mathbb {Z}^d,\) we can take a unit vector \(\chi (x)\) as follows:
From the first part of Assumption 3.1 and the spectral decomposition of C(x), we have \(C(x)=2|\chi (x)\rangle \langle \chi (x)|-1.\) Moreover, the second part of Assumption 3.1 implies that \(\chi \) has a form of
The condition \(\textrm{dimKer}(C(x)-1)\) is needed to construct a coisometry from \(\ell ^{2}(\mathbb {Z}^{d};\mathbb {C}^{2d})\) to \(\ell ^{2}(\mathbb {Z}^d;\mathbb {C}^d)\) and to apply the spectral mapping theorem [34].
Assumption 3.2
Following conditions hold:
-
1.
\(\Phi _{j}\cdot (\sigma _{1}\Omega _{j}):=\Phi _{j1}\Omega _{j2}+\Phi _{j2}\Omega _{j1}\ne 0\) for all \(j=1, \dots , d\),
-
2.
\(\langle \Phi _{l}, \sigma _{+}\Omega _{l}\rangle _{\mathbb {C}^{2}}\ne 0\) for some \(l=1, \dots , d,\)
where
We introduce the following quantities:
where,
Assumption 3.3
It follows that \(a_{\Omega }(p_{0})\ne a_{\Phi }(p_{0})\) for some \(p_{0}\in \{-1, 1\}^{d}.\)
Remark 3.4
In \(d=1\), Assumption 3.2 and Assumption 3.3 are not compartible. For \(d=1\), see [8].
To explain the theorem, for \(l\in \{1, \dots , n\}\) stated in Assumption 3.2, we set
Theorem 3.5
[7] Let \(d\ge 2\) and we assume Assumption 3.1, 3.2 and 3.3. Then, there exists \(\delta >0\) such that for any \((p, q)\in D_{l}\) with \(\Vert (p, q)-(p_{0}, 0)\Vert _{\mathbb {R}^d\times \mathbb {C}^d},\) \(\sigma _{\textrm{d}}(U)\ne \emptyset .\)
We introduce the moduls of position operator as a non-negative self-adjoint operator A which appeared in Assumption 2.3:
Then, for any \(0\le R_{1}< R_{2},\) and \(u\in \textrm{Ran}E_{|Q|}([R_{1}, R_{2})), \) we have \(Uu\in \textrm{Ran}E_{|Q|}([R_{1}-1, R_{2}+1)).\) Thus, we can choose the constant b which appeared in Assumption 2.3 as \(b=1.\) By Theorem 2.4, we get the following result:
Theorem 3.6
For any \(\lambda \in \sigma _{\textrm{d}}(U)\) and \(\psi \in \textrm{Ker}(U-\lambda )\setminus \{0\},\) \(e^{\delta |Q|}\psi \in \mathcal {H}\) for any \(\delta >0\) with \(2\sinh \delta <d(\lambda ).\)
As a corollary of Theorem 3.6, we can derive the pointwise estimate:
Corollary 3.7
Under the same assumption of Theorem 3.5, for any \(\delta >0\) with \(2\sinh \delta <d(\lambda )\), there exists \(C_{\delta }>0\) such that for any \(x\in \mathbb {Z}^{d},\) it follows that
Proof
Since \(\psi \in D(e^{\delta |Q|}),\) \(\{e^{\delta |x|}\Vert \psi (x)\Vert _{\mathbb {C}^{2d}}\}_{x\in \mathbb {Z}^{d}}\) is bounded. We choose a constant \(C_{\delta }>0\) as \(C_{\delta }:=\sup _{x\in \mathbb {Z}^{d}}e^{\delta |x|}\Vert \psi (x)\Vert _{\mathbb {C}^{2d}}\). Then, it follows that
\(\square \)
References
Agmon, S.: Lectures on Exponential Decay of Solutions of Second-order Elliptic Equations: Bounds on Eigenfunctions of N-Body Schrödinger Operators. Mathematical Notes, vol. 29. Princeton University Press, Princeton, NJ (1982)
Bach, V., Matte, O.: Exponential decay of eigenfunctions of the Bethe-Salpeter operator. Lett. Math. Phys. 55(1), 53–62 (2001)
Carmona, R., Masters, W.C., Simon, B.: Relativistic Schrödinger operators: asymptotic behavior of the eigenfuctions. J. Funct. Anal. 91(1), 117–142 (1990)
Combes, J.M., Thomas, L.: Asymptotic behavior of eigenfunctions for multiparticle Schrödinger operators. Commun. Math. Phys. 34, 251–270 (1973)
Froese, R., Herbst, I.: Exponential bounds and absence of positive eigenvalues for N-body Schrödinger operators. Commun. Math. Phys. 87(3), 429–447 (1982/83)
Fuda, T., Funakawa, D., Sasayama, S., Suzuki, A.: Eigenvalues and threshold resonances of a two-dimensional split-step quantum walk WIH strong shift. Quantum Stud. Math. Found. 10(4), 483–496 (2023)
Fuda, T., Funakawa, D., Suzuki, A.: Localization of a multi-dimensional quantum walk with one defect. Quantum Inf. Process. 16(8), 24 (2017)
Fuda, T., Funakawa, D., Suzuki, A.: Localication for a one-dimensional split-step quantum walk with bound states robust against perturbations. J. Math. Phys. 59(8), 082201 (2018)
Fuda, T., Funakwa, D., Suzuki, A.: Weak limit theorem for a one-dimensional split-step quantum walk. Rev. Roumaine Math. Pure Appl. 64(2–3), 157–165 (2019)
Griesemer, M.: Exponential bounds for continuum eigenfunctions of N-body Schrödinger operators. Helv. Phys. Acta 70(6), 854–857 (1997)
Griesemer, M.: Exponential decay and ionization thresholds in non-relativistic quantum electrodynamincs. J. Funct. Anal. 210(2), 321–340 (2004)
Griesemer, M., Lieb, E.H., Loss, M.: Ground states in non-relativistic quantum electrodynamics. Invent. Math. 145(3), 557–595 (2001)
Gudder, S.P.: Quantum Probability. Probabolity and Mathematical Statistics, Academic Press Inc., Boston, MA (1988)
Hidaka, T., Hiroshima, F., Sasaki, I.: Spectrum of the semi-relativistic Pauli–Fierz model II. J. Spectr. Theory 11(4), 1779–1830 (2021)
Hiroshima, F.: Functional integral approach to semi-relativistic Pauli–Fierz models. Adv. Math. 259, 784–840 (2014)
Hiroshima, F.: Pointwise exponential decay of bound states of the Nelson model with Kato-class potentials. In: Analysis and Operator Theory. Springer Optim. Appl., vol. 146, pp. 225–250. Springer, Cham (2019)
Hiroshima, F., Ichinose, T., Lörinczi, J.: Probabilistic representation and fall-off of bound states of relativistic Schrödinger operators WIYH spin 1/2. Publ. Res. Inst. Math. Sci. 49(1), 189–214 (2013)
Hiroshima, F., Lörinczi, J.: Feynman–Kac-Type Theorems and Gibbs Measures on Path Space, vol. 2, 2nd edn. Volume 34/2 of De Gruyter Studies in Mathematics. De Gruyter, Berlin (2020)
Kawamoto, M.: Exponential decay property for eigenfunctions of Landau–Stark Hamiltonian. Rep. Math. Phys. 77(1), 129–140 (2016)
Kiumi, C., Saito, K.: Eigenvalues of two-phase quantum walks with one defect in one dimension. Quantum Inf. Process. 20(5), 11 (2021)
Konno, N.: Quantum random walks in one dimension. Quantum Inf. Process. 1(5), 345–354 (2002)
Konno, N.: A new type of limit theorems for the one-dimensional quantum random walk. J. Math. Soc. Jpn. 57(4), 1179–1195 (2005)
Lörinczi, J., Hiroshima, F., Betz, V.: Feynman–Kac-Type Theorems and Gibbs Measures on Path Space, vol. 1, 2nd edn. Volume 34/1 of De Gruyter Studies on Mathematics. De Gruyter, Berlin (2020)
Lovett, N.B., Cooper, S., Everitt, M., Trevers, M., Kendon, V.: Universal quantum computation using the discrete-time quantum walk. Phys. Rev. A 81, 042330 (2010)
Maeda, M.: Asymptotic stability of small bound state of nonlinear quantum walks. Physica D 439, 14 (2022)
Maeda, M., Sasaki, H., Segawa, E., Suzuki, A., Suzuki, K.: Dispersive estimates for quantum walks on 1D lattice. J. Math. Soc. Jpn. 74(1), 217–246 (2022)
Maeda, M., Suzuki, A.: Continuous limits of linear and nonlinear quantum walks. Rev. Math. Phys. 32(4), 2050008 (2020)
Maeda, M., Suzuki, A., Wada, K.: Absence of continuous spectra and embedded eigenvalues for one-dimensional quantum walks with general long-range coins. Rev. Math. Phys. 34(5), 23 (2022)
Magniez, F., Santha, M., Szegedy, M.: Quantum algorithms for the triangle problem. SIAM J. Comput. 37(2), 413–424 (2007)
Nakamura, S.: Agmon-type exponential decay estimates for pseudodifferential operators. J. Math. Sci. Univ. Tokyo 5(4), 693–712 (1998)
O’Connor, A.J.: Exponential decay of bound state wave functions. Commun. Math. Phys. 32, 319–340 (1973)
Richard, S., Suzuki, A., Tiedra de Aldecoa, R.: Quantum walks with an anisotropic coin I: spectral theory. Lett. Math. Phys. 108(2), 331–357 (2018)
Richard, S., Suzuki, A., Tiedra de Aldecoa, R.: Quantum walks with an anisotropic coin II: scattering theory. Lett. Math. Phys. 109(1), 61–88 (2019)
Segawa, E., Suzuki, A.: Spectral mapping theorem of an abstract quantum walk. Quantum Inf. Process 18, 333 (2019). https://doi.org/10.1007/s11128-019-2448-6
Šnol’, È. È.: On the behavior of the eigenfunctions of Schrödinger’s equation. Mat. Sb. (N.S.) 42(84):273–286; erratum:46(88) (1957)
Suzuki, A.: Asymptotic velocity of a position-dependent quantum walk. Quantum Inf. Process. 15(1), 103–119 (2016)
Tiedra de Aldecoa, R.: Spectral and scattering properties of quantum walks on homogeneous trees of odd degree. Ann. Henri Poincaré 22(8), 2563–2593 (2021)
Yafaev, D.Y.: Exponential decay of eigenfunctions of first order systems. In: Advances in Mathematical Physics. Contemp. Math., vol. 447, pp. 249–256. Amer. Math. Soc., Providence, RI (2007)
Acknowledgements
The author acknowledges support by JSPS KAKENHI Grant Number 23K03224. This work was partially supported by the Research Institute for Mathematical Sciences, an International Joint Usage/Research Center located in Kyoto University. The author thanks the anonymous referee for careful reading and fruitful comments.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Un Cig Ji.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Wada, K. Exponential decay property for eigenfunctions of quantum walks. Adv. Oper. Theory 9, 59 (2024). https://doi.org/10.1007/s43036-024-00358-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s43036-024-00358-1