Spin dynamics simulations - a powerful method for the study of critical dynamics
- 格式:pdf
- 大小:245.44 KB
- 文档页数:10
Simulation of Robotic ManipulatorsLeon ŽlajpahJožef Stefan InstituteJamova 39, 1000 Ljubljana, Slovenialeon.zlajpah@ijs.siAbstract: Simulation is a powerful visualization, planning, and strategic tool in different areas of research and development. The simulation has also a very important role in robotics. In the paper we focus on different tools for the dynamic simulation of robot manipulators, especially on those based on MATLAB/Simulink or using general dynamic engines and graphic languages. We present and compare some tools for the simulation of robot manipulators and their visualization.Keywords: Robotic manipulators, Simulation, Visualization, Dynamic enginesI INTRODUCTION Simulation has been recognized as an important tool since the beginning of the 20th century and robotics as a modern technological branch is no exception. Actually, in robotics simulation plays a very important role, perhaps more important than in many other fields. We present the simulationof dynamics of robotic manipulators, and compare some tools for the simulation of robot manipulators in MATLAB/Simulink. Finally and we give an overview of simulation and visualization tools suitable for the simulation of robot systems using general dynamic engines and graphic languages.II SIMULATIONTOOLS Being able to simulate opens a wide range of options for solving many problems creatively. You can investigate, design, visualize, and test an object or even if it does not exists.A large amount of simulation software is available for robot systems, and it is already being used extensively. Simulation allows us to study the structure, characteristics and the function of a robot system at different levels of details each posing different requirements for the simulation tools.As the complexity of the system under investigation increases the role of the simulation becomes more and more important. Advanced robotic systems are quite complex systems. Hence, the simulation tools can certainly enhance the design, development, and even the operation of robotic systems. Augmenting the simulation with visualization tools and interfaces, one can simulate the operation of the robotic systems in a very realistic way. Depending on the particular application different structural attributes and functional parameters have to be modelled. Therefore, a variety of simulation tools has been developed for the robotic systems which are used in mechanical designof robotic manipulators, design of control systems, off-line programmingsystems, to design and test the robotcells, etc. The majority of the robotsimulation tools focus on the motion ofthe robotic manipulator in differentenvironments. As the motionsimulation has a central role in allsimulation systems they all includekinematic or dynamic models of robotmanipulators.The simulation tools for roboticsystems can be divided into two majorgroups: tools based on generalsimulation systems and special toolsfor robot systems.Tools based on general simulationsystems are usually special modules,libraries or user interfaces whichsimplify the building of robot systemsand environments within these generalsimulation systems. One of theadvantages of such integratedtoolboxes is that they enable you touse other tools available in thesimulation system to perform differenttasks. For example, to design controlsystem, to analyse simulation results,to visualize results, etc. The mostpopular general simulation tools whichare used also for simulation of robotsystems are MATLAB/Simulink,Dymola/Modelica, 20-sim, Mathemati-ca, etc.Special simulation tools for robotscover one or more tasks in roboticslike off-line programming, design ofrobot work cells, kinematic anddynamic analysis, mechanical design.They can be specialized for specialtypes of robots like mobile robots,underwater robots, parallelmechanisms, or they are assigned topredefined robot family.2.1 MATLAB-based Tools MATLAB is definitely one of the mostused platforms for the modelling andsimulation of various systems and it isnot surprising that it has been usedintensively for the simulation ofrobotics systems. Among others themain reason for that are its capabilitiesof solving problems with matrixformulations and easy extensibility. Asan extension to MATLAB, SIMU-LINK adds many features for easiersimulation of dynamic systems, e.q.graphical model and the possibility tosimulate in real-time. Among specialtoolboxes that have been developed forMATLAB we have selected forcomparison the following four:(a) Planar Manipulators Toolbox(PMT) [1] is intended for thesimulation of planar manipulators withrevolute joints and is based onLagrangian formulation. PlanarManipulators Toolbox can be used tostudy kinematics and dynamics, todesign control algorithms, for trajecoryplanning. It enables also real timesimulation. Due to its concept it is verygood tool for education. To gain thetransparency, special blocks have beendeveloped to calculate the kinematicand dynamic models. These blocks arethen used to build the desired model.Figure 1 shows the dynamic modelwhere an external force acts on theend-effector. The block dymodallwhich calculates the system vectorsand matrices x, J, ˙J, H, h and g andthen joint accelerations are calculatedusing Lagrangian equation.(b) SD/FAST [2] can be used toperform analysis and design studies onany mechanical system which can bemodelled as a set of rigid bodies inter-Figure 1Dynamic model (PMT)connected by joints, influenced by forces, driven by prescribed motions, and restricted by constraints. Here thedynamic model is calculated using SD/FAST library which is based on the advanced Kane’s formulation.(Order(n) formulation). Then using the SD/FAST compiler the dynamic model is generated. The simulation of thewhole system is based on PMT. The only difference is that a special S-function is used to interface SD/FASTprocedures and Simulink.(c) The Robotics Toolbox (RT) [3] provides many functions that are required in robotics and addresses areas such as kinematics, dynamics, and trajectory generation. RT is useful for simulation as well as for analysing the results from experiments with real robots, and can be a powerful tool for education. RT is based on a general method of representing the kinematics and dynamics of serial-link manipulators by description matrices.The inverse dynamics is calculatedusing the recursive Newton-Euler formulation. Although it was initiallymeant to be used with MATLAB, itcan be used also with Simulink. Figure2 shows the block scheme of thedynamic model using RoboticsToolbox.(d) SimMechanics (SM) [4] extendsSimulink with the tools for modellingFigure 2Dynamic model (RT)and simulating mechanical systems.With SimMechanics, you can model and simulate mechanical systems with a suite of tools to specify bodies andtheir mass properties, their possible motions, kinematic constraints, and coordinate systems, and to initiate andmeasure body motions. To get a dynamic model of a robot manipulator we have first to build the link model,i.e. to connect link masses with joints as it is shown on Figure 3. All linkmodels are then connected together tothe complete model. Figure 3Model of one link (SM) 2.2 Other General Simulation Tools Similar as in MATLAB the robotsystem can be simulated in Dymolaand Modelica, or 20-sim. Here, theMulti-Body libraries provide 3-dimen-sional mechanical components tomodel rigid multibody systems, suchas robots. The robot system is built byconnecting blocks representing parts ofthe robot like link bodies, joints, actuators, etc. Figure 4 shows the simulation of KUKA robot in Modelica [5] and Figure 5 shows the simulation of a parallel robotmanipulator with 20-sim [6].Figure 4Simulation of a robot with ModelicaFigure 5Simulation of a Tripod with 20-sim 3DMechanics Toolbox2.3 Multibody Dynamic Enginess In the last years new simulation tools have been available based on general engines for the simulation of physics environments [8, 9, 2]. These engines provide libraries for simulating the multi-body dynamics, i.e. the physics of motion of an assembly of constrained or restrained bodies. As such they encompass the behaviour of nearly every object and among them are, of course, also robot manipulators. These dynamic engines have beside the dynamics simulation engine also acollision detection engine. The collision engine is given information about the shape of each body and then it figures out which bodies touch each other and passes the resulting contact point information to the user. The user can then take the proper actions. Building the model of a robot is straightforward. First you have to create all bodies and connect them if desired with proper joints. For example, the 3DOF model can be defined using Open Dynamic Engine (ODE) as shown in Figure 6.// create worldcontactgroup.create (0); world.setGravity (9.81,0,0);dWorldSetCFM (world.id(),1e-5); dPlane plane(space,0,0,1,0); // fixed robot basexbody[0].create(world);xbody[0].setPosition(0,0,SIDE/2);box[0].create(space,SIDE,SIDE,SIDE); box[0].setBody(xbody[0]);bjoint = dJointCreateFixed (world,0); dJointAttach (bjoint,xbody[0],0); dJointSetFixed (bjoint); // robot linksfor (i=1; i<=NUM; i++) { xbody[i].create(world);xbody[i].setPosition(0,(i-0.5)*LENG,(i+0.5)*SIDE); m.setBox(1,SIDE,LENG,SIDE); m.adjust(MASS);xbody[i].setMass(&m);box[i].create(space,SIDE,LENG,SIDE); box[i].setBody(xbody[i]); }// robot jointsfor (i=0; i<NUM; i++) { joint[i].create(world);joint[i].attach(xbody[i],xbody[i+1]);joint[i].setAnchor(0,(i)*LENG,(i+1)*SIDE); joint[i].setAxis(0,0,1);}Figure 63R planar manipulator simulated with ODEUnfortunately, most of dynamics engines do not support functionality necessary to include robot models in the control algorithms. Advanced control algorithms including robot models include Jacobian matrices, inertia matrices, gravity forces, etc., and they are not explicitly defined. The user can use some implicit algorithms or other tools to get this parameters. The dynamic simulation of multibody systems becomes very important when introducing robotics into human environments [10, 11, 12], where the success will not depend only on the capabilities of the real robots but also on the simulation of such systems. For example, in applications like virtual prototyping, teleoperation, training, collaborative work, and games, physical models are simulated and interacted with both human usersand robots.Figure 7A force-closure grasp of the mug using the DLRhandFor example, the dynamics engine within a robotic grasping simulator known as GraspIt! [13] computes the motions of a group of connected robot elements, such as an arm and a hand, under the influence of controlled motor forces, joint constraint forces, contact forces and external forces. This allows users to dynamically simulate an entire grasping task, as well as test custom robot control algorithms. Fig. 12 shows how a robot hand can grasp a mug. In this example, all contacts between the fingers and the mug and related forces are analysed.III COMPARISONFor comparison reasons we have simulated only the dynamics, without any task controller. In all four cases it has been very easy to build the robot system. One of the differences is that special toolboxes for robots have predefined more specific functions and blocks as the general toolboxes and the other is the execution time. In Fig. 5 we give the execution time for the dynamic model for all four approaches. First we can see that SD/FAST is significantly faster than other and is increasing more slowly versus the degrees-of freedom than other. Next, Planar Manipulators Toolbox is fast for small number of degrees-of-freedom and the execution time increases fast with the number of degrees-of-freedom. The Robotics Toolbox is relatively fast as long as we use only the inverse dynamics. Otherwise, e.g. for the calculation of the Jacobian matrix, it is significantly slower, because the calculation is based on M-functions.ConclusionWe have presented that the simulationis widely used in robotics Actually, advanced robot systems require sophisticated simulation tools which can model accurately enough the physical world at sufficient speed and allow user interaction. New challengesin the simulation of robotic systems are multi-body dynamics that computes robot and object motionsunder the influence of external forces, fast collision detection and contact determination, realistic visualization of the robot and environment, and haptic interaction. Advanced simulation tools are the foundation for the design of sophisticated robot systems, for the application of robots in complex environments and for the development of new control strategies and algorithms. The simulation being once a tool for the analysis of a robot system and task planning has become an open platform for developing new robot systems. In the end, I believe simulation in robotics has reached a very important role and by using different simulation software, the current and future capabilities of complex robotic systems can besignificantly improved.Figure 8Calculation time of a dynamic model of 3Rplanar robot manipulator References[1]L. Žlajpah: Integrated environ-ment for modelling, simulationand control design for roboticmanipulators. J. of Intelligent.and Robotic Systems, 32(2):219-234, 2001[2]Symblic Dynamics, Inc. SD/FASTUser’s Manual, 1994 [3]P. I. Corke: A Robotics Toolboxfor MATLAB. IEEE Robotics &Automation Magazine, 3(1):24-32, 1996[4]The Mathworks. SimMechanics,User’s Guide, 2005[5]Kazi, G. Merk: Experience withRealSim for Robot Applications.Technical report, KUKA RoboterGmbH, 2002[6]20-sim, Controllab Products,/[7]J. F. Nethery, M. W. Spong:Robotica: a Mathematica packagefor robot analysis. IEEE Robotics& Automation Magazine, 1(1),1994[8]Open Dynamics Engine,/ode.html[9]Newton Game Dynamics,/[10]O. Khatib, O. Brock, K.-S.Chang, F. Conti, D. Ruspini:Human-Centered Robotics andInteractive Haptic Simulation. Int.Journal of Robotic Research,23(2):167-178, 2002[11]A. T. Miller, H. I. Christensen:Implementation of multi-rigid-body dynamics within a roboticgrasping simulator. In Proc. IEEEInt. Conf. on Robotics andAutomation, pages 2262-2268,Taipei, Taiwan, 2003[12]J. Go, B. Browning, M. Veloso:Accurate and flexible simulationfor dynamic, vision-centricrobots. In Proceedings ofInternational Joint Conference onAutonomous Agents and Multi-Agent Systems (AAMAS’04), 2004 [13]A. Miller and P. K. Allen:Graspit!: A versatile simulator forrobotic grasping. IEEE Roboticsand Automation Magazine,11(4):110-122, Dec 2004。
a r X i v :c o n d -m a t /0605703v 2 [c o n d -m a t .m e s -h a l l ] 11 A u g 2006Nuclear Spin Effect in Metallic Spin ValveJ.Danon 1and Yu.V.Nazarov 11Kavli Institute of NanoScience,Delft University of Technology,2628CJ Delft,The Netherlands(Dated:February 6,2008)We study electronic transport through a ferromagnet normal-metal ferromagnet system and we investigate the effect of hyperfine interaction between electrons and nuclei in the normal-metal part.A switching of the magnetization directions of the ferromagnets causes nuclear spins to precess.We show that the effect of this precession on the current through the system is large enough to be observed in experiment.In recent years considerable theoretical and experimen-tal work is aimed at the controlled manipulation of elec-tron spin in nanoscale solid state systems,a field com-monly referred to as spintronics [1].The main moti-vations for this research are applications in conventional computer hardware [2]as well as the futuristic possibility of quantum computation [3],using single electron spins as information carrying units (qubits ).For both purposes,understanding the mechanisms of spin polarization,re-laxation,and dephasing in solid state systems is crucial.The branch of metallic spintronics has quickly evolved after the discovery of the giant magnetoresistance (GMR)in hybrid ferromagnetic normal metal structures [4,5].Theoretical and experimental studies on magnetic mutlilayers have not only revealed interesting physics,but also already led to several applications in magneto-electronic devices.Magnetic recording read heads based on the GMR were first developed some ten years ago [6],but nowadays can be found in nearly all hard disk drives.In the context of quantum computation,semiconduc-tor quantum dots are regarded as promising candidates for storing electron spin based qubits [7].Recent progress in quantum manipulation of single spins [8]has over-come the effects of various spin relaxation processes in these devices.The unavoidable hyperfine interaction be-tween electron and nuclear spin presently attracts much attention.It has been identified as the main source of spin relaxation in high-purity samples at low tempera-tures [9,10]and can even govern the electron transport in double dots [11].At present,hyperfine interaction is seen as the main obstacle to demonstrate quantum com-putation with electron spins in solid state devices.In many other fields,for instance nuclear magnetic res-onance (NMR)experiments,hyperfine interactions play a central role already for decades.The Overhauser ef-fect [12]is a common way to increase the degree of nu-clear polarization in metals enhancing NMR peaks.In semiconductors,optical orientation techniques [13]are used to polarize the nuclear system.In the context of metallic devices,hyperfine interaction has been thought to be too weak to influence charge transport directly,and it has been regarded merely as an extra source of spin re-laxation [1].In this paper,we predict a clearly observable hyper-fine effect on electron transport in a metallic device.Thereby we demonstrate that hyperfine interactions may be important and possibly even dominant also for metal-lic spintronic devices.We consider electronic transport through a ferromagnet normal-metal ferromagnet multi-layer.This so-called spin valve is the basic magnetoelec-tronic device and the core component of all GMR based read heads.By changing the magnetization directions of the two ferromagnetic leads,one alters the total resis-tance of the device as well as the degree and direction of electronic polarization in the normal metal part in the presence of a current.Although the spin and particle transport properties of spin valves are well investigated and understood [14],effects of hyperfine interaction in magnetic multilayers have been hardly studied at all.One may think that these effects are negligible owing to the small value of the hyperfine interaction constant A ≃10−6eV in met-als.We show,however,that electron spins accumulating in the normal metal part can build up a significant po-larization of nuclear spins.The direction of this polar-ization is determined by the magnetizations of the leads.If the magnetizations are suddenly changed,this affects the electronic spin distribution in the normal metal part immediately (at a time scale τe ≃10−11s).The nuclear spin polarization reacts on a much longer time scale and will start to precess slowly around its new equilibrium direction.In this paper we are mainly interested in the feedback of the nuclear polarization on the electronic sys-tem.We show that due to such feedback the precession manifests itself as oscillations in the net current through the device.The amplitude of these oscillations is esti-mated as A/E th .Here E th is the Thouless energy char-acterizing the typical electron dwell time in the valve.The estimation is valid provided this time is shorter than the spin relaxation time τsf ,which sets an upper bound for the effect,Aτsf /¯h .For typical parameters,the rela-tive magnitude of the current oscillations can be of the order 10−4∼10−5,which is clearly large enough to be measured in experiments.We model our system as a small metallic island con-nected to two ferromagnetic leads (Fig.1).We assume the island to be smaller than the spin diffusion length l sf and the time an electron spends in the island much2FNFFIG.1:A schematic picture of the system considered.Asmall metallic island is connected to two large ferromagnetic reservoirs with magnetizations m L and m R .The contacts are charcterized by conductances G L and G R ,which consist of spin-dependent parts G ↑and G ↓,and a mixing conductance G ↑↓.The length of the normal metal part is significantly smaller than the spin diffusion length.smaller than τsf ,which allows us to disregard spin-orbitrelaxation mechanisms in the island.We also assume that the resistance of the junctions by far exceeds the resistance of the island itself.In this case,we can de-scribe the electronic states in the island with a single coordinate-independent distribution function f (E,t ).The two ferromagnetic leads are modeled as large reser-voirs in local equilibrium,with magnetizations in arbi-trary directions m L and m R .Assuming for simplicity T =0,we approximate the electronic distribution func-tion in the leads as f L (R )(E )=θ(µL (R )−E ).The dif-ference in chemical potentials is due to the bias voltage applied eV b =µL −µR .We can disregard temperature provided eV b ≫k B T .In our model,the electron spin polarization is mainly determined by the balance of spin-polarized currents flowing into and out of the ferromagnetic leads.However,a significant correction to this balance comes from hyper-fine coupling between the electron and nuclear spins.The resulting change of the polarization affects the net electric current in the device.So we will first derive an expres-sion for hyperfine induced polarization of electrons and nuclei,and then we combine the result with the known expressions for spin transport through spin valves.The Hamiltonian we use to describe the electronic and nuclear states in the island consists of an electronic part and a part describing the hyperfine interactions,ˆH=ˆH el +ˆH hf ˆH el = kǫk ˆa†k ↑ˆa k ↑+ˆa †k ↓ˆa k ↓ ˆHhf =n A n ˆ S n (t )·ˆΨ†(r n )1dt≈ i¯h2ˆH (t ), ˆH (t ′),ˆa †kαˆakβ ,(2)where the indices αand βnow span a 2×2spin space.We see that the expansion can be completely expressedin the commuting operators ˆ S n and ˆa (†).Using Wick’s theorem,we write the terms with fourand six creation and annihilation operators as products of pairs,which then again can be interpreted as distribu-tion functions f (E,t ).Further,we assume that the elec-trons are distributed homogeneously on the island and approximate A n =A/n 0,A being the hyperfine coupling energy of the material and n 0the density of nuclei with non-zero spin [15].We find up to the second orderd fs ¯h S (t ) × f s (t )−12− fs (t )· S (t )f s (t )+13collinear magnetizations.This yieldsd f s τefs (t )+1τeαR [−f p (t )]+βR m R · f s (t ) m R .(4)Following [14],wedescribeeach spin-active junction withfour conductances,G ↑,G ↓and G ↑↓=(G ↓↑)∗.(If the junction is not spin-active,G ↑=G ↓=G ↑↓=G ↓↑=G ).The electron spin is subject to an effective fieldBe =−1Re(G ↑↓L +G ↑↓R ),and we introduce dimensionless parameters characteriz-ing the spin activity of the junctions αL (R )=G ↑L (R )−G ↓L (R )G ↑L (R )+G ↓L (R )βL (R )=2Re(G ↑↓L (R ))−G ↑L (R )−G ↓L (R )dt=1P L[1−f p (t )]−αRdthf=−νeV bd fs dthf+d fs dt=0.(7)As to nuclear polarization at constant voltage and mage-tization,it is of the order of 1owing to a sort of Over-hauser effect produced by non-equilibrium electrons pass-ing the island.Indeed,it follows from Eq.6that the sta-tionary 2 S= f s /[f p (1−f p )+| f s |2].We see that S and fs are parallel under stationary conditions.This is disappointing since this will not result in any precession.The essential ingredient of our proposal is to change in time the magnetization(s)of the leads.Let us consider the effect of sudden change of the magnetization in one of the leads at t =0.The electrons will find their new distri-bution,characterized by fnew ,on a timescale of τe .As we see from (6),the nuclear spin system will start to precessaround fnew with the frequency estimated.The precess-ing polarization will contribute to the effective field Be , B e → B e +A S (t ) /¯h in (7).This will result in a smallcorrection to fnew , f (1),which is visible in the net cur-rent through the junction,due to its oscillating nature.A simple expression for this correction is obtained in the limit of weakly polarizing junctions (αL,R ,βL,R ≪1),f(1)(t )=Aτe 2τe[P R m R −P L m L ]· f(1)(t ).(9)The time dependence of nuclear polarization is still gov-erned by Eq.6.Combining Eqs 8and 9,we find that the time-dependent current follows the behavior of S(t ) and therefore exhibits oscillations with frequency ωthat are44 6812 3 4τd (τ˜)ξb.a.τd0.060.080.10ω (ω˜)ω-10-5 0 5 10 0 1020I (t )/〈I 〉 × 105t (µs)0.5 1t (s)FIG.2:(a)Numerical calculation of the relative current fluc-tuations as a function of time.For t >20µs the t -axis is compressed.We used the parameters chosen in the text and further we took for both contacts α=0.128,β=0.115and P =0.333.The magnetizations switch at t =0from m L =(0,0,1),m R =(0,0,−1)to m L =(0,1,0),m R =(0,0,−1).(b)The dependence of the relaxation time and the frequency of the fluctuations on the asymmetry ξin the conductances,where ˜τ=¯h n 0/πA 2ν2eV b and ˜ω=AνeV b /¯h n 0.damped at the long time scale τd .The amplitude of these oscillations ∆I in the limit of small αand βreads|∆I |¯h | S old × f new ||P R m ⊥R −P L m ⊥L |,(10)again proportional to A/E th .In this equation Sold refers to the nuclear polarization before switching the magnetizations and m ⊥L (R )is the part of mL (R )perpen-dicular to fnew .This relation makes it straightforward that one needs non-collinear magnetizations to observe any effect.In the same limit,the damping time and precession frequency are given byτd =τhfn 0¯h νeV b ξ+ξ−1+2.(12)where ξ=G L /G R characterizes the asymmetry of the conductance of the contacts.In Fig.2a we plotted a numerical solution for the cur-rent ˜I(t )/ I and in 2b the dependence of ωand τd on the asymmetry in conductance of the contacts.For 2a we made use of equations (6)and (7),and inserted realistic αL,R and βL,R .For the parameters used,the estimate(10)of the amplitude is 4.4×10−5.Eqs (11)and (12)give τd =0.63s and ω=1.0×105Hz,in agreement with the plot.Typical currents through spin valves of these dimensions using a bias voltage of 10mV range be-tween 10and 100mA.Oscillations of the order of 10−5-10−4should be clearly visible in experiment.The un-avoidable shot noise due to the discrete nature of the electrons crossing the junctions will not prevent even an accurate single-shot measurement,since the measure-ment time can be of the order of τd .An estimate using (δI )2≃2eI/τd gives a relative error of 10−8-10−9,at least three orders smaller than the oscillations.So far we have assumed precisely uniform electron dis-tributions.In a realistic situation however,the finite re-sistance of the island results in a voltage drop over theisland,thus causing spatial variation of f 0and fs .Impor-tantly,this gives variations in the precession frequencyω∝A | f s |/¯h .Such variation ∆ωover the length of theisland will contribute to an apparent relaxation of the spin polarization,since precession in different points of the island occurs with a slightly different frequency.This effect adds a term 1/τ∗=∆ωto the damping rate 1/τd .Assuming a simple linear voltage drop over the normal metal part,we find 1/τ∗=(G junc /G isl )ω0,i.e.the ratio of the total conductance of the spin valve and the con-ductance of the metal island times the average oscillation frequency ω0.Although the effect can reduce the appar-ent relaxation time,provided (∆ω)τd ≫1,it will not influence the time-dependent current just after t =0.In conclusion,we have shown how hyperfine-induced nuclear precession in the normal metal part of a spin valve can be made experimentally visible.The precession should give a clear signature in the form of small oscil-lations in the net current through the valve after sudden change of the magnetizations of the leads.We found a coupled set of equations describing the nuclear and elec-tron spin dynamics resulting from a second order pertur-bation expansion in the hyperfine contact Hamiltonian.We presented a numerical solution for the net current and derived an estimate for the amplitude of the oscillations.We found that the relative amplitude of these oscillations is sufficiently big to be observable.The authors acknowledge financial support from FOM and useful discussions with G.E.W.Bauer.[1]I.ˇZuti´c ,J.Fabian,and S.Das Sarma,Rev.Mod.Phys.76,323(2004).[2]S.Parkin,X.Jiang,C.Kaiser,A.Panchula,K.Roche,and M.Samant,Proc.IEEE 91,661(2003).[3]D. D.Awschalom, D.Loss,and N.Samarth,eds.,Semiconductor Spintronics and Quantum Computation (Springer-Verlag,Berlin,2002).[4]M.N.Baibich,J.M.Broto, A.Fert,F.Nguyen VanDau,F.Petroff,P.Eitenne,G.Creuzet,A.Friederich,5and J.Chazelas,Phys.Rev.Lett.61,2472(1988). [5]G.Binasch,P.Gr¨u nberg,F.Saurenbach,and W.Zinn,Phys.Rev.B39,4828(1989).[6]S.Parkin,in Annual Review of Materials Science,editedby B.W.Wessels(Annual Review Inc.,Palo Alto,CA, 1995),vol.25,pp.357–388.[7]D.Loss and D.P.DiVincenzo,Phys.Rev.A57,120(1998).[8]J.R.Petta,A.C.Johnson,J.M.Taylor,ird,A.Yacoby,M.D.Lukin,C.M.Marcus,M.P.Hanson,and A.C.Gossard,Science309,2180(2005).[9]I.A.Merkulov,A.L.Efros,and M.Rosen,Phys.Rev.B65,205309(2002).[10]S.I.Erlingsson,Y.V.Nazarov,and V.I.Fal’ko,Phys.Rev.B64,195306(2001).[11]F.H.L.Koppens,J.A.Folk,J.M.Elzerman,R.Han-son,L.H.Willems van Beveren,I.T.Vink,H.P.Tranitz, W.Wegscheider,L.P.Kouwenhoven,and L.M.K.Van-dersypen,Science309,1346(2005).[12]A.W.Overhauser,Phys.Rev.92,411(1953).[13]F.Meier and B.P.Zakharchenya,eds.,Optical orienta-tion(Elsevier,Amsterdam,1984).[14]A.Brataas,Y.V.Nazarov,and G.E.W.Bauer,Phys.Rev.Lett.84,2481(2000).[15]J.Schliemann,A.Khaetskii,and D.Loss,J.Phys.:Con-dens.Matter15,1809(2003).[16]K.Xia,P.J.Kelly,G.E.W.Bauer,A.Brataas,andI.Turek,Phys.Rev.B65,220401(2002).。
simulation parameters and results -回复Simulation Parameters and ResultsIntroduction:Simulation is the process of creating an artificial model of areal-world system to understand its behavior and predict its outcomes. It has become an essential tool in various fields such as engineering, economics, and social sciences. In this article, we will explore the different parameters involved in simulation and discuss how they affect the results obtained.Step 1: Defining the ProblemThe first step in simulation is to define the problem or thereal-world system that needs to be modeled. This involves understanding the objectives and constraints of the system. For example, in a manufacturing process, the objective could be to optimize production while minimizing costs.Step 2: Identifying the VariablesOnce the problem is defined, the next step is to identify the variables that affect the behavior of the system. These variables can be classified into two categories: input variables and output variables. Input variables are the ones that can be controlled or manipulated, such as production rate, machine speed, or inventory levels. Output variables are the ones that are influenced by the input variables, such as production output, average waiting time, or customer satisfaction.Step 3: Determining the ModelAfter identifying the variables, the next step is to determine the model that represents the system. The model can be a mathematical equation, a set of equations, or a computer program. The model should capture the relationships between the variables and enable the simulation of the system's behavior.Step 4: Specifying the AssumptionsIn simulation, assumptions play a crucial role in simplifying the model and making it manageable. Assumptions are necessary because it is not always possible to consider all the factors thatinfluence the system's behavior. Assumptions can be related to the behavior of the variables, the distribution patterns, or the constraints of the system. It is important to clearly state the assumptions made to avoid any confusion in the interpretation of the results.Step 5: Selecting the Simulation TechniqueThere are different simulation techniques available, depending on the nature of the system being modeled. Some common simulation techniques include discrete-event simulation, system dynamics, and agent-based simulation. The selection of the simulation technique depends on factors such as the complexity of the system, the availability of data, and the objectives of the simulation.Step 6: Setting the ParametersOnce the simulation technique is selected, it is essential to set the parameters that define the system's behavior. These parameters can include the initial conditions, the rules governing the system's dynamics, and the decision-making process. For example, in a supply chain simulation, the parameters could be the lead time,order quantities, and reorder points.Step 7: Running the SimulationAfter setting the parameters, the simulation can be run using appropriate software or programming tools. The simulation generates a sequence of values for the output variables based on the specified values of the input variables. The simulation runs for a specific duration or until a predefined condition is met.Step 8: Analyzing the ResultsOnce the simulation is completed, the results need to be analyzed to gain insights into the system's behavior. The analysis can include statistical measures such as mean, standard deviation, or percentiles. It can also involve visualization techniques such as histograms or line graphs to understand the patterns and trends in the data obtained.Step 9: Validating the ModelValidation is the process of comparing the simulation results withreal-world data or observations to ensure the accuracy of the model. If the simulation results closely match the observed behavior, it can be concluded that the model is valid and can be used to make predictions or test scenarios.Step 10: Sensitivity Analysis and Scenario TestingSensitivity analysis involves studying how changes in the input variables affect the output variables. It helps in understanding the critical factors that influence the system's behavior. Scenario testing involves simulating different scenarios to explore the system's response under various conditions. Both sensitivity analysis and scenario testing help in making informed decisions and improving the system's performance.Conclusion:Simulation is a powerful tool for understanding complex systems and making informed decisions. By carefully defining the problem, identifying variables, determining the model, and setting the parameters, accurate results can be obtained. However, it isimportant to interpret the results with caution and validate the model against real-world data. Simulation provides a valuable platform for experimentation and optimization, ultimately leading to better system design and performance.。
Espoo Feb2004'$BEYOND MOLECULAR DYNAMICSHerman J.C.BerendsenBiophysical Chemistry,University of Groningen,the NetherlandsGroningen Institute for Biosciences and Biotechnology(GBB)CSC,EspooLecture nr4,Thursday,5Februari,2004Molecular dynamics with atomic details is limited to time scales in the order of100ns.Events that are in micro-or millisecond range and beyond,as well as systemsizes beyond100,000particles,call for methods to simplify the system.The key is to reduce the number of degrees of freedom.Thefirst task is to define important degrees of freedom.The’unimportant’degrees of freedom must be averaged-out in such a way that the thermodynamic and long time-scale propertiesare preserved.The reduction of degrees of freedom depends on the problem one wishes to solve.One approach is the use of superatoms,lumping several atoms into one interactionunit.The interactions change into potentials of mean force,and the omitted de-grees of freedom are replaced by noise and friction.On an even coarser scale onemay lump many particles together and describe the behavior in terms of densitiesrather than positions.On a mesoscopic(i.e.,nanometer to micrometer)scale,thefluctuations are still important,but on a macroscopic scale they become negligibleand the Navier-Stokes equations of continuumfluid dynamics emerge.A modern development is to handle the continuum equations with particles(DPD:dissipative particle dynamics).'$ Espoo Feb2004 REDUCED SYSTEM DYNAMICSSeparate relevant d.o.f.rand irrelevant d.o.f.rForce on r :part correlated with positions rpart correlated with velocities˙rrest is’noise’,not correlated with positions or velocities of primed par-ticles.F i(t)=−∂V mf∂r i+F frictioni+F i(t)noiseF frictioni(t)is a function of v j(t−τ).F i(t)noise=R i(t)withR i(t) =0v j(t)R i(t+τ) =0(τ>0)R(t)is characterized by stochastic properties:•probability distribution w(R i)dR i•correlation function R i(t)R j(t+τ)Projection operator technique(Kubo and Mori;Zwanzig)give ele-gant framework to describe relation between friction and noise[Van Kampen in Stochastic Processes in Physics and Chemistry(1981):“This equation is exact but misses the point.The distribution cannot be determined without solving the original equation...”)]'$ Espoo Feb2004 POTENTIAL OF MEAN FORCE-1Requirement:Preserve thermodynamics!Helmholtz free energy A:A=−k B T ln QQ=ce−βV(r)d rDefine a reaction coordinateξ(may be more than one dimension).Sep-arate integration over the reaction coordinate from the integral in Q:Q=cdξd r e−βV(r)δ(ξ(r)−ξ)Define potential of mean force V mf(ξ)asV mf(ξ)=−k B T lncd r e−βV(r)δ(ξ(r)−ξ),so thatQ=e−βV mf(ξ)dξandA=−k B T lne−βV mf(ξ)dξNote that the potential of mean force is an integral over multidimensional hyperspace.It is generally not possible to evaluate such integrals from simulations.As we shall see,it will be possible to evaluate derivatives of V mf from ensemble averages.Therefore we shall be able to compute V mf by integration over multiple simulation results,up to an unknown additive constant.'$ Espoo Feb 2004 POTENTIAL OF MEAN FORCE-2To simplify,look at cartesian coordinates.ξ=r .So r are the impor-tant coordinates,and r are the unimportant coordinates.How can we determine the PMF from simulations?Let us perform a simulation in which r is constrained,while r is freeto move.V mf(r )=−k B T lnce−βV(r ,r )d r∂V mf(r )∂r i =∂V(r ,r )∂r ie−βV(r ,r )d re−βV(r r )d r=∂V(r ,r )∂r i= F c i .Derivative of potential of mean force is the ensemble-averaged constraint force(cartesian).The constraint force follows from the coordinate resetting in constraint dynamics.(This is still true in more complex’reaction coordinates’,but there are small metric tensor corrections)'$ Espoo Feb2004DIFFUSION COEFFICIENTHow to determine the diffusion constant from constrained simulations? Determinefluctuation of constraint force∆F c(t)=F c(t)− F c . Fluctuation-dissipation theorem:∆F c(0)∆F c(t) =k B Tζ(t)ζ= ∞ζ(t)dtD=k B T ζHenceD=(k B T)2∞∆F c(0)∆F c(t) dt'$ Espoo Feb 2004LANGEVIN DYNAMICS-1General form of friction force:approximated by linear response in time,linear in velocities:F fr i(t)=m ij tγij(τ)v j(t−τ)dτThis gives(in cartesian coordinates)the generalized Langevin equation:m i d v idt=−∂V mf∂r i−m ijtγij(τ)v j(t−τ)dτ+R i(t)If a constrained dynamics is carried out with r constant(hence v =0), then the’measured’force on i approximates a representation of R i(t). So one can determine an approximation to the noise correlation functionC R ij(τ)= R i(t)R j(t+τ).(assumption:motion of r that determines R(t)is fast compared to the motion of r )There is a relation between friction and noise.Espoo Feb2004'$ LANGEVIN DYNAMICS-2Relation between friction and noiseAverage total energy should be conserved(averaged over time scale large compared to noise correlation time)•Systematic force is conservative(change in kinetic energy cancelschange in V mf)•Frictional force is dissipative:decreases kinetic energy•Stochastic force has infirst order no effect since v j(t)R i(t+τ) =0.In second order it increases the kinetic energy.The cooling by friction should cancel the heating by noise(fluctuation-dissipation theorem).This leads toR(0)R(t) =k B T mγ(t)'$ Espoo Feb 2004LANGEVIN APPROXIMATIONS(write m iγij=ζij)Generalized Langevinm i˙v i(t)=−∂V mf∂x i−jtζij(τ)v j(t−τ)dτ+R i(t)withR i(0)R j(t) =k B Tζji(t) includes coupling(space)and memory(time). Simple Langevin with hydrodynamic couplingm i˙v i(t)=−∂V mf∂x i−jζij v j(t)+R i(t)withR i(0)R j(t) =2k B Tζjiδ(t) includes coupling(space),but no memory. Simple Langevinm i˙v i(t)=−∂V mf∂x i−ζi v i(t)+R i(t)withR i(0)R j(t) =2k B Tζiδ(t)δij includes neither coupling nor memory.'$ Espoo Feb2004BROWNIAN DYNAMICS-1If systematic force does not change much on the time scale of the ve-locity correlation function,we can average over a time∆t>τc.The average acceleration becomes small and can be neglected(non-inertial dynamics):0≈F i(x)−jζij v j(t)+R iwithR i= t+∆ttR(t )dtR i(0)R j(t) =2k B Tζjiδ(t)Be aware that the average acceleration is not zero if there is a cooperative motion with large massHence v j(t)can be solved from matrix equationζv=F+R(t)Solve in time steps∆tRandom force R i withR i =0R i R j =2k B Tζji∆tR i and R j are correlated random numbers,chosen from bivariate gaus-sian distributions.'$ Espoo Feb2004BROWNIAN DYNAMICS-2Without hydrodynamic coupling:v i=F iζi+r ir i is random number chosen from(gaussian)distribution with variance 2k B T∆t/ζi.x i(t+∆t)=x i(t)+v i∆tVelocity can be eliminated.Write D=k B T/ζ(diffusion constant) yields Brownian dynamicsx(t+∆t)=x(t)+Dk B TF(t)∆t+r(t)r =0r2 =2D∆tF must assumed to be constant during∆t.The longer∆t,the smaller the noise.For slow processes in macroscopic times the noise goes to zero.Espoo Feb2004'$ REDUCED PARTICLE DYNAMICSSuperatom approachLump a number of atoms together into one particle(e.g.10monomersof a homopolymer).Design forcefield for those superatoms including bonding and nonbonding terms.For polymer:•soft harmonic spring between particles,representing Gaussian distri-bution of superatom-distance distributions•harmonic angular term in chain,representing stiffness•Lennard-Jones type interactions between particles•solvent:LJ particleDerive parameters from•experimental data(density,heat of vaporization,solubility,surfacetension,...,•atomic simulations of small system(radius of gyration,end-to-enddistance distribution,radial distribution functions,....Perform normal Molecular Dynamics.Adding friction and noise hasinfluence on dynamics,but is not needed for equilibrium properties. Example:Nielsen et al.,J.Chem.Phys.119(2003)2043.Espoo Feb2004'$DPDWe can also describe the space and time-dependent densities as the im-portant variables(e.g.described on a grid of points),and consider all detailed degrees of freedom as unimportant.This leadsfirst to meso-scopic dynamics(still including noise),and for even coarser averagingto the macroscopic Navier-Stokes equation.The Navier-Stokes equation is normally solved on a grid of points. Dissipative Particle Dynamics attempts to solve the Navier-Stokes equations using an ensemble of special particles.Originally proposed by Hoogerbrugge and Koelman,Europhys.Lett.19 (1992)155.Improved by Espa˜n ol,Warren,Flekkoy,Coveney.See article by Espa˜n ol in SIMU Newsletter Issue4,Chapter III,http://simu.ulb.ac.be/newsletters/N4III.pdf。
a r X i v :c o n d -m a t /9912375v 1 [c o n d -m a t .s t a t -m e c h ] 20 D e c 19991Spin dynamics simulations –a powerful method for the study of critical dynamics ndau ,Alex Bunker ∗),Hans Gerd Evertz ∗∗),M.Krech ,and Shan-Ho Tsai Center for Simulational Physics,University of Georgia,Athens,GA 30602,USA (Received February 1,2008)Spin-dynamics techniques can now be used to study the deterministic time-dependent behavior of magnetic systems containing over 105spins with quite good accuracy.This approach will be introduced,including the theoretical foundations of the methods of analy-sis.Then newly developed,improved techniques based upon Suzuki-Trotter decomposition methods will be described.The current “state-of-the-art”will be evaluated with specific examples drawn from data on simple magnetic models.The examination of dynamic criti-cal behavior will be highlighted but the extraction of information about excitations at low temperatures will be included.§1.Introduction The static behavior of physical systems near continuous phase transitions is characterized by a set of static critical exponents,which describe the critical be-havior of thermodynamic quantities such as the specific heat,the order parameter,the correlation length,and so on.One can thus define different universality classes,within which the critical exponents are identical.The numerical values of the critical exponents depend only on the symmetry of the order parameter,the dimensionality of the system and the range of interactions,but not on either the precise form of the model Hamiltonian or the lattice type.Likewise,the dynamic critical behav-ior is describable in terms of a dynamic critical exponent z ,which depends on the conservation laws and which,in analogy to static critical phenomena,gives rise to different dynamic universality classes 1).Our understanding of static critical behav-ior is now mature and has resulted largely from the investigation of simple model spin systems such as the Ising,the XY,and the Heisenberg model.These models are equally valuable for the investigation of dynamic critical behavior and dynamic scaling.Realistic models of magnetic materials can be constructed from these simple spin models;however,the theoretical analysis of experimentally accessible quantities,such as the dynamic structure factor,is usually too demanding for analytical puter simulations are beginning to provide important information about dynamic critical behavior and material properties of model magnetic systems.2)-4)These simulations use model Hamiltonians with continuous degrees of freedom rep-resented by a three-component spin S j with fixed length |S j |=1for each lattice site2Landau,Bunker,Evertz,Krech,and Tsaij.A typical model Hamiltonian is then given byH=−J <j,l> S x j S x l+S y j S y l+λS z j S z l −D j S z j 2,(1.1) where J is the coupling constant,<j,l>denotes a nearest-neighbor pair of spins,λis an anisotropy parameter,and D determines the strength of a single-site or crystal field anisotropy.(We use units in which Boltzmann’s constant k B=1.) The dynamics of the spins are governed by the coupled equations of motion5)d∂S j×S j,(1.2) and the time dependence of each spin can be determined from the integration of these equations,where(hybrid)Monte-Carlo simulations of the model provides equilibrium configurations as initial conditions for Eq.(1.2).The most important quantity to be extracted from the numerical results is the dynamic structure factor S(q,ω)for momentum transfer q and frequency transfer ω,which can be measured in neutron scattering experiments,and is given byS k(q,ω)= R e i q·R +∞−∞e iωt C k(R,t)dt2π,(1.3) where R=r j−r l(r j and r l are lattice vectors),C k(R,t)is the space-and time-displaced correlation function,with k=x,y,or z,defined as C k(R,t)= S j k(t)S l k(0) − S j k(t) S l k(0) .Two practical limitations on spin-dynamics techniques are thefinite lattice size and thefinite evolution time.Thefinite time cutoffcan introduce oscillations in S k(q,ω),which can be smoothed out by convoluting the spin-spin correlation func-tion with a resolution function in frequency,which is equivalent to the energy reso-lution in neutron-scattering experiments,yielding¯S k(q,ω).Finite-size scaling the-ory3),6)can be used to extract the dynamic critical exponent z:the divergence of the correlation lengthξis limited by L and the dynamicfinite-size relations are given byω¯S L k(q,ω)2π=1Spin dynamics simulations (3)dynamics are obeyed.It is evident from Eq.(1.2)that the total energy is conserved,and if,for example,D=0andλ=1(isotropic Heisenberg model)the magnetization M= j S j is also conserved.For the anisotropic Heisenberg model,i.e.,λ=1or D=0only M z is conserved.Conservation of spin length and energy is particularlycrucial,because the condition|S j|=1is a major part of the definition of the model and the energy of a configuration determines its statistical weight.It would therefore also be desirable to devise an algorithm which conserves these two quantities exactly.The remaining sections of this paper are organized as follows.In Section2we describe integration methods,including a newly developed technique based onSuzuki-Trotter decompositions of exponential operators.7),8)In Section3we discuss two examples of physical systems,namely the two-dimensional XY model and the three-dimensional Heisenberg antiferromagnet,and comparison with experiment and theory.The purpose of these examples is to show just how far the state-of-the-art has developed in producing and analyzing spin-dynamics data.In Section4we give a brief summary of this paper.§2.Integration methods2.1.Predictor-corrector methodPredictor-corrector methods have been quite effective for the numerical integra-tion of spin equations of motion;however,in order to limit truncation errors small time stepsδt must be used with at least a4th-order scheme.The predictor step of the scheme used here is the explicit Adams-Bashforth four-step method9)and the corrector step consists of typically one iteration of the implicit Adams-Moulton three-step method.9)This predictor-corrector method is very general and is independent of the special structure of the equations of motion(see Eq.(1.2)).The conservation laws discussed earlier will only be observed within the accuracy set by the truncation error of the method.In practice,this limits the time step to typically4)δt=0.01/J in d=3,where the total integration time is typically600/J or less.2.2.Suzuki-Trotter decomposition methodsThe motion of a spin may be viewed as a precession of the spin S around an effective axisΩwhich is itself time dependent.The lattice can be decomposed into two sublattices such that a spin on one sublattice precesses in a localfieldΩof neighbor spins which are all located on the other sublattice.For the Hamiltonian in Eq.(1.1)there are only two such sublattices if the underlying lattice is simple cubic.To illustrate the method,we considerfirst the D=0case.The basic idea of the algorithm is to rotate a spin about its localfieldΩby an angleα=|Ω|δt,rather than directly integrate Eq.(1.2).This procedure guarantees the conservation of the spin length|S|and energy to within machine accuracy.Denoting the two sublattices by A and B,respectively,we can express the localfields acting on the spins on sublattice A and B asΩA[{S}]andΩB[{S}],respectively.In a more symbolic way,we denote y as a complete spin configuration,which is decomposed into two sublattice components y A and y B,i.e.y=(y A,y B),and we denote by matrices A and B the generators4Landau,Bunker,Evertz,Krech,and Tsaiof the rotation of the spin configuration y A on sublattice A atfixed y B and of the spin configuration y B on sublattice B atfixed y A,respectively.The update of theconfiguration y from time t to t+δt is then given by an exponential(matrix)operatory(t+δt)=e(A+B)δt y(t).(2.1) The exponential operator in Eq.(2.1)rotates each spin of the configuration and ithas no simple explicit form,because the rotation axis for each spin depends on the configuration itself;however,the set of equations of motion for spins on one sublattice reduces to a linear system of differential equations if the spins on the other sublattice are keptfixed and the operators e Aδt and e Bδt which rotate y A atfixed y B and y B atfixed y A,respectively,do have a simple explicit form.8)Thus an alternating update scheme may be used,i.e.,we rotate y A atfixed y B and vice-versa. The alternating update scheme amounts to the replacement e(A+B)δt→e Aδt e Bδt in Eq.(2.1),which is only correct10)up to order(δt)2.The magnetization will thereforeonly be conserved up to terms of the orderδt(global truncation error).To decrease truncation error and thus to improve the conservation,one can employ m th-order Suzuki-Trotter decompositions of the exponential operator in Eq.(2.1),namely10)ue(A+B)δt=e p i Aδt/2e p i Bδt e p i Aδt/2+O(δt m+1)(2.2)i=1where u=1for2nd-order,u=5for4th-order,and u=15for8th-order and theparameters p i are given by Suzuki and Umeno.10)The additional computational effort needed to evaluate higher order expressions can be compensated to some extent by using larger time steps.The inclusion of next-nearest neighbor bilinear interactions on a simple cubic lattice can be treated within the above framework if the lattice is decomposed into four sublattices.This approach can also be extended to the case D=0,but in contrast to the isotropic case,the equation of motion for each individual spin on each sublattice is nonlinear.In practice,the best form of solution is via iterative numerical methods. In order to perform a rotation operation in analogy to the isotropic case we identify an effective rotation axis Ωj=Ωj−D 0,0,S z j(t)+S z j(t+δt) ,such that the condition for energy conservation is rewritten in the form Ωj·(S j(t+δt)−S j(t))=0.Since the rotation requires knowledge of S z j at the future time t+δt,we use an iterative procedure starting from the initial value S z j(t+δt)=S z j(t)+(Ωj×S j(t))zδt and performing several updates according to the decompositions given by Eq.(2.2)in order to improve energy conservation.Both the degree of conservation and the execution time depend to some extent on the number of iterations used.For a quantitative analysis of the integration methods outlined above we restrict ourselves to the Hamiltonian given by Eq.(1.1)forλ=1in d=3and J>0. The underlying lattice is simple cubic with L=10lattice sites in each direction and periodic boundary conditions.In order to compare the different integration methods we investigate the accuracy within which the conservation laws are fulfilled.The initial configuration is a well equilibrated one from a Monte-Carlo simulation for λ=1at a temperature T=0.8T c for D=0and D=J,where T c refers to theSpin dynamics simulations (5)critical temperature of the isotropic model (D =0).Fig.1shows the magnetization conservation for the 4th-and 8th-order decomposition methods,both with δt =0.1/J ,for D =0and Fig.2shows the energy conservation for different methods for D =J .In the latter case the iterative nature of all four methods gives rise to a0200400600800t J 0.6092600.6092650.6092700.609275m(t)4th−order δt=0.1/J8th−order δt=0.1/JFig.1.Magnetization m (t )=|M (t )|/L 3per spin for different order decomposition schemes for D =0and time step δt =0.1/J :(solid line)4th-order scheme;(dashed line)8th-order method.0200400600800t J −2.5745−2.5740−2.5735−2.5730−2.5725e(t)predictor−corrector δt=0.01/J2nd−order δt=0.04/J4th−order δt=0.1/J8th−order δt=0.2/J 532Fig.2.Energy e (t )=E (t )/(JL 3)per spin for different order decomposition schemes for D =J :(solid line)predictor-corrector method;(dot-dashed line)2nd-order scheme;(dashed line)4th-order scheme;(dotted line)8th-order method.The number of iterations performed are marked next to each line.basically linear energy change.A single integration step using the 2nd-,the 4th-and the 8th-order scheme is respectively about 2times faster,2.5and 9times slower than the predictor-corrector method;the speedup of the decomposition methods comes6Landau,Bunker,Evertz,Krech,and Tsaifrom the much largerδt that can be used.For D=0it is still feasible to use the 4th-order method withδt=0.2/J,which corresponds to an eightfold speedup as compared to the predictor-corrector method.The8th-order method improves the conservation significantly but at the cost of greatly increased execution time.§3.Examples of physical systems3.1.Two-dimensional XY modelThe two-dimensional XY model can be described by the Hamiltonian in Eq.(1.1) withλ=0and D=0.At the critical temperature2)T KT=0.700(5)J,the model undergoes an unusual phase transition to a state with bound,topological excitations (vortex pairs),and the static properties are consistent with the predictions of the Kosterlitz-Thouless theory.11)For T≤T KT the model is critical,i.e.the correlation length is infinite,but there is no long-range order,and the spin-spin correlation function decays algebraically with distance,with an exponentηthat varies with temperature.In our studies of the dynamics of this model2),we used L×L lattices with peri-odic boundary conditions for16≤L≤192and several values of T.The equations of motion(see Eq.(1.2))were integrated using a4th-order predictor-corrector method, with a time step ofδt=0.01/J,to a maximum time t max=400/J.Between500 and1200equilibrium configurations were used for each lattice size and temperature. We were limited to the[10]reciprocal lattice direction,i.e.q=(q,0)and(0,q).For T≤T KT,the in-plane component S x(q,ω)exhibits very strong and sharp spin-wave peaks.As T increases,they widen slightly and move to lowerω,but re-main pronounced even just above T KT.For increasing momentum they broaden and rapidly lose intensity.Well above T KT,the spin-wave peak disappears in S x(q,ω),as expected,and we observe a large central peak instead.Besides the spin-wave peak, S x(q,ω)exhibits a rich low-intensity structure,which we interpret as two-spin-wave processes(see Fig.3).Furthermore,S x(q,ω)shows a clear central peak,even below T KT,which becomes very pronounced towards T KT.Neither this strong central peak nor the additional structure are predicted by existing analytical calculations.The out-of-plane component S z(q,ω)is much weaker than S x(q,ω),except for large q. The very sharp spin-wave peaks at low temperatures allowed us to determine the dispersion curves with great accuracy.Our estimated value of the dynamic criti-cal exponent is z=1.00(4),in agreement with the theoretical prediction of z=1. The line shape of S x(q,ω)is not well described by either Villain’s12)or Nelson and Fisher’s13)prediction(the latter agrees qualitatively with our data only for large q) (see Fig.4).Moreover,these predictions do not describe the additional structure in S x(q,ω),including the central peak.3.2.Three-dimensional Heisenberg antiferromagnet and RbMnF3RbMnF3is a good physical realization of an isotropic three-dimensional Heisen-berg antiferromagnet,described by the Hamiltonian in Eq.(1.1)withλ=1,D=0 and J<0.Early experimental studies[see references in Ref.14)]showed that theSpin dynamics simulations...7020406080100S x(q,ω)ω/J Fig.3.Low-intensity structure in S x (q,ω)for T=0.6J,L=192and q =π/32.Vertical arrows showthe location of two-spin-wave peaks formed by spin waves of small momentum q <4(2π/L ).0.00.51.0 1.50.00.51.01.5123410−310−210−1100ω/cq data(q=π/32)VillainT=0.7Jcq S (q,ω)χ (q)xx VillainNF NFdata parison of the line shape of S x (q,ω)with theoretical predictions.Data are at T =T KT ,L =128,and q =π/32(thick line),normalized as cqS x (q,ω)/χx (q ),where c is the spin-wave velocity.The two thin lines represent the predictions by Nelson and Fisher 13)(continuous line)and by Villain 12)(dashed line),both with η=0.25.The inset shows the data and predictions on a log-log plot that includes large values of ω.Mn 2+ions,with spin S =5/2,form a simple cubic lattice structure with a nearest-neighbor exchange constant |J exp |=0.58(6)meV and a second-neighbor interaction constant of less than 0.04meV,both defined using the normalization as in Eq.(1.1).Magnetic ordering with antiferromagnetic alignment of spins occurs below the criti-cal temperature T c =83K .The magnetic anisotropy is very low,about 6×10−6of the exchange field,and no deviation from cubic symmetry was seen at T c .In our simulations 14),we used simple cubic lattices with 12≤L ≤60at T ≤8Landau,Bunker,Evertz,Krech,and TsaiT c=1.442929(77)|J|.Numerical integrations of the coupled equations of motion were performed to a maximum time t max≤1000|J|−1,using the algorithm based on 4th-order Suzuki-Trotter decompositions of exponential operators,with a time step δt=0.2|J|−1.As many as7000initial configurations were used,although for large lattices this was reduced to as few as400.We were limited to the[100],[110]and [111]directions,i.e.q=(q,0,0),(q,q,0),(q,q,q)and the equivalent momenta.For this model the order parameter is not conserved and the dynamic structure factor cannot be separated into a longitudinal and a transverse component.Henceforth we will use the term dynamic structure factor S(q,ω)and characteristic frequency¯ωm to refer to the average.We compare our results with the recent neutron scattering data of Coldea et al.15)Although the compound RbMnF3is a quantum system,and our simulations are for a classical Hamiltonian,it has been shown that quantum Heisenberg sys-tems with large spin values(S≥2)behave as classical Heisenberg systems where the spins are vectors of magnitudeS(S+1)w/J.For our comparison,the experimental T-andω-dependent population factor was removed from the experimental data,and the lineshapes from our simulation were convoluted with the experimental Gaussian resolution function in energy.Fig.5shows the di-rect comparison of S(q,ω)in the[111]direction from simulation and experiment for q=2π(0.08)[in this notation the Brillouin zone edge in the[111]direction cor-responds to q=2π(0.25)],at T=0.894T c and at T c.Below T c,renormalization group theory16)(RNG)predicts a spin-wave peak and a central peak in the longi-tudinal component of S(q,ω);however,at T c,both RNG17)and mode coupling18) (MC)theory predict only the presence of a spin-wave peak,while the experiment and the simulationfind a spin-wave peak and a central peak at T=T c as well(see Fig.5(b)).At low temperatures the central peak has very low intensity and the dom-inant structures are very narrow and sharp spin-wave peaks,from which accurate dispersion curves could be found.The dispersion curve for small q changes from a linear behavior at low T to a power-law relation as T→T c.The dynamic critical exponent z was extracted from the slope of a log(¯ωm)vs log(L)plot(see Eq.(1.5))corresponding to the[100]direction,using lattices in the asymptotic-size regime(L≥30),and keeping qL andδωL z constant.Forδω=0, wefind z=1.45(1)for n=qL/(2π)=1and z=1.42(1)for n=ing δω=0requires an iterative procedure and the converged values that we obtained are z=1.43(1)for n=1and z=1.42(1)for n=2.Hence,ourfinal estimate is z=1.43(3),which is in agreement with the recent experimental value z=1.43(4), and slightly lower than the theoretical prediction z=d/2=1.5.§4.SummaryWe have shown how spin-dynamics techniques can be used to study critical and low-temperature magnetic excitations using simple classical spin models that haveSpin dynamics simulations...90.0 1.0 2.0 3.04.05.06.0ω (meV)0204060S (q ,ω) (c o u n t s /15 s e c s .)q=0.08 x 2 πT=0.894T c (a)0.0 1.0 2.0 3.04.05.0ω (meV)020406080S (q ,ω) (c o u n t s /15 s e c s .)experiment fit to experiment RNG theory MC theory simulation T = T c q = 0.08 x 2 π(b)parisons of lineshapes obtained from fits to simulation data for L =60(solid line)and the experiment (open circles)for q =2π(0.08)in the [111]direction,at (a)T =0.894T c and (b)T =T c .The dot-dashed line in (b)is a fit to the experimental data which is compared to the predictions of renormalization group (RNG)and mode coupling (MC)theory.The horizontal line segment in each graph represents the 0.25meV resolution in energy (full-width at half-maximum).true dynamics,governed by equations of motion.The solution of these equations is generally possible through the use of algorithms based on Suzuki-Trotter decom-positions of exponential operators and we compare their relative performance with each other and with a predictor-corrector method.As examples of interesting phys-ical systems,we studied the two-dimensional XY model and the three-dimensional Heisenberg model.We determined dynamic structure factors and through a finite-size scaling we estimated the dynamic critical exponent of these systems.We have also made comparisons with theoretical predictions and experimental data.10Landau,Bunker,Evertz,Krech,and Tsai10100L0.11.0ωm_Fig.6.Finite-size scaling plot for ¯ωm (with qL =const,δωL z =const)for the analysis with and without a resolution function.For the former case,the data used correspond to the converged values of z ,for n =1,2.The error bars were smaller than the symbol sizes.AcknowledgementsThis work was partially supported by NSF grant No.DMR-9727714.Our simulations were carried out on the Cray T90at the San Diego Supercomputing Center,and on an SGI Origin2000and IBM R6000in the University of Georgia.References1)P.C.Hohenberg and B.I.Halperin,Rev.Mod.Phys.49,435(1977).2)H.G.Evertz and ndau,Phys.Rev.B 54,12302(1996).3)K.Chen and ndau,Phys.Rev.B 49,3266(1994).4)A.Bunker,K.Chen,and ndau,Phys.Rev.B 54,9259(1996).5)R.W.Gerling and ndau,Phys.Rev.B 41,7139(1990).6)D.C.Rapaport and ndau,Phys.Rev.E 53,4696(1996).7)F.Frank,W.Huang,B.Leimkuhler,p.Phys.133,160(1997).8)M.Krech,A.Bunker,and ndau,mun.111,1(1998).9)R.L.Burden,J.D.Faires,and A.C.Reynolds,Numerical Analysis (Prindle,Weber &Schmidt,Boston,1981),p.205and p.219.10)M.Suzuki and K.Umeno in Computer Simulation Studies in Condensed Matter Physics VI ,edited by ndau,K.K.Mon,and H.B.Sch¨u ttler (Springer,Berlin,1993),p.74.11)J.M.Kosterlitz and D.J.Thouless,J.Phys.C 6,1181(1973).12)J.Villain,J.Phys.(Paris)35,27(1974).13)D.R.Nelson and D.S.Fisher,Phys.Rev.B 16,4945(1977).14)S.-H.Tsai,A.Bunker,and ndau,Phys.Rev.B,in press (see references therein).15)R.Coldea,R.A.Cowley,T.G.Perring,D.F.McMorrow,and B.Roessli,Phys.Rev.B 57,5281(1998).16)G.F.Mazenko,M.J.Nolan,and R.Freedman,Phys.Rev.B 18,2281(1978).17)R.Freedman and G.F.Mazenko,Phys.Rev.Lett.34,1575(1975);Phys.Rev.B 13,4967(1976).18) A.Cuccoli,S.W.Lovesey,and V.Tognetti,J.Phys.:Condens.Matter 6,7553(1994).。