## Abstract

The hallmark of superfluidity is the appearance of “vortex states” carrying a quantized metastable circulating current. Considering a unidirectional flow of particles in a ring, at first it appears that any amount of scattering will randomize the velocity, as in the Drude model, and eventually the ergodic steady state will be characterized by a vanishingly small fluctuating current. However, Landau and followers have shown that this is not always the case. If elementary excitations (e.g. phonons) have higher velocity than that of the flow, simple kinematic considerations imply metastability of the vortex state: the energy of the motion cannot dissipate into phonons. On the other hand if this *Landau criterion* is violated the circulating current can decay. Below we show that the standard Landau and Bogoliubov superfluidity criteria fail in low-dimensional circuits. Proper determination of the superfluidity regime-diagram must account for the crucial role of chaos, an ingredient missing from the conventional stability analysis. Accordingly, we find novel types of superfluidity, associated with irregular or chaotic or breathing vortex states.

## Metastability

The essence of superfluidity is the possibility to witness a macroscopically-large persistent circulating flow of particles. The Landau criterion^{1,2,3,4,5} for such metastability is determined by checking for accessible elementary excitations (phonons, rotons) connecting the initial state to the quasi-continuum of other states with the same energy. The absence of an energetically-accessible pathway to all the other states with the same energy is termed *energetic-stability*. However, in low dimensional rings superfluidity can persist even if energetic-stability is lost^{6,7,8,9,10}. Namely, even in the absence of a “potential-barrier”, one may expect circumstances such that *dynamical stability* of the superfluid motion is maintained (see also^{11,12}). But even if the superfluid motion become unstable and chaotic, it does not mean that free traffic between all the regions of the energy-shell is allowed: Kolmogorov-Arnold-Moser (KAM) surfaces might effectively block the passage between different phase-space regions; More generally, remnants of integrable structures may allow only a slow percolation-like penetration process, so-called Arnold diffusion. These observations suggest a new paradigm of metastability as discussed below.

## Low dimensional circuits

The recent experimental realization of confining potentials with toroidal shapes and tunable weak links^{13,14,15,16,17} has opened a new arena of studying superfluidity in low dimensional rings with Bosons. Integrable (non-chaotic) 1D rings with Bosons have been extensively studied as models for superfluid circuits^{18,19,20}. However, dimensionality can be further reduced by considering a discrete *M* site ring^{21,22,23,24,25}. Discrete site systems have been realized experimentally in a wide range of setups, from double-well traps^{26,27} to large (*M* ≫ 1) arrays^{10,28,29,30,31}. With regard to a ring geometry, of particular interest is the recent experimental realization of *M* site rings using the ‘painted potential’ or related techniques^{21,32}. For such ring the continuous rotational invariance is broken, hence chaos becomes a predominant feature. The system is formally equivalent to a set of *M* coupled oscillators. Due to number-of-particles conservation, it is possible to separate one coordinate (and its conjugate) so as to have *d* = *M* − 1 coordinates and their conjugates (say *d* occupation differences and *d* relative phases). Accordingly the effective number of degrees of freedom becomes *d*.

Intensive studies have focused on the integrable Bosonic Josephson Junction (*M* = 2 hence *d* = 1). In few-site Bose-Hubbard systems with *M* > 2, such as the *M* = 3 trimer^{33,34,35,36,37,38,39,40,41,42,43,44}, an utterly new perspective is essential due to the emergence of chaos. So far, the implications of chaos on superfluidity have not been illuminated, neither for the trimer ring^{45} nor for *M* > 3 rings. We would like to highlight a crucial difference between the two cases: For *M* = 3 ring the *d* = 2 dimensional KAM tori in phase-space can divide the 2*d* − 1 energy-shell into separate regions, while for *M* > 3 (say *M* = 4, hence *d* = 3) it is not the case (a 3D surface cannot divide a 5D energy-shell into disjoint territories). Consequently for *M* > 3 all phase-space regions are interconnected via “Arnold diffusion”.

## Beyond the traditional view

The traditional criterion for superfluidity associates the metastability of the current with the existence of a stationary *stable fixed point* of the Hamiltonian flow, that supports a coherent vortex state. Accordingly a Bogoliubov de Gennes (BdG) linear-stability-analysis is assumed valid for determination of the regimes where superfluidity is anticipated. Low dimensional circuits have phase-space with both chaotic and quasi-regular motion. Consequently the traditional BdG paradigm is challenged: **(i)** Dynamical instability of a vortex state does not necessarily mean that superfluidity is diminished, because its collapse may be topologically arrested by KAM structures; **(ii)** Linear BdG stability of a vortex state does not always imply actual stability, because Arnold diffusion can provide detour paths out of seemingly elliptical regions; **(iii)** Due to quantum fluctuation, i.e. finite uncertainty width of a vortex-state, stability is required within a Plank cell around the fixed-point.

