Superfluid He-3. Thought of the Day 130.0

nphys2220-f1

At higher temperatures 3He is a gas, while below temperature of 3K – due to van der Walls forces – 3He is a normal liquid with all symmetries which a condensed matter system can have: translation, gauge symmetry U(1) and two SO(3) symmetries for the spin (SOS(3)) and orbital (SOL(3)) rotations. At temperatures below 100 mK, 3He behaves as a strongly interacting Fermi liquid. Its physical properties are well described by Landau’s theory. Quasi-particles of the 3He (i.e. 3He atoms “dressed” into mutual interactions) have spin equal to 1/2 and similar to the electrons, they can create Cooper pairs as well. However, different from electrons in a metal, 3He is a liquid without a lattice and the electron-phonon interaction, responsible for superconductivity, can not be applied here. As the 3He quasiparticles have spin, the magnetic interaction between spins rises up when the temperature falls down until, at a certain temperature, Cooper pairs are created – the coupled pairs of 3He quasiparticles – and the normal 3He liquid becomes a superfluid. The Cooper pairs produce a superfluid component and the rest, unpaired 3He quasiparticles, generate a normal component (N -phase).

A physical picture of the superfluid 3He is more complicated than for superconducting electrons. First, the 3He quasiparticles are bare atoms and creating the Cooper pair they have to rotate around its common center of mass, generating an orbital angular momentum of the pair (L = 1). Secondly, the spin of the Cooper pair is equal to one (S = 1), thus superfluid 3He has magnetic properties. Thirdly, the orbital and spin angular momenta of the pair are coupled via a dipole-dipole interaction.

It is evident that the phase transition of 3He into the superfluid state is accompanied by spontaneously broken symmetry: orbital, spin and gauge: SOL(3)× SOS(3) × U(1), except the translational symmetry, as the superfluid 3He is still a liquid. Finally, an energy gap ∆ appears in the energy spectrum separating the Cooper pairs (ground state) from unpaired quasiparticles – Fermi excitations.

In superfluid 3He the density of Fermi excitations decreases upon further cooling. For temperatures below around 0.25Tc (where Tc is the superfluid transition temperature), the density of the Fermi excitations is so low that the excitations can be regarded as a non-interacting gas because almost all of them are paired and occupy the ground state. Therefore, at these very low temperatures, the superfluid phases of helium-3 represent well defined models of the quantum vacua, which allows us to study any influences of various external forces on the ground state and excitations from this state as well.

The ground state of superfluid 3He is formed by the Cooper pairs having both spin (S = 1) and orbital momentum (L = 1). As a consequence of this spin-triplet, orbital p-wave pairing, the order parameter (or wave function) is far more complicated than that of conventional superconductors and superfluid 4He. The order parameter of the superfluid 3He joins two spaces: the orbital (or k space) and spin and can be expressed as:

Ψ(k) = Ψ↑↑(kˆ)|↑↑⟩ + Ψ↓↓(kˆ)|↓↓⟩ + √2Ψ↑↓(kˆ)(|↑↓⟩ + |↓↑⟩) —– (1)

where kˆ is a unit vector in k space defining a position on the Fermi surface, Ψ↑↑(kˆ), Ψ↓↓(kˆ) a Ψ↑↓(kˆ) are amplitudes of the spin sub-states operators determined by its projection |↑↑⟩, |↓↓⟩ a (|↑↓⟩ + |↓↑⟩) on a quantization axis z.

The order parameter is more often written in a vector representation as a vector d(k) in spin space. For any orientation of the k on the Fermi surface, d(k) is in the direction for which the Cooper pairs have zero spin projection. Moreover, the amplitude of the superfluid condensate at the same point is defined by |d(k)|2 = 1/2tr(ΨΨH). The vector form of the order parameter d(k) for its components can be written as:

dν(k) = ∑μ Aνμkμ —– (2)

where ν (1,2,3) are orthogonal directions in spin space and μ (x,y,z) are those for orbital space. The matrix components Aνμ are complex and theoretically each of them represents possible superfluid phase of 3He. Experimentally, however, only three are stable.

