1: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2: %%
3: %% BEC ABC
4: %%
5: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
6: \documentclass[12pt]{article}
7: \usepackage{cite}
8: \topmargin-1cm
9: \textwidth16cm
10: \textheight23cm
11: \oddsidemargin0cm
12: \usepackage{amsfonts,latexsym,amssymb}
13: \usepackage{graphics}
14: \usepackage{graphicx}
15: \usepackage{amssymb}
16: \usepackage{amsmath}
17: \usepackage{fancyhdr}
18: \usepackage{sectsty}
19: \usepackage{epsfig}
20: \usepackage{cite}
21: \begin{document}
22: \newcommand{\de}{\delta}\newcommand{\ga}{\gamma}
23: \newcommand{\e}{\epsilon} \newcommand{\ot}{\otimes}
24: \newcommand{\be}{\begin{equation}} \newcommand{\ee}{\end{equation}}
25: \newcommand{\ba}{\begin{array}} \newcommand{\ea}{\end{array}}
26: \newcommand{\beq}{\begin{equation}}\newcommand{\eeq}{\end{equation}}
27: \newcommand{\tmod}{{\cal T}}\newcommand{\amod}{{\cal A}}
28: \newcommand{\bemod}{{\cal B}}\newcommand{\cmod}{{\cal C}}
29: \newcommand{\dmod}{{\cal D}}\newcommand{\hmod}{{\cal H}}
30: \newcommand{\s}{\scriptstyle}\newcommand{\tr}{{\rm tr}}
31: \newcommand{\einsop}{{\bf 1}}
32: \def\A{{\mathcal A}}
33: \def\B{{\mathcal B}}
34: \def\C{{\mathcal C}}
35: \def\D{{\mathcal D}}
36: \def\R{\overline{R}}
37: \def\doa{\downarrow}
38: \def\dag{\dagger}
39: \def\ve{\epsilon}
40: \def\si{\sigma}
41: \def\ga{\gamma}
42: \def\nn{\nonumber}
43: \def\le{\langle}
44: \def\re{\rangle}
45: \newcommand{\bra}{\langle}
46: \newcommand{\ket}{\rangle}
47: \def\lt{\left}
48: \def\rt{\right}
49: \def\dwn{\downarrow}
50: \def\up{\uparrow}
51: \def\dag{\dagger}
52: \def\bea{\begin{eqnarray}}
53: \def\eea{\end{eqnarray}}
54: \def\p{\tilde{p}}
55: \def\q{\tilde{q}}
56: \def\H{\overline{H}}
57: \newcommand{\reff}[1]{eq.~(\ref{#1})}
58:
59:
60:
61: \title{Emergent quantum phases in a heteronuclear molecular Bose--Einstein condensate model}
62: \author{
63: Melissa Duncan$^1$, Angela Foerster$^2$, Jon Links$^1$, \\
64: Eduardo Mattei$^2$, Norman Oelkers$^1$, and Arlei Prestes Tonel$^3$
65: \vspace{0.5cm}
66: \\
67: $^{1}$ Centre for Mathematical Physics, School of Physical Sciences, \\
68: The University of Queensland, Brisbane, 4072, Australia \\
69: $^{2}$ Instituto de F\'{\i}sica da UFRGS, \\
70: Av. Bento Gon\c{c}alves 9500, Porto Alegre, RS - Brazil \\
71: $^{3}$ Universidade Federal do Pampa/UFPel, \\
72: Rua Carlos Barbosa SN, Bag\'e, RS - Brazil
73: }
74: \vspace{0.5cm}
75:
76: \maketitle
77:
78: \begin{abstract}
79: We study a three-mode Hamiltonian modelling a heteronuclear molecular Bose--Einstein condensate. Two modes are associated with two distinguishable atomic constituents, which can combine to form a molecule represented by the third mode.
80: Beginning with a semi-classical analogue of the model, we conduct an analysis to
81: determine the phase space fixed points of the system. Bifurcations of the fixed points naturally
82: separate the coupling parameter space into different regions. Two distinct scenarios are found, dependent
83: on whether the imbalance between the number operators for the atomic modes is zero or non-zero.
84: This result suggests the ground-state properties of the model exhibit an unusual sensitivity on the atomic imbalance. We then test this finding for the quantum mechanical model. Specifically we use Bethe ansatz methods, ground-state expectation values, the character of the quantum dynamics, and ground-state wavefunction overlaps to clarify the nature of the ground-state phases. The character of the transition is smoothed due to quantum fluctuations, but we may nonetheless identify the emergence of a quantum phase boundary in the limit of
85: zero atomic imbalance.
86: \end{abstract}
87:
88: PACS: 02.30.Ik, 03.65.Sq, 03.75.Nt
89:
90: \vfil\eject
91: %%%%%%%%%%%%%%%%
92:
93: \section{Introduction}
94:
95: The achievement of producing Bose--Einstein condenstates with ultracold dilute gases of atoms has seen a wealth of theoretical and experimental activity. One enticing prospect of Bose-Einstein condensates is that they may allow for a better understanding of the interface between classical and quantum mechnics, through the possibility of macroscopic
96: Schr\"odinger cat states \cite{zoller} and macroscopic quantum tunneling \cite{leggett}. Another intriguing field of study is the chemistry of Bose-Einstein condensates, where the atomic constituents may form molecules through Feshbach resonances
97: \cite{feshbach} or photoassociation \cite{photo}. A novel feature of a molecular Bose--Einstein condensate is that the atomic and molecular states can exist as a superposition
98: \cite{donley}, providing a chemical analogue of a Schr\"odinger cat state. In cases where the molecules are heteronuclear, the presence of a permanent electric dipole moment also opens the possibility for manipulating the condensate through electrostatic forces \cite{stwalley}.
99:
100: Since systems of Bose--Einstein condensates exist at ultracold temperatures, it is to be expected that significant insights into their behaviour can be obtained from studying their ground-state properties.
101: From a general theoretical perspective there has been substantial progress in the understanding of quantum (i.e. ground-state) phases in many-body quantum systems, due largely to a cross fertilisation of ideas between the condensed matter theory and the quantum information theory communities. Much of this study has explored the relationship between entanglement and quantum criticality \cite{on,oaff,vlrk}.
102: However other characterisations of quantum criticality have been sought too \cite{vbkos,hamma}. Recently the notion of wavefunction overlaps (also known as the {\it fidelity}), which is again common in quantum information theory, has been applied to the study of quantum phase transitions \cite{zanardi,huanandjp}. An advantage of this approach is its universality, as it can be applied to any system independent of the choice of decomposition into subsystems.
103:
104: With the above points in mind here we analyse a simple, yet non-trivial, three-mode model describing a heteronuclear molecular condensate. Two modes are associated with two distinguishable atomic constituents, which can combine to form a molecule represented by the third mode. Besides the interaction describing the interconversion of atoms and molecules, the Hamiltonian contains terms which are linear in the mode number operators (corresponding to external fields) and terms which are second-order in the mode number operators (corresponding to scattering interactions between atoms and molecules).
105: We mainly concern ourselves with the ground-state properties of the model, with the aim of identifying the ground-state phases. We avoid taking the thermodynamic limit and restrict our analysis to finite systems, for reasons which will be discussed later. This in turn presents challenges in rigourously identifying quantum phases, since for finite systems there are no singularities in physical quantities such as the ground state energy and its derivatives. However several recent works have addressed the issues of quantum phases in finite systems \cite{iz,dhl,adgv,leviatan}. We mention that traditional techniques of renormalisation group methods are not applicable to the model under consideration, due to the low number of degrees of freedom. Neither is the concept of symmetry breaking, as the model does not admit global symmetries, nor long-range order, as the model is in essence zero-dimensional.
106:
107: We start our analysis with a semi-classical treatment, following the approach of \cite{fitonel}. Since the model with which we are dealing is integrable, the semi-classical many-body system can be reduced to a problem with a single degree of freedom. We study the phase space of this system, in particular determining the fixed points. It is found that for certain coupling parameters bifurcations of the fixed points occur, and we can determine a parameter space diagram which classifies the fixed points. An unexpected result is that the boundaries between the regions in parameter space are extremely sensitive on whether the number of constituent atoms is equal or not. Specifically, when the number of constituent atoms is equal (i.e. the {\it atomic imbalance} is zero) there is a spontaneous appearance of additional boundaries in the parameter space, some of which can be identified with bifurcations of the global minimum of the classical Hamiltonian.
108:
109: We next investigate the extent to which the classical behaviour influences the ground-state properties of the quantum system. Our first goal in the full quantum analysis is to derive an exact Bethe ansatz solution for the model. We use the Bethe ansatz solution to map the spectrum of the Hamiltonian into that of a one-body
110: Schr\"odinger equation in one-dimensional. An advantage of this method is that it allows for an analysis of the finite system, following the ideas of \cite{dhl}, as the mapping to the one-body Schr\"odinger equation is not dependent on taking the thermodynamic limit of the original many-body system. The results of the analysis of the associated Schr\"odinger equation are in general agreement with the results obtained from the semi-classical treatment, supporting the picture of an additional phase boundary when the atomic imbalance is zero.
111: However, due to quantum fluctuations, the emergence of the phase boundary is smooth rather than spontaneous. This property is apparent from a study of ground-state expectation values and quantum dynamics.
112:
113: In order to simply characterise the ground-state phases for the finite system, we finally define the notion of a {\it quantum phase pre-transition} in terms of wavefunction overlaps. Specifically, a quantum phase pre-transition is identified with each coupling for which the incremental ground-state wavefunction overlap is a local minimum. We numerically calculate these for several cases and discuss these results in relation to the semi-classical and quantum analyses which have been described above. The results confirm the emergence of a quantum phase boundary in the limit of zero atomic imbalance.
114:
115:
116:
117: \section{The model}
118: We consider a general three-mode Hamiltonian describing a heteronuclear molecular Bose--Einstein condensate with two distinct
119: species of atoms, labelled by $a$ and $b$, which can combine to produce a molecule labelled by $c$. We introduce canonical creation and annihilation operators $\{a,\,b,\,c,\,a^{\dagger},\,b^{\dagger},\,c^{\dagger}\}$ satisfying the usual commutation relations $[a,\,a^\dagger]=I$ etc., which represent
120: the three degrees of freedom in the model. The Hamiltonian reads \cite{jzrg}
121: \begin{eqnarray}
122: H&=&U_{aa}N_a^2 + U_{bb}N_b^2 +U_{cc}N_c^2+U_{ab}N_aN_b+U_{ac}N_aN_c+U_{bc}N_bN_c \nonumber \\
123: &+& \mu_aN_a +\mu_bN_b+\mu_cN_c + \Omega(a^{\dag}b^{\dag}c +c^{\dag}ba).
124: \label{ham}
125: \end{eqnarray}
126: The parameters $U_{ij}$ describe S-wave scattering,
127: $\mu_i$ are external potentials and $\Omega$ is the amplitude for interconversion of atoms and molecules.
128: We remark that in the limit
129: $U_{aa}=U_{bb}=U_{cc}=U_{ab}=U_{ac}=U_{bc}=0$, equation
130: (\ref{ham}) is the Hamiltonian studied in \cite{wb,wt}
131: in the context of quantum optics. In the latter stages of the manuscript we will
132: study this limiting case in some detail.
133:
134:
135: The Hamiltonian acts on the Fock space spanned by the (unnormalised) vectors
136: \begin{equation}
137: \left|n_a;n_b;n_c\right>
138: ={(a^\dagger)^{n_a}(b^\dagger)^{n_b}(c^\dagger)^{n_c}}\left|0\right>
139: \label{states}
140: \end{equation}
141: where $\left|0\right>$ is the Fock vacuum. We then have
142: $$N_a \left|n_a;n_b;n_c\right> = n_a \left|n_a;n_b;n_c\right> $$
143: etc., where $N_a=a^{\dagger}a$, $N_b=b^{\dagger}b$ and $N_c=c^{\dagger}c$.
144: The Hamiltonian commutes
145: with $J=N_a-N_b$ and the total atom
146: number $N=N_a+N_b+2N_c$. We refer to $J$ as the atomic imbalance and introduce $k=J/N,\,k\in[-1,1]$
147: as the fractional atomic imbalance.
148: As there are three degrees of freedom and three conserved operators, the system is integrable. This fact will allow us to analyse the model in some depth. Below we begin with a semi-classical analogue of the model, and determine the fixed points of the system.
149:
150:
151:
152: \section{Semi-classical analysis} \label{sca}
153:
154: Let $N_j,\,\phi_j,\,j=a,\,b,\,c$ be
155: quantum variables satisfying the canonical relations
156: $$[\phi_j,\,\phi_k]=[N_j,\,N_k]=0,~~~~~[N_j,\,\phi_k]=i\delta_{jk}I.$$
157: We make a change of variables from the operators $\{j,\,j^\dagger |\,j=a,\,b,\,c\}$ to a number-phase representation via
158: $$j=\exp(i\phi_j)\sqrt{N_j} \;\;\;\;\;\;\;j=a,\,b,\,c$$
159: such that the canonical commutation relations are preserved.
160: We now make a further change of variables
161: $$ z=\frac{1}{N}(N_a+N_b-2N_c),$$
162: $$\phi=\frac{N}{4}(\phi_a+\phi_b-\phi_c),$$
163: such that $z$ and $\phi$ are canonically conjugate variables; i.e.
164: $$[z,\,\phi]=iI. $$
165: For large $N$ we can now approximate the (rescaled) Hamiltonian by
166: \bea
167: H=\lambda z^2 + 2(\alpha-\lambda)z +\lambda -2\alpha + \beta
168: +\sqrt{2(1-z)(z+c_+)(z+c_-)} \cos\left(\frac{4\phi}{N}\right)
169: \label{ham2}
170: \eea
171: with
172: \begin{eqnarray*}
173: \lambda &=& \frac{\sqrt{2N}}{\Omega}\left(\frac{U_{aa}}{4}+
174: \frac{U_{bb}}{4}+\frac{U_{cc}}{4}+ \frac{U_{ab}}{4}-\frac{U_{ac}}{4}-\frac{U_{bc}}{4}\right) \\
175: \alpha &=&\frac{\sqrt{2N}}{\Omega}\left( \frac{1+k}{2}U_{aa}
176: +\frac{1-k}{2}U_{bb}+\frac{1}{2}U_{ab} -\frac{1+k}{4}U_{ac}-\frac{1-k}{4}U_{bc}+\frac{1}{2N}(\mu_a+\mu_b-\mu_c)\right) \\
177: \beta &=& \frac{\sqrt{2N}}{\Omega}\left((1+k)^2U_{aa}+(1-k)^2U_{bb}+(1-k^2)U_{ab}+\frac{2}{N}((1+k)\mu_a+(1-k)\mu_b) \right)
178: \end{eqnarray*}
179: where $c_{\pm}=1\pm 2k $.
180: Since $N$ and $k$ are conserved, we treat them as constant.
181:
182: We now regard (\ref{ham2}) as a classical Hamiltonian and
183: investigate the fixed points of the system. The first step is to
184: derive Hamilton's equations of motion yielding
185: \begin{eqnarray*}
186: \frac{dz}{dt}=\frac{\partial H}{\partial \phi}&=& - \frac{4}{N}\sqrt{2(1-z)(z+c_+)(z+c_-)} \sin\left(\frac{4\phi}{N}\right), \label{de1} \\
187: -\frac{d\phi}{dt}=\frac{\partial H}{\partial z} &=&2\lambda z +2\alpha-2\lambda +\frac{(1-z)(2z+2)-(z+c_+)(z+c_-)}{\sqrt{2(1-z)(z+c_+)(z+c_-)}} \cos\left(\frac{4\phi}{N}\right).
188: \label{de2}
189: \end{eqnarray*}
190: The fixed points of the system are determined by the condition
191: \begin{equation}
192: \frac{\partial H}{\partial \phi}=\frac{\partial H}{\partial z}=0.
193: \label{fixed}
194: \end{equation}
195: Due to periodicity of the solutions, below we restrict to $\phi\in[0,\,N\pi/2)$. It is necessary to treat the cases of
196: $k\neq 0$ and $k=0$ separately, and without loss of generality we assume $k\geq 0$.
197:
198:
199: \subsection{Case I: $k\neq 0$}
200:
201: Define the functions
202: \begin{eqnarray}
203: f(z)&=& \lambda z+\alpha-\lambda \label{f} \\
204: g(z)&=& \frac{(z-1)(2z+2)+ (z+c_+)(z+c_-)}{2\sqrt{2(1-z)(z+c_+)(z+c_-)}} \label{g}
205: \end{eqnarray}
206: Note that the domain of $g(z)$ is $z \in [2k-1,1]$, and $g(z)$ is divergent at $z=2k-1$ and $z=1$.
207: For $k\neq 0$, we then have the following classification of solutions for (\ref{fixed}):
208: \begin{itemize}
209: \item $\phi=0$, and $z$ is a solution of
210: \begin{equation}
211: f(z)=g(z)
212: \label{sol2}
213: \end{equation}
214: which can admit one, two or three solutions.
215:
216: \item $\phi={N\pi}/4$, and $z$ is a solution of
217: \begin{equation}
218: f(z)=-g(z)
219: \label{sol1}
220: \end{equation}
221: which can admit one, two or three solutions.
222: \end{itemize}
223:
224: \begin{figure}[ht]
225: \begin{center}
226: \epsfig{file=figures/Fig1.eps,scale=0.4} \\
227: \end{center}
228: \caption{On the left, graphical solution of (\ref{sol2}) with $k=0.8$. Depending on the values of $\lambda$ and $\alpha$, there may be one, two or three solutions.
229: On the right, graphical solution of (\ref{ssol2}) with $k=0$. Depending on the values of $\lambda$ and $\alpha$, there may be zero, one or two solutions.}
230: \label{curve2}
231: \vspace{1.00cm}
232: \end{figure}
233:
234: A graphical representation of possible types of solutions for $\theta=0$ is given in Fig. \ref{curve2}.
235: From the equations (\ref{sol2}, \ref{sol1}) we can determine there are fixed point bifurcations for
236: certain choices of the coupling parameters. These bifurcations allow us to divide the coupling parameter space into
237: different regions. To construct this diagram, we observe that bifurcations occur when $f$ is the tangent line to $g_{\pm}$; i.e. for values of $\lambda,\,\alpha$ such that
238: \begin{eqnarray}
239: \lambda&=&\pm\left.\frac{dg}{dz}\right|_{z_0} \label{boundarya} \\
240: f(z_0)&=& \pm g(z_0) \label{boundaryb}
241: %\label{f=g}
242: \end{eqnarray}
243: for some $z_0$. This requirement determines the boundaries in parameter space, which are depicted in Fig.
244: \ref{curvekdiff}
245:
246: \begin{figure}[ht]
247: \begin{center}
248: \epsfig{file=figures/Fig2.eps,height=6cm,angle=0}
249: \end{center}
250: \caption{Parameter space diagram identifying the different types of solutions for
251: equation (\ref{fixed}), for
252: $k=0.002,\,0.02,\,0.2$. In each case
253: the diagram is divided into regions
254: $A$ (one solution for $z$ when $\phi = 0$ and one solution when $\phi=N\pi/4$ ),
255: $B$ (three solutions for $z$ when $\phi = 0$ and one solution when $\phi=N\pi/4$) and
256: $C$ (one solution for $z$ when $\phi = 0$ and three solutions when $\phi=N\pi/4$).
257: The boundary separating the regions is given by solutions to the equations (\ref{boundarya},\ref{boundaryb}).
258: }
259: \label{curvekdiff}
260: %\vspace{1.00cm}
261: \end{figure}
262:
263:
264:
265:
266: \subsection{ Case II: $k=0$}
267:
268: Next we consider the case $k=0$ for which the function $g(z)$ has substantially different properties. Setting
269: $c_+=c_-=1$ into (\ref{g}), we find that $g(z)$ reduces to
270: \begin{equation}
271: g(z)= \frac{1-3z}{2\sqrt{2(1-z)}}
272: \end{equation}
273: Here we observe that $g(z)$ is divergent at $z=1$, but finite at $z=-1$. This property affects the types of solutions for (\ref{fixed}). Specifically, we now have the following classifications of solutions for $k=0$:
274:
275: \begin{itemize}
276: \item $\phi=0$, and $z$ is a solution of
277: \begin{equation}
278: f(z)=g(z)
279: \label{ssol2}
280: \end{equation}
281: which can admit zero, one or two solutions.
282:
283: \item $\phi={N\pi}/4$, and $z$ is a solution of
284: \begin{equation}
285: f(z)=-g(z)
286: \label{ssol1}
287: \end{equation}
288: which can admit zero, one or two solutions.
289:
290: \item $z=-1$ and $\phi$ is a solution of
291: \begin{equation}
292: \cos\left(\frac{4\phi}{N}\right)=-2\lambda+{\alpha}
293: \label{ssol3}
294: \end{equation}
295: which can admit zero, one or two solutions.
296: \end{itemize}
297:
298: A graphical representation of possible types of solutions for $\theta=0$ is given in Fig. \ref{curve2}.
299: Because $g(-1)$ is finite, for this case there can be either zero, one or two solutions. As in the $k\neq 0$ case, we can determine the region boundaries in parameter space from equations (\ref{boundarya},\ref{boundaryb}). Moreover, because of the existence of solutions of the form given by (\ref{ssol3}) for $k=0$, which do not have an analogue for $k\neq 0$, we see the appearance of new boundaries given by the conditions $\lambda=(\alpha\pm 1)/2$ for all values of $\alpha$.
300: The boundaries in parameter space are depicted in Fig. \ref{parametro1}.
301:
302: \begin{figure}[h]
303: \begin{center}
304: \epsfig{file=figures/Fig3.eps,height=6cm,angle=0}
305: \end{center}
306: \caption{Parameter space diagram identifying the different types of solutions for
307: equation (\ref{fixed}) when $k=0$.
308: In region I there is no solution for $z$ when $\phi = 0$, and one solution for
309: $z$ when $\phi = {N\pi}/{4}$. In region II there are two solutions for $z$ when $\phi = 0$, and one solution for
310: $z$ when $\phi = {N\pi}/{4}$. In region III exists one solution for $z$ when $\phi = 0$, one solution for
311: $z$ when $\phi = {N\pi}/{4}$, and two solutions for $\phi$ when $z=-1$. In region IV there is one solution for $z$
312: when $\phi = 0$, and no solution for $z$ when $\phi = {N\pi}/{4}$. In region V there is one solution for $z$ when $\phi=0$, and two solutions for $z$ when $\phi = {N\pi}/{4}$. The boundary separating regions II and III
313: is given by $\lambda=(\alpha+1)/2$, while the equation $\lambda =(\alpha-1)/2$ separates the regions III and IV.
314: The boundary between regions I and II has been obtained numerically.
315: }
316: % The full line is
317: % for $\phi=0$ while dashed line is for $\phi=N\pi/4$. Here, we are using $\lambda > 0$.}
318: \label{parametro1}
319: \end{figure}
320:
321: To help visualise the classical dynamics, it is useful to plot the level curves of the Hamiltonian (\ref{ham2}).
322: Since the fixed point bifurcations change the topology of the level curves, qualitative differences can be observed
323: between each of the regions. The results are shown respectively in Fig. \ref{levelcurve2} for $k=0.2$ and
324: Fig. \ref{levelcurve1} for $k=0$, where
325: for clarity we show $4\phi/N\in[-2\pi,\,2\pi]$.
326: \begin{figure}[h]
327: \begin{center}
328: \begin{tabular}{cccc}
329: \epsfig{file=figures/l10alm5.eps,width=3.5cm,height=5cm,angle=0}&
330: \epsfig{file=figures/l10al4.eps,width=3.5cm,height=5cm,angle=0} &
331: \epsfig{file=figures/l10al12.eps,width=3.5cm,height=5cm,angle=0}&
332: \epsfig{file=figures/l10al16.eps,width=3.5cm,height=5cm,angle=0} \\
333: (a) & (b) & (c) & (d)\\
334: \end{tabular}
335: \end{center}
336: \caption{Level curves of the Hamiltonian (\ref{ham2}) for $k=0.2$, where the dark regions indicate lower values than the light regions. Figures (a) and (d) correspond to region A while
337: Figures (b), and (c) correspond to region B. The parameter values are: (a) $\lambda=10,\,\alpha=-5$; (b) $\lambda=10,\,\alpha=4$;
338: (c) $\lambda=10,\,\alpha=12$ and (d) $\lambda=10,\,\alpha=16$.
339: In region A, there is a maximal point at $\phi=0$ and minima at
340: $4\phi/N=\pm\pi$. Two additional fixed points, a saddle and a maximum, occur in region
341: B at $\phi=0$.
342: }
343: \label{levelcurve2}
344: \end{figure}
345: \begin{figure}[ht]
346: \begin{center}
347: \begin{tabular}{cccc}
348: \epsfig{file=figures/reg1k0.eps,width=3.5cm,height=5cm,angle=0}&
349: \epsfig{file=figures/reg2k0.eps,width=3.5cm,height=5cm,angle=0}&
350: \epsfig{file=figures/reg3k0.eps,width=3.5cm,height=5cm,angle=0}&
351: \epsfig{file=figures/reg4k0.eps,width=3.5cm,height=5cm,angle=0} \\
352: (I)& (II) & (III)& (IV) \\
353: \end{tabular}
354: \end{center}
355: \caption{Level curves of the Hamiltonian (\ref{ham2}) for $k=0$, showing the typical behaviour for regions I, II,
356: III and IV. The dark regions indicate lower values than the light regions.
357: The parameter values are $\lambda=1.0,\,\alpha=-2.0$ for region I, $\lambda=2.0,\,\alpha=2.0$ for region II, $\lambda=0.5,\,\alpha=0.5$ for region III
358: and $\lambda=0.5,\,\alpha=3.0$ for region IV.
359: In region I there are local minima for $4\phi/N=\pm\pi$.
360: Besides the minima at $4\phi/N=\pm\pi$,
361: two additional fixed points (a maximum and a saddle point)
362: are apparent in region II occurring at $\phi=0$. In region III there are minima at $4\phi/N=\pm\pi$
363: and for $\phi=0$ just one fixed point, a maximum. There are also saddle points for when $z=-1$.
364: In region IV just one fixed point, a maximum, occurs for $\phi=0$, which always has $z<1$. In contrast the global
365: minimum occurs for $z=-1$.
366: }
367: \label{levelcurve1}
368: \end{figure}
369:
370: Hereafter we will focus most attention on the case where $\lambda=0$, so the model has one effective coupling parameter, $\alpha$. From Figs.
371: \ref{curvekdiff}, \ref{parametro1}, it can be seen that for this submanifold there are no bifurcations when the atomic imbalance is non-zero, with bifurcations occuring at $\alpha=\pm 1$ when the atomic imbalance is zero. For the case when the atomic imbalance is non-zero, the global minimum of the classical Hamiltonian (\ref{ham2}) occurs when $\phi=N\pi/4$ and $z$ is the unique solution of (\ref{sol1}). In particular, for the solution $z\in[2k-1,1]$ $dz/d\alpha$ is a continuous function of $\alpha$.
372: When the atomic imbalance is zero and $\alpha>1$, the global minimum of the classical Hamiltonian (\ref{ham2}) always occurs at the phase space boundary $z=-1$ with $\phi$ arbitrary. At $\alpha=1$ a bifurcation occurs, and for $\alpha$ slightly less than 1 two saddle points arise for $z=-1$ with $\phi$ given by solution to (\ref{ssol3}) and a new global minimum emerges corresponding to $\phi=N\pi/4$ with $z$ the unique solution of (\ref{ssol1}). In this case $dz/d\alpha$ is discontinuous at $\alpha=1$.
373:
374: In the following sections we will conduct an analysis of the quantum Hamiltonian (\ref{ham}). In particular we will establish that the bifurcation occuring at $(\alpha,\lambda)=(1,0)$ when the atomic imbalance is zero can be seen to influence the ground-state properties of the quantum system. In the context of the quantum system we will refer to the boundaries in Figs. \ref{curvekdiff},
375: \ref{parametro1} as {\it threshold couplings}. We avoid using the terminology {\it quantum phase transition} as the analysis is conducted for finite particle number, not in the thermodynamic limit. The reason for not taking the thermodynamic limit is that the quantities $\lambda$ and $\alpha$ are dependent on $N$. Additionally, in the thermodynamic limit $N\rightarrow\infty$ with $k$ finite the semi-classical results predict qualitative differences between the cases $k=0$ and $k\neq 0$. However if $N$ is odd then we cannot have $k=0$, raising technical issues about whether the limit is convergent. Consequently we only consider the case of finite particle number. To deal with the subtleties of the finite size of the system we will formally define a quantum phase {\it pre-transition} in Sect. \ref{wo}.
376:
377:
378: %%%%%%%%%%%
379:
380: %\end{document}
381: \section{Exact solution of the quantum Hamiltonian}
382:
383: We now turn our attention to a quantum mechanical treatment of the model, to investigate the nature of the additional
384: threshold couplings when the atomic imbalance is zero. First we derive an exact Bethe ansatz solution of the model, and then use this to map the spectrum of the Hamiltonian (\ref{ham}) into the spectrum of a one-body Schr\"odinger operator.
385:
386: \subsection{Energy eigenvalues as roots of a polynomial equation}
387:
388: We rewrite the system Hamiltonian in a compact form as
389: \begin{equation}
390: H=U+\Omega(a^{\dagger}b^{\dagger}c+c^{\dagger}ba)
391: \end{equation}
392: where the operator $U$ is a function of the number operators:
393: \begin{align*}
394: U&=U_{aa}N_{a}^{2}+U_{bb}N_{b}^{2}+U_{cc}N_{c}^{2}+U_{ab}N_{a}N_{b}+U_{ac}N_{a}N_{c}+U_{bc}N_{b}N_{c}\\
395: &\qquad+\mu_{a}N_{a}+\mu_{b}N_{b}+\mu_cN_c.
396: \end{align*}
397: Since the operators $N$ and $k=J/N$ are conserved we fix these and without loss of generality consider cases where
398: $k\geq 0$. This restricts the Hilbert space to a subspace of dimension $(m+1)$ spanned by the vectors
399: \begin{equation}
400: \left|{l-j};{m-j};{j}\right>
401: \label{basis}
402: \end{equation}
403: where we have defined
404: \begin{align}
405: l=\frac{N(1+k)}{2},\nonumber\\
406: m=\frac{N(1-k)}{2}\nonumber
407: \end{align}
408: such that $l+m=N$.
409: We then look for eigenstates of (\ref{ham}) of the form
410: \begin{equation}
411: \label{eq:gstate}
412: |\psi\ket=\sum_{j=0}^{m}\rho_j \left|{l-j};{m-j};{j}\right>
413: \end{equation}
414:
415: Since the basis states (\ref{basis}) are eigenstates of each of the number operators they are eigenstates
416: of the operator $U$ so we can define the quantities ${\mathcal U}_j$ through
417: \begin{equation}
418: U \left|{l-j};{m-j};{j}\right>
419: ={\mathcal U}_j \left|{l-j};{m-j};{j}\right>.
420: \end{equation}
421: The Hamiltonian acts on the general state (\ref{eq:gstate}) as
422: \begin{align}
423: H |\psi\ket &=\sum_{j=1}^{m-1} ({\mathcal U}_{j}\rho_j + \Omega((j+1)\rho_{j+1} + (l+1-j)(m+1-j)\rho_{j-1}))
424: \left|l-j;m-j;j\right> \nonumber\\
425: & \qquad +({\mathcal U}_0 \rho_0 + \Omega\rho_1)\left|l;m;0\right> +
426: ({\mathcal U}_m \rho_m + \Omega \rho_{m-1}(l-m+1)) \left|l-m;0;m\right> \label{Hside}
427: \end{align}
428: %
429: Requiring that (\ref{eq:gstate}) is an eigenstate of the Hamiltonian with energy eigenvalue $E$
430: leads to the following recursion relations that must be satisfied by coefficients $\rho_j$:
431: \begin{subequations}
432: \label{recrels}
433: \begin{align}
434: \Omega\rho_1+{\mathcal U}_0\rho_0&=E\rho_0,\label{rho0} \\
435: \Omega((j+1)\rho_{j+1}+(l+1-j)(m+1-j)\rho_{j-1})+{\mathcal U}_j\rho_j&=E\rho_j,
436: \label{rhoj} \\
437: {\mathcal U}_m\rho_m +\Omega(l-m+1)\rho_{m-1} &= E \rho_m, \label{rhom}
438: \end{align}
439: \end{subequations}
440: where $1<j<m-1$ in (\ref{rhoj}).
441: %
442: As the normalisation of the state (\ref{eq:gstate}) can be chosen arbitrarily, we have the freedom to choose
443: $\rho_0=1$. The recursion relation (\ref{rhoj}) then shows that $\rho_j$ is a polynomial in $E$ of order $j$.
444: The constraint (\ref{rhom}) is thus a polynomial in $E$ of order $(m+1)$, whose roots are the energy eigenvalues of
445: (\ref{ham}). Since the number of roots is the same as the dimension of the subspace spanned by the vectors (\ref{basis}),
446: all energy eigenvalues are given by the roots of (\ref{rhom}).
447:
448:
449:
450: \subsection{Bethe ansatz solution and mapping to a Schr\"odinger equation}
451:
452: With the above implicit form for the energy eigenvalues we are able to map the energy spectrum into that
453: of a one-dimensional Schr\"odinger equation. We start by mapping the energy eigenstates to polynomial solutions
454: of a particular second-order ordinary differential equation (ODE) and then utilise a change of variables such that the differential equation takes the form of the
455: Schr\"odinger equation.
456: Each eigenstate of the system (\ref{eq:gstate}) can be represented by an $m^{\text{th}}$ order polynomial with coefficients $\rho_j$ ($j=1,2,..m.$). For a particular energy, we can then construct an ODE for $G(u)$ such that the polynomial coefficients must satisfy the recursion relations of (\ref{recrels}). Below we outline the details of this construction.
457:
458: Consider a general second-order ODE eigenvalue problem satisfied by an $m^{\text{th}}$ polynomial function $G(u)$:
459: \begin{equation}
460: a(u)G^{''}+b(u)G'+c(u)G=EG
461: \label{ODEform}
462: \end{equation}
463: First we write the polynomial $G(u)$ with roots $\{u_p\}_{p=1}^m$ in the factorised form
464: \begin{equation*}
465: G(u)=\prod_{p=1}^{m}(u-u_{p})
466: \end{equation*}
467: such that
468: \begin{eqnarray*}
469: G'(u)&=&\sum_{p=1}^m\prod_{q\neq p}^m(u-u_q), \\
470: G''(u)&=&\sum_{p=1}^m\sum^m_{q\neq p}\prod^m_{\substack{r\neq p\\r\neq q}}(u-u_r).
471: \end{eqnarray*}
472: Evaluating (\ref{ODEform}) at the root $u_q$ leads to the Bethe ansatz equations
473: \begin{equation}
474: \label{BAeqns}
475: \frac{b(u_q)}{a(u_q)}=\sum_{p\neq q}^{m}\frac{2}{u_p-u_q},\hspace{1cm}q=1,2,...,m.
476: \end{equation}
477: Hence, the roots of the polynomial must satisfy the system of coupled equations (\ref{BAeqns}) if $G(u)$ is a solution to (\ref{ODEform}).
478:
479: We can map the solutions of (\ref{ODEform}) with eigenvalue $E$ to solutions of a Schr\"odinger equation
480: \begin{equation}
481: \label{shro}
482: \frac{-d^2\psi(x)}{dx^2}+V(x)\psi(x)=E\psi(x)
483: \end{equation}
484: with the same eigenvalues,
485: by mapping the polynomial solution of (\ref{ODEform}) to a wavefunction of (\ref{shro}) via
486: \begin{equation*}
487: \psi(x)=e^{f(x)}{G(u(x))}.
488: \end{equation*}
489: Substituting into the Schr\"odinger equation gives the following relations to be satisfied
490: \begin{subequations}
491: \label{mapp}
492: \begin{align}
493: a(u)&=-\left(\frac{du}{dx}\right)^2 \label{a}\\
494: b(u)&=-\frac{d^2u}{dx^2}-2\frac{du}{dx}\frac{df}{dx}\label{b}\\
495: c(u)&=V(x)-\frac{d^2f}{dx^2}-\left(\frac{df}{dx}\right)^2\label{c}
496: \end{align}
497: \end{subequations}
498:
499: In view of the above discussions, we now formulate the Bethe ansatz solution for (\ref{ham}) and the associated
500: mapping to a Schr\"odinger equation.
501: To simplify the notation, we define
502: \begin{equation*}
503: {\mathcal U}_j = A(m-j)(m-j-1)+ B(m-j)+ C
504: \end{equation*}
505: where
506: \begin{align*}
507: A&=U_{aa} +U_{bb} +U_{cc} +U_{ab}-U_{ac}-U_{bc}\\
508: B&=(1+2l-2m)U_{aa}+U_{bb} +(1-2m)U_{cc} +(1+l-m)U_{ab}\\
509: &~~~~~~+(2m-l-1)U_{ac} +(m-1)U_{bc}+\mu_a+\mu_b-\mu_c \\
510: C&=(1-m)^2U_{aa}+m(l-m)U_{ac} +m^2 U_{cc}+(m-l)\mu_a +m \mu_c.\\
511: \end{align*}
512: The polynomial defined as
513: \begin{equation}
514: G(u)=\sum_{j=0}^{m}\rho_{j}u^{m-j},
515: \end{equation}
516: with the $\rho_j$ satisfying (\ref{rho0},\ref{rhoj},\ref{rhom}), is a solution to the following differential equation
517: \begin{equation}
518: (Au^2+\Omega u)G^{''}+(Bu+\Omega(l-m+1-u^2))G^{'}+(\Omega mu+C)G=EG.
519: \label{ODEG}
520: \end{equation}
521: The roots of $G(u)$ are solutions of the Bethe ansatz equations
522: \begin{equation}
523: \frac{\Omega(l-m+1-u^2_q)+Bu_q}{u_q(\Omega+Au_q)}=\sum^m_{p\neq q}\frac{2}{u_p-u_q},\hspace{1cm}q=1,2,...,m.
524: \end{equation}
525: We can also derive an expression for the energy eigenvalues of the model in terms of the roots $u_q$. Consider the leading order expansions
526: \begin{align*}
527: G(u)&=u^m- u^{m-1} \sum_{q=1}^{m} u_{q} +...\\
528: G'(u)&=m u^{m-1}-(m-1)u^{m-2}\sum_{q=1}^m u_{q}+...\\
529: G''(u)&=m(m-1)u^{m-2}-(m-1)(m-2)u^{m-3} \sum_{q=1}^m u_{q} +...\\
530: \end{align*}
531: We substitute these expressions into (\ref{ODEG}) and equate terms of order $m$ to arrive at the following expression for the energy eigenvalues of the system
532: \begin{equation}
533: E=A m(m-1)+ Bm+C-\Omega \sum_{q=1}^{m}u_{q}
534: \end{equation}
535:
536: Next we determine the explicit form of the Schr\"odinger equation.
537: Comparing (\ref{ODEG}) to (\ref{ODEform}) gives
538: \begin{align*}
539: a(u)&=Au^2 + \Omega u\\
540: b(u)&=(l-m+1-u^2)\Omega+Bu\\
541: c(u)&=mu\Omega+C
542: \end{align*}
543: Using (\ref{a},\ref{b},\ref{c}) we may perform the mapping to the Schr\"odinger equation by choosing
544: \begin{align*}
545: \frac{du}{dx}&=\pm\sqrt{-Au^2-\Omega u}\\
546: \end{align*}
547: Integrating this expression (with a convenient choice for the constant of integration) gives
548: \begin{align}
549: u=\frac{\Omega}{2A}(\cos({\sqrt{A}x})-1)
550: \end{align}
551: We also find that
552: \begin{align*}
553: \frac{df}{dx}&=\frac{\Omega^2}{4A^{\frac{3}{2}}}\sin({\sqrt{A}x})+\left(\sqrt{A}(l-m+1)-\frac{B}{2\sqrt{A}}-\frac{\Omega^2}{2A^{3/2}}\right)\csc(\sqrt{A}x)\\
554: &\qquad+\left(\frac{-\sqrt{A}}{2}+\frac{\Omega^2}{2A^{{3}/{2}}}+\frac{B}{2\sqrt{A}}\right)\cot{(\sqrt{A}x)}
555: \end{align*}
556: So the wavefunction
557: \begin{equation}
558: \Psi(x)=\exp\left(f(x)\right)\prod_{p=1}^{m}\left(\frac{\Omega}{2A}(\cos({\sqrt{A}x})-1)-u_p\right)
559: \label{wf}
560: \end{equation}
561: satisfies the Schr\"odinger equation (\ref{shro}) with potential
562: \begin{align*}
563: V(x)&=mu\Omega+C+\frac{d^2f}{dx^2}+\left(\frac{df}{dx}\right)^2\\
564: &=\left(C+\frac{\Omega^2}{2A}(l-2m+2)-\frac{\Omega^4}{2A^3}-\frac{A}{4}
565: +B\left(\frac{1}{2}-\frac{3\Omega^2}{4A^2}-\frac{B}{4A}\right)\right)\\
566: &\quad+\frac{\Omega^4}{16A^3}\sin^2(\sqrt{A}x)+\frac{\Omega^2}{2A}\left(m+\frac{\Omega^2}{2A^2}+\frac{B}{2A}\right)
567: \cos({\sqrt{A}x})\\
568: &\quad+\left(\frac{3A}{4}+A(l-m+1)^2+\frac{\Omega^2}{A}(l-m+1)+\frac{\Omega^4}{2A^3}-\frac{\Omega^2}{A}
569: +B\left(\frac{B}{2A}+\frac{\Omega^2}{A^2}-1\right)\right) \\
570: &\qquad\qquad \times \csc^2({\sqrt{A}x})\\
571: &\quad+\left(\left(\frac{\Omega^2}{A}+B\right)(l-m+2)-2A(l-m+1)-\frac{\Omega^4}{2A^3}
572: -B\left(\frac{B}{2A}+\frac{\Omega^2}{A^2}\right)\right)\\
573: &\qquad\qquad \times \cot(\sqrt{A}x)\csc(\sqrt{A}x).
574: \end{align*}
575: The above potential is an example of a quasi-exactly solvable potential \cite{quasi}, whereby a finite number of eigenstates of the form (\ref{wf}) can be constructed. The concept of mapping the spectrum of many-body systems into those of one-body Schr\"odinger equations has been discussed in detail in \cite{uz}.
576:
577: \section{Analysis in the no scattering limit}
578:
579: In this section we now conduct a deeper analysis of the Hamiltonian in the no scattering limit where
580: $U_{jk}=0$ for all $j,k=a,b,c.$ In this limit the model simplifies substantially, yet remains sufficiently non-trivial to enable us to gain an understanding of the quantum behaviour through the Schr\"odinger equation mapping, ground-state expectation values and quantum dynamics. Specifically the no scattering limit corresponds to the coupling $\lambda=0$ in the semi-classical analysis of Sect. \ref{sca}. With reference to Fig. \ref{parametro1} there are two threshold couplings in the case of zero atomic imbalance. One occurs at $(\alpha,\lambda)=(1,0)$, signifying the bifurcation of the global minimum of the Hamiltonian, while the other occurs at
581: $(\alpha,\lambda)=(-1,0)$, signifying the bifurcation of the global maximum. In contrast there are no bifurcations along the line $\lambda=0$ in Fig. \ref{curvekdiff}. We focus our attention to the coupling $(\alpha,\lambda)=(1,0)$ as the bifurcation of the fixed point in phase space is associated with the ground state of the quantum system.
582:
583: \subsection{Schr\"odinger equation mapping} \label{sem}
584:
585: For small values of $A$, we can take series expansions for the trigonometric functions in the potential $V(x)$ and wavefunction $\Psi(x)$.
586: Then taking the limit $A\rightarrow 0$ (corresponding to $\lambda=0$ for the analogous classical system (\ref{ham2})) the Schr\"odinger potential becomes
587: \begin{eqnarray}
588: V(x)&=&C-\frac{B}{2}(N+1)+ \left(J^2-\frac{1}{4}\right)x^{-2} \nonumber \\
589: &&\qquad + \left( \frac{B^2}{16} - \frac{ \Omega^2}{8}(N+2) \right)x^2
590: + \frac{\Omega^2B}{32}x^4 +\frac{\Omega^4}{256}x^6
591: \label{semigeneralpotential}
592: \end{eqnarray}
593: where we now parametrise the system in terms of the variable $J=l-m$ and $N=l+m$.
594: Now consider a simple subclass of the general Hamiltonian (\ref{ham})
595: \begin{equation}
596: H=\mu N_c +\Omega(a^{\dagger}b^{\dagger}c+c^{\dagger}ba)
597: \label{hamres}
598: \end{equation}
599: We have mapped the general model to a Schr\"odinger equation in the previous section.
600: The above case (\ref{hamres}) corresponds to $A=0$, $B=-\mu$ and $C=m\mu$ in equation (\ref{semigeneralpotential}). The energy eigenstates map to solutions of the Schr\"odinger equation with potential
601: \begin{align}
602: \label{genpot}
603: V(x)&=\frac{\mu(N+1)}{2}+ \left(J^2-\frac{1}{4}\right) x^{-2}\nonumber\\
604: &\qquad + \frac{1}{16}\left(\mu^2-2\Omega^2 (N+2)\right) x^2 -\frac{\mu \Omega^2}{32} x^4+ \frac{\Omega^4}{256} x^6.
605: \end{align}
606: The associated wavefunction is given by
607: \begin{equation}
608: \Psi(x)=x^{(J+1/2)}\exp\left(\frac{-\Omega^2 x^4}{64}+\frac{\mu x^2}{8}\right)\prod_{p=1}^{m}\left(\frac{-\Omega x^2}{4}-u_p\right)
609: \label{wf1}
610: \end{equation}
611: with energy eigenvalues
612: \begin{equation}
613: E= -\Omega \sum_{q=1}^{(N-J)/2}u_{q}
614: \end{equation}
615: where the $\{u_q\}$ are solutions to the Bethe ansatz equations
616: \begin{equation}
617: \frac{(J+1)}{u_q}-u_q-\frac{\mu}{\Omega}=\sum_{p\neq q}^{(N-J)/2}\frac{2}{u_p-u_q},\hspace{1cm}q=1,2,...,(N-J)/2.
618: \end{equation}
619: \begin{figure}[!h]
620: \begin{center}
621: \begin{tabular}{ccc}
622: \includegraphics[width=7cm,height=7cm]{figures/imbalancepaper.eps}
623: &\quad &
624: \includegraphics[width=7cm,height=7cm]{figures/noimbalance.eps}
625: \\
626: (a) &\quad & (b) \\
627: \end{tabular}
628: \end{center}
629: %
630: %\includegraphics[width=15cm,height=10cm]{imbalancepaper.eps}
631: \caption{ The potential $V(x)$ given by (\ref{genpot}). (a) $N=501$ and atomic imbalance $J=1$. The potential is bounded from below, with the inset showing
632: $V\rightarrow\infty $ as $x\rightarrow 0$. Varying the coupling parameter $\alpha$ across the threshold value
633: $\alpha=1$, it is apparent there is no bifurcation of the potential minimum. (b) $N=500$ and atomic imbalance $J=0$. The potential is not bounded below, with the inset showing $V\rightarrow-\infty $ as $x\rightarrow 0$.
634: As the coupling parameter $\alpha$ is varied across the threshold value $\alpha=1$, it is apparent there is a bifurcation with the formation of a local minimum and a local maximum for $\alpha<1$. }
635: \label{potentials}
636: \end{figure}
637:
638:
639: The semi-classical analysis predicts a threshold coupling at $\alpha=1$ when the atomic imbalance is zero where for the case under consideration
640: $\alpha=-\mu/(\Omega\sqrt{2N})$. When the atomic imbalance is non-zero there is no predicted threshold coupling.
641: Fig. \ref{potentials} (a) depicts the potential (\ref{genpot}) for $N=501,\, J=1$ and various values of $\alpha$ close to the threshold value $\alpha=1$.
642: It can be seen that the potential has a single minimum for all $\alpha$. In contrast, Fig. \ref{potentials} (b) shows (\ref{genpot}) for $N=500$ and $J=0$. For this case the potential is not bounded from below and there is a bifurcation for $\alpha\approx 1$. For the model (\ref{hamres}), the predictions of the semi-classical analysis conducted in Sect. \ref{sca} of a threshold coupling at $\alpha\approx 1$ are consistent with qualitative differences of the associated Sch\"odinger equation.
643:
644: Now we examine bifurcations of the critical points of the potential (\ref{genpot}) in more detail. Consider the general class of potentials
645: \begin{eqnarray}
646: V(x)&=& \A x^{-2}+\B x^2+\C x^4 +\D x^6 \label{generic}
647: \end{eqnarray}
648: where $\C,\,\D$ are assumed to be positive and no constraints are placed on $\A$ nor $\B$. In particular we wish to determine when the condition
649: \begin{eqnarray}
650: \frac{dV}{dx}=\frac{d^2V}{dx^2}=0 \label{condition}
651: \end{eqnarray}
652: can be met. Since the potential is a symmetric function, we restrict to non-negative values of $x$. When $\A=0$ it is straightforward to deduce that, for any values of $\C$ and $\D$,
653: (\ref{condition}) holds at $x=0$ when $\B=0$.
654: For non-zero values of $\A$ we find
655: \begin{eqnarray}
656: \frac{dV}{dx}&=& -2\A x^{-3}+2\B x +4\C x^3 +6\D x^5 \label{dvdx} \\
657: \frac{d^2V}{dx^2}&=& 6\A x^{-4} +2\B +12 \C x^2 +30\D x^4 \label{d2vdx2}
658: \end{eqnarray}
659: We set both (\ref{dvdx}) and (\ref{d2vdx2}) to zero and take particular linear combinations to obtain the following relations:
660: \begin{eqnarray}
661: \frac{1}{8}\frac{d^2V}{dx^2}+\frac{3}{8x}\frac{dV}{dx}&=& \B + 3 \C x^2 +6 \D x^4 =0\label{bcd} \\
662: \frac{x^4}{8}\frac{d^2V}{dx^2}-\frac{5x^3}{8}\frac{dV}{dx}&=& 2 \A - \B x^4 -\C x^6=0 \label{abc}
663: \end{eqnarray}
664:
665: Note that eq. (\ref{bcd}) is independent of $\A$, and has solutions
666: \begin{eqnarray}
667: x^2&=&\frac{-3\C\pm\sqrt{9\C^2-24\B\D}}{12\D}. \label{x}
668: \end{eqnarray}
669: We take the positive square root in (\ref{x}) and impose $\B<0$, ensuring $x^2>0$.
670: Treating $\B$ as a small parameter such that
671: \begin{eqnarray}
672: \left|\B\right|\ll \frac{\C^2}{\D} \label{muchless}
673: \end{eqnarray}
674: yields
675: \begin{eqnarray}
676: x^2\approx-\frac{\B}{3\C}. \label{z}
677: \end{eqnarray}
678: Next we substitute (\ref{z}) into (\ref{abc}) and solve for $\B$:
679: \begin{equation}
680: \B=3(\A\C^2)^{1/3}. \label{B}
681: \end{equation}
682: Since $\B$ is negative such a solution only exists when $\A$ is negative.
683:
684: Matching the co-efficients between (\ref{genpot}) and (\ref{generic}) gives
685: \begin{eqnarray*}
686: \A&=& J^2-\frac{1}{4} \\
687: \B&=& \frac{1}{16}\left(\mu^2-2\Omega^2(N+2)\right) \\
688: \C&=& -\frac{\mu \Omega^2}{32}\\
689: \D&=& \frac{\Omega^4}{256}
690: \end{eqnarray*}
691: When $\alpha\approx 1$, or equivalently $\mu\approx -\Omega\sqrt{2N}$, we satisfy the requirements $\C,\,\D>0$ and
692: (\ref{muchless}). A bifurcation of the potential only occurs when the atomic imbalance $J$ is zero, as $\A$ must be negative. Using
693: (\ref{B}) we then find $\mu$ satisfies
694: $$3\mu^{2/3}\Omega^{4/3}+\mu^2=2\Omega^2(N+2). $$
695: From this expression we determine the leading quantum correction to the semi-classical result for the threshold coupling
696: for (\ref{hamres}):
697: $$\mu\approx-\Omega (2(N+2))^{1/2}+\frac{3\Omega}{2}(2(N+2))^{-1/6}. $$
698:
699:
700:
701: \subsection{Ground-state expectation values and quantum dynamics}
702:
703: \begin{figure}[ht]
704: \begin{center}
705: \epsfig{file=figures/correlationfunction.eps,scale=0.45} %width=12cm,height=7cm,angle=0}
706: \end{center}
707: \caption{Ground-state expectation values of the (scaled) molecular number operator $N_c$ as a function of the coupling $\mu$, for the Hamiltonian
708: (\ref{hamres}). Results shown correspond to $\Omega=1$ and both zero and non-zero atomic imbalance. The inset shows the first derivative of the expectation values with respect to the coupling $\mu$. While there are quantitative differences there is no significant qualitative change between the case of zero and minimal non-zero atomic imbalance.}
709: \label{expectationvalue}
710: \end{figure}
711:
712: Next we examine the behaviour of the ground state of (\ref{hamres}) as the threshold coupling $\alpha=1$ is crossed. From the semi-classical analysis we have found that the global minimum for $\alpha>1$ and $J=0$ occurs at $z=-1$ in phase space. In the Hilbert space of states this corresponds to $|0;0;N/2 \rangle$. It is then appropriate to compute
713: the gound-state expectation value $\langle N_c\rangle$ for the quantum system as the coupling is varied. Results are shown in Fig. \ref{expectationvalue}. In general agreement with the semi-classical result, it can be seen that the expectation value $\langle N_c\rangle/N$ is close to unity
714: when $-\mu>\Omega\sqrt{2N}$ for the case of zero atomic imbalance. When $-\mu<\Omega\sqrt{2N}$ the expectation value decreases. The figure also shows that when the imbalance $J=1$ the results are qualitatively similar. However from the predictions of both the semi-classical analysis of Sect. \ref{sca} and the the associated one-body Schr\"odinger potential of Sect. \ref{sem} we do not obtain any prediction about the change in the ground-state properties when the imbalance is non-zero. Further increase in the value of $J$ (not shown) does not indicate any dramatic change in the qualitative features of $\left<2 N_c\right>/N$ as a function of $J$. As mentioned previously, because we are studying a finite system changes in the ground-state properties are smooth as $J$ is varied. If we instead look at the quantum dynamics as the threshold coupling is crossed, qualitative differences are more apparent.
715:
716: \begin{figure}[ht]
717: \begin{center}
718: \begin{tabular}{cc}
719: \epsfig{file=figures/Fig7a.eps,width=7cm,height=8cm,angle=0} &
720: \epsfig{file=figures/Fig7b.eps,width=7cm,height=8cm,angle=0} \\
721: %\epsfig{file=figures/Fig7a.eps,scale=0.3,angle=0} &
722: %\epsfig{file=figures/Fig7b.eps,scale=0.3,angle=0} \\
723: (a) & (b) \\
724: \end{tabular}
725: \end{center}
726: \caption{Time evolution of the expectation value of $z$ for the Hamiltonian (\ref{hamres}) with $N=500$. The cases shown are, from top to bottom, $\alpha=0.9,\,0.95,\,1,\,1.05,\,1.1$. (a) $J=0$ and initial state $|0;0;250\rangle$. The oscillations are largely irregular with significantly decreasing amplitude as the point at $\alpha=1$ is crossed. This point corresponds to the boundary at $(\alpha,\lambda)=(1,0)$ between regions $III$ and $IV$ as shown in Fig. \ref{parametro1}.
727: (b) $J=10$ with initial state
728: $|10;0;245\rangle$. The oscillations display collapse and revival behaviour with smoothly decreasing amplitude as the point at $\alpha=1$ is crossed, indicative of the fact there is no boundary at $(\alpha,\lambda)=(1,0)$ in Fig. \ref{curvekdiff}.}
729: \label{quantumdynamics}
730: \end{figure}
731:
732: In general the time evolution of any state is given
733: by $|\Psi(t) \rangle = U(t)|\phi \rangle$,
734: where $U(t)$ is the temporal evolution operator $\displaystyle U(t)=\sum_{j=0}^{m}|j\rangle \langle j|\exp(-i E_{j} t)$,
735: $|j\rangle$ is an eigenstate with energy $E_{j}$ and $|\phi \rangle$ represents
736: the initial state with $N=N_a+N_b+2N_c$.
737: We adopt the method of directly diagonalising the Hamiltonian (\ref{hamres}) as done in \cite{fitonel},
738: and compute the expectation value of $z(t)$ through
739: $$
740: %\begin{equation}
741: \langle z(t)\rangle=\frac{1}{N}\langle \Psi (t)|N_a+N_b-2N_c|\Psi (t)\rangle.
742: %\end{equation}
743: $$
744: For a fixed atomic imbalance $J$ we will use the initial state configuration $|J;0;(N-J)/2 \rangle$. When $J=0$ this state correspond to $z=-1$ in phase space, which is a fixed point when $\alpha>1$. We thus expect that in this case
745: $\langle z(t)\rangle$ will not vary significantly in time (i.e. the system is {\it localised}).
746: On the other hand when $J\neq 0$ the state
747: $|J;0;(N-J)/2 \rangle$ does not correspond to a fixed point.
748: We therefore compare the two cases of the quantum dynamics, with atomic imbalance $J=0$ and $J\neq 0$, as the value $\alpha=1$ is crossed.
749: We fix the parameter $\Omega=1$ and use $\mu$ as the variable coupling parameter.
750:
751:
752: Results of the expectation value for $z$ are shown in Fig. \ref{quantumdynamics} for the cases of zero and non-zero atomic imbalance. The qualitative difference are quite apparent. In the case of zero atomic imbalance ($k=0$), Fig. \ref{quantumdynamics} (a), we find that for $\alpha<1$ there are irregular oscillations in $z$. By comparison the dynamics in Fig. \ref{quantumdynamics} (b) for non-zero imbalance ($k=0.02$) show a collapse and revival of oscillations. As the coupling parameter $\alpha$ is increased across the threshold value at $\alpha=1$, the transition to localised oscillations is much sharper in case (a) compared to case (b). Note in particular the vertical scales in (a) and (b) are not the same.
753: We remark that the nature of the dynamics for $\alpha>1$ {\it does} change smoothly from localisation to delocalisation over the intermediate values $0<k<0.02$ (not shown).
754: Taking the thermodynamic limit $N\rightarrow \infty$ does not aid in the analysis. For the Hamiltonian (\ref{hamres}) the condition for localisation of oscillations for zero atomic imbalance, $\alpha> 1$, is equivalent to $-\mu>\Omega\sqrt{2N}$. Hence for fixed $-\mu>0$ and $\Omega>0$ this condition imposes an upper bound on $N$ for which localisation occurs.
755:
756:
757: \section{Wavefunction overlaps} \label{wo}
758: \begin{figure}[ht]
759: \begin{center}
760: \epsfig{file=figures/iodi.eps,scale=0.25,angle=-90}
761: \end{center}
762: \caption{Ground-state wavefunction overlaps for the Hamiltonian (\ref{hamres}) with $N=1000$ and various values of $\Delta$. The value of the local minimum at $\alpha\approx 1$ is a decreasing function of $\Delta$, asymptotically approaching zero.}
763: \label{gsoverlaps1}
764: \end{figure}
765:
766: In order to gain a better insight into the effect of the threshold couplings for the quantum system, in our final analysis we adopt the method of wavefunction overlaps \cite{zanardi,huanandjp}.
767: If a system admits a quantum phase transition, then two states belonging to different phases of the same system are distinguishable. If states are distinguishable they must be orthogonal~\cite{nc} and consequently the wave function overlaps vanish. For systems which exhibit a quantum phase transition in the thermodynamic limit, the wavefunction overlaps between states in different phases go to zero in this limit. The occurrence of a minimum in the incremental ground-state wavefunction overlap in a finite system is then a precursor for a quantum phase transition in the thermodynamic limit. Thus for finite systems we identify quantum phase {\it pre-transitions} at couplings for which the incremental wavefunction overlap is (locally) minimal.
768:
769: \begin{figure}[ht]
770: \begin{center}
771: \begin{tabular}{ccc}
772: \epsfig{file=figures/molec_BEC_replot_Figure12_b.eps,scale=0.25,angle=-90} &\quad&
773: \epsfig{file=figures/molec_BEC_Fig8_replotted.eps,scale=0.25,angle=-90} \\
774: (a) &\quad & (b) \\
775: \end{tabular}
776: \end{center}
777: \caption{ (a) Ground-state wavefunction overlaps of the Hamiltonian (\ref{hamres}), for $N=500,1000,1500$. The solid lines correspond to cases when the atomic imbalance is zero, while the dashed lines illustrate the behaviour for the fractional imbalance
778: $k=0.02$. Two general properties that can be observed at the pre-transition coupling $\alpha\approx 1$ are (i) the minimum value decreases with increasing $N$; (ii) for fixed $N$, the value of the minimum is lower for $k=0$ compared to $k\neq 0$.
779: (b) Ground-state wavefunction overlaps of the Hamiltonian (\ref{hamres}) for $N=1000$ and different values of $\lambda$.
780: The solid lines correspond to cases when the atomic imbalance is zero, while the dashed lines illustrate the behaviour for the fractional imbalance $k=0.02$. The locations of the minima fit the line of threshold couplings given by $\lambda=(\alpha-1)/2$ as predicted by the semi-classical analysis.}
781: \label{gsoverlaps2}
782: \end{figure}
783:
784: We now formally define
785: a quantum phase pre-transition in terms of ground-state wavefunction overlaps. Let $H(\delta)$ denote a generic Hamiltonian depending on a coupling parameter $\delta$. Assuming the ground state of the system is non-degenerate,
786: let $\left|\Psi(\delta)\right>$ denote the unique normalised ground state. For fixed small $\Delta$ we define the function
787: $W_{\Delta}(\delta) $ by
788: \begin{eqnarray*}
789: W_{\Delta}(\delta) = \left|\left<\Psi(\delta(1-\Delta))|\Psi(\delta(1+\Delta))\right>\right|
790: \end{eqnarray*}
791: which is symmetric in $\Delta$, bounded between 0 and 1, and satisfies $W_0(\delta)=1$.
792: %
793: Generically, $W_{\Delta}(\delta)$ is a decreasing function of $\Delta$. Fig. \ref{gsoverlaps1} shows the behaviour of the wavefunction overlaps for the Hamiltonian (\ref{hamres}) with $N=1000$, and different values of $\Delta$. It is clear that there is a distinct dip in the quantity $W_{\Delta}(\alpha)$ near the threshold coupling $\alpha=1$. The choice for
794: $\Delta$ affects the magnitude of the minimum, which can be made arbitrarily small. In Fig. \ref{gsoverlaps1} when $\Delta=0.05$, representing a coupling change of about
795: $5\%$ on either side of the threshold coupling, the ground states are essentially orthogonal. However the value of $\alpha$ at which the minimum occurs is largely independent of $\Delta$.
796: For a given $\Delta$ we say that there is a quantum phase pre-transition at $\delta_c$ if $W_{\Delta}(\delta)$, treated as a single-variable function of $\delta$, is locally minimal at $\delta_c$.
797:
798: We have computed the wavefunction overlaps for several cases with both zero and non-zero atomic imbalance. Fig. \ref{gsoverlaps2} (a) shows the behaviour of $W_{\Delta}(\alpha)$ with $\lambda=0,\,\Delta=0.01$ and varying $N$ for both $k=0$ and $k=0.02$. It is clear the minimum value of $W_{\Delta}(\alpha)$, which determines the quantum phase pre-transition, is at $\alpha\approx 1$. The distinction between the predicted threshold coupling and the observed pre-transition coupling is that the pre-transition coupling also occurs for $k\neq 0$, although for fixed $N$ the value of the minimum is lower for
799: $k=0$ compared to $k=0.02$. In all instances the value of the mimimum decreases with increasing $N$. Fig. \ref{gsoverlaps2} (b) shows similar results for fixed $N=1000$ and varying $\lambda$. In this latter case we see that the occurences of the mimima, determining the pre-transition couplings, fit well with the predicted boundary of threshold couplings given by $\lambda=(\alpha-1)/2$ (cf. Fig. \ref{parametro1}). However we again observe pre-transitions couplings for $k=0.02$ which were not predicted in Sect. \ref{sca}.
800:
801: In the above cases the minimum of $W_{\Delta}(\alpha)$ is substantially more pronounced for zero imbalance compared to non-zero imbalance. We can see that although quantum phase pre-transitions as defined exist for $k\neq 0$, the distiguishability of the two phases is more reliable in the limit as $k$ goes to zero. In the analyses of Sect. \ref{sca} and Sect. \ref{sem} qualitative differences are only found precisely when $k=0$. We interpret these results as the emergence of quantum phase boundaries at $k=0$.
802:
803:
804: \section{Discussion}
805:
806: We have studied the ground-state phases of a three-mode model describing a heteronuclear molecular Bose--Einstein condensate, through a variety of techniques. Using a semi-classical analysis we were able to determine threshold couplings associated with fixed point bifurcations in phase space. We then derived the exact Bethe ansatz solution for the system and discussed how the spectrum of the Hamiltonian maps into that of an associated one-body Schr\"odinger equation. It was shown that in the particular subcase of no scattering interactions the threshold coupling for the global minimum in phase space for zero atomic imbalance was consistent with the existence of a bifurcation of the potential of the Schr\"odinger equation. For the non-zero imbalance case where the semi-classical results do not predict any threshold coupling, it was found that there was no bifurcation of the Schr\"odinger potential. These results suggested that the ground-state properties of the model are sensitive to whether the atomic imbalance was zero or non-zero. However due to the finite nature of the system, such a transition is not associated with a discontinuity that is defined in the thermodynamic limit.
807: %
808: We then introduced the notion of a quantum phase pre-transition for finite systems, defined in terms of ground-state wavefunction overlaps. Applying this idea to the model under consideration we argued that a quantum phase boundary emerges in the limit as the atomic imbalance goes to zero.
809:
810: For future work it would be useful to investigate the ground-state entanglement properties of the Hamiltonian. Not only would this be of interest in the study of the behaviour of the entanglement at the quantum phase boundary as $k$ approaches zero, but the model is also a simple example of a strictly tripartite system which may offer insights into the role of three-way entanglement in the description of quantum phases.
811:
812: \section*{Acknowledgements}
813:
814: E.C.M. thanks CAPES-Coordena\c{c}\~ao de Aperfei\c{c}oamento de Pessoal de N\'{\i}vel Superior for financial support.
815: A.T. and A.F. thank FAPERGS-Funda\c{c}\~ao de Amparo \`a Pesquisa do Estado do Rio Grande do Sul for financial
816: support. A.F also acknowledges support from PRONEX under contract CNPq 66.2002/1998-99.
817: M.D., J.L. and N.O. are funded by the Australian Research Council through the Discovery Projects DP0557949 and DP0663773.
818:
819:
820: \begin{thebibliography}{99}
821:
822: \bibitem{zoller} J.I. Cirac, M. Lewenstein, K. Molmer, and P. Zoller, Phys. Rev. A {\bf 57}, (1998) 1208.
823: \bibitem{leggett} M. Ueda and A. J. Leggett, Phys. Rev. Lett. {\bf 80}, (1998) 1576.
824: \bibitem{feshbach} S. B. Papp and C. E. Wieman, cond-mat/0607667.
825: \bibitem{photo} B. Damski, L. Santos, E. Tiemann, M. Lewenstein, S. Kotochigova, P. Julienne, and P. Zoller,
826: Phys. Rev. Lett. {\bf 90}, (2003) 110401.
827: \bibitem{donley} E. A. Donley, N. R. Claussen, S. T. Thompson, and C. E.
828: Wieman, Nature {\bf 417}, (2002) 529.
829: \bibitem{stwalley} D. Wang, J. Qi, M. F. Stone, O. Nikolayeva, H. Wang, B. Hattaway, S. D. Gensemer, P. L. Gould, E. E. Eyler, and W. C. Stwalley, Phys. Rev. Lett. {\bf 93}, (2004) 243005.
830: \bibitem{on} T. J. Osborne and M. A. Nielsen, Phys. Rev. A {\bf 66}, (2002) 032110.
831: \bibitem{oaff} A. Osterloh, L. Amico, G. Falci, and R. Fazio, Nature {\bf 416}, (2002) 608.
832: \bibitem{vlrk} G. Vidal, J. I. Latorre, E. Rico, and A. Kitaev, Phys. Rev. Lett. {\bf 90}, (2003) 227902.
833: \bibitem{vbkos} R. Somma, H. Barnum, E. Knill, G. Ortiz, and L. Viola, Int. J. Mod. Phys. B {\bf 20}, (2006) 2760.
834: \bibitem{hamma} A. Hamma, quant-ph/0602091.
835: \bibitem{zanardi} P. Zanardi and N. Paunkovi\'c, Phys. Rev. E {\bf 74}, (2006) 031123.
836: \bibitem{huanandjp} H.-Q. Zhou and J. P. Barjaktarevic, {\it Fidelity and quantum phase transitions}, preprint.
837: \bibitem{iz} F. Iachello and N. V. Zamfir, Phys. Rev. Lett. {\bf 92}, (2004) 212501.
838: \bibitem{dhl} C. Dunning, K. E. Hibberd, and J. Links, {\it On quantum phase crossovers in finite systems},
839: J. Stat. Mech.: Theor. Exp., to appear.
840: \bibitem{adgv} J. M. Arias, J. Dukelsky, J. E. Garc\'{\i}a-Ramos, and J. Vidal, nucl-th/0609001.
841: \bibitem{leviatan} A. Leviatan, nucl-th/0603011.
842: \bibitem{fitonel}G. N. Santos, A. P. Tonel, A. Foerster, and J. Links, Phys. Rev. A {\bf 73}, (2006) 023609.
843: \bibitem{jzrg} J. Links, H.-Q. Zhou, R. H. McKenzie, and M. D. Gould, J. Phys. A: Math. Gen. {\bf 36}, (2003) R63
844: \bibitem{wb} D. F. Walls and R. Barakat, Phys. Rev. A {\bf 1}, (1970) 446.
845: \bibitem{wt} D. F. Walls and C. T. Tindle, J. Phys. A: Math. Gen. {\bf 5}, (1972) 534.
846: \bibitem{quasi} A. G. Ushveridze, {\it Quasi-exactly solvable models in quantum mechanics}
847: (Institute of Physics Publishing, Bristol and Philadelphia, 1994).
848: \bibitem{uz} V. V. Ulyanov and O. B. Zaslavskii, Phys. Rep. {\bf 216} (1992) 179.
849: \bibitem{nc} M. A. Nielsen and I. L. Chuang, {\it Quantum computation and quantum information} (Cambridge University Press, 1999).
850: \end{thebibliography}
851:
852: \vfil\eject
853:
854: %\begin{appendix}
855: %\section{Appendix}
856: %\end{appendix}
857: \end{document}
858: