← Mathematical compendium

Published equation contexts

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

Why this formula appears here

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 the full article-specific guide →

Read the representative guide

ρ0,Hu\rho^{u}_{0,H}

Symbol ρ^u_0,H

ρ^u0u_0,H is one of the signed contributions combined to compute the quantity on the left.

Read this term in its guide →
ρ1,Hu\rho^{u}_{1,H}

Symbol ρ^u_1,H

ρ^u1u_1,H is one of the signed contributions combined to compute the quantity on the left.

Read this term in its guide →

How to interpret it

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

Research cited beside this formula

Published contexts (1)

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

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.

Equation 42 · Evolutionary Physics

How Fast Can a Horizon Learn Which Path You Took?

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions.

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

Meanings in this article

Equation guide → · Article →