phasediagramLooking at the phase diagram of 3He we can see the presence of two main superfluid phases: A – phase and B – phase. While B – phase consists of all three spin components, the A – phase does not have the component (|↑↓⟩ + |↓↑⟩). There is also a narrow region of the A1 superfluid phase which exists only at higher pressures and temperatures and in nonzero magnetic field. The A1 – phase has only one spin component |↑↑⟩. The phase transition from N – phase to the A or B – phase is a second order transition, while the phase transition between the superfluid A and B phases is of first order.

The B – phase occupies a low field region and it is stable down to the lowest temperatures. In zero field, the B – phase is a pure manifestation of p-wave superfluidity. Having equal numbers of all possible spin and angular momentum projections, the energy gap separating ground state from excitation is isotropic in k space.

The A – phase is preferable at higher pressures and temperatures in zero field. In limit T → 0K, the A – phase can exist at higher magnetic fields (above 340 mT) at zero pressure and this critical field needed for creation of the A – phase rises up as the pressure increases. In this phase, all Cooper pairs have orbital momenta orientated in a common direction defined by the vector lˆ, that is the direction in which the energy gap is reduced to zero. It results in a remarkable difference between these superfluid phases. The B – phase has an isotropic gap, while the A – phase energy spectrum consists of two Fermi points i.e. points with zero energy gap. The difference in the gap structure leads to the different thermodynamic properties of quasiparticle excitations in the limit T → 0K. The density of excitation in the B – phase falls down exponentially with temperature as exp(−∆/kBT), where kB is the Boltzman constant. At the lowest temperatures their density is so low that the excitations can be regarded as a non-interacting gas with a mean free path of the order of kilometers. On the other hand, in A – phase the Fermi points (or nodes) are far more populated with quasiparticle excitations. The nodes orientation in the lˆ direction make the A – phase excitations almost perfectly one-dimensional. The presence of the nodes in the energy spectrum leads to a T3 temperature dependence of the density of excitations and entropy. As a result, as T → 0K, the specific heat of the A – phase is far greater than that of the B – phase. In this limit, the A – phase represents a model system for a vacuum of the Standard model and B – phase is a model system for a Dirac vacuum.

In experiments with superfluid 3He phases, application of different external forces can excite the collective modes of the order parameter representing so called Bose excitations, while the Fermi excitations are responsible for the energy dissipation. Coexistence and mutual interactions of these excitations in the limit T → 0K (in limit of low energies), can be described by quantum field theory, where Bose and Fermi excitations represent Bose and Fermi quantum fields. Thus, 3He has a much broader impact by offering the possibility of experimentally investigating quantum field/cosmological theories via their analogies with the superfluid phases of 3He.

Advertisement

Symplectic Manifolds

2000px-Limitcycle

The canonical example of the n-symplectic manifold is that of the frame bundle, so the question is whether this formalism can be generalized to other principal bundles, and distinguished from the quantization arising from symplectic geometry on the prototype manifold, the bundle of linear frames, a good place to motivate the formalism.

Let us start with an n-dimensional manifold M, and let π : LM → M be the space of linear frames over a base manifold M, the set of pairs (m,ek), where m ∈ M and {ek},k = 1,···,n is a linear frame at m. This gives LM dimension n(n + 1), with GL(n,R) as the structure group acting freely on the right. We define local coordinates on LM in terms of those on the manifold M – for a chart on M with coordinates {xi}, let

qi(m,ek) = xi ◦ π(m,ek) = xi(m)

πji(m,ek) = ej ∂/∂xj

where {ej} denotes the coframe dual to {ej}. These coordinates are analogous to those on the cotangent bundle, except, instead of a single momentum coordinate, we now have a momentum frame. We want to place some kind of structure on LM, which is the prototype of n-symplectic geometry that is similar to symplectic geometry of the cotangent bundle T∗M. The structure equation for symplectic geometry

df= _| X dθ

gives Hamilton’s equations for the phase space of a particle, where θ is the canonical symplectic 2-form. There is a naturally defined Rn-valued 1-form on LM, the soldering form, given by

θ(X) ≡ u−1[π∗(X)] ∀X ∈ TuLM

where the point u = (m,ek) ∈ LM gives the isomorphism u : Rn → Tπ(u)M by ξiri → ξiei, where {ri} is the standard basis of Rn. The Rn-valued 2-form dθ can be shown to be non-degenerate, that is,

X _| dθ = 0 ⇔ X = 0

