Perturbative Causal Closure in Spacetimes with Closed Timelike Curves: The Timeline Quiver Conjecture

Abstract

Spacetimes containing closed timelike curves impose global consistency conditions on matter that traverses them. A state entering a closed causal region must agree with the state produced after propagation around the loop, so locally admissible trajectories need not extend to complete solutions. Existing self-consistency principles express this restriction but do not by themselves determine how a system behaves near the boundary between different self-consistent solutions.

This paper introduces the timeline quiver as a conjectured sensitivity of globally self-consistent solutions to small changes in physical parameters. In a finite-dimensional model, propagation around a closed timelike curve defines a return map $F_\lambda$ on a state space $X$, where $\lambda$ specifies external boundary data and ordinary microscopic variations. Self-consistent solutions are fixed points satisfying $x=F_\lambda(x)$. Their response to changes in $\lambda$ can become large when the fixed-point equation approaches a bifurcation or loses a solution branch. An observer would then encounter a single self-consistent outcome whose local cause may be an ordinary failure, delay, or fluctuation, even when nearby unconstrained evolutions strongly favour a paradox-producing result.

The conjecture adds no local interaction to general relativity. It provides a framework for studying perturbative sensitivity and branch selection once a return map, a noise model, and weights for multiple fixed points have been supplied. No known experiment can test it because controlled transport along a closed timelike curve remains physically unavailable.

Closed Timelike Curves and Global Self-Consistency

Gödel's rotating cosmology and the analytic extension of the Kerr family established that the Einstein field equations admit geometries containing closed timelike curves.^[1][2] These geometries do not establish that closed timelike curves can form under realistic conditions or carry macroscopic matter. Hawking's chronology-protection conjecture addresses the possibility that semiclassical backreaction prevents their formation.^[3] The present discussion assumes a fixed background in which a material system can traverse a closed causal region and asks how global consistency constrains its state.

Friedman, Morris, Novikov, and collaborators formulated a self-consistency principle for this setting: a local solution is physically admissible only when it extends to a well-defined global solution on the spacetime.^[4] Classical billiard-ball models illustrate the result. A trajectory that appears to create a contradiction can be replaced by a globally consistent self-collision, and a single initial trajectory may admit several self-consistent solutions.^[5] Variational treatments have also recovered self-consistent trajectories from a classical action principle in restricted wormhole models.^[6]

Those results separate two questions. The first concerns admissibility: does a set of local trajectories extend to a global solution? The second concerns selection: when several global solutions exist, what determines their relative physical weight? The timeline-quiver conjecture concerns the second question and the behaviour of self-consistent solutions under small changes in boundary data. It should therefore be evaluated as an additional modelling assumption rather than a replacement for the established self-consistency principle.

Quantum models require a separate treatment. Deutsch, for example, imposed a fixed-point condition on a density operator associated with a closed timelike system.^[7] The construction below uses classical state variables on a fixed background. Its probabilistic terms describe uncertainty or stochastic variation in model parameters, not quantum amplitudes.

A Fixed-Point Formulation

Consider a state space $X$ defined on a cross-section of the closed causal region. In a particle model, $x\in X$ may contain positions, momenta, and internal variables at the chosen cross-section. In a field theory, $X$ would be an infinite-dimensional space of field data. Let $\lambda\in\Lambda$ collect the external boundary conditions, apparatus settings, and microscopic variables that influence propagation through the region.

Local equations of motion determine a return map

where $F_\lambda(x)$ is the state obtained after the system propagates around the causal loop and returns to the same cross-section. A globally self-consistent solution satisfies

The corresponding solution set is

This equation replaces the binary label previously assigned to an entire history. It distinguishes a solution from a trial state: a point with $x\neq F_\lambda(x)$ is a failed assignment of boundary data, not an inconsistent universe that exists and later repairs itself.

A closure defect can be defined when $X$ carries a metric $d$:

Exact solutions have $\Delta_\lambda(x)=0$. The size of $\Delta_\lambda$ measures the mismatch of a trial state within the chosen model, although its physical meaning depends on the variables and metric used. General relativity supplies no universal distance between complete histories.

Suppose an experiment depends on an antecedent condition $P$, produces a traversal $T$, and permits an action $A$ after the traveller reaches the earlier region. Assume that $P$ is necessary for $T$. An unconstrained calculation may predict that $A$ removes $P$. In the fixed-point formulation, that prediction corresponds to trial data with non-zero closure defect. The admissible outcomes are the fixed points of $F_\lambda$. A fixed point may contain a failed action, a modified consequence, a self-interaction that was already part of the past, or no traversal under the specified boundary data.

The Timeline-Quiver Conjecture

The fixed points of $F_\lambda$ generally depend on $\lambda$. Let $x_*(\lambda)$ denote a regular branch of self-consistent solutions:

Differentiating the fixed-point equation gives

with both derivatives evaluated at $x_*(\lambda)$. Whenever $I-D_xF_\lambda$ is invertible,

This relation defines a model-dependent susceptibility

Large $\chi$ means that a small change in boundary data can produce a large change in the corresponding self-consistent state. The inverse may become singular where a fixed-point branch bifurcates, merges with another branch, or disappears. The term timeline quiver refers to this regime of strong sensitivity in the set of globally self-consistent solutions.

The definition contains no succession of complete histories. A change in $\lambda$ compares neighbouring physical models or neighbouring experimental realisations. Each observer occupies one solution $(x_*,\lambda)\in\mathcal S$. The conjecture asserts that paradox-directed interventions may place the relevant fixed-point problem near a branch boundary, allowing ordinary microscopic differences to select macroscopically different self-consistent outcomes. Whether a given system has this structure must be established from its return map.

