CounterexampleConstruction: AI-generatedVerification: AI-generatedPipeline-generatedjudge pass (gpt-6.1-sol)

How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Counterexample: a causally related pair of events need not be joinable by a future timelike worldline

Statement refuted

False claim. If $q$ lies in $J^{+} (p)$ then $q$ lies in $I^{+} (p)$ , that is, every causally related pair of events can be joined by a future timelike worldline (Causal reachability, causal futures and pasts, causal diamonds, and reachability by future causal paths in affine Minkowski space).

Facts & Assumptions

Given: An inertial frame with chart $x$ , the events $p = x^{- 1} (0, 0, 0, 0)$ and $q = x^{- 1} (3, 3, 0, 0)$ , and the displacement $D = q - p$ with coordinates $(3, 3, 0, 0)$ .

[L1]

Coordinate criterion and cone description: $q \in J^{+} (p)$ iff $D^{0} \geq ∣ D_{s} ∣$ , and $q \in I^{+} (p)$ iff $D^{0} > ∣ D_{s} ∣$ ; a vector $v$ is future null exactly when $∣ v_{s} ∣ = v^{0} > 0$ (The closed future cone in inertial coordinates: description, finite sums, and the coordinate criterion for causal reachability).

[L2]

Causal classification: $η (v, v) = - (v^{0})^{2} + ∣ v_{s} ∣^{2}$ ; a nonzero vector with $η (v, v) = 0$ is null, and a vector with $η (v, v) > 0$ is spacelike (Timelike, null, spacelike and causal vectors of a Lorentz vector space).

[L3]

Reachability: $J^{+} (p)$ and $I^{+} (p)$ are the causal and chronological futures of $p$ defined by the displacements $q - p \in \overline{C^{+}}$ and $q - p \in C^{+}$ , and a future timelike worldline is a $C^{1}$ curve with future timelike tangent everywhere (Causal reachability, causal futures and pasts, causal diamonds, and reachability by future causal paths in affine Minkowski space, Curves, regular causal curves and future timelike worldlines in affine Minkowski space).

[L4]

Displacement of a future causal path: for a piecewise $C^{1}$ future causal path with a future timelike one-sided tangent at some point, the displacement lies in $C^{+}$ (Future causal reachability, absence of causal loops, time monotonicity and the straight-worldline proper-time maximum).

[L5]

The false claim of the statement refuted section.

Counterexample

technique · direct

1.1givenL1L2algebra

The displacement has coordinates $D = (3, 3, 0, 0)$ , so $η (D, D) = - 9 + 9 = 0$ with $D \neq 0$ and $D^{0} = 3 > 0$ ; by [L2] and [L1] the vector $D$ is future null, since $∣ D_{s} ∣ = 3 = D^{0} > 0$ .

2.1step 1.1L1L3algebra

By [L1], $3 \geq 3$ gives $q \in J^{+} (p)$ , while $3 > 3$ is false, so $q \notin I^{+} (p)$ ; hence the pair is causally related without belonging to the chronological relation, and the straight path from $p$ to $q$ has the constant tangent $D$ , which is future null and not future timelike.

2.2step 1.1L2L3L4

No future timelike worldline $y : [a, b] \to A$ with $y (a) = p$ and $y (b) = q$ exists: if $y$ were one, it would be in particular a piecewise $C^{1}$ future causal path with a future timelike tangent at every point by [L3], so [L4] would put its displacement $q - p = D$ in $C^{+}$ , and then [L2] would give $η (D, D) < 0$ , contradicting $η (D, D) = 0$ from step 1.1.

3.1step 2.1step 2.2L5∎

Steps 2.1 and 2.2 exhibit a pair with $q \in J^{+} (p)$ and $q \notin I^{+} (p)$ that is not joinable by any future timelike worldline, while the null straight segment realizes the causal relation; the claim of [L5] is therefore false, and no choice principle is used.

Counterexample: a causally related pair of events need not be joinable by a future timelike worldline

Statement refuted

Facts & Assumptions

Counterexample

Depends on

Dependency tree · 2 levels

Sources