Harmonic potential theorem: \\extension to spin-, velocity- and density-dependent interactions
S. Zanoli, X. Roca-Maza, G. Col\`o, S. Shen (Dipartimento di Fisica, "Aldo Pontremoli'', Universit\`a degli Studi di Milano, and INFN, Sezione di, Milano, Italy)

TL;DR
This paper extends the Harmonic Potential Theorem to include spin-, velocity-, and density-dependent interactions, providing a general exact result that constrains time-dependent many-body approximations, with applications in nuclear structure theory.
Contribution
The original HPT is shown to be valid for more complex interactions, broadening its applicability in many-body physics and nuclear theory.
Findings
HPT extended to spin-, velocity-, density-dependent interactions
Numerical validation using RPA for neutron systems
Constraints on time-dependent many-body approximations
Abstract
One of the few exact results for the description of the time-evolution of an inhomogeneous, interacting many-particle system is given by the Harmonic Potential Theorem (HPT). The relevance of this theorem is that it sets a tight constraint on time-dependent many-body approximations. In this contribution, we show that the original formulation of the HPT is valid also for the case of spin-, velocity- and density-dependent interactions. This result is completely general and relevant, among the rest, for nuclear structure theory both in the case of ab initio and of more phenomenological approaches. As an example, we report on a numerical implementation by testing the small-amplitude limit of the time-dependent Hartree-Fock -- also known as Random Phase Approximation (RPA) -- for the translational frequencies of a neutron system trapped in a harmonic potential.
| N | ||||
|---|---|---|---|---|
| [fm] | [%] | |||
| 2 | 0.844 | 2.22 | 1.000 | 99.99 |
| 8 | 0.723 | 2.63 | 1.002 | 99.98 |
| 16 | 0.714 | 2.95 | 1.003 | 99.98 |
| 20 | 0.685 | 3.07 | 1.004 | 99.95 |
| 40 | 0.677 | 3.51 | 1.005 | 99.61 |
| 50 | 0.685 | 3.65 | 1.007 | 99.89 |
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Harmonic potential theorem:
extension to spin-, velocity- and density-dependent interactions
S. Zanoli
Dipartimento di Fisica “Aldo Pontremoli”, Università degli Studi di Milano, 20133 Milano, Italy
INFN, Sezione di Milano, 20133 Milano, Italy
X. Roca-Maza
Dipartimento di Fisica “Aldo Pontremoli”, Università degli Studi di Milano, 20133 Milano, Italy
INFN, Sezione di Milano, 20133 Milano, Italy
G. Colò
Dipartimento di Fisica “Aldo Pontremoli”, Università degli Studi di Milano, 20133 Milano, Italy
INFN, Sezione di Milano, 20133 Milano, Italy
Shihang Shen (申时行)
Dipartimento di Fisica “Aldo Pontremoli”, Università degli Studi di Milano, 20133 Milano, Italy
INFN, Sezione di Milano, 20133 Milano, Italy
Abstract
One of the few exact results for the description of the time-evolution of an inhomogeneous, interacting many-particle system is given by the Harmonic Potential Theorem (HPT) Dobson (1994). The relevance of this theorem is that it sets a tight constraint on time-dependent many-body approximations. In this contribution, we show that the original formulation of the HPT is valid also for the case of spin-, velocity- and density-dependent interactions. This result is completely general and relevant, among the rest, for nuclear structure theory both in the case of ab initio and of more phenomenological approaches. As an example, we report on a numerical implementation by testing the small-amplitude limit of the time-dependent Hartree-Fock – also known as Random Phase Approximation (RPA) – for the translational frequencies of a neutron system trapped in a harmonic potential.
pacs:
21.60.Jz, 71.45.Gm, 73.20.Mf, 21.10.Re
The Harmonic Potential Theorem (HPT) Dobson (1994) – an extension of the Kohn’s theorem Kohn (1961) and further generalizations Brey et al. (1989); Yip (1991) – is one of the few exact results for the description of the time-evolution of an inhomogeneous, interacting many-particle system. Specifically, it describes the motion of such a system, when confined in a parabolic potential well, under the action of a spatially uniform time-dependent external field. The system displays a harmonic motion of all particles oscillating as a whole. Its frequency coincides with the trapping harmonic oscillator frequency, regardless of the interparticle interaction. This result is based on the invariance of the harmonic potential under a transformation to a homogeneously accelerated reference frame Vignale (1995): the center of mass is completely decoupled from the internal degrees of freedom.
It must be stressed that this sets an interesting constraint on approximate time-dependent many-body theories Onida et al. (2002). In particular, the time-dependent local density approximation (TDLDA) of the time-dependent density functional theory satisfies the HPT Dobson (1994). This is essentially because the exchange-correlation potential is local in time and space. The Gross and Kohn approximation Gross and Kohn (1985) violates the HPT instead, but it has been shown that by introducing some modifications on the exchange-correlation potential it can satisfy this theorem Vignale and Kohn (1996).
In its original formulation, the HPT assumes a two-body force that depends only on the relative coordinates of the interacting particles. However, in different physical systems, the spin-, velocity- or density-dependence of the interaction can be crucial for a realistic description of the observed phenomenology. For example, the nucleon-nucleon interaction is strongly spin-dependent, and produces a bound state for the neutron-proton system (the deuteron) with aligned spins ( = 1), while all two-nucleon = 0 configurations are known to be unbound. Spin-dependent interactions are also important to describe magnetic phenomena Katsnelson et al. (2008); Jungwirth et al. (2014).
If we deal with systems characterized by short-range interactions (see for example Flenner et al. (2014); Frérot et al. (2018) among others), the associated non-local equations (e.g., the Hartree-Fock equations) may become quite complicated. If the interaction can be turned into a contact one, these non-local equations can become local, and this represents a practical, and often quite accurate, alternative. With this aim, the so-called density matrix expansion was developed in Refs. Negele and Vautherin (1972, 1975). Such a method is based on the expansion of the non-local one-body density of the system under study, around , up to the needed order in powers of . This brings in derivatives acting on the wave functions evaluated in ; in other terms, when looking at the direct and exchange matrix elements of the original interaction, one can realize that these have been mapped onto those of a contact, velocity-dependent interaction (see e.g. Sec. I.D of Ref. Bender et al. (2003)).
Finally, three-body interactions have been shown to be of paramount importance in different fields of phyiscs Hammer et al. (2013); Horinouchi and Ueda (2015); Ring and Schuck (2004). In the ab initio approaches to nuclear structure, three-body forces and possibly induced four-body or higher-body forces do show up Epelbaum et al. (2009). Three-body interactions are very complicated to deal with: they require an extension of the usual quantum many-body techniques. One possibility to address this issue, followed within current nuclear density functional approaches, is to modelize a three-body interaction by adopting an effective two-body density-dependent interaction Skyrme (1958). In this way, the three-body force can be seen as having been averaged on the density of one of the particles. Therefore, in the light of this discussion, one may deem necessary to generalize the HPT, in order to set exact constraints on time-dependent many-body theories based on spin-dependent, velocity-dependent and three-body/higher-body forces (or density-dependent two-body forces).
The HPT was established by John F. Dobson in Ref. Dobson (1994). It starts from a general -particle Hamiltonian under the action of an external time-dependent and homogeneous field of the type ,
[TABLE]
where and corresponds to the unperturbed Hamiltonian for the interacting particles that are trapped in a harmonic potential, that is,
[TABLE]
where is the spring-constant matrix of the harmonic trap. It is important to mention that a suitable choice of may allow one to modelize very different physical systems such as non-neutral quantum wires or dots Maksym and Chakraborty (1990); Broido et al. (1990), Hooke’s atoms Taut (1993); Filippi et al. (1994), Hooke’s species Pan and Sahni (2003), or spherical nuclei Ring and Schuck (2004), among others. In the original formulation was an arbitrary two-particle potential which depends on the relative coordinates of particles and .
In the present contribution, we generalize Eq. (1) and consider an arbitrary velocity- and density-dependent interaction that preserves, as it should, Galilean invariance. In addition, we trivially generalize to depend on spin and isospin as well,
[TABLE]
To study the time evolution of such a system, given the specific type of external perturbation in Eq. (1), the HPT considers a position-independent and time-dependent shift of the wave function that is solution of the unperturbed Hamiltionian. In mathematical form, the time-evolved wave function can be written as follows,
[TABLE]
where , and the phase is defined as
[TABLE]
We note that is stationary when referred to the accelerated frame and that the phase shift brings it back to the rest frame Dobson (1994). is the corresponding eigenenergy.
The original HPT proofs that , as written in Eq. (4), is a solution of the time-dependent many-body Schrödinger equation
[TABLE]
provided that follows the classical harmonic oscillator equation (cf. Appendix B of Ref. Sahni (2016)),
[TABLE]
Later, it has been shown that the HPT wave function can be derived from first principles via the Feynman Path Integral method Li et al. (2013); Feynman (1948) and the interaction representation of quantum mechanics Meng-Yun et al. (2015). Following, for example, the proof via the operator method (Appendix B.1 of Ref. Sahni (2016)), one realizes that the interactions that depend on the spin and/or isospin do not modify the proof of the HPT. Specifically, the general interaction (3) proposed here does not modify the value of the commutators shown in Eqs. (B16-B19) of Ref. Sahni (2016),
[TABLE]
which are at the center of the proof. Note that we have defined {\bm{P}}\equiv\sum_{j}^{N}{\bm{p}}_{j}\big{/}N, being the conjugate variables with respect to .
The interaction of any non-relativistic system should preserve Galilean invariance. For a velocity- or momentum-dependent interaction, the simplest combination of the momenta that preserves Galilean invariance is . Hence, it is immediate to show that commutators in Eqs. (8-9) will not change, as
[TABLE]
More generally, it has been verified that, in the case of any Galilean invariant interaction ,
[TABLE]
for any local operator that is only function of the spatial coordinates (cf. Eq. (6.4) of Ref. Lipparini and Stringari (1989)). We note that the latter expression is not only valid for zero-range velocity-dependent forces, but also for finite-range forces with exchange terms. Regarding commutators in Eqs. (10-11), they are trivially unchanged. It must be stressed that three- (or many-) body forces depending on the relative coordinates of the involved particles would not modify the proof of the HPT [i.e., commutators in Eqs. (8-11) remain as they are].
Often, in nuclear physics, it has become customary to take into account medium effects by adopting effective two-body, density-dependent forces. As an example, within a Hartree-Fock (HF) calculation for an even-even nucleus, one can show that a zero-range three-body interaction of the type
[TABLE]
is equivalent to a two-body density-dependent force of the form Vautherin and Brink (1972)
[TABLE]
where is the exchange operator between particles 1 and 2 in the spin space. This equivalence is not valid, strictly speaking, beyond HF Bogner et al. (2010); density-dependemt forces should be taken as a mere phenomenological way to mimic many-body effects. It has been shown, since a few decades, that a fractional power () of the density () is more appropriate if one wishes to accurately describe at the same time nuclear bulk properties and nuclear excitations (cf., for instance, Paar et al. (2007); Bennaceur, K. et al. (2014); Roca-Maza and Paar (2018)). is needed for a realistic description of the nuclear incompressibility Colò et al. (2004).
For density-dependent forces such as the one in Eq. (15), one needs to evaluate the corresponding part of the commutators in Eqs. (8-11) assuming that explicitly depends on the one-body density,
[TABLE]
Here, labels the general many-body wave function. In the case of the HPT wave function (4), the density of the system is invariant under the solid shift , that is, , where is the static one-body density solution of . Hence, . Expanding the latter commutator expression one finds
[TABLE]
where . The second commutator at the r.h.s. of Eq. (17) is trivially zero, and the third one is also zero due to Eq. (13). The three commutators at the r.h.s. of Eq. (18) can be evaluated as follows. We define a unitary transformation so that , namely . Therefore, the first commutator is
[TABLE]
since [we have simplified the notation, by omitting the pre-factor and the integral of Eq. (Harmonic potential theorem: extension to spin-, velocity- and density-dependent interactions)]. The second one is
[TABLE]
since commutes with . The last commutator should be zero because of Eq. (18):
[TABLE]
This implies that the commutator of projected along the direction of commutes with , ensuring that Eqs. (10-11) remain valid in the case of density-dependent forces as well. For the case of density-dependent forces the commutators in Eqs. (8-9) are trivially unchanged.
Given all previous discussions, it is now evident that the small-amplitude limit of the time-dependent Hartree-Fock theory, commonly known as Random Phase Approximation (RPA), preserves the HPT also in the case of spin- velocity- and density-dependent forces. In what follows, we will numerically show that a system of neutrons in an isotropic harmonic trap (with and ), solved within the RPA with an effective zero-range interaction which is spin-, velocity- and density-dependent, satisfies the HPT. This system is dubbed neutron drop and it is a useful benchmark for testing nuclear models Gandolfi et al. (2011); Maris et al. (2013); Potter et al. (2014); Shen et al. (2018). RPA is a very successful approach for different types of fermionic systems; in nuclear physics it is the tool of choice for studying the collective motion, also in connection with the extraction of the parameters governing the nuclear equation of state, or with applications to processes of interest for particle physics and astrophysics Ring and Schuck (2004); Paar et al. (2007); Roca-Maza and Paar (2018).
As our code is in spherical symmetry, we should seek among the RPA solutions with angular momentum and parity . The translational modes are known Ring and Schuck (2004) to be excited by the so-called isoscalar dipole operator, . The mode we are after should be essentially the only one excited by this operator, and its frequency should be equal to the trap frequency according to the HPT. To better characterize its translational nature, we can look at its transition density. Transition densities are defined, for any given RPA state , by Ring and Schuck (2004); Colò et al. (2013)
[TABLE]
If the motion is associated with an infinitesimal displacement equal to , the transition density reads Dobson (1994)
[TABLE]
Here, is the ground state density and the displacement must be related to the harmonic motion in the trap . If , then because the energy should be equal to the classical energy.
For our calculations we have used the RPA code published in Ref. Colò et al. (2013), adapted to treat a system in a harmonic trap. This code has been implemented with a two-body interaction of the Skyrme type which is zero-range, spin-, velocity- and density-dependent in its standard form Bender et al. (2003). For the numerical implementation, we have picked up the SAMi parameterization of the Skyrme model Roca-Maza et al. (2012).
In Table 1, we show some results for different neutron drops ranging from 2 to 50 neutrons trapped in a harmonic oscillator potential having MeV. In the second column, the total energy with respect to the Thomas-Fermi solution for a non-interacting -fermion system Ring and Schuck (2004),
[TABLE]
is given. In the third column, the predictions for the root mean square neutron radius are shown. The results for the total binding energy and radius are consistent with previous calculations available in the literature Gandolfi et al. (2011); Maris et al. (2013); Potter et al. (2014); Shen et al. (2018), and are the only ones shown here that depend on the interaction. They are provided for the sake of completeness. In the fourth column, the frequency of the translational mode as found in the RPA calculations is given with respect to the trap frequency. Finally, in the last column, the fraction of the model independent energy-weighted sum rule (EWSR) exhausted by the mode is shown Ring and Schuck (2004). The EWSR can be analytically calculated from the double-commutator (D.C.) as
[TABLE]
in a model independent fashion. In fact, due to Eq. (13), the kinetic energy is the only term contributing to . It is clear from the table that the sharp RPA mode coincides, within accuracy, with the trap frequency and that such mode is the only one appreciably excited in the RPA: it exhausts essentially all the . This is a powerful test for the extended HPT that has been discussed in this work.
In Fig. 1, we compare the RPA transition densities with the expected result from the HPT given in (23): this becomes, in spherical symmetry,
[TABLE]
The results show a very good numerical agreement between the calculation and the expectations from the HPT. The root mean square deviation between the two results shown in Fig. 1 is around, or smaller than, fm*-3* which corresponds to a numerical error at the 1% level or below. This confirms that the RPA approach based on spin-, velocity- and density-dependent Hamiltonian satisfies the extended HPT theorem that we have demonstrated here.
In summary, we have extended the HPT to spin-, velocity- and density-dependent interactions. This generalization is of fundamental relevance. We had chiefly in mind the case of the atomic nucleus, and we have used a system of neutrons to demonstrate that the generalized HPT can be fulfilled numerically with high accuracy. This was done in the case of a specific Hamiltonian. Nevertheless, in keeping with the steady progress of ab initio approaches to nuclear structure Lynn et al. (2016); Drischler et al. (2019) one can be confident that the generalized HPT may be relevant for this domain (cf. also Birkhan et al. (2017) and references therein). In addition, there exist other types of physical systems that are governed by spin-, velocity-, or density-dependent interactions. If they are composed by many fermions, such systems are difficult to be fully understood from a microscopic point of view. Hence, this extension of the theorem enables to test approximate time-dependent many-body theories dealing with the description of the time-evolution of an inhomogeneous, interacting many-particle system, by setting a firm constraint.
The authors are greatful to G. Onida for useful comments and a careful reading of the manuscript. Funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 654002 is acknowledged.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1Dobson (1994) J. F. Dobson, Phys. Rev. Lett. 73 , 2244 (1994) . · doi ↗
- 2Kohn (1961) W. Kohn, Phys. Rev. 123 , 1242 (1961) . · doi ↗
- 3Brey et al. (1989) L. Brey, N. F. Johnson, and B. I. Halperin, Phys. Rev. B 40 , 10647 (1989) . · doi ↗
- 4Yip (1991) S. K. Yip, Phys. Rev. B 43 , 1707 (1991) . · doi ↗
- 5Vignale (1995) G. Vignale, Phys. Rev. Lett. 74 , 3233 (1995) . · doi ↗
- 6Onida et al. (2002) G. Onida, L. Reining, and A. Rubio, Rev. Mod. Phys. 74 , 601 (2002) . · doi ↗
- 7Gross and Kohn (1985) E. K. U. Gross and W. Kohn, Phys. Rev. Lett. 55 , 2850 (1985) . · doi ↗
- 8Vignale and Kohn (1996) G. Vignale and W. Kohn, Phys. Rev. Lett. 77 , 2037 (1996) . · doi ↗