The result of these three observations is a novel superfluidity regime-diagram, quite distinct from the one that would be obtained using standard criteria. Considering that *d* = *M* − 1, and that Arnold diffusion can only take place when *d* > 2, there should be a dramatic difference between trimers (*M* = 3) and larger rings (*M* > 3): For the trimer, item (i) implies that superfluidity can persist even if the motion becomes *chaotic*; For larger rings, item (ii) implies that BdG (linear) dynamical stability is not a sufficient condition; while item (iii) implies that global analysis of phase-space topography is essential. In the extreme limit of *M* → ∞ one should remember that the dynamics become integrable due to rotational symmetry. Below we demonstrate how the above ideas affect the regime diagram of a few site ring. For the trimer (*M* = 3) superfluidity manifests itself beyond the regime of dynamical stability, while for *M* > 3 we find a much more intricate situation.

## The Model and the superfluidity regime diagram

Consider *N* mass m Bosons in an *M* site ring that has a radius *R*. If the ring is rotated with frequency Ω, one may transform into the rotating frame, where the potential is time-independent. In this frame we have Coriolis force, which is formally like having a magnetic flux Φ = (2*π*m*R*^{2}/*ħ*)Ω through the ring. Accordingly the system is described by the Bose-Hubbard Hamiltonian^{29,30}

Here *j* mod (*M*) labels the sites of the ring, *a*_{i} and are destruction and creation operators. *K* is the hopping frequency, and *U* is the on-site interaction. The Peierls phase factor includes the so-called Sagnac phase Φ. Optionally it can be realized by introducing a spatially-adiabatic variation of the atomic magnetic dipole orientation^{46}, or gauge field as in^{47}, see^{48}. Without loss of generality Φ ∈ [0, *π*], and *K* > 0, and *U* > 0. Negative *U* is the same as positive *U* with a flipped energy landscape (). Negative *K* is the same as positive *K* with for odd *M*. Negative Φ is related to positive Φ by time reversal. The Hamiltonian commutes with the total particle number , hence the *operator* is a constant of motion. In a semi-classical context one defines phase-space action-angle coordinates as follows:

The Hamiltonian (1) is then expressed as , and the dynamics is generated by . The notation ∂_{ν} stands for derivative with respect to *z*_{ν}, and

In the classical equation of motion, after standard rescaling of the variables, there are only two dimensionless parameters: one is the dimensionless interaction

and the other is the phase Φ. Note that the re-scaling of the canonical variables implies that * n* is replaced by

*/*

**n***N*. Hence upon quantization

*and*

**φ***are conjugate with dimensionless Plank constant*

**n***ħ*= 1/

*N*.

### The superfluidity regime-diagram

In Fig. 1 we plot the numerically determined (Φ, *u*) regime diagram for the superfluidity of rings with *M* = 3, 4, 5 sites. Image colors depict the current for the eigenstate that carries maximal current. The solid and dashed lines indicate the energetic and the dynamical stability borders, as determined from the BdG analysis (see below). The regime diagrams do not agree with the traditional analysis: For the *M* = 3 ring superfluidity persists beyond the border of dynamical stability, while for *M* > 3 the dynamical stability condition is not sufficient.

In the absence of interaction (*U* = 0), time reversal is broken by having a non-zero Φ, and an eigenstate can carry a non-zero “persistent current”. If we add some weak disorder *W* (random on-site potential) this current becomes smaller, and it diminishes in the limit Φ → 0. In contrast superfluidity features a *macroscopically* large metastable current that is achieved due to having a non-zero interaction (*U* ≠ 0). Superfluidity is feasible if a middle vortex state (see below), or some irregular variant of it, maintains stability; otherwise it would mix with all the other eigenstates that reside in the same energy-shell, resulting in a micro-canonically small current. Accordingly, the stability of the current should be verified with respect to an added disorder *W*. In the model under study superfluidity is indeed maintained as long as *W* < *U*, and accordingly a *finite* strength of interaction *U* is required.

## Metastability of vortex states

The stationary orbitals of a single particle in a clean ring are the momentum states with wavenumber *k* = (2*π*/*M*)*m*, where *m* is an integer modulo *M*. Coherent vortex states have *N* particles *condensed* into the same momentum orbital. From a semiclassical perspective, a coherent-state is represented by a Gaussian-like phase-space distribution. Such state is stable if it is supported by a region where the classical motion is “locked”. Figure 2 is a cartoon that summarizes various possibilities. We first consider the traditional possibility of having a regular vortex-state that is supported by a stable fixed-point. In later sections we discuss the possibility of having irregular vortex-states that are supported by chaotic regions.

### Stability analysis

A stable stationary fixed point of the classical Hamiltonian can support a coherent eigenstate. A stationary fixed point is the solution of the equation . A fixed-point is *energetically* stable if it resides at a local minimum or maximum of *H*(*z*). Accordingly energetic-stability is determined by the eigenvalues of the Hessian matrix . In the vicinity of a fixed point the linearized equation of motion takes the form , Accordingly the nature of the dynamics is determined by the eigenvalues *λ*_{q} of the monodromy matrix . The latter are the roots of the characteristic equation . Upon quantization *ω*_{q} = *iλ*_{q} are identified as the energies of the Bogoliubov excitations. If the *ω*_{q} are real, the linearized motion is “elliptic” around the fixed-point. But if some of the *ω*_{q} acquire an imaginary part, the motion becomes unstable (“hyperbolic”), meaning that trajectories depart exponentially from the fixed point. In the latter case a chaotic motion with a non-zero Lyapunov exponent is implied.

In the present context there is a cyclic degree of freedom that corresponds to . Accordingly there is a pair of zero eigenvalues that should be excluded. Effectively we deal with 2*d* × 2*d* matrix where *d* = *M* − 1). It is also useful to notice that at the energetic-stability border, where the fixed-point becomes a saddle, we have . Vortex states correspond to the trivial fixed-points of the Hamiltonian, located along the symmetry axis . The *m*th vortex state, with *φ*_{i} − *φ*_{i−1} = (2*π*/*M*)*m*, corresponds to condensation in the *m*th momentum orbital. The vortex states have a macroscopically large current:

Our linear-stability analysis of the vortex states is analogous to that of ^{7}, and will be presented in the following sections, with additional details in the Methods section, leading to the solid and dashed lines of Fig. 1.

### Stability with respect to added disorder

Before we proceed we would like to make a comment regarding the implications of having weak disorder. The essence of superfluidity is the meta-stability of the current. This makes it distinguished from having merely a *persistent current*. Consider a clean ring with non-interacting particles and no disorder. We can prepare there a vortex state with macroscopically large current. However, any small *disorder* will randomize the velocity (as in Drude model) and the current will diminish. Adding interaction *U* between the particles change the picture dramatically. Now the energy landscape *E* = *H*(*z*) has a non-trivial topography. It may have (say) a valley with a local minimum, that can support a metastable state. If we add disorder it merely deforms the valley, while the fixed-point remains stable. Disregarding dimensionless prefactors this is true as long as *W* < *U*. It follows that finite *U* is essential in order to have physical metastability. We would like to emphasize that the same conclusion holds for any “energy landscape”. Adding small disorder will affect only “degenerated” regions, say the separatrix region, but will not affect the overall phase-space structure. This is called “structural stability”. To be on the safe-side, we have verified that the numerically determined regime diagrams are not affected by adding weak disorder.

### Quantum fluctuations

As shown in Fig. 1 the observed superfludity regimes are not in accordance with the traditional BdG analysis. Irrespective of *M*, as we go higher in *u*, superfluidity is diminished even in the energetically-stable region. This is conspicuous for low *N*, as in Fig. 1c where we have ~2 particles per site, and can be explained as the consequence of having a finite uncertainty width. Namely, as *u* is increased the radius of the stability island (if exists) becomes smaller, until eventually it cannot support a stable vortex state. Equivalently, as *N* becomes smaller the uncertainty width of a vortex state becomes larger, until it ‘spills’ out of the stability island. This type of reasoning resembles the semiclassical view of the Mott transition (see below). Taking a closer look at the regime diagrams one observes that the above “quantum fluctuations” perspective is not enough in order to explain the observed differences. We therefore turn to provide a more detailed phase-space picture.

### The ground state

The lowest energy fixed-point (*m* = 0 vortex state) is stable for any positive *u*. However it is located in an island which is surrounded by a chaotic sea. As *u* is increased the island’s size decreases until at *u* > *N*^{2}/*M*, it becomes smaller than a single Planck cell. At this point it can no longer accommodate a vortex state and one observes a quantum Mott transition. See Fig. 2d for pedagogical illustration. Other studies of rotating ring lattices^{20,21,22,23,24,25} have addressed additional quantum issues, such as the appearance of “cat states”: In the trimer with Φ = *π* the ground state might be a macroscopic superposition of the degenerate vortex states *m* = 0 and *m* = 1.

### Solitons

While our main focus is on the stability of vortex states we briefly discuss other fixed points that were of interest in past work. The trimer model without rotation (Φ = 0) has been the subject of intense study^{33,34,35,36,37,38,39,40,41,42,43,44}. In particular it has been noted that the Hamiltonian *H*(*z*) has additional non trivial fixed-points away from the symmetry axis. The simplest of which are self-trapped “bright solitons” obtained via bifurcation of a vortex state, in which the particles are localized in a single site. See Fig. 2e for pedagogical illustration. Other notable fixed-points correspond to single-depleted-well states in which one site is empty, while the remaining two sites are equally occupied by the particles. For *M* > 3 rings there are off-axis fixed points that support spatially modulated vortex states^{49}.

## The *
***M**
= 3 ring

**M**

We focus our attention on the central region of energies, where the middle vortex state (*m* = 1) is located. Examples for phase-space trajectories at this energy are displayed in Fig. 3, and will be further discussed below. First we examine the linear stability of the pertinent vortex fixed-point.

### BdG analysis

The characteristic equation has two trivial eigenvalues *λ* = 0 that reflect the the constant of motion , and therefore excluded. The other four eigenvalues are the solution of *λ*^{4} + *bλ*^{2} + *c* = 0 with

A fixed-point is energetically (meta) stable if it seats at a (local) minimum or maximum of *H*(*z*). At the energetic-stability border, where the fixed-point becomes a saddle, we have , hence the border is determined by *c* = 0, leading to the energetic-stability condition

The fixed-point becomes dynamically unstable if the eigenvalues acquire a real part, which is the so-called Lyapunov exponent. This happen when *b*^{2} − 4*c* < 0, leading to dynamical instability in the region

In principle for *b*^{2} − 4*c* > 0 the condition *b* < 0 would imply an additional dynamical instability regime. But here *b* < 0 occurs inside the region of *b*^{2} − 4*c* < 0. The stability borders are demonstrated in Fig. 1a.

### Beyond BdG

In Fig. 1a we observe macroscopically large currents beyond the expected region. This has been noted in^{45} without explanation. In particular we see that supefluidity survives in the limit Φ → 0, contrary to the expectation^{50,51} that is based on the traditional stability argument. We can plot the wavefunction of an eigenstate that supports superfluidity. Here the components of *r* are the coordinates and *r*_{┴} = *n*_{3}/*N*. The wavefunction of a standard *regular* vortex is merely a hump at the symmetry point *n*_{1} = *n*_{2} = *n*_{3} = *N*/3. In Fig. 4 we display examples for the wavefunctions of non-standard vortex states: a *chaotic* vortex state, and a *breathing* vortex state. The terms “chaotic” and “breathing” is related to the underlying classical dynamics [options (ii) and (iii) below].

Launching trajectories at the vicinity of the vortex fixed-point it has been demonstrated that both stable and unstable oscillations can emerge^{37}. Specifically we encounter the following possibilities: **(i)** the trajectories are locked in the vicinity of the vortex fixed point; **(ii)** the trajectories are quasi-periodic in phase-space; **(iii)** the trajectories are chaotic but uni-directional. The above possibilities are pedagogically illustrated by the cartoon of Fig. 2. Poincare sections of the trajectories (see below) reveal that a regular vortex state is supported by a regular island around the fixed point (case i); a breathing vortex is supported by a secondary island that has been created via bifurcation (case ii); while a chaotic vortex state is supported by a ‘chaotic pond’ of clockwise motion that does not mix with the anti-clockwise motion (case iii). Consequently the motion may become chaotic, but stay uni-directional, and superfluidity persists contrary to the common expectation.

### The route to chaos

As observed in Fig. 1a superfluidity is quite robust. The current diminishes only in the vicinity of what we call “swap transition”, which is indicated in the figure by dotted line. In the Methods section we derive an explicit expression for the transition line:

At the transition the two separatrixes that dominate the structure of phase-space coalesce, and consequently a global chaotic-sea is formed. The details of this transition are provided below. Such type of separatrix overlap bifurcation has been once encountered in molecular physics studies^{52}, but not in chaotic context.

### Phase-space tomography

In Fig. 3 we plot the spectrum of the trimer Hamiltonian for representative values of (Φ, *u*) that are indicted in Fig. 1a. We also plot in each case the Poincare sections at the energy of the *m* = 1 vortex fixed-point (see Methods section for details). From the quantum spectrum we can easily deduce the phase-space structure at *any other energy*. One can call it “quantum phase-space tomography”. Consider for example Fig. 3c. We can easily correlate the largest current states with the red (upper) island; the secondary group of large current states with the yellow (left) island; and the small current states with the green chaotic sea. Additional information can be extracted from the *purity* of the states. For precise definition see^{45}. Here it is enough to say that *S* = 1 means that all the particle are condensed in a single orbital, while *S* < 1 means that the state is fragmented into 1/*S* orbitals. For ergodic state 1/*S* ~ *M*. Points in the spectrum are color-coded from black (*S* ~ 1) to purple (*S* ~ 1/*M*). One observes that the non-standard vortex states have high but not perfect purity.

By inspection of Fig. 3 we observe the following regimes in the diagram of Fig. 1a: Regime (S) stands for simple phase-space structure with energetically-stable clockwise (“red”) and anti-clockwise (“blue”) islands that are separated by a forbidden region. In regime (B) we have two regular regions of clockwise motion, and “blue separatrix” that supports anti-clockwise motion. As we go up in *u* the blue separatrix becomes a chaotic sea. In regime (D) the middle vortex bifurcates, while the other clockwise island remains regular. In regime (D’) the “vortex separatrix” swaps with the “blue separatrix”. This swap is clearly demonstrated as we go from Fig. 3d,e. The border between regimes (D) and (D’) is shown as a dotted line in Fig. 1a, see equation (8). Along this line the two separatrices coalesce. Crossing to regime (B’) the bifurcation that is responsible to the “blue separatrix” is undone, and eventually we can go back to the (S) regime via a simply-connected (A) regime that has a simple structure with no separatrix.

In region (B) the vortex is not energetically stable: it is located on a saddle point in phase-space. Nevertheless dynamical stability is maintained. In region (D) the vortex is no longer dynamically stable, and the trajectories at the vicinity of the vortex are chaotic. Still the motion is confined by KAM tori within a “chaotic pond”, and therefore remains uni-directional. In the vicinity of the swap, as we go up in *u*, the chaotic pond becomes a chaotic sea, and the superfluid current is diminished.

Upon quantization the chaotic pond can support a “chaotic vortex state”, which has been illustrated in Fig. 4a. A second class of large current states are supported by stable *periodic-orbits* (POs) that has been bifurcated from the stationary vortex fixed-point, once the latter lost stability. These POs are elliptic fixed-points of the Poincare section, see Fig. 3d. Upon quantization the associated islands can support a “breathing vortex state”, see Fig. 4b.

## The *M* > 3 rings

Considering a no-rotating device, the traditional stability argument^{50,51} implies marginally stable superfluidity for an *M* = 4 device, and stability if *u* is large enough for an *M* > 4 device. These observations are implied by the stability borders that are plotted in Fig. 1bc. The explicit expressions for the stability borders are provided in the following paragraph.

### BdG analysis

In the Methods section we derive an explicit expression equation (19) for the Bogoliubov frequencies *ω*_{q,±} of the *k*_{m} vortex. The frequencies are indexed by *q* = (2*π*/*M*) × integer. As we move in the (Φ, *u*) regime-diagram the *ω*_{q,±} go through zero as we cross the following lines

