Showing posts with label Roger Penrose. Show all posts
Showing posts with label Roger Penrose. Show all posts

Sunday, July 7, 2019

Minimalism in Physics (updated)


Truth is ever to be found in simplicity,
and not in the multiplicity and confusion of things.
-- Isaac Newton

[Note: 
In using the term “minimalism” in evaluating styles of physics, I am importing  into the philosophy of science  a term mostly associated with the arts.  The move may or may not be fruitful.  But here is a well-known parallel move, from Gerald “Mr. Themata” Holton, in The scientific imagination (1978), p. 7:
I have proposed … thematic analysis (a term familiar from somewhat related uses in anthropology, art criticism, musicology, and other fields).  ]



The whole enterprise of physics, from ancient times to today, is itself  in one sense  Minimalist, in that it seeks to sweep aside the riot of epiphenomena, and to discover underlying laws, from which that riot derives.  It does not so much banish the fullness of reality, as bracket it:  we hope later to derive much of it back, in an explanatory manner.  (Note:  Not quite the same thing as Reductionism.)

To some extent, all rational inquiry ‘minimizes’ -- idealizes, works with toy models, etc.   Some more than others -- economics notoriously so, tossing out so much bathwater that sometimes the baby goes missing.   Others roll up the sleeves of their labcoats and go in elbow-deep to the mess of reality, little bothering with economy or philosophy.   Chemists, in particular, seem perfectly content to potter about in labs, to discover stuff, invent stuff, patent stuff.  They literally multiply entities, in that they invent chemicals that weren’t there before.   Whether they thereby multiply them beyond necessity (mustard gas, thalidomide,  napalm, LSD) is a matter of individual taste.  But certainly the ethos is anything but austere.
And likewise, for the most part -- biology, geology, astronomy, engineering, what have you. 
But modern physics  raises parsimony to a central tenet, almost the prime purpose of the whole enterprise as currently understood.  This development being by now taken for granted among those of the guild, it may not be apparent how odd this really is.

The goal for some time has been the “Theory of Everything”.  This certainly sounds like a Maximalist program:  but really it is not.   For the knights who pursue this grail do not actually intend to explain any of the things that real people care about   and that motivated the enterprise of physics in the first place:  why the sky is blue, why snowflakes are the way they are, why clouds are shaped that way, what lightning is all about, why airplanes can fly…  (Purported explanations of these things exist, but the ones I’ve heard seem all fallacious.)   Instead, they want to wrap their arms around a passel of abstractions, so complex as to leave the plain man -- nay, any but the professional physicist -- behind many decades ago, and show that, at a still deeper level, they are all but facets of One Big Thing.  (Hedgehog physics, we might dub this.)  This is Minimalist, and ferociously so.


It may be objected:  All that is nothing but plain reductionism, which is simply to say:  Science.  No call to drag in an arts-related term like “Minimalism”.  -- But I believe there is an aesthetic dimension -- seldom mentioned in journal articles, though over-emphasized in popular writing -- which lies outside the bare logical necessities.  As,
“There shouldn’t be laws of physics,” Strominger maintains. “There should be just one law, and it ought to be the nicest law around.”
(Quoted in Shing-Tung Yau, The Shape of Inner Space (2010), p.  14.)


Gerald Holten, characterizing the attitude of Einstein (The scientific imagination, p. 281):

At stake was nothing less than finding the most economical, simple, formal principles, the barest bones of nature’s frame, cleansed of everything that is ad hoc and redundant.
In his own personal life, the legendary simplicity of the man was an integral part of this reaching for the barest minimum on which the world rests.

*

Central to the program is the “unification” of the various fundamental forces -- meaning, showing them to be symmetry-broken castoffs of an original single Force.    An analogy in evolutionary biology is explaining various related species  as having descended under various environmental pressures  from a common progenitor.   Only -- in physics, the enterprise is far more audacious than this analogy would suggest, if all you are thinking of are the breeds of dog, or the various canine species, or even the various land-mammals.   The forces are so fundamentally different in their phenomenology, that the task is more like tracing the common descent of the penguin, the echinoderm, and the paramecium.   Or even the mastodon, the gnat-swarm (considered as a sort of collective entity), and the sand-dune.   A tall order.

The reason so hubristic a program could come into existence despite the odds, is that it had an early success:  Maxwell’s unification of electricity and magnetism, back in the nineteenth century, truly a monument of the human intellect.  Now, later analysis has suggested that this success was something of a lucky fluke:  in the four macroscopic dimensions in which we reside, electricity and magnetism are both expressed by a vector.  You can not only analogize these, the one to the other, but calculate with them in the ordinary way -- say, forming their cross-product to get the Poynting vector.  In higher dimensions, electricity would be a vector and magnetism would be a tensor, and they would not play so nicely together.

The next success along these lines was far spookier:  the unification of electromagnetism with the “weak force”, into an unassuming-sounding entity called electroweak.   Now, this is far more bizarre than it seems. Electricity and magnetism were always rather like Batman and Robin, typically showing up together in the lab.  Whereas the weak “force” seems, to my untutored mind, like a force in some Pickwickian sense, like the  “force” of a metaphor in a poem.  A thing more different than electrostatic attraction or repulsion  can scarcely be imagined:  it deals neither in repulsion nor attraction, but rather in a handful of obscure and scarcely explicable processes such as beta decay.   Even to have conceived the project of their unification  was an act of extraordinary intellectual audacity;  the eventual success is, well, beyond any but specialist comprehension.

