News for hackers. Stuff that matters.
Re:Quantum Mechanics for Programmers by monktastic1 on Wednesday March 29, 2017 @05:36PM (#13990817)
Hmm he seems to imply that MWI is the "right" interpretation, and that the measurement problem is solved. Most physicists would not agree. If you follow the link to his MWI description, there's this gem:

> But fortunately, I knew computer science, which most physicists do not know, with the Church-Turing thesis, which roughly states that anything physical can be simulated by a computer.

But that is not what the Church-Turing thesis says. A Turing machine cannot mimic a truly random physical process, pretty much by definition.

And then:

> This means that observers can be simulated by a computer.

Except that nobody really understands what kinds of physical interactions qualify as measurements -- or even if that is the right framework to use at all.

Re:Quantum Mechanics for Programmers by doubleunplussed on Wednesday March 29, 2017 @07:35PM (#13991620)
I'm a quantum physicist (well, we don't say that, I'm an atomic physicist, but for anyone not aware it is 99% quantum mechanics we do all day), and the MWI isn't universally accepted, but it's not universally rejected either. Plenty of important physicists interpret quantum mechanics that way, and I do too (I am not important though). That's not to say I'm confident it's correct, just that it's the most sensible way to understand the theory as we know it so far.

It might not completely solve the measurement problem, in that the purported derivations of the Born rule are hotly contested, but neither does any other interpretation - it gets further than most. I don't see anyone else except pilot wave theory (which violates locality) deriving the Born rule either.

"measurement is not special, and observers are just quantum systems like any other" seems like it ought to be the default assumption to make, in the absence of any evidence to the contrary, and honestly I think the reputation of MWI as a bit crazy comes about for purely historical reasons. Namely, Bohr didn't like it and he held a lot of sway.

Physicists are human, and parallel universes is pretty strange, so most people reject the idea without thinking about it in much detail.

Most physicists' opinions shouldn't count for much anyway, because the measurement problem simply doesn't come up in our day to day work, so most haven't thought about it much.

Furthermore, plenty of physicists don't actually grasp the fundamentals of their own field - they specialise a lot and can use specialised theories to get what they need done without understanding in detail where it came from.

So I really think the decoherence people, as cranky as their website looks and as oddly as they write, ought to be the ones whose opinions count on the matter.

Edit: seriously, check out their website, straight outta the nineties:

http://decoherence.de

Re:Quantum Mechanics for Programmers by Xcelerate on Wednesday March 29, 2017 @08:04PM (#13991775)
> Furthermore, plenty of physicists don't actually grasp the fundamentals of their own field

I once met a professor at a quantum chemistry conference who argued with me that I could not converge on the exact eigenvalues of a helium atom (assuming a simplified Hamiltonian with a few Coulombic terms). He stated the oft repeated mantra that "the Schrödinger equation can't be solved for any element other than hydrogen", so I wrote a program that brute force diagonalized the Hamiltonian to demonstrate otherwise. He was confusing the notion of a closed-form solution (an analytical expression that gives the solution in terms of specified elementary functions) with that of a numerically exact solution (one that converges on the exact solution but can't be expressed in terms of specified elementary functions).

Another professor who was teaching a course on statistical mechanics once said that the single particle wave function is more fundamental than the multi-particle wave function. Nevermind the fact that his research involved density functional theory, which famously fails on those cases where the molecular wave function can't be well approximated using a product of single particle wave functions.

Re:Quantum Mechanics for Programmers by codethief on Wednesday March 29, 2017 @09:32PM (#13992181)
> Another professor […] once said that the single particle wave function is more fundamental than the multi-particle wave function. Nevermind […] his research […] where the molecular wave function can't be well approximated using a product of single particle wave functions

Depends on what you mean by "multi-particle wave function". The way it is usually understood (I think), it includes all possible tensor products of single-particle wave functions. Then it should be possible, shouldn't it?

Re:Quantum Mechanics for Programmers by monktastic1 on Thursday March 30, 2017 @12:09AM (#13992816)
Tensor products only describe the separable (i.e., unentangled) states.
Re:Quantum Mechanics for Programmers by tomonl on Thursday March 30, 2017 @06:52AM (#13994314)
As I understand it, that is only true when dealing with density matrices. For example, |0>⊗|0> + |1>⊗|1> is entangled and has tensor products. I think that Xcelerate is correct in saying that all combinations of the basis vectors form the basis of the multi-particle Hilbert space, as a single-particle wavefunction is just a vector/ket.
Re:Quantum Mechanics for Programmers by monktastic1 on Thursday March 30, 2017 @12:32PM (#13996828)
Sure, the tensor product space has a basis that is formed by the tensor products of all pairs of basis elements. But this is different from saying that any particular vector in the space is a tensor product of elements from the individual spaces.

But I'm possibly just misunderstanding what you're saying.

Re:Quantum Mechanics for Programmers by codethief on Wednesday April 05, 2017 @07:52AM (#14041374)
Fair enough, I should have been more precise: By "all possible tensor products" I actually meant all elements in the tensor product space, including all linear combinations of tensor products of single-particle states.
Re:Quantum Mechanics for Programmers by codethief on Wednesday March 29, 2017 @09:42PM (#13992220)
> Furthermore, plenty of physicists don't actually grasp the fundamentals of their own field - they specialise a lot and can use specialised theories to get what they need done without understanding in detail where it came from.

This. Sometimes physics does feel like a religion. The fundamentals (including basic assumptions and "proofs" that are complete bs in the mathematical sense) are getting reiterated time and again till people actually start believing in them. From what I've experienced myself it basically works like this: In the beginning, you come across some claim or fundamental assumption you can't follow and make a mental note to follow up on it and sit down to fully understand it. Then you get sidetracked and next time you come across said claim, you're like "Damn, I wanted to look that up!" and here you are, making a mental note again… Now somewhere between the fifth and tenth time this happens, you've forgotten about your mental note completely and have just accepted the claim as fact.

It's basically the brain tricking you into thinking the claim is correct, the more often you read about it. It's like habitual behavior you don't actually process consciously anymore.

Re:Quantum Mechanics for Programmers by doubleunplussed on Wednesday March 29, 2017 @10:47PM (#13992481)
I completely agree, and I would say that's probably the historical origin of the Copenhagen interpretation. It was clearly initially a note-to-self that something wasn't right and required figuring out, and somewhere along the line that confusion became an axiom that later generations just accepted, not getting the message that it was unfinished.

Physicists aren't dumb, but they just haven't looked into it more because it's surprisingly not relevant to the majority of work. So they're just repeating the confusion of past generations as if it's fact.

But, particularly in my field, we're getting seriously good at manipulating more and more exotic quantum states. I'm working on things involving 'weak' measurement, where you really need to know what counts as a measurement or not, and how much - you can do a partial measurement and only partly (appear to) collapse a wavefunction. These types of experiments are becoming more are more common, and it's happened a few times now that I've heard people saying "hang on, what counts as a measurement in this context?" and then having to read a decoherence textbook in order to do their atomic physics.

With these sorts of things as well as quantum computers, decoherence and the measurement problem is intruding into a larger proportion of people's work, which means repeating the mantra of the previous generation isn't going to cut it anymore, people are going to actually read decoherence textbooks and decide for themselves.

Re:Quantum Mechanics for Programmers by M_Grey on Wednesday March 29, 2017 @08:32PM (#13991921)
I think that MWI is pretty much like any ontology, in that you find a lot more interest in it when you're not dealing with physicists. At the end of the day, it doesn't change the math, it doesn't change much of anything, and it probably isn't testable. For me, that has all of the hallmarks of an uninteresting topic.
Re:Quantum Mechanics for Programmers by Razengan on Thursday March 30, 2017 @03:19AM (#13993550)
I'm a layman and I don't really understand much of this, but I'm really intrigued: What's the general consensus in your field on the existence of more than 3 spatial dimensions?

Seems to me, that there are a few phenomena that appear to be more or less random. Could they be perturbations caused by activity in dimensions we cannot perceive?

Re:Quantum Mechanics for Programmers by adrianratnapala on Thursday March 30, 2017 @06:14AM (#13994155)
For first question: I'd say pop-science does a surprisingly good job of conveying the consensus on extra dimensions -- they are a totally reasonable possibility, but their effects are to be felt in realms far beyond the realms that experimental physicists can study well.

But if they exist, they probably have important (but unknown) effects. And your proposal that they explain randomness is a good example of that. But to me it doesn't feel right.

Quantum randomness somehow doesn't seem to be of that kind. Perturbations from unknown dimensions might well look like randomness, much link an RNG in a computer. But that is still masquerading as a classical random process -- it would not show the weird correlations found in QM.

Re:Quantum Mechanics for Programmers by Razengan on Thursday March 30, 2017 @06:33AM (#13994241)
I must clarify that by "activity" I don't mean directed actions (i.e. not talking about ghosts or gods) but fundamental elements — the waves and particles and fields — possessing properties and movement in more than 3 dimensions (not including time).

Like something poking through or pulling on a fabric from the other side, if such a property has, say, wavelike motion in a 4th spatial dimension, it may produce regular effects that manifest as fundamental features of our 3D space, or seem random to us if a bunch of things are bumping and deterministically interacting with each other in extra dimensions. Has this ever been considered in explaining things like [0] and [1]? Might have something to do with "dark" matter/energy too; i.e. stuff is there, just occupying other dimensions.

[0] https://en.wikipedia.org/wiki/Pair_production

[1] https://en.wikipedia.org/wiki/Quantum_foam

Re:Quantum Mechanics for Programmers by monktastic1 on Thursday March 30, 2017 @12:44PM (#13996919)
Thanks for weighing in.

Decoherence is great at explaining the loss of interference. It may even address the "preferred basis" problem (though there seems to be good reason to believe that it might not). But ultimately what I want to know is why I experience just one outcome, and decoherence doesn't really help here.

MWI partially resolves that ("you don't just experience one; there are many of you!"), but not in a way that satisfies me.

Re:Quantum Mechanics for Programmers by naasking on Thursday March 30, 2017 @09:26AM (#13995096)
> But that is not what the Church-Turing thesis says. A Turing machine cannot mimic a truly random physical process, pretty much by definition.

It's not clear that a truly random process exists. There exist deterministic interpretations of QM, for instance. Certainly unpredictable processes exist, but that's an entirely different classification (whether a Turing machine halts is also unpredictable, but still deterministic).

Further, Turing machines can generate pseudo-random outputs that pass all known randomness tests.

Re:Quantum Mechanics for Programmers by platz on Wednesday March 29, 2017 @06:01PM (#13991024)
I thought "coherence" was the model by which quantum systems spread entanglement to other systems; the larger the system the 1st system into contact with, the bigger the effect of coherence loss in the 1st system and the larger the "measurement"
Re:Quantum Mechanics for Programmers by monktastic1 on Wednesday March 29, 2017 @07:04PM (#13991441)
Also see this piece by Steven Weinberg:

http://www.nybooks.com/articles/2017/01/19/trouble-with-quan...

"One common answer is that, in a measurement, the spin (or whatever else is measured) is put in an interaction with a macroscopic environment that jitters in an unpredictable way. For example, the environment might be the shower of photons in a beam of light that is used to observe the system, as unpredictable in practice as a shower of raindrops. Such an environment causes the superposition of different states in the wave function to break down, leading to an unpredictable result of the measurement. (This is called decoherence.) It is as if a noisy background somehow unpredictably left only one of the notes of a chord audible. But this begs the question. If the deterministic Schrödinger equation governs the changes through time not only of the spin but also of the measuring apparatus and the physicist using it, then the results of measurement should not in principle be unpredictable. So we still have to ask, how do probabilities get into quantum mechanics?"

Re:Quantum Mechanics for Programmers by naasking on Thursday March 30, 2017 @09:24AM (#13995082)
Doesn't the probability basically follow from the uncertainty of your own eigenstate, ie. the system performing the measurement? This contextuality is why deterministic interpretations of QM also entail probabilistic measurements.
Re:Quantum Mechanics for Programmers by monktastic1 on Wednesday March 29, 2017 @06:53PM (#13991364)
It is generally agreed (except, perhaps, by the strongest champions of the decoherence program) that decoherence does not completely solve the measurement problem.

Some good references here: http://physics.stackexchange.com/questions/295527/decoherenc...

It helps explain the loss of interference, but it does not resolve the question of why and how we see one particular outcome.

Re:Quantum Mechanics for Programmers by Xcelerate on Wednesday March 29, 2017 @07:41PM (#13991653)
> that decoherence does not completely solve the measurement problem

It's kind of funny how the problem keeps getting pushed to higher levels of "meta":

If you consider the experimenter and his system, measurements of (non-eigenstate) quantum systems appear indeterministic to him. However, the state of [experimenter + system] is governed by an entirely deterministic equation that follows a reversible, unitary path through time. Great! But the problem is that you then have another experimenter who measures that composite system, and the outcomes he sees likewise appear indeterministic. So now you consider the system of [experimenter 2 + [experimenter 1 + system]], and we've got infinite regress — a.k.a. the measurement problem.

Re:Quantum Mechanics for Programmers by foldr on Thursday March 30, 2017 @06:01AM (#13994097)
>So now you consider the system of [experimenter 2 + [experimenter 1 + system]], and we've got infinite regress — a.k.a. the measurement problem.

At the risk of sending things off an a huge tangent, it's interesting to see physicists recognizing that an infinite regress is, at least sometimes, unsatisfactory (even though there is of course nothing incoherent per se about the concept of an infinite sequence). Physicists usually tend to give short shrift to metaphysical arguments that rule out certain states of affairs on the grounds that they would involve an infinite regress of a problematic kind. But the logic you're using to argue against decoherence as a solution to the measurement problem is very similar to e.g. Aristotle/Aquinas's argument that the causal hierarchy must have a terminus. I'm not saying that in an attempt to start an argument about God. It's just interesting to see similar reasoning used in such different domains. (And of course in neither domain is it entirely clear that the reasoning works.)

Re:Quantum Mechanics for Programmers by adrianratnapala on Thursday March 30, 2017 @06:53AM (#13994324)
The point is that you can prove that a thing is self-consistent without proving it is true. And I think what are calling an "infinite regress" is, in this case, self-consistency.

Proving self-consistency is a decent achievement, and is certainly error. But it is only weak evidence in favour of a position.

Re:Quantum Mechanics for Programmers by foldr on Thursday March 30, 2017 @06:58AM (#13994346)
> And I think what are calling an "infinite regress" is, in this case, self-consistency.

I don't understand what you mean by this.

Re:Quantum Mechanics for Programmers by adrianratnapala on Thursday March 30, 2017 @06:30AM (#13994228)
> quantum systems appear indeterministic to him. > However, the state of [experimenter + system] > is governed by an entirely deterministic equation ...

This sort of thing only makes sense in the context of many-worlds QM, and it is amusing how many professed non-many-worlders say such things.

We often describe quantum systems using an entirely deterministic (Schroedinger) equation. But we don't know in what sense that equation describes the physical state of the experimenter + system, or in what sense it is "just" a probability model.

If you choose to include the whole thing as physical reality, then you are left with all the terms in the equation -- and thus all of Everett's multiple worlds. Fine, that is a logically coherent position. But it's not the only one.

Re:Quantum Mechanics for Programmers by Xcelerate on Thursday March 30, 2017 @07:43AM (#13994520)
> and it is amusing how many professed non-many-worlders say such things.

I'm not saying I do or don't believe any of this (if anything, I'm interpretation-agnostic at the moment). I'm just pointing out that there is a contradiction in having one postulate demand unitary state evolution (the Schrödinger equation) for some ill-defined "system" while another postulate says that unitarity is broken at the system/environment boundary. While there's been plenty of attempts to work around this (e.g. https://arxiv.org/abs/quant-ph/0101012), I wouldn't say that anyone has formulated a consistent set of axioms that definitively resolves the issue.

> We often describe quantum systems using an entirely deterministic (Schroedinger) equation. But we don't know in what sense that equation describes the physical state of the experimenter + system, or in what sense it is "just" a probability model.

Agreed. It's certainly a useful model but it leaves out all kinds of interesting phenomena that we observe in practice (namely, relativistic and radiative effects). Curiously though, if you turn to QFT for a better probabilistic model, Haag's theorem (https://en.wikipedia.org/wiki/Haag%27s_theorem) implies that a universal Hilbert space representation cannot describe both free and interacting fields (a problem that the non-relativistic Schrödinger equation doesn't have!)

Re:Quantum Mechanics for Programmers by platz on Thursday March 30, 2017 @10:43AM (#13995756)
I feel like if I claimed the schrodinger equation was just a probability model, I'll be immediately lambasted because "the wave equation is reality" or then I'm immediately a "local hidden variables proponent"
Re:Quantum Mechanics for Programmers by chriswarbo on Thursday March 30, 2017 @11:37AM (#13996286)
Let's say I toss a fair coin; before I look at it, the outcome is indeterministic to me: there's a 50/50 chance of heads or tails. Once I look at it, I gain 1 bit of information. To another experimenter, the 'me + coin' system is indeterministic: it's either me seeing heads or me seeing tails. Once I tell that experimenter the outcome, they gain 1 bit of information. To a different experimenter, the two of us with the coin is indeterministic... and so on.

Is this scenario fundamentally different than the quantum system? Is this scenarion also a "problem"?

Re:Quantum Mechanics for Programmers by akvadrako on Thursday April 06, 2017 @11:27AM (#14051409)
What you just described is a hidden variable model which cannot reproduce the behavior of entangled particles. For details look up Bell's theorem.
Re:Quantum Mechanics for Programmers by chriswarbo on Wednesday April 19, 2017 @08:17PM (#14152950)
Oh I'm well aware of Bell's theorem; I'm a trained Physicist :)

Bell's theorem rules out theories of local hidden variables. It says nothing about non-local hidden variables, or even something more mundane like determinism (sometimes referred to as "superdeterminism").

In any case, I'm not sure Bell's theorem has much impact on my question: why is one of these things (transfer of information from a coin toss) not a problem, conceptually; whilst the other (entanglement of quantum systems) is a problem, conceptually?

(Personally, I don't find either particularly troubling; just curious to know what the philosophical distinction is, without appeals to "quantum weirdness")

Re:Quantum Mechanics for Programmers by akvadrako on Wednesday April 26, 2017 @09:48AM (#14202877)
A classical analogue to entanglement is not problematic for causally connected processes and in some cases it's a good model, like with human reasoning or neural networks. QM is a generalisation of bayesian reasoning that can handle non-commuting variables.

Yet entanglement is observed non-locally, even backwards in time or between degrees of freedom that never co-exist. Nobody has been able to create a non-local model that doesn't require fine tuning and the idea goes against the spirit of special relativity.

Thus, I would agree with you, there is no "problem" with entanglement. Except non-locality.

Re:Quantum Mechanics for Programmers by empath75 on Wednesday March 29, 2017 @11:23PM (#13992609)
I've long thought that the measurement problem is a problem with the interface between consciousness and reality and that it's more of a psychology problem than a physics one.
Re:Quantum Mechanics for Programmers by platz on Thursday March 30, 2017 @02:38AM (#13993403)
ok, but I don't think that is what Xcelerate is quite saying here
Re:Quantum Mechanics for Programmers by platz on Wednesday March 29, 2017 @07:09PM (#13991464)
> it does not resolve the question of why and how we see one particular outcome.

agreed. dechoherence doesn't explain particular outcomes. It explains the scale & magnitude of mixing quantum states from different systems.

I thought "what kinds of physical interactions qualify as measurements" was referring to a different part of understanding QM. Decoherence doesn't explain which outcome, it does explains "part" of (or place constraints upon) the mechanism of measurement process.

Re:Quantum Mechanics for Programmers by adrianratnapala on Thursday March 30, 2017 @06:58AM (#13994347)
The problem here is that very much of what we mean by "scale and mangitude" boils down to the frequency of particular outcomes when situations are repeated.

So Decoherence only explains those things after you already have the Born rule (P ∝ |Ψ|^2). But that's the very thing we are trying to explain!

Re:Quantum Mechanics for Programmers by platz on Thursday March 30, 2017 @10:27AM (#13995598)
Maybe you are trying to explain the Born rule, but I was not claiming to explain that; I've already stated decoherence doesn't explain why we get certain outcomes instead of others.
Re:Quantum Mechanics for Programmers by akvadrako on Thursday April 06, 2017 @11:32AM (#14051463)
It explains what we experience perfectly well. In the simple case of a 50/50 coin flip, there will be two equally real future versions of you. One will see heads, one tails.

You don't need to dive into quantum mechanics to understand this concept; instead, consider being cloned twice while you are asleep, then killing the original.

Your current self knows what will happen; you'll fall asleep and wake up as either one or the other, becoming both but never being both.