Dear Ken,

I am certain that you did not expect to find yourself in a discussion with me because you answered one of Akinbo's questions, and since this is your blog, if at any time you wish to terminate the discussion I will honor your wish. As you have responded to my comments and ended your response with a question, I would like to offer a response, however.

"This is getting perilously similar to a discussion about how many angels could dance on the head of a pin. There's no watch, there's no precise (mathematical!) definition of such a watch, so these questions can't be addressed"

I think there is a fundamental difference between the imaginary construct of a clock moving at c in space, and the imaginary construct of angels dancing on a pin. Proper time is a well-defined quantity in SR, and we know that those proper times which correspond to time-like intervals can always be (in principle) measured by means of a clock in the rest frame. Given that, the construct of a clock moving at c involves a reasonable extrapolation of the theory. In contrast, angels dancing on a pin do not involve a reasonable extrapolation of any accepted physical theory because none of them use angels as a conceptual building block.

I think that all but equating these two constructs, which are dissimilar in an essential way, is the sort of response which deflects from the issue I am raising. However, I am heartened by your question:

"Do you have a good reason why anyone should consider such a transformation in the first place, let alone try to draw any conclusions from it, infinities and all?"

The fact that you are asking me this indicates to me that you are at least willing to consider the issue, and for that I am grateful.

The short answer is: yes, because not doing so is not scientific.

However, in order for the short answer to make sense I will have to give a somewhat longer answer. First, let me clarify that by "considering such a transformation" I do not mean that such a transformation is possible, or that its current description in terms of infinities is false, or anything like that. In fact, I think we agree on all matters of fact pertaining to SR, and even on the immediate inferences that can be drawn from them. For example, I completely agree with your statement:

"If that doesn't include the invariant number-of-cycles, then it's not a frame in which one can discuss our universe." provided you are willing to substitute "spacetime rest frame" for "frame" (I believe you would be ok with that, if not, please correct me).

Where we part ways (or, more generally, where I seem to part ways with most other physicists) is on the question of whether these immediate inferences constitute the end of the line of inquiry. I believe they do not. Let me try to articulate the issue as clearly as I can:

According to SR, objects associated with c in space cannot be associated with rest frames in spacetime, a direct consequence of the speed of light postulate. If one tried nevertheless to imagine what it would be like to associate a hypothetical rest frame with an object described by v=c, then a reasonable extrapolation of the mathematics of SR indicates that all events separated in time would in such a frame be compressed to a point. This implies that an observer in such a hypothetical frame would "observe" the moment of his "coming into existence" to be the exact same as the moment of his "going out of existence" (say emission and absorption of a photon), which implies that an observer in such a frame would observe his own duration of existence in spacetime to be exactly zero. Now, this is NOT a problem yet.

The difficulty appears when one considers how we would use this extrapolation if we did not already know that there are in fact, in the real world, entities associated with v=c. Surely, in that case we would interpret this extrapolation to mean that objects associated with v=c do not exist, and consider any of the relevant reasonable extrapolations as theoretical evidence for that. The problem is that such objects do in fact exist, and their existence seems to run counter to what we would have taken as a prediction of the theory had we not already known of their existence (this is what I labeled as the "existence paradox" where "paradox" is meant in the sense of a puzzle which is counterintuitive but still consistent with the theory).

My charge of denialism is that there is a genuine problem deserving of explanation in SR, in the sense of a discrepancy between an apparently reasonable interpretation of what the theory predicts and what we observe in the real world, which is at present almost universally treated by physicists as if it were a non-problem.

The history of SR itself gives an example of how such denialism can delay progress in science: Surely there were physicists before Einstein who realized that observers in motion relative to each other observe different electromagnetic fields, but it does not seem to have bothered them. As a result, they lost the chance to discover SR.

If it is acknowledged that there is a real problem here (in the sense of, say, the twin paradox, prior to someone finding a solution for it), then one can undertake the usual course of scientific inquiry:

1. Attempt to formulate a question that leads to a hypothesis which can be investigated

2. Formulate a scientific hypothesis

3. Investigate whether the hypothesis is refuted or supported by the available evidence.

Denying that there is a problem blocks this scientific process. I hope my short answer makes sense now.

