Arxiv:2005.07485V2 [Cond-Mat.Quant-Gas] 20 May 2021 Interacting Bosons in 4D [48–51]
Total Page:16
File Type:pdf, Size:1020Kb
Superfluid Vortices in Four Spatial Dimensions Superfluid Vortices in Four Spatial Dimensions Ben McCanna∗ and Hannah M. Price School of Physics and Astronomy, University of Birmingham, Edgbaston, Birmingham B15 2TT, UK Ben McCanna∗ and Hannah M. Price School of Physics and Astronomy, University of Birmingham, Quantum vorticesEdgbaston in superfluids Park have Road, been B15 an 2TT, important West Midlands, research United area for Kingdom many decades. Natu- rally, research on this topic has focused on two and three-dimensional superfluids, in which vortex cores formQuantum points vorticesand lines, in superfluids respectively. have Very been recently, an important however, research there area has for been many growing decades. interest Natu- in the quantumrally, research simulation on this topicof systems has focused with onfour two spatial and three-dimensional dimensions; this superfluids, raises the in question which vortex of how vorticescores would form behave points in and a higher-dimensional lines, respectively. Very superfluid. recently, Inhowever, this paper, there has we beginbeen growing to establish interest the phenomenologyin the quantum of vortices simulation in 4D of superfluids systems with under four rotation, spatial dimensions; where the this vortex raises core the can question form ofa plane. how In 4D,vortices the most would generic behave type in a of higher-dimensional rotation is a \double superfluid. rotation" In this with paper, two we angles begin (or to establish frequencies). the We show,phenomenology by solving the of vortices Gross-Pitaesvkii in 4D superfluids equation, under that rotation, the simplest where the case vortex of equal-frequency core can form a plane. double rotationIn can 4D, stabilise the most a generic pair of type vortex of rotation planes intersecting is a \double atrotation" a point. with This two opens angles up (or a frequencies). wide number We show, by solving the Gross-Pitaesvkii equation, that the simplest case of equal-frequency double of future research topics, including into realistic experimental models; unequal-frequency double rotation can stabilise a pair of vortex planes intersecting at a point. This opens up a wide number of rotations;future the research stability topics, and potential including unequal-frequency reconnection dynamics double of rotations; intersecting the stability vortex and surfaces; reconnection and the possibilitydynamics of closed of intersecting vortex surfaces. vortex surfaces; and the possibility of closed vortex surfaces. QuantumQuantum vortices vortices are fundamental are fundamental topological topological excita- excita- 2D 3D 4D tions oftions superfluids, of superfluids, which which have have been been widely widely studied studied for for w w many years [1{7]. Unlike a lot of many-body phenom- z many years [1{7]. Unlike a lot of many-body phenom- S y ena, vorticesena, vortices can be can understood be understood at the at mean-fieldthe mean-field level level i y m x x x x throughthrough the Gross the GrossPitaevskii Pitaevskii equation equation (GPE) (GPE) [1]. [1]. A su- A su- p z w w perfluid vortex consists of a local density depletion within perfluid vortex consists of a local density depletion within l x y z the \vortex core", around which the superfluid circulates. e x x the \vortex core", around which the superfluid circulates. y In 2D andIn 2D 3D and superfluids, 3D superfluids, this vortex this vortex core core forms forms a point a point x x x x w w and a lineand respectively, a line respectively, as sketched as sketched in Fig in Fig 1. 1.Vortices Vortices D have an associated energy cost, but can be stabilised by o have an associated energy cost, but can be stabilised by u rotation of the superfluid [2, 3], or equivalently by artifi- No Double No Double rotation of the superfluid [2, 3], or equivalently by artifi- b Rotations Rotations z cial magnetic fields [8{10]. l y cial magneticWhile fields research [8{10]. has so far naturally focused on vor- e x x x x Whiletices research in 2Dhas and so3D far superfluids, naturally there focused is growing on vor- inter- tices inest 2D in and simulating 3D superfluids, systems with there four is spatial growing dimensions. inter- FIG.FIG. 1. 1. Sketch (Colour of online) minimal Sketch vortex of minimal structures, vortex stabilised structures, for est in simulatingThis is thanks systems to experimental with four spatial and theoretical dimensions. investi- differentstabilised system for different dimensionalities system dimensionalities (columns) and(columns types) and of ro- types of rotation (rows). Here, \simple" and \double" indi- This isgations thanks of to 4D experimental physics in topological and theoretical pumping investi- [11{13], tation (rows). Here, \simple" and \double" indicate rotations withcate one rotations or two with planes one of or rotation two planes respectively, of rotation asrespectively, discussed in gationshigh-dimensional of 4D physics in parameter topological spaces pumping [14{17] and [11{13], electric as discussed in the text. In 2D and 3D, only simple rotations high-dimensionalcircuits with parameter high connectivity spaces [18{22], [14{17] as and well electric as propos- theexist, text. stabilising In 2D and vortex 3D, cores only as simple a point rotations and line, respectively, exist, stabilis- circuitsals with for high engineering connectivity 4D systems [18{22], using as well \synthetic as propos- dimen- ingabout vortex which cores the as superfluid a point and rotates line, (black respectively, arrow). In about 4D space which als for engineeringsions" [23, 24]. 4D The systems latter, using in particular, \synthetic opens dimen- up the the(shown superfluid as 3D rotates cross-sections (black coloured arrow). according In 4D space to w (shownvalue), as sions" [23,prospect 24]. of The being latter, ableto in explore particular, higher-dimensional opens up the su- 3Dboth cross-sections types of rotation coloured exist, according leading to to aw richervalue), vortex both phe- types of rotation exist, leading to a richer vortex phenomenology. perfluids with artificial gauge fields. In this approach, nomenology. In 4D, equal-frequency double rotations can lead prospect of being able to explore higher-dimensional su- Into 4D, a new equal-frequency type of vortex configuration double rotations consisting can of lead two to vortex a new \synthetic dimensions" are built by coupling together perfluids with artificial gauge fields. In this approach, typeplanes of vortex intersecting configuration at a point, consisting while simple of rotations two vortex stabilise planes the internal states of cold atoms [25{35], photonic sys- \synthetic dimensions" are built by coupling together intersectinga single vortex at a plane. point,In while these simple sketches, rotations a vortex stabilise plane ap- a sin- the internaltems [24,states 36{42] of cold and atoms other platforms [25{35], [43{46]. photonic Such sys- de- glepears vortex either plane. as a In line these persisting sketches, for all a vortexw (lines plane of varying appears tems [24,grees 36{42] of freedom and other are then platforms reinterpreted [43{46]. as lattice Such coordi- de- eithercolour), as a or line as a persisting plane for a for particular all w (linesw value of varying (purple disc), colour), nates in a new direction, increasing the effective system depending on the rotation plane. Note that in the 4D column grees of freedom are then reinterpreted as lattice coordi- orwe as ahave plane omitted for a the particular arrow indicatingw value (purple superfluid disc), motion. depending nates indimensionality, a new direction, while increasing providing the straightforward effective system ways to on the rotation plane. Note that in the 4D column we have realise artificial magnetic fields [47], and hence mimic ro- dimensionality, while providing straightforward ways to omitted the arrow indicating superfluid motion. tation in a higher-dimensional space. realise artificial magnetic fields [47], and hence mimic ro- The potential of synthetic dimensions for reaching 4D atom-atom interactions. The 4D GPE equation can be tation inwith a higher-dimensional (for example) ultracold space. bosonic atoms [23, 33] mo- justified physically as a description of low-temperature The potentialtivates the of question synthetic of dimensions how superfluid for reaching vortices behave 4D minimal model, which naturally extends a standard text- arXiv:2005.07485v2 [cond-mat.quant-gas] 20 May 2021 interacting bosons in 4D [48{51]. It is also a minimal with (forin example) higher dimensions. ultracold In bosonic this Letter, atoms we [23, explore 33] thismo- by book problem to 4D in order to establish basic aspects of model, which allows us explore the simplest examples of tivates thestudying question the 4D of GPE how equation superfluid under vortices rotation, behave with in local 4D vortex physics. More realistic models for experiments 4D vortices without complications that depend on how higher dimensions. In this paper, we take an initial step will depend on the specific synthetic-dimension imple- in this direction by exploring the 4D GPE under rotation, the synthetic dimension is implemented [25{32, 35]. The mentationinclusionchosen, of more andrealistic are experimentallikely to include details, other such effects, as with local∗ atom-atom interactions. This is chosen as a [email protected] suchlattices, as lattices anisotropies, and unusual and long-range interactions interactions with respect in the to the synthetic dimension, that will further enrich the pos- sible vortex states, but will go beyond the current work. We also note that while our main motivation for studying ∗ [email protected] the 4D GPE is as an initial stepping-stone towards pos- 2 sible synthetic-dimension experiments, this model is also teger winding number (or vortex charge) [1]. Smoothly plausible as a description of low-temperature interacting deforming the loop cannot change k as long as vortices bosons in a hypothetical 4D universe (see Appendix A, are avoided. This can only be true if v diverges like 1=r and [48{50]), and so is of mathematical interest for gener- as the distance r from a vortex core goes to zero.