time travel is a phenomenon which has been attracting interest both in fiction and general discussions for a long time .
however , only after a formulation of the theory of relativity such considerations could be investigated on a more scientific and solid basis .
already the special relativity shows that different observers experience different times and one of them can `` travel '' to the future of others by means of his relative motion .
thanks to the general theory of relativity a possibility opens that an observer could travel even to his own past  his worldline could pass through a geometrically or topologically nontrivial area to a region where the worldline originally started @xcite .
worldlines which even cross themselves are called _ closed timelike curves ( ctcs ) _ and it is customary to say that spacetimes with ctcs contain _ time machines _ @xcite .
spacetimes with time machines are causally nontrivial  in such spacetimes you can send a signal to your own past or even try to influence the past  which immediately opens a question of consistency of standard physical laws as we know them . on a formal level it is the question of the existence of solutions of physical equations of motion and the question whether the initial value problem is well possessed . on a less formal level
these problems can be phrased as the well - known `` grandfather paradox '' , suggested , e.g. , in @xcite : in spacetimes with time machines one has to face a logical riddle what happens if one travels to his own past and kills his grandfather .
consequently one would never be born and therefore one could not travel to the past .
this is a clearly inconsistent situation which suggests that spacetimes with ctcs are pathological and they should be excluded from a serious scientific consideration .
however , a system containing live beings is too complicated by too many unknown physical laws and therefore one can not be sure that the inconsistency of the `` grandfather paradox '' is really inescapable .
therefore , people tried to formulate analogous situations for much simpler systems which could be studied exactly @xcite .
as an example , in @xcite , and especially in @xcite , the system of the billiard balls in spacetime with wormholes has been studied .
this system allows a straightforward reformulation of the grandfather paradox : the ball could be sent through the time machine in such a way that it hits itself and thus prevents inconsistently its entry to the time machine , cf .
[ fig : dangerous - px ] .
it seems that such `` paradoxical '' initial conditions do not lead to a consistent evolution of the system .
* the ball self - colliding inconsistently . *
the ball ( in gray ) comes from a distant region and enters the wormhole without any self - collision .
it leaves the time machine ( now in white ) in such a way that it inconsistently hits itself .
thus , this situation represents an inconsistent evolution which is the direct analogue of the grandfather paradox.,width=316 ]    maybe surprisingly , the extensive studies of systems with ctcs during the 1980s and the 1990s showed , that for a simple physical system pathology of spacetimes is not so severe and the equations of motion can be consistently solved .
let us formulate this point more precisely .
we consider a spacetime containing a time machine and we want to study a system with well known local physical laws ( e.g. , a particle or electromagnetic field ) . we do not change these local laws , i.e.
, we require that they hold locally in any small spacetime domain .
however , in addition to the local laws , we also require the so - called _ principle of self - consistency _ @xcite .
namely , a _ globally consistent _ solution of local laws must exist .
it means that we allow the system to propagate to its own past , however , it must be done in a _ consistent _ way with the original evolution in the past .
the past can not be changed since it has been already changed .
the key question of studies of time machines is whether such globally consistent evolutions exist for given local laws and whether these global evolutions are sufficiently generic .
more accurately , we would like to show that there exist consistent solutions for all , or , at least , for almost all standard initial data .
otherwise , if the local laws have no globally consistent solution , the spacetime would be clearly pathological and we could rule it out from our consideration .
similarly , the pathology would be serious if the local physical laws had only few globally consistent solutions .
as we have said , the studies of different systems show that spacetimes with ctcs are not necessarily causally pathological .
let us mention the results for a system of interacting particles @xcite or the scalar field theory @xcite where it was shown that standard local laws have generic globally consistent solutions even in the presence of ctcs .
another surprising result of such studies is that the existence of time machines does not usually restrict a number of consistent solutions , but on the contrary , it leads to a possibility of more than one globally consistent solutions for given initial values . in spacetimes with time machines
we thus usually lose the uniqueness of the evolution @xcite .
especially for the apparently paradoxical initial conditions from the `` grandfather paradox''-like situation it was shown @xcite that a consistent evolution exists , although it can be rather nonintuitive . on less formal level of the human version of the paradox it could be rephrased as a conjecture of a hidden law which always prevents the grandson from killing his grandfather @xcite .    in the present work
we want to study the system of a ball moving in a non - relativistic space with ctcs which is very close to that of @xcite
. however , we have chosen a different time - machine configuration which significantly simplifies the analysis .
we will be able to solve the equations of motion explicitly and we will confirm the behavior described above : `` paradoxical '' initial conditions are not really paradoxical , and the evolution is not , in general , unique .
the contribution of our analysis is that it can be done very explicitly , since our model is sufficiently simple ; at the same time it is sufficiently non - trivial to reproduce the most important features of systems with time machines .
our work proceeds as follows . in the next section
we describe the system of a ball moving in the space with wormhole - based time machine .
we derive the equations characterizing trajectories . in sec .
[ sc : numbsol ] we discuss the character and number of solutions for various initial conditions and also the resolution of the `` grandfather paradox '' .
[ sc : ppart ] describes geometry of the trajectories and the paper is summarized in the conclusion .
* spatial representation of two simple wormholes .
* a wormhole obtained by gluing two planar sections cut from otherwise euclidian space .
planar wormhole mouths could be obtained , e.g. , by squeezing the mouths of the spherical wormhole into very thin planes ) .
the external curvature is vanishing with the exception of the boundary of the planar sections and the geometry through the wormhole is thus flat.,width=316 ]    the simplest and most natural way how to construct a spacetime with ctcs is to use a wormhole @xcite .
the wormhole can be viewed as a shortcut between two location of the spacetime .
it forms ctcs if one of the mouths of the wormhole lies in the past of the other mouth . in the nonrelativistic
setting we can consider spatial wormholes connecting two places in space with an additional time - shift .
the speed of light is infinite and it determines a unique notion of simultaneity and thus it allows us to define a global time  at least , before introducing the time difference . introducing the time - shift means that traveling through the wormhole not only sends the observer to a different place in space but also to a different time .    a simple spatial wormhole in otherwise euclidian space can be obtained by the cutting and gluing method . for example
, we can cut out two spheres and glue their surfaces together , cf .
@xcite , or @xcite .
we thus obtain a topologically and geometrically nontrivial space
it is not a simply connected space and the geometry on the glued surface is not flat .    in this work
we consider even a simpler situation of the wormhole with planar mouths instead of spherical ones .
namely , we cut out from the space two planar sections which we identify as in fig .
[ fig : wh - s ] .
since we use flat planar sections , their identification is geometrically trivial .
the whole curvature of the mouths is squeezed to the borders of the planar sections which can be understood as a kind of solid frames on which the traversable parts of the wormhole are spanned . to avoid a discussion of the wormhole boundary
we assume that the planar sections are much larger than the scales of our experiments .
as idealization , we consider the mouths of our wormhole to be two half - planes which form an angle @xmath0 with a common boundary line , called the axis .
if we identify these half - planes ( first , say , at the same moment of time ) , the space between them becomes a locally euclidean space with a conical singularity localized on the axis .
indeed , if we restrict ourselves to the two dimensional picture and ignore the direction parallel to the axis , our space forms a cone with the angle @xmath0 around the vertex .    of course
, this is a over - idealized situation
. we should keep in mind that the mouths of the wormhole are large but finite , so somewhere very far from the axis the conical part of the space ends and goes over to the full euclidean space .
but in most of our discussions we restrict ourselves only to the part of the space between the mouths of the wormhole .
we thus effectively work in the conical space with angle @xmath0 around the axis .
let us stress that in our construction the mouths of the wormhole are special and privileged .
however , after enlarging them to the semi - infinite size and restricting ourselves only to the conical space between mouths , we can no longer localize the position of the mouths by local experiments .
the geometry through the mouths is locally euclidean as anywhere else .
we thus obtained a space which is axially symmetric with respect to the rotation around the axis ( it has also translation symmetry along the axis and it is static ) .
the position of the wormhole can be identified only on scales larger than the wormhole , from the surrounding globally euclidean space .
finally , we assume that the angle @xmath1 . only for @xmath0 smaller than @xmath2 ,
we obtain interesting situations when the straight trajectory of a free particle intersects itself .
for @xmath3 the straight trajectory intersects itself only once .
the second condition is not a crucial assumption , it just simplifies the discussion .
since we want to study a space with a time machine , we have to identify the mouths of the wormhole with a time - shift @xmath4 .
of course , it destroys the standard causal structure of the non - relativistic spacetime ( a clear distinction between future and past ) . despite this
, we will keep using and referring to the original notion of the simultaneity and to the global time of the surrounding space , which is , certainly , reasonable for small wormholes , but we admit , it can be slightly confusing and less founded in the idealized case considered below .    indeed , the constructed spacetime is still locally euclidian ( of course , except the axis ) , but endowed with a strange causal structure .
hypersurfaces of simultaneity ( visualized in the standard non - relativistic spacetime diagram as horizontal planes ) propagate through the wormhole and form `` helical '' surfaces winding around the axis .
this indicates that the spacetime contains ctcs .
the particle moving towards the wormhole reads that the external time @xmath5 increases continuously until it enters the wormhole mouth . by crossing one of the mouths the external time @xmath5 either increases by @xmath6 into @xmath7 , or decreases by @xmath8 into @xmath9 .    * a spacetime diagram of the conical time machine . *
the vertical direction is temporal , horizontal planes correspond to the hypersurface of simultaneity of the original spacetime ( the third spatial direction is suppressed ) . two half - planes on the boundary of the conical spacetime represent the history of the mouths of the wormhole and they are identified with a time - shift @xmath4.,width=316 ]    this can be visualized in the spacetime diagram in fig .
[ fig : wh - st ] . here , two spatial directions perpendicular to the axis are shown in horizontal directions , the direction parallel to axis is suppressed .
the vertical direction corresponds to time .
semi - planar mouths of the wormhole at one moment are thus depicted as horizontal semi - lines , their time evolution as vertical half - planes .
the identification of such two half - planes is not on the same vertical level , but with the vertical shift @xmath4 .
we assume that going through the wormhole in anticlockwise direction takes us time @xmath10 to the past , in clockwise direction to the future .
now , we want to derive equations of motion for a ball moving in the non - relativistic spacetime which has just been described .
we assume that the motion satisfies classical local laws of motion . additionally , we restrict ourselves to motions perpendicular to the axis of the wormhole because the ball can self - interact only for such a motion
.    clearly , a free particle moves uniformly along a straight line .
however , for @xmath11 , a straight line in a conical space must intersect itself .
if the trajectory of the particle crosses itself in different times , we speak about _ self - intersection_. if the particle intersects its trajectory exactly at the same time  which is allowed thanks to time - shift @xmath8 gained in the wormhole
it hits itself and we speak about _ self - collision_. our goal is to describe trajectories with exactly one consistent self - collision .    *
character of self - collision of the ball with itself . *
the incoming velocity @xmath12 of the younger version of the ball ( in grey ) is complementary to mirror reflection of the outgoing velocity @xmath13 of the older version of the ball ( white ) and similarly for velocities @xmath14 and @xmath15.,width=316 ]    * physical self - collisions of types i and ii . *
( a ) the configuration of type i represents situation when the younger ball ( in grey ) is on the left side while the older ball ( in white ) is on the right side with respect to the radial line .
the self - collision is physical when the momentum transfer is positive and the trajectory of the particle is deflected leftward .
( b ) the configuration of type ii represents situation when the older ball is on the left side while the younger ball is on the right side with respect to the radial line .
the self - collision is physical if the trajectory of the particle is deflected rightward.,title="fig:",width=316 ] + ( a ) + * physical self - collisions of types i and ii . *
( a ) the configuration of type i represents situation when the younger ball ( in grey ) is on the left side while the older ball ( in white ) is on the right side with respect to the radial line .
the self - collision is physical when the momentum transfer is positive and the trajectory of the particle is deflected leftward .
( b ) the configuration of type ii represents situation when the older ball is on the left side while the younger ball is on the right side with respect to the radial line . the self - collision is physical if the trajectory of the particle is deflected rightward.,title="fig:",width=316 ] + ( b ) +    we assume that an elastic collision occurs when the ball collides with itself .
the classical elastic impact of two balls is determined by the momentum and energy conservation and the assumption that it occurs in one plane . in our case
two versions of the same ball collide : the _ younger _ version of the ball coming from infinity hits the _ older _ version coming from the wormhole ; after the collision the younger ball flies to the wormhole and the older one away to infinity . since the traverse of the wormhole does not change the velocity of the ball , magnitude @xmath16 of the outgoing velocity @xmath15 of the younger ball is the same as the magnitude of the incoming velocity @xmath13 of the older ball .
all these conditions determine @xcite that the impact of the ball with itself must have the form depicted in fig .
[ fig : impact ] .
namely , in the rest frame of the wormhole the incoming velocity @xmath12 of the younger ball is complementary to the mirror reflection of the outgoing velocity @xmath14 of the older ball with respect to the plane tangent to balls at the point of impact .
we call this plane the _ impact plane_. similar property holds for velocities @xmath15 and @xmath13 . moreover , projections of the incoming and outgoing velocities @xmath12 and @xmath15 ( respectively @xmath13 and @xmath14 ) to the impact plane are the same .
* geometry of self - colliding point - particle trajectory . *
( a ) a point particle is approaching the wormhole from infinity with a velocity  @xmath17 and impact parameter  @xmath18 , it collides with the version of itself which already passed through the time machine , and with a velocity @xmath19 moves toward the wormhole .
after passing it and self - colliding with itself , it moves with the velocity @xmath20 back to infinity .
the self - collision occurs at the distance  @xmath21 from the axis and the outgoing trajectory forms with the radial direction the orientated angle  @xmath22 .
thanks to symmetry of the self - collision with respect to radial direction , the angle  @xmath22 is a half of the angle between the incoming and outgoing trajectory .
( b ) the same situation depicted in a map which cuts the conical space not along the wormhole but along the radial direction through the self - collision .
the length @xmath23 of the straight trajectory between its self - intersection is given by @xmath24.,title="fig:",width=316 ] + ( a ) + * geometry of self - colliding point - particle trajectory .
* ( a ) a point particle is approaching the wormhole from infinity with a velocity  @xmath17 and impact parameter  @xmath18 , it collides with the version of itself which already passed through the time machine , and with a velocity @xmath19 moves toward the wormhole . after passing it and self - colliding with itself
, it moves with the velocity @xmath20 back to infinity .
the self - collision occurs at the distance  @xmath21 from the axis and the outgoing trajectory forms with the radial direction the orientated angle  @xmath22 .
thanks to symmetry of the self - collision with respect to radial direction , the angle  @xmath22 is a half of the angle between the incoming and outgoing trajectory .
( b ) the same situation depicted in a map which cuts the conical space not along the wormhole but along the radial direction through the self - collision .
the length @xmath23 of the straight trajectory between its self - intersection is given by @xmath24.,title="fig:",width=316 ] + ( b ) +    now we want to find a location of the self - collision in such a way that the outgoing younger ball consistently passes to the incoming older ball
. it can be done @xcite in two ways depicted in fig .
[ fig : bcollisions ] .
the key property is that the impact plane must be radial , i.e. , it contains the axis ( dashed line in the figure ) .
type i represents the situation when the older ball touches the younger one by its rear part , i.e. , the younger version must collide from the left side . for type
ii the younger ball touches its older version by its front part and is incoming from the right side .
for both types we can distinguish the physical collisions with a positive momentum transfer from the younger ball to the older ball from `` spurious '' collisions which would need a negative momentum transfer .
the latter are unphysical not only for the sign of the exchanged momentum but also because the ball would not fit geometrically into space for such collisions  it would have to fly through itself . for the physical self - collision of type i the younger ball must deflect leftward , i.e. , closer to the vertex than if it followed the collision - free trajectory . for the physical self - collisions of type ii the trajectory of the younger ball is deflected rightward , cf .
[ fig : bcollisions ] .      to determine parameters of the self - collision , we start with a simpler case of a point particle , i.e. , taking radius of the ball @xmath25 . in this case
the distinction between the two types described above disappears and the geometry of the self - collision is depicted in fig .
[ fig : model - parameters ] . the trajectory of the incoming particle can be determined by two initial parameters : the _ impact parameter _
@xmath26 which gives the distance of the incoming trajectory from the vertex of the cone , and the _ magnitude of incoming velocity _ @xmath27 .
we adopt the convention that the impact parameter @xmath26 is positive if the particle circles the cone in the counterclockwise direction and it is negative if it circles the cone in the clockwise direction .
of course , the parameters @xmath20 and @xmath26 do not determine the incoming trajectory uniquely since they do not specify its angular location around the axis and its temporal location  we would need additional two parameters for that .
however , the conical space has the rotational symmetry and it is static , so the exact angular and temporal location is irrelevant for the character of solutions .
therefore we can ignore the additional initial parameters when we investigate the geometry of the self - collision .
the self - collision can be parametrized by its _ radial distance _
@xmath28 from the axis and by the oriented _ scattering angle _
@xmath29 between the outgoing trajectory and the radial direction , see fig .
[ fig : model - parameters]a .
thanks to the symmetry of the self - collision with respect to the radial direction , the angle @xmath22 also determines the direction of incoming trajectory . for the same reason ,
the outgoing particle also has velocity @xmath17 and impact parameter @xmath18 .
the angle between the inner trajectory and the radial direction is determined by the conical geometry and it is equal to @xmath30 , cf .  fig .
[ fig : model - parameters]b .
the length @xmath23 of the inner trajectory is then @xmath31 .
the collision parameters @xmath21 and @xmath22 encode the same information as the initial parameters @xmath17 and @xmath18 .
indeed , @xmath18 in terms of @xmath21 and @xmath22 is given by the simple geometry @xmath32 since the radial projection of the particle velocity before and after the collision is the same ( as a consequence of the laws of the elastic impact as we discussed for finite balls ) , the incoming velocity @xmath17 is related to the inner velocity @xmath16 along the trajectory between the self - collision as @xmath33 however , the inner velocity must be such that the particle passes the inner trajectory exactly in the time @xmath4 gained in the wormhole , @xmath34 we thus obtain relation for @xmath17 : @xmath35 it will be also useful to write down the relation for @xmath18 as function of @xmath22 and @xmath17 @xmath36    equations and thus relate the parameters of the incoming trajectory @xmath17 , @xmath18 and the parameters of the self - collision @xmath21 , @xmath22 .
their consequences will be discussed in more detail in sec .
[ sc : ppart ] .
before we return to the case of finite balls , let us note that we can introduce similar parameters also for the free trajectory .
the only difference is that @xmath21 and @xmath22 refer , in general , to self - intersection ( i.e. , not necessarily to self - collision ) of the free trajectory .
clearly , the angle @xmath22 is now given just by the conical geometry @xmath37 the solutions , for which the younger version of the particle passes through the point of self - intersection later than the older version ( coming from the time machine ) , are the solutions of type  i. when the younger particle passes the point of self - intersection earlier , we speak about the solutions of type  ii .
the self - intersection threatens to become a self - collision if time spent on the inner part of the free trajectory is equal to the time - shift of the time machine . since for a free trajectory @xmath38 , conditions and give @xmath39 such values @xmath40 , @xmath41 correspond to the `` paradoxical '' free trajectory for which the particle occurs at the point of self - intersection twice at the same time . for a point particle ,
it is not possible to decide plausibly what happens in such a situation .
we can only observe , that the same parameters @xmath40 , @xmath41 also describe the trajectory with one self - collision , which is given by the same parameters as `` paradoxical '' self - intersection of the free trajectory , namely @xmath42 and @xmath43 .
a detailed analysis of this situation will be done for finite balls in sec .
[ sc : numbsol ] .    the direction @xmath44 also plays a role of the limiting value between physical collisions of type i and ii .
physical self - collisions of type i , for which the trajectory deflects leftward from the free trajectory , are bounded within the interval @xmath45 ; while physical self - collisions of type ii ( with rightward deflection ) sweep out the interval @xmath46 .
we have to be more precise to define the parameters of the self - collision for a finite ball .
let @xmath21 be the radial distance from the axis of the intersection of the incoming and outgoing trajectories ( extended beyond the actual self - collision ) , and @xmath47 be the radial distance from the axis of the self - intersection of the inner trajectory ( for type ii extended beyond the self - intersection ) , see fig .
[ fig : bcollisions ] .
clearly , eq .   still holds , and @xmath48 , with upper sign for type i and lower sign for type ii .
the geometry of the inner trajectory of the finite balls is identical with that of a point particle with modified impact parameter @xmath49 .
the path @xmath23 traveled during time @xmath4 gained in the time machine must be corrected due to finite radius of balls , @xmath50 , where , analogously to the point - particle case , @xmath51 is the length of the inner trajectory between its self - intersection .
the corrected relation together with finally leads to equation between @xmath17 , @xmath18 , and @xmath22 : @xmath52 again , with upper / lower sign for type  i / ii , respectively . physical self - collisions of type i or ii are restricted by the conditions @xmath53 otherwise the ball would deflect to a wrong side of the free trajectory and the momentum transfer from the younger to older version of the ball would be negative .
.   supersedes relation   for the point particle , as can be also seen by taking limit @xmath54 .
this can be regarded as the key equation of motion which determines the scattering angle @xmath22 in terms of the initial conditions @xmath17 and @xmath18 . the position of the self - collision is then determined by the parameter @xmath21 which is given by eq .  .
* the @xmath55 diagram of consistent solutions for a point particle .
* each point of the graph in the @xmath18-@xmath22 plane represents a consistent solution for a point particle with at most one self - collision .
the velocity @xmath17 is fixed ( it changes only a scale of the solutions ) and the parameter @xmath21 is given by eq .  .
collision - free solutions are represented by the straight vertical lines
. the line @xmath56 ( in green ) represents collision - free trajectories to the future , the line @xmath43 represents free trajectories to the past .
the points below the value @xmath57 ( in red ) corresponds to the solutions of type i , for which the younger particle passes the point of self - intersection later than that coming from the wormhole . the solutions with @xmath58 ( in blue )
are of type ii . the sinusoidal part of the graph represents solutions with one self - collision .
the part with @xmath59 ( in red ) represents self - collisions of the type  i , the part with @xmath60 ( in blue ) represent self - collisions of type ii .
self - colliding solutions are thus possible only for @xmath61 .
the point @xmath62 represents both the paradoxical collision - free solutions for which younger and older versions of the particle meet at the point of intersection at the same moment , and the consistent self - colliding solution ( which is geometrically identical to the paradoxical solutions ) .
exact relation of these solution is clarified in the case of balls with a finite radius.,title="fig:",width=316 ] +    in the case of the point particle there is only one length scale @xmath63 given by the initial velocity  @xmath17 and the time - shift @xmath4 .
the velocity @xmath17 thus changes only the scale of the whole experiment .
therefore , we can fix @xmath17 and study only the relations among @xmath18 , @xmath21 , and @xmath22 .
the relation between @xmath22 and @xmath18 is given by eq .   and depicted in fig .
[ fig : p - rho(omega ) ] , the relation to the parameter @xmath21 is given by ( or , alternatively , implicitly by eq .  ) .
we immediately see that the self - collision can happen only for @xmath64 for larger
@xmath65 the particle would not be fast enough to travel through the wormhole and hit itself consistently  it would be too far from the axis of the wormhole and the path through the wormhole would be too long .    * three possible solutions for given initial conditions of a point - like particle . * for @xmath61 ,
@xmath66 there exist three possible solutions : the collision - free trajectory ( black ) and two self - colliding trajectories ( red / gray and blue / light - gray ) .
one of the self - colliding trajectories is close to the free trajectory ( it coincides in the limit @xmath67 ) , another is rather different.,width=316 ]    for @xmath61 , the map @xmath68 is not a unique relation : for a given @xmath18 we have , in general , two @xmath22 satisfying . for the given initial conditions , we thus obtain , in addition to the collision - free trajectory , two self - colliding solutions .
these two solutions have the scattering angles complementary to @xmath69 and represent completely different evolutions of the system .
note , that the self - colliding solutions exist even if @xmath70 , i.e. , if the free trajectory passes the wormhole to the future .
all three possible solutions for the given initial conditions ( with @xmath71 ) are shown in fig .
[ fig : p.two.solutions ] .    for the paradoxical value @xmath72 , eq .
, the `` pardoxical '' collision - free solution geometrically coincides with one of the self - colliding solutions .
it is called `` paradoxical '' , since for this initial values the free moving particle meets itself at the point of self - intersection exactly at the same moment , so it can not be the collision - free solution . however , since for a point - like particle we can not distinguish the non - colliding solution from the colliding one , it is dubious to study the nature of this `` paradoxical '' situation .
therefore , we will discuss the details of the `` paradoxical '' initial conditions in the case of finite balls .
after that we will return to the simpler case of a point - like particle to study the geometry of the trajectories in more detail .
in the case of finite balls the system has an additional length scale given by the radius @xmath73 of the ball .
therefore , the dependence on the velocity @xmath17 is not trivial any more .
nevertheless , we still fix the value of the initial velocity and discuss the structure of the corresponding solutions .
the values of various quantities can , however , depend on @xmath17 in a more complicated way than just a rescaling
.    collision - free trajectories of a finite ball are again characterized by the angle @xmath74 and they can be also divided into types i and ii , see fig .
[ fig : collision - free ] .
however , due to the finite radius of the balls , there is a whole interval of the impact parameter @xmath18 , for which the collision - free trajectory becomes `` paradoxical''if the ball hits itself inconsistently .
checking the geometry of the free trajectory of a ball , it turns out @xcite , that the boundary of this interval is given by values of @xmath18 determined by eqs .   for types
i and ii with @xmath43 , @xmath75 explicitly , the `` paradoxical '' values of the impact parameter are given by @xmath76 for @xmath77 the collision - free trajectory is of type i , i.e. , the older version of the ball overtakes the younger one at the point of intersection . if @xmath78 , the collision - free trajectory is of type ii , cf
[ fig : collision - free ] .    * two types of collision - free trajectories passing the time machine to the past .
* ( a ) trajectory of type  i. for @xmath77 , time @xmath79 spent by the ball between the self - collision is smaller than the time - shift @xmath4 , i.e. , the younger version of the ball goes through the point of self - intersection later than the older version .
( b )  trajectory of type  ii . for @xmath78 the younger version of the ball goes through the point of intersection earlier than the older version.,title="fig:",width=316 ] + ( a)(b )    the parameters of the self - colliding trajectories are characterized by relations and .
we can depict the physical solutions ( cf .
conditions  ) with at most one self - collision in a diagram analogous to the one we used in the point - particle case , see fig .
[ fig : rho&r(omega)-a ] .
we see here that the solutions split into two branches : the physical self - colliding solutions of type  i together with collision - free solutions of type  i , and self - colliding and collision - free solutions of type  ii .
the collision - free solution of type  i becomes self - colliding solution of type  i for @xmath80 , @xmath81 .
it is limiting case when the ball on the free trajectory just touches itself but it does not exchange any momentum .
it is thus identical to the limiting case of physical self - colliding solutions of type  i. similarly , for @xmath80 , @xmath82 the ball on the free trajectory just touches itself , now from the other side , and it becomes the self - colliding solution of type ii .
* physical solutions in the @xmath55 plane .
* the points on the curves represent solutions characterized by the parameters @xmath18 and @xmath22 .
the initial velocity @xmath17 is fixed .
the physical solutions correspond to the solid curves , the spurious one to the dashed curves .
vertical lines are collision - free solutions .
sinusoidal curves , determined by eqs .
, represent the solution with one self - collision .
the type of the solution is indicated in a similar way as in fig .
[ fig : p - rho(omega)].,width=316 ]    inspecting fig .
[ fig : rho&r(omega)-a ] , we can also conclude , that for the initial conditions with @xmath83 ( where @xmath84 are given by the maximal values of the expression for type i and ii , respectively ) , there exist just one consistent solution .
it is typically a collision - free trajectory , however , for certain values of parameters it can also be a self - colliding solution , cf .
[ fig : ball - structure - dangerous]b .    for initial conditions with @xmath85
, there are three possible solutions ; typically , one collision - free and two self - colliding .
however , for the paradoxical values of the impact parameter @xmath86 , the collision - free solution is superseded by a self - colliding solution , cf .
[ fig : ball - structure - dangerous ] . in this case , we obtain two self - colliding solutions of type  i and one solution of type  ii , see  fig .
[ fig : bdangerousregion ] .
we can conclude that the `` paradoxical '' initial conditions are not paradoxical in any dangerous way .
these initial conditions lead to the same number of solutions as other sufficiently close initial conditions .
only , the character of solutions is different : the collision - free solution changes to the self - colliding solution .
the number of solutions depends on other characteristics , namely if @xmath85 : for a large @xmath65 only the collision - free solution is admissible .
however , it should be said that the situation changes if the angle between the wormhole mouths is smaller . for @xmath87 ,
the equations for the trajectory remain the same but the value of the angle @xmath74 is larger than @xmath88 .
the structure of the solutions thus changes as depicted in fig .
[ fig : paradox ] . clearly , for @xmath86 the collision - free trajectory is not possible and it is not superseded by another solution .
moreover , for such @xmath18 , there exists only one self - colliding solution . in this case
we can indeed speak about paradoxical initial conditions since the solutions evolved from these conditions are really restricted .
however , in the case @xmath87 the whole discussion is more complicated since the particle can self - interact in a more complicated way ( there is possibility of self - intersection between several self - collisions , etc . ) .
we do not have any indications that these more complicated processes could improve the discussed behavior , however we have not excluded it completely @xcite . in the following we restrict again to the larger angles , @xmath89 .    *
number of solutions for given initial conditions . *
the number of solutions for chosen initial parameter @xmath18 can be determined from fig .
[ fig : rho&r(omega)-a ] by intersecting the graph with the horizontal line corresponding to @xmath18 .
the choice of the initial velocity @xmath17 can slightly modify a shape of the diagrams .
here , two representative cases are shown . only the part with @xmath90
is depicted  it approximately corresponds to the initial conditions @xmath91 with the ball directed to the time machine toward the past .
clearly , the number of solutions steps from one to three with @xmath18 becoming smaller than @xmath92 . in the `` paradoxical '' interval @xmath93 the number of solutions remains the same .
only the character of the solutions is different : the collision - free solution is superseded by the self - colliding solution . in the case
( b ) the limiting value @xmath92 belongs to the `` paradoxical '' interval . for @xmath94 there exists just one self - colliding solution.,title="fig:",width=316 ] ( a)(b )    * three self - colliding solutions for @xmath95 from the `` paradoxical '' interval .
* unlike the point - like case , there is a whole interval @xmath93 , where collision - free trajectories do not exist . as we can see from fig .
[ fig : ball - structure - dangerous]a , the collision - free trajectory is replaced by a self - colliding one .
the diagram depicts all three self - colliding solutions , two of type i ( in light and dark red ) and one of type ii ( in blue).,width=316 ]    * solutions from `` paradoxical '' interval for @xmath96 . * in this case the collision - free angle @xmath97 . for the impact parameter @xmath18 from the corresponding paradoxical interval @xmath86 we find a gap in the solution curves . for a paradoxical @xmath18
we obtain only one self - colliding solution
. moreover , this solution corresponds to a value of @xmath22 which is substantially different from @xmath74.,title="fig:",width=316 ] +
clarifying the character of solutions with `` paradoxical '' initial conditions , in this section we describe the motion of a point - like particle in more detail .
the geometry of the inner trajectory is given only by the parameter @xmath21 and by the angular position of the self - collision with respect to the wormhole
i.e . , it is independent of the scattering angle @xmath22 .
the geometry is such that the point of self - collision , the point of the entry to wormhole , the point of the departure from the wormhole , and the axis itself , belong to a common circle , cf .
[ fig : model - parameters]a . the inner particle velocity @xmath16 is given by eq .  . for the fixed point of self - collision one
can then choose any @xmath29 , which determines @xmath18 through eq .
, and calculate the initial velocity using eq .  .    taking into account the rotational symmetry of the conical space between the mouths of the wormhole , we can ignore the angular position with respect to the wormhole in the discussion about many features of the motion .
but , when discussing the asymptotic behavior of the incoming and outgoing trajectories , the angular information must be taken into account .
namely , one has to track if the outer trajectories pass through the wormhole . clearly
, it must occur for the scattering angle @xmath98 , but , depending on the angle between the self - collision and wormhole , it can happen also for smaller angles @xmath22 .
however , we first describe the motion without a reference to the wormhole mouths . it can be done in the simplest way employing the totally covering space for our conical space .
namely , instead of the conical space with angular coordinate @xmath99 , we use the space without any restriction on @xmath100 , i.e. , a helical surface winding around the axis infinitely . the original conical space is then obtained by the identification of points which differ in coordinate @xmath100 by an integer multiple of @xmath0 .    in this covering space
the trajectory can be described as follows .
let us assume a particle incoming along the direction @xmath101 with the impact parameter @xmath18 and the initial velocity @xmath17 .
the self - collision @xmath102 for such a trajectory always happens on the circle ( let us call it the _ collision circle _ ) which has the center @xmath103 on the radial line @xmath104 , it passes through the axis , and its radius is @xmath105 , cf .
[ fig : trajgeometry ] . for @xmath106 , the incoming trajectory intersects this circle twice , which corresponds to two possible self - colliding solutions .
the angular coordinate @xmath100 of self - collision is given exactly by the scattering angle @xmath22 .
at the point of self - collision @xmath102 the trajectory is deflected , and it continues toward the point @xmath107 , which can be obtained by a contra - clockwise rotation of the point @xmath102 around the axis by angle @xmath0 , cf .
[ fig : trajgeometry ] . in the covering space @xmath102 and
@xmath107 are different points , however , in the original conical space these points are identified as the point of self - collision  of course , the particle must pass the point of self - collision twice .
finally , from @xmath107 the particle continues through the covering space in the direction which aims from the center @xmath108 of the rotated collision circle , cf .
[ fig : trajgeometry ] .
* self - colliding trajectory in the totally covering space . * the particle incoming along the direction @xmath101 with the impact parameter @xmath18 is deflected at the point of self - collision @xmath102 .
the point @xmath102 must lie on the collision circle with the center @xmath103 on the radial line @xmath104 , it passes through the axis @xmath109 , and its radius is @xmath105 .
the trajectory continues toward the point @xmath107 , which is obtained by a contra - clockwise rotation of the point @xmath102 around @xmath109 by angle @xmath0 . in the original conical space points @xmath102 and @xmath107 are identified and correspond to the point of self - collision . from @xmath107 the trajectory continues in the direction which aims from the center @xmath108 of the rotated collision circle .
the direction of the inner trajectory goes through the focusing point @xmath110 .
the diagram shows only a part of the totally covering space.,width=316 ]    * scattering of the plane - wave congruence of particles in the totally covering space .
* congruence of particles coming along @xmath101 direction in `` plane - wave '' configuration ( i.e. , aligned at an initial moment on a planar `` wavefront '' perpendicular to the direction of motion ) approaches the time machine .
the particles scatters on the collision circle and moves toward the corresponding points on the rotated collision circle . here
, they are deflected in the directions coming from the center @xmath111 of the rotated collision circle .
the dotted curve depicts the wavefront after the scattering in the totally covering space .
the particles do not scatter on the collision circle at the same time ; however , for large final times the wavefront after scattering approaches the circle .
the real wavefront projected back to the conical space is drawn as dashed curves .
segments projected from various sheets of the totally covering space gain additional time - shift thanks to the passage through the time machine .
therefore , these parts of the wavefront are larger since the particle had more time for their motion .
inner trajectories focus at one focusing point , for @xmath112 they pass through this point .
the diagram shows only part of the totally covering space , given approximately by @xmath113.,width=316 ]     +   +   +   +   +   +     + ( d)(e)(f)(g ) +    it means , that particles which approach the time machine along the same direction @xmath104 ( with various @xmath106 , forming thus congruence with `` plane - wave '' wavefront ) self - collide on the common colliding circle and , in the end , leave in the directions which point out from the common point @xmath108 , cf .
[ fig : congruence ] . in the covering space , the original plane - wave congruence of particles
scatters to the circular - wave congruence , but the particles are phase shifted .
they fly in radial directions , but the wavefront of the congruence at one moment does not form a circle since the particles start to move in the radial directions in various times . indeed , the incoming particles do not self - collide at the same time : they reach the collision circle in various times .
let us mention an interesting feature of the trajectories of the discussed congruence : all inner trajectories ( between the self - collisions ) have the direction going through one focusing point @xmath110 , cf .
[ fig : congruence ] .
for @xmath112 they even pass through this point .
the congruence thus focuses in this point , however , the particles do not pass the focusing point at the same moment .
we have obtained a simple picture of the motion in the covering space .
it complicates slightly if we return to the conical space by choosing the orientation of the wormhole ( i.e. , setting mouths at the angles @xmath114 and @xmath115 with @xmath116 ) and making the identification of points with @xmath100 differing by an integer multiple of @xmath0 .
the resulting picture depends on the values of @xmath0 , @xmath117 and of the impact parameter  @xmath18 ; some of the representative trajectories are depicted in fig .
[ fig : trajexamples ]
.    the typical quantity , which depends on the angular position of the self - collision , is the total time @xmath118 gained in the wormhole during the whole scattering process .
it can be read out in the covering space from the angular coordinate @xmath119 of the outgoing trajectory : and its angular position with respect to the wormhole is given by the parameter @xmath117 .
alternatively , we could set @xmath120 and admit @xmath121 . ]
if it belongs to @xmath122-th copy of the wormhole in the covering space , @xmath123 , the particle gains the time - shift @xmath124 : @xmath125 taking into account the restrictions on @xmath0 , @xmath117 and @xmath22 , the total time - shift can be @xmath126 .
see fig .
[ fig : trajexamples ] for examples .
the total time - shift can be similarly calculated for the collision - free trajectories . in this case
the direction of the outgoing trajectory in the covering space is @xmath127 for the trajectories passing the wormhole to the past , and @xmath128 for the trajectories passing the wormhole to the future .
the condition gives that the trajectory traveling to the past , @xmath91 , gains the time - shift @xmath129 for @xmath130 , or it can pass the wormhole twice , @xmath131 , if @xmath132
. similarly , for @xmath70 , the particle gains the time - shift @xmath133 for @xmath134 and @xmath135 for @xmath136 .
we have analyzed a simple interacting system in the space with a nontrivial causal structure .
we have assumed the principle of self - consistency , i.e. , we have required the validity of standard local physical laws and we searched for consistent global solutions . in such setting one
can formulate the analogue of the so called `` grandfather paradox '' as a question whether all natural initial conditions lead to the global consistent solutions of the local physical laws .
initial conditions which do not lead to such solutions would be paradoxical and the system with nontrivial set of paradoxical initial conditions would be logically inconsistent .
we have shown that the investigated system of finite billiard balls in the non - relativistic space with a time machine realized by a wormhole with a time - shift is not logically inconsistent in this sense .
a nave guess can identify potentially paradoxical initial conditions for which the ball sent through the time machine hits itself and changes inconsistently its own motion .
the detailed analysis has shown that even for such initial conditions there exists a global solution satisfying locally all physical laws .
this result was anticipated since it agrees with the previous results obtained for various other systems , in particular , for the very closely related system studied in @xcite .
our results thus endorse one of the main messages of the study of the system with a nontrivial causal structure : that the presence of time machines does not necessarily imply a drastic reduction of space of the classical solutions of the equations of motion .
however , the previous results have been obtained mainly for linear ( non - interacting ) systems or through a rather complicated and cumbersome analysis of interacting systems .
therefore , the confirmation for the interacting system allowing a detailed explicit analysis is valuable .
we have confirmed also another similarly interesting result discussed in @xcite .
the presence of the nontrivial causal structure in our system has enlarged the space of solution .
we have found that for a wide class of initial conditions ( namely for @xmath137 with given @xmath17 ) more than one classical evolutions exist .
in addition to the `` standard '' collision - free trajectory the particle can also move along two different self - colliding trajectories , see fig .  [
fig : p.two.solutions ] .
the evolution of the system thus fails to be deterministic and the classical theory does not have any means to determine which of the different evolutions would be realized .
one can speculate that the quantum theory would be a more complete description .
it does not determine exact trajectory of the particle  it just estimates a probability for various possible evolutions ( specified up to a quantum uncertainty ) . in the classical limit only evolutions close to the solutions of the classical laws would have a non - trivial probability . in systems with standard causal structure ,
there is usually only one such a solution .
however , in our system , one can expect that all three classical solutions would have non - trivial probabilities and a semi - classical approximation could give an estimate for these probabilities .
nevertheless , one has to emphasize that it s not trivial at all to complete this program .
the status of quantum theory in the presence of time machines is unclear .
the common formulations of the quantum theory are heavily based on the standard notion of time , so a nontrivial causal structure would change the theory substantially
. it would be extremely interesting to find a modification of the quantum mechanics for a space with time machines , but it is a hard challenge for further work .
the simplicity of our model could give hope that such a challenge is treatable .
however , one could ask what a key ingredient is for the existence of more solutions of the classical equations of motion .
is it really the presence of the time machine ? one could also suspect a peculiar geometrical structure of our conical space .
the conical space breaks the uniqueness of the classical solutions even without the time machine . indeed , for given initial and final points , in the conical space there exist more trajectories which join them .
this effect is purely geometrical and does not need a nontrivial causal structure .
however , we have identified a different kind of uniqueness : we have found that the specification of both the initial position and the momentum ( the complete initial conditions ) admits more different evolutions , which is certainly surprising when the local evolution is given by standard differential equations which are generally accepted as deterministic .
non - uniqueness appears here as a strange result of the interplay between a local deterministic evolution and a nontrivial causal structure on a global scale for which the time machine is the key ingredient .
let us finally mention , that further study @xcite of our system revealed , that if one takes into account a possibility of multiple self - collisions , the situation gets even more interesting .
in this work we have studied only the collision - free trajectories , and the trajectories with one self - collision .
however , the incoming and outgoing trajectories from the self - collision can easily self - intersect and for a special choice of parameters even self - collide again .
it is possible to show that when the impact parameter @xmath18 gets smaller ( with fixed @xmath17 ) , there exist more and more multi - self - colliding solutions . for a point - like particle ,
there exist a finite value @xmath138 under which there exist infinite number of possible evolutions for single initial parameters @xmath18 and @xmath17 , cf .
we leave further details to the subsequent publication .    summarizing
, the studied system with a wormhole - based time machine does not suffer from the paradoxical initial conditions . on the contrary
, it breaks the deterministic character of the theory and offers more solutions for single initial conditions .