The border of the stable regime is determined by the first line that is encountered, which corresponds to the minimal value *q* = 2*π*/*M*. The dynamical stability is lost once one of the frequencies become complex. This happens when either of the following two expressions equal zero

Again we have to substitute *q* = 2*π*/*M*, which is associated with the first encounter. The explicit results for *M* = 3 are easily recovered.

### Beyond BdG

Looking on the numerically determined current (Fig. 1b) one observes that superfluidity can persist slightly beyond the dynamical stability border. But much more conspicuous is the diminishing of superfluidity within a large region where the BdG analysis predicts dynamical stability. We find (see below) that the latter effect is related to Arnold diffusion. Namely, if *d* > 2, the *d* dimensional KAM tori in phase space are not effective in blocking the transport on the 2*d* − 1 energy shell (as discussed in the Introduction). As *u* becomes larger this non-linear leakage effect is enhanced, stability of the motion is deteriorated, and the current is diminished.

At this point it is helpful to distinguish between *strict* dynamical stability and *linear* dynamical stability^{53}. For *M* > 3 the latter does not imply the former (all regions of phase space are interconnected via “Arnold diffusion” irrespective of their linear stability). As we go up in *u* the chaos becomes predominant, and consequently energetic-stability rather than dynamical-stability becomes the relevant criterion. It follows from this distinction that for *M* > 3 one has to distinguish between regular and irregular vortex states. This distinction is demonstrated in Fig. 5. A regular vortex is represented by a simple hump at the central (*n*_{i} = *N*/*M*) fixed-point, whereas an irregular vortex has a richer structure that reflects the underlying fragmented phase-space structure.

In order to verify the above semiclassical reasoning, we try in Fig. 6 to reconstruct the quantum regime-diagram via classical simulations. This reconstruction provides a qualitative proof for the semiclassical reasoning, and furthermore demonstrates the *N* dependence of the the superfluity regime diagram. Namely, we launch a Gaussian cloud of trajectories that have an uncertainty width that corresponds to *N*. The fraction of trajectories that escape is used as a measure for the stability. The practical criterion for escape is having the average current *I*(*t*) getting below some threshold *I*_{∞} within some time *t*_{∞}. In principle *t*_{∞} should be the Heisenberg time (proportional to *N*^{d}), and *I*_{∞} can be (say) half *I*_{m}. In practice the result is not sensitive to these thresholds. Regions where the current diminishes in-spite of BdG dynamical stability, and does not recover even if *N* is increased (smaller uncertainty width), establish the relevance of Arnold diffusion.

## Discussion

A recent experiment with a toroidal ring^{16} has demonstrated hysteresis in a quantized superfluid ‘atomtronic’ circuit. The procedure was to prepare a stable vortex state at rotation frequency that corresponds to Φ_{1}, and then to check its stability after changing to Φ_{2}. The theory there could be regarded as an extension of the traditional “energetic-stability” reasoning that underlays the Landau criterion. Our work has been motivated by the following question: *what would be the results of the same type of experiment, if the toroidal ring had several weak links, or if it were replaced by a discrete M site ring*. The realization of such ring that is described by equation (1) has been discussed in^{21,32,46}. We argue that the chaotic nature of such circuit requires to go beyond the traditional analysis; else one would not be able to predict the borders of the stability-regime in the hysteresis loop. On the theoretical level we have highlighted a novel type of superfluidity that is supported by irregular or chaotic or breathing vortex states. Such states are supported by fragmented regions in phase-space (*M* > 3), or by chaotic ponds (*M* = 3), or by periodic-orbits respectively, hence they are missed by the traditional BdG analysis. Furthermore we have highlighted the limitations of the *linear* stability analysis for high dimensional chaos (*M* > 3).

As a secondary message, we would like to emphasize that the gross features of the classical phase-space can be easily extracted from the spectrum of the quantized Hamiltonian. To get the same information via classical analysis would be an extremely heavy task that would require generation of many trajectories in numerous phase space regions, on each possible energy shell, as opposed to our “quantum phase space tomography” which requires a single diagonalization of a finite matrix. If Nature were classical, Quantum Mechanics still would be invented as a valuable tool, just for the purpose of analysing mixed complex dynamics.

## Methods

### Poincare sections

Starting with the Hamiltonian equation (1) with *M* = 3, written in terms of action-angle variables, the classical dynamics is generated by the equation

with scaled units such that *K* = *N* = 1. We solve this equation numerically. For plotting of trajectories it is convenient to use the coordinates (*n*_{1} − *n*_{3}, *φ*_{1} − *φ*_{3}) and (*n*_{3} − *n*_{2}, *φ*_{3} − *φ*_{2}). The section chosen is *n*_{3} − *n*_{2} = 0, at the energy of the *m* = 1 vortex *E* = (*u*/6) − cos[(2*π*/3) − (Φ/3)]. Given a phase space section point (*n*_{1} − *n*_{3}, *φ*_{1} − *φ*_{3}), the equation *H*(*z*) = *E* has either zero or two solutions for the remaining coordinate *φ*_{3} − *φ*_{2}. This implies that the Poincare section has two sheets. For presentation purpose we pick the sheet where velocity ∂_{t}(*n*_{3} − *n*_{2}) has a larger value.

