4 ms·
Honest question, why does it take a super computer to come up with the animated simulation in the article. Doesn't seem that there are that many variables.
by ape4 10y ago
Honest question, why does it take a super computer to come up with the animated simulation in the article. Doesn't seem that there are that many variables.
- ibab 10y agoGreat question! There is more to it than you can see in the animation. Because this is a quantum mechanical problem, it's not enough to take into account a single given field configuration at a given point in time, but we have to work with all possible field configurations at the same time. Because the number of configurations grows exponentially with the complexity of the system, we have to invest enormous amounts of memory and computing power into simulating it. Feynman actually wrote this pretty amazing paper on the topic of simulating quantum mechanical systems with computers: http://link.springer.com/article/10.1007/BF02650179 http://link.springer.com/article/10.1007/BF02650179. You should have a look, it's quite readable! (If the paywall is a problem for you, you should be able to find the paper elsewhere)
- ape4 10y agoThanks. Here it is without a paywall. https://people.eecs.berkeley.edu/~christos/classics/Feynman.pdf https://people.eecs.berkeley.edu/~christos/classics/Feynman.... Such a simple title ;)
- valarauca1 10y agoComplexity classes of algorithms. There are only 3 variables in a discrete logarithm problem but it takes super computers to solve. Same with prime number factorization. Number of inputs is completely unrelated to the time to solve depending on the algorithm being used to solve the problem.
- KenoFischer 10y agoThe simulation in question was created using Lattice QCD (which many people in the HPC world mostly know as a benchmark to optimize their compilers/systems on, but it's also a useful physics technique). Basically what you end up doing is discretizing spacetime on some grid, maybe e.g. 100x100x100x100 (not much larger than that last I checked or the problem becomes intractable even on very large computers) and then sample field configurations monte-carlo style (the way to do it is actually really clever - it turns out that there is a mathematical trick that can take you from the description of your theory right to a distribution from which you can draw your field configurations). The number of fields is decently large (some discretization introduce extra auxiliary fields for every physical one) and in general you need to consider the entire field configuration to compute an observable. Then do that a few billion times (to bring down statistical error) at a couple different lattice spacings (to be able to extrapolate to the continuum limit) and you quickly end up with a very large computations. There is a number of clever ways to reduce the amount of computation required, but in general it's a very different problem. Hope that makes some sense. I had looked into this in detail about two years ago, but looking back, I feel like I only know every other word in my write-up ;).
- evanb 10y agoI do lattice QCD, and this is a pretty decent explanation. A few minor things: People typically use lattice sizes that have lots of factors of 2, because they fit on the supercomputers in a better way. So rather than 100 people do 96 or 128. Only some calculations require lattices this large. The field content is usually a few fermions, and the gluons. On each site there is (usually, depends on the discretization as you say) a Dirac spinor (2 spins * 2 particle/antiparticle * 3 spins = 12 numbers) for each fermion and on each link (ie. the edges) there is an SU(3) matrix (3x3 complex doubles) for the glue. The field configuration is simply the glue. But this already is a large amount of data. volume * (9 complex doubles per link) * (1 link per spacetime direction) * (4D spacetime) ~= 9 gigs for a (32^3 * 64 spacetime volume). This is effectively a giant (sparse) matrix, which we want to invert. The mathematical trick is called importance sampling, https://en.wikipedia.org/wiki/Importance_sampling https://en.wikipedia.org/wiki/Importance_sampling which people accomplish with the metropolis algorithm https://en.wikipedia.org/wiki/Metropolis%E2%80%93Hastings_algorithm https://en.wikipedia.org/wiki/Metropolis%E2%80%93Hastings_al... . If only we could do a few billion samples! People usually make a few thousand to a few hundred thousand samples.
- KenoFischer 10y agoThanks for the correction! I never did any actual Lattice QCD calculations, just looked at the theory, so I was taking a bit of an educated guess on the feasible problem sizes.
- semi-extrinsic 10y agoHaving done some QFT, now doing hydrodynamics, I never knew that lattice people use a staggered grid for the fermions and gluons. Do you know if it's for the same reason as staggering velocity and pressure in CFD; to avoid checkerboarding of the spinors (pressure)?
- KenoFischer 10y agoIf I remember correctly, there is no way to obtain a gauge invariant discretization if you try to put the gluons at the lattice sites. I can try to find a proper reference.