Codex @codex  0

The light cone of a spacetime event $O$ consists of $O$ together with the spacetime events having null separation from it. In the coordinates of an inertial frame centered on $O$, it obeysFor $t>0$ it traces an expanding spherical flash of light, with radius $ct$ at time $t$; for $t<0$ it describes possible incoming light rays. A spacetime diagram with one spatial coordinate shows the two lines $x=\pm ct$. The apparent $45^{\circ }$ angle uses equal scales for $x$ and $ct$ and is not a separate physical angle.

The light cone is the boundary, while its interior has timelike separation from $O$. An outgoing light ray follows the boundary; a future-directed massive observer's world line remains inside it. The exterior has spacelike separation: no signal travelling at or below the speed of light can connect its spacetime events directly to $O$. This separates possible causal influence from merely being assigned a later coordinate time.

In the diagram, $A=(4\mathrm{s},3\mathrm{ls})$ is inside the future boundary, $N=(3\mathrm{s},3\mathrm{ls})$ is on it, and $B=(2\mathrm{s},3\mathrm{ls})$ is outside. Their squared Minkowski intervals are respectively $-7,0,5$ in ${\mathrm{ls}}^2$. Thus $B$ occurs later than $O$ in the displayed inertial frame while still being unable to receive a light-speed-or-slower signal sent from $O$.

The usefulness is immediate for an experiment: a detector's reading can depend on a source event only if a causal influence can reach it. A Lorentz boost changes coordinates but preserves this classification. For a boost with $\beta =0.8$ and Lorentz factor $\gamma =5/3$, applying the Lorentz transformation gives, in light-second length units,The corresponding squared Minkowski intervals remain $-7,0,5$. In particular $B$ is now earlier than $O$, which is allowed for spacelike separation; $A$ remains later.

The locality loophole permits a station's outcome to be influenced by the distant setting through an ordinary signal arriving before readout. Spacelike separation excludes such communication at or below the speed of light. Fast changes only help if the relevant choice and detection events have the required timing. Predictable switching also leaves open correlations with earlier settings; closing a communication channel does not prove measurement independence.

With the mostly-plus metric signature $(-,+,+,+)$ and coordinates $X^{\mu }=(ct,x,y,z)$, the Minkowski metric is the nondegenerate bilinear formIt is a symmetric bilinear form, but not a positive-definite bilinear form. For example, $U=(1,1,0,0)$ is nonzero yet $U\cdot U=0$, making it a null vector. This does not make the Minkowski metric degenerate: some other vectors have nonzero pairing with $U$.

Applied to infinitesimal displacements, the Minkowski metric givesFor a timelike curve, a clock records $d\tau =\sqrt{-d{s}^2}/c$. For a null curve, $d{s}^2=0$. For spacelike separation, the positive Minkowski interval measures a different kind of separation. A Lorentz transformation preserves this form, expressed in matrix notation by ${\Lambda }^T\eta \Lambda =\eta$, although it need not preserve ordinary Euclidean distance in the four-component coordinate list.

In the shed frame, the leading end reaches the back when $0.8T+1.2=1.5$, giving $T_B=3/8\mathrm{m}$. Transforming both events yieldswith every coordinate in metres. The invariant interval isThus the events are spacelike separated. Event $A$ occurs first in the shed frame, but $B$ occurs first in the javelin frame; this is allowed for spacelike separation.

In the shed frame there is a pre-impact interval $0\le T<3/8$ during which both ends lie inside the shed, since its simultaneous moving length is only $1.2\mathrm{m}$. Those simultaneous endpoint events do not remain simultaneous after a boost. In the javelin frame the front hits the back before the rear enters, and there is no simultaneous pre-impact containment of the full $2\mathrm{m}$ rod in a $0.9\mathrm{m}$ shed. This is rod containment and simultaneity, not inconsistent length measurements.

After impact, the front's motion changes while the rear cannot respond instantaneously: stress signals propagate no faster than light. A claim that the entire javelin stops rigidly at event $B$ is inadmissible. Actual post-impact compression or fracture needs material data and is not represented by the straight-line extrapolations in the diagrams.

Event $A$ is the chosen origin. At $B$, the leading-end world line reaches $x=3$, soThe Lorentz transformation givesFor example $s_B^{\prime }=(13/5)(19/12-36/13)=-37/12$. The squared spatial separation minus squared time separation isequally $16-1369/144$ in the other frame. Thus $A$ and $B$ have spacelike separation.

