Abstract
We propose a way of defining Hamiltonians for quantum field theories without any renormalization procedure. The resulting Hamiltonians, called IBC Hamiltonians, are mathematically well defined (and in particular, ultraviolet finite) without an ultraviolet cutoff such as smearing out the particles over a nonzero radius; rather, the particles are assigned radius zero. These Hamiltonians agree with those obtained through renormalization whenever both are known to exist. We describe explicit examples of IBC Hamiltonians. Their definition, which is best expressed in the particle–position representation of the wave function, involves a kind of boundary condition on the wave function, which we call an interior–boundary condition (IBC). The relevant configuration space is one of a variable number of particles, and the relevant boundary consists of the configurations with two or more particles at the same location. The IBC relates the value (or derivative) of the wave function at a boundary point to the value of the wave function at an interior point (here, in a sector of configuration space corresponding to a lesser number of particles).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In many quantum field theories (QFTs), the formulas that one obtains for the Hamiltonian (by means of quantization or other heuristics) contain terms for the creation and annihilation of particles that are ultraviolet (UV) divergent. The problem can be avoided by a UV cutoff, i.e., by discretizing space or treating the electron (and other particles) not as a point, but smearing it out instead over a small positive radius; however, these procedures tend to break the Lorentz invariance, and there is no empirical evidence for either discrete space or a positive electron radius [1, 2]. Since QFTs are expected to provide merely effective descriptions and not to be valid on very small scales (see, e.g., [3] for discussion), this problem is usually neither regarded as unexpected nor as threatening. Still, the problem has attracted much interest over the years, and has been investigated with some success, as one can take a limit of removing the cutoff through a renormalization procedure for some QFTs. We report here that the UV divergence problem does not occur if the Hamiltonian is defined in a novel way that proceeds directly without renormalization.Footnote 1
We describe these Hamiltonians for some non-relativistic QFTs and report about recent proofs [4,5,6] showing that the Hamiltonians obtained in this way are well defined and self-adjoint. In this approach, space is continuous (as opposed to a lattice), and the radius of the electron (or other particles) is zero. The key element of the approach is a new type of boundary condition that we call an interior–boundary condition (IBC) because it relates the values of \(\psi \) on the boundary of configuration space \(\mathcal {Q}\) to the values in the interior of \(\mathcal {Q}\), as we will explain presently. As such, IBCs have already been considered in the past, in one form or another, starting with Landau and Peierls [7] in 1930, followed by [8,9,10,11,12,13,14] (see below for a brief overview). Our new insight is that IBCs, when used for defining QFTs, can avoid the problem of UV divergence. In the past, IBCs received little attention, were not explored systematically, were not studied rigorously except to a rather limited extent, and were not considered for addressing UV divergence.
IBCs as we use them are formulated in the particle–position representation of the state vector \(\psi \) in Hilbert space \(\mathscr {H}\). Here, “particle representation” means that \(\mathscr {H}\) is represented as a Fock space (or, if appropriate, a tensor product of several Fock spaces) and in “position representation” the contribution from the n-particle sector of Fock space is represented (like a wave function in quantum mechanics) as a function of n points in three-dimensional physical space. Specifically, if \(\mathscr {H}\) is a single Fock space, then \(\psi \in \mathscr {H}\) can be viewed as a function on a configuration space of a variable number of particles, such as
see Fig. 1, where
is the “diagonal,” i.e., the set of collision configurations (i.e., those with two or more particles at the same location). The relevant boundary \(\partial \mathcal {Q}\) of \(\mathcal {Q}\) is \(\cup _{n=0}^\infty \Delta _n\); the IBC relates the values of \(\psi \) on \(\partial \mathcal {Q}_n=\Delta _n\) to the values of \(\psi \) in the interior of \(\mathcal {Q}_{n-1}\), namely at the configuration with one particle removed (or possibly with more than one particle removed, if more than two particles collide).
The IBC approach allows a nonzero flux of probability out of or into the boundary, while a term in the Hamiltonian ensures that all of the \(|\psi |^2\) probability lost in one sector gets added in another sector, so that total probability in \(\mathcal {Q}\) is conserved. The IBC can thus be regarded as enabling the creation of a contribution to \(\psi \) on \(\mathcal {Q}_n\) that flows out of the boundary \(\partial \mathcal {Q}_n\) and depends on the values of \(\psi \) on \(\mathcal {Q}_{n-1}\). The approach has been shown in the non-relativistic setting to provide a well-defined Hamiltonian \(H_{\mathrm {IBC}},\) whose domain consists of functions satisfying the IBC, without the need for a UV cutoff or renormalization.
Moreover, as we will explain, \(H_{\mathrm {IBC}}\) provides a natural mathematical interpretation of the original (UV divergent) expression \(H_{{\mathrm {orig}}}\) for the Hamiltonian. One way of expressing the problem with \(H_{{\mathrm {orig}}}\) is to say that, due to divergent creation terms, \(H_{{\mathrm {orig}}}\psi \) exists as a distribution (such as the Dirac delta distribution), but not as a square-integrabe function, so that \(H_{{\mathrm {orig}}}\) does not define an operator in Hilbert space. The IBC approach actually shares the divergent creation term, while the IBC forces wave functions to diverge at the boundary \(\partial \mathcal {Q}_n\) at a particular rate, with the consequence that the Laplacian of \(\psi \) also exists as a distribution but not as a square-integrable function. The IBC ensures that the two distributional contributions to \(H_{\mathrm {IBC}}\psi \) (one from divergent creation terms and one from the Laplacian acting on a diverging \(\psi \)) exactly cancel each other, so that their sum is actually a square-integrable function. In fact, the IBC characterizes the domain of functions on which this cancelation occurs. For \(\psi \) diverging at the boundary, the annihilation terms in \(H_{{\mathrm {orig}}}\) need a separate definition, which the IBC approach provides as well in a natural manner.
After a condition equivalent to an IBC had been considered as early as 1930 [7], this approach was not followed further; instead, much research took for granted that the Hamiltonian of a QFT is the sum of two self-adjoint operators, the free Hamiltonian and the interaction Hamiltonian. This is not so in the IBC approach, where the free Hamiltonian and the interaction Hamiltonian each map square-integrable functions to distributions and thus are not defined as self-adjoint operators in Hilbert space. It is only their sum that is a self-adjoint operator in Hilbert space. In particular, the full Hamiltonian cannot be regarded as a perturbation of the free Hamiltonian. This feature makes a relevant difference, at least for some UV divergence problems.
For some QFTs, it is possible to take a limit, after introducing a UV cutoff, in which the cutoff is removed, possibly after subtracting an infinite constant from the Hamiltonian. It turns out [4, 5] that, at least for some models, this limiting Hamiltonian (called the renormalized Hamiltonian) agrees with \(H_{\mathrm {IBC}}\); however, this was not visible from the renormalization procedure before considering the IBC.
In this paper, we describe examples of IBCs and how they help define a Hamiltonian, results about the rigorous existence and self-adjointness of the Hamiltonians, and how these Hamiltonians are related to some known cases in which a UV cutoff can be removed, thus making it plausible that the IBC Hamiltonians are physically relevant and not merely mathematical curiosities. Specifically, we consider two models: In Model 1, x-particles can emit and absorb y-particles, and both kinds of particles are non-relativistic; we give the full definition in Sect. 2 below. The x-particles will also be called the “sources.” Model 2 is a simplified version of Model 1 in which the x-particles cannot move but are fixed at certain locations; it arises as a limiting case of Model 1 in which the mass \(m_x\) of the x-particle tends to \(\infty \); for simplicity, we consider only a single x-particle (and call its location the origin). That is, y-particles can be created and annihilated at the origin of \(\mathbb {R}^3\). For Model 2 (the one with fixed x-particles), it is known that, after a UV cutoff is introduced, the cutoff can be removed by means of a suitable limiting procedure (renormalization), and we can show that the limiting Hamiltonian \(H_\infty \) thus obtained coincides with \(H_{\mathrm {IBC}}\) up to addition of a finite constant (see Sect. 3.6 below). For Model 1, however, such a procedure was not known before the IBC approach succeeded (although a renormalization procedure was known for a similar model, the Nelson model [15]). The IBC approach provides, also for Model 1, a well-defined and self-adjoint Hamiltonian without renormalization [6].
Let us give a brief overview of prior works considering IBCs. Historically, the first equation equivalent to an IBC was written down, as far as we know, by Landau and Peierls in 1930 [7] when trying to formulate quantum electrodynamics in the particle–position representation, although their Hamiltonian was still UV divergent. Moshinsky [8, 9] considered, as an effective description of nuclear reactions, a model using the Laplace operator with an IBC for (fixed sources and) a mini-Fock space having only sectors with \(n=0\) and \(n=1\) particles. Yafaev [13] independently considered the same model and proved for that Hamiltonian that it is well defined and self-adjoint. Thomas [11] considered a similar model with moving sources, also with only two sectors. Georgii and Tumulka [14, Sect. 6] considered IBCs for boundaries of codimension 1; such IBCs are developed systematically in [16]. Recent and upcoming works exploring various aspects of IBCs include [4,5,6, 17,18,19,20,21,22,23,24].
We give a gentle introduction to IBCs and the ideas behind them in [17]. Mathematical proofs of our main claims are provided in [4,5,6]; the case of fixed sources in 3d is treated in [4], the case of moving sources in 2d in [5], and that of moving sources in 3d in [6]. In [5], it is also shown how to generalize the IBC approach to a relativistic dispersion relation \(E=\sqrt{m^2c^4+\varvec{p}^2c^2}\) (for scalar, not Dirac wave functions) instead of \(E=\varvec{p}^2/2m\); the condition replacing the IBC is then no longer literally a boundary condition and therefore called an abstract boundary condition. Keppeler and Sieber [18] studied IBCs in one space dimension. Galvan [19] has proposed an approach similar to IBCs. A goal for the future is to apply the IBC approach to quantum electrodynamics and other serious theories; work on implementing IBCs for the Dirac equation is in progress [20, 24]. For the time being, we report results for non-relativistic model QFTs, based on the Laplace operator.
This paper is organized as follows. In Sect. 2, we give a more detailed description of Model 1 and Model 2, two simple models of non-relativistic QFT. In Sect. 3, we describe for each of the two models how to set up an IBC and the corresponding Hamiltonian. In Sect. 4, we conclude.
2 Two models of non-relativistic QFT
In this section, we describe Model 1 and Model 2, two simple non-relativistic QFTs. We set up their Hilbert spaces \(\mathscr {H}\), describe their original Hamiltonians \(H_{\mathrm {orig}}\), and explain why they are UV divergent. Model 1 is a natural, physically reasonable model, while Model 2 is an artificially simplified version that will be useful for an easy discussion of IBCs. In Sect. 3, we will describe, for each of the two models, our alternative definition of the Hamiltonian involving an interior-boundary condition.
2.1 Model 1: x-particles emit and absorb y-particles
Model 1 is a QFT related to the Lee model [25], Schweber’s scalar field model [26, p. 339], and the Nelson model [15]. It involves two species of particles, x and y; the x-particles can emit and absorb y-particles. Both species are spinless and assume the non-relativistic dispersion relation \(E=\varvec{p}^2/2m\) with masses \(m_x,m_y>0\). The Hilbert space is a tensor product of Fock spaces,
with
where \(S_-\) is the anti-symmetrization operator, \(S_+\) is the symmetrization operator, and \(S_{\pm } L^2(\cdots )\) are their ranges (i.e., the spaces of (anti-)symmetric functions on \((\mathbb {R}^3)^n\)). Here, we take x-particles to be fermions and y-particles to be bosons.Footnote 2\(\mathbb {R}^3\) is understood as physical space, i.e., ordinary position space. In the following, we simply write \(L^2(\mathbb {R}^3)\) for \(L^2(\mathbb {R}^3,\mathbb {C})\). A vector \(\Psi \in \mathscr {H}\) can be regarded as a function
with \(\mathcal {Q}_x=\mathcal {Q}_y\) the configuration space of a variable number of particles,
where the union is understood as a disjoint union and \((\mathbb {R}^3)^0=\{\emptyset \}\). We will discuss removing the collision configurations later.
We call the function \(\psi \) the particle–position representation of the vector \(\Psi \in \mathscr {H}\). A generic element of \(\mathcal {Q}_x\times \mathcal {Q}_y\) can be written as \((x,y)=(\varvec{x}_1,\ldots , \varvec{x}_m, \varvec{y}_1,\ldots ,\varvec{y}_n)\), where boldface symbols denote vectors in 3-space, while x denotes a configuration of x-particles and y one of y-particles; we will often write \(x^m\) instead of x to convey that the configuration consists of m x-particles, and likewise \(y^n\) instead of y. We call \((\mathbb {R}^3)^m\) the m-particle sector of \(\mathcal {Q}_x\) and \((\mathbb {R}^3)^m\times (\mathbb {R}^3)^n\) the (m, n)-particle sector of \(\mathcal {Q}_x\times \mathcal {Q}_y\). Likewise, we say (m, n)-particle sector of \(\mathscr {H}\) (or of \(\Psi \), or of \(\psi \)) and write \(\mathscr {H}^{(m,n)}\) (or \(\Psi ^{(m,n)}\) or \(\psi ^{(m,n)}\)) for \(S_- L^2(\mathbb {R}^3,\mathbb {C})^{\otimes m} \otimes S_+ L^2(\mathbb {R}^3,\mathbb {C})^{\otimes n}\), respectively, for the projection of \(\Psi \) to that subspace, and for the restriction of \(\psi \) to \((\mathbb {R}^3)^m\times (\mathbb {R}^3)^n\). The \(\psi ^{(m,n)}\) function is anti-symmetric in the x variables and symmetric in the y variables.
The spaces \(\mathcal {Q}_{x},\mathcal {Q}_y\) are equipped with the volume measure
The inner product in \(\mathscr {H}\) is then given by
2.1.1 Original Hamiltonian
As our example of a (non-relativistic) Hamiltonian \(H_{\mathrm {orig}}\), we take
using the notation \(\delta ^3\) for the three-dimensional Dirac delta function and
for the configuration of \(n-1\) y-particles with the j-th particle removed; \(E_0\) is the energy that must be expended for creating a y-particle (the “y rest energy”), and \(g\in \mathbb {R}\) is a coupling constant (i.e., the “charge” of an x-particle). Instead of \(\psi ^{(m,n)}(x^m,y^n)\), we can also simply write \(\psi (x^m,y^n)\), as the argument uniquely determines which sector of \(\psi \) must be used; we sometimes find it useful to use the more explicit notation to make the relations to other sectors more easily visible. The first term in (10) is the free fermion Hamiltonian \(H_x\psi \), the second and third terms are the free boson Hamiltonian \(H_y\psi \), and the third and fourth line together are the interaction Hamiltonian \(H_{\mathrm {inter}}\psi \) responsible for the creation and annihilation of y-particles. In terms of creation and annihilation operators,
with \(^\dagger \) denoting the adjoint operator, and \(a_{x}(\varvec{q})\), \(a_{y}(\varvec{q})\) the annihilation operators for an x, y-particle at location \(\varvec{q}\) in position space, formally defined by
The combinatorial factors \(\sqrt{m+1}\) and \(m^{-1/2}\) arise from the fact that every configuration of m x-particles occurs in m! different permutations. Since the operators \(a_{x,y}(\varvec{q})\) contain the point evaluation of functions, they can actually be defined rigorously on a dense subspace of \(\mathscr {H}\), while their adjoints are ill defined for any nonzero \(\psi \).
Model 1 is not Galilean covariant, but a modification that is can be set up [27] and can be combined with IBCs [21, Sect. 4.2].
2.1.2 UV divergence of the original Hamiltonian
The original Hamiltonian \(H_{\mathrm {orig}}\) as defined in (10) above is UV divergent and thus ill defined. The source of the difficulty is the delta function in the last line of (10): Since a delta function is not a square-integrable function, the right-hand side of (10) does not lie in \(\mathscr {H}\) for any choice of \(\psi \); thus, (10) does not define an operator in \(\mathscr {H}\). It can also be pointed out that the delta function \(\delta ^3\) (which plays the role in (10) of the wave function of a newly created y-particle) is a state of infinite energy,
The standard procedure for obtaining a well-defined Hamiltonian (UV cut-off) is to replace the delta function by a square-integrable function \(\varphi :\mathbb {R}^3\rightarrow \mathbb {C}\), yielding
which amounts to saying that an x-particle has an extended charge distribution with density function \(\varphi \) (if \(\varphi \) is real-valued). Equivalently, the interaction Hamiltonian is replaced by
where
2.2 Simplified version: Model 2
In Model 2, there is only one x-particle, and it is fixed at the origin. The only dynamical (and quantized) degrees of freedom reside in the y-particles; such models were considered in particular by van Hove [28, 29] and Lee [25], and they tend to arise in the limit \(m_x\rightarrow \infty \). Specifically, we take the configuration space of Model 2 to be the set
where \(\varvec{0}\) denotes the origin in \(\mathbb {R}^3\); a configuration is denoted by \(y^n=(\varvec{y}_1,\ldots ,\varvec{y}_n)\). Note that we exclude the possibility that any y-particle can be at the location of the x-particle (i.e., the origin), but we do not exclude the possibility that two y-particles can be at the same location because for the purposes of this model, in which the y-particles do not interact, there is no need to exclude such configurations.
Correspondingly, we take the Hilbert space to be the bosonic Fock space
Since for the definition of the Hilbert space it plays no role whether the origin is excluded or not, elements \(\psi \in \mathscr {H}\) can be regarded as complex-valued functions on \(\mathcal {Q}\) that are permutation symmetric in every sector; thus, \(\mathscr {H}\subset L^2(\mathcal {Q})\), where \(\mathcal {Q}\) is thought of as equipped with the measure \(\mu \) defined in the same way as in (7) (\(L^2(\mathcal {Q}),\) contains also non-symmetric functions). The “original” Hamiltonian is now a simplified version of (10):
Also, this Hamiltonian is UV divergent.
3 Interior–boundary condition and corresponding Hamiltonian for the two models
For Model 1 and Model 2, we describe the IBC and the Hamiltonian \(H_{\mathrm {IBC}}\). We also explain why \(H_{\mathrm {IBC}}\) is a reasonable interpretation of the formula for \(H_{\mathrm {orig}}\). We begin with the simpler scenario of Model 2.
3.1 IBC for Model 2
Let \(\mathbb {S}^2\) denote the unit sphere in \(\mathbb {R}^3\). The IBC demands the following. For every \(\varvec{\omega }\in \mathbb {S}^2\), \(n\in \{0,1,2,\ldots \}\), \(y^n\in (\mathbb {R}^3{\setminus }\{\varvec{0}\})^n\),
The IBC is a condition on the wave function \(\psi \) at or near the “boundary” of configuration space; the relevant boundary \(\partial \mathcal {Q}_y^{(n)}\) of \(\mathcal {Q}_y^{(n)}\) is
That is, the boundary consists of those configurations at which one of the y-particles collides with the x-particle. Due to the permutation symmetry of \(\psi ^{(n+1)}\), we can assume without loss of generality that it is the \(n+1\)-st variable, \(\varvec{y}_{n+1}\), which approaches \(\varvec{0}\). The name “interior–boundary condition” reflects the fact that (27) relates the values (or limits) of \(\psi \) on the boundary \(\partial \mathcal {Q}_y\) to values of \(\psi \) in the interior of configuration space \(\mathcal {Q}\) (namely, in the interior of a different sector corresponding to a lesser number of y-particles).
The IBC (27) allows in particular that \(\psi (y^n,r\varvec{\omega })\) diverges like 1/r as \(r\rightarrow 0\). In fact, it requires that \(\psi ,\) so diverges whenever the right-hand side of (27) is nonzero.Footnote 3 By permutation symmetry, \(\psi (y^n)\) diverges as any \(\varvec{y}_j\) approaches \(\varvec{0}\).
On wave functions \(\psi \) satisfying the IBC (27), the Hamiltonian \(H=H_{\mathrm {IBC}}\) is defined by
This equation differs from the expression (26) for \(H_{{\mathrm {orig}}}\) only in the second line, where \(\psi (y^n,\varvec{0})\) has been replaced by a more complicated expression involving the behavior of \(\psi \) near the configuration \((y^n,\varvec{0})\); after all, \(\psi \) diverges at this configuration by virtue of the IBC, so the expression \(\psi (y^n,\varvec{0})\) does not make sense. The great similarity between \(H_{\mathrm {IBC}}\) and \(H_{{\mathrm {orig}}}\) adds to the suggestion that \(H_{\mathrm {IBC}}\) is the right Hamiltonian because it is a mathematical interpretation of the formal expression \(H_{{\mathrm {orig}}}\).
In view of the delta function appearing in (29), it may seem unlikely that such a Hamiltonian can be well defined. However, a theorem from [4], repeated here as Theorem 1 in Sect. 3.2 below, shows that in fact it is well defined. It turns out that the last line in (29) always gets canceled by contributions to the first line, which may contain delta functions because we now allow wave functions that diverge like \(1/r=1/|\varvec{y}_j|\), and the Laplacian of 1/r is \(-4\pi \delta ^3\) (as readers may recall from electrostatics, where 1/r occurs as the Coulomb potential \(\phi \) generated by a point charge, satisfying the Poisson equation \(\Delta \phi = -4\pi \rho \) with charge density \(\rho \)). As a consequence of this cancelation, \(H_{\mathrm {IBC}}\psi \) is a square-integrable function for \(\psi \) satisfying the IBC. Conversely, if we want the Laplacian to produce a contribution that is a Dirac delta contribution, we are led to allowing \(\psi \) that diverges like 1/r, and then the necessary and sufficient condition for the cancelation is just the IBC. See also Remark 6 in Sect. 3.3 below for further discussion.
Let us point out a connection between the second line of (29), the line that differed from the original Hamiltonian (26), and the corresponding line in (26). Think of \(\psi \bigl (y^n, r\varvec{\omega }\bigr )\) as a function of r; as \(r\rightarrow 0\), a \(\psi \) from the domain of \(H_{\mathrm {IBC}}\) can be expanded in the form
with complex coefficients \(c_{-1}(y^n),c_0(y^n)\); moreover,
which yields \(c_0\) in the limit \(r\rightarrow 0\). If \(\psi \) did not diverge as \(r\rightarrow 0\), this would be exactly the value \(\lim _{r\searrow 0} \psi (y^n,r\varvec{\omega }) = \psi \bigl (y^n,\varvec{0}\bigr )\) occurring in (26) in the second line. So, (29) is really quite similar to (26). Indeed, we can regard \(c_0\) as the natural interpretation of the expression \(\psi (y^n,\varvec{0})\) in a situation in which \(\psi \) also contains a term \(c_{-1}/r\) diverging at \(\varvec{0}\); put differently, it is a way of extending the annihilation operator \(a_y(\varvec{0})\) to functions containing a term \(c_{-1}/r\). Thus, in total, \(H_{\mathrm {IBC}}\) appears as a natural interpretation of \(H_{{\mathrm {orig}}}\), with the IBC characterizing the right domain on which the distribution-valued terms in \(H_{\mathrm {IBC}}\psi \) cancel each other, leaving a square-integrable function.
Keppeler and Sieber [18], apart from developing a one-dimensional version, give further reasons why the IBC model represents a reasonable interpretation of the original Hamiltonian (26). They argue [18, App. A] that for any eigenfunction \(\psi \) of (26), when integrating (26) in \(\varvec{y}_{n}\) over a ball of radius r around the source, using the Gauss integral theorem on the Laplacian term, and taking the limit \(r\rightarrow 0\), one should obtain that
Assuming that \(\psi ^{(n)}\) diverges as \(r\rightarrow 0\) no worse than 1/r, this relation is equivalent to the IBC (27). Finally, if every eigenfunction satisfies the IBC (27), then so does any function in the domain of the Hamiltonian. The corresponding reasoning in the one-dimensional case yields that \(\psi \) should have a jump in the first derivative at the origin, with the magnitude of the jump proportional to the wave function in the next lower sector.
The Hamiltonian \(H_{\mathrm {IBC}}\) is not the sum of two self-adjoint operators, the free Hamilonian and an interaction Hamiltonian. That is because the free Hamiltonian is defined on a different domain from \(H_{\mathrm {IBC}}\), containing wave functions that do not satisfy the IBC and do not diverge on the diagonal. It is the action of the Laplacian on functions that diverge on the diagonal that leads to delta functions and thus makes the last line of (29) possible, and it is only in conjunction with the IBC that the Hamiltonian (29) leads to conservation of probability.
Indeed, to understand why the IBC (27) was chosen this way, and how it works together with the formula (29) for the Hamiltonian, it is illuminating to calculate the balance equation for \(|\psi |^2\) and check that \(|\psi |^2\) is conserved. We go through such a calculation in the next section.
3.2 Self-adjointness and conservation of probability
Theorem 1
[4] On a certain dense subspace \(\mathscr {D}_{\mathrm {IBC}}\) of \(\mathscr {H}=\mathscr {F}^+\), the elements of which satisfy the IBC (27), the operator \(H_{\mathrm {IBC}}\) given by (29) is well defined and self-adjoint. If \(E_0\ge 0\), then \(H_{\mathrm {IBC}}\) is bounded from below.
The relevance of this theorem is that it makes clear that \(H_{\mathrm {IBC}}\) is not afflicted by UV divergence. We give here a calculation checking on a non-rigorous level that probability is conserved. Using the symbol
for the usual probability current, we obtain from (29) that, at any configuration \(y^n\) (without any y-particle at the origin),
If \(g\ne 0\), then the last line can be re-written, using the IBC (27), as
using that \(\partial _r(r\psi )=\psi + r\partial _r \psi \) and \(\mathrm {Im}(r|\psi |^2)=0\). Thus,
This equation possesses a simple interpretation: \(-r^2\) times the integral is just the flux of probability current toward the origin across the sphere of radius r in the coordinate space of \(\varvec{y}_{n+1}\). The limit of that as \(r\rightarrow 0\) is the current of probability into the origin in the coordinate space of \(\varvec{y}_{n+1}\). Summing over all y-particles would yield, due to the bosonic symmetry of \(\psi \), \(n+1\) equal terms; thus, the second summand on the right-hand side of (37) is the total flux of probability into the boundary configurations obtained from \(y^n\) by adding one y-particle at the origin. That is, the balance equation (37) asserts that the probability density \(|\psi |^2\) changes in two ways, due to transport of probability in the n-particle sector and by increasing at just the rate at which probability disappears on the \((n+1)\)-particle sector by flowing into the boundary \(\partial \mathcal {Q}_y^{(n+1)}\). Therefore, the total probability is conserved.
If g is set to 0, then the amount of probability exchanged between different sectors vanishes, and the norm of each sector, \(\int _{\mathbb {R}^{3n}} \mathrm{d}y^n\, |\psi (y^n)|^2\), is conserved separately, corresponding to the fact that the Hamiltonian \(H_{\mathrm {IBC}}\) of (29) commutes with the y-particle number operator in this case. In fact, \(H_{\mathrm {IBC}}\) reduces to the free Hamiltonian (i.e., the “second quantization” of the free 1-particle operator \(-(\hbar ^2/2m_y)\nabla _{\varvec{y}}^2 +E_0\)), and the IBC (27) asserts that, in the expansion \(\psi (y^n,r\varvec{\omega }) = c_{-1}/r + c_0 + O(r)\) considered in (31), \(c_{-1}=0\); thus, for \(g=0\) the IBC demands no more than that \(\psi \) is non-singular at \(r=0\), as functions in the domain of the free Hamiltonian must be.
3.3 Remarks
-
1.
Comparison to Bethe–Peierls boundary condition The IBC (48) has some parallels to the Bethe–Peierls boundary condition [30], which reads for a wave function \(\psi \in L^2(\mathbb {R}^3,\mathbb {C})\):
$$\begin{aligned} \lim _{r\searrow 0}\left( \alpha +\frac{\partial }{\partial r} \right) \left( r\psi (r\varvec{\omega })\right) =0, \end{aligned}$$(38)with given constant \(\alpha \in \mathbb {R}\). This condition is used for giving precise meaning to a Schrödinger equation for \(\psi :\mathbb {R}^3\rightarrow \mathbb {C}\) with a Dirac delta function as the potential,
$$\begin{aligned} H = -\tfrac{\hbar ^2}{2m} \Delta + g\, \delta ^3(\varvec{x}), \end{aligned}$$(39)a kind of interaction known as a point interaction [31]. Like our IBCs (27), (45), (48), the Bethe–Peierls boundary condition (38) concerns the “boundary” at \(r=0\). However, in contrast to the IBC, which connects two sectors of \(\mathcal {Q}\), the Bethe–Peierls boundary condition involves only one sector, as the wave function \(\psi \) is defined on \(\mathbb {R}^3\). Also, the Bethe–Peierls boundary condition implies zero current into \(r=0\) (see, e.g., [17] for more detail), whereas the IBC leads to a nonzero current into the boundary.
-
2.
Comparison to vertex conditions in networks An example of a known boundary condition leading to nonzero current into the boundary is provided by the vertex conditions for quantum mechanics on networks (see, e.g., [32] and references therein). A network, or graph, consists of several one-dimensional spaces (i.e., intervals) called edges, glued together at their end points called vertices. The wave function is a (say, complex-valued) function on the network (i.e., on the union of the edges), and the Hamiltonian is given by the Laplace operator on each edge, along with boundary conditions for the end points of the edges, also called vertex conditions. The vertex conditions are related to the fact that, since no positive amount of probability can be located at a vertex, all of the probability current into the vertex must be compensated by a current out of the vertex; that is, for each vertex v, the sum of the currents along all edges e connected to v (pointing away from v) must vanish,
$$\begin{aligned} \sum _e j_{e}(v)=0. \end{aligned}$$(40)While Dirichlet or Neumann boundary condition at every end point of every edge would lead to \(j_e(v)=0\) for all v and e, it is also possible to impose vertex conditions on \(\psi \) that allow nonzero flow of probability from one edge across a vertex to another edge, the simplest one being the conjunction of
$$\begin{aligned} \lim _{x\rightarrow v \text { along }e} \psi (x) = \lim _{x\rightarrow v \text { along }e'} \psi (x), \end{aligned}$$(41)i.e., that \(\psi \) is continuous at vertices, and
$$\begin{aligned} \sum _e \partial _e \psi (v) = \alpha \psi (v), \end{aligned}$$(42)where \(\alpha \in \mathbb {R}\) is a given constant and \(\partial _e\psi (v)\) means the derivative of \(\psi \) along the edge e, taken at v.
To draw parallels between (42) and IBCs, we may compare the edges of a network to the sectors of the configuration spaces considered in this paper; let us call both the “blocks” of the space. Of course, the edges of a graph have equal dimension while the sectors of our \(\mathcal {Q}\) have different dimension. We may note that in both situations, the probability loss in one block is compensated by a probability gain in others. Also, the condition of continuity (41) is a relation between the boundary value in one block and a value in another, but in contrast to an IBC the latter is also a boundary value; that is, in analogy to the terminology “interior–boundary condition,” (41) is a “boundary–boundary condition.”
-
3.
Combinatorial factors As remarked at the end of Section 2.1.1, the combinatorial factors \(\sqrt{n}\) and \(\sqrt{n+1}\) that appear in the Hamiltonian arise from the fact that we use ordered configurations \((\varvec{y}_1,\ldots ,\varvec{y}_n),\) although in nature configurations are unordered, as in \(\{\varvec{y}_1,\ldots ,\varvec{y}_n\}\). This is also true of the IBC (27) and the associated Hamiltonian (29). If we used unordered configurations, which leads to topologically non-trivial configuration spaces (see, e.g., [33, 34]), these factors would not appear.
-
4.
Neumann-type IBC Two well-known types of boundary conditions are Dirichlet boundary conditions,
$$\begin{aligned} \psi \Big |_{\partial \mathcal {Q}}=0, \end{aligned}$$(43)and Neumann boundary conditions,
$$\begin{aligned} \frac{\partial \psi }{\partial n}\Big |_{\partial \mathcal {Q}} = 0, \end{aligned}$$(44)with n the normal vector on the boundary hypersurface. While the IBC (27) resembles the Dirichlet type in that it involves the values of \(\psi \) (or rather, \(r\psi \)) on the boundary, one can as well set up a different IBC that resembles the Neumann type in that it involves the normal derivative of \(\psi \) (or rather, \(r\psi \)). Here, \(r=0\) plays the role of the boundary, and the radial direction plays the role of the normal to the boundary. The Neumann-type IBC asserts that for any \(n\in \{0,1,2,\ldots \}\), any configuration \(y^n\in (\mathbb {R}^{3}{\setminus }\{\varvec{0}\})^n\), and any \(\varvec{\omega }\in \mathbb {S}^2\),
$$\begin{aligned} \lim _{r\searrow 0} \frac{\partial }{\partial r} \left( r\psi ^{(n+1)}(y^n,r\varvec{\omega })\right) = \frac{g\,m_y}{2\pi \hbar ^2\sqrt{n+1}} \, \psi ^{(n)}(y^n). \end{aligned}$$(45)Also this IBC typically leads to \(\psi ^{(n+1)}(y^n,r\varvec{\omega })\) diverging like 1/r as \(r\rightarrow 0\). The name “Neumann-type IBC” should be understood with care since, as we have observed already in (31), the expression \(\lim _{r\rightarrow 0}\partial _r (r\psi )\) yields, for \(\psi =c_{-1}/r+c_0+O(r)\), just \(c_0\); as a consequence, in the case \(c_{-1}=0\) in which \(\psi \) can actually be evaluated at \(r=0\), the expression \(\lim _{r\rightarrow 0}\partial _r (r\psi )\) just yields \(\psi (r=0)\), so that the IBC (45) has quite the character of a Dirichlet boundary condition.
On wave functions \(\psi \) satisfying the IBC (45), the Hamiltonian \(H=H_{\mathrm {IBC}}\) is defined by
$$\begin{aligned} (H\psi )^{(n)}(y^n) =&-\frac{\hbar ^2}{2m_y} \sum _{j=1}^{n} \nabla ^2_{\varvec{y}_j}\psi ^{(n)}(y^n) + nE_0 \psi ^{(n)}(y^n) \nonumber \\&+ \frac{g\sqrt{n+1}}{4\pi }\int \limits _{\mathbb {S}^2} \mathrm{d}^2\varvec{\omega }\, \lim _{r\searrow 0} r \psi ^{(n+1)}(y^n,r\varvec{\omega }) \nonumber \\&+\, \frac{\hbar ^2}{2m_y} \sum _{j=1}^n \delta ^3(\varvec{y}_j) \int \limits _{\mathbb {S}^2} \mathrm{d}^2\varvec{\omega }\, \lim _{r\searrow 0} r\psi ^{(n-1)}\left( y^n{\setminus } \varvec{y}_j,r\varvec{\omega }\right) . \end{aligned}$$(46)This equation differs from (29) (for the Dirichlet-type case) in the second line, which no longer involves a derivative, and in the last line, which we will discuss further in Remark 6 below.
While (45) and (46) together define a different time evolution for \(\psi \) than (27) and (29), Eq. (37) is still true and guarantees that the amount of probability lost on the \(n+1\)-sector of \(\mathcal {Q}\) due to probability flux into the boundary is added on the n-sector. In fact, as we show in [4], also (45) and (46) define a self-adjoint operator, provided \(E_0>0\).
For \(g=0\), it is again true (as in the Dirichlet-type case) that the sectors decouple, and that the y-particle number operator is conserved. However, the Hamiltonian does not become the free Hamiltonian. Rather, the IBC (45) becomes a Bethe–Peierls boundary condition (38) with \(\alpha =0\), and the Hamiltonian becomes the second quantization of the negative Laplacian with a point interaction at the origin.
-
5.
Robin-type IBC A Robin boundary condition is one of the form
$$\begin{aligned} \left( \alpha \psi + \beta \frac{\partial \psi }{\partial n}\right) \Big |_{\partial \mathcal {Q}} = 0 \end{aligned}$$(47)with given constants \(\alpha \) and \(\beta \). An IBC of an analogous form can be set up as follows: for any \(n\in \{0,1,2,\ldots \}\), any configuration \(y^n=(\varvec{y}_1,\ldots ,\varvec{y}_{n})\in \bigl (\mathbb {R}^{3}{\setminus }\{\varvec{0}\}\bigr )^n\) of y-particles, and any \(\varvec{\omega }\in \mathbb {S}^2\),
$$\begin{aligned} \lim _{r\searrow 0} \left( \alpha +\beta \frac{\partial }{\partial r}\right) \left( r\psi ^{(n+1)}(y^n,r\varvec{\omega })\right) = \frac{2m_y}{\hbar ^2\sqrt{n+1}} \, \psi ^{(n)}(y^n), \end{aligned}$$(48)where \((\alpha ,\beta )\in \mathbb {C}^2{\setminus }\{(0,0)\}\) are constants. Also this condition typically leads to \(\psi \) that diverge like 1/r as \(r\rightarrow 0\). The Dirichlet-type condition (27) is included in this scheme for \(\alpha =-4\pi /g,\beta =0\), while the Neumann-type condition (45) is included for \(\alpha =0,\beta =4\pi /g\).
The associated Hamiltonian \(H=H_{\mathrm {IBC}}\) is given by
$$\begin{aligned} (H\psi )^{(n)}(y^n)&= -\frac{\hbar ^2}{2m_y} \sum _{j=1}^{n} \nabla ^2_{\varvec{y}_j}\psi ^{(n)}(y^n) + nE_0 \psi ^{(n)}(y^n) \nonumber \\&\quad + \sqrt{n+1}\int \limits _{\mathbb {S}^2} \mathrm{d}^2\varvec{\omega }\, \lim _{r\searrow 0} \left( \gamma +\delta \frac{\partial }{\partial r} \right) \left( r \psi ^{(n+1)}\left( y^n,r\varvec{\omega }\right) \right) \nonumber \\&\quad +\, \frac{\hbar ^2}{2m_y} \sum _{j=1}^n \delta ^3(\varvec{y}_j) \int \limits _{\mathbb {S}^2} \mathrm{d}^2\varvec{\omega }\, \lim _{r\searrow 0} r\psi ^{(n-1)}\left( y^n{\setminus } \varvec{y}_j,r\varvec{\omega }\right) , \end{aligned}$$(49)where the constants \(\gamma ,\delta \in \mathbb {C}\) satisfy
$$\begin{aligned}&\alpha ^* \gamma \in \mathbb {R} \end{aligned}$$(50)$$\begin{aligned}&\beta ^*\delta \in \mathbb {R} \end{aligned}$$(51)$$\begin{aligned}&\alpha ^*\delta -\gamma ^*\beta =-1. \end{aligned}$$(52)It should always be obvious when the symbol \(\delta \) means the constant \(\delta \in \mathbb {C}\) and when the Dirac delta function. Note that for \(\gamma =0\), \(\delta =g/4\pi \), the expression (49) for the Hamiltonian agrees with (29), while for \(\gamma =g/4\pi \), \(\delta =0\) it reduces to (46).
We remark that the family of IBCs just described actually depends only on four real parameters, although \(\alpha ,\beta ,\gamma ,\delta \) would seem at first to be four complex (and thus 8 real) parameters. That is so because (50) requires \(\alpha \) and \(\gamma \) to have equal phases, and (51) requires \(\beta \) and \(\delta \) to have equal phases; since the phase of \(\alpha ^* \delta \) is the phase difference between \(\alpha \) and \(\delta \), which must be equal to that between \(\gamma \) and \(\beta \) and thus by (52) to the phase of \(-1\), \(\alpha \) and \(\delta \) must have equal phases. In other words, all of \(\alpha ,\beta ,\gamma ,\delta \) must have the same phase, while their absolute values are constrained by (52), so that only four real parameters are independent.
On a non-rigorous level, the conservation of probability (i.e., self-adjointness of the Hamiltonian (49)) can be checked by means of a calculation similar to the one in Sect. 3.2 above (and to the one in [16]). The self-adjointness breaks down (already on the non-rigorous level) if we relax the conditions (50)–(52). If, however, (50)–(52) are satisfied, then (48) and (49) define a self-adjoint Hamiltonian, provided \(E_0>0\) [4].
-
6.
Dirac delta function terms in H. Here is a reason for thinking that, among the many different IBCs that are mathematically possible corresponding to different choices of the constants \(\alpha ,\beta ,\gamma ,\delta \), only the Dirichlet-type IBC (27), corresponding to \(\alpha =-4\pi /g\), \(\beta =0=\gamma \), and \(\delta =g/4\pi \), is physically relevant as a replacement of the original (UV divergent) Hamiltonian (26): It is the only choice that leads to a term in \(H_{\mathrm {IBC}}\) that reproduces the Dirac delta function terms in \(H_{{\mathrm {orig}}}\), i.e., for which the last line of (49) agrees with the last line of (26). That is because the Dirichlet case is the only case in which the last line of (49) can be expressed in terms of \(\psi ^{(n-1)}\).
The last line of (49) is dictated by the condition that \(H\psi \) has to be an \(L^2\) function and thus cannot contain contributions that are Dirac delta functions. Indeed, since for any \(\alpha ,\beta ,\gamma ,\delta \), the wave function \(\psi ^{(n)}\) diverges at the boundary like 1/r, the Laplacian in the Hamiltonian always yields a distribution of the form
$$\begin{aligned} -\sum _j\nabla ^2_{\varvec{y}_j} \psi ^{(n)}= -\sum _j \delta ^3(\varvec{y}_j) \, f(y^n{\setminus } \varvec{y}_j) + g(y^n) \end{aligned}$$(53)with some functions f and g; so the Dirac delta contributions need to be canceled, which leads to the last line of (49).
In the one-dimensional case, it seems that the physically reasonable IBC is the one given in [18], which is of the Neumann type and involves the normal derivative on both sides of the “diagonal” (i.e., the collision configurations). This is the conclusion one reaches when demanding that the Laplacian term in the Hamiltonian cancels the Dirac delta function terms, starting from the one-dimensional version of (26): Then, the derivative of \(\psi \) needs to have jumps of the appropriate magnitude.
-
7.
Positivity Another reason for thinking that the Dirichlet-type IBC (rather than, say, Neumann-type) is the physically relevant choice may be that \(H_{\mathrm {IBC}}\) for a Dirichlet-type IBC is positive, as mentioned in Theorem 1 in Sect. 3.2. Generally speaking, the IBC approach neither requires nor guarantees that Hamiltonians are bounded from below. Presently, we do not know for which other choices of \(\alpha ,\beta ,\gamma ,\delta \) the Hamiltonian will be positive, but we see reason to believe that, in the variant of the equations appropriate for Model 1, the Neumann-type IBC leads to a Hamiltonian that is not bounded from below. Further considerations about physical reasonableness of \(H_{\mathrm {IBC}}\) can be found in Sects. 3.5 and 3.6 below.
-
8.
Bohmian trajectories There is a natural way of defining Bohmian trajectories for the models described in this paper; we describe this in detail elsewhere [21]. The Bohmian configuration \(Q_t\) follows a Markov jump process in configuration space that is \(|\psi _t|^2\)-distributed at every time t. The process has finitely many jumps in every finite time interval. The pieces between the jumps are solutions to Bohm’s equation of motion; in particular, they are deterministic, in contrast for example to Nelson’s trajectories [35], which follow a diffusion process. In our Models 1 and 2, the jumps correspond to the creation or annihilation of a particle. The jumps to a lower sector (particle annihilation) occur whenever a y-particle hits an x-particle; in that event, the y-particle gets deleted from \(Q_t\). While the jumps to a lower sector are deterministic, the jumps to a higher sector (particle creation) are stochastic. They can occur at any configuration \(Q_t\), with a rate depending on \(Q_t\) and \(\psi _t\), and lead to a configuration with a new y-particle created at the location of an x-particle; the y-particle then moves in a random direction that is uniformly distributed over the sphere. Compared to previous models of particle creation and annihilation in Bohmian mechanics (see [14] and references therein) that involved a UV cutoff, the difference is that in Models 1 and 2, the y-particle gets created at (rather than near) an x-particle, and that annihilation is deterministic. The process is time-reversal invariant (notwithstanding that annihilation is deterministic and creation is stochastic).
3.4 IBC for Model 1
We now describe an IBC and the corresponding Hamiltonian for Model 1. The IBC demands that for any \(m,n\in \{1,2,\ldots \}\), any configuration \(x^m=(\varvec{x}_1,\ldots ,\varvec{x}_{m})\in \mathbb {R}^{3m}\) of x-particles, any configuration \(y^n=(\varvec{y}_1,\ldots ,\varvec{y}_{n})\in \mathbb {R}^{3n}\) of y-particles with \(x^m\cap y^n = \emptyset \) (i.e., \(\varvec{x}_i\ne \varvec{y}_j\) for all i, j), any \(i=1,\ldots , m\), and any \(j=1,\ldots , n\),
where \(\widehat{\ }\) denotes omission, and \(g\in \mathbb {R}\) is the same coupling constant as before.
The IBC is a condition on the wave function \(\psi \) near the diagonal \(\Delta \) in configuration space \(\mathcal {Q}_x\times \mathcal {Q}_y\), i.e., the set of “collision configurations,”
If we regard the collision configurations in \(\Delta \) as not admissible configurations, then the configuration space is the set difference \(\mathcal {Q}=(\mathcal {Q}_x\times \mathcal {Q}_y){\setminus }\Delta \), and its “boundary” is \(\partial \mathcal {Q}=\Delta \).
The Hamiltonian \(H_{\mathrm {IBC}}\) is defined [6] on a domain \(\mathscr {D}_{\mathrm {IBC}}\subset \mathscr {H}=\mathscr {F}^-\otimes \mathscr {F}^+\) consisting of wave functions \(\psi \) that satisfy the IBC (54) and obey the following asymptotics, replacing (30), near the boundary surface \(\{\varvec{x}_i=\varvec{y}_j\}\) in \(\mathcal {Q}^{(m,n)}= \mathbb {R}_x^{3m} \times \mathbb {R}_y^{3n}\):
where \(r_{ij}=|\varvec{x}_i-\varvec{y}_j|\), \(x=(\varvec{x}_1,\ldots ,\varvec{x}_m)\), and \(y=(\varvec{y}_1,\ldots ,\varvec{y}_n)\) with \(\varvec{x}_k\ne \varvec{y}_r\) for all k, r. Moreover, to make \(H_{\mathrm {IBC}}\) self-adjoint, the coefficients are related according to [6]
with fixed real proportionality factor
Note that as \(m_x\rightarrow \infty \), the constant \(\alpha \) tends to zero, and by (57) the asymptotics (56) reduces to (30), the one of Model 2. In terms of the c coefficients, the IBC (54) can be reformulated as
The Hamiltonian \(H_{\mathrm {IBC}}\) is given by
As shown in [6], \(H_{\mathrm {IBC}}\) defines a self-adjoint operator on \(\mathscr {D}_{\mathrm {IBC}}\). Of the five terms in (60), only the \(nE_0 \psi \) term is square integrable by itself. All the other terms are distributions that add up to a square-integrable function. In particular, in contrast to the Hamiltonian (29) of Model 2, the annihilation term \(c_{0,i}(x^m,y^n)\) is not necessarily square integrable, but compensates derivatives of the logarithmic contributions in (56). These cancelations are rather subtle, which could be a reason why no renormalization scheme for Model 1 was known before the IBC study in [6].
3.5 Ground state energy and effective Yukawa potential
Elsewhere [4], we show that \(H_{\mathrm {IBC}}\) as in (29) for Model 2 with Dirichlet-type IBC (27) and \(E_0>0\) possesses a non-degenerate ground state \(\psi _{\min }\). It is given by
with normalization constant
and eigenvalue
That is, the state is a superposition of different numbers of y-particles, and in each sector all y-particles have the same wave function; so the x-particle at the origin is dressed with a cloud of y-particles. The probability distribution of the number n of y-particles is a Poisson distribution with mean value
We claim further that in Model 1, in which the x-particles interact by exchanging y-particles, the x-particles effectively interact through a Yukawa potential; this in fact agrees with the result of Yukawa’s original reasoning [36]; see below. A simple way of computing the effective interaction potential is to consider (as “Model 2b”) N x-particles fixed at \(\varvec{x}_1,\ldots ,\varvec{x}_N\in \mathbb {R}^3\) and to find the ground state energy. , consider wave functions of y-configurations that simultaneously satisfy N IBCs,
for every \(i=1,\ldots ,N\), \(\varvec{\omega }\in \mathbb {S}^2\), \(n\in \{0,1,2,\ldots \}\), and \(y^n\in (\mathbb {R}^3{\setminus }\{\varvec{x}_1,\ldots ,\varvec{x}_N\})^n\). The corresponding Hamiltonian reads
For \(E_0>0\), the ground state is
with suitable factors \(c_n\) and eigenvalue
That is, the ground state energy of the y-particles, given the x-particles at \(\varvec{x}_1,\ldots ,\varvec{x}_N\), is given by (68). Regarding this energy function of \(\varvec{x}_1,\ldots ,\varvec{x}_N\) as an effective potential for the x-particles (which is appropriate when the x-particles move slowly), we see that x-particles effectively interact through an attractive Yukawa pair potential,
with R the distance between two x-particles. If we take the energy needed to create a y-particle to be \(E_0=m_yc^2\), then
which is, up to the factor \(\sqrt{2}\), the value originally obtained by Yukawa [36] considering the effective interaction of nucleons by exchange of pions. We expect that the factor \(\sqrt{2}\) is owed to the non-relativistic nature of our model.
3.6 IBC Hamiltonians as a limit of removing the cutoff
If one introduces a UV cutoff into the UV divergent original Hamiltonian (26) of Model 2, it becomes the well-defined operator \(H_\varphi \) given by
analogous to (20) for Model 1. Here, the Dirac delta function \(\delta ^3\) has been replaced by \(\varphi :\mathbb {R}^3\rightarrow \mathbb {C}\), a square-integrable function describing the charge density of the x-particle, and the limit \(\varphi \rightarrow \delta ^3\) would correspond to removing the UV cutoff. It is well known [28, 29] that, if \(E_0>0\), there are numbers \(E_\varphi \in \mathbb {R}\) such that the operator \(H_\varphi - E_\varphi \) possesses a limit as \(\varphi \rightarrow \delta ^3\). Since \(E_\varphi \rightarrow \infty \) in this limit, \(H_\varphi \) tends to infinity in a sense, but this sense is harmless because two Hamiltonians that differ only by a multiple of the identity operator can be regarded as equivalent, as they generate the same time evolution (if we regard wave functions that differ only by a global phase factor as equivalent). So, in a relevant sense, the limit \(\varphi \rightarrow \delta ^3\) can indeed be taken, which suggests regarding the limiting Hamiltonian as the “physically correct” Hamiltonian. Obviously, the limiting Hamiltonian is defined only up to addition of a constant, as this constant can be added to each of the \(E_\varphi \). However, for the \(H_{\varphi }\) of this concrete model, there is a particular natural choice of \(E_\varphi \) and thus of the limiting Hamiltonian, described, e.g., in [4, 29], for which we will write \(H_\infty \).
Theorem 2
[4] For the Hamiltonian \(H_{\mathrm {IBC}}\) of the Dirichlet type for Model 2, defined by (27) and (29),
with the constant \(E_{\min }\) as in (63).
On the one hand, this result lends further support to regarding \(H_{\mathrm {IBC}}\) and the IBC approach as physically reasonable. On the other hand, the result provides a more direct and explicit representation of \(H_\infty \) than available so far.
4 Conclusions
If configuration space has a boundary (be it of codimension 1 or codimension 3), then an interior–boundary condition on this boundary can serve to ensure that the probability flux into the boundary is compensated by an equally large gain of probability in another place in configuration space, and thus to ensure the overall conservation of probability. At the same time, an interior–boundary condition has the consequence that contributions to the wave function can flow out of the boundary. That is just what is needed for defining an evolution on Fock space representing the emission and absorption of particles. The crucial point here is that this approach is also possible if the sources (the x-particles in Model 1 and Model 2) are point shaped, without a UV divergence problem arising. IBCs thus seem like a natural way of implementing Hamiltonians with particle creation and annihilation. The mathematical viability of this approach for non-relativistic QFTs has been established in recent works [4,5,6]. Its applicability to more serious QFTs remains to be explored.
Notes
When this article was first written (and posted as http://arxiv.org/abs/1505.04847) in 2015, it was the first to make the proposal to use IBCs to remove ultraviolet divergences. In the meantime, other articles on this topic were published, and we have decided to review some of them in this updated version.
This choice is contrary to the spin-statistics theorem; but that does not matter for our purposes, as the latter pre-supposes Lorentz invariance.
This divergence is to be expected if we keep in mind that \(|\psi |^2\) represents the probability density and note that for the inward radial flow in \(\mathbb {R}^3\), i.e., for the dynamical system defined by the ODE \(\dot{\varvec{x}} = -\varvec{x}/|\varvec{x}|\), the stationary (rotationally invariant) density is \(1/r^2=1/|\varvec{x}|^2\). To see this, note that if we squeeze a spherical shell of radius \(r_1\) and thickness dr to a shell with smaller radius \(r_2\) and equal thickness dr, then its volume goes down (and thus, if its probability content is conserved, its density goes up) by a factor of \((r_1/r_2)^2\). That is the reason for expecting \(|\psi |^2\sim 1/r^2\) and thus \(\psi \sim 1/r\) as \(r\rightarrow 0\). We note, however, that this reasoning depends on the radial velocity being constant (or becoming constant as \(r\rightarrow 0\)); this turns out true in three space dimensions but not in two [5], so the reasoning suggests the wrong asymptotics in 2d; see [21, Rem. 13].
References
Glimm, J., Jaffe, A.: Quantum Field Theory and Statistical Mechanics. Birkhäuser, Basel (1985)
Glimm, J., Jaffe, A.: Quantum Physics–A Functional Integral Point of View. Springer, New York (1987)
Wallace, D.: The Quantum Theory of Fields. To appear in E. Knox and A. Wilson (editors), The Routledge Companion to Philosophy of Physics. New York: Routledge (2020) http://philsci-archive.pitt.edu/15296/. Accessed 8 Nov 2019
Lampart, J., Schmidt, J., Teufel, S., Tumulka, R.: Particle creation at a point source by means of interior-boundary conditions. Math. Phys. Anal. Geom. 21, 12 (2018). arXiv:1703.04476
Lampart, J., Schmidt, J.: On Nelson-type Hamiltonians and abstract boundary conditions. Commun. Math. Phys. 376, 629–663 (2019). arXiv:1803.00872
Lampart, J.: A nonrelativistic quantum field theory with point interactions in three dimensions. Annales Henri Poincaré 20, 3509–3541 (2019). arXiv:1804.08295
Landau, L., Peierls, R.: Quantenelektrodynamik im Konfigurationsraum. Zeitschrift für Physik 62, 188–200 (1930). (English translation: Quantum electrodynamics in configuration space. Pages 71–82 in R. H. Dalitz and R. Peierls (editors): Selected Scientific Papers of Sir Rudolf Peierls With Commentary. Singapore: World Scientific (1997))
Moshinsky, M.: Boundary conditions for the description of nuclear reactions. Phys. Rev. 81, 347–352 (1951)
Moshinsky, M.: Boundary conditions and time-dependent states. Phys. Rev. 84, 525–532 (1951)
Moshinsky, M.: Quantum mechanics in Fock space. Phys. Rev. 84, 533 (1951)
Thomas, L.E.: Multiparticle Schrödinger Hamiltonians with point interactions. Phys. Rev. D 30, 1233–1237 (1984)
Moshinsky, M., López Laurrabaquio, G.: Relativistic interactions by means of boundary conditions: the Breit–Wigner formula. J. Math. Phys. 32, 3519–3528 (1991)
Yafaev, D.R.: On a zero-range interaction of a quantum particle with the vacuum. J. Phys. A Math. Gener. 25, 963–978 (1992)
Tumulka, R., Georgii, H.O.: Some jump processes in quantum field theory. In: Deuschel, J.D., Greven, A. (eds.) Interacting Stochastic Systems. Springer-Verlag, Berlin (2004). https://doi.org/10.1007/3-540-27110-4_4
Nelson, E.: Interaction of nonrelativistic particles with a quantized scalar field. J. Math. Phys. 5, 1190–1197 (1964)
Tumulka, R.: Interior–Boundary Conditions for Schrödinger Operators on Codimension-1 Boundaries. To appear in J. Phys. A Math. Theor. (2020). arXiv:1808.06262
Teufel, S., Tumulka, R.: Avoiding ultraviolet divergence by means of interior-boundary conditions. In: Finster, F., Kleiner, J., Röken, C., Tolksdorf, J. (eds.) Quantum Mathematical Physics–A Bridge Between Mathematics and Physics, pp. 293–311. Birkhäuser, Basel (2016). arXiv:1506.00497
Keppeler, S., Sieber, M.: Particle creation and annihilation at interior boundaries: one-dimensional models. J. Phys. A Math. Theor. 49, 125204 (2016). arXiv:1511.03071
Galvan, B.: Quantum field theory without divergence: the method of the interaction operators. Preprint (2016) arXiv:1607.03876
Lienert, M., Nickel, L.: Multi-time formulation of particle creation and annihilation via interior-boundary conditions. Rev. Math. Phys. Online Ready (2019) arXiv:1808.04192
Dürr, D., Goldstein, S., Teufel, S., Tumulka, R., Zanghì, N.: Bohmian trajectories for Hamiltonians with interior-boundary conditions. J. Stat. Phys. Online First (2019) arXiv:1809.10235
Schmidt, J., Tumulka, R.: Complex charges, time reversal asymmetry, and interior-boundary conditions in quantum field theory. J. Phys. A Math. Theor. 52, 115301 (2019). arXiv:1810.02173
Schmidt, J.: On a direct description of pseudorelativistic Nelson Hamiltonians. J. Math. Phys. 60, 102303 (2019). arXiv:1810.03313
Schmidt, J., Teufel, S., Tumulka, R.: Interior-boundary conditions for many-body dirac operators and codimension-1 boundaries. J. Phys. A Math. Theor. 52, 295202 (2019). arXiv:1811.02947
Lee, T.D.: Some special examples in renormalizable field theory. Phys. Rev. 95, 1329–1334 (1954)
Schweber, S.: An Introduction to Relativistic Quantum Field Theory. Harper and Row, New York (1961)
Lévy-Leblond, J.-M.: Galilean quantum field theories and a ghostless Lee Model. Commun. Math. Phys. 4, 157–176 (1967)
van Hove, L.: Les difficultés de divergences pour un modèle particulier de champ quantifié. Physica 18, 145–159 (1952)
Dereziński, J.: Van Hove Hamiltonians–exactly solvable models of the infrared and ultraviolet problem. Annales Henri Poincaré 4, 713–738 (2003)
Bethe, H., Peierls, R.: Quantum theory of the diplon. Proc. R. Soc. Lond. A 148, 146–156 (1935)
Albeverio, S., Gesztesy, F., Høegh-Krohn, R., Holden, H.: Solvable Models in Quantum Mechanics. Springer-Verlag, Berlin (1988)
Kuchment, P.: Quantum graphs I. Some basic structures. Waves Random Media 14, S107–S128 (2004)
Leinaas, J., Myrheim, J.: On the theory of identical particles. Il Nuovo Cimento 37B, 1–23 (1977)
Goldstein, S., Taylor, J., Tumulka, R., Zanghì, N.: Fermionic wave functions on unordered configurations. Preprint (2014) arXiv:1403.3705
Nelson, E.: Derivation of the Schrödinger equation from Newtonian mechanics. Phys. Rev. 150, 1079 (1966)
Yukawa, H.: On the interaction of elementary particles. Proc. Physico-Math. Soc. Jpn. 17, 48–57 (1935)
Acknowledgements
Open Access funding provided by Projekt DEAL. We are grateful to Sheldon Goldstein, Stefan Keppeler, Jonas Lampart, and Julian Schmidt for helpful discussions.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Teufel, S., Tumulka, R. Hamiltonians without ultraviolet divergence for quantum field theories. Quantum Stud.: Math. Found. 8, 17–35 (2021). https://doi.org/10.1007/s40509-020-00223-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40509-020-00223-9