← Back to article

Equation 13 · How Mechanistic Interpretability Research Is Actually Done

What does this equation mean?

z=TopKk ⁣(Wenc(a−bdec)),z = \mathrm{TopK}_k\!\left(W_{\mathrm{enc}}(a - b_{\mathrm{dec}})\right),

Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.

Inputs and operationsTopK_k(W_enc(a - b_dec))
Result or conditionz
How to read the two sides of this formula. Follow the article passage for the meaning of each quantity.

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.

Read it piece by piece

zz

Symbol z

z is part of the quantity the equation computes from the expression on the right.

Understand this part →

kk

Symbol k

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

Understand this part →

WencW_{\mathrm{enc}}

Symbol W_enc

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

Understand this part →

aa

Symbol a

the writing.

Understand this part →

bdecb_{\mathrm{dec}}

Symbol b_dec

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

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
subtraction

subtraction

Subtract the following term or group from the preceding one. A leading minus marks a negative quantity.

Understand this part →

subscript

subscript

The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.

Understand this part →

How to interpret it

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

What the article says around this equation

The ℓ1\ell_1 penalty has a known cost: it does not directly control how many dictionary elements fire, only how much their combined magnitude is discouraged, and it systematically shrinks the elements that do fire toward zero, biasing the reconstruction. Two later refinements address this more directly. Gao and colleagues introduced k -sparse encoding, which drops the tunable penalty in favour of a fixed sparsity budget enforced structurally, z=TopKk ⁣(Wenc(a−bdec))z = \mathrm{TopK}_k\!\left(W_{\mathrm{enc}}(a - b_{\mathrm{dec}})\right). keeping only the k largest pre-activations and zeroing the rest, and used it to train a sixteen-million-latent dictionary on GPT-4 activations over forty billion tokens, reporting metrics that improve consistently as dictionary size…
Read the full surrounding passage
The ℓ1\ell_1 penalty has a known cost: it does not directly control how many dictionary elements fire, only how much their combined magnitude is discouraged, and it systematically shrinks the elements that do fire toward zero, biasing the reconstruction. Two later refinements address this more directly. Gao and colleagues introduced k -sparse encoding, which drops the tunable penalty in favour of a fixed sparsity budget enforced structurally, z=TopKk ⁣(Wenc(a−bdec))z = \mathrm{TopK}_k\!\left(W_{\mathrm{enc}}(a - b_{\mathrm{dec}})\right). keeping only the k largest pre-activations and zeroing the rest, and used it to train a sixteen-million-latent dictionary on GPT-4 activations over forty billion tokens, reporting metrics that improve consistently as dictionary size grows [ 8 ] . Rajamanoharan and colleagues took a different route to the same problem, keeping a continuous encoder but replacing the fixed zero threshold with a learned per-feature threshold θi\theta_i — a feature only activates once its pre-activation clears θi\theta_i — and report state-of-the-art reconstruction fidelity at matched sparsity on Gemma 2 activations against both the ℓ1\ell_1 and top- k alternatives [ 9 ] .

Read the equation in its article →

Sources cited in the surrounding passage

These citations give research context. Read each source to check which claims it supports.

Return to How Mechanistic Interpretability Research Is Actually Done

See this formula across 1 published context →

Browse the mathematical compendium →