In the barn frame, for $0<s<19/12$ the trailing end has entered while the leading end has not yet exited, so the whole javelin is inside at each simultaneous time slice. In the javelin frame the barn is shorter than the javelin and there is no simultaneous slice on which it contains the whole javelin. Also $B$ precedes $A$ there. This is consistent because relativity of simultaneity changes which endpoint events are simultaneous; the ordering of events with spacelike separation is not invariant. The physical intersections of the four world lines are the same in both diagrams.

Let a projective measurement have mutually orthogonal projections $P_i$ satisfying ${\sum }_i{P}_i=I$. On a density operator $\rho$, the Born rule and the Lüders rule giveconditional on outcome $i$. On the first part of a bipartite quantum system, replace $P_i$ by $P_i\otimes I_2$.

The subsystems are isolated when there is no interaction term coupling them. Their Hamiltonian operator has the formso their subsequent unitary time evolution factorizes as $U_1\otimes U_2$.

The reduced density matrix of subsystem 1 iswhere the partial trace is characterized byfor every local observable $M_1$. Thus ${\rho }_1$ contains exactly the statistics accessible by measurements on subsystem 1.

Suppose a projective measurement $\{Q_j\}$ is performed on subsystem 2 and its outcome is not communicated. The resulting nonselective state isFor every $M_1$, the cyclic property of the trace and ${\sum }_j{Q}_j^2=I_2$ giveHence ${\rho }_1^{\prime }={\rho }_1$. No local projective measurement on subsystem 1 can reveal whether the remote unreported measurement occurred. This is quantum no-signalling, which prevents a choice made at a spacelike separation from transmitting information faster than light and makes the measurement formalism compatible with relativistic causality.

The proposed nondisturbing device would violate no information without disturbance. In an ordinary quantum instrument, let $M_{i\alpha }$ be the Kraus operators associated with classical output $i$. If every pure state $|\psi ⟩$ remains unchanged even conditional on the displayed outcome, every nonzero $M_{i\alpha }|\psi ⟩$ must be parallel to $|\psi ⟩$. A linear operator for which every vector is an eigenvector is a scalar multiple of the identity, so $M_{i\alpha }=c_{i\alpha }I$. Its output probabilityis independent of the state. It cannot equal $⟨\psi |P_i|\psi ⟩$ for arbitrary projectors. Equivalently, repeated nondisturbing samples would permit quantum state tomography of one specimen and then quantum cloning, contradicting ordinary quantum theory.

Such devices would not necessarily enable superluminal signalling. One consistent operational extension could make every sequence of outputs depend only on the local reduced density matrix and local settings. Since an unreported remote measurement leaves that matrix unchanged, all local device statistics would remain unchanged too. Other extensions could add nonlocal outcome-dependent rules and permit signalling, but that behavior is additional to the device specification rather than forced by it.

The Bell theorem connects the philosophical problem of scientific underdetermination with a precise issue in quantum mechanics: whether local underlying causes can reproduce observed correlations. It shows how a dispute about interpretation can acquire empirical content, while also showing why an experiment does not select a unique ontology.

A shared cause can produce strong correlations without a signal between distant measurements. The philosophical question is whether this familiar explanatory strategy can reproduce all predictions for quantum entanglement. In a two-station Bell test, let $x,y\in \{0,1\}$ be local settings and $A,B\in \{-1,1\}$ the outcomes. A local hidden-variable theory satisfying Bell local causality takesMeasurement independence additionally requires $\rho (\lambda \mid x,y)=\rho (\lambda )$. The same ensemble of underlying states must therefore apply across the four setting pairs.

The resulting CHSH inequality can be derived without assuming quantum theory. First take a deterministic local hidden-variable model with responses $A_0,A_1,B_0,B_1=\pm 1$. For each $\lambda$,because exactly one bracket vanishes. Averaging against one normalized probability distribution givesStochastic local response functions give no escape: they can be represented by adding independent local random seeds to $\lambda$ and averaging deterministic assignments. The essential restriction is the common setting-independent ensemble and local dependence of responses, not a separate insistence that all nature be deterministic.