In Fig. 3 we plot Poincare sections at the energy of the *m* = 1 vortex fixed-point. The section is *n*_{3} − *n*_{2} = 0. For convenience we use the canonical coordinates (*n*_{1} − *n*_{3}, *φ*_{1} − *φ*_{3}) and a scaled particle number . Note that the *m* = 1 vortex fixed-point is always located at (0, 2*π*/3). The boundary of the allowed region is marked by a black line. Each trajectory in the Poincare section is a set of points that share the same color. The color reflects the average current, which is calculated by taking a time average over .

We have here a *d* = 2 system, so the energy shell is 3D, while the Poincare section is 2D. According to KAM, some regular motion survives: these are the KAM tori. In the PS they look line lines that divide the motion into “territories”. For example in Fig. 3b we see that most of the motion is regular. We have there some bounded chaotic motion in the vicinity of the blue separatrix, but near the vortex fixed-point the motion is predominantly regular (dense set of KAM tori). In Fig. 3c most of the KAM tori have been destroyed. Still the remaining KAM tori separate the red chaotic pond from the green chaotic sea. If these tori were destroyed, the motion would become globally chaotic (which is not the case).

### Stability analysis for general *M*

It is convenient to do the general stability analysis using the common many-body “quantum” notations. The canonical variables are *a*_{j} and its conjugate instead of (* φ*,

*). Then we transform to*

