Can different paths in spacetime have the same separation?

[Anamitra]

We consider an spacelike infinitesimal separation {ds}^{2}<0

ds=+ or -ib [an imaginary quantity]

Now I integrate ds along some path from A to B. What happens if the imaginary parts cancel out on integration[if we can manage to cancel them out]?I mean, is it physically significant in any way?

We may have a slight variation of the problem:

Three spacetime points,A B and C lying at the corners of an infinitesimally small triangle are chosen[Of course this triangle does not lie on a flat surface]

ds from A to B=ib
ds from B to C =-ib

ds from A to C via B=0

Now is it possible to locate a direct path from A to C[which is not through C] which gives a null separation?

Is it quite possible that ds may simultaneously correspond to the two types of separation along different paths.

[The paths connecting the points are not straight lines[in general] but are infinitesimally small in length]

 

[Anamitra]

Is it possible to have the separation between a pair of points[fixed points] at a finite distance as spacelike ,time like or null along different paths if the metric coefficients along the different paths have suitable values catering to our requirement?

 

[tiny-tim]

Hi Anamitra!

(try using the X² icon just above the Reply box )

ds=+ or -ib [an imaginary quantity]
…
Three spacetime points,A B and C lying at the corners of an infinitesimally small triangle are chosen[Of course this triangle does not lie on a flat surface]

ds from A to B=ib
ds from B to C =-ib

whether you choose + or - is entirely arbitrary …

you have a parameter s, which you are free to have increase in either direction …

when ds² is real, a line AB can have s increasing from A to B, or from B to A (obviously, when a change in t is involved, we prefer the sign that agrees with the sign of chamge of t) …

if the metric is +---, and A and B are (0,0,0,0) and (0,0,0,1), then ds² = -1, but A and B are simultaneous, so it doesn't really matter which way your parameter goes, you can choose s to be increasing imaginary or decreasing imaginary

if C is (.1,.1,0,0), then AB and BC both have ds² < 0, but AC is null.

Is it possible to have the separation between a pair of points[fixed points] at a finite distance as spacelike ,time like or null along different paths if the metric coefficients along the different paths have suitable values catering to our requirement?

Not without some topological weirdness like a wormhole.

 

[Anamitra]

In curved spacetime the the four-dimensional distance between a pair of points at a finite distance depends on the path of integration.

In the infinitesimal sense ds^2 depends only on the pair of points concerned and not on the path connecting them[nevertheless one may think of several infinitesimally short paths connecting the points.]

In a very small region of space we are inclined to approximate curved space-time with flat space-time.But different paths emanating from a point[4D point] may have drastically different values[for curved spacetime] of the metric coefficients in different directions even in an infinitesimally small area surrounding the point..But we use ds^2 as a the function of the point-pair without any regard for path.What impact does this have/should it have on the physics of curved spacetime?

[The value of ds^2 as we get from its definition may not hold for all infinitesimally short paths connecting the two close points--perhaps we could find one or two/or a few of them for which the value matches!]

 

[Anamitra]

When we integrate ds along a specified path between a pair of space-time points ,the exact nature of the path[its equation] is known to us even for the smallest sections [infinitesimal sections] of the route.

Here we are considering the path even for the infinitesimal portions.

In view of the above is it reasonable to consider ds^2 as a path independent quantity---something which depends only on the pair of points[their coordinates]?

For a pair of infinitesimally close points in curved spacetime with a fixed value of ds^2[positive ,negative or zero] there is a possibility that we could connect them with infinitesimally short curves of different nature--spacelike,timelike or null[by considering the exact equations of the connecting curves and carrying out the integrations along the concerned curves ]

This is due to the fact that the metric coefficients may show a considerable amount of variation in a small region of space[as an illustration we may consider different directions showing considerable variations in the values of such coefficients in the general case]

 

[tiny-tim]

In view of the above is it reasonable to consider ds^2 as a path independent quantity---something which depends only on the pair of points[their coordinates]?

I'm not following you …

even on an ordinary 2D piece of paper, the distance between two points obviously depends on the path.

 

[Anamitra]

Lets draw a space time diagram pertaining to flat spacetime on a piece of paper. We a consider a pair of points and connect them with several world lines.

Next Step:Motion in flat space time is considered in the x-y plane with the time axis perpendicular to the x-y plane.Again we consider a pair of events and connect them with different world lines. The nature of {\int {ds}} in respect of sign should remain unchanged.

Now let us replace flat spacetime by curved spacetime.The spatial distances and the temporal separations will be different for the different curves.

So far we have considered spatial distances with greater focus. Now let us pass on to spacetime distances.

First we consider a pair of points outside the light cone[in flat spacetime]. We get spacelike separation for all paths connecting them[ds^2<0 in my convention]. You should not get anything else.

But the situation is quite different with general relativity ie in relation to curved spacetime considerations which can allow a great amount of diversity in the values of the metric coefficients.For a pair of points we may,in the general case, have three types of routes[world lines]--spacelike,timelike or null.This I have already explained in the previous posts.

 

[Anamitra]

The important aspect to consider is the nature of the integral {{\int {ds}} in respect of its sign and not spatial distances

The sign of the above integral [for different paths] is not supposed to change for different paths so far as flat spacetime is concerned.But with curved space-time there is a certain amount of possibility[of the sign changing] in view of the immense variety/complexity General Relativity has to offer.

 

[PAllen]

The important aspect to consider is the nature of the integral {{\int {ds}} in respect of its sign and not spatial distances

The sign of the above integral [for different paths] is not supposed to change for different paths so far as flat spacetime is concerned.But with curved space-time there is a certain amount of possibility[of the sign changing] in view of the immense variety/complexity General Relativity has to offer.

I've seen different author's take different positions on this. What is clear is that the physically meaningful cases are where ds is everywhere timelike, everywhere null, or everywhere spacelike along the path. These are respectively, a possible world line (computing a proper time), a possible light path, or a possible line of simultaneity along which you are computing a proper length. Some authors declare interval along a mixed path undefined; some say you take absolute value of the ds**2, but mixed is not physically meaningful. You can also compute a complex interval, if you want, as you suggest. If you choose complex (e.g. real part being aggregate proper time, imaginary being aggregate proper length), I don't think your scenario of canceling imaginary contributions can occur; you always would take principal square root of the negative number, so all imaginary contributions would be positive imaginary; all real contributions would be positive real.

 

[Anamitra]

Actually one does not need to cancel imaginary parts along a curve.I can choose different paths connecting the pair of points[space-time]. Buy suitable choice of the values of the metrics the paths may be separately[even for infinitesimal segments] spacelike ,timelike or null.So in the general case we may have three different types of paths[even in respect of their infinitesimal subsections] connecting the two points.

 

[Anamitra]

A space like interval may be connected by an infinitesimal null curve or a timelike curve in curved spacetime[we are considering the general case]. I have tried to bring out this point in # 4 and # 5.

A possibility is there--that is exactly what I want to say.

 

[PAllen]

Actually one does not need to cancel imaginary parts along a curve.I can choose different paths connecting the pair of points[space-time]. Buy suitable choice of the values of the metrics the paths may be separately[even for infinitesimal segments] spacelike ,timelike or null.So in the general case we may have three different types of paths[even in respect of their infinitesimal subsections] connecting the two points.

Along a given path, with a given geometry, the nature of the path is invariant with respect to any coordinates: either all timelike, all null, all spacelike, or mixed; if mixed, which parts of the path have which character is invariant.

Between two chosen events, only one type of non-mixed path is possible. If one event within the lightcone of the other, you can have pure timelike or mixed paths between them; there will never be pure spacelike or null paths. If one event is outside the light cone of the other, then all pure paths between them will be spacelike; otherwise, all pure paths between them will be null.

You asked, in your OP:

"What happens if the imaginary parts cancel out on integration[if we can manage to cancel them out]?"

That is what I was answering with my statement that this is impossible. If you are choosing to define complex invariant interval, all imaginary contributions will add, and all real contributions will add.

 

[Anamitra]

One may consider a pair of points on the surface of the light cone itself. We may connect them by null ,spacelike or timelike paths.As the partic/point under obsrrvation moves the tip of the cone moves with it. In general relativity[curved spacetime] the cone itself can have different vertical angles at different points and the axis can also tilt[considering coordinate values].With the movement of the cone we may choose a curvilinear track along its surface.At each step we consider three types of infinitesimal paths.So we can definitely have three types of pure curves connecting the events.

One may consider a point on the tip of the cone and another in the interior. We can consider a path on the surface of the cone to a very small distance.Once the tip gets there the cone may tilt and the surface may angle towards the final point

 

[Dale]

But with curved space-time there is a certain amount of possibility[of the sign changing] in view of the immense variety/complexity General Relativity has to offer.

This is correct. In fact, a closed timelike curve relies on this possibilitiy. It is closed, so the trivial path is null, but there is also a timelike path connecting the event to itself.

 

[PAllen]

One may consider a pair of points on the light cone itself. We may connect them by null ,spacelike or timelike paths.As the particle moves the tip of the cone moves with it. In general relativity[curved spacetime] the cone itself can have different vertical angles at different points and the axis can also tilt[considering coordinate values].With the movement of the cone we may choose a curvilinear track along its surface.At each step we consider three types of infinitesimal paths.So we can definitely have three types of pure curves connecting the events.

One may consider a point on the tip of the cone and another in the interior. We can consider a path on the surface of the cone to a very small distance.Once the tip gets there the cone may tilt and the surface may angle towards the final point

This is incorrect. Between two chosen events, only one type of pure path is possible. One event is either inside the lightcone(s) of the other, outside, or on them. This fact is invariant and determines the only type of pure paths between them.

 

[Dale]

Between two chosen events, only one type of non-mixed path is possible. If one event within the lightcone of the other, you can have pure timelike or mixed paths between them; there will never be pure spacelike or null paths. If one event is outside the light cone of the other, then all pure paths between them will be spacelike; otherwise, all pure paths between them will be null.

Consider a muon at rest at the origin of an inertial frame in flat spacetime. The worldline of the muon is a timelike curve connecting the creation and decay events. Let the lifetime of the muon be T, and consider the family of curves with 2 straight segments connecting the creation (0,0,0,0) and decay (cT,0,0,0) events through an event at (cT/2,x,0,0). If x < cT/2 then the curve is everywhere timelike, if x = cT/2 then the curve is everywhere null, and if x > cT/2 then the curve is everywhere spacelike. If you don't like the sharp bend in the curve then you can replace it with a family of helixes each of a different radius.

 

[PAllen]

Consider a muon at rest at the origin of an inertial frame in flat spacetime. The worldline of the muon is a timelike curve connecting the creation and decay events. Let the lifetime of the muon be T, and consider the family of curves with 2 straight segments connecting the creation (0,0,0,0) and decay (cT,0,0,0) events through an event at (cT/2,x,0,0). If x < cT/2 then the curve is everywhere timelike, if x = cT/2 then the curve is everywhere null, and if x > cT/2 then the curve is everywhere spacelike. If you don't like the sharp bend in the curve then you can replace it with a family of helixes each of a different radius.

I am aware of this and even raised it in a different thread. Here I was making an unstated assumption: smooth paths, which would require that ds becomes spacelike when you replace the disconinuity in first deriviative with any smoothing. So I see only two minor qualifications to my overstatement:

1) Only one type of smooth pure path is possible between two given events; except

2) In a geometry allowing CTCs, there may be more than one type of path, each going through different parts of the geometry.