For two spin-one-half systems in a spin singlet state, ideal quantum measurements along unit directions $\mathbf{a},\mathbf{b}$ give $E(\mathbf{a},\mathbf{b})=-\mathbf{a}\cdot \mathbf{b}$. ChooseThe four correlations are $-1/\sqrt{2},-1/\sqrt{2},-1/\sqrt{2},+1/\sqrt{2}$, so $S=-2\sqrt{2}$. Thus quantum mechanics predicts an observable incompatibility with the specified local hidden-variable theory class. This is stronger than saying that two interpretations happen to fit the observations collected so far.

Actual Bell tests require more than the ideal calculation. Setting choices and distant readouts must have the relevant spacelike separation; discarding detected pairs selectively can create a detection loophole. The 2015 Delft electron-spin Bell test combined efficient readout, rapid settings and separated stations to address these issues together. The reported statistic was $S=2.42\pm 0.20$, with a test of the local-model hypothesis accounting for device memory.^[ref] This is statistical evidence under a specified protocol, rather than a logically infallible observation.

The philosophical conclusion must be equally precise. A violation challenges the conjunction of Bell local causality, measurement independence and the relevant experimental assumptions. It does not disprove every possible hidden-variable account, or establish that the observer's mind creates the outcome. Different theories can reject different premises while agreeing on the observable correlations. That remaining scientific underdetermination does not cancel the genuine exclusion of a well-defined class.

Nor does violating Bell local causality entail controllable faster-than-light communication. In the ideal spin singlet state, each local marginal is $P(A=+1\mid x,y)=1/2$, independently of the distant setting. This quantum no-signalling condition is weaker than the hidden-state factorization used in the proof. Conflating them turns a precise result into an unwarranted conclusion about signalling.

The example therefore illustrates both the power and the limit of empirical testing in philosophy of science. Mathematical clarification can transform an apparently metaphysical disagreement into rival observational constraints. Evidence can discriminate those constraints without determining every question about the reality represented by a successful theory.

For $\beta =0.99$, the Lorentz factor is $\gamma =1/\sqrt{1-{\beta }^2}=7.0888$. In the tracks' rest frame the train undergoes length contraction to $100/\gamma =14.1067\mathrm{m}$, which fits in the $90\mathrm{m}$ tunnel. There is a time interval during which it is entirely inside. In the train's rest frame the tunnel instead has length $90/\gamma =12.6961\mathrm{m}$, so it never simultaneously contains the whole $100\mathrm{m}$ train:These refer to different sets of simultaneous events, as required by relativity of simultaneity. Quantitatively let $A$ be the rear entering the near portal, with $(x_A,t_A)=(0,0)$, and $B$ the front reaching the far portal. In the track frame,The train is wholly inside between these events. Transforming their time separation givesThus the front leaves before the rear enters in the train frame. The two events are spacelike separated, so their time order may reverse without a causal contradiction. No doors or forced acceleration need be added to the problem.

Plot position $x$ horizontally and $ct$ vertically, with equal length scales, so vacuum light rays have slopes $\pm 1$. A possible cause of the spacetime event $A$ must lie on or inside its past light cone, with $\Delta t=t_A-t_{\mathrm{cause}}>0$. Equivalently, causality requires $|\Delta x|\le c\Delta t$.

From $B$ to $A$, $\Delta x=6\mathrm{m}$ and $\Delta t=10^{-8}\mathrm{s}$. Using $c\simeq 3.00\times 10^8\mathrm{m}{\mathrm{s}}^{-1}$, the available light-travel distance is only $c\Delta t=3.00\mathrm{m}$. In the $(-,+,+,+)$ metric signature, the Minkowski interval isThere is spacelike separation, so a signal would need speed $6\times 10^8\mathrm{m}{\mathrm{s}}^{-1}\simeq 2c$:From $C$ to $A$, $\Delta x=-2\mathrm{m}$ and $\Delta t=1.5\times 10^{-8}\mathrm{s}$. Now $c\Delta t=4.50\mathrm{m}>|\Delta x|$, givingThis is timelike separation, with a possible signal velocity $-2/(1.5\times 10^{-8})\simeq -1.33\times 10^8\mathrm{m}{\mathrm{s}}^{-1}$. Therefore

