← All parts of this equation

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

Symbol m_2

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,
m2m_2

What this part means

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

Its job in the formula

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

The passage around this formula

…a smaller one — a reported example decomposes an “Einstein” feature into components 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…

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 surrounding passage

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