[In effect, the first is not really an exception because a non-smooth path has at least one point where ds is undefined, which, I can say, by definition is not a pure path]

 

[Dale]

I am aware of this and even raised it in a different thread. Here I was making an unstated assumption: smooth paths, which would require that ds becomes spacelike when you replace the disconinuity in first deriviative with any smoothing. So I see only two minor qualifications to my overstatement:

1) Only one type of smooth pure path is possible between two given events; except

The helical paths I mentioned are smooth and can be purely timelike, spacelike, or null with no discontinuities.

 

[PAllen]

The helical paths I mentioned are smooth and can be purely timelike, spacelike, or null with no discontinuities.

Can you describe this in more detail, either and equation or more detailed description. I don't see it at all, it seems impossible.

 

[PAllen]

The helical paths I mentioned are smooth and can be purely timelike, spacelike, or null with no discontinuities.

Specifically, if this can be done at all, by scaling it should be possible to specify the following:

A smooth timelike curve in flat spacetime connecting the following points in Lorentz coordinates in some inertial frame: (t,x,y,z)=(0,0,0,0) and (0,1,0,0).

To be precise, by smooth I mean first derivative exists and is continuous everywhere.

I do not believe this is possible.

 

[PAllen]

Specifically, if this can be done at all, by scaling it should be possible to specify the following:

A smooth timelike curve in flat spacetime connecting the following points in Lorentz coordinates in some inertial frame: (t,x,y,z)=(0,0,0,0) and (0,1,0,0).

To be precise, by smooth I mean first derivative exists and is continuous everywhere.

I do not believe this is possible.

Note, if what Dalespam says is possible then a smooth timelike curve can connect events with spacelike separation. A smooth timelike curve is a physically possible worldline for a material particle. Thus Dalespam's claim is equivalent to saying a material particle can travel some distance in zero time (in some inertial frame).

 

[Dale]

Can you describe this in more detail, either and equation or more detailed description. I don't see it at all, it seems impossible.

Consider the family of helical paths:
\left(ct,R \; cos(\omega t)+R, R \; sin(\omega t), 0\right)
Where \omega=2\pi/T

This helix connects the events (0,0,0,0) and (cT,0,0,0) with a smooth path. Those events are also connected by a straight timelike path.

The unnormalized tangent vector to the helix is:
\left(c,-R\omega \; sin(\omega t), R\omega \; cos(\omega t), 0\right)

Which has a squared norm:
c^2-R^2\omega^2
Which is timelike for
R(2\pi/T)&lt;c
Spacelike for
R(2\pi/T)&gt;c
And lightlike for
R(2\pi/T)=c

 

[PAllen]