This new composite entity, this hippogriff, the electroweak, was subsequently unified with the “strong force”, yielding the hyperweak of today’s Standard Model.   The next -- and long elusive -- step, is the unification of that with gravity.   Now, to your average toddler, the natural analogy would be rather between electrostatic and gravitation attraction -- both, in their simple nonrelativistic forms, central forces obeying an inverse-square law    But your average toddler, like your average Nobel-Prize-winner-in-anything-but-Physics, would be mistaken.   And so the torch has passed to an ever-more-esoteric brotherhood, in particular  the magi of String Theory:  pale, spectral beings, who neither eat nor defecate, and whose results -- well, they do not as yet have anything so vulgar as actual verifiable physical results, mind you, but they do have theories, and conference papers, incomprehensible to all but the magi.  That does not mean they are on the wrong track;  perhaps they, and they alone, are on the right track, in which case, the more fools we.


*

A startling development in some corners of recent physics  is an actual ‘Maximalism’ -- basically, the catastrophic breakdown of any parsimonious project, yet not taken as a reductio ad absurdum of reductionism itself, but rather embraced, by amor fati (a fancy name for making the best of a bad bargain).   No longer can one really -- nor does one aspire to -- explain anything, since everything that might exist, does exist, and the (now uninteresting) facts of the matter in our own neck of the woods  can be chalked up to Selection Effect.  (We satirized this Rabelaisian Fay ce que voudras  here).   

Templeton-Prize winner Paul Davies,  in The Goldilocks Enigma (2006), p. 264, takes rather understated notice of this:
The disadvantage of the multiverse theory is that it invokes an overabundance of entities, most of which could never be observed, even in principle.  This profligacy strikes many people as an extravagant way to explain bio-friendliness.

Likewise, though for different reasons, the earlier Many-Worlds school (or cabal) of quantum theory,  in which entities -- again, entire universes in this case -- are multiplied, not simply beyond necessity, but beyond common decency.

The ethos of all this is atheistic -- a-anything, really.  It is perhaps no accident that Hugh Everett, an early pioneer of many-worlds, was (in Wiki’s words) “a committed atheist".  Or that the thélémisme of the distinguished hexagonal/pentagonal humanist  was taken up with gusto  by the diabolist Aleister Crowley, the stench of whose cinders may occasionally bother your nostrils, whenever a high wind blows up from Hell.



[Update 27 III 12]  Freeman Dyson in the current NYRB, reviewing a book by Margaret Wertheim about eccentric amateurs:

String cosmology is different. String cosmology is a part of theoretical physics that has become detached from experiments. String cosmologists are free to imagine universes and multiverses, guided by intuition and aesthetic judgment alone. Their creations must be logically consistent and mathematically elegant, but they are otherwise unconstrained. That is why Wertheim found the official string cosmology conference disconcertingly similar to the unofficial Natural Philosophy conference. The insiders and the outsiders seem to be following the same rules. Both groups are telling stories of imagined worlds, and neither has an assured way of deciding who is right. If the title Physics on the Fringe fits the natural philosophers, the same title also fits the string cosmologists.

