← Mathematical compendium

Published equation contexts

φent=φLL+φRR−φLR−φRL\varphi_{\text{ent}} = \varphi_{LL} + \varphi_{RR} - \varphi_{LR} - \varphi_{RL}

Each of the four joint paths has a gravitational phase. A phase added only to one branch of mass A or B can be changed locally and cannot create entanglement between them. Add the two matching-path phases and subtract the two crossed-path phases: the local additions cancel, leaving the physically relevant two-body phase combination.

Why this formula appears here

None of this makes the experiment ambiguous, and this is the paper’s second and sharper result. The branch separations that enter the gravitational phase each mass’s superposition picks up are relational quantities — distances between mass A’s branches and mass B’s branches — and relational quantities do not change when you change which system you have designated the reference frame. Write φij\varphi_{ij} = G mAm_A mBm_B t / (ℏ\hbar dijd_{ij}) for the phase a pair of branches i,j ∈\in \{L,R\} accumulates over interaction time t at separation dijd_{ij} , with G Newton’s constant and ℏ\hbar the reduced Planck constant. Three of the four possible combinations of these branch-pair phases can always be removed…

Read the full article-specific guide →

Read the representative guide

φent\varphi_{\text{ent}}

Entangling phase difference

The phase combination left after local phases of A and B cancel. It compares matching branch pairs (LL and RR) with crossed pairs (LR and RL). In an ideal balanced, pure two-branch state, its value modulo 2π determines the generated two-qubit entanglement.

Read this term in its guide →
φLL\varphi_{LL}

Both masses on L

The gravitational phase when A takes its L branch and B takes its L branch. It enters with a plus sign in the invariant combination.

Read this term in its guide →
φRR\varphi_{RR}

Both masses on R

The gravitational phase when A takes its R branch and B takes its R branch. It also enters with a plus sign.

Read this term in its guide →
φLR\varphi_{LR}

A on L, B on R

The phase of the crossed branch pair. It is subtracted so phases belonging only to one local branch cancel out.

Read this term in its guide →
φRL\varphi_{RL}

A on R, B on L

The phase of the other crossed branch pair. It is also subtracted in the local-phase-invariant combination.

Read this term in its guide →

Try the four branch phases

This is an idealized geometry: mass A and mass B each have a left and right branch. Matching branches are separated by a gap d; crossed branches are farther apart by a horizontal offset Δx. Change the values to see which phase difference survives.

Four possible pairs of spatial branches Mass A has left and right branch points above the matching left and right points of mass B. Vertical pairs have distance d; diagonal pairs have distance square root of d squared plus delta x squared. A on LA on R B on LB on R d√(d² + Δx²)
Green pairs match (LL, RR); dashed pairs cross (LR, RL). The diagram is schematic, not a proposed experimental layout.
LL and RR phase0.316 rad
LR and RL phase0.175 rad
Surviving phase difference0.282 rad
Ideal pure-state concurrence0.140

Illustrative symmetric geometry. The phase and concurrence calculations assume coherent, stationary branches and no other interactions. The article’s physical experiment has additional constraints.

What the alternating signs remove

Suppose a change of local phase convention adds α_L or α_R to A’s paths and β_L or β_R to B’s paths. The four joint phases then gain α_L+β_L, α_L+β_R, α_R+β_L, and α_R+β_R. Add LL and RR and subtract LR and RL: the added terms cancel exactly. The result therefore tracks a two-body relationship rather than an arbitrary choice of local phase origin.

From a phase difference to entanglement

In a balanced, coherent two-branch state, φ_ent = 0 modulo 2π means the four amplitudes can be separated into one state for A times one state for B. A nonzero invariant phase generally prevents that factorization. The pure-state concurrence |sin(φ_ent/2)| is a precise way to quantify this in the idealized two-qubit model; it does not by itself describe decoherence or measurement noise.

A compact derivation for advanced readers

Give the four normalized branch amplitudes the values aLa_LL = exp(iφ_LL)/2, aLa_LR = exp(iφ_LR)/2, aRa_RL = exp(iφ_RL)/2, and aRa_RR = exp(iφ_RR)/2. For a pure two-qubit state, concurrence is C = 2|aLa_LL aRa_RR − aLa_LR aRa_RL|. Substituting the phases yields C = |sin((φ_LL + φ_RR − φ_LR − φ_RL)/2)|. The determinant is zero exactly when the two-by-two amplitude matrix has rank one and the state factorizes. This derivation requires equal branch amplitudes and retained coherence.

What this does and does not prove

The cancellation above proves invariance under local rephasing. The article discusses a further quantum-reference-frame calculation, which is a separate claim requiring its own transformation. A positive experimental entanglement witness also depends on ruling out nongravitational interactions and on the assumptions used to infer the nature of the mediator.

How to interpret it

Let φ_{ij} change by α_i + β_j, where α_i is any phase applied locally to A’s branch i and β_j is any phase applied locally to B’s branch j. In φ_{LL}+φ_{RR}−φ_{LR}−φ_{RL}, every α and β appears once with a plus and once with a minus, so all cancel. For the ideal initial state (|L⟩+|R⟩)⊗(|L⟩+|R⟩)/2, the concurrence is |sin(φ_ent/2)|: zero when φ_ent is 0 modulo 2π and maximal when it is π modulo 2π. Real experiments can lose coherence and need an actual witness measurement.

Sources in the representative guide

Published contexts (1)

A symbol can carry a different meaning in another article. Each occurrence keeps its own guide and term definitions.

φent=φLL+φRR−φLR−φRL\varphi_{\text{ent}} = \varphi_{LL} + \varphi_{RR} - \varphi_{LR} - \varphi_{RL}

Equation 7 · Quantum Relativity

How Much of Gravitationally Induced Entanglement Is in the Eye of the Frame

This alternating sum isolates the branch-phase difference that local phase choices cannot remove. In the ideal balanced state, it controls whether the two path qubits are entangled.

None of this makes the experiment ambiguous, and this is the paper’s second and sharper result. The branch separations that enter the gravitational phase each mass’s superposition picks up are relational quantities — distances between mass A’s branches and mass B’s branches — and relational quantities do not change when you change which system you have designated the reference frame. Write φij\varphi_{ij} = G mAm_A mBm_B t / (ℏ\hbar dijd_{ij}) for the phase a pair of branches i,j ∈\in \{L,R\} accumulates over interaction time t at separation dijd_{ij} , with G Newton’s constant and ℏ\hbar the reduced Planck constant. Three of the four possible combinations of these branch-pair phases can always be removed…

Meanings in this article

  • φent\varphi_{\text{ent}}: The phase combination left after local phases of A and B cancel. It compares matching branch pairs (LL and RR) with crossed pairs (LR and RL). In an ideal balanced, pure two-branch state, its value modulo 2π determines the generated two-qubit entanglement.
  • φLL\varphi_{LL}: The gravitational phase when A takes its L branch and B takes its L branch. It enters with a plus sign in the invariant combination.
  • φRR\varphi_{RR}: The gravitational phase when A takes its R branch and B takes its R branch. It also enters with a plus sign.
  • φLR\varphi_{LR}: The phase of the crossed branch pair. It is subtracted so phases belonging only to one local branch cancel out.
  • φRL\varphi_{RL}: The phase of the other crossed branch pair. It is also subtracted in the local-phase-invariant combination.
Equation guide → · Article →