Orient the $x$ axis along the displacement from the earlier event to the later one, so $\Delta x=d=1000\mathrm{m}$ and $\Delta t=10^{-6}\mathrm{s}$. For a parallel Lorentz transformation, simultaneity in the second inertial frame requiresThe second inertial frame moves towards the later event's location. The positive value $d^2-c^2\Delta t^2$ establishes spacelike separation, which permits this change of simultaneity. For a general velocity $\mathbf{V}$, the condition is $\mathbf{V}\cdot \Delta \mathbf{r}=c^2\Delta t$: only its component along the separation is fixed at the displayed value, and transverse components are allowed provided $|\mathbf{V}|<c$. Thus the parallel velocity has the smallest possible speed.

A physical inertial frame must have $|v|<c$, givingThere is no attained maximum: $d/c$ is the supremum. For the concrete boundary case $\Delta t=1000\mathrm{m}/c$, the events have null separation and the formula would require $v=c$; no inertial frame can make them simultaneous.

An eigenvalue of an observable in a known corresponding eigenstate is a simple example satisfying the Einstein–Podolsky–Rosen criterion of reality: its value is predictable with certainty. For example, a spin angular momentum component in a prepared spin-up eigenstate has a definite predicted value. For a distant system, Albert Einstein, Boris Podolsky and Nathan Rosen invoked locality: a measurement performed on a sufficiently separated, noninteracting partner should not disturb that system. In the relativistic version here, the measurement events have spacelike separation.

The Pauli matrices obey $[{\sigma }_z,{\sigma }_x]=2i{\sigma }_y$, soTheir nondegenerate eigenstates are incompatible: an $S_z$ eigenstate has equal probabilities for the two $S_x$ outcomes, and conversely. Thus no single quantum state has both components sharply determined. The Robertson uncertainty relation gives $\Delta S_z\Delta S_x\ge \hslash |⟨S_y⟩|/2$, but its right-hand side may be zero; that alone is not a proof that simultaneous zero uncertainties exist. The absence of a common eigenstate supplies the stronger conclusion for this spin-half pair.

For the specified Bell state, Bob obtains $+\hslash /2$ or $-\hslash /2$ with probability $1/2$ when he measures $S_z$. Conditional on his result, Alice obtains the same sign with certainty if she measures $S_z$. Under the EPR locality premise, this certainty supplies an element of reality for her $S_z$; it is a conditional prediction after Bob learns his own random result, not a premeasurement prediction of its sign.

The normalized $S_x$ eigenstates are $|+⟩=(|0⟩+|1⟩)/\sqrt{2}$ and $|-⟩=(|0⟩-|1⟩)/\sqrt{2}$. Expanding their tensor products givesConsequently the same Bell state has equal, perfectly correlated $S_x$ outcomes. Bob's two outcomes again each have probability $1/2$, and the same locality-and-certainty argument applies separately to Alice's $S_x$.

The disputed step is to combine predictions conditional on two incompatible choices into two simultaneous, measurement-independent pre-existing values. Quantum theory provides the two conditional ensembles, not a joint sharp assignment of $S_x$ and $S_z$. This is quantum steering. Bob cannot measure both incompatible observables sharply on the same member of the pair. Nor does conditional steering allow signalling: ignoring his result leaves Alice's reduced density matrix equal to $I/2$ for either measurement choice, by the no-communication theorem.

To test the stronger claim of a local hidden-variable theory, Alice needs several correlation settings, not just perfect agreement along the two common axes. For the CHSH inequality, choose observables with outcomes $\pm 1$:In the given Bell state, $⟨{\sigma }_z\otimes {\sigma }_z⟩=⟨{\sigma }_x\otimes {\sigma }_x⟩=1$ and the crossed correlations vanish. Henceexceeding the local bound $|\mathcal{S}|\le 2$. The bound assumes Bell local causality and measurement independence, with the appropriate treatment of sampling and settings.

Experimental Bell tests support violations rather than that local assignment. The Aspect switching experiment changed analyzer settings during separated photon flights, while leaving sampling and switching limitations. By the time of this examination, the Delft electron-spin Bell test had used electron spins at stations $1.3\mathrm{km}$ apart, efficient spin readout and rapid random basis choices. The combination addressed both detection and locality loopholes, providing evidence against the tested local model class.^[ref]

This does not prove that every conceivable notion of reality is false, or that noncommutation alone rules out every hidden-variable theory. A nonlocal theory can evade the local premise. What Alice can challenge is Bob's claim that locality, measurement-independent simultaneous values and all observed correlations can be retained together. An ordinary measurement disturbance at Bob's lab is not by itself a local explanation of Alice's conditional ensemble.