There remains one issue I need to address, namely whether this particular problem is really the sort of problem that lends itself to the process I just outlined. The only way I can answer this is by giving the results of my own inquiry as a sort of "existence proof" that this can be done. My aim is not to convince you that the explanations I have arrived at are the right ones, it is merely to convince you that there is a real problem in SR that is universally ignored.

1) The question I formulated was: Is it possible to associate a rest frame (which obviously cannot be a spacetime rest frame) with objects characterized by v=c in such a way that it is consistent with all relevant reasonable extrapolations of SR? (finding such a frame would then allow us to "understand" why the existence paradox is not a real paradox)

2) I formulated as a hypothesis that such frames are associated with objects which exist in a 2+1 dimensional analog of spacetime such that there exists no function which maps their position in this lower-dimensional analog to a position in space (the existence of a such a function would contradict both SR and QM: SR because it implies that one can associate a position vector in space, and hence a spacetime rest frame with such objects, and QM because one could use such a map to construct a sequence of position vectors i.e. a sequence of "unmeasured" positions).

3. The evidence I have gathered so far could optimistically be considered as corroborative and pessimistically as merely consistent with the hypothesis. I will give two arguments based on SR(there are more, but this post is already unreasonably lengthy, please pardon).

a. The fact that in such frames, by another reasonable extrapolation of the mathematics of SR, the spacelike basis vector in the direction of motion and the timelike basis vector both converge to a lightlike vector and therefore become parallel indicates that in such frames spacetime is a linearly dependent vector space, which in turn implies that the dimensionality associated with such a frame is lower than the dimensionality of spacetime. A potential problem with this argument is that since lightlike vectors have zero magnitude, they can be considered both parallel and orthogonal, but I believe that as long the orthogonality does not negate their also being parallel, and the implication that follows (If am mistaken on this, I would appreciate a correction).

b. If one takes the "missing dimension" to correspond to the direction of motion in space, and takes

[math]\beta^2 + \frac{1}{\gamma^2}=1[/math]

as an axiom, then this straightforwardly implies the invariance of the speed of light: From the fact that the object is intrinsically lower-dimensional such that it lacks extent in the direction of motion follows that

[math]L_0=\frac{L}{\gamma}=0[/math]

as observed in every spacetime frame, which implies

[math]\frac{1}{\gamma}=0[/math]

in every spacetime frame, which implies

[math]\beta=1[/math]

in every spacetime frame.

Again, please pardon the excessive length of this post, I think I have pretty much said everything I wanted to say on this matter, so I'd expect further posts, if there will be any, to be substantially shorter.

I would appreciate finding out whether this extended argument had any effect on your views on this issue or not.

Best wishes,

Armin

A quick addendum regarding my purported counterexample:

Of course the coordinate time refers to the time passing for a moving observer, but this does not mean that this equation is not applicable, it only means that the situation you described in your essay pertaining to the flow of time describes the special case ds/dtau=c. Unfortunately, c has a strong connotation as speed in space, perhaps the convention ds=ic dtau is a better choice for this purpose.

Best,

Armin

Dear Armin,

I too would like to see a response from people familiar with this matter. I wonder whether you would be willing to pose your question in an FQXi blog accessible to a larger audience (here, not too many people will find it - no disrespect intended).

Now that I saw your writing, I plan to make time to read your essay.

You are right, any inconsistencies in accepted theories must be investigated (if uncovered by qualified people). Even if answers aren't now available (let's suppose), such inconsistencies need to be looked at again regularly and not just "papered over." Obviously, no one is willing to scrap SR over this particular thing (if unresolved), but it may well lead to new ideas (and solutions).

Just for my own curiosity, what is the evidence that such objects exist (v=c), and what is the duration of their existence, and how is that measured?

Thanks.

En

Hi Armin,

Thanks for letting me know some of your motivations. I'm steered away from such concerns because: 1) I think in terms of fields, not particles, *especially* when it comes to light, and 2) I'm looking for ways to find hidden structure at a deeper level, and compressing the universe from 4D to 3D (or 2D?) seems to me the exact opposite. But please don't let me put you off the hunt: I'm the last person to tell anyone that a crazy idea isn't worth exploring, if you think that a promising topic has been unfairly neglected... But watch those infinities! :-)

Hi Armin,