where we mean that each component of X dθ is identically zero. Finally, since there is also a structure group on LM, there are also group transformation properties. Let ρ be the standard representation of GL(n, R) on Rn. Then it can be shown that the pullback of dθ under right translation by g ∈ GL (n,R) is Rg dθ = ρ(g−1) · dθ.

Thus, we have an Rn-valued generalization of symplectic geometry, which motivates the following definition.

Let P be a principal fiber bundle with structure group G over an m-dimensional manifold M . Let ρ : G → GL(n, R) be a linear representation of G. An n-symplectic structure on P is a Rn-valued 2-form ω on P that is (i) closed and non-degenerate, in the sense that

X _| ω = 0 ⇔ X = 0

for a vector field X on P, and (ii) ω is equivariant, such that under the right action of G, Rg ω = ρ(g−1) · ω. The pair (P, ω) is called an n-symplectic manifold.

vanderPolEquation_1000

Here, we have modeled n-symplectic geometry after the frame bundle by defining the general n-symplectic manifold as a principal bundle. There is no reason, however, to limit ourselves to this, since we can let P be any manifold with a group action defined on it. One example of this would be to look at the action of the conformal group on R4. Since this group is locally isomorphic to O(2, 4), which is not a subgroup of GL(4, R), then forming a O(2,4) bundle over R4 cannot be thought of as simply a reduction of the frame bundle.

Hyperstructures

universe_splatter2

In many areas of mathematics there is a need to have methods taking local information and properties to global ones. This is mostly done by gluing techniques using open sets in a topology and associated presheaves. The presheaves form sheaves when local pieces fit together to global ones. This has been generalized to categorical settings based on Grothendieck topologies and sites.

The general problem of going from local to global situations is important also outside of mathematics. Consider collections of objects where we may have information or properties of objects or subcollections, and we want to extract global information.

This is where hyperstructures are very useful. If we are given a collection of objects that we want to investigate, we put a suitable hyperstructure on it. Then we may assign “local” properties at each level and by the generalized Grothendieck topology for hyperstructures we can now glue both within levels and across the levels in order to get global properties. Such an assignment of global properties or states we call a globalizer. 

To illustrate our intuition let us think of a society organized into a hyperstructure. Through levelwise democratic elections leaders are elected and the democratic process will eventually give a “global” leader. In this sense democracy may be thought of as a sociological (or political) globalizer. This applies to decision making as well.

In “frustrated” spin systems in physics one may possibly think of the “frustation” being resolved by creating new levels and a suitable globalizer assigning a global state to the system corresponding to various exotic physical conditions like, for example, a kind of hyperstructured spin glass or magnet. Acting on both classical and quantum fields in physics may be facilitated by putting a hyperstructure on them.

There are also situations where we are given an object or a collection of objects with assignments of properties or states. To achieve a certain goal we need to change, let us say, the state. This may be very difficult and require a lot of resources. The idea is then to put a hyperstructure on the object or collection. By this we create levels of locality that we can glue together by a generalized Grothendieck topology.

It may often be much easier and require less resources to change the state at the lowest level and then use a globalizer to achieve the desired global change. Often it may be important to find a minimal hyperstructure needed to change a global state with minimal resources.

Again, to support our intuition let us think of the democratic society example. To change the global leader directly may be hard, but starting a “political” process at the lower individual levels may not require heavy resources and may propagate through the democratic hyperstructure leading to a change of leader.

Hence, hyperstructures facilitates local to global processes, but also global to local processes. Often these are called bottom up and top down processes. In the global to local or top down process we put a hyperstructure on an object or system in such a way that it is represented by a top level bond in the hyperstructure. This means that to an object or system X we assign a hyperstructure

H = {B0,B1,…,Bn} in such a way that X = bn for some bn ∈ B binding a family {bi1n−1} of Bn−1 bonds, each bi1n−1 binding a family {bi2n−2} of Bn−2 bonds, etc. down to B0 bonds in H. Similarly for a local to global process. To a system, set or collection of objects X, we assign a hyperstructure H such that X = B0. A hyperstructure on a set (space) will create “global” objects, properties and states like what we see in organized societies, organizations, organisms, etc. The hyperstructure is the “glue” or the “law” of the objects. In a way, the globalizer creates a kind of higher order “condensate”. Hyperstructures represent a conceptual tool for translating organizational ideas like for example democracy, political parties, etc. into a mathematical framework where new types of arguments may be carried through.