RustSilverfish
RustSilverfish
Ah, once again I've missed the boat on responding to things in a timely fashion! Still, I thought I'd register my appreciation for your thoughtful message, and try and compose some broad responses. I found reading it that the points you raise sit in the productive zone of being things I half agree with.
On the first point - I take that statement as the tax on polemical tactics. That whatever you do, you should lay your cards on the table. Wounded pride tends to generate hostile readings, so why not bare my neck, admit the vanishing possibility I might be mistaken, and invite the fight? That rightly or wrongly I'm writing to my own standards. You would be amazed how far that gets you in peer review, because it allows you to clearly discriminate between substantiative and stylistic objections, and simply ignore the latter. And in the end the only things I wanted to say but didn't were cut purely in the interests of space.
Moving on to your point about algebraic formulations of biology - I agree, it is interesting! But it's unfortunately also something where I simply didn't believe it was possible to make that argument simultaneously simple, persuasive, and concise. Certainly not without more mathematics. Moreover, in this instance attempting to sketch the idea has spawned a small project to formalise it. So eventually there'll be a paper on it, I'm sure! All this is to say that I don't disagree with your comment, it was just one of those cases where the constraints of the format forced a less than ideal compromise. On the other hand the sheer hackery of academia will always be with us, and it is very hard not to look at this field and see it overflowing with the pathologies of institutional sclerosis. And this shallow, madlibs approach to hard problems is . Just because the critique is familiar, doesn't mean it's not true. I simply do not understand how any principled person can look at the state of research, and not feel mortal outrage at it. Friends often call me a Jeremiah though, so perhaps this is merely my dogmatic character seeking release.
Beyond this, I'm afraid I will have to take up the gauntlet laid down by your quibbles. Since you suggested I write with the courage of my convictions, I shall put it bluntly. I think the vast majority of foundational and interpretational work is worse than useless, and should be treated with genuine contempt. It is playing at physics without a referee, a field runs out of experimental gradient but keeps the full institutional machinery of “serious physics” running anyway. You still have journals, tenure tracks, prestige hierarchies, conferences – but almost no way to falsify anything. So people start doing theatre: all the external trappings of hard science (maths, formalism, the word “theorem”) without the one thing that actually disciplines it: contact with the world.
For example, let us take the point of randomness. Yes, one can choose to interpret the unitary evolution of Hilbert space vectors in any manner of whacky ways, but as far as I can see all that equips one with is an endless argument which can never be wrong. The only observable in foundations is status. If we bite on the hard reality, what we see is that the outcomes we actually observe are genuinely incompressible. Regardless of what is producing them, any local measurement (and whatever anyone may claim, we have nothing but local measurements, simply existing at different levels of description) is random.
You are of course right that one can have a classically random formalism too! But the point is that without a commutation relation this is always a tunable feature. This relates to your other point. Very simply, you can show formally that if we take the limit of commuting observables we recover the boring old Liouville equation for classical dynamics. You can put a delta function initial condition into that and the randomness is simply gone. I'm sure I've mentioned it a number of times, but I'll do so again because I think it's a result that is actually devastating to these exotic interpretations when properly understood ( https://journals.aps.org/pra/abstract/10.1103/PhysRevA.108.052208). It doesn't require any radical assumptions, you simply parametrise the degree of commutation, and in the right representation the generator of your dynamics becomes manifestly classical as the commutation relation is taken to zero. So we can talk about states and correlations until the cows come home, but it's dynamics that distinguishes quantum and classical, and the rest is simply formal dressing up. I can find precisely the same 'quantum' behaviours in the classical theory, if I extend it it to consider the action not just of my phase space observables, but their conjugate Bopp operators. And the latter might not be observable, but they are coupled to the dynamics of the physical operators, so they are in principle inferrable from the observable dynamics! So like it or not, your interpretation has to explain the classical world in precisely the same terms. That's no problem if you do the sensible thing of simply accepting what the formalism and experiments are telling you. That this is a statistical theory. I have to say one of my favourite essays on this topic came as the winner of this contest a few years back: https://qspace.fqxi.org/competitions/entry/2073. Well worth a read I think. Now having said all this, people can obviously believe what they like - and these questions are certainly more of religion than of science - but widening your formal lens even slightly makes most these foundational programs look manifestly silly, at least to me. It looks more like highly-trained people defending narrative territory over an empirically frozen core, than any particularly deep insight into the fundaments of reality.
Your point about representation confused me slightly, because your example seems to back up precisely the point I am making. Problems that are intractable in one representation become trivial in another. So solving a particular problem is almost entirely a case of finding the 'right' representation for it. Actually the waveoperator paper I linked above is an excellent example of it, because it finds the representation where these otherwise singular classical limits become well behaved. That's not trivial, and it explains quite nicely where so much of this pathological behaviour in semiclassics is really coming from - limit of a trace is not at all the same as trace of a limit!
So, on your last point, I can boil it down to a very simple question. Do you trust the formalism of quantum dynamics? I think anyone who makes these arguments needs to be sat down and forced to take three courses of condensed matter physics, and see if they feel the same way. Because my argument fundamentally isn't just a priori, it's one of the main lessons of by far and away the largest and most exhaustively researched area of physics. It's where the actual theory lives and dies, and has to earn its keep by making actual predictions. If you're only in contact with the gnomic proclamations of deep thinkers, I think it's easy to be left with entirely the wrong impression of what quantum theory does and does not say. Check out this genuinely immortal piece (whose title I stole): https://www.science.org/doi/10.1126/science.177.4047.393 - I think it's a fairly persuasive argument for the inherent absurdity of quantum biology.
Okay, that's it! Thanks again for the message. I had fun reading it, and had fun spinning up this rant