I'm in full agreement with you about an evolving intuition; my main target was innate intuitions, but these of course can be corrected and changed (hopefully in the right direction!). Some intuitions, though, are harder to change than others.

As far as your 'flow of time' example goes, you're describing motion through space: a flow of a particle, not a flow of time. In the terminology of my essay, setting T=t(time), t=\tau (proper time) would fall into category A); two time-parameters that have a well-defined relationship can't be used to describe one objectively changing with respect to the other. In fact, that was the very foil I had in mind when I wrote that bit of the essay, even though I didn't mention \tau(t) explicitly.

If you think about it, your equation doesn't describe anything objective; every single term on both sides are agent-dependent. Furthermore, as you noted in your follow-up, the time t is measured by an agent at rest with respect to the moving worldline in question. As soon as you fixed this problem, both of your t's became identical, and the statement became a meaningless tautology.

One last thought: If time flows, it flows in a particular direction. To get a flow you therefore need to break time-symmetry, and you won't find that in SR.

Best,

Ken

Dear Ken,

Very beautiful essay. I think your cartoon of idea-space is very suggestive, and should help us when we want to trade mathematical consistency for intuitiveness. Here seems to be a complementarity between consistency and intuitiveness, pretty much like Bohr's complementarity between truth and clarity. I like your example of an idea that seems to be supported by our intuition and couldn't become mathematically consistent, as well as the closing statement "The future of physics may lie in a counter-intuitive direction, but at least we know it will be framed in the language of mathematics".

Best wishes,

