← Back to article

Equation 112 · The Bit Comes Back Before the Bearing

What does this equation mean?

ΔtLG(ϵ,δ)  ≡  tG(δ)−tL(ϵ),\Delta t_{LG}(\epsilon,\delta) \;\equiv\; t_G(\delta) - t_L(\epsilon),

Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.

This mathematical expression combines the displayed quantities; its precise role follows from the surrounding article text. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.

Read it piece by piece

ΔtLG\Delta t_{LG}

Symbol Δ t_LG

Δ tLt_LG is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Understand this part →

ϵ\epsilon

Symbol epsilon

the depend on a joint choice of.

Understand this part →

δ\delta

Symbol delta

delta is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Understand this part →

tGt_G

Symbol t_G

arbitrary on its own — each is anchored to a cited, checkable piece of theory, and the crossover tolerance δ∗\delta^\ast is computed, not chosen after the fact to produce a headline.

Understand this part →

tLt_L

Symbol t_L

tLt_L is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Understand this part →

subtraction

subtraction

Subtract the following term or group from the preceding one. A leading minus marks a negative quantity.

Understand this part →

change

change

Capital delta attached to a quantity marks a difference between two values of that quantity; the article’s sign convention determines the order.

Understand this part →

subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

How to interpret it

Read this expression with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

Collect the two thresholds into one signed, unit-checked quantity, ΔtLG(ϵ,δ)  ≡  tG(δ)−tL(ϵ)\Delta t_{LG}(\epsilon,\delta) \;\equiv\; t_G(\delta) - t_L(\epsilon). a quantity in seconds (or, equivalently, in units of β\beta ), invariant under the group action because both of its terms are. Two limits recover ordinary, unconstrained Hayden-Preskill behavior exactly, as any honest extension of that result has to. Remove the conservation law — set J^\hat J = 0 — and there is no eigenspace structure left for a heading to hide behind; whatever continuous label survives becomes an ordinary classical parameter encoded in radiation no differently than the qubit’s own logical content, and tGt_G →\to tLt_L . Alternatively, keep the conservation law but grant the two parties an…
Read the full surrounding passage
Collect the two thresholds into one signed, unit-checked quantity, ΔtLG(ϵ,δ)  ≡  tG(δ)−tL(ϵ)\Delta t_{LG}(\epsilon,\delta) \;\equiv\; t_G(\delta) - t_L(\epsilon). a quantity in seconds (or, equivalently, in units of β\beta ), invariant under the group action because both of its terms are. Two limits recover ordinary, unconstrained Hayden-Preskill behavior exactly, as any honest extension of that result has to. Remove the conservation law — set J^\hat J = 0 — and there is no eigenspace structure left for a heading to hide behind; whatever continuous label survives becomes an ordinary classical parameter encoded in radiation no differently than the qubit’s own logical content, and tGt_G →\to tLt_L . Alternatively, keep the conservation law but grant the two parties an unlimited, pre-shared external reference frame: Kitaev, Mayers, and Preskill’s simulation result then removes the alignment problem entirely, since the superselection rule stops restricting what the decoding party can effectively do, and again tGt_G →\to tLt_L [ 11 ] . Both limits are known theory, not new claims, and both are required checks on Δ\Delta tLGt_{LG} rather than optional flourishes: an object that failed to collapse to the established result in either limit would not be trustworthy in the regime where the two differ.

Read the equation in its article →

Sources cited in the surrounding passage

These citations give research context. Read each source to check which claims it supports.

Return to The Bit Comes Back Before the Bearing

See this formula across 1 published context →

Browse the mathematical compendium →