← All parts of this equation

Equation 42 · Part 3 · How Fast Can a Horizon Learn Which Path You Took?

Symbol u

Dirr(tc)=inf⁡u∈A(tc)12∥ρ0,Hu−ρ1,Hu∥1.D_{\rm irr}(t_c)= \inf_{u\in\mathcal A(t_c)} \frac12\left\|\rho^{u}_{0,H}-\rho^{u}_{1,H}\right\|_1.
uu

What this part means

u is one of the signed contributions combined to compute the quantity on the left.

Its job in the formula

u is one of the signed contributions combined to compute the quantity on the left.

The passage around this formula

Define A(tc)\mathcal A(t_c) as a preregistered set of physically admissible future protocols after the cutoff. It must specify which controls Alice retains, their duration, energy, acceleration, localization, and boundary conditions. For each u∈\inA(tc)\mathcal A(t_c) , let ρ0,Hu\rho^{u}_{0,H} and ρ1,Hu\rho^{u}_{1,H} be the completed conditional states on the declared horizon algebra. Then define an irreducible distinguishability envelope Dirr(tc)=inf⁡u∈A(tc)12∥ρ0,Hu−ρ1,Hu∥1D_{\rm irr}(t_c)= \inf_{u\in\mathcal A(t_c)} \frac12\left\|\rho^{u}_{0,H}-\rho^{u}_{1,H}\right\|_1. The infimum asks how little path distinguishability remains after the best allowed attempt to erase it. For equal priors, an associated unavoidable decision information is

Read this part in the article →

Learn the underlying idea

A variable is a named place for a value. Its letter is a local label: x can mean position in one formula and a data point in another.

Open the illustrated variables: a letter stands for a value guide →

See this notation across published equations →

Sources cited in the article section

These citations provide research context; check each source for the exact claim it supports.