**n***b*

_{k}that are defined via the substitution

The BHH takes the form

where The fixed-point that is associated with *k*_{m} = (2*π*/*M*)*m* is . The linearized Hamiltonian around this fixed-point is separable:

where *q* = (2*π*/*m*) × integer are the possible differences in *k* values, and

and

After Bogoliubov transformation it takes the form

where the Bogoliubov excitation frequencies are

Note that the familiar textbook expression for the phonon excitation of the Φ = 0 ground state is obtained upon the substitution *k*_{m} = 0. For the problem under study we get

where *u* = *NU*/*K*.

### Swap scenario

Inspecting Fig. 1 one observes that superfluidity diminishes in the vicinity of the indicated dotted line. It turns out that the swap scenario is originated from a global non-linear resonance. This can be established by inspection of Poincare sections (see below): at the transition two separatrixes swap in phase-space. In order to derive the resonance condition we rewrite the Hamiltonian equation (1) using:

Defining *ω*_{0} = −*K* cos(Φ/3), and *ω*_{±} = −*K* cos(±2*π*/3 − Φ/3), this leads to:

We consider the subspace of states with *n*_{0} − *n*_{−} = 0, and keep only the resonant coupling and its conjugate. Then we define the reaction coordinate is *J*_{z} = (1/4)(2*n*_{+} − *N*), associated ladder operators *J*_{±}, and hooping generator *J*_{x} = (*J*_{+} + *J*_{−})/2, such that the Hamiltonian takes the form:

The non-linear resonance happens if the first term vanishes, leading to equation (8).

## Additional Information

**How to cite this article**: Arwas, G. *et al.* Superfluidity and Chaos in low dimensional circuits. *Sci. Rep.* **5**, 13433; doi: 10.1038/srep13433 (2015).

## References

- 1.
Landau, L. D. The theory of superfluidity of helium II.

*Zh. Eksp. Teor. Fiz.***11**592 (1941). - 2.
Hakim, V. Nonlinear Schrödinger flow past an obstacle in one dimension.

*Phys. Rev. E***55**, 2835 (1997). - 3.
Albert, M., Paul, T., Pavloff, N. & Leboeuf, P. Breakdown of the superfluidity of a matter wave in a random environment.

*Phys. Rev. A***82**, 011602(R) (2010). - 4.
Feynman, R. P.

*Statistical Mechanics: A Set of Lectures*(Westview Press, Boulder, CO, 1998). - 5.
Raman, C.

*et al.*Evidence for a Critical Velocity in a Bose-Einstein Condensed Gas.*Phys. Rev. Lett.***83**, 2502 (1999). - 6.
Polkovnikov, A., Altman, E., Demler, E., Halperin, B. & Lukin, M. D. Decay of superfluid currents in a moving system of strongly interacting bosons.

*Phys. Rev. A***71**, 063613 (2005). - 7.
Wu, B. & Niu, Q. Superfluidity of Bose-Einstein condensate in an optical lattice: Landau-Zener tunnelling and dynamical instability.