[Note:  Dyson -- a notably fair man -- has long been a fixture of the Institute for Advanced Studies in Princeton; and the IAS, in recent years,  has been premier in string theory.  So Dyson's assessment here  is by no means that of an envious outsider.]

On the extra profusion of different string theories, a mathematician remarks dryly,

It was hardly an idea calculated to appeal to a man with a taste for desert landscapes  … There are more than 10^500 versions of string theory  lounging indolently about.
-- David Berlinski,  The Deniable Darwin (2009), p. 532-3


*
It will sometimes not be obvious, which proposals are Minimalist in spirit.  Thus, imagine some wretched Nominalist, who balks at the infinite, and proposes that the numbers needed for physics  are finite -- specifically, the field of integers mod a prime p (necessarily quite large, to accord with observation).   Finite’s gotta be simpler, more minimal, than infinite, right?  Roger Penrose retorts (The Road to Reality (2004), p. 359):
A physical theory which depends fundamentally upon some absurdly enormous prime number  would be a far more complicated (and improbable) theory than one that is able to depend upon a simple notion of infinity.
More precisely:   The problem is not essentially that the number is so large, but rather, with infinitely many primes to choose from, the choice would seem arbitrary:  in much the same way that the omniscient computer in  The Hitchhiker’s Guide to the Galaxy reveals, quite disappointingly, that the Meaning of Life is … “26”.


*

Differing from a theory-wide programatic theoretical minimalism, is a kind of personal cognitive-epistemological economy, described by Gerald Holton, The scientific imagination (1978), p. 158:
Fermi ordered the overwhelming and vast amount of knowledge  into a set of very few principles and ‘cases’, which allowed him to understand almost any new problem as an example of one of about seven primitive or primary physical situations.  Fermi would return throughout his career  to a listing or digest of the chief ideas in physics, which he had made when he first organized the field for himself as a young student.

Our own thoughts about such Leading Ideas in other areas, may be surveyed here.



*

A curious philosophico-cosmogonic anticipation of the TOE vs. Landscape divide  goes back several hundred years:

Leibniz … assure que la perfection de Dieu ne lui permettait pas de procéder d’autre manière que de la meilleure … mais Thomas d’Aquin sait que, créant du fini, un Dieu infini pouvait librement créer un nombre illimité d’univers différents, tous bons  et chacun commençant de manière différente.
-- Etienne Gilson, Linguistique et philosophie (1969), p.  163

And indeed, though Leibniz coinvented the calculus, we must say that, here, from a mathematical standpoint, it is Saint Thomas who is closer to the target.

















Bonus quote:


Willem de Sitter found an exact solution to Einstein’s field equation … having no matter at all. … Why should we be interested in such a universe?  Because the real universe is of rather low density …
-- J. Richard Gott, The Cosmic Web (2016), p. 16


.

Thursday, January 26, 2017

The Ontology of Physics (updated)



The question at issue here is, What sort of entities are fundamental in physics?  E.g., in the late nineteenth century through early twentieth centuries,

whether atoms were real objects or only mnemonic devices for coding chemical regularities.
-- Abraham Pais, Subtle is the Lord (1982), p. 80

The idea of atoms in some sense  goes back to Ancient Greece; and today, they are taken for granted.  So it is surprising to laymen, how long opposition to a Realist take on atoms lasted among some philosophers and physicists (e.g. Ernst Mach).  An opposing view, from a leading German chemist:

Ostwald’s ‘Energetik’, according to which molecules and atoms are but mathematical fictions, and energy, in its many forms, the prime physical reality.
-- ibid, p. 83





Good bluff Rutherford, by contrast, had sucked atoms with his mother’s milk, and claimed that he “could see the little buggers as plainly as a spoon”.

Oddly, the debate on this seemingly practical laboratory matter,  had elements more characteristic of political or theological controversy, in which neither side has a prayer of of convincing the other by rational argument:

The most remarkable fact about the nineteenth century debates on atoms and molecules   is the large extent to which chemists and physicists spoke at cross purposes, when they did not actually ignore each other.
-- ibid, p. 80
~



Since that time, a host of new physical building-blocks have been proposed, and in some cases observed: from the unexpected and rather unwelcome muon (I.I. Rabi: “Who ordered that?”), to the massless chargeless neutrino (rather like Bishop Berkeley’s “ghosts of departed quantities”), through quarks, gluons, gravitons & gravitinos, selectrons & electrinos, axions, preons, virtual photons, phonons … such as might make even Rutherford gag.  But several of these are now widely accepted -- not as mere bookkeeping mechanisms, but as entities with further properties to be discovered;  so that the smart money has been on Realism, so far.

Ernest Rutherford,  swallowing an atom  but straining at a quark


Footnote:
We shouldn’t be too hard on old Ostwald  for backing the wrong horse in the Atoms Affair.   Dissident voices today would declare  as epiphenomenal not only atoms, but even the elementary particles of which those are admittedly merely bundles:  demoted to excitation-states of superstrings;  or emerging from the combinatorial-automaton structure of the world. 
Additionally, his Energetik has enjoyed a bit of a revival in some quarters:
  https://de.wikipedia.org/wiki/Energetik_(Philosophie)

More recently, information (or, solemnly, “The Information” -- Wheeler's "It from Bit") has emerged among some as a skeleton-key to everything else in the physical world.


Thus, at the bottom of everything, behind and beyond the Maya of the particle zoo, lies:

Thales:  Water.
Oswald:  Energy.
John Wheeler:  Information.


Stewardess:  Coffee tea or mi-ilk?
The Milesian:   Just water, thanks.


Or, a more recherché candidate, from philosopher Hilary Putnam:

Nothing has more physical significance than spectral measure.


(That might strike the layman as rather a … spectral candidate for the role of firmest substrate of all.)
~     ~     ~

The word “ontology” is not one you are likely to overhear at the bus-stop;  nor indeed does a physics-major typically run across it.   But the more we see physics as science (Wissenschaft) rather than a special kind of engineering (the “shut up and calculate” ethos of the years around WWII), the more we meet questions traditionally treated under that rubric -- and indeed, contemporaneously, even under that very name. 
As:

My own position is that the issue of ontology is crucial to quantum mechanics.
-- Roger Penrose,  The Road to Reality (2004), p. 785


Let us now return to the ontology of the consistent-histories approach.  The theory operates with entities called coarse-grained histories.  … The ontological status of the insertion of such a projector set  is still not fully clear. …  A history from a maximally refined set seems to me to provide a strong candidate for what might be regarded as ontologially ‘real’.
-- Penrose,  The Road to Reality (2004), p. 788

Present-day quantum mechanics has no credible ontology … The importance of having an ontologically coherent quantum mechanics cannot be over-estimated.
-- Penrose,  The Road to Reality (2004), p. 860, 865


Re the notion of macroscopic quantum superposition being unproblematic:

This is taking a ‘pragmatic’ stance  that does not really address the ontological issues.
-- Roger Penrose,  The Road to Reality (2004), p. 812

And, full-bore:

Many contemporary thinkers seem to have supposed that, in discarding its mechanist ontology, physics had discarded its ontology:  matter had been dematerialized … The very progress of physics itself  seemed to them to call for the renunciation of mechanism and materialism  in favour of the de-ontologised view of science presented by Mach.
-- John Watkins, Science and Skepticism (1984), p. 138

 
In philosophy proper, ontology is fundamental, being prior to anything else.   In its application to or rather analogue within  physics, by contrast, it historically comes behindhand, as a setting in order of what-all several centuries of reflection and experiment have come up with:  We may think of it as a kind of cast of characters, not fully drawn-up until the play has been written:  in the course of writing it, you find out you need a ladies-maid, and so eventually she is placed upon the prefatory page of Dramatis personae, that typographically precedes the play itself -- and as a nice afterthought, you name her Lisette.  Similarly, particle physics did not begin by being defined, a priori, as (back among the Greeks) the Science of Atoms, or (later) as the Science of the Proton, the Neutron, and the Electron, or (later still-- the Barock Age) as the Menagerie-management of the Particle-zoo (with a fixed given roster of inmates), nor as the Curating of the Wiggling of Strings.  There is a thematic continuity throughout all these stages, but the staffage keeps changing.
As for the role of this Ontology, or Cast of Characters, it is not (despite the spectral example of traditional metaphysics per se) just something to admire from afar, like Mount Rushmore, but rather, as Goedel said pragmatically re which axioms we should adopt for math and logic, they should themselves possess generative potential -- by their fruits ye shall know them.  Thus, hard-headedly:

Kepler’s theoretical ontology, unlike Gilbert’s, was not organically related to his laws;  even if it could be squared with the latter, which seems doubtful, it failed to make any contribution to the testable content of his system.
-- John Watkins, Science and Skepticism (1984), p. 197

~     ~     ~     ~     ~

As remarked earlier, I may well go to my grave without ever grasping the concept of an observable, much less physical ontology in general.   Still, it is helpful towards organizing my thoughts, to have an online scribble-space, so that the matter is, so to speak, officially a topic, a project under way.   For now, this is just a whiteboard on which to stow some juicy quotes.  Your own juicy contributions are more than welcome.
For a more general surview of the ontology of the various sciences, click here.

~     ~     ~     ~     ~


Physics may be defined as the art of saying things about stuff (or stuff about things -- predications concerning entities, for the fastidious).  But what are these entities, whereof we predicate?  In the first place -- observables.

P.A.M. Dirac, The Principles of Quantum Mechanics (1930; 4th edn. 1958), p. 116:

From our assumption that the energy is an observable, there are sufficient stationary states for an arbitrary state to be dependent on them.

For a layman, this is bemusing.  The assumption that it’s an observable?   Can you observe it, or can’t you?  -- Evidently there is much more to qualifying as  “an observable” than merely being … observable.
(Compare Einstein, in one of his Zen moments: "It is the theory that decides what we can observe.")

P.A.M. Dirac, The Principles of Quantum Mechanics (4th edn. 1958), p. 458 (re certain eigenstates):

Science contains many examples of theoretical concepts which are limits of things met with in practice  and are useful for the precise formulation of laws of nature, although they are not realizable experimentally, and this is just one more of them.

Emphasis added.  “Limits” in the mathematical sense.
Note that “not realizable experimentally” does not constitute much of a disability.  What, after all, is?  “Carthage lost the Punic Wars”; “I love you”; “E8 is a 248-dimensional rotation-space”:  no, almost nothing is.


Robert Lindsay & Henry Margenau, Foundations of Physics (1936), p.402:

Quantities such as position, energy, momentum, and the like, capable of measurement… will be called observables,  although it is not intended to imply that they are observable directly.

The caveat is troubling enough;  but now this:

In quantum mechanics, the state of a system is no longer defined by means of a number of variables having an immediate intuitive appeal … In fact, it is not defined in terms of observables at all;  it is simply a function in configuration space.


Carl Hempel, “Problems and Changes in the Empiricist Criterion of Meaning” (1950):
Green, soft, liquid, longer than  designate observable characteristics, while bivalent, radioactive, better electric conductor, and introvert do not.

This odd assertion, by a well-known philosopher of science, seems more psychological than scientific.  It is reminiscent of Locke’s distinction between simple and composite ideas.




Eugen Merzbacher, Quantum Mechanics (1961, 2nd edn. 1970), p. 153:
Following Dirac, we call observable any Hermitian operator which possesses a complete set of eigenfunctions.

This might sound opaque to some, but for a math guy it’s the clearest statement yet, by far.  Of course, what it amounts to physically, intuitively, is something else…


Gerald Holton, The scientific imagination (1978), p. 202:

The idea of making quantitative indicators of anything at all  fascinates some persons, and repels others as dangerous or absurd.  This difference is caused largely by thematically incompatible -- and therefore often unresolvable -- personal views concerning the ability of quantifiables to lead to … the deepest reality.

Note the silly dichotomy -- as though failing to lead to "the deepest reality" (a deeply suspect term) meant that they couldn't be "indicators of anything at all".

~


I had some fun above, playing with a rumpled old word like stuff, shoving it before the microphone of science.  Here a gifted popularizer  makes similar play  with pronouns:

[In its] Einsteinian reframing … is spacetime a something?
-- Brian Greene, The Fabric of the Cosmos (2004), p. 39

In that historical context, the question concerned the ontological status of (the novelty) ‘spacetime’, as opposed to the traditional notions of the independent entities, space, and time.
(More recently, spacetime has been demoted in some theories -- not returning to a Cartesian product of space and time, but being derived as an epiphenomenon of more fundamental items.  Thus, twistor theory, among others.)

If there is no aether to provide the standard of rest, what is the what  with respect to which this speed is to be interpreted?
-- Brian Greene, The Fabric of the Cosmos (2004), p. 45

If an individual electron is also a wave, what is it that is waving?
-- Brian Greene, The Fabric of the Cosmos (2004), p. 88

(Here the wordplay inheres not in the pronoun what, but in the verb.  He could more conventionally have written, “What is the medium for the wave?”, but the startling verbal formulation ‘makes it strange’, confronting us with something more fundamental.)
~
Stephen Hawking, A Brief History of Time (1988; 2nd edn. 1996) p. 75:

The fact that confinement prevents one from observing an isolated quark or gluon  might seem to make the whole notion of quarks and gluons as particles   somewhat metaphysical.  However, there is another property of the strong nuclear force, called asymptotic freedom.  The concept of these entities  was already well-defined, or not, as the case may be:  certainly well-defined as bookkeeping conventions, if nothing more.   Asymptotic freedom -- “at high energies, the strong force becomes much weaker, and the quarks and gluons behave almost like free particles” -- simply adds a further mode of observing their effects:  and in this case, their effects when they are relatively ineffectual -- quarks on holiday.

Failure to be observable in isolation certainly doesn't make a thing "metaphysical" (in the colloquial bad sense intended here).  You cannot observe a "brother" in isolation:  dissect him down to his last tissues, nothing will reveal his brotherhood but the historical context.  Nor, perhaps, can you observe Coulomb attraction in a single isolated particle -- it takes two to tangle.  (I might be wrong on this -- the photon cloud and all that.  But how does the cloud tell you whether you've got an attraction or a repulsion?)


Steven Weinberg, Dreams of a Final Theory (1992),  p. 181:

The positivist concentration on observables like particle positions and momenta  has stood in the way of a “realist” interpretation of quantum mechanics, in which the wave function is the representation of physical reality.


Wiki, "Quantum field theory" (excellent article, btw):

In quantum field theory, unlike in quantum mechanics, position is not an observable.

From the point of view of quantum field theory, particles are identical if and only if they are excitations of the same underlying quantum field.  Thus, the question ‘Why are all electrons identical?” arises from mistakenly regarding individual electrons as fundamental objects, when in fact it is only the electron field that is fundamental.


The global phase of the wave function  is arbitrary, and does not represent something physical.

Wiki, "Implicate and explicate order" (of interest only to those who are already devotees of guru-physicist David Bohm):

 Bohm’s paradigm is inherently antithetical to reductionism … and can be regarded as a form of ontological holism.


Wiki, “Introduction to Gauge Theory”:

The electric field and the magnetic field are observable, while the more fundamental electromagnetic potentials V and A  are not.


~

In this ontological context, it is far from clear how the phrase ‘more like’ is to be applied.  Comparison of historical theories gives no sense that their ontologies are approaching a limit:  in some fundamental ways, Einstein’s general relativity resembles Aristotle’s physics more than Newton’s.
-- Thomas Kuhn, in I. Lakatos & A. Musgrave, eds., Criticism and the Growth of Knowledge (1970), p. 265


Cf. too Dirac’s remarks (1951) that the aether concept was ripe for resuscitation.


[Update 8 May 2012] And now this:
The philosophical status of the wavefunction — the entity that determines the probability of different outcomes of measurements on quantum-mechanical particles — would seem to be an unlikely subject for emotional debate. Yet online discussion of a paper claiming to show mathematically that the wavefunction is real has ranged from ardently star-struck to downright vitriolic since the article was first released as a preprint in November 2011.
The paper, thought by some to be one of the most important in quantum foundations in decades, was finally published last week in Nature Physics
They say that the mathematics leaves no doubt that the wavefunction is not just a statistical tool, but rather, a real, objective state of a quantum system.

I told you so...


Physicists reify space-time. They elevate it from a four-dimensional diagram used to record their experience into the kind of “real essence” that Bohr warned us not to seek.
-- David Mermin (March 2014), at:


~

Not the same as the question of the building-blocks (ontological bricks) of physics, but related to it, is that of the Boundaries of Disciplines:  between physics and neighboring fields (chemistry, mathematics, …) and within physics itself (mechanics, astronomy, electromagnetism, condensed-matter, nucleonics, quantum theory, …).   In one sense, the question is idle -- you are working on whatever project you are working on, with methods appropriate thereto, however outsiders might classify them.  But it also has practical consequences, e.g. in the writing of textbooks.  As:

The traditional teaching of thermodynamics and statistical mechanics  as distinct subjects,  has often left students with their knowledge  compartmentalized, and has left them ill-prepared to accept newer ideas such as spin temperature or negative temperature  as legitimate and natural.
-- F. Reif, Fundamentals of statistical and thermal physics (1965), p. viii

That, from the textbook we used in stat mech at Harvard -- in the physics department, though previously I had only met notions of enthalpy, temperature, free energy, and entropy, in a chemistry course.

Similarly, Lindsay & Margenau remark, in their historical overview Foundations of Physics (1936), that they are moving away from treating optics and electrodynamics as distinct disciplines, “the former being, since Mawell’s time, really a branch of the latter.”


~

God’s-truth vs Hocus-pocus:

It is tempting to dismiss these quantum waves  as mathematical contrivances … but in the laboratory these “probability waves” can be manipulated with mirrors …
-- George Johnson,  A Shortcut Through Time (2003), p. 38


~

The prototypical example of an ontological ‘bit’ of chemistry and physics, is the atom (the ‘indivisible’ in its Greek etymology).  But later perspectives can get quite unprototypical:

A neutron star … is basically a giant atomic nucleus, stabilized by gravity.
-- J. Richard Gott, The Cosmic Web (2016), p. 29
.

Sunday, January 3, 2016

Esse est percipi: the "collapse of the wave-function"


Distinguishing discontinuous state-reduction (which he dubs R) -- i.e., the “collapse of the wave-function” upon “observation”  -- from linear evolution as per the Schrödinger equation,   a mathematician remarks:

I do not mean to imply that the experimenter deliberately sets up a ‘measurement’ to achieve this.  … Nature herself is continually enacting R-process effects,  without any deliberate intentions on the part of an experimenter or any intervention by a ‘conscious observer’.
-- Roger Penrose,  The Road to Reality (2004), p. 593

Thus achieving the esse of percipi  ‘naturally’ (vacuously).

[For the full post  to which the above is a footnote, click here:

http://worldofdrjustice.blogspot.com/2013/09/esse-est-percipi-redivivus-ter.html  ]




Note:

D’Abro (in The Rise of the New Physics (1939)) writes  less dramatically  of an act of measurement against a given parameter as triggering “instantaneous condensation” from the previous diffuse cloud of potential values.

In Are Universes Thicker than Blackberries? (2003), p. 4, Martin Gardner, a staunch foe of Science Porn, gives an even less catastrophic-sounding synonym of “collapse of the wave-function”:  rotation of the state vector.   He goes on to polemicize (very readably) against the Many Worlds Interpretation, ultimately concluding that “As far as we can tell, universes are not as plentiful as even two blackberries.”

Wednesday, December 23, 2015

Veracity, Verifiability, Vindication


[That is an ascending series.  Some things that are true, may yet be inaccessible to us -- temporarily, or forever;  a veracious person is someone who asserts only what he sincerely believes to be true (and -- for this quality to have any practical value -- has reasonable warrant for so believing, reasonable relative to the contemporaneous state of the art.)
Verifiable means that the assertion is ‘in the running’ for being experimentally (or proof-theoretically) confirmed, even though these happy results have not yet eventuated.
Vindicated means that the result has been supported, whether by (theory-supported) experiment, formal proof, or revelation.]


[Original post from 7 VI 2015]


A crisp, concise op-ed, in this morning’s NYTimes, “A Crisis at the Edge of Physics” by Adam Frank and Marcelo Gleiser (both professors of physics), states the case against (over-cantilevered or under-buttressed) speculation, not only for string theory (which has notoriously come in from a lot of pushback;  see Lee Smolin, The Trouble with Physics), but for supersymmetry generally.  The authors note that, as of even date, “no supersymmetric particles have been found” (perhaps they are hiding out in a back room, playing poker with the Higgs boson).  So far as that goes, not a problem;  plenty of propositions in math and science took centuries or even millennia to settle.  What disturbs the authors is that some champions of supersymmetry -- the jusqu’au-boutistes, we might call them -- may simply move the verificationist goalposts.

Some may choose to simply retune their models to predict supersymmetric particles at masses beyond the reach of the Large Hadron Collider’s power of detection -- and that of any foreseeable substitute.


Exactly the same concerns were voiced, a good decade earlier, by the mathematician-physicist Roger Penrose, in the section “Can a wrong theory be experimentally refuted?” (p. 1020 ff.), in The Road to Reality (2004), concerning “un-Popperian” practices in physics.


If that were only a problem for one avenue at the forward fringes of physics, that would not be a problem for most of us  as we bustle about our daily chores.  Yet the authors further suggest that certain well-traveled avenues  are actually cul-de-sacs:

The standard model, despite the glory of its vindication, is also a dead end.  It offers no path forward to unite its vision of nature’s tiny building-blocks with … gravity.

What really bothers the authors is something that goes well beyond physics:  “the specter of an evidence-independent science”.   And that specter has been haunting the West for some time, and increasingly reaches into the headlines, as witness the countermovements to the theses of natural selection or of global climate change.

Not being a physicist, I have no right to comment;  but, at the margins, this:

(1) The larger cultural worry, is the dissociation of the notion of Truth überhaupt  from that of Evidence and Argument. In that perspective, we would deplore the demand to dissociate theory from experiment.
(2)  Yet -- Do not forget  Einstein’s classic crack in 1919, anent the possible negative results of an experiment purporting to validate or refute General Relativity:  “Da könnt’ mir halt der liebe Gott leid tun.  Die Theorie stimmt doch.”  (Informal translation:  "I'm right.  Bite me.")

Die Theorie stimmt doch!


The consensus of scientific history (for right reasons or wrong)  has been to applaud  those cheeky remarks .

~


Einstein was speaking of his theory of gravitation.  But similarly for particle physics.

Compare, re Feynman and Gell-mann’s joint article “Theory of the Fermi Interaction” (written in 1957, and subsequently published in Physical Review):

The V - A theory was in disagreement with more than a half dozen experimental results on beta-decay,  but it was so beautiful  that the authors proposed it anyway, suggesting that all those results were wrong.
-- Harald Fritzsch, introduction to Murray Gell-Mann: Selected Papers (2010), p. 5

And:

The Standard Model … has been driven largely by certain powerful consistency requirements, hard to satisfy in such theories.  In order to appreciate something of the force behind these consistency requirements (which continue to drive the more modern speculative theories, such as string theory), we shall need to look at the structure of quantum field theory. … The theoretical requirements appear to be so tight  that it might seem almost incidental that these answers are actually in excellent agreement with experiment!
-- Roger Penrose,  The Road to Reality (2004), p. 655-6

And more generally:

Polanyi delighted in drawing attention to cases where the scientific community ignored or waved aside or explained away  seeming counter-evidence to accepted theories.  He seems to have felt that a scientist would abrogate his personal responsibility for his beliefs  if he allowed them to be at the beck and call of experimental results.
-- John Watkins, Science and Skepticism (1984), p. 29


Nor must we wait until our own extravagant age of post-modernism and M-theory, to find ourselves confronted with an “All is Permitted” ethos in the realm of physics.
Karl Pearson, as a pioneer of statistical thinking in a wide range of fields, is in that respect  a representative of a hard-headed, just-the-facts-ma’am, shut-up-and-calculate approach to messy realities.  But when doing (what he thought of as) physics, his Romanticism, which early on was a major strain of his make-up, got the better of him.   In the years around 1890, he theorized about atoms in terms of the then-regnant ether theory:

He spoke  not of causation  but of analogy, indeed “analogies … of the vaguest description”, and in the context of this paper, his doubts about the human capacity to get at real objects or real causes  functioned as a license to invent … Since his ether model  so far  had strange, almost inconceivable properties, he discarded physical plausibility as a criterion of a good theory.
-- Theodore Porter, Karl Pearson (2004), p. 187

"You see it's all simply a matter of ether-squirts ..."


~


Working the equations of physics to their long-reaching logical conclusions, continually leads to apparent absurdities:  negative energies or frequencies, unobserved particles, particles moving backwards in time, a Hobson’s choice between acausality or indefinitely-proliferating alternate universes, and miscellaneous infinities.  Some physicists shudder at such;  others grin and say “Bring ‘em on.”  (Unfortunately, the latter are the ones favored in the popular media -- the phenomenon of Physics Porn.)  The problem is deciding when that is just the way Nature (inscrutably) actually works (in which case you have made a major discovery), and when it is merely absurd.  Will the Higgs boson turn out to have been more like the positron (born from the forehead of Dirac’s mathematics) and the pion (brain-born from Yukawa), eventually found in everyday space, or  instead  like the cute-sounding but still-missing photinos, squarks, and pentaquarks?

[Update July 2015]  Bzzt!  No sooner had I posted that, than experiments claim to have spotted one of the elusive critters:

So here is the larger temptation -- the intellectual Occasion of Sin:
Beginning several decades ago, comparing the results of experimentally well-verified physics  with the predictions of the equations, scientists marveled at what was memorably dubbed “the unreasonable effectiveness of mathematics”, summed up by the epigram “the equations seem to give us more than we put into them;  they seem to be wiser than ourselves”.   But The Edge beckons when we start to conclude, that if our favorite equations predict something, then that something must be so (if only in the Multiverse) -- even if, to the guys in the lab, it doesn’t seem physically reasonable.


As Penrose puts it:

What is the physical justification in allowing oneself to be carried along by the elegance of some mathematical description  and then trying to regard that description as describing a ‘reality’?
-- Roger Penrose,  The Road to Reality (2004), p. 670


That question takes us back  to a very old debate -- as old as poetry :  What is the relation between Beauty and Truth?


In that essay, we concluded that, in a sense, ‘beauty’ (in a rather austere sense of crisp symmetric elegance, having more to do with the Parthenon than with a Miss America pageant or a Turnerian sunset) does characterize any deep theory in the mathematicized sciences -- but only in retrospect, after years and decades of its practitioners coming to appreciate its depth; the theory does not wear its beauty on its sleeve.

Thus, even in the case of the (relatively) well-behaved, now-long-familiar poster child of particle physics, QED:  Paul Dirac, the pioneer of QFT, wasn’t buying it.   In response to a 1936 experiment (by Shankland) which suggested (incorrectly, as it turns out) that energy need not be microscopically preserved,

Dirac immediately jumped at this opportunity to disown QED, claiming “because of its extreme complexity, most physicists will be glad to see the end of it."
-- Matthew Schwartz, Quantum Field Theory and the Standard Model (2014), p. 247

~

Taking physics on faith


Penrose again, concerning a couple of signature contributions by Richard Feynman -- probably the educated public’s favorite hip physicist since Einstein:

The path-integral approach is, it seems, almost wholly dependent upon a faith that the wildly divergent expressions that we are presented with (like the divergent series above) actually have a deeper ‘Platonic’ meaning  that we may not yet properly perceive.
-- Roger Penrose,  The Road to Reality (2004), p. 670

Theophysical note:  Here we see a reference to “faith”;  its truth-functional content may be roughly equivalent to “working assumption”, but since we are indeed dealing with such deep and ultimate matters of Platonism, the theological overtone is not actually out of place. 
Similarly, my casual reference to “revelation” above, as denoting one of various routes to knowledge, was not flip.  Compare, from our hard-headed flinty-eyed philosopher of science:

If  we had a hot line to the Author of Nature, and if we had a clearly formulated IP [for which see below], an excellent question to put to him would be:  Is our IP true?  If he answered ‘Yes’, we could happily set a computer to work to print out all those h[ypothese]s that are singled out by our evidence  in conjunction with this authoritatively endorsed IP.
-- John Watkins, Science and Skepticism (1984), p. 93

And if that strikes anyone as credulous, note that most of us largely treat computers as oracles as well (e.g. in the proof of the Four-Color Theorem, or any of innumerable unsurveyable and possibly preposterous simulations).


Back to the sadder-but-wiser Penrose:

Even that archetypal renormalizable theory, QED, is not actually a finite theory, even after renormalization.  How can this be?  Renormalization refers to the removal of infinities from finite collections of Feynman graphs.  It does not tell us that the summation of all these resulting finite quantities is actually convergent. … In fact it is not finite, but has a ‘logarithmic divergence’.
-- Roger Penrose,  The Road to Reality (2004), p. 680

(Logarithmic divergence is comparatively mild, but it still gets where it's going -- an unphysical infinity -- in the end.)

As for the next step beyond QED (which is part of the Standard Model), QFT:

Strictly speaking, quantum field theory … is mathematically inconsistent.
-- Roger Penrose,  The Road to Reality (2004), p. 610

~

But let us set aside quantum mechanics, that known maze of paradox, along with its ever-more-speculative successors.  Surely matters stand better in the case of classical mechanics and electromagnetism, along with their tool-of-all-work, the venerable Lagrangian, which dates back to the eighteenth century. 

Yet even here, Penrose demurs:

In modern attempts at fundamental physics, when some suggested new theory is put forward, it is almost invariably given in the form of some Lagrangian functional. … However, I must confess my unease … The choice of Lagrangian is often not unique, and sometimes rather contrived … Even the Lagrangian for free Maxwell theory … has no obvious physical significance. … Moreover, the ‘Maxwell Lagrangian’ does not work as a Lagrangian unless it is expressed in terms of a potential, although the actual value of the potential, A, is not a directly observable quantity. … In most situations, the Lagrangian density does not itself seem to have clear physical meaning.
-- Roger Penrose,  The Road to Reality (2004), p. 491

Nor is Penrose a professional maverick or skeptic.   After all, the book we’ve been quoting from clocks in at over a thousand pages, and is subtitled “A Complete Guide to the Laws of the Universe”;  you wouldn’t do that if you thought physics was a crock.


~

Simply as an assertion, the Weyl curvature hypothesis  is perhaps more like a claim for ‘an act of God’  than a physical theory.
-- Roger Penrose,  The Road to Reality (2004), p. 769


Rule of Thumb:

Physics advances by dint of Physicists’ Encyclicals.
These are almost never arrived at purely deductively;  nor as the result of conclusive, slam-dunk experiment, leaving no leeway for doubt of validity nor variation in interpretation(**); yet neither do they come out of nowhere.

[**:   That classic 1919 experiment, about which Einstein was so dismissively cocksure, was not actually so probative as the newspapers made out.  Worse yet, that alltime- irreproachable über-icon of experimental virtuosity, the Michaelson-Morley experiment, traditionally cited as crucial for Special Relativity, did not really quite have the widely-advertised null result.  Lindsay and Margenau, in their history of physics, note this fact with some embarrassment, since so much of what they have to recount -- and which they do recount -- rests upon that pedestal;  they keep mentioning it with a proviso.  And at an even more elementary level in cosmology, the experimental results that led to the Red Shift principle: when Steven Weinberg painstakingly went over the actual original data, he pronounced himself baffled as to how Hubble ever extracted his famous monotonic relation from them.]

Schrödinger’s equation -- Feynman’s path-integrals -- the laws of thermodynamics:  inspired guesses, which awaited the mathematicians to tidy things up.

-- Not trying to debunk, here;  simply being historical.
(Feyerabend, too, was long  historical  in this sense, before he went over to the dark side.)

~


Donning our old lexicographer’s hat, let us look a bit more into the matter of vocabulary, the Wortfeld of terms for justification. 


Our negative result so far, entirely in line with Hume’s, is that, without an inductive principle, there can be no legitimate ascent from level-0  [i.e., things like “yellow patch, for me, here, now”] to level-1, or from level-1 to level-2, and that any inductive principle strong enough to “legitimise” the ascent  could not itself be legitimised.   If that is so, then it is obvious that there can be no legitimate ascent to still higher levels.
-- John Watkins, Science and Skepticism (1984), p. 105



In the following, we see a fine distinction drawn between justification and “vindication”.

The philosopher John Watkins imagines a principle, call it the Inductive Principle, which would answer Hume’s objections, to the satisfaction of inductivists.  What would then be the status of the IP?   He distinguishes several possible theses :  that it is “synthetic and true a-priori”, “synthetic and provable by a transcendental argument” (which latter turns out to be little more than “Well, it seems to work”), and:
*  IP is synthetic and empirically justified.
*  IP is synthetic, and, although it cannot be justified either a priori or a posteriori, it can be vindicated.
-- John Watkins, Science and Skepticism (1984), p. 93

The verb vindicate is slightly odd here;  usually it has moral overtones, of someone having been right against opposition or against the odds.   You verify someone’s age on his driver’s-license;  you validate a parking-stub; you vindicate a statesman’s course of conduct.
The term justification also has a richly complex ethico-theological usage in Christianity, quite opaque to an outsider.

~

More fine distinctions, this one semi-defined on the fly:

One’s degree of rational assent to a hypothesis should be controlled by its degree of confirmation (‘confirmation’ being understood in some quasi-verificationist or probabilist sense).
-- John Watkins, Science and Skepticism (1984), p. 118

Watkins then spins off into the world of proofs-and-refutations, abduction, and the like:

The sought-for relation between e[vidence] and h[ypothesis] is now inverted:  instead of an upward, quasi-verifying inference from e to h, we have a downward, explanatory derivation of e from h.
-- John Watkins, Science and Skepticism (1984), p. 119

Note those squirrely “quasi”s, by the way.  For all the wealth of the verificatory Wortfeld, no term seems quite to fit.

~


We have been focusing on physics;  but analytic philosophers have long discussed these matters in great depth.  A few representative teaser-quotes, giving some extra vocabulary, and the flavor of the debates:

The great contribution of [Quine’s “Two Dogmas of Empiricism”] was that it offered an essentially verificationist account of language  without committing the logical-positivist error of supposing that the verification of every sentence could be represented as the mere occurrence of sense-experiences. … Proof, which is verification by inference alone, thus becomes a limiting case, or a distinct species.
-- Michael Dummett, “What is a Theory of Meaning? (II)”, in: Evans & McDowell, eds., Truth and Meaning (1976), p. 111

… notorious problems about the connection between corroboration and verisimilitude
-- Susan Haack, Evidence and Inquiry (1993), p. 105

Note here that, within the genus of positive instances, the term “confirming instance” is disastrously ambiguous  as between a supportive  and a nonsupportive species of positive instances.  By the same token, logical mischief has been wrought by the weasel word “verification”  and the equivocal verb “verify”.
-- “Is Falsifiability the Touchstone of Scientific Rationality”, in: Adolf Grünbaum, Collected Works, vol. I (2013), p. 15





[Update Dec 2015]  Physicists are beginning to get seriously perturbed by all this.

A Fight for the Soul of Science

String theory is at the heart of a debate over the integrity of the scientific method itself.

[Update 19 Jan 2017] Philosophically on a more modest level than any of these "V's", is simple reproducibility of experiments --a minimum requirement for verifiability.  But there are problems even with that.  A new study of reproducibility released its results for the first five classic cancer-related experiments whose re-performance was attempted:  five experiments, five failures.   Background:



Cancer reproducibility project releases first results

The Reproducibility Project: Cancer Biology launched in 2013 as an ambitious effort to scrutinize key findings in 50 cancer papers published in Nature, Science, Cell and other high-impact journals. It aims to determine what fraction of influential cancer biology studies are probably sound — a pressing question for the field. In 2012, researchers at the biotechnology firm Amgen in Thousand Oaks, California, announced that they had failed to replicate 47 of 53 landmark cancer papers2. That was widely reported, but Amgen has not identified the studies involved.

Perhaps the clearest finding from the project is that many papers include too few details about their methods, says Errington. Replication teams spent many hours working with the original authors to chase down protocols and reagents, in many cases because they had been developed by students and postdocs who were no longer with the lab. Even so, the final reports include long lists of reasons why the replication studies might have turned out differently — from laboratory temperatures to tiny variations in how a drug was delivered.

http://www.nature.com/news/cancer-reproducibility-project-releases-first-results-1.21304?WT.ec_id=NATURE-20170119&spMailingID=53225513&spUserID=MjA1NjgwMjUyOAS2&spJobID=1083504884&spReportId=MTA4MzUwNDg4NAS2