Abstract
Motivated by a quantum Zeno dynamics in a cavity quantum electrodynamics setting, we study the asymptotics of a family of symbols corresponding to a truncated momentum operator, in the semiclassical limit of vanishing Planck constant \(\hbar \rightarrow 0\) and large quantum number \(N\rightarrow \infty \), with \(\hbar N\) kept fixed. In a suitable topology, the limit is the discontinuous symbol \(p\chi _D(x,p)\) where \(\chi _D\) is the characteristic function of the classically permitted region D in phase space. A refined analysis shows that the symbol is asymptotically close to the function \(p\chi _D^{(N)}(x,p)\), where \(\chi _D^{(N)}\) is a smooth version of \(\chi _D\) related to the integrated Airy function. We also discuss the limit from a dynamical point of view.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the quantum Zeno effect, frequent projective measurements can slow down the evolution of a quantum system and eventually hinder any transition to states different from the initial one. The situation is much richer when the measurement does not confine the system in a single state, but rather in a multidimensional subspace of its Hilbert space. This gives rise to a quantum Zeno dynamics (QZD): the system evolves in the projected subspace under the action of its projected Hamiltonian. This phenomenon, first considered by Beskow and Nilsson [4] in their study of the decay of unstable systems, was dubbed quantum Zeno effect (QZE) by Misra and Sudarshan [38] who suggested a parallelism with the paradox of the ‘flying arrow at rest’ by the philosopher Zeno of Elea. Since then, QZE has received constant attention by physicists and mathematicians, who explored different aspects of the phenomenon.
From the mathematical point of view, QZD is related to the limit of a product formula obtained by intertwining the dynamical time evolution group with the orthogonal projection associated with the measurements performed on the system. It can be viewed as a generalization of Trotter–Kato product formulas [8, 32, 51, 52] to more singular objects in which one semigroup is replaced by a projection. The structure of the QZD product formula has been thoroughly investigated and has been well characterized under quite general assumptions [17,18,19,20,21, 25,26,27, 36, 44, 45].
QZE has been observed experimentally in a variety of systems, on experiments involving photons, nuclear spins, ions, optical pumping, photons in a cavity, ultracold atoms, and Bose–Einstein condensates, see [22] and references therein. In all the above-mentioned implementations, the quantum system is forced to remain in its initial state through a measurement associated with a one-dimensional projection. The present study is inspired by a proposal by Raimond et al. [40, 41] for generating a multidimensional QZD in a cavity quantum electrodynamics experiment. We briefly describe the proposal, skipping most of the non-mathematical details.
The mode of the quantized electromagnetic field in a cavity can be conveniently described in the Fock space representation. The Hamiltonian of the quantized field is that of a harmonic oscillator (with angular frequency \(\omega =1\))
where \(\hat{x}\) is the position operator and \(\hat{p}=-i\hbar \frac{d}{dx}\) is the momentum operator on \(L^2(\mathbb {R})\). The operators \(\hat{x}\), \(\hat{p}\), and \(H_{{\text {h.o.}}}\) are essentially self-adjoint on the common core \(\mathcal {S}(\mathbb {R})\), the Schwartz space of rapidly decreasing functions. The eigenfunction \(\psi _n\) of \(H_{{\text {h.o.}}}\) represents a cavity state with n photons (\(n=0,1,2,\dots \)) and energy \(\lambda _n= \hbar (n+1/2)\).
The cavity field undergoes a stroboscopic evolution alternating a short continuous time evolution \(e^{-i \frac{\tau }{\hbar } \hat{p}}\) given by a displacement operator, that without loss of generality is taken to be generated by \(\hat{p}\), and an instantaneous interaction
with atoms injected into the cavity to ascertain whether in the cavity there are less than N photons (\(N \ge 1\) is a chosen maximal photon number).
The quantum Zeno dynamics consists in performing a series of \(P_{<N}\)-measurements in a fixed time interval [0, t] at times \(t_j= j \tau \), \(j=0, \dots ,n\), with period \(\tau =t/n\). The intertwining of the continuous time evolutions and the projective measurements corresponds to the evolution operator
Observe that since \({\text {Ran}} P_{<N}\subset D(\hat{p})=H^{1}(\mathbb {R})\), we have [21]
in the strong operator topology, uniformly for t in compact subsets of \(\mathbb {R}\), where the Zeno Hamiltonian \(H_N\) is a rank-N truncation of \(\hat{p}\):
Hence, the QZD establishes a sort of ‘hard wall’ in the Hilbert space: the state of the system evolves unitarily within the N-dimensional Zeno subspace spanned by states with at most \((N-1)\) photons, \(\psi _0,\dots ,\psi _{N-1}\). This hard wall prevents the state to escape from the Zeno subspace and induces remarkable features in the quantum evolution [40, 41].
The question addressed in this paper is: What is the semiclassical limit of the Zeno Hamiltonian \(H_N\) and of its corresponding quantum dynamics?
1.1 Semiclassical limit of the Zeno Hamiltonian
Semiclassical theory concerns the asymptotic analysis for vanishing Planck constant (\(\hbar \rightarrow 0\)) of operators and vectors, with the ultimate goal of understanding the quantum-to-classical transition. It is therefore convenient to use a phase space description of quantum mechanics where operators are represented by functions on the classical phase space (called Weyl symbols), states are described by quasi-probability distributions (called Wigner functions), and the noncommutative product of operators is mapped in a twisted convolution product of symbols (called Moyal product), see, e.g., [24, 42].
If we describe the QZD in the phase space, in the semiclassical limit \(N\rightarrow \infty \), \(\hbar \rightarrow 0\) with the product \(\hbar N=\mu \) kept fixed, we expect the motion to be confined in the classically allowed region. The level sets of the classical harmonic oscillator
are circles centered at the origin of the phase space \(\mathbb {R}_x\times \mathbb {R}_p\). In qualitative terms, the hard wall can be viewed in the phase space as a circle with a radius \(\propto \sqrt{\hbar N}\). In the limit, the corresponding classically allowed region is the disk:
whose boundary
is the circle of radius \(\sqrt{2\mu }\). This is what Raimond et al. [40, 41] called the ‘exclusion circle’: it separates D from the classically forbidden region where \(\mathfrak {h}_{{\text {h.o.}}}>\mu \).
Let \(\chi _D(x,p)=\chi _{(-\infty ,\mu ]} \big (\mathfrak {h}_{{\text {h.o.}}}(x,p)\big )\) be the characteristic function of the disk D. The first main result of the paper is the identification of the limit of the Weyl symbols \({\sigma }_{P_{<N}}^{\hbar }(x,p)\) and \({\sigma }_{H_N}^{\hbar }(x,p)\) of the projection operator \(P_{<N}\) and the Zeno Hamiltonian \(H_N\), respectively. (The definition of the Weyl symbol of an operator is given in Definition 1.)
Theorem 1
(Weak convergence of the symbols) Set \(\mu >0\). Then,
for all \(\varphi \in \mathcal {A}\).
Remark 1
Here \(\mathcal {A}\) is the space of test functions introduced by Lions and Paul [33] as the completion of the smooth functions of compact support in the phase space \(C^{\infty }_c(\mathbb {R}_x\times \mathbb {R}_p)\) under the norm
In this paper, \(\mathcal {F}_2 \varphi \) denotes the partial Fourier transform of \(\varphi \) in the second variable,
Comparison between the symbol of the Zeno Hamiltonian, \({\sigma }_{H_N}^{\hbar }\), and its semiclassical versions, \(p\chi _D^{(N)}\) and \(p\chi _D\), as functions of p with \(x=0\) fixed. The inset (a zoom of the shaded area) shows how \(\chi _D^{(N)}\) better approximates the symbol \({\sigma }_{H_N}^{\hbar }\) near the edge. Here \(N=57\), \(\mu =2\)
Remark 2
Theorem 1 makes precise the heuristic expectation that the symbol \({\sigma }_{P_{<N}}^{\hbar }(x,p)\) of the projection operator converges to the characteristic function \(\chi _{D}(x,p)\) of the classically allowed region, and the symbol of the Zeno Hamiltonian \({\sigma }_{H_N}^{\hbar }(x,p)\) converges to \(p\chi _{D}(x,p)\). The content of Theorem 1 is schematically summarized in Table 1.
Remark 3
A plot of the Weyl symbol exhibits pronounced oscillations, also known as quantum ripples [6], in \(D=\{\mathfrak {h}_{{\text{ h.o. }}}(x,p)\le \mu \}\). If the oscillations are smoothed out, then the graph of \({\sigma }_{H_N}^{\hbar }\) is asymptotically close to a ‘tilted coin’. See Figs. 1 and 2.
We see that at the boundary \(\partial D\) the symbols \({\sigma }_{P_{<N}}^{\hbar }\) and \({\sigma }_{H_N}^{\hbar }\) develop a jump, for large N. The second main result of the paper concerns a finer asymptotics of \({\sigma }_{P_{<N}}^{\hbar }\) and \({\sigma }_{H_N}^{\hbar }\) near \(\partial D\). By zooming in at the edge \(\partial D\), one sees that the symbols have nontrivial scaling limits related to the integrated Airy function
see (B.11). More precisely, set
It follows from (B.12) that \(\chi _{D}^{(N)}\) is a sequence of rotational symmetric smooth functions on the phase space that approximate the characteristic function,
for all \((x,p)\notin \partial D\). (On the boundary \(\partial D\), \(\chi _{D}^{(N)}=1/3\), for all N.)
We can now state our second main result.
Theorem 2
(Weak asymptotics at the boundary) Fix \(\mu >0\). For all \(g\in C^{\infty }_c(\mathbb {R})\),
and
Remark 4
In order to zoom at \(\partial D\), we need to integrate the symbols \({\sigma }_{P_{<N}}^{\hbar }\) and \({\sigma }_{H_N}^{\hbar }\) against (sequences of) compactly supported test functions that concentrate around \(\partial D\). Since \(\partial D\) is invariant under rotations, without loss of generality we consider test functions that are also rotational symmetric. The idea is to consider, for \(g\in C^{\infty }_c(\mathbb {R})\), the rescaling \(\epsilon ^{-2}g(\epsilon ^{-2}(x^2+p^2-2\mu ))\) that is nonzero in a region of order \(\textrm{O}(\epsilon )\) within the boundary \(\partial D\). The blow-up scale that gives rise to a nontrivial limit is \(\epsilon =\hbar ^{\frac{1}{3}}\). The reason for this choice will emerge in the following (see Sect. 3). Note that the space of test functions \(\mathcal {A}\) in Theorem 1 does not depend on the details of the model. On the contrary, in Theorem 2 we integrate the symbols \({\sigma }_{P_{<N}}^{\hbar }\) and \({\sigma }_{H_N}^{\hbar }\) against test functions that concentrate around \(\partial D\) in a suitable way.
Remark 5
The limits in Theorems 1 and 2 do not hold pointwise, in general. For instance, it is easy to show (by using the parity of the harmonic oscillator eigenfunctions) that
The reader is invited to have a glance at Fig. 2. Inside the disk D, the symbols oscillate with frequency of order \({\text {O}}(N)\), while in the classically forbidden region \(D^c= (\mathbb {R}_x \times \mathbb {R}_p) \setminus D\) the symbols are exponentially suppressed. The monotonic behavior outside the disk suggests that for \((x,p)\in D^c\) the convergence to the limits may hold in a stronger sense. In fact, a slight adaptation of the proof of Theorem 2 shows that outside the disk, \({\sigma }_{P_{<N}}^{\hbar }\) and \({\sigma }_{H_N}^{\hbar }\) converge pointwise to the limit symbols.
Theorem 3
(Pointwise asymptotics in the classically forbidden region) Fix \(\mu >0\). For all \((x,p)\in D^c\),
and
1.2 Semiclassical limit of the quantum Zeno dynamics
The quantum dynamics in phase space is ruled by two elements: the Weyl symbol of the Zeno Hamiltonian \({\sigma }_{H_N}^{\hbar }\) and the Moyal bracket (that does depend on \(\hbar \)) [24, 42]. Hence, the semiclassical limit of the dynamics should encompass a simultaneous \(\hbar \rightarrow 0\) limit of the symbol (the generator of the dynamics) and the Moyal structure.
By Theorem 1, the symbol \({\sigma }_{H_N}^{\hbar }\) of the Zeno Hamiltonian converges as \(\hbar \rightarrow 0\), \(N\rightarrow \infty \), with \(\hbar N = \mu >0\), to \(p\chi _D(x,p)\). Moreover, the Moyal bracket has an asymptotic expansion in powers of \(\hbar \) whose leading term (zeroth order) is the classical Poisson bracket. Hence, it is reasonable to expect that the limiting dynamics is well described by the Hamiltonian evolution (i.e., Poisson) in phase space where the Hamiltonian is the limit symbol \(p\chi _D(x,p)\).
However, in this naïve approach we immediately face an obstruction: the symbol \(p\chi _D(x,p)\) is not smooth, and hence, it is not possible to write Hamilton’s equations of motion! If we insist in writing, formally, Hamilton’s equations, we get
where \(r=\sqrt{x^2+p^2}\). The Dirac delta \(\delta _{\sqrt{2\mu }}(r)\) arises as distributional derivative of the step function. We stress again that the above expressions are formal: the Hamiltonian is discontinuous at \(\partial D\), and its vector field in \((\diamondsuit )\) is singular.
We can now look at the corresponding phase portrait. First, the Hamiltonian vector field is zero outside the closure of the disk D. Thus, all points there are equilibrium points. If the particle is in D, then the equation of motions are \(\dot{x}=1,\dot{p}=0\), and the particle moves with constant momentum
It is thus proceeding at a constant velocity along the x-axis. When it hits the boundary \(\partial D\), the evolution is given by the singular contributions, proportional to the delta functions: \(\dot{x}=p\delta _{\sqrt{2\mu }}(r)p/r,\dot{p}=-p\delta _{\sqrt{2\mu }}(r)x/r\). Heuristically, these equations would correspond to a field tangential to the boundary of D that yields a motion along the circle \(\partial D\) at ‘infinite’ speed. The particle reappears on the other side of the boundary (with the same momentum \(p = p_0\)) and resumes its motion along the x-axis at a constant velocity. The collision at the edge \(\partial D\) thus realizes, in this semiclassical picture, a reflection around the p-axis of the phase space, transforming \(\left( \sqrt{2\mu -p_0^2},p_0\right) \) into \(\left( -\sqrt{2\mu -p_0^2},p_0\right) \).
An interesting interpretation of the semiclassical limit of the Zeno dynamics is as follows. In the limit dynamics, the points (x, p), \((-x,p)\) on the cirle \(\partial D\subset \mathbb {R}_x\times \mathbb {R}_p\) are identified. Hence, one can think of the \(N\rightarrow \infty ,\hbar \rightarrow 0\) limit, with \(\hbar N = \mu \), as yielding a change of topology: the dynamics on the disk becomes a motion on the sphere! We emphasize again that all this is formal, although very close to what was observed in [40, 41], and called ‘phase inversion mechanism’. The function \(p\chi _D(x,p)\) is not smooth, and therefore, it is not the generator of a classical Hamiltonian dynamics.
We know, however, by Theorem 2, that the symbol \({\sigma }_{H_N}^{\hbar }(x,p)\) is asymptotically close to a smoothed version
For each N, it makes sense to consider the Hamiltonian system generated by \(p\chi _D^{(N)}(x,p)\),
This is a family of well-defined Hamilton equations, and we can expect, for large N, the solutions of \((\clubsuit )\) to be ‘close’ to the sought semiclassical limiting dynamics.
We give here a sketch of an argument showing that for large N, the solutions of \((\clubsuit )\) behave as the formal solutions of the singular problem \((\diamondsuit )\). The equations of motions from \((\clubsuit )\) are:
where
Observe that \(\chi ^{(N)}_{[0,\sqrt{2\mu })}(r)\) are uniformly bounded functions that converge, as \(N\rightarrow \infty \) to the characteristic function \(\chi _{[0,\sqrt{2\mu })}\), see (B.12). The corresponding component of the field is of order \(\textrm{O}(1)\). The sequence of functions \(\delta ^{(N)}_{\sqrt{2\mu }}(r)\) converges to \(\delta _{\sqrt{2\mu }}(r)\) in a distributional sense, as \(N\rightarrow \infty \). This can be seen, in Fourier space, from the identity \( \int _{\mathbb {R}}{\text {Ai}}(x)e^{-ikx}dx=e^{ik^3/3}\).
We conclude that the Hamiltonian vector field generated by \(p\chi _D^{(N)}(x,p)\) converges to the singular vector field generated by \(p\chi _D(x,p)\). The component of the field containing \(\delta _{\sqrt{2\mu }}^{(N)}(r)\) is of order \(\textrm{O}(N^{\frac{2}{3}})\) and generates a motion at speed \(\propto N^{\frac{2}{3}}\), which becomes ‘infinite’ in the singular limit. Figure 3 shows a comparison of the phase portraits of the Hamiltonian dynamics generated by the Weyl symbol \({\sigma }_{H_N}^{\hbar }(x,p)\), the smooth Hamiltonian \(p\chi _D^{(N)}(x,p)\) and the discontinuous function \(p\chi _D(x,p)\). Note the effective change of topology in the limit singular case that results from the instantaneous motion along the circle \(\partial D\).
1.3 Spectral analysis of the Zeno Hamiltonian \(H_N\)
The matrix representation of \(H_N\) (in the Hermite basis \(\left\{ \psi _k^{\hbar } \right\} _{k \in \mathbb {N}}\), see “Appendix A”) is the \(N\times N\) complex Hermitian matrix
This is a Jacobi matrix about which we have very precise spectral information (characteristic polynomial, eigenvalues and their counting measure) for all N.
Proposition 1
For all \(N \ge 1\),
where \(h_N\) is the Hermite polynomial of degree N, see “Appendix A”. In particular, the eigenvalues of \(H_N\) are the N (simple and real) zeros of the Hermite function \(\psi ^{\hbar }_N(z)\).
Proof
\(H_N\) is unitarily equivalent to \(P_{<N} \hat{x}P_{<N}\) (see Eqs. (A.7)–(A.8)), and so the two operators have equal characteristic polynomial. The claim now follows from a result for general orthogonal polynomials on the real line due to Simon [47, Prop. 2.2]. \(\square \)
If \(y^{(j)}_N\) are the zeros of \(\psi ^{\hbar }_N(y)\), we define the eigenvalues counting measure \(\nu _N\) of the Zeno Hamiltonian \(H_N\) to be the nonnegative measure that puts weight 1/N on each eigenvalue of \(H_N\) (the \(y^{(j)}_N\)’s). From well-known results on Hermite polynomials [14], it follows that the measure \(\nu _N\) weakly converges to the semicircular density in the simultaneous limit \(\hbar \rightarrow 0\), \(N\rightarrow \infty \) with \(\hbar N\) asymptotically fixed. See Fig. 4.
Proposition 2
For all continuous bounded functions f,
as \(N\rightarrow \infty \), \(\hbar \rightarrow 0\), with the product \(\hbar N\) converging to \(\mu >0\).
Remark 6
The semicircular spectral distribution can be obtained formally from the semiclassical limit of Theorem 1. Indeed, in the limit symbol \(p\chi _D(x,p)\) of the Zeno Hamiltonian is concentrated on the disk D of radius \(\sqrt{2\mu }\). Semiclassically, the density of the eigenvalues is the fraction of the phase space volume with energy between y and \(y+dy\):
1.4 Proof strategy and relations to other works
When N is large, the symbols \({\sigma }_{P_{<N}}^{\hbar }\) and \({\sigma }_{H_N}^{\hbar }\) are highly oscillating smooth functions. As discussed in Remark 5, looking for a global semiclassical limit in a pointwise sense is hopeless. It turns out that the sought convergence of the symbols holds in a weak sense if the set of test functions is chosen to be \(\mathcal {A}\).
The proofs presented in this paper are based on the following observations:
-
(1)
The asymptotics of integrals of the Weyl symbols \({\sigma }_{P_{<N}}^{\hbar }(x,p)\) and \({\sigma }_{H_N}^{\hbar }(x,p)\) against functions on the phase space is related to the pointwise asymptotics of the Fourier transforms \(\mathcal {F}_2{\sigma }_{P_{<N}}^{\hbar }(x,y)\) and \(\mathcal {F}_2{\sigma }_{H_N}^{\hbar }(x,y)\);
-
(2)
The function \(\mathcal {F}_2{\sigma }_{P_{<N}}^{\hbar }(x,y)\) is a sum of N terms (cross products of Hermite functions), see Eq. (2.13). However, thanks to the Christoffel–Darboux formula (Lemma 3) this sum can be expressed in terms of the N-th and \((N-1)\)-th Hermite functions only. Hence, studying the large N asymptotics with \(\hbar N=\mu \) amounts to study the large-degree asymptotics of Hermite functions. This is a well-studied topic in the theory of orthogonal polynomials from which we can freely borrow explicit asymptotic formulae. So, to prove the convergence of the symbols we will show the convergence of the Christoffel–Darboux kernel along with its derivatives to the sine and Airy kernels (in the formulation presented in the book of Anderson, Guionnet and Zeitouni [2])
-
(3)
The symbol \({\sigma }_{H_N}^{\hbar }(x,p)\) is ‘asymptotically close’ to \(p{\sigma }_{P_{<N}}^{\hbar }(x,p)\) in the dual space \(\mathcal {A}'\) (Proposition 7). This is suggested by the heuristic observation that, in the limit \(\hbar \rightarrow 0\), the algebra of observables should become commutative. What we gain is that, once we know the asymptotics of \({\sigma }_{P_{<N}}^{\hbar }(x,p)\) we can directly deduce the asymptotics of \({\sigma }_{H_N}^{\hbar }(x,p)\).
The seminal paper by Lions and Paul [33] on the semiclassical limit of Wigner measures, and the more recent developments [1, 3, 11, 23] were instrumental in our study.
We mention that the symbol \({\sigma }_{P_{<N}}^{\hbar }(x,p)\) of the orthogonal projection \(P_{<N}\) studied in the present paper has close connection to the fuzzy approximation of two-dimensional disk proposed by Lizzi, Vitale and Zampini [34, 35]. A fuzzy space is an approximation of an abelian algebra of functions on an ordinary space with a sequence of finite-rank matrix algebras, which preserve the symmetries of the original space, at the price of non-commutativity. Equation (1.5) of Theorem 1 is the precise mathematical statement behind the numerical results of [34, 35]. To our knowledge, the finer asymptotics of Theorem 2 is a new result, that has not been observed numerically neither.
The convergence of symbols of projection operators to the characteristic function of the classically allowed region is folklore in theoretical physics. In recent years, there has been an explosion of results on the asymptotics of the Christoffel–Darboux kernel for orthogonal polynomials on the real line, especially in connections to eigenvalue statistics of random matrices and integrable probability models [14, 30, 37, 43]. The interest to these asymptotics in the theoretical and mathematical physics community has been mostly motivated by applications to the number statistics of non-interacting fermions. The asymptotics at the ‘edge’ has been also investigated at various levels of rigor. See, e.g., [5,6,7, 9, 10, 12, 13, 15, 16, 49].
The semiclassical structure of quite general cut quantum observables \(\Pi Q\Pi \) (with \(\Pi \) a spectral projection and Q a pseudodifferential operator) was studied by Hernandez-Duenas and Uribe [29]. Their results are consistent with Theorem 1 of the present paper. Those authors also studied the unitary dynamics generated by the cut quantum observables (the analogue of the Zeno Hamiltonian \(H_N\) of the present paper), and numerically found fascinating phenomena of splitting of the wave-packets and infinite propagation speed near the boundary of the classically allowed region. This is again consistent with our findings.
Given the universality results on the asymptotics of orthogonal polynomials and random matrices [14], we expect that Theorem 1 is valid for a rather large class of symbols associated with finite-rank orthogonal projections. The recent paper by Deleporte and Lambert [15] suggests that Theorem 2 would be valid as long as the gradient of the confining potential does not vanish at the points of classical inversion of motion. In any case, the statement of analogues of Theorem 2 should depend on the geometry of the level sets of the corresponding classical Hamiltonian function. Further study is in progress.
1.5 Outline of the paper
The structure of the paper is as follows: In the next section, we recall some preliminary background material, introduce a precise presentation of the model and provide the calculation of the symbols. In Sect. 3, we discuss the different scaling limits in Theorems 1 and 2. Section 4 is entirely devoted to the proofs of the main technical results and of Theorems 1, 2 and 3. The paper includes two appendices. In “Appendix A”, we collect known formulae on the Hermite functions. “Appendix B” contains the definition and a few properties of the sine and the Airy kernel.
2 Notation, preliminaries, Weyl symbols and kernels
We first introduce some notation and preliminary notions that we use throughout this work. For a linear operator L on \(L^2(\mathbb {R})\), we write \(L\doteq L(u,v)\) to indicate that L has kernel \(L(u,v)\in L^2(\mathbb {R}\times \mathbb {R})\). In this paper, all kernels are continuous. For A, B linear operators, we use the notation \([A,B]:=AB-BA\) for the commutator. Let D be the linear operator defined, for \(f\in H^1({\mathbb {R}})\), by the formula \((Df)(u)=\frac{d}{du}f(u)\). We have
For \(x\in \mathbb {R}\) and \(\gamma >0\), let
Of course \(\left( V^{-1}_{x,\gamma }f\right) (u)=\sqrt{1/\gamma }f\left( \gamma ^{-1}(u-x)\right) \), and \(V_{x,\gamma }\) is unitary. If we conjugate the operator L by the scaling unitary \(V_{x,\gamma }\), its kernel gets changed into
We shall consider the following space of test functions introduced by Lions and Paul [33],
where \(C_0(\mathbb {R}_x\times \mathbb {R}_p)\) is the usual space of continuous functions tending to zero at infinity.
\(\mathcal {A}\) is a Banach algebra with the following properties (see [33]):
-
\(\mathcal {S}(\mathbb {R}_x\times \mathbb {R}_p)\), \(C^{\infty }_c(\mathbb {R}_x\times \mathbb {R}_p)\), and \(\mathcal {B}=\{f\in {\mathcal {A}}:\mathcal {F}_2f\in C_c(\mathbb {R}_x\times \mathbb {R}_y)\}\) are dense subspaces in \(\mathcal {A}\).
-
\(\sup _{x,p}|f(x,p)|\le (1/2\pi )\Vert f\Vert _{\mathcal {A}}\); hence, \(\mathcal {A}\) is contained in the space of bounded continuous functions in the phase space \(C_b(\mathbb {R}_x\times \mathbb {R}_p)\).
Let \(\mathcal {A}'\) be the dual of \(\mathcal {A}\). From the Parseval identity, it follows that
A basic property is \(\Vert h\Vert _{\mathcal {A}'}\le \frac{1}{2\pi } \Vert h\Vert _{L^1}\) (hence \(L^1(\mathbb {R}_x\times \mathbb {R}_p)\subset \mathcal {A}'\)).
Definition 1
Given a number \(\hbar >0\), the Weyl symbol of the operator \(L\doteq L(u,v)\) is defined as:
Equivalently, \(\sigma _L^{\hbar }\) is defined by the identity
and, by Plancherel’s theorem,
We will often use the shorthand
We recall that the Weyl symbol of the product of two operators A, B is not the ordinary product of the symbols \(\sigma ^{\hbar }_{AB}\ne \sigma ^{\hbar }_{A}\sigma ^{\hbar }_{B}\), unless A and B commute. The noncommutative Moyal product \(\sharp \) is defined as the composition law that does the job: \(\sigma ^{\hbar }_{AB}= \sigma ^{\hbar }_{A}\, \sharp \, \sigma ^{\hbar }_{B}\) [24].
Definition 2
Given two linear operators A and B on \(L^2(\mathbb {R})\) with Weyl symbols \(\sigma _A^\hbar \) and \(\sigma _B^\hbar \), respectively, the Moyal product is defined as follows:
Recall that the normalized eigenfunctions of the harmonic oscillator operator \(H_{{\text {h.o.}}}\) in (1.1) are the Hermite functions:
where \(\alpha ^2=1/\hbar \) and
is the k-th Hermite polynomials, see “Appendix A”. Consider the orthogonal projection
onto the span of the first N Hermite eigenfunctions in (1.2). The Zeno Hamiltonian in (1.3) is the truncated momentum operator
Proposition 3
(Integral kernels)
Proof
Formula (2.13) follows directly by the definition of the Hermite functions. Formula (2.14) is obtained by a direct calculation using the three-term recurrence (A.8), while (2.15) follows by applying the identity (2.1) to \(P_{<N}\), and using the orthonormality of the eigenfunctions \(\{ \psi ^{\hbar }_{k}\}_{k \in \mathbb {N}}\). \(\square \)
Remark 7
The kernels \(K_N\), \(Q_N\) and \(R_N\) are rapidly decreasing functions in \(\mathcal {S}(\mathbb {R}_u\times \mathbb {R}_v)\).
The Weyl symbols of \(P_{<N}\) and \(H_N\)
have explicit representations in terms of associated Laguerre polynomials (this is a manifestation of the so-called Laguerre connection [24, §1.9]).
Proposition 4
(Weyl symbols) For all \(x,p \in \mathbb {R}\):
where
are the associated Laguerre polynomials. \(\square \)
Proof
A consequence of the following formula by Groenewold [28] is valid for all \(j\le k\) (we write the formula as in [11, Eq. (30)]),
Remark 8
The symbols \({\sigma }_{P_{<N}}^{\hbar }\) and \({\sigma }_{H_N}^{\hbar }\) are rapidly decreasing functions in \(\mathcal {S}(\mathbb {R}_x\times \mathbb {R}_p)\). Notice that \({\sigma }_{P_{<N}}^{\hbar }\) is rotational symmetric. It may be convenient in the following to consider \({\sigma }_{P_{<N}}^{\hbar }\) and \({\sigma }_{H_N}^{\hbar }\) as complex-valued functions defined on the complexification \(\mathbb {C}_x\times \mathbb {C}_p\) of the real phase space. They are entire functions in both variables x and p.
3 Scaling limits
In this section, we provide an heuristic explanation of the different scaling limits in Theorems 1 and 2. The following discussion is somewhat breezy. For a more careful exposition of similar ideas, see [7, 9, 15].
Recall that \(P_{<N} \doteq K_N(u,v)\) and
At scale \(\hbar \), the kernel has an asymptotic limit that can be identified as follows. We start by writing the rescaled kernel in terms of the conjugation of a unitary transformation on the operator. If we conjugate the projection \(P_{<N}\) by the scaling unitary \(V_{x,\hbar }\) in (2.2), we get that the kernel of the rescaled projection is the rescaled kernel:
The action of the rescaled harmonic oscillator operator on a function f in its domain is:
So we expect that
We recall the following result adapted from [7, Lemma A.5].
Lemma 1
The operator \(-\frac{d^2 }{d u^2}\) is essentially self-adjoint on \(C^{\infty }_c(\mathbb {R})\), and its unique self-adjoint extension has only absolutely continuous spectrum \(\sigma \left( -\frac{d^2 }{d u^2}\right) =\sigma _{\textrm{ac}}\left( -\frac{d^2 }{d u^2}\right) =[0,\infty )\). Moreover,
where \(K_{{\text {sine}}}\) is the sine kernel (B.3).
From (3.1), we see that a rescaling \(\hbar \) in the Hilbert space \(L^2(\mathbb {R})\) corresponds to zooming at scale \(\hbar ^0\) in the phase space. The precise statement of (3.3) is Proposition 5 in Sect. 4.
To explain how a different asymptotics arises at the boundary \(\partial D\), we need to study the rescaled harmonic oscillator operator in a neighborhood of the classical turning points \(x=\pm \sqrt{2\mu }\). Let us zoom at scale \(\hbar ^\alpha \), with \(\alpha >0\) an exponent to be determined:
If we choose \(\alpha =\frac{2}{3}\), we then expect that
for \(\hbar \rightarrow 0\), \(N\rightarrow \infty \), with \(\hbar N=\mu \), where \(\hat{u}\) is the position operator and \(c_{\mu }=2^{\frac{1}{2}}\mu ^{\frac{1}{6}}\) is a constant given in (B.2). Thus, the limit at the edge is related to the Airy differential operator for which we have the following spectral result, adapted from [7, Lemma A.7].
Lemma 2
The operator \(-\frac{d^2}{d u^2}+c_{\mu }^3\hat{u}\) is essentially self-adjoint on \(C^{\infty }_c(\mathbb {R})\), and its self-adjoint extension has only absolutely continuous spectrum \(\sigma \left( -\frac{d^2}{d u^2}+c_{\mu }^3\hat{u} \right) =\sigma _{\textrm{ac}}\left( -\frac{d^2}{d u^2}+c_{\mu }^3\hat{u}\right) =(-\infty ,\infty )\). Moreover,
where \(K_{{\text {Ai}}}\) is the Airy kernel (B.4).
The precise statement of (3.5) is Proposition 6 in Sect. 4.
From (3.1), we see that a rescaling \(\hbar ^{\frac{2}{3}}\) at the edge in the Hilbert space \(L^2(\mathbb {R})\) corresponds to zooming at scale \(\hbar ^{\frac{2}{3}-1}=\hbar ^{-\frac{1}{3}}\) around the boundary \(\partial D\) in the phase space. This explains the rescaling in Theorem 2.
4 Proofs
The proofs presented in this section are based on the following three observations:
-
(1)
The asymptotics of the Weyl symbols \({\sigma }_{P_{<N}}^{\hbar }\), \({\sigma }_{H_N}^{\hbar }\) is related (by Fourier transform in the second variable \(\mathcal {F}_2\)) to the asymptotics of the integral kernels \({K_N}(x,y)\) and \({Q_N}(x,y)\).
-
(2)
The kernel \({K_N}(x,y)\) is a sum of N terms (cross products of Hermite functions), see Eq. (2.13). However, thanks to Christoffel–Darboux formula this sum can be expressed in terms of the N-th and \((N-1)\)-th Hermite functions only. Hence, studying the large N asymptotics with \(\hbar N\sim \mu \) amounts to study the large-degree asymptotics of the Hermite functions.
-
(3)
\({\sigma }_{H_N}^{\hbar }(x,p)\) is ‘asymptotically close’ to \(p{\sigma }_{P_{<N}}^{\hbar }(x,p)\) for \(N \rightarrow \infty \), \(\hbar \rightarrow 0\) with \(\hbar N = \mu >0\), see Proposition 7; therefore, once we know the asymptotics of \(K_N\) (and hence of \({\sigma }_{P_{<N}}^{\hbar }\)), we can directly deduce the asymptotics of \({\sigma }_{H_N}^{\hbar }\).
4.1 Asymptotics of the kernels
By telescoping the sum in (2.13) and using the three-term relation (A.7), we get the celebrated Christoffel–Darboux formula [46].
Lemma 3
For all \(u,v\in {\mathbb {R}}\),
Thus, the large-N asymptotics of the Christoffel–Darboux kernel \(K_N(x,y)\) boils down to the classical subject of large degree asymptotics of orthogonal polynomials. A consequence of the Plancherel–Rotach asymptotics for \(\psi _N^{\hbar }(x)\) (Eqs. (A.10)–(A.12)) are the following asymptotic behaviors of the kernel \(K_N(x,y)\).
Proposition 5
(Bulk asymptotics of the Christoffel–Darboux kernel) Suppose that \(\hbar =\hbar _N\) is the sequence defined by the condition \(\hbar N=\mu \). Then, for any compact sets \(U\Subset \mathbb {R}\) and \(V\Subset \mathbb {R}^2\), and for any \(\alpha ,\beta \in \{0,1\}\), there exists a constant \(C>0\) such that
where \(\rho _{\mu }(x)\) is the semicircular density (B.1), and \(K_{{\text {sine}}}\) is the sine kernel (B.3).
Proposition 6
(Edge asymptotics of the Christoffel–Darboux kernel) Suppose that \(\hbar =\hbar _N\) is the sequence defined by the condition \(\hbar N=\mu \). For any compact set, \(W\Subset \mathbb {C}^2\), and for any \(\alpha ,\beta \in \{0,1\}\), there exists a constant \(C>0\) such that
where \(c_{\mu }\) is given in (B.2), and \(K_{{\text {Ai}}}\) is the Airy kernel (B.4).
The scaling limits of the Christoffel–Darboux kernel to the sine and Airy kernel are well-known results. It is perhaps less known that the local uniform convergence can be promoted to their derivatives as well. We outline here a proof, adapting the presentation of the book by Anderson et al. [2, Chap. 3].
Notation
From now on, \((\hbar _N)_{N\ge 1}\) is the positive sequence such that product \(\hbar _NN=\mu \), where \(\mu \) is a fixed positive number. We will write \(\hbar \) instead of \(\hbar _N\) for short, when no confusion arises. We will also use the following shorthand
Proof of Propositions 5 and 6
Consider first the case \(\alpha =\beta =0\):
and
It is useful to get rid of the removable singularity \(t=s\) in \(K_{N,x,\hbar }\). Toward this end, noting that for any differentiable functions f, g on \(\mathbb {R}\),
we deduce that
where we used relation (A.9) in the last equality.
We can now insert the uniform Plancherel–Rotach asymptotics (A.10)–(A.11), perform the integrals and use elementary trigonometric identities to conclude the proof of (4.5).
To prove the \(C^1\)-local uniform convergence, we start by taking the derivative(s) of the Christoffel–Darboux kernel \(\partial ^{\alpha }_t\partial ^{\beta }_sK_{N,x,\hbar }\left( t,s\right) \). This entails computing the derivatives of Hermite functions. Now the trick is to write the derivative \({\psi _n^{\hbar }}'\) as a combination of Hermite functions (not differentiated) using again formula (A.9). Hence, the local uniform asymptotics of \({\psi _n^{\hbar }}'\) can be read off from the Plancherel–Rotach asymptotics (A.10)–(A.11) of \(\psi _n^{\hbar }\). The proof of the \(C^1\)-convergence is therefore a simple modification of the proof of (4.5).
To prove (4.6), we use again (A.9) to write the kernel as
If we set
then
By the Plancherel–Rotach asymptotics (A.12), for any compact set \(J\Subset \mathbb {C}\),
Since the functions \(\Psi _N^{\hbar }\) are entire, the above locally uniform convergence entails the uniform convergence of \({\Psi _N^{\hbar }}'\) to \({\text {Ai}}'\) on compact subsets of \(\mathbb {C}\) (a standard application of Cauchy’s integral formula).
By the very same argument, each finite-N kernel \(K_{N,\sqrt{2\mu },\hbar ^{\frac{2}{3}}}\) is analytic, and hence, their derivatives converge to the derivatives of the Airy kernel. The proof is complete. \(\square \)
Remark 9
Since \({\sigma }_{P_{<N}}^{\hbar }\in \mathcal {S}(\mathbb {R}_x\times \mathbb {R}_p)\), we have that the Fourier transform are rapidly decreasing functions too, \(\mathcal {F}_2{\sigma }_{P_{<N}}^{\hbar }\in \mathcal {S}(\mathbb {R}_x\times \mathbb {R}_y)\). On the contrary,
is not integrable in \(\mathbb {R}_x\times \mathbb {R}_y\), and this tells that we cannot get in (4.2) a convergence stronger than uniform on compact subsets.
In order to prove Theorem 2, we will also need to show that the Airy kernel on the antidiagonal is dominated by the integrable function.
Lemma 4
There exist positive constants C, c such that, for all \(N\in {\mathbb {N}}\), with \(\hbar N\) fixed,
Proof
We start from the formula (recall the notation (2.2)):
This is an identity true for all \(\hbar \), N, and \(\mu \). It can be proved from the representation (4.8) using the differential equation for the Hermite functions.
If \(\hbar N = \mu \), on the antidiagonal \(-s=t=y\) we thus get
where we used the notation (4.7). To estimate \(I_1\), \(I_2\), and \(I_3\), we need some explicit bounds on the rescaled wavefunctions \(\Psi _N^{\hbar }\). Note that \(K_{N,\sqrt{2\mu },\hbar ^{\frac{2}{3}}}(-y,y)\) is even, and so it suffices to study the case \(y>0\). A useful bound is
for all y, see [31]. Hence, the rescaled wavefunctions are uniformly bounded by a constant
To get an integrable estimate on \(\Psi _N^{\hbar }(y)\) for \(y>0\), we employ a theorem by Sonin and Polya [48, Theorem 7.31.1] giving quantitative growth information on the solutions of Sturm–Liouville equation. We observe that \(\Psi _N^{\hbar }(y)\) satisfies the differential equation
for all \(y\in \mathbb {R}\). If b denotes the positive zero of V, then we have
-
(1)
\(\Psi _N^{\hbar }>0\) on \([b,+\infty )\);
-
(2)
\(\lim _{y\rightarrow \infty }\left( \log \Psi _N^{\hbar }(y)\right) '=-\infty \).
-
(3)
\(V>0\) and \(V'>0\) on \([b,+\infty )\);
(For the first we use known bounds [31] on the largest zero of the Hermite polynomial of degree N; the second is true because \(\Psi _N^{\hbar }\) is a polynomial times a Gaussian.) The above-mentioned theorem of Sonin and Polya (see the formulation in [2, Lemma 3.9.31]) allows to conclude that
Hence,
for all \(y\ge b\). A short calculation shows that \(0<b<\frac{1}{2}\frac{\hbar ^{\frac{1}{3}}}{(2\mu )^{\frac{1}{2}}}+\frac{1}{8}\frac{\hbar ^{\frac{4}{3}}}{(2\mu )^{\frac{3}{2}}}\). Since \(\Psi _N^{\hbar }(y)\rightarrow {\text {Ai}}(y)\) pointwise, with different constants we have
We can now estimate, for \(y>0\),
where C, c denote different constants in each line. In the second to last step, we used the uniform bound (4.12) on \(\mathbb {R}\) and the integrable bound (4.13) on \([0,\infty )\).
The analysis of \(I_2\) and \(I_3\) as functions of y proceeds almost verbatim. Moreover, they are o(1) as \(N\rightarrow \infty \), so that their contribution is negligible. \(\square \)
Remark 10
Since \(K_{N,\sqrt{2\mu },\hbar ^{\frac{2}{3}}}(-y,y)\rightarrow K_{{\text {Ai}}}(-y,y)\) pointwise, it follows that \(K_{{\text {Ai}}}(-y,y)\) is also dominated by \(Ce^{-c|y|^{\frac{3}{2}}}\). For an illustration of the kernels, see Fig. 5.
The kernel at the edge \(K_{N,\sqrt{2\mu },\hbar ^{\frac{2}{3}}}(-y,y)\) compared to its limit \(c_{\mu }K_{{\text {Ai}}}(-c_{\mu }y,c_{\mu }y)\). Here \(\mu =2\). Note the integrable tails (see Lemma 4)
4.2 Asymptotics of the symbols
Note that \({\sigma }_{H_N}^{\hbar }(x,p)\ne p{\sigma }_{P_{<N}}^{\hbar }(x,p)\). This is not surprising since the operators \(\hat{p}\) and \(P_{<N}\) do not commute.
Lemma 5
For all \(x,p \in \mathbb {R}\):
Proof
An application of the three-term recurrence of the Hermite functions (A.9). \(\square \)
Proposition 7
The families \(\{{\sigma }_{P_{<N}}^{\hbar }\}_{N \ge 1}\) and \(\{{\sigma }_{H_N}^{\hbar }\}_{N \ge 1}\) are bounded in \(\mathcal {A}'\). Moreover,
thus the distance between \({\sigma }_{H_N}^{\hbar }(x,p)\) and \(p{\sigma }_{P_{<N}}^{\hbar }(x,p)\) is asymptotically small in \(\mathcal {A}'\), as \(N\rightarrow \infty \), \(\hbar \rightarrow 0\), with \(\hbar N \rightarrow \mu >0\).
5
Proof of Proposition 7
Let \(f\in \mathcal {A}\). From Plancherel’s theorem
We can estimate
Similarly,
The convergent sequence \(\hbar N\) is bounded from above. The proof of the uniform boundedness of the symbols is complete.
With the help of Lemma 5, similar calculations are used in the proof of (4.15),
\(\square \)
4.3 Proofs of Theorems 1, 2 and 3
Proof of Theorem 1
Notice that, by Proposition 5, for any compact sets \(U,V\Subset \mathbb {R}\), there is a constant \(C=C(U,V,\mu )>0\), such that
for all \(N\ge 1\), where
It is enough to show the two claims (1.5)–(1.6) for all \(f\in \mathcal {B}\). By the density of \(\mathcal {B}\) in \(\mathcal {A}\), the thesis will follow. Let \(f\in \mathcal {B}\) (so that \(\mathcal {F}_2f\) has compact support \(J\Subset \mathbb {R}_x\times \mathbb {R}_y\), see Sect. 2). Then,
for some constant C (dependent on J). Hence, for all \(f\in \mathcal {B}\),
Similarly, for \(f\in \mathcal {B}\),
The first term is of order \(O(N^{-1})\) by Proposition 7; the second term is also \(O(N^{-1})\) by Eq. (4.17). Hence, for all \(f\in \mathcal {B}\),
\(\square \)
Before proving Theorem 2, we need some notation. Consider the change of coordinates
where \(\zeta \) is solution of
and \(\theta \in [0,2\pi )\) is given by
If \((x,p)\notin D\) then \(\zeta \in (0,\infty )\); if t\((x,p)\in D\), then \(\zeta \in [0,i\sqrt{2\mu }]\). T is a bijection from \(\mathbb {R}_x\times \mathbb {R}_p\) to \(T(\mathbb {R}^2{\setminus }(0,0))=[0,2\pi )\times (\mathbb {R}_{+}\cup [0,i\sqrt{2\mu }])\) with Jacobian determinant
We can now prove Theorem 2.
Proof of Theorem 2
Let \(g\in C^{\infty }_c({\mathbb {R}})\). We have
where in the third line we used the rotational symmetry of the symbol \({\sigma }_{P_{<N}}^{\hbar }\) and we considered the symbol \({\sigma }_{P_{<N}}^{\hbar }\) as a function on \(\mathbb {C}_x\times \mathbb {C}_p\) (see Remark 8). Similarly,
Hence,
where
and \(f_N(y):=\left| K_{N,\sqrt{2\mu },\hbar ^{\frac{2}{3}}}\left( -y/2,y/2\right) -c_{\mu }K_{{\text {Ai}}}(-c_{\mu }y/2,c_{\mu }y/2)\right| \). By Proposition 6, \(f_N(y)\) tends to zero uniformly on compact sets (and hence pointwise). The tail estimate of Lemma 4 implies that the sequences \(f_N(y)\) and \(f_N(y)e^{zy}\) are dominated by an integrable function, and so by the dominated convergence theorem both \(\int f_N(y)dy\) and \(\int f_N(y)e^{zy}dy\) tend to zero (the latter for any z). Since \({\text {supp}}g\Subset {\mathbb {R}}_z\), we conclude that both \(I_N\) and \(J_N\) go to zero as \(N\rightarrow \infty \). This proves (1.10) from which (1.11) follows by recalling Lemma 5. \(\square \)
Proof of Theorem 3
It is again enough to prove (1.13). The second claim (1.14) will follow by Lemma 5. Fix \(\epsilon >0\). By rotational symmetry, we can assume \(x=\sqrt{2\mu }\) and \(p=z\in \mathbb {R}\).
for every \(L>0\). Choose \(L_0\) such that the \(I_2\) and \(I_3\) are each bounded by \(\epsilon /3\). The first integral \(I_1\) is bounded by \(C\hbar ^{\frac{1}{3}}\), with \(C=C(L_0)\). Take \(\hbar = \left( \epsilon /(3C)\right) ^3\) and conclude the proof. \(\square \)
Data availability
Data sharing was not applicable to this article as no datasets were generated or analyzed during the current study.
References
Ambrosio, L., Figalli, A., Friesecke, G., Giannoulis, J., Paul, T.: Semiclassical limit of quantum dynamics with rough potentials and well-posedness of transport equations with measure initial data. Commun. Pure Appl. Math. 64(9), 1199–1242 (2011)
Anderson, G.W., Guionnet, A., Zeitouni, O.: An Introduction to Random Matrices. Cambridge University Press, Cambridge (2010)
Athanassoulis, A., Paul, T.: On the selection of the classical limit for potentials with BV derivatives. J. Dyn. Differ. Equ. 25, 33–47 (2013)
Beskow, J., Nilsson, J.: The concept of wave function and irreducible representations of the Poincaré group. II. Unstable systems and exponential decay law, Ark. Fys. 34:561 (1967)
Bettelheim, E., Wiegmann, P.B.: Universal Fermi distribution of semiclassical nonequilibrium Fermi states. Phys. Rev. B 84, 085102 (2011)
Bettelheim, E., Glazman, L.: Quantum Ripples Over a Semiclassical Shock. Phys. Rev. Lett. 109, 260602 (2012)
Bornemann, F.: On the scaling limits of determinantal point processes with kernels induced by Sturm–Iiouville operators. SIGMA 12, 083 (2016)
Chernoff, P.R.T.: Product Formulas, Nonlinear Semigroups, and Addition of Unbounded Operators, Memoirs of the American Mathematical Society, vol. 140. American Mathematical Society, Providence (1974)
Cunden, F.D., Mezzadri, F., O’Connell, N.: Free fermions and the classical compact groups. J. Stat. Phys. 171, 768–801 (2018)
Cunden, F.D., Majumdar, S.N., O’Connell, N.: Free fermions and \(\alpha \)-determinantal processes. J. Phys. A: Math. Theor. 52, 165202 (2019)
Curtright, T., Uematsu, T., Zachos, C.: Generating all Wigner functions. J. Math. Phys. 42, 2396 (2001)
Dean, D.S., Le Doussal, P., Majumdar, S.N., Schehr, G.: Wigner function of noninteracting trapped fermions. Phys. Rev. A 97, 063614 (2018)
Dean, D.S., Le Doussal, P., Majumdar, S.N., Schehr, G.: Noninteracting fermions in a trap and random matrix theory. J. Phys. A: Math. Theor. 52, 144006 (2019)
Deift, P.: Orthogonal polynomials and random matrices: a Riemann-Hilbert approach, AMS Bookstore, (1999)
Deleporte, A., Lambert, G.: Universality for free fermions and the local Weyl law for semiclassical Schrödinger operators, arXiv:2109.02121
Eisler, V.: Universality in the full counting statistics of trapped Fermions. Phys. Rev. Lett. 111, 080402 (2013)
Exner, P.: Open Quantum Systems and Feynman Integrals Reidel, Dordrecht, (1985)
Exner, P., Ichinose, T.: A product formula related to quantum Zeno dynamics. Ann. Henri Poincaré 6, 195 (2005)
Exner, P., Ichinose, T., Neidhardt, H., Zagrebnov, V.: Zeno product formula revisited. Integral Equ. Oper. Theory 57, 67 (2007)
Exner, P., Ichinose, T.: Note on a product formula related to quantum zeno dynamics. Ann. Henri Poincaré 22, 1669 (2021)
Facchi, P., Ligabò, M.: Quantum Zeno effect and dynamics. J. Math. Phys. 51, 022103 (2010)
Facchi, P., Pascazio, S.: Quantum zeno dynamics: mathematical and physical aspects. J. Phys. A: Math. Theor. 41, 493001 (2008)
Figalli, A., Ligabò, M., Paul, T.: Semiclassical limit for mixed states with singular and rough potentials. Indiana Univ. Math. J. 61(1), 193–222 (2012)
Folland, G.B.: Harmonic Analysis in Phase Space, Princeton University Press, (1989)
Friedman, C.N.: Semigroup product formulas, compressions, and continual observations in quantum mechanics. Indiana Univ. Math. J. 21, 1001 (1972)
Friedman, C.N.: Continual measurements in space-time formulation of nonrelativistic quantum mechanics. Ann. Phys. 98, 87 (1976)
Gustafson, K., Misra, B.: Canonical commutation relations of quantum mechanics and stochastic regularity Lett. Math. Phys. 1, 275 (1976)
Groenewold, H.J.: On the principles of elementary quantum mechanics. Physica 12, 405–460 (1946)
Hernandez-Duenas, G., Uribe, A.: Algebras of semiclassical pseudodifferential operators associated with Zoll-type domains in cotangent bundles. J. Funct. Anal. 268, 1755–1807 (2015)
Hough, J.B., Krishnapur, M., Peres, Y., Virág, B.: Determinantal processes and independence. Probab. Surv. 3, 206–229 (2006)
Krasikov, I.: New bounds on the Hermite polynomials. East J. Approx. 10, 355–362 (2004)
Kato, T.: Trotter’s product formula for arbitrary pair of self-adjoint contraction semigroups topics in functional analysis. Adv. Math. Supple. Stud. 3 (1978)
Lions, P.L., Paul, T.: Sur les mesures de Wigner. Revista Matemática Iberoamericana 9(3), 553–618 (1993)
Lizzi, F., Vitale, P., Zampini, A.: The Fuzzy Disc. JHEP 08, 057 (2003)
Lizzi, F., Vitale, P.: A. Zampini, The fuzzy disc: a review, J. Phys. Conf. Ser. 53, 830 (2006)
Matolcsi, M., Shvidkoy, R.: Trotter’s product formula for projections. Arch. Math. 81, 309 (2003)
Mehta, M.L.: Random Matrices, 3rd edn. Elsevier, Amsterdam (2004)
Misra, B., Sudarshan, E.C.G.: The Zeno’s paradox in quantum theory. J. Math. Phys. 18, 756 (1977)
NIST Digital Library of Mathematical Functions, http://dlmf.nist.gov/, Release 1.1.5 of 2022-03-15. Olver, F.W.J., Olde Daalhuis, A.B., Lozier, D.W., Schneider, B.I., Boisvert, R.F., Clark, C.W., Miller, B.R., Saunders, B.V., Cohl, H.S., McClain, M.A. eds
Raimond, J.-M., Sayrin, C., Gleyzes, S., Dotsenko, I., Brune, M., Haroche, S., Facchi, P., Pascazio, S.: Phase space tweezers for tailoring cavity fields by quantum Zeno dynamics. Phys. Rev. Lett. 105, 213601 (2010)
Raimond, J.-M., Facchi, P., Peaudecerf, B., Pascazio, S., Sayrin, C., Dotsenko, I., Gleyzes, S., Brune, M., Haroche, S.: Quantum Zeno dynamics of a field in a cavity. Phys. Rev. A 86, 032120 (2012)
Robert, D.: Autour De L’Approximation Semi-Classique, Birkhauser Boston, (1987)
Romik, D.: The Surprising Mathematics of Longest Increasing Subsequences, Cambridge University Press, (2015)
Schmidt, A.U.: Zeno dynamics of von Neumann algebras. J. Phys. A 35, 7817 (2002)
Schmidt, A.U.: Zeno dynamics in quantum statistical mechanics. J. Phys. A 36, 1135 (2003)
Simon, B.: The Christoffel-Darboux kernel, perspectives in partial differential equations, harmonic analysis and applications. Proc. Sympos. Pure Math. 79, 295–335 (2008)
Simon, B.: Weak convergence of CD kernels and applications. Duke Math. J. 146, 305–330 (2009)
Szegö, G.: Orthogonal polynomials. American Mathematical Society, Providence, Rhode Island (1939)
Torquato, S., Scardicchio, A., Zachary, C.E.: Point processes in arbitrary dimension from fermionic gases, random matrix theory, and number theory, J. Stat. Mech. P11019 (2008)
Tracy, C.A., Widom, H.: Level-Spacing Distributions and the Airy Kernel. Commun. Math. Phys. 159, 151–174 (1994)
Trotter, H.F.: Approximation of semi-groups of operators. Pac. J. Math. 8, 887 (1958)
Trotter, H.F.: On the product of semi-groups of operators. Proc. Am. Math. Soc. 10, 545 (1959)
Acknowledgements
FDC thanks Nick Simm for helpful correspondence. The authors would also like to thank Gerardo Hernandez-Duenas and Alejandro Uribe for pointing out the paper [29]. We acknowledge the support by the Italian National Group of Mathematical Physics (GNFM-INdAM), by PNRR MUR projects CN00000013-‘Italian National Centre on HPC, Big Data and Quantum Computing’ and PE0000023-NQSTI, by Regione Puglia through the project ‘Research for Innovation’ - UNIBA024, and by Istituto Nazionale di Fisica Nucleare (INFN) through the project ‘QUANTUM’.
Funding
Open access funding provided by Università degli Studi di Bari Aldo Moro within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no competing interests to declare that are relevant to the content of this article.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Appendix A. Quantum harmonic oscillator and Hermite polynomials
The classical harmonic oscillator Hamiltonian function is:
The harmonic oscillator Schrödinger operator is
The Hermite functions \((\alpha ^2=1/\hbar )\) are
where
is the k-th Hermite polynomials. The Hermite functions are eigenfunctions of the harmonic oscillator:
with eigenvalues \(\lambda _k=\hbar \left( k+\frac{1}{2}\right) \), and form an orthonormal basis in \(L^2(\mathbb {R})\)
Useful formulae are the following three-term relations written in terms of position operator \(\hat{x}\) and momentum operator \(\hat{p}=-i\hbar \frac{d}{d x}\):
When combined they give the useful relation
We have the following Plancherel–Rotach asymptotics formulae (see [48, Theorem 8.22.9]). Let \(\epsilon <\epsilon '\) be fixed positive numbers, and \(n\in \mathbb {Z}\) fixed. Let \(\hbar =\hbar _N\) so that \(\hbar _N N=\mu \), where \(\mu >0\) is a fixed number. The following asymptotics hold true:
-
(i)
If \(x=\sqrt{(2+1/N)\mu }\cos \phi \), \(\epsilon \le \phi \le \pi -\epsilon \), then
$$\begin{aligned} \psi _{N+n}^{\hbar } \left( x\right)= & {} \left( \frac{2}{\mu }\right) ^{\frac{1}{4}}\left( \frac{1}{\pi \sin \phi }\right) ^{\frac{1}{2}} \left\{ \sin \left[ \left( \frac{N}{2}+\frac{1}{4}\right) (\sin (2 \phi )-2 \phi )\right. \right. \nonumber \\{} & {} \left. \left. +\frac{3 \pi }{4}-n\phi \right] +O(N^{-1})\right\} ; \end{aligned}$$(A.10) -
(ii)
If \(x=\sqrt{(2+1/N)\mu }\cosh \phi \), \(\epsilon \le \phi \le \epsilon '\), then
$$\begin{aligned} \psi _{N+n}^{\hbar } \left( x\right)= & {} \left( \frac{1}{8\mu }\right) ^{\frac{1}{4}} \left( \frac{1}{\pi \sinh \phi }\right) ^{\frac{1}{2}} \nonumber \\{} & {} \exp \left( -\left( \frac{N}{2}+\frac{1}{4}\right) (\sinh (2 \phi )-2 \phi )+n\phi \right) \left( 1+O(N^{-1})\right) ;\nonumber \\ \end{aligned}$$(A.11) -
(iii)
If \(x=\sqrt{(2+1/N)\mu }+\sqrt{\mu /2}{N^{-\frac{2}{3}}}t\), with t complex and bounded, then,
$$\begin{aligned} \psi _N^{\hbar } \left( x\right) =\left( \sqrt{2/\mu }N^{1/3}\right) ^\frac{1}{2}{\text {Ai}}(t)+O(N^{-1/2}). \end{aligned}$$(A.12)
In all these formulae, the O-terms hold uniformly. Note that the choice \(\hbar N=\mu \) is the right scaling of a vanishing Planck constant that gives rise to a nontrivial asymptotics.
Appendix B. Sine kernel, Airy kernel and their Fourier transforms
We denote the normalized semicircular density of radius \(\sqrt{2\mu }>0\),
and
Here is why these factors pop out in all formulae. If the energy of a (classical) harmonic oscillator is \(\mathfrak {h}_{\mathrm {h.o.}}(x,p)=\mu \), then the momentum as a function of position is \(p(x)=\sqrt{(2\mu -x^2)_+}\). At the points of inversion of motion \(x=\pm \sqrt{2\mu }\), the momentum is zero, and its one-side derivative is \(|p'(\pm \sqrt{2\mu })|=c_{\mu }^{3}\).
The sine and the Airy kernels are
where the Airy function is defined by the formula
with C a contour in the complex \(\zeta \)-plane consisting of the ray joining \(e^{-i\pi /3}{\infty }\) to the origin plus the ray joining the origin to \(e^{i\pi /3}{\infty }\).
The kernels (B.3)–(B.4) are defined for \(u=v\) in the unique way making them continuous (and in fact \(C^{\infty }\)). The sine kernel can be viewed as the ‘square’ of another symmetric kernel,
A similar identity holds for the Airy kernel,
(Use (2.1) and the Airy differential equation, see [50].) Using a trick, one gets the following useful representation:
Note that \(K_{{\text {sine}}}(u,-u)\) is locally integrable (but not in \(L_1(\mathbb {R})\)), while \(\int _{\mathbb {R}} \left| K_{{\text {Ai}}}(u,-u)\right| du<\infty \).
\(K_{{\text {sine}}}\) is the Fourier transform of the characteristic function of the disk:
From (B.8), we also get an explicit formula for the Fourier transform of \(K_{{\text {Ai}}}\):
where
is the integrated Airy function. We have \({\text {Ai}}_1(-\infty )=\int _{\mathbb {R}}{\text {Ai}}\left( u\right) du=1\). The function \({\text {Ai}}_1(\xi )\) has the following large \(|\xi |\) asymptotics [39, Eq. (9.10.4)–(9.10.6)]:
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Cunden, F.D., Facchi, P. & Ligabò, M. The semiclassical limit of a quantum Zeno dynamics. Lett Math Phys 113, 114 (2023). https://doi.org/10.1007/s11005-023-01730-7
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-023-01730-7