*New J. Phys.***5**, 104 (2003). - 8.
Smerzi, A., Trombettoni, A., Kevrekidis, P. G. & Bishop, A. R. Dynamical Superfluid-Insulator Transition in a Chain of Weakly Coupled Bose-Einstein Condensates.

*Phys. Rev. Lett.***89**, 170402 (2002). - 9.
Cataliotti, F. S.

*et al.*Superfluid current disruption in a chain of weakly coupled Bose-Einstein condensates.*New J. Phys.***5**, 71 (2003). - 10.
De Sarlo, L.

*et al.*Unstable regimes for a Bose-Einstein condensate in an optical lattice.*Phys. Rev. A***72**, 013603 (2005). - 11.
Kolovsky, A. R., Korsch, H. J. & Graefe, E. M. Bloch oscillations of Bose-Einstein condensates: Quantum counterpart of dynamical instability.

*Phys. Rev. A***80**, 023617 (2009). - 12.
Anglin, J. R. Second-quantized Landau-Zener theory for dynamical instabilities.

*Phys. Rev. A***67**, 051601 (2003). - 13.
Ryu, C.

*et al.*Observation of Persistent Flow of a Bose-Einstein Condensate in a Toroidal Trap.*Phys. Rev. Lett.***99**, 260401 (2007). - 14.
Moulder, S., Beattie, S., Smith, R. P., Tammuz, N. & Hadzibabic, Z. Quantized supercurrent decay in an annular Bose-Einstein condensate.

*Phys. Rev. A***86**, 013629 (2012). - 15.
Wright, K. C., Blakestad, R. B., Lobb, C. J., Phillips, W. D. & Campbell, G. K. Driving Phase Slips in a Superfluid Atom Circuit with a Rotating Weak Link.

*Phys. Rev. Lett.***110**, 025302 (2013). - 16.
Eckel, S.

*et al.*Hysteresis in a quantized superfluid ‘atomtronic’ circuit.*Nature***506**, 200–203 (2014). - 17.
Ryu, C., Blackburn, P. W., Blinova, A. A. & Boshier, M. G. Experimental Realization of Josephson Junctions for an Atom SQUID.

*Phys. Rev. Lett.***111**, 205301 (2013). - 18.
Kanamoto, R., Saito, H. & Ueda, M. Stability of the quantized circulation of an attractive Bose-Einstein condensate in a rotating torus.

*Phys. Rev. A***68**, 043619 (2003), - 19.
Cherny, A. Y., Caux, J. S. & Brand, J. Theory of superfluidity and drag force in the one-dimensional Bose gas.

*Frontiers of Physics***7**, 54 (2012). - 20.
Cominotti, M., Rossini, D., Rizzi, M., Hekking, F. & Minguzzi, A. Optimal Persistent Currents for Interacting Bosons on a Ring with a Gauge Field.

*Phys. Rev. Lett.***113**, 025301 (2014). - 21.
Amico, L.

*et al.*Superfluid qubit systems with ring shaped optical lattices.*Sci. Rep.***4**, 4298 (2014). - 22.
Rey, A. M., Burnett, K., Satija, I. I. & Clark, C. W. Entanglement and the Mott transition in a rotating bosonic ring lattice.

*Phys. Rev. A***75**, 063616 (2007). - 23.
Hallwood, D. W., Burnett, K. & Dunningham, J. Macroscopic superpositions of superfluid flows.

*New J. Phys.***8**, 180 (2006). - 24.
Nunnenkamp, A., Rey, A. M. & Burnett, K. Superposition states of ultracold bosons in rotating rings with a realistic potential barrier.

*Phys. Rev. A***84**, 053604 (2011). - 25.
Hallwood, D. W., Ernst, T. & Brand, J. Robust mesoscopic superposition of strongly correlated ultracold atoms.

*Phys. Rev. A***82**, 063623 (2010). - 26.
Albiez, M.

*et al.*Direct Observation of Tunneling and Nonlinear Self-Trapping in a Single Bosonic Josephson Junction.*Phys. Rev. Lett.***95**, 010402 (2005). - 27.
Levy, S., Lahoud, E., Shomroni, I. & Steinhauer, J. The a.c. and d.c. Josephson effects in a Bose–Einstein condensate.

*Nature***449**, 579–583 (2007). - 28.
Anker, Th.

*et al.*Nonlinear Self-Trapping of Matter Waves in Periodic Potentials.*Phys. Rev. Lett.***94**, 020403 (2005). - 29.
Morsch, O. & Oberthaler, M. Dynamics of Bose-Einstein condensates in optical lattices.

*Rev. Mod. Phys.***78**, 179 (2006). - 30.
Bloch, I., Dalibard, J. & Zwerger, W. Many-body physics with ultracold gases.

*Rev. Mod. Phys.***80**, 885 (2008). - 31.
McKay, D., White, M., Pasienski, M. & DeMarco, B. Phase-slip-induced dissipation in an atomic Bose-Hubbard system.

*Nature***453**, 76–79 (2008). - 32.
Henderson, K., Ryu, C., MacCormick, C. & Boshier, M. G. Experimental demonstration of painting arbitrary and dynamic potentials for Bose–Einstein condensates.

*New J. Phys.***11**, 043030 (2009). - 33.
Eilbeck, J. C., Lomdahl, P. S. & Scott, A. C. The discrete self-trapping equation.

