Abstract
The two trapped quantum particles interacting problem is generalized to three dimensions, and the exact Coulomb potential is used. The system is solved by expanding the wavefunction in terms of the isotropic harmonic oscillator eigenfunctions and Hydrogen atom eigenfunctions independently, showing that each one results in a prime approximation for different domains of the normalized coupling constant of the relative interactions, suggesting that the combination of the basis is enough to build a well-suited base for the non-approximate problem. The results are compared to previous works that use a model of approximate finite-rage soft-core interaction model of the problem to give insights into the many-body states of strongly correlated ultracold bosons and fermions. We conclude that the proposed three-dimensional approach facilitates the distinction between bosons and fermions while the solutions given by the expansions better define the behavior of the particles for repulsive potentials. In addition, we discuss the substantial differences between our work and the previous approximate model.
Similar content being viewed by others
Introduction
Quantum control is a rapidly growing field of research developed in response to the limitations of classical control techniques, which are inadequate for controlling quantum phenomena essential for a wide range of applications, including quantum computing, quantum sensing, and quantum communication. It has played a crucial role in addressing one of the biggest challenges in quantum computing: decoherence. Decoherence limits the time a quantum system can remain in a quantum state and thus leads to errors in quantum computing. By developing controlling techniques, researchers have been able to extend the coherence time of qubits, enabling more complex computations to be performed. Ultra-cold atoms provide an excellent platform for studying and implementing these quantum-controlling techniques. Because of their low temperatures and well-defined quantum states, ultra-cold atoms can be manipulated and controlled with high precision using external fields. Thanks to the advances in technology in the last two decades, which allow not only to create a system of ultra-cold atoms but to manipulate each particle and control the interaction between them with great accuracy1,2,3,4, the study of trapped quantum particles has blossomed. Problems previously considered only of academic and theoretical nature are now the basis of several emergent quantum technologies.
The two-body system represents one of the most fundamental frameworks for interacting system of trapped atoms and the building foundation of few- and many-body physics1, 2, 5, 6, which has been studied in various ways7,8,9,10,11,12,13,14,15,16 in the past. However, most of these works approximate the interaction by replacing the Coulomb potential with simpler choices to try to construct exact analytical solutions. For example, a quasi-exact solution to the Schrödinger equation for two interacting particles was obtained by Busch et al.9 using a delta-like interaction, a model that was later extended to Gaussian-shaped potentials17. Analytical solutions for more complex interactions, like dipole-dipole, are increasingly needed because of the limitations observed15, 18. For example, depending on the length scale or the size of the trap, one should study and use different considerations, like the van der Waals interaction for short scale, Coulomb corrections19, s-wave scattering length characterizing low-energy atomic collisions, or atomic collisions for traps whose size is comparable to the size associated with the atomic interaction20.
In addition, the study of quantum particles trapped in a harmonic oscillator represents a useful approximation of the microsystems trapped in an optical lattice, so a precise understanding of the interactions in this elementary model may help comprehend the physics occurring in more complex and realistic systems. For instance, stationary solutions are helpful to study the non-equilibrium dynamic of two atoms21,22,23,24. This is true with all other simplified models previously cited and those before Kościk and Sowiński7, whose work is used as the primary reference in this paper. In the spirit of keep developing new simplified models from which we could build more complex physics, Kościk et al. proposed a finite-rage soft-core interaction model of two trapped interacting quantum particles as an approximation of the Coulomb potential and many properties of the system were derived. Similar to the comparison they made with Busch et al. 9, mainly focusing on the spectral properties of the system, we will aim to enlarge the already vast pool of studies made in this area but focusing not on the quasi-exact solution, but on devising a proper base to numerically construct solutions to the non-approximate interaction between two particles trapped in a harmonic oscillator.
Hence, we present the generalization of this problem by considering the numerical solution to the exact Coulomb interaction potential in the diagonalization of the relative motion Hamiltonian between the two trapped particles. To do so, we use the three-dimensional isotropic harmonic oscillator eigenfunctions to expand the Hamiltonian and solve the eigenproblem, studying the system behavior when considering the combined harmonic and hydrogen-atom systems. Two distinguishable domains are identified and a clear suggestion on how to build the Hilbert space for a more in detail study is deduced: a combination of the harmonic eigenfunctions, which work nicely for the limit of a repulsive interaction; and Hydrogen atom eigenfunctions, which provide a good approximation for an attractive interaction. A proper combination might be enough to build a well-suited base for the exact Coulomb potential problem between these limits.
Model
The first step we take to generalize the work of Kościk and Sowiński7 is to consider three dimensions, so we have a system described by the following Hamiltonian:
where V corresponds to the Coulomb potential. We use boldface to indicate vectors and normal font to refer to their norm. Using the standard transformation to the coordinates of the center of mass:
it is possible to separate Eq. (1) as the sum of two independent Hamiltonians \(\mathscr {H} = \mathscr {H}_R + \mathscr {H}_r\), one corresponding to the center of mass (\(\textbf{R}\)) and the other to the relative distance between particles (\(\textbf{r}\)), which have the following form:
where \(\mu\) is the reduced mass. While \(\mathscr {H}_R\) has the known form of the isotropic quantum harmonic oscillator (IHO), \(\mathscr {H}_r\) has an extra interaction given by the Coulomb potential. The main focus of this report is to find a well-suited base to solve the eigenproblem given by Eq. (3) and, therefore, have a better understanding of the exact Coulomb interaction between quantum particles in a trap. To do so, we consider the dimensionless operators:
with the momentum operator \(p=-i\hbar \nabla_r\), to transform Eq. (3) into the dimensionless Hamiltonian
where \(L^2\) is the magnitude of the angular momentum operator, such that the spherical harmonic functions are eigenfunctions of \(L^2\), namely, \(L^2 Y_{\ell ,m}(\theta ,\phi )=-\ell (\ell +1) Y_{\ell ,m}(\theta ,\phi )\). Notice that the model only has one free parameter \(\gamma = Z_1 Z_2 e^2\sqrt{\mu /h^3\omega }\), unlike the finite-range interaction of Ref.7, where a strength interaction parameter V and a range parameter a that describes the distance in which the particles interact with each other are needed. In our case, as we do not approximate the Coulomb interaction, we consider the range parameter \(a\rightarrow \infty\) and only need \(\gamma\) to help us study the intensity of attraction (\(\gamma <0\)) or repulsion (\(\gamma >0\)) between the two particles. Furthermore, using \(\gamma =0\) and \(\gamma \rightarrow - \infty\) recovers the IHO and a Hydrogen-like atom, respectively, which we use to compare later.
Method
As \(\mathscr {H}_r\) may suggest, we approach this problem using two different known solutions as a base: the three-dimensional isotropic harmonic oscillator and the Hydrogen-like atom (HA). We take one of these basis functions and expand the “extra” term in Eq. (4) to build the complete matrix we later diagonalize. For example, if we use the IHO eigenfunctions, we end up with a diagonal matrix given by the eigenenergies of the Harmonic problem plus a matrix corresponding to the Coulomb term, which we build expanding \(\gamma /r\) on the IHO base. Considering the Hydrogen eigenfunctions, we would have a diagonal matrix given by the Hydrogen energies plus a harmonic matrix expanded into the HA base. Having this in mind, we only need to calculate the extra term in both scenarios to diagonalize and find the system’s spectra.
Starting with the known solution to the three-dimensional IHO:
where \(f_{n\ell }\) is a polynomial with coefficients given by the recurrent relationship
This solution already lets us distinguish the symmetric and anti-symmetric spatial wave function with respect to an exchange of particles positions, given by the symmetry of the spherical harmonics:
This is a simple distinction: an even value of \(\ell\) corresponds to bosons and an odd value of \(\ell\) to fermions. We then have a natural separation between particle types because of the three-dimensional solution we have chosen.
Continuing with the eigenproblem, we end up with the following equation using (5) and (4)
and since the energy levels of the harmonic oscillator are
we only need to calculate the matrix elements of the Coulomb interaction, which can be reduced to expressions involving the Gamma function
with \(\beta =\mu \omega /\hbar\).
Conversely, using the radial part of the HA eigenfunctions
we end up with a new equation similar to Eq. (8), namely,
Equations (8) and (12) summarize the eigenproblem we will focus on since they provide the non-diagonal matrices to test the efficiency and accuracy when using either the IHO or the HA eigenbasis in the solution via expansion of two trapped quantum particles interacting via a non-approximate Coulomb potential. The spectral properties and the shape of the orbitals obtained using this method will be compared to the numerical solution of the Schrödinger equation with the relative motion Hamiltonian (4) using the finite elements method (FEM), in which we discretize \(\mathscr {H}\psi (r)=E_{\ell }\psi (r)\) into a mesh using divided differences with a spatial discretization \(\Delta r\) to transform it into a matrix eigenvalue problem. Using standard techniques we obtain the eigenstates \(\psi _{n,\ell }(r)\) with eigenenergies \(E_{n,\ell }\).
Results
For simplicity, we will analyze the case of particles with equal mass, so \(\mu = m/2\). We use energies in dimensionless units and normalize the distance with respect to the Bohr radius (\(a_0\)). We obtain an efficient convergence of the energies of a repulsive (\(0<\gamma\)) system \(H_r\) using the IHO eigenfunctions with \(\ell =0\) when solving the eigenproblem given by Eq. (8). In fact, we obtain a good approximation to the ground state with just five elements in the base. This tendency continues as we calculate higher energies: we only need \(n+3\) to \(n+5\) elements in the IHO base for the n-th energy value to converge. For example, when going from \(n = 5\) to \(n = 10\), with \(\ell =0\) and \(\gamma = 5\), the relative error in the 5-th eigenvalue decreases by 38%, from 17.4 to 12.6.
We then contrast these results using second-order perturbation theory to check that the approximation converges to the proper result. A further check is made by rearranging the Hamiltonian to obtain the known Hydrogen atom energy levels as follows: we have
if we consider \(\gamma =-1\) such that \(V_1 = -1/r\), then the HA Hamiltonian is
with \(V_2\) as the harmonic potential. Solving Eq. (13) with the same expansion used for the IHO eigenfunctions results in a suitable approximation for the known Hydrogen atom energies \(E^{\text {HA}}_n = -\frac{1}{2n^2}\) in atomic units, where different values for the amplitude of oscillation gives us additional precision. Therefore we confirm that the IHO eigenfunctions build a valuable basis for this system.
On the other hand, calculating the matrix elements with HA eigenfunctions to solve the diagonalization problem with the expansion of the harmonic potential, produces, as expected, a poor result as HA eigenfunctions do not form a complete basis if we do not consider the scattering states: Hydrogen atom eigenfunctions on their own, despite converging, does not work and results in wrong values for the system energy levels.
A further study of the behavior of the system is made by analyzing how the energy levels change by the coupling factor \(\gamma\) in Eq. (4) and comparing them to those obtained by Kościk and Sowiński, and the direct solution to the differential equation via the finite elements method, which can be seen in Fig. 1. The finite element solution was calculated using divided differences up to 2nd order for the derivatives, using \(\Delta r=0.01\). For the calculation, we write the eigenvalue equation in terms of finite elements up to \(r_{max}=10\) in normalized units with a \(\Delta r\) resolution. In Fig. 2, we note that this is a reasonable value of \(r_{max}\) from the trapped system. In addition, we studied the eigenvalue convergence for other values of \(r_{max}\) and reached the conclusion that \(r_{max}=10\) was a reasonable compromise between calculation time and accuracy. We also checked with \(\Delta r=0.001\), and we obtained the same result as in Fig. 1. Additionally, the use of isotropic harmonic oscillator eigenfunctions with \(\ell =0\) results in an excellent approximation for the repulsive potential \(0<\gamma\) while failing for \(\gamma \ll 0\), which represents a highly attractive potential between the particles. For a broader analysis of this behavior, we contrast the radial probability density distribution of the IHO, HA, the system solved using 18 IHO eigenfunctions and finite elements method for different values of \(\gamma\), as shown in Fig. 2. We can see that, opposite to the IHO, the HA base reasonably describes the attractive system \(\gamma < 0\) while failing to approximate the repulsive case \(0 < \gamma\). For this last case, we used \(\gamma =-0.1\) and \(\gamma =-1\) to calculate the Hydrogen-like density distribution while using repulsive potentials for the other three curves. An analogous analysis was made by plotting a set of three-dimensional orbitals of the Hydrogen atom and comparing them to those obtained by solving the relative motion Hamiltonian (4), which are shown in Table 1. Despite the differences in scale, which are informed by the expectation value of the radius, it can be seen that the solution of the relative motion Hamiltonian for a highly attractive potential results in a shape identical to that of the Hydrogen atom.
Finally, as we mention in Eq. (7), the distinction between bosons and fermions is reduced to the parity of \(\ell\), so using \(\ell =1\) helps us describe the interaction between two fermions, whose contrast with a bosonic \((n,\ell )=(0,0)\) system can be seen in Fig. 3. Despite getting closer for positive values of \(\gamma\), the two systems are not equal as previous works7 have suggested. Moreover, the exact solution using FEM shows that there is also degeneracy between neighboring bosonic and fermionic energy levels for the highly attractive potential. Another meaningful difference between symmetric and antisymmetric particles is that the fermion eigenfunction converges faster to the expected result due to the Pauli exclusion principle.
Conclusions and Discussion
We focused on the non-approximate Coulomb interaction between two trapped particles using the isotropic harmonic oscillator and Hydrogen atom eigenfunctions independently to expand the relative motion Hamiltonian between two trapped quantum particles and numerically solve the eigenproblem by diagonalization, showing that each of these functions has complementary domains in which they result in a good approximation to the system. The IHO eigenfunctions are an ideal base for the repulsive potential but also work for weak attraction, resulting in adequate approximations for values up to \(\gamma \approx -5\), as shown in Fig. 1. In contrast, the HA eigenfunctions work best for highly attractive potentials. This behavior was visualized by studying the radial density distribution of our model and comparing it to the isotropic harmonic oscillator and the Hydrogen atom, as well as the numerical solution obtained by the finite elements method. The system’s inclination towards the two different domains is shown in Fig. 2, where it is clear that the IHO basis fails to approximate the system when it approaches the Hydrogen-like atom. Furthermore, the similarity to the Hydrogen atom for highly attractive potentials \(\gamma \ll 0\) is checked in Table 1 at the \(\gamma =-10\) column; despite the differences in scale due to the harmonic trap, it is identical to the Hydrogen atom orbitals. This suggests that a combination of these functions may be enough to build a base that helps us solve the non-approximate Coulomb interaction between trapped particles using the expansion in eigenfunctions. The wide domain in which IHO functions work and the low number of elements that are needed in the base for the approximation tells us that maybe a low number of HA eigenfunctions are required to be added for the solution to be generalized to positive and negative values of \(\gamma\), thus solving the differences observed in Figs. 1 and 2 between our results and the numerical result using FEM.
As we think that the expansion in the IHO basis may be useful for further studies, we include the coefficients of the IHO expansion for a number of \(\gamma\) values as supplementary data.
Our model, which has just one variable coefficient to explore the attraction and repulsion between trapped particles, captures qualitatively the results from previous works and deepens the understanding of what features are specific to the election of a particular potential. Thus it expands on the problem that started with Busch et al. In addition, our analysis clearly distinguishes between the behavior of bosons and fermions, a characterization that comes naturally with a three-dimensional approach. With the exact potential, substantial differences are observed in degeneracy for bosonic and fermionic energy levels: degeneracy is observed between neighboring eigenenergies for highly attractive systems, as Fig. 3 shows; and degeneracy for coefficients \(0<\gamma\) more accurately approach the hard-core limit. This makes us confident that with few additions, a robust model can be built to later study different types of interaction and other numbers of particles, thus adding more theoretical understanding to an area at the forefront of experimental studies.
Data availability
Data generated during this study are included in this published article and its supplementary information files.
References
Blume, D. Few-body physics with ultracold atomic and molecular systems in traps. Rep. Prog. Phys. 75, 046401. https://doi.org/10.1088/0034-4885/75/4/046401 (2012).
Wenz, A. N. et al. From few to many: observing the formation of a fermi sea one atom at a time. Science 342, 457–460. https://doi.org/10.1126/science.1240516 (2013).
Abraham, J. W. & Bonitz, M. Quantum breathing mode of trapped particles: From nanoplasmas to ultracold gases. Contrib. Plasma Phys. 54, 27–99. https://doi.org/10.1002/ctpp.201300066 (2014).
Gross, C. & Bloch, I. Quantum simulations with ultracold atoms in optical lattices. Science 357, 995–1001. https://doi.org/10.1126/science.aal3837 (2017).
Liu, X.-J., Hu, H. & Drummond, P. D. Virial expansion for a strongly correlated fermi gas. Phys. Rev. Lett. 102, 160401. https://doi.org/10.1103/PhysRevLett.102.160401 (2009).
Liu, X.-J., Hu, H. & Drummond, P. D. Exact few-body results for strongly correlated quantum gases in two dimensions. Phys. Rev. B 82, 054524. https://doi.org/10.1103/PhysRevB.82.054524 (2010).
Kościk, P. & Sowiński, T. Exactly solvable model of two trapped quantum particles interacting via finite-range soft-core interactions. Sci. Rep. 8, 48. https://doi.org/10.1038/s41598-017-18505-5 (2018).
Kościk, P. & Sowiński, T. Exactly solvable model of two interacting rydberg-dressed atoms confined in a two-dimensional harmonic trap. Sci. Rep. 9, 12018. https://doi.org/10.1038/s41598-019-48442-4 (2019).
Busch, T., Englert, B.-G., Rzazewski, K. & Wilkens, M. Two cold atoms in a harmonic trap. Found. Phys.https://doi.org/10.1023/A:1018705520999 (1998).
Block, M. & Holthaus, M. Pseudopotential approximation in a harmonic trap. Phys. Rev. A 65, 052102. https://doi.org/10.1103/PhysRevA.65.052102 (2002).
Craps, B., Clerck, M. D., Evnin, O. & Khetrapal, S. Energy-level splitting for weakly interacting bosons in a harmonic trap. Phys. Rev. Ahttps://doi.org/10.1103/physreva.100.023605 (2019).
De Clerck, M. & Evnin, O. Time-periodic quantum states of weakly interacting bosons in a harmonic trap. Phys. Lett. A 384, 126930. https://doi.org/10.1016/j.physleta.2020.126930 (2020).
Dawid, A., Lewenstein, M. & Tomza, M. Two interacting ultracold molecules in a one-dimensional harmonic trap. Phys. Rev. A 97, 063618. https://doi.org/10.1103/PhysRevA.97.063618 (2018).
Blume, D. & Greene, C. H. Fermi pseudopotential approximation: Two particles under external confinement. Phys. Rev. A 65, 043613. https://doi.org/10.1103/PhysRevA.65.043613 (2002).
Tiesinga, E., Williams, C. J., Mies, F. H. & Julienne, P. S. Interacting atoms under strong quantum confinement. Phys. Rev. A 61, 063416. https://doi.org/10.1103/PhysRevA.61.063416 (2000).
Mujal, P., Polls, A. & Juliá-Díaz, B. Fermionic properties of two interacting bosons in a two-dimensional harmonic trap. Condensed Matter.https://doi.org/10.3390/condmat3010009 (2018).
Doganov, R. A., Klaiman, S., Alon, O. E., Streltsov, A. I. & Cederbaum, L. S. Two trapped particles interacting by a finite-range two-body potential in two spatial dimensions. Phys. Rev. A 87, 033631. https://doi.org/10.1103/PhysRevA.87.033631 (2013).
Bolda, E. L., Tiesinga, E. & Julienne, P. S. Effective-scattering-length model of ultracold atomic collisions and feshbach resonances in tight harmonic traps. Phys. Rev. A 66, 013403. https://doi.org/10.1103/PhysRevA.66.013403 (2002).
Guo, P. Coulomb corrections to two-particle interactions in artificial traps. Phys. Rev. C 103, 064611. https://doi.org/10.1103/PhysRevC.103.064611 (2021).
Mies, F. H., Tiesinga, E. & Julienne, P. S. Manipulation of feshbach resonances in ultracold atomic collisions using time-dependent magnetic fields. Phys. Rev. A 61, 022721. https://doi.org/10.1103/PhysRevA.61.022721 (2000).
Keller, T. & Fogarty, T. Probing the out-of-equilibrium dynamics of two interacting atoms. Phys. Rev. A 94, 063620. https://doi.org/10.1103/physreva.94.063620 (2016).
Kehrberger, L. M. A., Bolsinger, V. J. & Schmelcher, P. Quantum dynamics of two trapped bosons following infinite interaction quenches. Phys. Rev. A 97, 013606. https://doi.org/10.1103/physreva.97.013606 (2018).
Bougas, G., Mistakidis, S. I. & Schmelcher, P. Analytical treatment of the interaction quench dynamics of two bosons in a two-dimensional harmonic trap. Phys. Rev. A 100, 053602. https://doi.org/10.1103/physreva.100.053602 (2019).
Bougas, G., Mistakidis, S. I., Alshalan, G. M. & Schmelcher, P. Stationary and dynamical properties of two harmonically trapped bosons in the crossover from two dimensions to one. Phys. Rev. A 102, 013314. https://doi.org/10.1103/physreva.102.013314 (2020).
Acknowledgements
We acknowledge the support of CEDENNA (J.R., J.A.V.) through the National Agency for Research and Development (ANID)/PIA/BASAL under Grant Number AFB220001.
Author information
Authors and Affiliations
Contributions
N.Z.L. made the calculations and participated in the writing. J.R. helped design the simulation strategy, participated in the analysis of the results, and participated in the writing. S.C. helped design the simulation strategy, participated in the analysis of the results, and participated in the writing. J.A.V. helped design the simulation strategy, participated in the analysis of the results, and participated in the writing. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher's note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary Information
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
Lizama, N.Z., Carrasco, S.C., Rogan, J. et al. Three-dimensional non-approximate Coulomb interaction between two trapped quantum particles. Sci Rep 13, 18210 (2023). https://doi.org/10.1038/s41598-023-45234-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s41598-023-45234-9
- Springer Nature Limited