← All parts of this equation

Equation 43 · Part 4 · How Fast Can a Horizon Learn Which Path You Took?

Symbol D_rm irr

Iirr(tc)=1−h2 ⁣(1−Dirr(tc)2).I_{\rm irr}(t_c)= 1-h_2\!\left(\frac{1-D_{\rm irr}(t_c)}{2}\right).
DirrD_{\rm irr}

What this part means

monotone.

Its job in the formula

DrD_rm irr occurs above the fraction bar. The numerator is divided by the entire denominator below it.

Where the article explains it

The program will not assume Dirr(tc)D_{\rm irr}(t_c) is monotone.

The passage around this formula

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 Iirr(tc)=1−h2 ⁣(1−Dirr(tc)2)I_{\rm irr}(t_c)= 1-h_2\!\left(\frac{1-D_{\rm irr}(t_c)}{2}\right). Finally, the proposed horizon receipt time is

Read this part in the article →

Learn the underlying idea

A subscript is a label attached below a symbol. It often selects a time step, component, category, or member of a sequence.

Open the illustrated subscripts: which member of a family? 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.