Simulating Quantum Systems [Split Operator Method]

Поделиться
HTML-код
  • Опубликовано: 4 авг 2018
  • More information here: www.algorithm-archive.org/con...
    If you want to contribute, here's the github repo: github.com/algorithm-archivis...
    The music came from Josh Woodward:
    www.joshwoodward.com/
    Please feel free to follow me on Twitter:
    / leiosos
    Twitch (where I do all the simulations):
    / leioslabs
    or Github:
    github.com/leios
    Also, discord:
    / discord
  • НаукаНаука

Комментарии • 138

  • @LeiosLabs
    @LeiosLabs  5 лет назад +31

    Man, this video took me forever and a lot of stuff happened since my last video. I have a lot of stuff to update you guys on, so my next video will be about that. I will also work on making videos regularly instead of sporadically from now on.
    Please let me know what you think!
    Obviously, there are a bunch of links in the description with more information!

    • @WordsandNumbers1
      @WordsandNumbers1 5 лет назад +1

      Great job 👍
      Calculus rocks everywhere. It fits perfectly from quantum level to macro level👍

    • @michaelcharlesthearchangel
      @michaelcharlesthearchangel 5 лет назад

      The future of true quantum language mechanics and human-machine hyper linguistics
      are on the horizon.
      :.:
      (interaction; "at the same time...") Non-linear quantum code gives us general time--timing markers
      for modeling future time-adjusting neural networks.
      ;:
      (interplication; "flashback to...")
      Retrocausality via quantum computation allows a quantum AI
      to flash through several quantum enTangeled mode(l)s in a user's
      train set, cardinal-ized set timeline of
      non-linear yet quantum weighed events; trainSet by the QC AI engineer or
      QC-equipped Plant Manager or QC-equipped 3D Print Operator.
      :;
      (intersequencing; "flashforward to...") The future holds the heaviest quantum weight of Al+l.

    • @michaelcharlesthearchangel
      @michaelcharlesthearchangel 5 лет назад

      ;:
      You learnt
      ereHow
      to quantum code/cascade:.
      The future.:

  • @upandatom
    @upandatom 5 лет назад +25

    This was so good! The simulations have so much potential to explain abstract concepts really clearly. Can’t wait to see more!

    • @LeiosLabs
      @LeiosLabs  5 лет назад +1

      Yeah, totally agreed. Sometimes it's nice to just code something up and mess around with it.

    • @brandonklein1
      @brandonklein1 5 лет назад +3

      Ha... So much potential.

  • @ethangilchrist3534
    @ethangilchrist3534 5 лет назад +11

    I'm sure this video is great, but it's also about a mile over my head. Maybe I'll rewatch this in a few years

    • @LeiosLabs
      @LeiosLabs  5 лет назад +1

      To be fair, I was going to put a disclaimer at the start of the video for that purpose. It is technical, no doubt!

    • @kazz8176
      @kazz8176 5 лет назад

      Omg literal mood 😂😂

  • @thelocalsage
    @thelocalsage 5 лет назад

    Great video! This video gave me some great insights into something I was still trying to wrap my head around. I’m excited to see more videos that delve into the actual mathematical intuition for using and generating these algorithms.

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      I'm glad it was helpful!

  • @ZardoDhieldor
    @ZardoDhieldor 5 лет назад +6

    This channel is awesome! The idea is awesome! I'm glad I found this.

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      I'm glad you like the content!

  • @assassin_un2890
    @assassin_un2890 Год назад

    Dude that video was perfect! Thank you, and no you are good no need to haircut :D please continue these videos about simulating quantum world and your methods which corrected my view so much

  • @peterbarnett8205
    @peterbarnett8205 5 лет назад +3

    Hey, great video! I am super excited to hear how you explain your research!

    • @LeiosLabs
      @LeiosLabs  5 лет назад +3

      So that's officially 1 vote for hearing about my research.

    • @ShinjiCarlos
      @ShinjiCarlos 5 лет назад +2

      You have two votes now, LiosOS!

    • @Campificationify
      @Campificationify 5 лет назад

      Everyone stop promoting this, it's not that interesting

    • @mossylikescake
      @mossylikescake 5 лет назад

      I disagree chris, I think its very interesting! I think he's using GPU's to play minecraft.
      BTW, I miss you everyday Peter....

    • @archw7193
      @archw7193 4 года назад

      3rd up here

  • @anteconfig5391
    @anteconfig5391 5 лет назад

    I've never heard of algorithm-archive. I think I need to go check it out. Great video. I get the feeling you'll have the content I'm looking for. I'm subscribing.

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      The content takes a while to make, but I am happy with the results so far.

    • @anteconfig5391
      @anteconfig5391 5 лет назад

      It's ok. From what I gather you're into computer stuff and quantum physics. I like that stuff too. Right now, though, I'm trying to learn calculus so I'll be focusing on that and some other math stuff I'd need to know for quantum mechanics.

  • @MrTheRabber
    @MrTheRabber 3 года назад +1

    Cool video, I'll need split-step Fourier for master's thesis simulations (about em field propagating in an optical fiber) and that's a good intro. Plus, very inspiring.
    I'm now hoping to find a video on your channel talking about PhDs, why to for it and the pain of it XD If there's not, please do one!

  • @KarlFFF
    @KarlFFF 5 лет назад +25

    2:15 Have you seen 3Blue1Brown's video titled "The more general uncertainty principle, beyond quantum"? might give you some of the answers you're looking for.

    • @LeiosLabs
      @LeiosLabs  5 лет назад +5

      Yeah, there is a lot of good information there.

  • @JebsGameZone
    @JebsGameZone 5 лет назад +1

    Sir! Please share me what software is used in your video? Plz I love it.

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      This was mainly Julia and GathVL: github.com/algorithm-archivists/GathVL

  • @vaibhavirastogi2807
    @vaibhavirastogi2807 5 лет назад +2

    You have absolutely beautiful eyes!!!
    Also, you explained the method really well. I'm lucky to have stumbled across here! Many thanks!

  • @realcygnus
    @realcygnus 5 лет назад +1

    Cool vids ! a channel with much potential......btw I think I seen you watching one of Dan's livestreams?

    • @LeiosLabs
      @LeiosLabs  5 лет назад +1

      Hey, thanks for stopping by! Yeah, Dan's a super cool guy. I like his stuff a lot!

  • @bourgeoisremi9778
    @bourgeoisremi9778 5 лет назад +1

    In celestial mechanics we split the Hamiltonian this way :
    H=H_keplerian_motion + perturbation
    Because the two body problem has an analytic solution.
    See "high précision symplectic integrator for the solar system" blaines 2013 it should interest you!

    • @LeiosLabs
      @LeiosLabs  5 лет назад +1

      Counting in physics: 1, 2, many

  • @TimmyTimTimJ
    @TimmyTimTimJ 5 лет назад +3

    You missed an i hbar at 2:30, other than that great video! I enjoyed the visualizations of the simulations

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      Oops. Shoot. It happens. It should be right in the algorithm archive, though.

  • @codetoil
    @codetoil 5 лет назад +3

    I watched a one of your twitch streams!

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      Woo! I'm glad you found your way here!

    • @codetoil
      @codetoil 5 лет назад

      I would like to clarify that I found your youtube channel first, then watched your twitch stream later on.

  • @zafmafattack
    @zafmafattack 4 года назад +1

    good example of a symplectic integrator

  • @lunaticonapogosticc
    @lunaticonapogosticc 5 лет назад +2

    lol at "shrodensher"
    Besides that, great video!

  • @user-go1ip4wo2o
    @user-go1ip4wo2o 2 месяца назад

    mate i literally fucking love you thank you so much this saved me so much time!!!!!

  • @twistedsim
    @twistedsim 5 лет назад +7

    wiggle wiggle wiggle wiggle

  • @VishalGupta-lw9dk
    @VishalGupta-lw9dk 5 лет назад

    Incredible

  • @mathITA
    @mathITA 5 лет назад

    The really cool part is that splitting the method with 1/2, 1, 1/2 instead of 1,1 make the method of the second order instead of the first. And for a full integration in the whole time domain requires only one step more

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      Yeah, I didn't cover exactly why this was the case. In fact, I kinda glossed over it in the Archive too. I should go back and add more there. Thanks for the suggestion!

  • @tommy7788
    @tommy7788 5 лет назад

    I enjoy the video.
    By the way I think it's important to mention that for the imaginary time propagation, the wavefunction must be renormalized after each application of the split operator (SO) with imaginary time otherwise the wavefunction will diminish since the non-real time make the propagation operator deviates from unitarity.
    I am interested to know your PhD research topic, in my work I use Crank-Nicholson instead of SO because I deal with strong laser field interaction with atom where velocity gauge is more favorable. Unfortunately, SO method applied to velocity gauge causes commutation error to be too large at shorter distance from the nucleus.

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      Yeah, this was definitely mentioned in the algorithm archive.

  • @ShinjiCarlos
    @ShinjiCarlos 5 лет назад +1

    You have two votes now, LiosOS!

  • @johnbouttell5827
    @johnbouttell5827 5 лет назад +3

    Schrödinger UK: /ˈʃrɜːrdɪŋər/, US: /ˈʃroʊ-, ˈʃreɪ-/; German: ˈɛɐ̯viːn ˈʃʁøːdɪŋɐ

  • @doomoo5365
    @doomoo5365 4 года назад

    This is interesting it's over my head though but I was wondering something about how scales and music are related to mathematics but sound waves aren't carried in the vacuum of outer space. Do similar scales still permeate the universe?

  • @apuntes8883
    @apuntes8883 5 лет назад

    3:33 I just see the tip of a wave which reprsents a dense particle moving whitin an area or range. That could work inr a radar detection system.

  • @bieldozap
    @bieldozap 5 лет назад

    What a Man!

  • @MrMichkov
    @MrMichkov 5 лет назад

    30s into the video and I've lost it because of a silly greek letter joke. Well played Sir, you win the internet for today.

  • @davidwilkie9551
    @davidwilkie9551 5 лет назад

    "Quantum Mechanics is all about Energy" which is all about Time that virtually exists in the singularity/amplitude of the 1st law, and "moves" (like an Arrow) in the direction of the 2nd law of Thermodynamics?

  • @a52productions
    @a52productions 5 лет назад +2

    What advantages does this have over simply computing the change directly, using difference quotients for the derivatives?

    • @LeiosLabs
      @LeiosLabs  5 лет назад +4

      Good question! So what you are describing would have a relatively high error. This means you need to use way more timesteps to get a result of similar quality result. In addition, the split-op method can be easily parallelized for work on high-performance computing and such. It also has periodic boundary conditions, which makes it kinda nice to deal with for some other reasons. In many ways, it's also easier to implement this method because it's just a bunch of FFT's and multiplications.
      Depending on your situation, there could definitely be better ways to do this. This is just one of the many ways currently used in practice.

    • @blangoog
      @blangoog 5 лет назад +3

      One immediate advantage is that every step in the process preserves the normalization of the wavefunction and the total energy of the system. This is because the evolution operators are unitary. By contrast, the difference quotient method involves operators which are NOT unitary.

  • @Brandon-oc8lr
    @Brandon-oc8lr 5 лет назад

    Great video! I might be missing something obvious, but how can you split up the exponentials like you've done if, in general, V and T do not commute (i.e., e^(T+V) =\= e^T *e^V)? Great video again :)

    • @LeiosLabs
      @LeiosLabs  5 лет назад +1

      iirc that's actually why we do the half-step in position space, full step in momentum, and then half step again in position. This allows the commutational error to "cancel" out.

    • @Brandon-oc8lr
      @Brandon-oc8lr 5 лет назад

      Oh neat, I'll have to look into that. Thanks!

  • @mariohernandez1111
    @mariohernandez1111 5 лет назад +1

    I'm not sure if I am misunderstanding something, but in your visualization... aren't you only seeing one of the basis functions? I've only studied the TISE, but IIRC if you solve the equation for a quadratic well (quantum harmonic oscillator), this probability density is Psi² of the first eigenstate, n=0. Is this correct? If so, how can you get the other states through this method?

    • @LeiosLabs
      @LeiosLabs  5 лет назад +1

      The imaginary time evolution will get you to the ground state. Higher order states can be analytically put into the system and then evolved with time; however, there is not a simple way (so far as I know) to find the higher excited states with this method.

    • @mariohernandez1111
      @mariohernandez1111 5 лет назад

      LeiosOS Thank you! I guess it makes sense, just wanted to make sure that I wasn't missing anything. I'm hoping you follow up with another video on quantum mechanics and computational methods, it's pretty interesting.

  • @nRADRUS
    @nRADRUS 5 лет назад +3

    no. psi is not always correspond probability of detection. in Dirac equation psi correspond to the charge density ☺

    • @LeiosLabs
      @LeiosLabs  5 лет назад +1

      To be fair, psi is not |psi|^2. I thought that the charge density was always related to |psi|^2, not psi?

    • @nRADRUS
      @nRADRUS 5 лет назад

      x -> |x|^2 is correspondence
      elation, is not it?

  • @xcheese1
    @xcheese1 5 лет назад +1

    I don't think the split operator method is the best method for the Schrodinger equation. You can do a Crank-Nicholson timestep in O(n) time, but the fourier transform is O(n log n). And if you *really* want to be efficient, you should go with Multigrid or a Krylov subspace algorithm. There is a whole field of applied math working on developing efficient algorithms to solve PDEs, and they've build a lot of cool stuff!
    That said, this is a really good introduction to these algorithms, which are a good place to start.

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      I completely agree. There are many other methods for solving the Schrodinger equation, but the split-op method is super easy to implement for an n-dimensional system and is used all the time in research for this purpose. It's got a relatively low error too, so it's not bad.
      I know our lab uses split-op for everything. I use it because it's easy to parallelize on a GPU. Everyone else uses it because it's super easy to code and doesn't require deeper knowledge of diff. eq.
      Crank-Nicholson is on the list of future algorithms to cover, but it takes some time to build into because it requires Backward Euler / implicit methods. Diagonalization algorithms are also on the list, but again... it will take a little while to tell the whole story of those algorithms (if that makes sense).

    • @xcheese1
      @xcheese1 5 лет назад +1

      Oh yeah! I just remembered writing Schrodinger solvers and waiting several days for them to finish, and then taking a class in the applied math department, and realizing that I could cut it down to hours or even minutes.
      KSP algorithms are super complicated, but you don't have to write them 😃. PETSc and SLEPc are libraries that do most of the heavy lifting.

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      Yeah, again agreed. That said, it's always nice when you can code things up without relying on external libraries to do it for you. I know no matter what you do, you will not be able to write code that is as quick or robust as certain libraries, but I cannot help trying at least once to learn how the algorithms work underneath.

  • @petrihirvonen
    @petrihirvonen Год назад

    I suppose I can just do a full step in position space if my potential is static? I promise to start and to finish with half steps.

  • @Reiszsing
    @Reiszsing 5 лет назад

    and is this "Quantum Systems" have anything to do with time travel wise and quantum speed, like spaceship stuff?

  • @TrippleXD545
    @TrippleXD545 21 день назад

    wazzup shaggy 2.0!

  • @Rubikorigami
    @Rubikorigami 5 лет назад

    so wait, this is basically leapfrog integration but for quantum mechanics right?

  • @KaiKunstmann
    @KaiKunstmann 5 лет назад +1

    I find it very hard to click the like-button more than once... an unfortunate random restriction.

    • @LeiosLabs
      @LeiosLabs  5 лет назад +1

      I'm glad you liked the video! One like is more than enough! =)

  • @mike4ty4
    @mike4ty4 5 лет назад

    I'm curious: what software do you use to animate these things?

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      This was done in a mixture of julia and GathVL: github.com/algorithm-archivists/GathVL

  • @urquizagabe
    @urquizagabe 5 лет назад

    I have a doubt regarding the Split-Operator Method implementation presented at the Algorithm Archive (www.algorithm-archive.org/split-operator_method/split-operator_method.html), specifically the Python implementation. To whom should I address this doubt?

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      Please create an issue on github. Sorry, this was caught by spam for some reason.

  • @fawadmirza.
    @fawadmirza. 5 лет назад

    I am feeling sleepy now 💤

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      I'm sorry the video bored you!

  • @stesenkompleks2207
    @stesenkompleks2207 5 лет назад +1

    Could I ask you a humble question: Are you studying Physics or Computer science ? Is it bachelor or master level ?

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      I do something in-between physics and computer science. PhD student.

    • @stesenkompleks2207
      @stesenkompleks2207 5 лет назад +1

      What is that field called ? Large scale simulations, Physics of computation, Efficient algorithms for simulations, etc. ?

    • @LeiosLabs
      @LeiosLabs  5 лет назад +3

      Right now, I guess you would call it computational physics; however, my exact research is in simulating quantum systems on massively parallel GPU devices.

    • @stesenkompleks2207
      @stesenkompleks2207 5 лет назад

      Thanks.

  • @compphysgeek
    @compphysgeek 5 лет назад +6

    4:16 where did the two 2s go?

    • @LeiosLabs
      @LeiosLabs  5 лет назад +4

      So, I screwed up. Every time I wrote the Schordinger equation, I forgot the squares on the momentum-space operator, so I added them in in editing. This meant that when I popped up on screen, the 2's had to go away. This happened for both times I wrote down the Schrodinger equation, but was only really obvious the second time.
      I knew someone would notice them!

    • @compphysgeek
      @compphysgeek 5 лет назад +2

      I used to forget the - sign in my early days until I realised that the - comes from i^2. Once I made the connection from p = -i h d_x to p^2 = - h^2 (d_x)^2 I never forgot it again.

    • @compphysgeek
      @compphysgeek 5 лет назад

      ha .. went back to see the first time

    • @LeiosLabs
      @LeiosLabs  5 лет назад +1

      Yeah, I am just used to writing it a different way, so I forgot when writing my notes to put on the blackboard. It happens.

    • @dougmcfarlane
      @dougmcfarlane 5 лет назад +1

      "where did the *two 2s* go?" - The ballet?

  • @kazz8176
    @kazz8176 5 лет назад +1

    Omg are you the boy who made that viral video about the 4th dimension??? Omg you are so similar

    • @LeiosLabs
      @LeiosLabs  5 лет назад +1

      Yes... I didn't realize it was viral, though...

    • @Campificationify
      @Campificationify 5 лет назад +1

      I can confirm he is the boy that made the fourth dimension video and I sit next to him everyday. He's depressing

    • @mossylikescake
      @mossylikescake 5 лет назад +1

      I sit two desks away from him and even at that distance his charisma is intoxicating.

    • @kazz8176
      @kazz8176 5 лет назад +1

      @@LeiosLabs | Not like VIRAL but it was very well done! How time flies by! You really changed a lot!! Jeez (in the good way)

    • @kazz8176
      @kazz8176 5 лет назад

      @@mossylikescake | i am not understanding your comments lololol (him who)

  • @VincentZalzal
    @VincentZalzal 5 лет назад +10

    For your information, Schrödinger is pronounced with a hard g.

    • @LeiosLabs
      @LeiosLabs  5 лет назад +2

      Fair enough. I work in an international quantum lab, so I hear it pronounced a bunch of different ways.

    • @ehtuanK
      @ehtuanK 5 лет назад +5

      Schrödinger is neither pronounced with a hard g nor with a soft g. The g is only there to change the sound of the n, but isn't pronounced seperately at all.

    • @VincentZalzal
      @VincentZalzal 5 лет назад +1

      German is not my primary language (nor is English), so I would listen to ehtuanK :) To my ear, it is close to the sound in "singer". Would you agree?

    • @ehtuanK
      @ehtuanK 5 лет назад

      yes. One could also just look up the pronounciation on his wikipedia page: [ˈʃʁøːdɪŋɐ] (or /ˈʃʁøːdɪŋər/ in broad transcription)

  • @MaraK_dialmformara
    @MaraK_dialmformara 5 лет назад

    Where can I go to learn more about imaginary time?

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      I'll put more info in the algorithm archive soon. It's on the list of things to talk more about. That said, it's basically a mathematical construct to make the math work out for this example.

  • @protocol6
    @protocol6 5 лет назад +2

    Umm... Are you Farkle Minkus?
    Regardless, this was a very good explanation.

    • @LeiosLabs
      @LeiosLabs  5 лет назад +1

      No, sorry. I'm James. Nice to meet you!

  • @zoklev
    @zoklev 3 года назад

    for myself 1:39

  • @Reiszsing
    @Reiszsing 5 лет назад

    wi don't even know how I ended up here.

  • @psylonmusic5264
    @psylonmusic5264 4 месяца назад

    Soooo...why is the function so wiggly ? =P

  • @archw7193
    @archw7193 4 года назад

    What's your profession? Are you a quantum computing guy or something?

  • @xinchen3547
    @xinchen3547 5 лет назад

    Who is this guy?

  • @calvinrollins4957
    @calvinrollins4957 5 лет назад

    When you say imaginary do you mean complex numbers?

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      Yeah. Complex numbers.

  • @KingFredrickVI
    @KingFredrickVI 5 лет назад +3

    If you need me to implement any of the algorithms in Python, hit me up :D just as long as there's at least sudo code lol

    • @TAP7a
      @TAP7a 5 лет назад +1

      *pseudo

    • @KingFredrickVI
      @KingFredrickVI 5 лет назад +4

      +TAP7a I spend too much time on Linux lol

    • @LeiosLabs
      @LeiosLabs  5 лет назад +1

      I spell it wrong every single time...

    • @LeiosLabs
      @LeiosLabs  5 лет назад +1

      We actually already have a python implementation (someone did it before the video came out)

    • @jiegillet
      @jiegillet 5 лет назад

      The convolution algorithm doesn't have Python yet

  • @Reiszsing
    @Reiszsing 5 лет назад

    so, what exactly is this in simple English?

  • @richardcarew2481
    @richardcarew2481 5 лет назад +1

    It's like fractals.. you have to multiply by i..

    • @richardcarew2481
      @richardcarew2481 5 лет назад

      Hahaha.. simultaneity be damned..

    • @richardcarew2481
      @richardcarew2481 5 лет назад

      Without the I each iteration you are just playing with numbers... the i gives each iteration the randomness we need to study quantum effects

    • @richardcarew2481
      @richardcarew2481 5 лет назад

      My friend Peace the phone doesn't know this stuff yet... he is giving capital I... instead of the i of our imagination

    • @richardcarew2481
      @richardcarew2481 5 лет назад

      I am working on exactly this to go back and look at quantum electrodynamics where Feynman had to... re normalize his math to get rid of those pesky infinities... the way we look at particles in the Universe has everything to do with that.. he called them spheres... now.. if anyone dares to say it might be different, unless you are Leonard Susskind, people say .. yer a nut, boyo... it's the reason he had to not just normalize his statistics to get a balanced view of his data.. he re normalized... because the infinities wouldn't go away... he said he thought it might be cheating ... with a laugh... it was not so much cheating as forcing the math to present the Universe the way he wanted... it is a recurring theme with him... particles are much more complicated.. and if they were really spheres stuff wouldn't do what it does

    • @richardcarew2481
      @richardcarew2481 5 лет назад

      But they are not spheres.. particles are stuff... we say they have "mass".. and mass and energy are equivalent to each other by a function of the square of the speed of light ... great deal of energy stored in one very small locus... how do they do that?.. therein lies the answer

  • @user-pq9qz5zl7t
    @user-pq9qz5zl7t 5 лет назад +1

    Boring. Where are the speedos?

    • @LeiosLabs
      @LeiosLabs  5 лет назад

      On my second channel! How many times do I have to say that?