← Back to article

Equation 23 · The Bit Comes Back Before the Bearing

What does this equation mean?

ϵL(t)  =  min⁡R[ 1−Fe(R∘Nt,  id) ],tL(ϵ)  =  min⁡{ t:ϵL(t)≤ϵ }.\epsilon_L(t) \;=\; \min_{\mathcal R}\Big[\,1 - F_e\big(\mathcal R \circ \mathcal N_t,\; \mathrm{id}\big)\,\Big], \qquad t_L(\epsilon) \;=\; \min\{\,t : \epsilon_L(t) \le \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 equation states a bound: one expression must stay on the indicated side of the other under the article’s assumptions. 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

ϵL\epsilon_L

Symbol epsilon_L

a dimensionless number in [0,1] , and tLt_L has units of time.

Understand this part →

tt

Symbol t

t is an argument of the function-like quantity on the left; its role is set by that function’s stated inputs.

Understand this part →

RR

Symbol R

R appears in the objective or constraint used by the optimization on the right.

Understand this part →

FeF_e

Symbol F_e

FeF_e appears in the objective or constraint used by the optimization on the right.

Understand this part →

NtN_t

Symbol N_t

the effective channel from A to R\!

Understand this part →

tLt_L

Symbol t_L

tLt_L appears in the objective or constraint used by the optimization on the right.

Understand this part →

ϵ\epsilon

Symbol epsilon

epsilon is the quantity selected or evaluated by the optimization written on the right.

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
subtraction

subtraction

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

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 it with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

For the qubit, returned means: there exists a recovery channel R\mathcal R , built from quantum operations an agent holding both the full early radiation R and a further batch of radiation CtC_t collected up to time t can actually perform, whose entanglement fidelity to the identity channel on A is within ϵ\epsilon of perfect, ϵL(t)  =  min⁡R[ 1−Fe(R∘Nt,  id) ],tL(ϵ)  =  min⁡{ t:ϵL(t)≤ϵ }\epsilon_L(t) \;=\; \min_{\mathcal R}\Big[\,1 - F_e\big(\mathcal R \circ \mathcal N_t,\; \mathrm{id}\big)\,\Big], \qquad t_L(\epsilon) \;=\; \min\{\,t : \epsilon_L(t) \le \epsilon\,\}. Nt\mathcal N_t is the effective channel from A to R\!∪\cup\!CtC_t induced by the hole’s own scrambling dynamics up to time t ; ϵL(t)\epsilon_L(t) is a dimensionless number in [0,1] , and tLt_L has units of time. This is a yes-or-no-shaped promise sharpened into a number: either a decoder within ϵ\epsilon of perfect exists on the stated resources, or it does not,…
Read the full surrounding passage
For the qubit, returned means: there exists a recovery channel R\mathcal R , built from quantum operations an agent holding both the full early radiation R and a further batch of radiation CtC_t collected up to time t can actually perform, whose entanglement fidelity to the identity channel on A is within ϵ\epsilon of perfect, ϵL(t)  =  min⁡R[ 1−Fe(R∘Nt,  id) ],tL(ϵ)  =  min⁡{ t:ϵL(t)≤ϵ }\epsilon_L(t) \;=\; \min_{\mathcal R}\Big[\,1 - F_e\big(\mathcal R \circ \mathcal N_t,\; \mathrm{id}\big)\,\Big], \qquad t_L(\epsilon) \;=\; \min\{\,t : \epsilon_L(t) \le \epsilon\,\}. Nt\mathcal N_t is the effective channel from A to R\!∪\cup\!CtC_t induced by the hole’s own scrambling dynamics up to time t ; ϵL(t)\epsilon_L(t) is a dimensionless number in [0,1] , and tLt_L has units of time. This is a yes-or-no-shaped promise sharpened into a number: either a decoder within ϵ\epsilon of perfect exists on the stated resources, or it does not, and ϵL(t)\epsilon_L(t) falls, in the regime this article works in, toward zero as t grows past a threshold.

Read the equation in its article →

Sources cited in the article section

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 →