Difference between revisions of "BEC-BCS Crossover"
imported>Junruli |
imported>Junruli |
||
(44 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | == BCS superfluidity == | + | === BCS superfluidity === |
− | Superfluidity of boson was first discovered in <math>^4 He</math> system at a critical temperature of <math>T_C \sim 2.2K</math>. This was connected to the formation of <math>^4 He</math> condensates. Superfluidity of fermions, the electrons, was first discovered in Mecury at a transition temperature <math>T_C \sim 4.2K</math>, which is known as the `superconductivity' of metals. | + | Superfluidity of boson was first discovered in <math>^4 He</math> system at a critical temperature of <math>T_C \sim 2.2K</math>. This was connected to the formation of <math>^4 He</math> condensates. Superfluidity of fermions, the electrons, was first discovered in Mecury at a transition temperature <math>T_C \sim 4.2K</math>, which is known as the `superconductivity' of metals. |
+ | |||
In the early age, there are two major confusions about the fermionic superfluidity | In the early age, there are two major confusions about the fermionic superfluidity | ||
− | |||
* what is the mechanism for superfluidity of fermions (electrons)? | * what is the mechanism for superfluidity of fermions (electrons)? | ||
**It is intuitive to suggest that two electrons could form tightly bounded pairs (Schafroth pairs) and then form condensates. However, there was no known interaction which is strong enough to overcome the ''Coulomb'' repulsion. | **It is intuitive to suggest that two electrons could form tightly bounded pairs (Schafroth pairs) and then form condensates. However, there was no known interaction which is strong enough to overcome the ''Coulomb'' repulsion. | ||
Line 12: | Line 12: | ||
* The temperature scale is the ''Debye temperature'' because of the involvement of the hosting lattice in the pairing mechanism. This temperature is further modified by the pairing energy and the density of states on the Fermi sea. | * The temperature scale is the ''Debye temperature'' because of the involvement of the hosting lattice in the pairing mechanism. This temperature is further modified by the pairing energy and the density of states on the Fermi sea. | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | === Crossover wave function === | + | === Many-body Hamiltonian with Pairing === |
+ | It turns out that the transition from tightly bound molecules to cooper pairs can be described by the same wavefunction and there is ''no'' phase transition in between. Therefore, it is called Crossover. In this section, we discussed two approaches which describe the crossover physics. | ||
+ | *we start from an Ansatz wavefunction and minimize the free energy | ||
+ | *we start with a mean field theory similar to the weakly interaction boson case. | ||
+ | ==== Crossover wave function ==== | ||
In 3D, two fermions in isolation can form a molecule for strong enough attractive interaction. When the size of the molecule is smaller than the interatomic distance of its constituents in the fermi sea <math>\sim 1/k_F</math>, the molecules act as bosons and the ground state of the system should be a Bose-Einstein condensate of these tightly bound pairs. This is equivalent to say that the binding energy <math>E_B > E_F</math>. | In 3D, two fermions in isolation can form a molecule for strong enough attractive interaction. When the size of the molecule is smaller than the interatomic distance of its constituents in the fermi sea <math>\sim 1/k_F</math>, the molecules act as bosons and the ground state of the system should be a Bose-Einstein condensate of these tightly bound pairs. This is equivalent to say that the binding energy <math>E_B > E_F</math>. | ||
Line 106: | Line 28: | ||
= -\hbar^2/m a^2 | = -\hbar^2/m a^2 | ||
</math> | </math> | ||
− | while small and negative $a<0$ corresponds to weak attraction where Cooper pairs can form in the medium. In either case, for <math>s</math>-wave interactions, the orbital part of the pair wave function <math>\varphi(\vec{r}_1,\vec{r}_2)</math> will be symmetric under exchange | + | while small and negative $a<0$ corresponds to weak attraction where Cooper pairs can form in the medium. In either case, for <math>s</math>-wave interactions, two spins form a singlet and the orbital part of the pair wave function <math>\varphi(\vec{r}_1,\vec{r}_2)</math> will be symmetric under exchange,and in a uniform system, will only depend on their distance <math>\left|\vec{r}_1-\vec{r}_2\right|</math>. We will explore the many-body wave function |
− | |||
:<math> | :<math> | ||
\Psi\left(\vec{r}_1,\dots,\vec{r}_N\right) = \mathcal{A}\left\{\varphi(\left|\vec{r}_1-\vec{r}_2\right|)\chi_{12}\dots \varphi(\left|\vec{r}_{N-1}-\vec{r}_N\right|)\chi_{N-1,N}\right\} | \Psi\left(\vec{r}_1,\dots,\vec{r}_N\right) = \mathcal{A}\left\{\varphi(\left|\vec{r}_1-\vec{r}_2\right|)\chi_{12}\dots \varphi(\left|\vec{r}_{N-1}-\vec{r}_N\right|)\chi_{N-1,N}\right\} | ||
− | <math> | + | </math> |
that describes a condensate of such fermion pairs, with the operator <math>\mathcal{A}</math> denoting the correct antisymmetrization of | that describes a condensate of such fermion pairs, with the operator <math>\mathcal{A}</math> denoting the correct antisymmetrization of | ||
all fermion coordinates, and the spin singlet <math>\chi_{ij} = \frac{1}{\sqrt{2}}(\left|\uparrow\right>_i \left|\downarrow\right>_j - \left|\downarrow\right>_i \left|\uparrow\right>_j)</math>. In the experiment, ``spin up'' and ``spin down'' will correspond to two atomic hyperfine states. | all fermion coordinates, and the spin singlet <math>\chi_{ij} = \frac{1}{\sqrt{2}}(\left|\uparrow\right>_i \left|\downarrow\right>_j - \left|\downarrow\right>_i \left|\uparrow\right>_j)</math>. In the experiment, ``spin up'' and ``spin down'' will correspond to two atomic hyperfine states. | ||
− | In second quantization notation we write | + | In second quantization notation, we write |
− | + | :<math> | |
− | \left|\Psi\right>_N = \int \prod_i d^3 r_i \,\varphi(\ | + | \left|\Psi\right>_N = \int \prod_i d^3 r_i \,\varphi(\vec{r}_1 - \vec{r}_2) \Psi_\uparrow^\dagger(\vec{r}_1) \Psi_\downarrow^\dagger(\vec{r}_2) \dots \varphi(\vec{r}_{N-1} - \vec{r}_N) \Psi_\uparrow^\dagger(\vec{r}_{N-1}) \Psi_\downarrow^\dagger(\vec{r}_N) \left|0\right> |
− | + | </math> | |
− | where the fields | + | where the fields <math>\Psi_\sigma^\dagger(\vec{r}) = \sum_k c_{k\sigma}^\dagger \frac{e^{-i \vec{k} \cdot \vec{r}}}{\sqrt{\Omega}}</math>. With the |
− | c_{k\sigma}^\dagger \frac{e^{-i \ | + | Fourier transform <math>\varphi(\vec{r}_1-\vec{r}_2) = \sum_k \varphi_k \frac{e^{i \vec{k} \cdot (\vec{r}_1- \vec{r}_2)}}{\sqrt{\Omega}}</math> we can introduce the pair creation operator |
− | Fourier transform | + | :<math> |
− | \varphi_k \frac{e^{i \ | ||
− | |||
b^\dagger = \sum_k \varphi_k c_{k\uparrow}^\dagger c_{-k\downarrow}^\dagger | b^\dagger = \sum_k \varphi_k c_{k\uparrow}^\dagger c_{-k\downarrow}^\dagger | ||
− | + | </math> and find | |
− | + | :<math> | |
− | \left|\Psi\right>_N = {b^\dagger}^{N/2} \left|0\right> | + | \left|\Psi\right>_N = {b^\dagger}^{N/2} \left|0\right>\,. |
− | + | </math> | |
− | This expression for | + | This expression for <math>\left|\Psi\right>_N</math> is formally identical to the Gross-Pitaevskii ground state of a condensate of bosonic particles. However, the operators <math>b^\dagger</math> obey bosonic commutation relations only in the limit of tightly bound pairs. For the commutators, we obtain |
− | the Gross-Pitaevskii ground state of a condensate of bosonic particles. However, the | + | :<math> |
− | operators | ||
− | the limit of tightly bound pairs. For the commutators, we obtain | ||
\begin{eqnarray} | \begin{eqnarray} | ||
− | |||
\left[b^\dagger,b^\dagger\right]_- &= \sum_{k k'} \varphi_k \varphi_{k'} \left[ c_{k\uparrow}^\dagger c_{-k\downarrow}^\dagger,c_{k'\uparrow}^\dagger c_{-k'\downarrow}^\dagger \right]_- &= 0 \\ | \left[b^\dagger,b^\dagger\right]_- &= \sum_{k k'} \varphi_k \varphi_{k'} \left[ c_{k\uparrow}^\dagger c_{-k\downarrow}^\dagger,c_{k'\uparrow}^\dagger c_{-k'\downarrow}^\dagger \right]_- &= 0 \\ | ||
\left[b,b\right]_- &= \sum_{k k'} \varphi^*_k \varphi^*_{k'} \left[c_{-k\downarrow} c_{k\uparrow},c_{-k'\downarrow} c_{k'\uparrow}\right]_- &= 0 \nonumber\\ | \left[b,b\right]_- &= \sum_{k k'} \varphi^*_k \varphi^*_{k'} \left[c_{-k\downarrow} c_{k\uparrow},c_{-k'\downarrow} c_{k'\uparrow}\right]_- &= 0 \nonumber\\ | ||
Line 141: | Line 57: | ||
n_{k\uparrow} - n_{k\downarrow}) \nonumber | n_{k\uparrow} - n_{k\downarrow}) \nonumber | ||
\end{eqnarray} | \end{eqnarray} | ||
+ | </math> | ||
+ | The third commutator is equal to one only in the limit where the pairs are tightly bound and occupy a wide region in momentum space. In this case, the occupation numbers <math>n_k</math> of any momentum state <math>k</math> are very small and <math>\left[b,b^\dagger\right]_- \approx \sum_k |\varphi_k|^2 = \int {\rm d}^3 r_1\int {\rm d}^3 r_2 \,|\varphi(\vec{r}_1,\vec{r}_2)|^2 = 1</math>. (or is it better to say when <math>|\varphi_k|</math> spread out to a rigion much wider than <math>|k_F|</math> in the momentum space?) | ||
− | + | It is easier to use the grand canonical formalism, not fixing the number of atoms but the chemical potential <math>\mu</math>. A separate, crucial step is to define a many-body state which is a superposition of states with different atom numbers. In the BEC limit, this is analogous to the use of coherent states (vs. Fock states) in quantum optics. Let <math>N_p = N/2</math> be the number of pairs. Then, | |
− | + | :<math> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | grand canonical formalism, not fixing the number of atoms but the | ||
− | chemical potential | ||
− | a superposition of states with different atom numbers. In the BEC | ||
− | limit, this is analogous to the use of coherent states (vs. Fock | ||
− | states) in quantum optics. Let | ||
\begin{eqnarray} | \begin{eqnarray} | ||
\label{e:coherentstate} | \label{e:coherentstate} | ||
Line 166: | Line 70: | ||
\left|0\right> | \left|0\right> | ||
\end{eqnarray} | \end{eqnarray} | ||
− | The second to last equation follows since the operators $c_{k\uparrow}^\dagger c_{-k\downarrow}^\dagger$ commute for different $k$, and the last equation follows from $c_k^{\dagger 2} = 0$. | + | </math> |
− | + | The second to last equation follows since the operators $c_{k\uparrow}^\dagger c_{-k\downarrow}^\dagger$ commute for different $k$, and the last equation follows from $c_k^{\dagger 2} = 0$. After normalization we have, | |
− | + | :<math> | |
\begin{equation} | \begin{equation} | ||
\left|\Psi_{\rm BCS}\right> = \prod_k (u_k + v_k c_{k\uparrow}^\dagger c_{-k\downarrow}^\dagger) \left|0\right> | \left|\Psi_{\rm BCS}\right> = \prod_k (u_k + v_k c_{k\uparrow}^\dagger c_{-k\downarrow}^\dagger) \left|0\right> | ||
\label{e:BCSstate} | \label{e:BCSstate} | ||
\end{equation} | \end{equation} | ||
− | with | + | </math> |
− | the famous BCS wave function | + | with <math>v_k = \sqrt{N_p}\,\varphi_k u_k</math> and <math>|u_k|^2 + |v_k|^2 = 1</math>. |
− | As a special case, it describes a non-interacting Fermi sea, with all momentum pairs occupied up to the Fermi momentum ( | + | |
− | v_k=1 | + | This is the famous BCS wave function which is the exact solution of the simplified Hamiltonian. It is a product of wave functions referring to the occupation of pairs of single-particle momentum states, <math>(\vec{k},\uparrow,-\vec{k},\downarrow)</math>. |
− | + | ||
− | by the coherent scattering of pairs with zero total momentum. Pairs of momentum states are seen to be in a superposition of being fully empty and fully occupied. | + | As a special case, it describes a non-interacting Fermi sea, with all momentum pairs occupied up to the Fermi momentum (<math>u_k=0,v_k=1</math> for <math>k<k_F</math> and <math>u_k=1, v_k=0</math> for <math>k>k_F</math>). In general, arbitrary <math>v_k, u_k</math> describe a ``molten'' Fermi sea, modified by the coherent scattering of pairs with zero total momentum. Pairs of momentum states are seen to be in a superposition of being fully empty and fully occupied. |
− | + | ||
− | encompasses the entire regime of pairing, from point bosons | + | It is worth noticing that we didn't make any further assumption on the component <math>\varphi_k</math>, therefore this wave function encompasses the entire regime of pairing, from point bosons (small molecules) to weakly and non-interacting fermions. |
− | (small molecules) to weakly and non-interacting fermions. | ||
− | === Gap and number equation === | + | ==== Gap and number equation ==== |
− | The variational parameters | + | The variational parameters <math>u_k, v_k</math> are derived in the standard way by minimizing the free energy <math>E - \mu N = |
− | standard way by minimizing the free energy | + | \left<\hat{H} - \mu \hat{N}\right></math>. The many-body Hamiltonian for the system is |
− | \left<\hat{H} - \mu \hat{N}\right> | + | :<math> |
− | the system is | ||
− | |||
\hat{H} = \sum_{k,\sigma} \epsilon_k c_{k\sigma}^\dagger c_{k\sigma} + \frac{V_0}{\Omega}\sum_{k,k',q} c_{k+\frac{q}{2} \uparrow}^\dagger c_{-k+\frac{q}{2}\downarrow}^\dagger c_{k'+\frac{q}{2}\downarrow} c_{-k'+\frac{q}{2}\uparrow} | \hat{H} = \sum_{k,\sigma} \epsilon_k c_{k\sigma}^\dagger c_{k\sigma} + \frac{V_0}{\Omega}\sum_{k,k',q} c_{k+\frac{q}{2} \uparrow}^\dagger c_{-k+\frac{q}{2}\downarrow}^\dagger c_{k'+\frac{q}{2}\downarrow} c_{-k'+\frac{q}{2}\uparrow} | ||
− | + | </math> | |
− | |||
− | The dominant role in superfluidity is played by fermion pairs with | + | The dominant role in superfluidity is played by fermion pairs with zero total momentum (Cooper pairs with zero momentum have the largest binding energy.) Therefore, we simplify the mathematical description by neglecting interactions between pairs at finite momentum. This is a very drastic simplification, as hereby density fluctuations are eliminated. For neutral superfluids, sound waves (the Bogoliubov-Anderson mode, ) are eliminated by this approximation. |
− | zero total momentum | + | The approximate Hamiltonian (``BCS Hamiltonian``) reads |
− | + | :<math> | |
− | have the largest binding energy. Therefore, we simplify the | ||
− | mathematical description by neglecting interactions between pairs | ||
− | at finite momentum | ||
− | |||
− | This is a very drastic simplification, as hereby density fluctuations are eliminated. | ||
− | The approximate Hamiltonian (``BCS Hamiltonian | ||
− | |||
\hat{H} = \sum_{k,\sigma} \epsilon_k c_{k\sigma}^\dagger c_{k\sigma} + \frac{V_0}{\Omega}\sum_{k,k'} c_{k \uparrow}^\dagger c_{-k\downarrow}^\dagger c_{k'\downarrow} c_{-k'\uparrow} | \hat{H} = \sum_{k,\sigma} \epsilon_k c_{k\sigma}^\dagger c_{k\sigma} + \frac{V_0}{\Omega}\sum_{k,k'} c_{k \uparrow}^\dagger c_{-k\downarrow}^\dagger c_{k'\downarrow} c_{-k'\uparrow} | ||
− | + | </math> | |
− | + | Minimizing <math>E-\mu N</math> leads to | |
− | + | :<math> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | Minimizing | ||
\begin{eqnarray} | \begin{eqnarray} | ||
v_k^2 &=& \frac{1}{2}\left(1 - \frac{\xi_k}{E_k}\right) \nonumber \\ | v_k^2 &=& \frac{1}{2}\left(1 - \frac{\xi_k}{E_k}\right) \nonumber \\ | ||
u_k^2 &=& \frac{1}{2}\left(1 + \frac{\xi_k}{E_k}\right) \nonumber \\ | u_k^2 &=& \frac{1}{2}\left(1 + \frac{\xi_k}{E_k}\right) \nonumber \\ | ||
\mbox{with }\;E_k &=& \sqrt{\xi_k^2 + \Delta^2} | \mbox{with }\;E_k &=& \sqrt{\xi_k^2 + \Delta^2} | ||
− | |||
\end{eqnarray} | \end{eqnarray} | ||
− | where | + | </math> |
− | \frac{V_0}{\Omega} \sum_k \left<c_{k\uparrow} | + | where <math>\Delta</math> is given by the "gap equation" |
+ | :<math> | ||
+ | \Delta \equiv \frac{V_0}{\Omega} \sum_k \left<c_{k\uparrow} | ||
c_{-k\downarrow}\right> = - \frac{V_0}{\Omega} \sum_k u_k v_k = - | c_{-k\downarrow}\right> = - \frac{V_0}{\Omega} \sum_k u_k v_k = - | ||
− | \frac{V_0}{\Omega} \sum_k \frac{\Delta}{2 E_k} | + | \frac{V_0}{\Omega} \sum_k \frac{\Delta}{2 E_k} |
− | + | </math> or | |
+ | :<math> | ||
-\frac{1}{V_0} = \int \frac{d^3 k}{\left(2\pi\right)^3} \;\frac{1}{2E_{k}} | -\frac{1}{V_0} = \int \frac{d^3 k}{\left(2\pi\right)^3} \;\frac{1}{2E_{k}} | ||
− | + | </math> | |
− | Note the similarity to the bound state equation in free space | + | Note the similarity to the bound state equation in free space and in the simplified Cooperproblem, Eq.~\ref{e:Cooper}. An additional constraint is given by the "number equation" for the total particle density <math>n = N / \Omega</math> |
− | + | :<math> | |
− | |||
− | total particle density | ||
− | |||
n = 2 \int \frac{d^3 k}{\left(2\pi\right)^3} \; v_k^2 | n = 2 \int \frac{d^3 k}{\left(2\pi\right)^3} \; v_k^2 | ||
− | + | </math> | |
− | Gap and number equations have to be solved simultaneously to yield the two unknowns | + | Gap and number equations have to be solved simultaneously to yield the two unknowns <math>\mu, \Delta</math>. |
− | + | With <math>V_0</math> replaced by scattering length, and using <math>E_F, k_F</math> as the relevant scales, the gap and number equation give | |
− | scattering length | + | :<math> |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
\begin{eqnarray} | \begin{eqnarray} | ||
-\frac{1}{k_F a} &=& \frac{2}{\pi} \left(\frac{2}{3 I_2\left(\frac{\mu}{\Delta}\right)}\right)^{1/3} I_1\left(\frac{\mu}{\Delta}\right)\\ | -\frac{1}{k_F a} &=& \frac{2}{\pi} \left(\frac{2}{3 I_2\left(\frac{\mu}{\Delta}\right)}\right)^{1/3} I_1\left(\frac{\mu}{\Delta}\right)\\ | ||
\frac{\Delta}{E_F} &=& \left(\frac{2}{3 I_2\left(\frac{\mu}{\Delta}\right)}\right)^{2/3} | \frac{\Delta}{E_F} &=& \left(\frac{2}{3 I_2\left(\frac{\mu}{\Delta}\right)}\right)^{2/3} | ||
\end{eqnarray} | \end{eqnarray} | ||
− | + | </math> | |
− | + | The result for <math>\mu</math> and <math>\Delta</math> as a function of <math>1/k_F a</math> is shown in Fig.~\ref{f:Deltamu}. It is possible to obtain analytic expressions for the solutions in terms of complete elliptic integrals | |
− | |||
− | The result for | ||
− | shown in Fig.~\ref{f:Deltamu}. It is possible to obtain analytic | ||
− | expressions for the solutions in terms of complete elliptic | ||
− | integrals | ||
− | + | ==== Mean field theory and Bogoliubov transformation ==== | |
− | + | In this derivation, we have combined the simplified Hamiltonian with the BCS variational Ansatz. Alternatively one can | |
− | + | apply a decoupling (mean field) approximation to the Hamiltonian similar to the mean-field theory for weakly interacting bosons. Expecting that there will be some form of pair condensate, we assume that the pair creation and annihilation operator only weakly fluctuates around its non-zero expectation value | |
− | + | :<math> | |
− | |||
− | |||
− | In this derivation, we have combined the simplified Hamiltonian | ||
− | |||
− | apply a decoupling (mean field) approximation to the Hamiltonian | ||
− | some form of pair condensate, we assume that the pair creation and | ||
− | annihilation operator only weakly fluctuates around its non-zero expectation value | ||
\begin{eqnarray} | \begin{eqnarray} | ||
C_k= \left<c_{k\uparrow} c_{-k\downarrow}\right>= -\left< c_{k\uparrow}^\dagger | C_k= \left<c_{k\uparrow} c_{-k\downarrow}\right>= -\left< c_{k\uparrow}^\dagger | ||
c_{-k\downarrow}^\dagger\right> | c_{-k\downarrow}^\dagger\right> | ||
\end{eqnarray} | \end{eqnarray} | ||
− | chosen to be real (since the relative phase of states which differ | + | </math> |
− | in particle number by two can be arbitrarily chosen). | + | chosen to be real (since the relative phase of states which differ in particle number by two can be arbitrarily chosen). |
That is, we write | That is, we write | ||
+ | :<math> | ||
\begin{equation} | \begin{equation} | ||
c_{k\uparrow} c_{-k\downarrow} = C_k + (c_{k\uparrow} c_{-k\downarrow} - C_k) | c_{k\uparrow} c_{-k\downarrow} = C_k + (c_{k\uparrow} c_{-k\downarrow} - C_k) | ||
\end{equation} | \end{equation} | ||
− | with the operator in parentheses giving rise to fluctuations that are small on the scale of | + | </math> |
− | The gap parameter | + | with the operator in parentheses giving rise to fluctuations that are small on the scale of <math>C_k</math>. |
− | + | The gap parameter <math>\Delta</math> is now defined as | |
+ | :<math> | ||
\Delta=\frac{V_0}{\Omega} \sum_{k} C_k | \Delta=\frac{V_0}{\Omega} \sum_{k} C_k | ||
− | + | </math> | |
We only include terms in the interaction part of the Hamiltonian which | We only include terms in the interaction part of the Hamiltonian which | ||
involve the $C_k$'s at least once. That is, we neglect the | involve the $C_k$'s at least once. That is, we neglect the | ||
correlation of fluctuations of the pair creation and annihilation | correlation of fluctuations of the pair creation and annihilation | ||
operators. One obtains | operators. One obtains | ||
+ | :<math> | ||
\begin{equation} | \begin{equation} | ||
\hat{H} = \sum_{k} \epsilon_k (c_{k\uparrow}^\dagger c_{k\uparrow}+ c_{k\downarrow}^\dagger c_{k\downarrow}) -\Delta \sum_k\left( c_{k \uparrow}^\dagger c_{-k\downarrow}^\dagger + c_{k \downarrow} | \hat{H} = \sum_{k} \epsilon_k (c_{k\uparrow}^\dagger c_{k\uparrow}+ c_{k\downarrow}^\dagger c_{k\downarrow}) -\Delta \sum_k\left( c_{k \uparrow}^\dagger c_{-k\downarrow}^\dagger + c_{k \downarrow} | ||
c_{-k\uparrow} + \sum_{k'} C_{k'}\right) | c_{-k\uparrow} + \sum_{k'} C_{k'}\right) | ||
\end{equation} | \end{equation} | ||
+ | </math> | ||
− | This Hamiltonian is bilinear in the creation and annihilation | + | This Hamiltonian is bilinear in the creation and annihilation operators and can easily be solved by a Bogoliubov transformation to new quasi-particle operators |
− | operators and can easily be solved by a Bogoliubov transformation | + | <math>\gamma_{k\downarrow}</math>: |
− | + | :<math> | |
− | quasi-particle operators | ||
− | |||
\begin{eqnarray} | \begin{eqnarray} | ||
\gamma_{k\uparrow} &=& u_k c_{k\uparrow} - v_k c_{-k\downarrow}^\dagger \\ | \gamma_{k\uparrow} &=& u_k c_{k\uparrow} - v_k c_{-k\downarrow}^\dagger \\ | ||
\gamma_{-k\downarrow}^\dagger &=& u_k c_{-k\downarrow}^\dagger + v_k c_{k\uparrow} \nonumber | \gamma_{-k\downarrow}^\dagger &=& u_k c_{-k\downarrow}^\dagger + v_k c_{k\uparrow} \nonumber | ||
− | |||
\end{eqnarray} | \end{eqnarray} | ||
− | The | + | </math> |
− | new operators fulfill fermionic commutation relations and that the | + | The <math>u_k</math> and <math>v_k</math> are determined from the requirements that the new operators fulfill fermionic commutation relations and that the transformed Hamiltonian is diagonal with respect to the quasiparticle operators. This solution is identical to the one obtained before for the <math>u_k</math> and <math>v_k</math>, and the transformed Hamiltonian becomes |
− | transformed Hamiltonian is diagonal with respect to the | + | :<math> |
− | quasiparticle operators. | ||
− | obtained before for the | ||
− | Hamiltonian becomes | ||
\begin{equation} | \begin{equation} | ||
\hat{H} - \mu \hat{N} = - \frac{\Delta^2}{V_0/\Omega} + \sum_k (\xi_k - E_k) + \sum_k E_k | \hat{H} - \mu \hat{N} = - \frac{\Delta^2}{V_0/\Omega} + \sum_k (\xi_k - E_k) + \sum_k E_k | ||
(\gamma_{k\uparrow}^\dagger \gamma_{k\uparrow} + | (\gamma_{k\uparrow}^\dagger \gamma_{k\uparrow} + | ||
\gamma_{k\downarrow}^\dagger \gamma_{k\downarrow}) | \gamma_{k\downarrow}^\dagger \gamma_{k\downarrow}) | ||
− | |||
\end{equation} | \end{equation} | ||
− | The first two terms give the free | + | </math> |
− | energy | + | The first two terms give the free energy of the pair condensate when the correct <math>u_k</math> and <math>v_k</math> are inserted. The third term represents the energy of excited quasi-particles, and we identify <math>E_k</math> as excitation energy of a quasi-particle. The superfluid ground state is the quasi-particle vacuum. |
− | energy of excited quasi-particles, and we identify | ||
− | excitation energy of a quasi-particle. The superfluid ground | ||
− | state is the quasi-particle vacuum | ||
− | |||
− | This approach via the pairing field is analogous to the Bogoliubov | + | This approach via the pairing field is analogous to the Bogoliubov treatment of an interacting Bose-Einstein condensate: There, the creation and annihilation operators for atoms with zero momentum are replaced by <math>\sqrt{N_0}</math>, the square root of the number of condensed atoms (i.e.~a coherent field). In the interaction term of the Hamiltonian, the Hamiltonian is solved by keeping only certain pair interactions, either by using a variational pairing wave function, or by introducing a mean pairing field. It should be noted that these approximations are not even necessary, as the BCS wave function can be shown to be the {\it exact} solution to the |
− | treatment of an interacting Bose-Einstein condensate: There, the | + | reduced Hamiltonian. |
− | creation and annihilation operators for atoms with zero momentum | ||
− | are replaced by | ||
− | condensed atoms (i.e.~a coherent field). In the interaction term | ||
− | of the Hamiltonian | ||
− | |||
− | |||
− | interactions, either by using a variational pairing wave function, | ||
− | or by introducing a mean pairing field. It should be noted that | ||
− | these approximations are not even necessary, as the BCS | ||
− | wave function can be shown to be the {\it exact} solution to the | ||
− | reduced Hamiltonian | ||
− | == Discussion of the three regimes -- BCS, BEC and crossover == | + | === Discussion of the three regimes -- BCS, BEC and crossover === |
− | === BCS limit === | + | ==== BCS limit ==== |
− | + | In the BCS-limit of weak attractive interaction, <math>k_F a \rightarrow 0_-</math>, we have | |
− | In the BCS-limit of weak attractive interaction, | + | :<math> |
− | \rightarrow 0_- | ||
− | |||
− | |||
− | |||
− | |||
\begin{eqnarray} | \begin{eqnarray} | ||
\mu &\approx& E_F \\ | \mu &\approx& E_F \\ | ||
\Delta &\approx& \frac{8}{e^2} e^{-\pi/2k_F\left|a\right|} | \Delta &\approx& \frac{8}{e^2} e^{-\pi/2k_F\left|a\right|} | ||
− | |||
\end{eqnarray} | \end{eqnarray} | ||
+ | </math> | ||
+ | *The first equation tells us that adding a spin up and spin down particle to the system costs a Fermi energy per particle (with the implicit assumption that both a spin up and a spin down particle are added, raising the total energy by <math>2 \mu</math>). In the weakly interacting BCS limit Pauli blocking still dominates over interactions, and hence the particles can only be added at the Fermi surface. | ||
+ | *The second equation is the classic result of BCS theory for the superfluid gap. Compared to the bound state energy for a single Cooper pair on top of a non-interacting Fermi sea, the gap is larger (the negative exponent is smaller by a factor of two), as the entire collection of particles now takes part in the pairing. However, the gap is still exponentially small compared to the Fermi energy: Cooper pairing is fragile. | ||
− | + | The ground state energy of the BCS state can be calculated from mean-field and is | |
− | + | :<math> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | The ground state energy of the BCS state can be calculated from | ||
\begin{equation} | \begin{equation} | ||
E_{\rm G,\, BCS} = \frac{3}{5} N E_F - \frac{1}{2}\,\rho(E_F)\, \Delta^2 | E_{\rm G,\, BCS} = \frac{3}{5} N E_F - \frac{1}{2}\,\rho(E_F)\, \Delta^2 | ||
\end{equation} | \end{equation} | ||
+ | </math> | ||
+ | The first term is the energy of the non-interacting normal state. The second term is the energy due to condensation, negative as it should be, indicating that the BCS state is energetically favorable compared to the normal state. Though the kinetic energy of the system increases (populating states above the fermi sea), the total energy drops due to the attractive interaction. | ||
− | The | + | The second term can be interpreted in two ways. One way refers to the number of pairs $N/2$ times the energy per pair <math>- \frac{3}{4} \Delta^2/E_F</math>. The other interpretation refers to pairing on the surface only but with a pairing energy <math>\Delta</math>. The number of pairs is the number of states within <math>E_F\pm\Delta</math> which is <math>\sim \rho(E_F) \, \Delta\sim N \Delta/E_F</math>. The second interpretation justifies the picture of a Cooper pair condensate. In the solution of the Cooper problem, the pair wave function has a peak occupation per momentum state of <math>\sim 1/ \rho(E_F) \Delta</math>. Therefore, one can stack up <math>\sim \rho(E_F) \Delta</math> pairs with zero total momentum and construct a Bose-Einstein condensate of Cooper pairs. However, the Cooper pairs are not bosons, as shown by commutator. However, if there were only a few Cooper pairs, much less than <math>\rho(E_F) \Delta</math>, the occupation of momentum states <math>n_k</math> would still be very small compared to 1 and these pairs would be to a good approximation bosons. |
− | |||
− | |||
− | |||
− | |||
− | + | It depends on the experiment whether it reveals a pairing energy of <math>\frac{1}{2} \Delta^2/E_F</math> or of <math>\Delta</math>. In RF spectroscopy, all momentum states can be excited, and the spectrum shows the previous one. Tunnelling experiments in superconductors probe the region close to the Fermi surface, and show a pairing gap of <math>\Delta</math>. | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | To give a sense of scale, Fermi energies in dilute atomic gases are on the order of a <math>\mu\rm K</math>, corresponding to <math>1/k_F \sim 4\,000\, a_0</math>. In the absence of scattering resonances, a typical scattering length would be about <math>50-100\; a_0</math> (on the order of the van der Waals-range). Therefore, the realization of superfluidity in Fermi gases requires scattering or Feshbach resonances to increase the scattering length, bringing the gas into the strongly interacting regime where <math>k_F \left|a\right| > 1</math>. In this case, the above mean field theory predicts <math>\Delta > 0.22 \;E_F</math> and this is the regime where current experiments are operating. | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | of | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | ==== BEC limit ==== | |
− | + | In the BEC limit of tightly bound pairs, for <math>k_F a \rightarrow 0_+</math>, one finds | |
− | + | :<math> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | === BEC limit === | ||
− | |||
− | |||
− | In the BEC limit of tightly bound pairs, for | ||
− | 0_+ | ||
− | |||
− | |||
− | |||
− | |||
\begin{eqnarray} | \begin{eqnarray} | ||
− | + | \mu &=& -\frac{\hbar^2}{2 m a^2} + \frac{\pi \hbar^2 a n}{m}\\ | |
− | \mu = -\frac{\hbar^2}{2 m a^2} + \frac{\pi \hbar^2 a n}{m}\\ | + | \Delta &\approx& \sqrt{\frac{16}{3\pi}} \frac{E_F}{\sqrt{k_F a}} |
− | \Delta \approx \sqrt{\frac{16}{3\pi}} \frac{E_F}{\sqrt{k_F a} | ||
− | |||
\end{eqnarray} | \end{eqnarray} | ||
+ | </math> | ||
+ | *The first term for the chemical potential is the binding energy per fermion in a tightly bound molecule. This reflects again the implicit assumption (made by using the wave function in that we always add two fermions of opposite spin at the same time to the system. | ||
+ | *The second term for <math>\mu</math> is a mean field contribution describing the repulsive interaction ''between'' molecules in the gas, indicating a scattering length of <math>2a</math>. Exact calculation for the interaction between four fermions shows <math>a_M = 0.6\, a</math>. | ||
− | + | Here <math>\Delta</math> signifies neither the binding energy of molecules nor does it correspond to a gap in the excitation spectrum. Indeed, in the BEC-regime, as soon as $\mu <0$, there is no longer a gap at non-zero <math>k</math> in the single-fermion excitation spectrum . Instead, we have for the quasi-particle energies <math>E_k = \sqrt{(\epsilon_k - \mu)^2 + \Delta^2} \approx |\mu| + \epsilon_k + \frac{\Delta^2}{2|\mu|}</math>. So only the combination <math>\Delta^2/|\mu|</math> is important. | |
− | + | :<math> | |
− | + | \frac{\Delta^2}{2|\mu|} = \frac{8}{3\pi} \frac{E_F^2}{k_F a} \frac{2 m a^2}{\hbar^2} = \frac{4}{3\pi}\frac{\hbar^2}{m} k_F^3 a = \frac{4\pi\hbar^2}{m} n\; a | |
− | + | </math> | |
− | + | which is two times the molecular mean field. In fact, it can be interpreted here as the mean field energy experienced by a single fermion in a gas of molecules. | |
− | + | It might surprise that the simplified Hamiltonian contains interactions between two molecules or between a molecule and a single fermion at all. In fact, a crucial part of the simplification has been to explicitly neglect such three- and four-body interactions. This effective repulsion is due to Pauli blocking where a molecule or a fermion cannot enter the region already taken by another molecule. | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | which is two times the molecular mean field. In fact, | ||
− | |||
We see that the only way interactions between pairs, or between a pair and a single fermion, enter in the simplified description of the BEC-BCS crossover is via the anti-symmetry of the many-body wave function. | We see that the only way interactions between pairs, or between a pair and a single fermion, enter in the simplified description of the BEC-BCS crossover is via the anti-symmetry of the many-body wave function. | ||
− | === Evolution from BCS to BEC === | + | ==== Evolution from BCS to BEC ==== |
− | + | Our variational approach smoothly interpolates between the two known regimes of a BCS-type superfluid and a BEC of molecules. It is a crossover, which occurs approximately between <math>1/k_F a = -1</math> and +1 and is fully continuous. The occupation of momentum states <math>n_k = v_k^2</math> evolves smoothly from the step-function of a degenerate Fermi gas, broadened over a width <math>\Delta \ll E_F</math> due to pairing, to that of <math>N_p</math> molecules, namely the number of molecules <math>N_p</math> times the probability <math>|\varphi_k|^2</math> to find a molecule with momentum <math>k</math>. | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | It is also interesting to follow the evolution of the ``Cooper pair'' wave function, which would be <math>v_k/u_k\sqrt{N_p}</math>. The definition given here is the two-point correlation function. Both definitions for the Cooper pair wave function show a sharp feature, either a peak or an edge at the Fermi surface, of width <math>\sim \delta k</math>, thus giving similar behavior for the real space wave function. both in <math>k</math>-space, where it is given by | |
− | + | <math>\left<\Psi_{BCS}\right|c^\dagger_{k\uparrow} c^\dagger_{-k\downarrow}\left|\Psi_{BCS}\right> = u_k v_k</math>, and in real space, where it is | |
− | + | :<math> | |
− | |||
− | |||
− | |||
− | evolution of the ``Cooper pair'' wave function | ||
− | |||
− | |||
− | |||
− | definition given here is the two-point correlation function. Both | ||
− | definitions for the Cooper pair wave function show a sharp feature, | ||
− | either a peak or an edge at the Fermi surface, of width | ||
− | \delta k | ||
− | wave function. | ||
− | |||
− | c^\dagger_{-k\downarrow}\left|\Psi_{BCS}\right> = u_k v_k | ||
− | real space, where it is | ||
\begin{eqnarray} | \begin{eqnarray} | ||
− | \psi(\ | + | \psi(\vec{r}_1,\vec{r}_2) &=& |
− | \left<\Psi_{BCS}\right|\Psi_{\uparrow}^\dagger(\ | + | \left<\Psi_{BCS}\right|\Psi_{\uparrow}^\dagger(\vec{r}_1)\Psi_{\downarrow}^\dagger(\vec{r}_2)\left|\Psi_{BCS}\right> |
− | = \frac{1}{\Omega}\sum_k u_k v_k e^{-i \ | + | = \frac{1}{\Omega}\sum_k u_k v_k e^{-i \vec{k} \cdot (\vec{r}_1-\vec{r}_2)} \nonumber \\ |
− | &=&\frac{1}{\Omega}\sum_k \frac{\Delta}{2E_k}\, e^{-i \ | + | &=&\frac{1}{\Omega}\sum_k \frac{\Delta}{2E_k}\, e^{-i \vec{k} \cdot |
− | (\ | + | (\vec{r}_1-\vec{r}_2)} \label{e:cooperpairwavefunction} |
\end{eqnarray} | \end{eqnarray} | ||
− | + | </math> | |
− | + | In the BCS limit, the pairing occurs near the Fermi surface <math>k= k_F</math>. Therefore, the spatial wave function of Cooper pairs has a strong modulation at the inverse wave vector <math>1/k_F</math>, and an overall extent of the inverse width of the pairing region, <math>\sim1/\delta k \sim \frac{\hbar v_F}{\Delta} \gg 1/k_F</math>. The characteristic size of the Cooper pair, or the ''two-particle correlation length'' <math>\xi_0</math>, can be | |
− | + | defined as <math>\xi_0^2=\frac{\left<\psi(\vec{r})\right|r^2\left|\psi(\vec{r})\right>}{\left<\psi(\vec{r})|\psi(\vec{r})\right>}</math>, | |
− | + | and this gives indeed <math>\xi_0 \sim 1/\delta k</math>, | |
− | + | :<math> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | In the BCS limit, the pairing occurs near the Fermi surface | ||
− | k_F | ||
− | |||
− | |||
− | |||
− | a strong modulation at the inverse wave vector | ||
− | overall extent of the inverse width of the pairing region, | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | pair, or the | ||
− | defined as | ||
− | =\frac{\left<\psi(\ | ||
− | and this gives indeed | ||
− | |||
\xi_0 \approx \xi_{BCS} \equiv \frac{\hbar v_F}{\pi \Delta} \gg 1/k_F \quad \mbox{in the BCS-limit} | \xi_0 \approx \xi_{BCS} \equiv \frac{\hbar v_F}{\pi \Delta} \gg 1/k_F \quad \mbox{in the BCS-limit} | ||
− | + | </math> | |
− | In the BEC limit, | + | In the BEC limit, <math>u_k v_k \propto \frac{1}{1+(k a)^2}</math>, and so |
− | so | + | :<math> |
− | + | \psi(\vec{r}_1,\vec{r}_2) \sim \frac{e^{- \left|\vec{r}_1 - \vec{r}_2\right|/a}}{\left|\vec{r}_1 - \vec{r}_2\right|} | |
− | \psi(\ | + | </math> |
− | + | which is simply the wave function of a molecule of size <math>\sim a</math>. The two-particle correlation length <math>\xi_{phase}</math> that is associated with spatial fluctuations of the order parameter. The two length scales coincide in the BCS-limit, but differ in the BEC-limit, where <math>\xi_{phase}</math> is given by the healing length <math>\propto\frac{1}{\sqrt{n a}}</math>, is thus <math>\xi_0 \sim a</math>. | |
− | which is simply the wave function of a molecule of size | ||
− | |||
− | length | ||
− | |||
− | spatial fluctuations of the order parameter. The two length scales | ||
− | coincide in the BCS-limit, but differ in the BEC-limit, where | ||
− | |||
− | \frac{1}{\sqrt{n a}} | ||
− | |||
Figs.~\ref{f:pairwavefunction} and~\ref{f:pairsize} summarize the | Figs.~\ref{f:pairwavefunction} and~\ref{f:pairsize} summarize the | ||
evolution of the pair wave function and pair size throughout the | evolution of the pair wave function and pair size throughout the | ||
crossover. | crossover. | ||
Back to: [[Quantum gases]] | Back to: [[Quantum gases]] |
Latest revision as of 18:47, 19 May 2017
Contents
BCS superfluidity
Superfluidity of boson was first discovered in system at a critical temperature of . This was connected to the formation of condensates. Superfluidity of fermions, the electrons, was first discovered in Mecury at a transition temperature , which is known as the `superconductivity' of metals.
In the early age, there are two major confusions about the fermionic superfluidity
- what is the mechanism for superfluidity of fermions (electrons)?
- It is intuitive to suggest that two electrons could form tightly bounded pairs (Schafroth pairs) and then form condensates. However, there was no known interaction which is strong enough to overcome the Coulomb repulsion.
- why does it happen at such low temperature compared with (typically in metal)?
- For bosonic case in , we can estimate the transition temperature (assuming phase space density 1 and typical Helium density) to be which is consistent with the experimental findings. However, the fermi temperature in a fermionic system in Mercury is much higher (10^4) than the observed superfluidity transition temperature.
The two puzzles remain unresolved until 1956 when Bardeen, Cooper and Schrieffer proposed the BCS theory. In short:
- It is correct to think of fermion (electron) pairs. However, instead of the tightly bound pairs, the pair here is the loosely bound BCS pair of electrons formed due to the effective attractive interaction mediated by the hosting lattice.
- The temperature scale is the Debye temperature because of the involvement of the hosting lattice in the pairing mechanism. This temperature is further modified by the pairing energy and the density of states on the Fermi sea.
Many-body Hamiltonian with Pairing
It turns out that the transition from tightly bound molecules to cooper pairs can be described by the same wavefunction and there is no phase transition in between. Therefore, it is called Crossover. In this section, we discussed two approaches which describe the crossover physics.
- we start from an Ansatz wavefunction and minimize the free energy
- we start with a mean field theory similar to the weakly interaction boson case.
Crossover wave function
In 3D, two fermions in isolation can form a molecule for strong enough attractive interaction. When the size of the molecule is smaller than the interatomic distance of its constituents in the fermi sea , the molecules act as bosons and the ground state of the system should be a Bose-Einstein condensate of these tightly bound pairs. This is equivalent to say that the binding energy .
For too weak an attraction there is no bound state for two isolated fermions, but Cooper pairs can form in the medium as discussed above. The ground state of the system turns out to be a condensate of Cooper pairs as described by BCS theory. In contrast to the physics of molecular condensates, however, and therefore Pauli pressure plays a major role.
The crossover from the BCS- to the BEC-regime is smooth. This is somewhat surprising since the two-body physics shows a threshold behavior at a critical interaction strength, below which there is no bound state for two particles. In the presence of the Fermi sea, however, we simply cross over from a regime of tightly bound molecules to a regime where the pairs are of much larger size than the interparticle spacing.
Rather than the interaction strength, we take the scattering length as the parameter that ``tunes the interaction. For positive $a>0$, there is a two-body bound state available at
while small and negative $a<0$ corresponds to weak attraction where Cooper pairs can form in the medium. In either case, for -wave interactions, two spins form a singlet and the orbital part of the pair wave function will be symmetric under exchange,and in a uniform system, will only depend on their distance . We will explore the many-body wave function
that describes a condensate of such fermion pairs, with the operator denoting the correct antisymmetrization of all fermion coordinates, and the spin singlet Failed to parse (syntax error): {\displaystyle \chi_{ij} = \frac{1}{\sqrt{2}}(\left|\uparrow\right>_i \left|\downarrow\right>_j - \left|\downarrow\right>_i \left|\uparrow\right>_j)} . In the experiment, ``spin up and ``spin down will correspond to two atomic hyperfine states.
In second quantization notation, we write
- Failed to parse (syntax error): {\displaystyle \left|\Psi\right>_N = \int \prod_i d^3 r_i \,\varphi(\vec{r}_1 - \vec{r}_2) \Psi_\uparrow^\dagger(\vec{r}_1) \Psi_\downarrow^\dagger(\vec{r}_2) \dots \varphi(\vec{r}_{N-1} - \vec{r}_N) \Psi_\uparrow^\dagger(\vec{r}_{N-1}) \Psi_\downarrow^\dagger(\vec{r}_N) \left|0\right> }
where the fields . With the Fourier transform we can introduce the pair creation operator
- and find
- Failed to parse (syntax error): {\displaystyle \left|\Psi\right>_N = {b^\dagger}^{N/2} \left|0\right>\,. }
This expression for Failed to parse (syntax error): {\displaystyle \left|\Psi\right>_N} is formally identical to the Gross-Pitaevskii ground state of a condensate of bosonic particles. However, the operators obey bosonic commutation relations only in the limit of tightly bound pairs. For the commutators, we obtain
- Failed to parse (unknown function "\begin{eqnarray}"): {\displaystyle \begin{eqnarray} \left[b^\dagger,b^\dagger\right]_- &= \sum_{k k'} \varphi_k \varphi_{k'} \left[ c_{k\uparrow}^\dagger c_{-k\downarrow}^\dagger,c_{k'\uparrow}^\dagger c_{-k'\downarrow}^\dagger \right]_- &= 0 \\ \left[b,b\right]_- &= \sum_{k k'} \varphi^*_k \varphi^*_{k'} \left[c_{-k\downarrow} c_{k\uparrow},c_{-k'\downarrow} c_{k'\uparrow}\right]_- &= 0 \nonumber\\ \left[b,b^\dagger\right]_- &= \sum_{k k'} \varphi^*_k \varphi_{k'} \left[c_{-k\downarrow} c_{k\uparrow},c_{k'\uparrow}^\dagger c_{-k'\downarrow}^\dagger \right]_- &= \sum_k |\varphi_k|^2 (1 - n_{k\uparrow} - n_{k\downarrow}) \nonumber \end{eqnarray} }
The third commutator is equal to one only in the limit where the pairs are tightly bound and occupy a wide region in momentum space. In this case, the occupation numbers of any momentum state are very small and . (or is it better to say when spread out to a rigion much wider than in the momentum space?)
It is easier to use the grand canonical formalism, not fixing the number of atoms but the chemical potential . A separate, crucial step is to define a many-body state which is a superposition of states with different atom numbers. In the BEC limit, this is analogous to the use of coherent states (vs. Fock states) in quantum optics. Let be the number of pairs. Then,
- Failed to parse (unknown function "\begin{eqnarray}"): {\displaystyle \begin{eqnarray} \label{e:coherentstate} \mathcal{N}\left|\Psi\right> &= \sum_{J_{\rm even}} \frac{N_p^{J/4}}{(J/2)!} \left|\Psi\right>_J &= \sum_M \frac{1}{M!} {N_p^{M/2}\; b^\dagger}^M \left|0\right> = e^{\sqrt{N_p} \;b^\dagger} \left|0\right>\nonumber \\ &= \prod_k e^{\sqrt{N_p}\; \varphi_k c_{k\uparrow}^\dagger c_{-k\downarrow}^\dagger} \left|0\right> &= \prod_k (1 + \sqrt{N_p}\; \varphi_k\, c_{k\uparrow}^\dagger c_{-k\downarrow}^\dagger) \left|0\right> \end{eqnarray} }
The second to last equation follows since the operators $c_{k\uparrow}^\dagger c_{-k\downarrow}^\dagger$ commute for different $k$, and the last equation follows from $c_k^{\dagger 2} = 0$. After normalization we have,
- Failed to parse (unknown function "\begin{equation}"): {\displaystyle \begin{equation} \left|\Psi_{\rm BCS}\right> = \prod_k (u_k + v_k c_{k\uparrow}^\dagger c_{-k\downarrow}^\dagger) \left|0\right> \label{e:BCSstate} \end{equation} }
with and .
This is the famous BCS wave function which is the exact solution of the simplified Hamiltonian. It is a product of wave functions referring to the occupation of pairs of single-particle momentum states, .
As a special case, it describes a non-interacting Fermi sea, with all momentum pairs occupied up to the Fermi momentum ( for and for ). In general, arbitrary describe a ``molten Fermi sea, modified by the coherent scattering of pairs with zero total momentum. Pairs of momentum states are seen to be in a superposition of being fully empty and fully occupied.
It is worth noticing that we didn't make any further assumption on the component , therefore this wave function encompasses the entire regime of pairing, from point bosons (small molecules) to weakly and non-interacting fermions.
Gap and number equation
The variational parameters are derived in the standard way by minimizing the free energy Failed to parse (syntax error): {\displaystyle E - \mu N = \left<\hat{H} - \mu \hat{N}\right>} . The many-body Hamiltonian for the system is
The dominant role in superfluidity is played by fermion pairs with zero total momentum (Cooper pairs with zero momentum have the largest binding energy.) Therefore, we simplify the mathematical description by neglecting interactions between pairs at finite momentum. This is a very drastic simplification, as hereby density fluctuations are eliminated. For neutral superfluids, sound waves (the Bogoliubov-Anderson mode, ) are eliminated by this approximation. The approximate Hamiltonian (``BCS Hamiltonian``) reads
Minimizing leads to
- Failed to parse (unknown function "\begin{eqnarray}"): {\displaystyle \begin{eqnarray} v_k^2 &=& \frac{1}{2}\left(1 - \frac{\xi_k}{E_k}\right) \nonumber \\ u_k^2 &=& \frac{1}{2}\left(1 + \frac{\xi_k}{E_k}\right) \nonumber \\ \mbox{with }\;E_k &=& \sqrt{\xi_k^2 + \Delta^2} \end{eqnarray} }
where is given by the "gap equation"
- Failed to parse (syntax error): {\displaystyle \Delta \equiv \frac{V_0}{\Omega} \sum_k \left<c_{k\uparrow} c_{-k\downarrow}\right> = - \frac{V_0}{\Omega} \sum_k u_k v_k = - \frac{V_0}{\Omega} \sum_k \frac{\Delta}{2 E_k} } or
Note the similarity to the bound state equation in free space and in the simplified Cooperproblem, Eq.~\ref{e:Cooper}. An additional constraint is given by the "number equation" for the total particle density
Gap and number equations have to be solved simultaneously to yield the two unknowns . With replaced by scattering length, and using as the relevant scales, the gap and number equation give
- Failed to parse (unknown function "\begin{eqnarray}"): {\displaystyle \begin{eqnarray} -\frac{1}{k_F a} &=& \frac{2}{\pi} \left(\frac{2}{3 I_2\left(\frac{\mu}{\Delta}\right)}\right)^{1/3} I_1\left(\frac{\mu}{\Delta}\right)\\ \frac{\Delta}{E_F} &=& \left(\frac{2}{3 I_2\left(\frac{\mu}{\Delta}\right)}\right)^{2/3} \end{eqnarray} }
The result for and as a function of is shown in Fig.~\ref{f:Deltamu}. It is possible to obtain analytic expressions for the solutions in terms of complete elliptic integrals
Mean field theory and Bogoliubov transformation
In this derivation, we have combined the simplified Hamiltonian with the BCS variational Ansatz. Alternatively one can apply a decoupling (mean field) approximation to the Hamiltonian similar to the mean-field theory for weakly interacting bosons. Expecting that there will be some form of pair condensate, we assume that the pair creation and annihilation operator only weakly fluctuates around its non-zero expectation value
- Failed to parse (unknown function "\begin{eqnarray}"): {\displaystyle \begin{eqnarray} C_k= \left<c_{k\uparrow} c_{-k\downarrow}\right>= -\left< c_{k\uparrow}^\dagger c_{-k\downarrow}^\dagger\right> \end{eqnarray} }
chosen to be real (since the relative phase of states which differ in particle number by two can be arbitrarily chosen). That is, we write
- Failed to parse (unknown function "\begin{equation}"): {\displaystyle \begin{equation} c_{k\uparrow} c_{-k\downarrow} = C_k + (c_{k\uparrow} c_{-k\downarrow} - C_k) \end{equation} }
with the operator in parentheses giving rise to fluctuations that are small on the scale of . The gap parameter is now defined as
We only include terms in the interaction part of the Hamiltonian which involve the $C_k$'s at least once. That is, we neglect the correlation of fluctuations of the pair creation and annihilation operators. One obtains
- Failed to parse (unknown function "\begin{equation}"): {\displaystyle \begin{equation} \hat{H} = \sum_{k} \epsilon_k (c_{k\uparrow}^\dagger c_{k\uparrow}+ c_{k\downarrow}^\dagger c_{k\downarrow}) -\Delta \sum_k\left( c_{k \uparrow}^\dagger c_{-k\downarrow}^\dagger + c_{k \downarrow} c_{-k\uparrow} + \sum_{k'} C_{k'}\right) \end{equation} }
This Hamiltonian is bilinear in the creation and annihilation operators and can easily be solved by a Bogoliubov transformation to new quasi-particle operators :
- Failed to parse (unknown function "\begin{eqnarray}"): {\displaystyle \begin{eqnarray} \gamma_{k\uparrow} &=& u_k c_{k\uparrow} - v_k c_{-k\downarrow}^\dagger \\ \gamma_{-k\downarrow}^\dagger &=& u_k c_{-k\downarrow}^\dagger + v_k c_{k\uparrow} \nonumber \end{eqnarray} }
The and are determined from the requirements that the new operators fulfill fermionic commutation relations and that the transformed Hamiltonian is diagonal with respect to the quasiparticle operators. This solution is identical to the one obtained before for the and , and the transformed Hamiltonian becomes
- Failed to parse (unknown function "\begin{equation}"): {\displaystyle \begin{equation} \hat{H} - \mu \hat{N} = - \frac{\Delta^2}{V_0/\Omega} + \sum_k (\xi_k - E_k) + \sum_k E_k (\gamma_{k\uparrow}^\dagger \gamma_{k\uparrow} + \gamma_{k\downarrow}^\dagger \gamma_{k\downarrow}) \end{equation} }
The first two terms give the free energy of the pair condensate when the correct and are inserted. The third term represents the energy of excited quasi-particles, and we identify as excitation energy of a quasi-particle. The superfluid ground state is the quasi-particle vacuum.
This approach via the pairing field is analogous to the Bogoliubov treatment of an interacting Bose-Einstein condensate: There, the creation and annihilation operators for atoms with zero momentum are replaced by , the square root of the number of condensed atoms (i.e.~a coherent field). In the interaction term of the Hamiltonian, the Hamiltonian is solved by keeping only certain pair interactions, either by using a variational pairing wave function, or by introducing a mean pairing field. It should be noted that these approximations are not even necessary, as the BCS wave function can be shown to be the {\it exact} solution to the reduced Hamiltonian.
Discussion of the three regimes -- BCS, BEC and crossover
BCS limit
In the BCS-limit of weak attractive interaction, , we have
- Failed to parse (unknown function "\begin{eqnarray}"): {\displaystyle \begin{eqnarray} \mu &\approx& E_F \\ \Delta &\approx& \frac{8}{e^2} e^{-\pi/2k_F\left|a\right|} \end{eqnarray} }
- The first equation tells us that adding a spin up and spin down particle to the system costs a Fermi energy per particle (with the implicit assumption that both a spin up and a spin down particle are added, raising the total energy by ). In the weakly interacting BCS limit Pauli blocking still dominates over interactions, and hence the particles can only be added at the Fermi surface.
- The second equation is the classic result of BCS theory for the superfluid gap. Compared to the bound state energy for a single Cooper pair on top of a non-interacting Fermi sea, the gap is larger (the negative exponent is smaller by a factor of two), as the entire collection of particles now takes part in the pairing. However, the gap is still exponentially small compared to the Fermi energy: Cooper pairing is fragile.
The ground state energy of the BCS state can be calculated from mean-field and is
- Failed to parse (unknown function "\begin{equation}"): {\displaystyle \begin{equation} E_{\rm G,\, BCS} = \frac{3}{5} N E_F - \frac{1}{2}\,\rho(E_F)\, \Delta^2 \end{equation} }
The first term is the energy of the non-interacting normal state. The second term is the energy due to condensation, negative as it should be, indicating that the BCS state is energetically favorable compared to the normal state. Though the kinetic energy of the system increases (populating states above the fermi sea), the total energy drops due to the attractive interaction.
The second term can be interpreted in two ways. One way refers to the number of pairs $N/2$ times the energy per pair . The other interpretation refers to pairing on the surface only but with a pairing energy . The number of pairs is the number of states within which is . The second interpretation justifies the picture of a Cooper pair condensate. In the solution of the Cooper problem, the pair wave function has a peak occupation per momentum state of . Therefore, one can stack up pairs with zero total momentum and construct a Bose-Einstein condensate of Cooper pairs. However, the Cooper pairs are not bosons, as shown by commutator. However, if there were only a few Cooper pairs, much less than , the occupation of momentum states would still be very small compared to 1 and these pairs would be to a good approximation bosons.
It depends on the experiment whether it reveals a pairing energy of or of . In RF spectroscopy, all momentum states can be excited, and the spectrum shows the previous one. Tunnelling experiments in superconductors probe the region close to the Fermi surface, and show a pairing gap of .
To give a sense of scale, Fermi energies in dilute atomic gases are on the order of a , corresponding to . In the absence of scattering resonances, a typical scattering length would be about (on the order of the van der Waals-range). Therefore, the realization of superfluidity in Fermi gases requires scattering or Feshbach resonances to increase the scattering length, bringing the gas into the strongly interacting regime where . In this case, the above mean field theory predicts and this is the regime where current experiments are operating.
BEC limit
In the BEC limit of tightly bound pairs, for , one finds
- Failed to parse (unknown function "\begin{eqnarray}"): {\displaystyle \begin{eqnarray} \mu &=& -\frac{\hbar^2}{2 m a^2} + \frac{\pi \hbar^2 a n}{m}\\ \Delta &\approx& \sqrt{\frac{16}{3\pi}} \frac{E_F}{\sqrt{k_F a}} \end{eqnarray} }
- The first term for the chemical potential is the binding energy per fermion in a tightly bound molecule. This reflects again the implicit assumption (made by using the wave function in that we always add two fermions of opposite spin at the same time to the system.
- The second term for is a mean field contribution describing the repulsive interaction between molecules in the gas, indicating a scattering length of . Exact calculation for the interaction between four fermions shows .
Here signifies neither the binding energy of molecules nor does it correspond to a gap in the excitation spectrum. Indeed, in the BEC-regime, as soon as $\mu <0$, there is no longer a gap at non-zero in the single-fermion excitation spectrum . Instead, we have for the quasi-particle energies . So only the combination is important.
which is two times the molecular mean field. In fact, it can be interpreted here as the mean field energy experienced by a single fermion in a gas of molecules. It might surprise that the simplified Hamiltonian contains interactions between two molecules or between a molecule and a single fermion at all. In fact, a crucial part of the simplification has been to explicitly neglect such three- and four-body interactions. This effective repulsion is due to Pauli blocking where a molecule or a fermion cannot enter the region already taken by another molecule.
We see that the only way interactions between pairs, or between a pair and a single fermion, enter in the simplified description of the BEC-BCS crossover is via the anti-symmetry of the many-body wave function.
Evolution from BCS to BEC
Our variational approach smoothly interpolates between the two known regimes of a BCS-type superfluid and a BEC of molecules. It is a crossover, which occurs approximately between and +1 and is fully continuous. The occupation of momentum states evolves smoothly from the step-function of a degenerate Fermi gas, broadened over a width due to pairing, to that of molecules, namely the number of molecules times the probability to find a molecule with momentum .
It is also interesting to follow the evolution of the ``Cooper pair wave function, which would be . The definition given here is the two-point correlation function. Both definitions for the Cooper pair wave function show a sharp feature, either a peak or an edge at the Fermi surface, of width , thus giving similar behavior for the real space wave function. both in -space, where it is given by Failed to parse (syntax error): {\displaystyle \left<\Psi_{BCS}\right|c^\dagger_{k\uparrow} c^\dagger_{-k\downarrow}\left|\Psi_{BCS}\right> = u_k v_k} , and in real space, where it is
- Failed to parse (unknown function "\begin{eqnarray}"): {\displaystyle \begin{eqnarray} \psi(\vec{r}_1,\vec{r}_2) &=& \left<\Psi_{BCS}\right|\Psi_{\uparrow}^\dagger(\vec{r}_1)\Psi_{\downarrow}^\dagger(\vec{r}_2)\left|\Psi_{BCS}\right> = \frac{1}{\Omega}\sum_k u_k v_k e^{-i \vec{k} \cdot (\vec{r}_1-\vec{r}_2)} \nonumber \\ &=&\frac{1}{\Omega}\sum_k \frac{\Delta}{2E_k}\, e^{-i \vec{k} \cdot (\vec{r}_1-\vec{r}_2)} \label{e:cooperpairwavefunction} \end{eqnarray} }
In the BCS limit, the pairing occurs near the Fermi surface . Therefore, the spatial wave function of Cooper pairs has a strong modulation at the inverse wave vector , and an overall extent of the inverse width of the pairing region, . The characteristic size of the Cooper pair, or the two-particle correlation length , can be defined as Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \xi_0^2=\frac{\left<\psi(\vec{r})\right|r^2\left|\psi(\vec{r})\right>}{\left<\psi(\vec{r})|\psi(\vec{r})\right>}} , and this gives indeed ,
In the BEC limit, , and so
which is simply the wave function of a molecule of size . The two-particle correlation length that is associated with spatial fluctuations of the order parameter. The two length scales coincide in the BCS-limit, but differ in the BEC-limit, where is given by the healing length , is thus . Figs.~\ref{f:pairwavefunction} and~\ref{f:pairsize} summarize the evolution of the pair wave function and pair size throughout the crossover.
Back to: Quantum gases