Cristi Stoica

    5 days later

    Dear Professor Wharton:

    Perhaps it would be useful to distinguish between (a) a phenomenon which is not representable by a consistent mathematical structure and (b) a supposed phenomenon which is inconsistent or incoherent and therefore impossible. In particular, this distinction might be helpful for discussing what seems to be the difference between time and space. Granted, what seems to be special or unspacelike about time cannot be represented mathematically. Granted, furthermore, the standard metaphors for the distinctive feature or features of time are in some ways more misleading than illuminating. I can agree with your critique of the images of flow and passage. Nonetheless, I would contend that the lack of a mathematical representation should not be taken as leading to the conclusion that the supposed distinctive characteristics of time are non-existent. The warranted conclusion is, I think, somewhat more complicated: either those characteristics do not exist, or they exist in the physical world without being mathematically representable, or they exist only subjectively, that is, only in experience. On the last alternative, it remains true that the distinctive features of time are real, even though they are not part of physical reality. In that case, any attempt at a complete account of the nature of things would still be under the obligation of trying to explain those features.

    At this point I think another distinction might be helpful. This is the distinction between intuition and experience. An intuition, or intuitive belief, is something that we are inclined to believe. A familiar example is the belief that, if we drop a heavy cannon ball and a much lighter pebble from the top of the leaning tower of Pisa, the cannon ball will reach the ground first. But an experience is something different. Here is an example: "The Moving Finger writes; and, having writ, / Moves on: nor all thy Piety nor Wit / Shall lure it back to cancel half a Line, / Nor all thy Tears wash out a Word of it." This verse does not state an intuitive belief. It tries to describe exceptionless features of experience. It is hard to know what people might believe, intuitively or otherwise, about time travel, the irrevocability of the past, and similar topics. But time is an experienced part of reality, and it is experienced as something very different from a dimension of space. I do not know how the experience arises. Maybe it derives from other entities and forces which in themselves lack distinctive temporality. Obviously, intuitive beliefs can be overruled. They often have been and often should be overruled. But experience is something other than beliefs, and therefore experience has to be treated differently.

    Best wishes,

    Laurence Hitterdale

      Dear Ken,

      Pondering on your conclusion

      "So while physics and math do have a striking degree of overlap, this is hardly some cosmic coincidence. The necessity for consistency in physical models, along with some mistaken human intuitions, can mostly explain the largest questions"

      I asked myself: writing this, did you keep in mind that "the laws of nature are described by beautiful equations", as Wigner's brother-in-law put it? If yes, how might this explanation look like? If not, wouldn't the key part in the physics-mathematics relation be lost?

      Best regards,

      Alexey Burov.

        Thanks for the kind words, Cristi... Although I wouldn't say there's a general tradeoff between consistency and (innate) intuitiveness; in *general* I would say they're unrelated, or if anything, perhaps even tend to go together. True, since the intuitive ideas tend to get explored first, the "promising frontier" for physics has been in the non-intuitive direction for some decades, now. But that's just because the intuitive and consistent ideas have already been explored, not because there aren't any intuitive ideas that are also consistent.

        Hi Laurence,

        You give 3 options; the first and last I'm okay with. But not "they exist in the physical world without being mathematically representable". If there's no consistent mathematical framework in which they can be discussed, then the very notion is inherently inconsistent and won't have a physical counterpart. (IMHO...)

        As for the last option, that our perception of time is real as far as *experience* is concerned, that's fine, but that makes this issue a consciousness-problem, not a physics problem. I wish physicists would recognize this and leave it alone. (Unless, I suppose, they're also going to be building useable models of consiciousness... but that's still not physics.) Looking to "other entities and forces" to explain one aspect of our conscious experience seems to be like a huge mistake, mixing lower-level and higher-level concepts in a way that seems wholly and utterly implausible -- especially because those "other entities" don't seem to show up at any of the intermediate levels between physics and consciousness (mesoscopic physics, chemistry, biology, neural networks, etc.).

        Best,

        Ken

        Dear Alexey,

        I agree with your sentiment, but unfortunately "beauty" is a bit too subjective of a premise to start with when looking for an objective explanation. Even "simplicity" and "elegance" have subjective aspects, but maybe "efficient" is the right starting point. We humans (or at least some of us) find it beautiful when a very wide range of phenomena can be explained with a few efficient concepts. Asking why this is in fact the case is an excellent question, but I wouldn't say it's the key part of the mystery.

        I say this because even if I provided a good explanation for why there are a few rules that explain everything, that would really only apply to the most fundamental physics from which everything else emerges. Such an explanation wouldn't cover higher-level, effective- or emergent- physics, for which mathematics is certainly still important, and this mysterious overlap between math and physics continues. I would say that the most use of higher-level math actually takes place at this higher level, where any "ultimate efficiency" arguments don't really apply.

        Furthermore, I'm convinced we haven't gotten down to the truly fundamental level yet, in any of our theories except maybe perhaps GR. So at this point, I see pretty much all of physics as a higher-level approximation, and speculating about the efficiencies of the fundamental level that may be waiting for a discovery is just... well... speculation! :-) Although I am convinced, as are most physicists, that any ultimate explanation will indeed be efficient.

        Ken,

        Math is developed w/o any thought of the physical application due to a 1) self-consistency requirement for physical models and 2) misguided physical intuitions.

        How is the non-logical axiom with a role in theory-specific assumptions handled for 1 and 2?

        A lot of thought-provoking concepts in your essay.

        My essay (http://fqxi.org/community/forum/topic/2345) only sets out to show connections of mind, math and physics with the stellar achievement leading to quantum biology, the LHC, and DNA.

        Thanks for sharing your ideas.

        Jim

        Dear Ken Wharton

        You have very creative approach to this topic.

        I wrote in my essay that I do not believe in absolutely wrong intuition of people. I thought mostly specifically that quanum randomness has some explanation background as opposition to positivists (Roger Schlafly in this contest). I claim that quantum randomness and free will (in panpsychism) are the same things. This is physical intuition and some type of mathematical intuition. (I also claim that interpretation of QM must exist.) Are you positivist and you disagree to these two my claims?

        At the other side I admitted that our intuition is connected only Newtonian physics, but also with math and logic which we learn from childhood.

        According to your intuition about time flow: I claim that time is one the most fundamental notions, connected also with panpyscism. (This is claimed also by Sylvain Poirer on this contest). Thus space in space time is only another form of time. I claim that panpsychism is only in absolutely primitive form, thus feeling of flow of time and physical time, as we know it from equation do not mean essential difference.

        I also claim that speed of time is dependent of dimensionless masses of particles (G and hbar are mostly things of agreement of measurement units. Mostly, not absolutely ...) Thus, time flow is coupled with mass. Thus, spacetime without rest matter does not exist.

        In this contest, you can find also essays which claims that time does not exist ...

        My essay

        Best regards

        Janko Kokosar

        Dear Ken,

        Thank you for a very nice read! I enjoyed the classical view and style and the witty sense of humor that is displayed throughout the essay.

        You are making perhaps the most balanced analysis of how the physical universe looks from an intuitive point of view and the counterintuitive realities that it hides. The two-time trap is an exquisite dissection of the insurmountable problems that one will stumble upon when trying to explain the flow of time, which is the most intuitive concept in the world and seemingly indisputably ingrained at the very core of the perception of existence. In the light of this exposition, your conclusion is indeed indisputable, that whereas we are particularly attached to our intuition, the laws are ultimately decided, rigged as you so charmingly say, without any regard for our opinions.

        Wish you best of luck in the contest! Should you have time to read my essay, your comments are more than welcome.

        Warm regards,

        Alma

        Ken,

        I am revisiting essays I've read to assure I've rated them. I find that I rated yours on 4/14, rating it as one I could immediately relate to. I hope you get a chance to look at mine: http://fqxi.org/community/forum/topic/2345.

        Jim

        Dear Ken,

        Thank you for an entertaining and thought-provoking essay. In my opinion, among those submitted by FQXi members, yours is the one that presented the most interesting arguments relating mathematics to physics.

        I really liked your cave analogy, especially the physicists being "chased out of caves by the monsters of experimental falsification". Your analysis of the role of intuition in physics is very interesting, as is your "cartoon" of idea-space. I am intrigued by your statement that "mathematicians are simply better explorers of new and strange ideas" than physicists, because they are less unencumbered by physical intuitions. I wonder what you think of philosophers. Since they do not (usually) even bother to translate their theories into mathematical language, does this make them even "less unencumbered" and more likely to be the first to explore some ideas that could ultimately become essential aspects of "proper" physics? Or are they so unencumbered that they are likely to be stuck in wild geese chases? (I am thinking of philosophers like Robert Nozick or David Lewis (or "amateur philosopher"-scientists like Rudy Rucker and Hans Moravec) that have entertained on more or less purely logical grounds the idea that the whole of physical reality could be a subset (or even equivalent to) the whole of abstract mathematical reality.)

        I found your discussion of the flow of time very interesting, and I agree with you that to describe the flow of time on purely mathematical grounds one would need a two step system. I think that it should be possible to use a mathematical structure as a "clock" to define another mathematical structure that has the correct properties to describe a physical universe where time flows. If we ever succeed in describing the flow of time within a self-contained explanatory scheme, I think it will have to be something like that.

        In any case, I agree with you that the future of physics should lead us deeper into mathematics.

        All the best, and good luck in the contest!

        Marc

          Dear Marc,

          Thanks for your very nice words!

          On your question, I've been quite impressed by the philosophers of science who I interact with professionally. (In fact, these days I seem to be interacting with more philosophers than physicists!). The top of that field seems to be filled with people who know their mathematics far better than I do, and even when some of their arguments are not couched in mathematics, they are often couched in formal logic.

          Now, of course this isn't always true. Some of the unnamed people to whom I directed my flow-of-time rant are philosophers who hold that there is some objective flow of time (the A-theory of time, the philosophers call it, as opposed to the Block B-theory). These arguments are not couched in mathematics or careful logic, I would claim. Your examples may apply in this category as well. But just because someone is doing philosophy, it does not *necessarily* mean that they are not using mathematics; there's a lot of really good philosophy of science for which mathematics is an essential tool.

          Best, Ken

          Ken,

          Interesting essay, the basics well argued but it left me unconvinced over a few questions. You write;

          "The only caves that physicists find worth entering are the structurally-sound ones that have been mapped out by the mathematicians."

          This infers that that no worthwhile hypothesis can be conjectured unless the maths pre exist it. More worrying it seems to imply there's no room for a physical mechanistic hypothesis to be developed ('intuitive' or not) which can then be used to derive the mathematical description. I couldn't believe you really meant that, but then you wrote;

          "Physics without mathematics would be a surefire route to failure." Of course maths is one requisite, but is it a 'PRE'requisite as your hypothesis suggests?

          You then again seem to leave the solid ground and suggest it's more likely; "math is just less biased than physics, more willing to explore new ideas." Which I must admit is counter to most of my experience. Do you suggest that's my intuition being wrong?

          Nowhere do you identify that apparently self consistent maths can contain flaws and mislead us or not fully correspond to the physical processes for which it's invoked. I identify some important cases of this in my own essay, one relating to QM apparently not previously recognized. I hope you may review and comment.

          However I agree the QM case (rarely I find) IS consistent with your 'maths first' hypothesis, where indeed the very possibility of any 'classical' mechanism has been rejected by most.

          I also agree time doesn't flow and has no 'direction'. It seems a horrendous 'category error' to endow it with material attributes. But does that example prove that intellectual rationalisation, deduction and induction (intuition?) are near valueless any more than fallacious mathematical proofs show that maths is useless?

          Of course I agree your basis premise that maths is an (one) essential tool and 'consistency check' but is it the only one? must it pre-exist, and is it guaranteed always correct? As Alma points out in her excellent essay, in mathematics any inconsistency would be shot dead on sight. In physics this often isn't the case and inconsistencies become acceptable by familiarity! I think that may be the greatest danger of the assumptions you hypothesize, perhaps responsible for ever deeper theoretical entrenchment.

          Thanks for the valuable opportunity to study and better consider those seemingly increasingly common views by expertly expressing them.

          Sincerely

          Peter

            Dear Peter,

            Thanks for your careful reading, and interesting comments...

            > This infers that that no worthwhile hypothesis can be conjectured unless the maths pre exist it.

            I certainly didn't mean to imply this; I do think it's generally true, but not necessarily true. Hopefully I made it clear eventually that one might develop new mathematics to handle new hypotheses. So no, it's not an *absolute* pre-requisite.

            > "math is just less biased than physics, more willing to explore new ideas." Which I must admit is counter to most of my experience.

            It's not counter to mine, but then again I might be overly biased, as I've been finding it hard to push unusual physics ideas. I would say that when it comes to dramatic changes, leaping into some quite different framework, math is more fearless than physics, for the reasons I outline in the essay.

            >Nowhere do you identify that apparently self consistent maths can contain flaws and mislead us or not fully correspond to the physical processes for which it's invoked.

            I guess I didn't dwell on the fact that most mathematically-consistent physics ideas don't pan out, but that's absolutely true. (It's not the math that misleads us; it's the incorrect physics!)

            > I also agree time doesn't flow and has no 'direction'. It seems a horrendous 'category error' to endow it with material attributes. But does that example prove that intellectual rationalisation, deduction and induction (intuition?) are near valueless any more than fallacious mathematical proofs show that maths is useless?

            Just because our innate intuitions are near-valueless when it comes to deep theoretical physics doesn't mean that we can't build up new intuitions that *are* useful. What the example shows is that math can steer us away from making serious mistakes, even if our innate intuitions insist on making them. (In the same way, math can tell us which are the fallacious proofs, even if several people make the same mistake.)

            > Of course I agree your basis premise that maths is an (one) essential tool and 'consistency check' but is it the only one?

            Certainly not! More important by far is experimental verification.

            > As Alma points out in her excellent essay, in mathematics any inconsistency would be shot dead on sight. In physics this often isn't the case and inconsistencies become acceptable by familiarity! I think that may be the greatest danger of the assumptions you hypothesize, perhaps responsible for ever deeper theoretical entrenchment.

            Very interesting point... And I worry greatly about people accepting inconsistencies due to familiarity, esp. in quantum theory. Maybe physics should strive to be a lot more like math in this regard, along with being more willing to explore a wider parameter space of ideas.

            Thanks again,

            Ken

            Hi Ken,

            I think the titles of our essays say the same thing in different words.

            And in your final comments, you say " ... mathematicians can be fearless explorers without being viewed as heterodox; physicists tend to wait for experimental reasons to venture in non-intuitive directions."

            This is another thing I said in different words, to David Hestenes, whom so many of us hold in high esteem -- that while I much appreciate the mathematical contributions of Hestenes the physicist, I think it is too difficult for most research mathematicians to surrender the freedom of rational idealism that pure mathematics affords us. We want to prove theorems without any thought of physical applications, or even if we're doing anything useful.

            That's why I think both you and Hestenes have done such a good job of demarcating mathematics and physics, with the purpose of showing how they independently correspond. Going too far either way, as you say and imply, can betray both our intuitions and even perhaps our sanity.

            Highest mark, and I hope you get a chance to drop by my forum.

            Best,

            Tom