1. Introduction
The observation of stationarity in quantum systems relies on the existence of pairwise collisions in large conglomerates of atoms, either in an isolated environment or in contact with a larger environment [
1,
2,
3,
4,
5,
6,
7,
8,
9,
10]. While in the former case, the process through which the system reaches the stationary state may be termed intrinsic decoherence [
11,
12], in the latter case, it is simply known as decoherence. In reality, since one can consider the system
under study and the environment
as a composite closed system
, their time evolution is always unitary, and the observation of decoherence always refers to reduced quantities, namely observables of much fewer degrees of freedom of the total ones of the isolated system, say
, with
N the number of degrees of freedom. Therefore, when studying a system in contact with a reservoir, one deals with the reduced density matrix of the former,
, integrating out the environment. This leads typically to master equations for the reduced density matrix of the system that has already ingrained the decoherence effects induced by the interaction with the environment [
2,
5,
6,
8,
9,
10]. In general, decoherence and recurrence phenomena have been widely studied both experimentally and theoretically. On the experimental side, some examples are the dephasing in interference fringes measured in condensates, the decay of laser-induced polarization in spectroscopic experiments [
13,
14], the amplitude damping in qudit photonic states [
15], and the decoherence induced in single molecule junctions [
16], among others. Measurements of purity have also been used to search for quantum coherence loss [
17].
On the other hand, if the system under study is a large one,
, but isolated from any environment, even though the evolution is always unitary, the system relaxes or decoheres to a stationary state [
18] within a quantifiable decoherence time, in the sense that expectation values of one-body observables, such as temperature, magnetization, and, say, few-body correlations, behave as if the full system had relaxed to a stationary state for times longer than the decoherence time. If the system is finite, there appear recurrences or revivals of states near the initial one, but in typical systems, the recurrence time may grow with no bound in the thermodynamic limit
. The behavior of those few-body properties can be directly studied solely with their corresponding reduced few-body density matrices, whose time evolution is no longer unitary within their reduced Hilbert space. It is of interest for our purposes that the experiments in ultracold gases showing Bose–Einstein condensation [
19,
20,
21,
22] are the closest to dealing with true isolated systems. Yet, these gases, due to atomic collisions, relax to equilibrium and, when in the presence of external magnetic fields, show decoherence phenomena [
23,
24]. The study of the magnetization of the latter case is the subject of the present article. Hence, to be specific, we call intrinsic decoherence that of the few-body properties, in an otherwise very large isolated system. Recurrences are not observed in the ultracold gases since unwanted processes, such as three-body collisions, make the thermal state unstable in a relatively short time [
25]. An interesting question concerns the nature of the stationary state and the inquiry of whether it is a thermal state or not. In this regard, the essence of the Eigenstate Thermal Hypothesis (ETH) [
26,
27,
28,
29,
30] is to establish that the thermodynamic properties of few-body observables are contained in the eigenstate closest to the equilibrium average energy. Hence, a simple test is to compare the few-body density matrices of the stationary state of the actual unitarily evolving state with those of the energy eigenstate with an energy similar to the mean of the state evolving in time. Deviations from this typical behavior, such as the many-body localization phenomenon [
31], are also of current interest. In light of these observations, we advance here that depending on the two-body interaction strength in an
Spinor Bose–Einstein Condensate (SBEC) in the presence of external homogeneous magnetic fields, we observe intrinsic decoherence of the magnetization, but with different features leading to both typical and non-typical stationary states.
To be precise, within a full quantum scheme, we study here the phenomenon of intrinsic decoherence, as well as the appearance of recurrences, in the time dynamics of an
Spinor Bose–Einstein Condensate (SBEC) composed of a mixture of three different hyperfine spin components, in the presence of a uniform magnetic field, starting in a well-defined coherent state. Depending on the sign of the spin-mixing interaction strength, the atomic cloud can be polar if positive, such as a gas of
Na atoms, or ferromagnetic if negative, as in a gas of
Rb atoms [
32,
33]. We shall study here the ferromagnetic case only since the condensate acquires a macroscopic spin texture that makes it behave as a “giant” spin. It is worth mentioning that the system we address is very similar to the recent experimental investigation on the spin dynamics of an
Rb spinor macroscopic condensate, where use of the SBEC as a sensible magnetometer is explored [
24]. The present model has also been used to study quantum phase transitions in space [
34]. The dynamics of the spin mixture is followed in the presence of the external magnetic field, which gives rise to linear and quadratic Zeeman contributions, with strengths
p and
q, which together with the interaction term, of strength
, give rise to the phenomena herein analyzed.
Since we are able to very accurately diagonalize the Hamiltonian of the system up to
atoms, we can study the dynamics of any initial state and then calculate reduced density matrices of few-bodies. Here, we analyze the one-body density matrix for a full family of coherent states, as one expects them to be the most resilient to the spin interaction, clearly showing Larmor-like oscillations in the expectation value of the measurable spin (or magnetization) one-body observable. We point out that coherent states are usually expected to yield the closest to the quasi-classical dynamics of the magnetization, in a mean-field fashion, with little or no decoherence [
35]. Indeed, if there is no quadratic Zeeman coupling, the coherent states show no signs of decoherence, but as soon as the full rotational symmetry is broken by the presence of such a coupling, this, in conjunction with the natural two-body collisions, yields the decoherence or collapse of the very definite Larmor oscillations generated by the presence of the external field. Due to the finite number of atoms and the relatively small Hilbert space size, the oscillations recur or revive after longer periods of time, to decohere again. After a long set of calculations, we are able to find out three clear regimes depending on the value of the dimensionless parameter
, a weak interacting one
, a strong one
, and a crossover
, in which, although all show decoherences and recurrences, their dependence on the parameters
q and
and especially on
N, as well as the nature of their corresponding stationary states are very different. Furthermore and very importantly, after the mentioned numerical study and with the insight of the analytic solution to the non-linear single mode model [
36,
37], we are able to heuristically deduce analytic expressions for the full one-body density matrix in the weak and strong interacting regimes. These expressions are certainly the leading order contributions of the full unknown analytical solution and show a remarkable agreement with the predictions of the full quantum numerical solution. We are thus able to provide analytical expressions for the recurrence and decoherence times in terms of the parameters
q,
, and
N and their dependence on the particular initial states. We also highlight the fact that the strong interaction regime shows a “typical” behavior of a macroscopic system since the decoherence and recurrence times show an expected dependence on
N, in the sense that as
, the recurrence time grows with no bound, thus making the quasistationary state closer to a true one. In addition, the nature of the stationary state behaves similarly to the ETH as it has the same reduced one-body density matrix as the eigenstate whose energy equals the gas average energy.
This manuscript is organized into five sections. In
Section 2, we introduce the model Hamiltonian that describes the spinor BEC within the Single Mode Approximation (SMA) and discuss how we are able to accurately obtain its full quantum diagonalization. In
Section 3, we introduce the one-body density matrix and its time evolution for a family of coherent states in the ferromagnetic case, preparing the stage for
Section 4, which shows our main contributions regarding the discussion of decoherence recurrences in the weak and strong interacting regimes. Finally, a discussion and a summary of this work are presented in
Section 5.
2. An F = 1 SBEC within the SMA Approximation—Full Quantum Diagonalization
The many-body
SBEC Hamiltonian with linear and quadratic Zeeman couplings to an external homogeneous magnetic field
, within the contact approximation, is:
where
are the annihilation operators of particles at
with spin
and
are the
angular momentum matrices.
and
are interaction coefficients proportional to the corresponding
s-wave scattering lengths. If
, the system is polar and for
, ferromagnetic [
32].
is an external confining potential, typically harmonic. In general, the field operator is given by:
where
are elements of the basis of the one-particle Hilbert space and
the corresponding creation operators. For ultracold gases, a usual approximation is to consider a self-consistent, to be determined, ground state wavefunction only
, such that
, that is all spin states are in the same ground state. This leads to a set of three coupled Gross–Pitaevskii (GP) equations [
32,
33]. These can be solved numerically, and as shown in
Figure 1, the solution for a homogenous magnetic field shows that the spatial part is unaffected by the presence of such a field, showing Larmor-like oscillations of the magnetization; see below. That is, the dynamics occurs only in the spin degrees of freedom, and it is not transferred to spatial excitations such as phonons and vortices. This would not be so if the external field were inhomogeneous [
38]. The previous observations indicate that a single mode approximation can be made at the level of the GP description (SMA-GP), that is an assumption that the ground state wavefunction is the same for all spin components
. Therefore, if we set
with
a simple three- component spinor, we can integrate out the spatial part and find very simple dynamical equations, called SMA-GP (not shown here), for the time evolution of
. The result of those is shown also in
Figure 1 where we plot the time evolution of the magnetization
with full 3D GP (see [
39] for the details of our methods), and
with the SMA-GP equations. The agreement is essentially perfect. The unphysical feature of the SMA-GP equations, as well as of the full 3D GP is that they are incapable of showing decoherence effects. This is not surprising since GP equations assume that there is a single macroscopic wavefunction for the ground state even in the presence of dynamical effects.
The above results motivate, and partially justify, a radical SMA that assumes that the field operator can be written as
, such that the spatial part can be integrated out and we can deal with the spin part in full. That is, the many-body aspects of the spin part can be fully taken into account. This will lead, as is the purpose of this paper, to showing quantifiable aspects of intrinsic decoherence, as explained above and the recurrence or revivals of the predictable oscillations for initial coherent states. The SMA approximation leads to a seemingly simple Hamiltonian for an
SBEC [
40,
41,
42,
43]:
Within SMA, this Hamiltonian differs from that of Equation (
1) by a term proportional to the number operator
, which commutes with
. The first and second terms represent the linear and quadratic Zeeman contributions,
,
, while the third one is the spin-mixing interaction,
, such that
is polar and
ferromagnetic [
32]. As described in the Introduction, our interest here is the ferromagnetic case. From now on, our goal is the study of Hamiltonian
and its ensuing dynamics; therefore, we shall vary all three parameters independently in order to elucidate their role in the dynamics. These parameters can certainly be tuned experimentally. The above operators in
are given in terms of the creation and annihilation operators of bosonic atoms in the
z-direction spin states
, 0, and
, in obvious notation,
where:
Certainly,
is the one-body spin or magnetization vector operator, with:
and
, whose expectation value is the magnetization or spin texture. Introducing the spin state number operators
, one can also write
and
, forms that can be useful in interpreting our results below.
For a given number of atoms
N, the size of the Hilbert space is
, and therefore, the size of Hamiltonian given by Equation (
3) scales as
. In order to find the time evolution of the system, we have to diagonalize the Hamiltonian, a difficult task that can be eased by exploiting its symmetries. Obviously, the total number operator
commutes with the Hamiltonian
. In addition, due to its Lie structure, it is easy to show that
. Hence, instead of using the “natural” basis of number occupation
, in obvious notation, one finds a better alternative to use
, with
the eigenvalues of
, with values
. Atom number conservation
yields the third quantum number, obviated in the state labels. In this basis, the Hamiltonian is block diagonal in
M, and the matrix elements show simple expressions,
where
and
. We note that the matrix elements in Equations (
7)–(
9) do not link blocks with different values of
M; however, they connect different matrix elements with jumps of two for
. Then, the Hamiltonian
H can be diagonalized and written as,
where, for each block
M,
, and
or
if
M is odd or even, respectively. This analysis can also be applied to SBEC with
[
44,
45]. The block-diagonal structure of the Hamiltonian given by Equation (
3) allows not only very accurate calculation of the energy eigenvectors and eigenvalues for values up to
, as given by Equation (
10), but also implementing full quantum evolution of any initial quantum state for arbitrary values of time. For this, we perform numerically exact diagonalization block-by-block using pyCUDA linear algebra routines, in a server with an eight CPU core, 128 GB RAM, and with the graphic card Nvidia Tesla C2075. Since this diagonalization can be obtained for a wide variety of parameters, the ensuing time evolutions we obtain do not suffer from the accumulation of errors, thus maintaining the same numerical precision at any time step. Depending on the value of
N and the needed time steps, the full evolution of a given initial state elapsed between a few GPU seconds up to several hours. As an example that is easy to visualize, in
Figure 2, we display the Hamiltonian structure for
particles with a Hilbert space size of 28, each blue square representing a block of magnetization
M, whose size is given below. The intensity of the color blue and the size of the blocks depend on the value of
M. Although we do not address it here, we show in
Figure 3 the spectra and their degeneracy for different values of
p,
q, and
for
, to illustrate its richness. All the figures below are in dimensionless units. Since the three parameters of Hamiltonian
all have units of energy, for the ease of varying all parameters without worrying about unit adjustments in different cases, we assume a unit of energy
, such that the three parameters are adimensionalized with it and time is adimensionalized as
.
Despite the fact that
and
commute, the interesting and rich behavior of this model arises because of the non-commutativity of the quadratic Zeeman term ∼
and the spin interaction ∼
. Further, in the absence of the quadratic Zeeman interaction,
, the Hamiltonian can be analytically diagonalized both for
[
46] and
[
44]. The presence of the quadratic term,
, breaks the axisymmetry [
40], and this system becomes an excellent one to study quantum phase transition [
47], quench-dynamical behaviors [
48], the quantum Kibble–Zurek mechanism [
49], and spin fragmentation [
43], among other mechanisms. On the contrary, if there is no atomic interactions,
, the problem is also trivial and right away diagonal, as given by Equations (
7)–(
9). Hence, reiterating, the presence of the atomic interactions is mediated by the presence of the Zeeman quadratic term.
3. Time Evolution of the One-Body Density Matrix in Coherent States
With the full quantum diagonalization described above, we can calculate the time evolution of arbitrary initial states
. Here, we will concentrate on a family of initial coherent states, introduced below. For this purpose, we briefly mention that, as expected, the time evolution can also be performed by blocks in the following manner. First, since the unitary propagator operator can be written as,
one just needs the overlaps
to find the time evolution of any
. However, since many of the usual physical quantities are typically one- or two-body operators, we shall devote our attention to the one-body density matrix, which allows for calculating all the statistical properties of all one-body operators, such as the matrices
,
, and
. For this, we note that since any one-body operator can be written as,
with
k and
j taking the values
, 0, and
and
complex numbers, the expectation value of any operator
requires the knowledge of the expectation values of the operators
for all values of
. These expectation values are those of the one-body density matrix. Explicitly, for a given initial state
, the one-body density matrix for all times is given by,
where the
factor is introduced such that the trace of the reduced density is always unity. This yields in turn that the expectation values of spin operators are also bounded by one. Although we do not exploit it here, it is worth mentioning that if we limit ourselves to one-body properties, one could also use the properties of the Gell–Mann spin one matrices [
50]. A very interesting and useful property of the one-body density matrix given above, in the representation of the
,
corresponding to the
z-direction spin basis, is that the one-body reduced density matrix is diagonal in such a basis,
While we did not prove this result, we extensively verified it, and we believe it follows from the commutation of with the Hamiltonian. The fact that the true stationary density matrix is diagonal in this basis will greatly facilitate the elucidation of the (quasi)stationary states reached in the time evolution of an initial coherent state.
As we can accurately calculate the matrix
for any time using Equation (
13), we now turn our attention to the initial set of coherent states [
35]:
where
,
and
, with
and
the usual angles of the unit sphere and
denoting the vacuum state with no particles. Alternatively, a coherent state can also be written as,
A very important property to take into account is that these coherent states are eigenstates of , that is . We point out that the distribution of energy eigenstates in an arbitrary coherent state involve, in general, several if not many blocks of different values of the quantum number M. The main features of the time evolution of these states, as we amply discuss and show below, is that the elements of the one-body density matrix in these states show an initial oscillation that suffers intrinsic decoherence followed by a stationary state and revivals at later times, with this behavior being repeated ad infinitum. It is evident that both the decoherence and recurrence times depend on the p, q, and parameters, as well as on the initial state , but an important issue is its dependence on N. As mentioned in the Introduction, we identified that the dependence on N is very different in two opposite limits and , evidently called weak and strong interacting regimes.
Since one can show that the set of operators
,
, and
is not part of a Lie algebra, the finding of an analytic expression for the reduced density matrix appears as a very difficult task. Nonetheless, the main contribution of this article is to show that the time evolution of the SBEC one-body properties can be summarized quite precisely with explicit (semi-)analytic expressions for the time evolution of the density matrix elements
, given in Equation (
13), for an arbitrary initial coherent state such as Equation (
15), in the weak and strong limits. These expressions, as well as their validity limits are found in a heuristic manner based on a very large number of precise numerical evaluations of time evolutions for a wide variety of values of the Hamiltonian parameters and for a collection of different initial coherent states.
In order to introduce our expressions for the one-body density matrix in the following section, we first discuss preliminary exact results. Note that the one-body density matrix
, given by (
13), can be first expressed as,
where:
and
is the coherent state for any value of
and
. We see that for any initial state, the role of the
term and the angle
simply amount to a phase factor, while the whole dynamics is ruled by the quadratic Zeeman
and the interaction
terms. Whether one term or the other dominates depends on the relative values of the strength parameters
q and
. We further note that if
, the interactions play no role since the coherent states are eigenstates of
. Therefore, in order to observe the effect of both terms, both
and
q must be nonzero.
As an illustration of the typical time evolution of coherent states, in
Figure 4, we show sequences of decoherences and recurrences in the weak
, strong
, and crossover
regimes. We found that in the extreme cases, the recurrences appear at periodic intervals, thus making feasible their prediction, while in the crossover, as the two effects contribute similarly, the sequences can be very irregular, and we make no attempt to analyze them here.
We would like to point out, as can be seen from Equation (
17), that the time evolution of the one-body density matrix, being an expectation value, certainly depends on the initial state and on the Hamiltonian parameters, but also and very importantly, on the operator itself. Thus, the phenomenon shown in
Figure 4, and their characteristic times analyzed in the sections below, cannot be explained based solely on the energy distribution in the initial state and on the properties of the energy spectra.
5. Discussion and Final Remarks
The agreement between the proposed heuristic expressions for the time evolution of the one-body density matrix of an
SBEC, compared with (numerically) exact full quantum calculation is certainly quite good, allowing us to validate our conclusion that those expressions are the leading non-trivial order, becoming better as
N grows. Once more, in both cases, the general behavior shows periodic (intrinsic) decoherences of an oscillatory behavior, into stationary states, with periodic recurrences. However, the precise nature of this phenomenon is very different in the two limits considered. The most notorious difference between the extreme regimes resides on the fact that the role of the number of particles
N is very different in each case. Note that in the weak side
and
, while in the strong one
and
. It is of interest to mention that the non-linear single mode approximation, as described in [
36,
37], corresponds to the weak interaction regime. We find it relevant to recall that the validity of thermodynamics is achieved for macroscopic bodies
. In this limit, the averages of extensive quantities scale as
N while their fluctuations as
such that the ratio of deviations from equilibrium values scale as
, hence tending to zero as
N increases [
18]. Moreover, the larger the system, the longer it takes to equilibrate in a stationary state, and the recurrences to initial states also are apart for a longer time. In this sense, it appears that the strong interacting regime fulfills this limit. That is,
and
appear as reasonable results. More appealing is the fact that the ratio
, the mentioned typical condition for thermodynamic stability of a macroscopic system [
18]. Thus, although both times diverge in the thermodynamic limit, at the appropriate scale, the decoherence time tends to zero as
compared to the recurrence one. Therefore, we find it very interesting to observe that while the decoherence and recurrence times in the weak interaction case,
, do not follow the “expected” thermodynamic trend, still we observe that the ratio
scales appropriately. In any case, however, although the role of the number of atoms
N is very different in each limit, still what is ultimately responsible for the decoherence and recurrence phenomena is the interaction among the constituents of the body. As we have also seen, this strong difference appears to be present in the structure of the stationary states attained between consecutive recurrences, having started in coherent states. As we verified, those stationary states are indistinguishable from true stationary energy eigenstates. The result that this property does not hold for a weakly interacting SBEC appears to be in agreement with the
N dependence of the decoherence and recurrence times mentioned above. The full elucidation of these differences certainly deserves a separate and detailed study. In the crossover regime
, both the interaction
and non-linear Zeeman
q contributions compete, and their effect is intertwined, and even though the system indeed shows decoherences and recurrences, the latter no longer occurs at prescribed times depending on either
or
N; see
Figure 4c.
To summarize, we first highlight that one can exactly (numerically) diagonalize the Hamiltonian of an interacting SBEC in the SMA approximation for a large number of atoms and that the method can be extended to larger spins . This allows us to probe the full quantum dynamics of any initial state. For the purposes of the present study, we chose here the relevant family of the coherent states. We studied the corresponding reduced one-body density matrix and found heuristic analytical expressions that fit remarkably well with its dynamics in the weak and strong regimes, indicating the interplay among the non-linear Zeeman effect ∼q and the pairwise spin interaction ∼, mediated by many-body effects ∼N. Our expressions predict the decoherence time and the recurrence periods in terms of these quantities and become more precise as N grows. Since the corresponding unitary propagator cannot be analytically found, due to its lack of closed Lie algebra, our results may indicate a path to find it in a series whose leading order term agrees with the heuristic expressions found here. A natural extension of the present study is the analysis of two-body correlations. For this, we need to calculate the reduced two-body density matrix, which with our method does not appear as a very difficult task. It would be very interesting to find how these correlations behave along the different regimes, to find out if the predicted decoherence and recurrence time hold, and it would also serve to further inquire into the structure and properties of the stationary state between recurrences.