Consider the helical path:
\left(ct,R \; cos(\omega t), R \; sin(\omega t), 0\right)
Where \omega=2\pi/T

The unnormalized tangent vector is:
\left(c,-R\omega \; sin(\omega t), R\omega \; cos(\omega t), 0\right)

Which has a squared norm:
c^2-R^2\omega^2
Which is timelike for
R\omega&lt;c
Spacelike for
R\omega&gt;c
And lightlike for
R\omega=c

But the timelike version will never connect points with spacelike separation.

 

[PAllen]

This helix connects the events (0,0,0,0) and (cT,0,0,0) with a smooth path. Those events are also connected by a straight timelike path.

But, to replace the discontinuity of derivative in the so-called timelike path between spacelike events, you need to connect something like
(0,0,0,0) and (0,d,0,0). Any pair of points spanning the discontinuity can be put in the form in some inertial frame, in Lorentz coordinates.

That is the problem to be solved, and I claim it is impossible.

The GR extension simply amounts to the statement that whether two events are causally connected is invariant. If any two events can have a purely timelike path between them, then the lightcone structure of spacetime breaks down and all events are causally connected.

 

[Dale]

But the timelike version will never connect points with spacelike separation.

I am not sure what you mean by that. But my point with this example was simply to contradict

1) Only one type of smooth pure path is possible between two given events

 

[PAllen]

I am not sure what you mean by that. But my point with this example was simply to contradict

But it doesn't contradict it. Show me a pair of events with both a smooth purely timelike and smooth purely spacelike path between them. That is what I claim is impossible. That is what my quote said:

"1) Only one type of smooth pure path is possible between two given events"

By 'type' the whole context was timelike, spacelike, or null.

[edit] Other than the admitted exception of geometry where CTC curves are possible, where you might have an 'almost closed' timelike curve connecting two events with a direct spacelike connection.

 

[Dale]

But it doesn't contradict it. Show me a pair of events with both a smooth purely timelike and smooth purely spacelike path between them. That is what I claim is impossible.

I have already shown that. The family of helical paths:
\left(ct,R \; cos(\omega t)-R, R \; sin(\omega t), 0\right)
All connect the events (0,0,0,0) and (cT,0,0,0) smoothly. The helix is purely timelike for e.g. R=cT/1000 and purely spacelike for e.g. R=cT. R is a freely adjustible parameter that picks out different helices. Some are spacelike, others are null, and others are timelike.

 

[PAllen]

I have already shown that. The family of helical paths:
\left(ct,R \; cos(\omega t)-R, R \; sin(\omega t), 0\right)
All connect the events (0,0,0,0) and (cT,0,0,0) smoothly. The helix is purely timelike for e.g. R=cT/1000 and purely spacelike for e.g. R=cT. R is a freely adjustible parameter that picks out different helices. Some are spacelike, others are null, and others are timelike.

Ok, I see the discrepancy here. I was focused on the case of events not causally connected - one is outside the lightcone of the other. For these, there are only spacelike or mixed paths between them. However, for causally connected events, I now see that you can have both pure timelike and pure spacelike paths connecting them (or, pure null, or, of course, mixed).

I my other points on this thread remain valid.

 

[Dale]

Ok, I see the discrepancy here. I was focused on the case of events not causally connected - one is outside the lightcone of the other. For these, there are only spacelike or mixed paths between them.

Yes, I believe that this is correct since there is only one timelike dimension. At least, I cannot think of a counterexample.

 

[PAllen]

One may consider a pair of points on the surface of the light cone itself. We may connect them by null ,spacelike or timelike paths.As the partic/point under obsrrvation moves the tip of the cone moves with it. In general relativity[curved spacetime] the cone itself can have different vertical angles at different points and the axis can also tilt[considering coordinate values].With the movement of the cone we may choose a curvilinear track along its surface.At each step we consider three types of infinitesimal paths.So we can definitely have three types of pure curves connecting the events.

One may consider a point on the tip of the cone and another in the interior. We can consider a path on the surface of the cone to a very small distance.Once the tip gets there the cone may tilt and the surface may angle towards the final point

I think the upshot of my discussion with DaleSpam is as follows (noting we are only considereing smooth paths, e.g. ds is defined everywhere and is condinuous):

1) If one event is inside the light cone of the other, then timelike, null, spacelike, and mixed paths are possible between them.

2) If one event is on the light cone of the other, then no timelike paths are possible between them. However, null, spacelike, and mixed are possible. If a timelike path were possible, a massive particle could have a worldline accomplishing speed of light travel.

3) If one event is outside the light cone of the other, then only spacelike or mixed paths are possible between them. If a timelike path were possible, it would imply a massive particle could travel faster than light (infinite speed in some coordinate system). Similarly, if a null path were possible, it would mean light could travel at infinite speed in some coordinate system.