← All parts of this equation

Equation 5 · Part 13 · The Hardest Unsolved Problems in Mechanistic Interpretability

Ending index or upper bound: m_1

di(m2)≈∑j=1m1gj dj(m1),∥g∥0≪m1,m1<m2,d_i^{(m_2)} \approx \sum_{j=1}^{m_1} g_j\, d_j^{(m_1)}, \qquad \lVert g \rVert_0 \ll m_1, \quad m_1 < m_2,
m1m_1

What this part means

This label says where the repeated addition, multiplication, or accumulation stops. It sets the last term or end of the range.

Its job in the formula

m1m_1 appears in the bound of this sum. The bound states where the repeated operation starts, ends, or which values it includes.

The passage around this formula

…resembling “scientist,” “Germany,” and “famous person.” Writing di(m2)d_i^{(m_2)} for one feature direction recovered by a dictionary of size m2m_2 and dj(m1)d_j^{(m_1)} for the directions recovered by a smaller dictionary of size m1m_1 , their finding is that di(m2)≈∑j=1m1gj dj(m1),∥g∥0≪m1,m1<m2d_i^{(m_2)} \approx \sum_{j=1}^{m_1} g_j\, d_j^{(m_1)}, \qquad \lVert g \rVert_0 \ll m_1, \quad m_1 < m_2. with g itself sparse. A direction that a large dictionary presents as one unit is recoverable as a sparse combination of a smaller dictionary’s units, which means the large dictionary’s “atoms” are not atomic. Put the incompleteness and the…

Read this part in the article →

Learn the underlying idea

Σ adds a collection of terms. Π multiplies them. The lower and upper labels tell you which terms belong to the collection.

Open the illustrated sums and products: repeat an operation over an index guide →

See this notation across published equations →

Sources cited in the surrounding passage

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