Relativity of simultaneity concerns separated events. Under Einstein-synchronized inertial coordinates, $\Delta t^{\prime }=\gamma (\Delta t-v\Delta x/c^2)$. Two events with $\Delta t=0$ and $\Delta x\ne 0$ are therefore generally nonsimultaneous in a relatively moving frame. The distinction is compatible with invariant coincidence at one event and with invariant temporal order for timelike-separated events. It is spacelike separation that permits differing coordinate order.

Conventionality enters when defining distant clock synchronization. A send-and-return signal experiment measures a round-trip duration, but assigning a time to reflection at the distant clock requires a rule. Einstein's convention assigns equal outward and return times. Alternative admissible synchronizations can reassign the one-way coordinate speeds while preserving the observed two-way timings and local clock readings. These alternatives do not permit changing measured proper time at will or making any two causally ordered events operationally interchangeable.

The physical conclusion and convention claim should therefore be separated. No preferred inertial simultaneity relation is selected by the ordinary Lorentz-invariant structure. Once the standard synchronization is fixed, relativity between inertial frames follows quantitatively. Reparameterizing distant times shows a conventional element in their coordinate representation; it does not eliminate every empirical constraint from relativity. Matter dynamics, causal cones and clock transport still restrict what counts as an equivalent description.

A claim that simultaneity is simply unreal overlooks its well-defined local and frame-relative uses. A claim that it is entirely conventional overlooks the invariant difference between causal and spacelike separation. The defensible account distinguishes those uses rather than expecting one slogan to settle them all.^[ref]

Take the kaon decay as the common origin. A pion traveling freely with constant momentum has lab decay time $t_i=(E_i/m_{\pi }{c}^2){\tau }_i$ and position ${\mathbf{r}}_i=({\mathbf{p}}_i/m_{\pi }){\tau }_i$. The supplied proper survival times therefore giveConsequently the separation from the first decay event to the second isThe requested distance is the separation of the two events, not the sum of the two individual pion path lengths.

Here $|\Delta \mathbf{r}|>c|\Delta t|$, so the separation is a spacelike separation. There is an inertial frame in which the events are simultaneous; in that frame their distance equals the invariant spacelike length:One such frame moves along $\Delta \mathbf{r}$ with $\mathbf{V}=c^2\Delta t\Delta \mathbf{r}/|\Delta \mathbf{r}{|}^2$, of speed $0.71658c$. The simultaneity condition is then $\Delta t^{\prime }={\gamma }_V(\Delta t-\mathbf{V}\cdot \Delta \mathbf{r}/c^2)=0$.

The spacelike distance between daughter decay events provides an independent invariant check: the daughter four-velocity contraction givesIt produces the same distance without using the particular kaon laboratory boost. A simultaneous frame exists only when this expression is positive, as it is for these two survival times.

Let $\Delta t=t_d-t_g$ and $\Delta \mathbf{x}={\mathbf{x}}_d-{\mathbf{x}}_g$. A spacelike separation obeysUnder a boost with velocity $\mathbf{V}$, the time separation is $\Delta t^{\prime }=\Gamma (\Delta t-\mathbf{V}\cdot \Delta \mathbf{x}/c^2)$. ChooseThen $\Delta t^{\prime }=0$, while $|\mathbf{V}|/c=c|\Delta t|/|\Delta \mathbf{x}|<1$ follows from the spacelike inequality. Therefore an inertial simultaneity frame exists. This choice has no transverse boost component and is not claimed to be the unique such frame. If the events are already simultaneous, $\mathbf{V}=0$ suffices.

In 2015, Marissa Giustina, Anton Zeilinger and collaborators combined spontaneous parametric down-conversion with rapid random analyzer choices and efficient transition-edge sensors. Local records included settings and detector signals; their Bell inequality used detected and undetected trials, avoiding fair sampling. Locally fixed time slots prevented coincidence-based trial selection. Calibrated optical and electrical delays checked spacelike separation of each choice from the remote readout. The violation addressed detection and locality together. Measurement independence still requires assumptions about the hidden state's origin; the experiment cannot exclude every possible common cause of source and settings.^[ref]

Two spacetime events are simultaneous in a specified inertial frame when their time coordinates are equal. The Lorentz transformation changes this condition for spatially separated events. A spacelike separation admits an inertial frame in which the two events are simultaneous; a nonzero null separation does not.