The conjecture has three substantive requirements. First, at least one self-consistent solution must exist for the boundary data under consideration. Second, the return map must contain a branch whose susceptibility becomes large or whose existence changes under small perturbations. Third, the underlying theory must assign weights when several branches coexist. Global self-consistency alone supplies none of these results.

Statistical Weights and Observable Outcomes

Let the physical parameters take the form

where $\xi$ represents uncontrolled microscopic variation with an ordinary probability density $\rho(\xi)$. For each value of $\xi$, suppose the fixed-point equation has branches $x_j(\bar\lambda+\xi)$. Let $a_j(\xi)$ denote a non-negative weight assigned to branch $j$. For an observable $O$, the conditional distribution over self-consistent solutions can be written schematically as

where the sum includes existing fixed points and $Z$ normalises the distribution. The expression is defined only when $Z>0$; a vanishing $Z$ means that the assumed model and boundary data supply no admissible branch.

This expression exposes the assumptions hidden by a simple consistency indicator. The control distribution $\rho$ describes ordinary fluctuations. The return map determines which self-consistent branches exist. The branch weights $a_j$ resolve non-uniqueness. A concrete theory must derive or stipulate all three. Choosing equal branch weights, minimum action, maximum entropy, or a path-integral prescription would produce different models.

Consider an action that succeeds throughout most of the unconstrained parameter range but whose success removes a condition required for the traversal. If no self-consistent branch contains that success, the conditional distribution assigns weight only to branches containing some other outcome. A locally rare malfunction may then have high conditional probability. The framework introduces no force that causes the malfunction. Its probability changes because the sample space has been restricted to global solutions.

The disturbance need not occur where the contradiction would become apparent. A small change in timing, motion, communication, or decision-making can propagate through ordinary dynamics before affecting the return map. Large susceptibility permits a microscopic change in $\lambda$ to correspond to a macroscopic difference in $x_*$. The model must identify the causal route connecting them; an unexplained appeal to the complete history supplies no mechanism.

If the fixed-point equation has no solution containing the assumed traversal, a wider model may admit a branch in which the apparatus is not completed, the traveller does not enter it, or the required spacetime trajectory is absent. This is suppression by global boundary conditions within the assumed model. Chronology protection concerns the prior physical question of whether the closed causal region can form at all.^[3]

Observation and Testability

Memories and records belong to the same global solution as the events they record. An observer therefore sees one outcome and retains no record of trial states with non-zero closure defect. A failed action may look like an ordinary accident, while the absence of a traversal may leave no internal evidence that a paradox-directed experiment was contemplated in a neighbouring model.

This observational limitation makes a qualitative version of the conjecture unfalsifiable. Almost any failure could be redescribed after the event as the outcome required by consistency. A test would need a specified return map and a probability model established before the experiment. The experimenter would first measure $\rho(\xi)$ in a control configuration without a closed causal dependence. The proposed CTC configuration would then determine its fixed-point branches, their weights, and the resulting distribution of observables. Evidence for the model would require a reproducible deviation with the magnitude and parameter dependence predicted by those inputs.

Controlled closed-timelike transport is unavailable, so this procedure cannot currently be carried out. Analogue simulations may examine the mathematics of fixed points and branch sensitivity, but they test the analogue dynamics rather than the existence of general-relativistic time travel. The conjecture presently functions as a programme for constructing and comparing models.

Scope and Remaining Work

The fixed-point formulation clarifies the limited content of the proposal. Global consistency comes from established work on closed timelike curves.^[4][5] The timeline-quiver conjecture adds a hypothesis about the geometry and statistical weighting of the consistent solution set near a branch boundary. General relativity does not currently provide the return map, norm, noise distribution, or branch weights used in the schematic model.

A developed version would need a concrete spacetime and matter system. It would derive $F_\lambda$ from local equations, locate all fixed points, compute $\chi$, identify any bifurcations, and assign branch weights from a stated physical principle. That calculation would show whether paradox-directed boundary data produce enhanced sensitivity and whether the resulting outcome distribution differs from existing self-consistency models. Without such a calculation, timeline quiver remains a name for a possible fixed-point regime rather than an independent physical theory.

References

1. ↑K. Gödel, “An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitation,” Reviews of Modern Physics 21, 447–450 (1949). doi:10.1103/RevModPhys.21.447.
2. ↑B. Carter, “Global Structure of the Kerr Family of Gravitational Fields,” Physical Review 174, 1559–1571 (1968). doi:10.1103/PhysRev.174.1559.
3. a bS. W. Hawking, “Chronology Protection Conjecture,” Physical Review D 46, 603–611 (1992). doi:10.1103/PhysRevD.46.603.
4. a bJ. Friedman, M. S. Morris, I. D. Novikov, F. Echeverria, G. Klinkhammer, K. S. Thorne, and U. Yurtsever, “Cauchy Problem in Spacetimes with Closed Timelike Curves,” Physical Review D 42, 1915–1930 (1990). doi:10.1103/PhysRevD.42.1915.
5. a bF. Echeverria, G. Klinkhammer, and K. S. Thorne, “Billiard Balls in Wormhole Spacetimes with Closed Timelike Curves: Classical Theory,” Physical Review D 44, 1077–1099 (1991). doi:10.1103/PhysRevD.44.1077.
6. ↑A. Carlini, V. P. Frolov, M. B. Mensky, I. D. Novikov, and H. H. Soleng, “Time Machines: The Principle of Self-Consistency as a Consequence of the Principle of Minimal Action,” International Journal of Modern Physics D 4, 557–580 (1995); erratum 5, 99 (1996). doi:10.1142/S0218271895000399.
7. ↑D. Deutsch, “Quantum Mechanics Near Closed Timelike Lines,” Physical Review D 44, 3197–3217 (1991). doi:10.1103/PhysRevD.44.3197.