Strilanc said:
I don't understand this objection. The OP isn't asking if the simulation will infer mathematical equations, they're asking if a full-detail simulation of QFT would act like what we actually observe in reality. In particular they seem to be worried about there being a cutoff size where it stops working.
Exactly, I wouldn't expect any sort of mathematical equation to be the outcome, I'm just wondering if the simulation of a trillion atoms of hydrogen plus some heat would behave like a trillion atoms of hydrogen plus that heat.
mfb said:
If you do that properly, the system will follow that law, of course (apart from fluctuations) - otherwise the law would not be valid.
Laws have discreet ranges that they are known to be valid for, simulations of this scale are far beyond the ability to currently calculate.
mfb said:
To evaluate that, you have to define observables. And then you are back at the main point of my post that starts in the fourth sentence.
The observable can be any known macro behavior.
Take a trillion metal atoms and bond them together in the shape of a spring of various lengths and thicknesses, then vary the amount of weight on the bottom of the spring (also using simulated atoms) and run the simulation, exactly calculating the length that the spring extends each time. Do you get Hooke's law?
If you simulate trillions of helium atoms at very low temperature and use a trillion more atoms to make a sold surface, will the the helium creep up the walls in the same way that real superfluid helium does?
If you create a boat of a trillion aluminum atoms on a sea of a trillion simulated water molecules, will it have the displacement that it's supposed to? Make the surface area smaller does it sink the way it's supposed to?How can quantum physicists be sure that their formulas actually describe the world at scales trillions of times what micro experiments probe. In my own world of programming, lots of times unit tests show that algorithms exactly do what I expect them to do when dealing with one or two objects, then when the numbers go way up, odd unexpected behavior emerges.