*Physica D***16**, 318–38 (1985). - 34.
Hennig, D., Gabriel, H., Jorgensen, M. F., Christiansen, P. L. & Clausen, C. B. Homoclinic chaos in the discrete self-trapping trimer.

*Phys. Rev. E***51**, 2870 (1995). - 35.
Flach, S. & Fleurov, V. Tunnelling in the nonintegrable trimer - a step towards quantum breathers.

*J. Phys.: Condens. Matter***9**, 7039 (1997). - 36.
Nemoto, K., Holmes, C. A., Milburn, G. J. & Munro, W. J. Quantum dynamics of three coupled atomic Bose-Einstein condensates.

*Phys. Rev. A***63**, 013604 (2000). - 37.
Franzosi, R. & Penna, V. Chaotic behavior, collective modes, and self-trapping in the dynamics of three coupled Bose-Einstein condensates.

*Phys. Rev. E***67**, 046227 (2003). - 38.
Johansson, M. Hamiltonian Hopf bifurcations in the discrete nonlinear Schrödinger trimer: oscillatory instabilities, quasi-periodic solutions and a new type of self-trapping transition.

*J. Phys. A: Math. Gen.***37**, 2201–2222 (2004). - 39.
Hiller, M., Kottos, T. & Geisel, T. Complexity in parametric Bose-Hubbard Hamiltonians and structural analysis of eigenstates.

*Phys. Rev. A***73**, 061604(R) (2006). - 40.
Viscondi, T. F. & Furuya, K. Dynamics of a Bose–Einstein condensate in a symmetric triple-well trap.

*J. Phys. A***44**, 175301 (2011). - 41.
Jason, P., Johansson, M. & Kirr, K. Quantum signatures of an oscillatory instability in the Bose-Hubbard trimer.

*Phys. Rev. E***86**, 016214 (2012). - 42.
Buonsante, P., Penna, V. & Vezzani, A. Quantum signatures of the self-trapping transition in attractive lattice bosons.

*Phys. Rev. A***82**, 043615 (2010). - 43.
Lee, C., Alexander, T. J. & Kivshar, Y. S. Melting of Discrete Vortices via Quantum Fluctuations.

*Phys. Rev. Lett.***97**, 180408 (2006). - 44.
Kolovsky, A. R. Semiclassical Quantization of the Bogoliubov Spectrum.

*Phys. Rev. Lett.***99**, 020401 (2007). - 45.
Arwas, G., Vardi, A. & Cohen, D. Triangular Bose-Hubbard trimer as a minimal model for a superfluid circuit.

*Phys. Rev. A***89**, 013601 (2014). - 46.
Amico, L., Osterloh, A. & Cataliotti, F. Quantum Many Particle Systems in Ring-Shaped Optical Lattices.

*Phys. Rev. Lett.***95**, 063201 (2005). - 47.
Lin, Y. J., Compton, R. L., Jimenez-Garcia, K., Porto, J. V. & Spielman, I. B. Synthetic magnetic fields for ultracold neutral atoms.

*Nature***462**, 628–632 (2009). - 48.
Dalibard, J., Gerbier, F., Juzeliunas, G. & Öhberg, P. Colloquium: Artificial gauge potentials for neutral atoms.

*Rev. Mod. Phys.***83**, 1523 (2011). - 49.
Machholm, M., Nicolin, A., Pethick, C. J. & Smith, H. Spatial period doubling in Bose-Einstein condensates in an optical lattice.

*Phys. Rev. A***69**, 043604 (2004). - 50.
Ghosh, P. & Sols, F. Vortex trapping in suddenly connected Josephson junctions of Bose-Einstein condensates.

*Phys. Rev. A***77**, 033609 (2008). - 51.
Paraoanu, G. S. Persistent currents in a circular array of Bose-Einstein condensates.

*Phys. Rev. A***67**, 023607 (2003). - 52.
Svitak, J. F., Tyng, V. & Kellman, M. E. Bifurcation Analysis of Higher m:n Resonance Spectroscopic Hamiltonian.

*J. Phys. Chem. A***106**, 10797 (2002). - 53.
Lichtenberg, A. & Lieberman, M.

*Regular and Chaotic Dynamics*(Springer-Verlag, NY, 1992).

## Acknowledgements

This research has been supported by by the Israel Science Foundation (grant Nos. 346/11 and 29/11) and by the United States-Israel Binational Science Foundation (BSF).

## Author information

## Affiliations

### Department of Physics, Ben-Gurion University of the Negev, Beer-Sheva, Israel

- Geva Arwas
- & Doron Cohen

### Department of Chemistry, Ben-Gurion University of the Negev, Beer-Sheva, Israel

- Amichay Vardi

## Authors

### Search for Geva Arwas in:

### Search for Amichay Vardi in:

### Search for Doron Cohen in:

### Contributions

All authors have contributed to this article. The numerical analysis and the figures have been prepared by G.A., while the text of Ms has been discussed, written and iterated jointly by the 3 authors.

### Competing interests

The authors declare no competing financial interests.

## Corresponding author

Correspondence to Doron Cohen.

## Comments

By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.

This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/