You could have invented transformers from memory

# You could have invented transformers from memory Source: [https://alexwang.ai/posts/associative-memory/](https://alexwang.ai/posts/associative-memory/) Retrieving a character from memory\. The recall worsens as the number of memories grows\.Large language models today can recall obscure facts from every corner of the world\. Most recently, I was running late for a friend’s board game night, so I asked Astra to remind me the rules to Dune: Imperium\. It gladly narrated them to me as I drove over and helped me remember the rules well enough for me to play again\. We’re so used to asking models about anything that we take their vast knowledge for granted\. How do models remember so much information? And*how much can they store?* In this post, I’ll go through an intuitive way to look at linear maps, MLPs, and self\-attention as different kinds of memory stores\. From this intuition we can derive some heuristics for how much memory each layer can store\. --- The key property that characterizes a “good” memory store is its ability to recall what it stored\. After all, even if we could store infinitely many facts, it’s not very helpful if we can’t recall them when we need to\. The more memories we store, the more they*interfere*with each other when we try to recall one\. So throughout the post we’ll focus on one quantity, the interference\-to\-signal ratio, which measures how much the other memories get in the way during recall\. The number of memories a store can hold before the interference grows as large as the signal is its**capacity**\. We’ll develop this perspective and show how you can go from a linear layer to something better, an MLP, which improves both capacity and recall, and then all the way to self\-attention, which has very good recall and can store a potentially unbounded number of memories\. With 64\-dimensional keys, that’s a jump from about 64 memories, to about 2,700, to over a million\. Here are the terms we’ll use throughout\. A**memory store**is a function $f$ that holds $M$ memories, for $i = 1, \\ldots, M$\. A**memory**is one key\-value pair: a**key**$k\_i \\in \\reals^\{d\_k\}$, used for lookup based on similarity, and a**value**$v\_i \\in \\reals^\{d\_v\}$, which is what we want to retrieve\. To use $f$, we**query**it with an input $x$, and it**recalls**an output $f\(x\)$\. A good memory store recalls $v\_i$ when we query it with $k\_i$, or with another vector similar to $k\_i$\. In the literature, a memory store that recalls by similarity is called an*associative memory*\. ## An outer product memory store[\#](https://alexwang.ai/posts/associative-memory/#an-outer-product-memory-store) The most basic memory store is linear: it simply accumulates memories via outer products, $$W = \\sum\_\{i=1\}^\{M\} v\_i k\_i\\transpose = V\\transpose K$$ where the rows of $K \\in \\reals^\{M\\times d\_k\}$ and $V \\in \\reals^\{M\\times d\_v\}$ are the keys $k\_i\\transpose$ and the values $v\_i\\transpose$\.[1](https://alexwang.ai/posts/associative-memory/#fn:1) To store a new memory $\(k, v\)$, we simply add $vk\\transpose$ to the existing weights\.[2](https://alexwang.ai/posts/associative-memory/#fn:2) Aside: a gradient descent step writes a memoryTake a linear layer $y = Wx$ inside a network with a scalar loss $L$, and let $\\bar y = \\grad L\(y\)$ be the gradient of the loss with respect to the layer’s output\. The gradient with respect to $W$ is $\\bar y x\\transpose$, so a step with learning rate $\\eta$ is $$W \\leftarrow W \- \\eta\\, \\bar y x\\transpose\.$$This recurrence is a memory update: it updates the weights with a new memory with key $x$ and value $\-\\eta\\bar y$\. For more on this view, see[Irie, Csordás & Schmidhuber](https://arxiv.org/abs/2202.05798), who express a linear layer trained by gradient descent as attention over all of its training inputs\. To query the memory store with an input $x$, we multiply the input by the matrix: $$f\(x\) = V\\transpose K x = \\sum\_\{i=1\}^\{M\} v\_i\\,\(k\_i\\transpose x\)\.$$ So recall is a lookup by similarity to the stored keys: we compare the query with every key, and return the sum of the values weighted by those similarities\. ### Recall picks up interference[\#](https://alexwang.ai/posts/associative-memory/#recall-picks-up-interference) So storing memories is easy: just keep adding outer products to the weights\. But what happens when we try to recall one? Let’s assume for simplicity that every key is normalized to have length 1, i\.e\. $k\_j\\transpose k\_j = 1$\. Then $$f\(k\_j\) = \\underbrace\{v\_j\}\_\{\\text\{signal\}\} \+ \\underbrace\{\\sum\_\{i\\neq j\} v\_i\\,\(k\_i\\transpose k\_j\)\}\_\{\\text\{interference\}\},$$ meaning we get back the value of the**target memory**, the one whose key we queried with, plus interference from every other memory whose key is similar to the query\. If the keys were all orthonormal, the interference would be zero and recall would be exact\. But $\\reals^\{d\_k\}$ only has $d\_k$ orthogonal directions, so we cannot get perfect recall once we store more memories than the key dimension: $M \> d\_k$\. What is the outer\-product store’s capacity? Here’s an intuitive argument\. There are $M\-1$ interference terms\. If the keys are random unit vectors, each similarity $k\_i\\transpose k\_j$ is about $\\pm 1/\\sqrt\{d\_k\}$\. If the values are random too, with similar lengths, the $M\-1$ interference terms add up like a random walk, so the interference’s squared length is about $\(M\-1\)/d\_k$ times the signal’s, and $$\\frac\{\\norm\{\\text\{interference\}\}\}\{\\norm\{\\text\{signal\}\}\} \\sim \\sqrt\{\\frac\{M\}\{d\_k\}\}\.$$ Setting this ratio to 1 gives a capacity of $$M \\approx d\_k,$$ once we store as many memories as the key dimension, the interference is as large as the signal, drowning it out\. Each bar below is one stored memory’s weight in a single recall, relative to the target memory’s weight \(in red\)\. Every bar adds a bit of its value to the recall\. Drag $M$ past $d\_k = 64$ to watch the small bars pile up until recall fails\. The other buttons switch to memory stores we’ll build later in the post\. stored memories*M*=32sharpness*β*=8 the target memoryeach other stored memory, weight relative to the target memory interference / signal =recall fails ## How do we reduce interference?[\#](https://alexwang.ai/posts/associative-memory/#how-do-we-reduce-interference) Even below its capacity of about $d\_k$ memories, the outer\-product store produces significant interference during recall\.[3](https://alexwang.ai/posts/associative-memory/#fn:3)To raise the capacity, or recall more cleanly below it, we need to*reduce interference*\. The brute\-force way is to make the key dimension $d\_k$ larger, since a linear store’s capacity grows with $d\_k$\. How large $d\_k$ can be is governed by hardware constraints\. Alternatively, we can make algorithmic improvements\. We can store memories more carefully: the outer\-product store adds each memory without looking at the others, so it does nothing to cancel their interference\. Or we can recall more selectively: every memory in a linear store contributes interference, even when its key has low similarity to the query, so we can improve recall by suppressing the less similar keys\. In the rest of the post, we’ll see that storing outer product memories more carefully gives us the optimal linear memory store, which has about twice the capacity\. Recalling selectively via nonlinearities gives us MLPs and self\-attention\. ## The optimal linear memory store[\#](https://alexwang.ai/posts/associative-memory/#the-optimal-linear-memory-store) The outer\-product store writes each memory without regard to the others\. Instead, we can choose the weights $W$ so that recall fits all of the stored memories at once\. This is a linear regression problem:[4](https://alexwang.ai/posts/associative-memory/#fn:4) $$\\operatorname\*\{minimize\}\_W \\sum\_\{i=1\}^M \\norm\{W k\_i \- v\_i\}\_2^2\.$$ When we store more memories than the key dimension, $M \> d\_k$, the least\-squares solution is $$W = \\parens\*\{\\sum\_i v\_i k\_i\\transpose\}\\parens\*\{\\sum\_i k\_i k\_i\\transpose\}\\inverse = V\\transpose K\\,\(K\\transpose K\)\\inverse\.$$ This is the outer\-product store $V\\transpose K$ with one change: before we compare the query with the keys, we multiply it by $\(K\\transpose K\)\\inverse$, which undoes the keys’ covariance $K\\transpose K$\. This*whitens*the keys, so the store no longer overweights directions that many keys share\. When $M \\leq d\_k$, the regression can fit every memory exactly, as long as the keys are linearly independent\. So the optimal store recalls with no interference at all, even when the keys aren’t orthogonal\. When $M \> d\_k$, we start to get interference, since there are only $d\_k$ directions for the memory store to work with\. For random keys and values, our interference\-to\-signal ratio becomes $$\\frac\{\\norm\{\\text\{interference\}\}\}\{\\norm\{\\text\{signal\}\}\} \\approx \\sqrt\{\\frac\{M\}\{d\_k\} \- 1\}\.$$ This ratio equals 1 at $$M = 2d\_k,$$ so the optimal store’s capacity is*twice*as large as before\! Aside: deriving the optimal linear memory store**When $M \\leq d\_k$\.**If the keys are linearly independent, the $M\\times M$ matrix of inner products between keys, $KK\\transpose$, is invertible, and $$W = V\\transpose \(KK\\transpose\)\\inverse K$$fits every memory exactly\. When $M < d\_k$, the problem is underconstrained and has infinitely many solutions, and this one is the min\-norm solution\. The rows $\\tilde k\_i\\transpose$ of $\(KK\\transpose\)\\inverse K$ are known as the dual basis for the rows of $K$: by construction, $\(KK\\transpose\)\\inverse KK\\transpose = I$, so $\\tilde k\_i\\transpose k\_j = \\delta\_\{ij\}$\. Then $f\(k\_j\) = \\sum\_i v\_i\\, \\tilde k\_i\\transpose k\_j = v\_j$, so there is*no interference*and we have perfect recall\. **When $M \> d\_k$\.**Setting the gradient of the objective to zero gives $W K\\transpose K = V\\transpose K$, so $W = V\\transpose K\\,\(K\\transpose K\)\\inverse$\. Both solutions are $W = V\\transpose \(K\\transpose\)\\pinv$, where $A\\pinv$ denotes the pseudoinverse of $A$: $\(K\\transpose\)\\pinv = \(KK\\transpose\)\\inverse K$ when the keys are linearly independent, and $\(K\\transpose\)\\pinv = K\(K\\transpose K\)\\inverse$ when they span $\\reals^\{d\_k\}$\. Now we can analyze the interference of $f\(k\_j\) = V\\transpose K\\,\(K\\transpose K\)\\inverse k\_j$\. For a stored key $k\_j$, the weight on each value $v\_i$ is $k\_i\\transpose \(K\\transpose K\)\\inverse k\_j$, which is exactly entry $\(i, j\)$ of the $M\\times M$ matrix $P = K\(K\\transpose K\)\\inverse K\\transpose$: $$f\(k\_j\) = \\sum\_\{i=1\}^M v\_i\\, P\_\{ij\} = \\underbrace\{P\_\{jj\}\\, v\_j\}\_\{\\text\{signal\}\} \+ \\underbrace\{\\sum\_\{i\\neq j\} P\_\{ij\}\\, v\_i\}\_\{\\text\{interference\}\}\.$$$P$ is the projection onto the column space of $K$, a $d\_k$\-dimensional subspace of $\\reals^M$\. Two facts about projections help us analyze the interference\-to\-signal ratio: - **The signal term:**By the cyclic property of the trace, $$\\sum\_\{j=1\}^M P\_\{jj\} = \\trace\{K\(K\\transpose K\)\\inverse K\\transpose\} = \\trace\{\(K\\transpose K\)\\inverse K\\transpose K\} = \\trace\{I\_\{d\_k\}\} = d\_k,$$ so the $M$ signal weights add up to $d\_k$\. If the keys are random, no key is special, so $P\_\{jj\} \\approx d\_k/M$\. - **The interference term:**$P$ is a symmetric projection matrix, so $P\\transpose P = P^2 = P$\. Then $$\\sum\_\{i\\neq j\} P\_\{ij\}^2 = \\sum\_\{i=1\}^M P\_\{ij\}^2 \- P\_\{jj\}^2 = \(P\\transpose P\)\_\{jj\} \- P\_\{jj\}^2 = P\_\{jj\} \- P\_\{jj\}^2 \\approx \\frac\{d\_k\}\{M\} \- \\parens\*\{\\frac\{d\_k\}\{M\}\}^2\.$$ If the values are random with similar lengths, $$\\frac\{\\norm\{\\text\{interference\}\}\}\{\\norm\{\\text\{signal\}\}\} \\approx \\frac\{\\sqrt\{P\_\{jj\} \- P\_\{jj\}^2\}\}\{P\_\{jj\}\} = \\sqrt\{\\frac\{M\}\{d\_k\} \- 1\}\.$$Compared to the outer\-product store’s $\\sqrt\{M/d\_k\}$, the $\-1$ is the $d\_k$ memories’ worth of interference that the optimal store cancels\. We can check our predictions numerically\. We randomly sample $M$ memories with unit\-length keys in $d\_k = 64$ dimensions, query the memory store with one of the stored keys, and measure the interference\-to\-signal ratio: recall fails: more interference than signal0\.111016642561024409616384number of stored memoriesM\(key dimensiondk= 64\)interference / signaloptimal: no interference forM≤ 64outer\-product \(Hebbian\) memory, M = 16: interference/signal = 0\.46outer\-product \(Hebbian\) memory, M = 32: interference/signal = 0\.68outer\-product \(Hebbian\) memory, M = 64: interference/signal = 0\.97outer\-product \(Hebbian\) memory, M = 128: interference/signal = 1\.39outer\-product \(Hebbian\) memory, M = 256: interference/signal = 1\.97outer\-product \(Hebbian\) memory, M = 512: interference/signal = 2\.81outer\-product \(Hebbian\) memory, M = 1024: interference/signal = 3\.90outer\-product \(Hebbian\) memory, M = 2048: interference/signal = 5\.63outer\-product \(Hebbian\) memory, M = 4096: interference/signal = 8\.01outer\-product \(Hebbian\) memory, M = 8192: interference/signal = 11\.38outer\-product \(Hebbian\) memory, M = 16384: interference/signal = 15\.90outer productoptimal \(least\-squares\) memory, M = 16: interference/signal = 0\.00optimal \(least\-squares\) memory, M = 32: interference/signal = 0\.00optimal \(least\-squares\) memory, M = 64: interference/signal = 0\.00optimal \(least\-squares\) memory, M = 65: interference/signal = 0\.08optimal \(least\-squares\) memory, M = 66: interference/signal = 0\.14optimal \(least\-squares\) memory, M = 68: interference/signal = 0\.23optimal \(least\-squares\) memory, M = 72: interference/signal = 0\.35optimal \(least\-squares\) memory, M = 80: interference/signal = 0\.49optimal \(least\-squares\) memory, M = 96: interference/signal = 0\.71optimal \(least\-squares\) memory, M = 112: interference/signal = 0\.86optimal \(least\-squares\) memory, M = 128: interference/signal = 1\.00optimal \(least\-squares\) memory, M = 256: interference/signal = 1\.72optimal \(least\-squares\) memory, M = 512: interference/signal = 2\.63optimal \(least\-squares\) memory, M = 1024: interference/signal = 3\.81optimal \(least\-squares\) memory, M = 2048: interference/signal = 5\.56optimal \(least\-squares\) memory, M = 4096: interference/signal = 7\.95optimal \(least\-squares\) memory, M = 8192: interference/signal = 11\.34optimal \(least\-squares\) memory, M = 16384: interference/signal = 15\.91optimal \(least squares\)The outer\-product store reaches its capacity at $M \\approx d\_k = 64$\. The optimal store recalls exactly up to $M = d\_k$\. Past that, its interference rises from zero like $\\sqrt\{M/d\_k \- 1\}$, and the store reaches its capacity near $M = 2d\_k = 128$, as predicted\. Since it cancels a fixed number of memories’ worth of interference, the gap between the two stores shrinks as $M$ grows\. This optimal memory store is still linear in the similarities though\. It must scale small and large similarities by the same factor\. To do better, we need to change how the store recalls\. ## MLP as a nonlinear memory store[\#](https://alexwang.ai/posts/associative-memory/#mlp-as-a-nonlinear-memory-store) A linear memory store recalls $$f\(x\) = \\sum\_\{i=1\}^M v\_i \(k\_i\\transpose x\)\.$$ If we had a way to suppress the weight when $k\_i\\transpose x$ is small, then we can reduce the amount of interference from low similarity keys\. Let’s pass each similarity through a nonlinear function $\\sigma$ before computing the weighted sum of values: $$f\(x\) = \\sum\_\{i=1\}^\{M\} v\_i\\,\\sigma\(k\_i\\transpose x\) = V\\transpose \\sigma\(Kx\)\.$$ We just rediscovered a two\-layer MLP from first principles\! The rows of the first weight matrix are the keys, the columns of the second weight matrix are the values\.[Sukhbaatar et al\.](https://arxiv.org/abs/1907.01470)pointed out this resemblance between feedforward layers and memory stores, and[Geva et al\.](https://arxiv.org/abs/2012.14913)found that the feedforward layers in trained transformers often work this way, with keys firing on recognizable patterns in the input\. Ideally, the gating function $\\sigma$ is chosen such that when the similarity is low \($k\_i\\transpose x \\sim 0$ or even when $k\_i\\transpose x < 0$\), its corresponding term in the sum gets suppressed to reduce interference\. A ReLU activation zeros out keys with negative similarities, and adding a bias allows shifting that threshold[5](https://alexwang.ai/posts/associative-memory/#fn:5)\. A squared ReLU activation further suppresses the keys with similarities close to zero\. A similarity of 0\.1 becomes 0\.01, while a similarity of 1 stays 1\. In fact, squared ReLUs are one of the lesser known but established\-at\-scale improvements to MLP activations \([So et al\.](https://arxiv.org/abs/2109.08668)\)\. A squared ReLU MLP is a GLU MLP whose gate and input projection share weights, since $\\operatorname\{ReLU\}\(Kx\)^2 = \\operatorname\{ReLU\}\(Kx\) \\odot Kx$\. The SwiGLU MLPs in today’s language models give the gate its own weights and use a Swish activation in place of the ReLU\. In practice, MLPs store facts in superposition: many facts share the same weights, and the output is a blend of many memories\.[Garcia et al\.](https://arxiv.org/abs/2607.10034)build one explicitly: the hidden units of a GLU MLP compute random features $\\phi\(x\)$ of the input, the second weight matrix is an outer\-product store $\\sum\_i v\_i \\phi\(k\_i\)\\transpose$ over those features, and the MLP stores far more facts than it has hidden units\. Still, trained transformers’ ReLU MLPs can activate as few as 1% of their hidden units for a given input, so each recall draws on a small fraction of the memories \([Li et al\.](https://arxiv.org/abs/2210.06313)\)\. The transformer authors already knew thisThe original transformer paper made this connection too, but only in[v2](https://arxiv.org/abs/1706.03762v2)and[v3](https://arxiv.org/abs/1706.03762v3)on arXiv\. There, Vaswani et al\. describe the feedforward layer as “a kind of attention,” with the rows of its two weight matrices as the keys and values, and ReLU in place of softmax\. They even tried replacing the feedforward layers with attention over learned key\-value parameters, and got about the same translation quality: one version did slightly worse, another slightly better, though the first one trained about 30% slower\. The passage is gone from every later version of the paper\. We’ll get to how self\-attention relates to all this below\. ### Reducing interference with higher powers[\#](https://alexwang.ai/posts/associative-memory/#reducing-interference-with-higher-powers) Squaring the similarities works because it shrinks low similarity weights much more than large ones\. We can push this further with $\\sigma\(s\) = \\operatorname\{ReLU\}\(s\)^p$\. The signal stays the same, since $1^p = 1$, while an interference term with similarity $1/\\sqrt\{d\_k\}$ shrinks to $d\_k^\{\-p/2\}$\. The $M$ interference terms add up like a random walk, so the interference\-to\-signal ratio is $$\\frac\{\\norm\{\\text\{interference\}\}\}\{\\norm\{\\text\{signal\}\}\} \\approx \\sqrt\{\\frac\{M\}\{d\_k^p\}\}\.$$ This means the capacity is about $$M \\approx d\_k^p$$ memories,*geometrically*more than before\! To check this, we run the same experiment as before for five choices of $\\sigma$: recall fails: more interference than signal0\.010\.111016642561024409616384number of stored memoriesM\(key dimensiondk= 64\)interference / signals \(linear\), M = 16: interference/signal = 0\.46s \(linear\), M = 32: interference/signal = 0\.68s \(linear\), M = 64: interference/signal = 0\.97s \(linear\), M = 128: interference/signal = 1\.39s \(linear\), M = 256: interference/signal = 1\.97s \(linear\), M = 512: interference/signal = 2\.81s \(linear\), M = 1024: interference/signal = 3\.90s \(linear\), M = 2048: interference/signal = 5\.63s \(linear\), M = 4096: interference/signal = 8\.01s \(linear\), M = 8192: interference/signal = 11\.38s \(linear\), M = 16384: interference/signal = 15\.90s\(Linear\)ReLU\(s\), M = 16: interference/signal = 0\.31ReLU\(s\), M = 32: interference/signal = 0\.46ReLU\(s\), M = 64: interference/signal = 0\.69ReLU\(s\), M = 128: interference/signal = 0\.97ReLU\(s\), M = 256: interference/signal = 1\.37ReLU\(s\), M = 512: interference/signal = 2\.00ReLU\(s\), M = 1024: interference/signal = 2\.82ReLU\(s\), M = 2048: interference/signal = 4\.05ReLU\(s\), M = 4096: interference/signal = 5\.69ReLU\(s\), M = 8192: interference/signal = 7\.94ReLU\(s\), M = 16384: interference/signal = 11\.26ReLU\(s\)\(MLP\)ReLU\(s\)², M = 16: interference/signal = 0\.05ReLU\(s\)², M = 32: interference/signal = 0\.09ReLU\(s\)², M = 64: interference/signal = 0\.14ReLU\(s\)², M = 128: interference/signal = 0\.20ReLU\(s\)², M = 256: interference/signal = 0\.29ReLU\(s\)², M = 512: interference/signal = 0\.42ReLU\(s\)², M = 1024: interference/signal = 0\.60ReLU\(s\)², M = 2048: interference/signal = 0\.85ReLU\(s\)², M = 4096: interference/signal = 1\.20ReLU\(s\)², M = 8192: interference/signal = 1\.70ReLU\(s\)², M = 16384: interference/signal = 2\.40ReLU\(s\)2\(GLU MLP\)Swish\(s\)·s \(SwiGLU MLP\), M = 16: interference/signal = 0\.06Swish\(s\)·s \(SwiGLU MLP\), M = 32: interference/signal = 0\.09Swish\(s\)·s \(SwiGLU MLP\), M = 64: interference/signal = 0\.14Swish\(s\)·s \(SwiGLU MLP\), M = 128: interference/signal = 0\.20Swish\(s\)·s \(SwiGLU MLP\), M = 256: interference/signal = 0\.28Swish\(s\)·s \(SwiGLU MLP\), M = 512: interference/signal = 0\.41Swish\(s\)·s \(SwiGLU MLP\), M = 1024: interference/signal = 0\.59Swish\(s\)·s \(SwiGLU MLP\), M = 2048: interference/signal = 0\.85Swish\(s\)·s \(SwiGLU MLP\), M = 4096: interference/signal = 1\.18Swish\(s\)·s \(SwiGLU MLP\), M = 8192: interference/signal = 1\.64Swish\(s\)·s \(SwiGLU MLP\), M = 16384: interference/signal = 2\.36Swish\(s\)·s\(SwiGLU MLP\)ReLU\(s\)³, M = 16: interference/signal = 0\.01ReLU\(s\)³, M = 32: interference/signal = 0\.02ReLU\(s\)³, M = 64: interference/signal = 0\.03ReLU\(s\)³, M = 128: interference/signal = 0\.05ReLU\(s\)³, M = 256: interference/signal = 0\.08ReLU\(s\)³, M = 512: interference/signal = 0\.11ReLU\(s\)³, M = 1024: interference/signal = 0\.16ReLU\(s\)³, M = 2048: interference/signal = 0\.23ReLU\(s\)³, M = 4096: interference/signal = 0\.33ReLU\(s\)³, M = 8192: interference/signal = 0\.46ReLU\(s\)³, M = 16384: interference/signal = 0\.65ReLU\(s\)3Since the interference grows like $\\sqrt\{M\}$, the lines are nearly parallel on a log\-log plot\. Only their height changes, and with it the capacity, where each line crosses 1: - Linear: the capacity is $M \\approx d\_k = 64$\. - ReLU: zeroing the negative similarities shrinks the interference by $\\sqrt 2$, so the capacity grows to $M \\approx 2d\_k = 128$\. - Squared ReLU: each interference term shrinks from about $1/\\sqrt\{d\_k\}$ to about $1/d\_k$, so the capacity grows to $M \\approx 2d\_k^2/3 \\approx 2700$, about 40 times the linear store’s\. - SwiGLU MLP, with the gate sharing the input projection’s weights as in the squared ReLU, $\\sigma\(s\) = \\operatorname\{Swish\}\(s\)\\cdot s = s^2/\(1 \+ e^\{\-s\}\)$: its capacity nearly matches the squared ReLU’s\. - Cubed ReLU: each interference term shrinks to about $d\_k^\{\-3/2\}$, so the capacity grows to $M \\approx 2d\_k^3/15 \\approx 35000$\. ## Self\-attention as a non\-parametric memory store[\#](https://alexwang.ai/posts/associative-memory/#self-attention-as-a-non-parametric-memory-store) Raising the weights to a power increases the capacity to about $d\_k^p$\. But what if we could push this to the limit? Rather than pick one power, we can use infinitely many of them\. Indeed, the exponential is a weighted sum of every power, $$e^\{\\beta s\} = 1 \+ \\beta s \+ \\frac\{\(\\beta s\)^2\}\{2\} \+ \\frac\{\(\\beta s\)^3\}\{6\} \+ \\cdots = \\sum\_\{p=0\}^\{\\infty\} \\frac\{\(\\beta s\)^p\}\{p\!\},$$ with the sharpness $\\beta$ setting the weight on the higher powers\. Here is the same experiment with $\\beta = \\sqrt\{d\_k\}$, the value self\-attention uses,[6](https://alexwang.ai/posts/associative-memory/#fn:6)for the exponential and its series truncated after 2, 3 and 4 terms: recall fails: more interference than signal0\.010\.111016642561024409616384number of stored memoriesM\(key dimensiondk= 64\)interference / signals \(linear\), M = 16: interference/signal = 0\.46s \(linear\), M = 32: interference/signal = 0\.68s \(linear\), M = 64: interference/signal = 0\.97s \(linear\), M = 128: interference/signal = 1\.39s \(linear\), M = 256: interference/signal = 1\.97s \(linear\), M = 512: interference/signal = 2\.81s \(linear\), M = 1024: interference/signal = 3\.90s \(linear\), M = 2048: interference/signal = 5\.63s \(linear\), M = 4096: interference/signal = 8\.01s \(linear\), M = 8192: interference/signal = 11\.38s \(linear\), M = 16384: interference/signal = 15\.90s\(Linear\)2 terms, M = 16: interference/signal = 0\.572 terms, M = 32: interference/signal = 0\.852 terms, M = 64: interference/signal = 1\.242 terms, M = 128: interference/signal = 1\.732 terms, M = 256: interference/signal = 2\.422 terms, M = 512: interference/signal = 3\.552 terms, M = 1024: interference/signal = 5\.032 terms, M = 2048: interference/signal = 7\.272 terms, M = 4096: interference/signal = 10\.172 terms, M = 8192: interference/signal = 14\.082 terms, M = 16384: interference/signal = 19\.982 terms3 terms, M = 16: interference/signal = 0\.163 terms, M = 32: interference/signal = 0\.243 terms, M = 64: interference/signal = 0\.373 terms, M = 128: interference/signal = 0\.513 terms, M = 256: interference/signal = 0\.723 terms, M = 512: interference/signal = 1\.063 terms, M = 1024: interference/signal = 1\.523 terms, M = 2048: interference/signal = 2\.203 terms, M = 4096: interference/signal = 3\.063 terms, M = 8192: interference/signal = 4\.193 terms, M = 16384: interference/signal = 5\.983 terms4 terms, M = 16: interference/signal = 0\.064 terms, M = 32: interference/signal = 0\.094 terms, M = 64: interference/signal = 0\.144 terms, M = 128: interference/signal = 0\.194 terms, M = 256: interference/signal = 0\.274 terms, M = 512: interference/signal = 0\.404 terms, M = 1024: interference/signal = 0\.574 terms, M = 2048: interference/signal = 0\.824 terms, M = 4096: interference/signal = 1\.154 terms, M = 8192: interference/signal = 1\.594 terms, M = 16384: interference/signal = 2\.264 termsexp\(βs\) \(self\-attention\), M = 16: interference/signal = 0\.00exp\(βs\) \(self\-attention\), M = 32: interference/signal = 0\.00exp\(βs\) \(self\-attention\), M = 64: interference/signal = 0\.01exp\(βs\) \(self\-attention\), M = 128: interference/signal = 0\.01exp\(βs\) \(self\-attention\), M = 256: interference/signal = 0\.01exp\(βs\) \(self\-attention\), M = 512: interference/signal = 0\.02exp\(βs\) \(self\-attention\), M = 1024: interference/signal = 0\.03exp\(βs\) \(self\-attention\), M = 2048: interference/signal = 0\.04exp\(βs\) \(self\-attention\), M = 4096: interference/signal = 0\.06exp\(βs\) \(self\-attention\), M = 8192: interference/signal = 0\.08exp\(βs\) \(self\-attention\), M = 16384: interference/signal = 0\.11eβs\(self\-attention\)With 2 terms, the capacity is about 40, below the linear store’s, since the constant term gives every key a weight of about 1\. With 3 terms it’s about 450, and with 4 terms about 3,100, close to the squared ReLU’s\. The full exponential stays far below the dashed line, so its capacity is past the edge of the chart\. To find the exponential’s capacity, we query with a stored key $k\_j$, so the target memory has similarity 1 and weight $w\_j = e^\{\\beta\}$\. Every other memory has weight $w\_i = e^\{\\beta s\_i\}$, where for random unit keys the similarity $s\_i$ is roughly Gaussian with mean 0 and variance $1/d\_k$\. With random values of similar lengths, $$ \\begin\{aligned\} \\frac\{\\norm\{\\text\{interference\}\}\}\{\\norm\{\\text\{signal\}\}\} &\\approx \\sqrt\{\\sum\_\{i\\neq j\} \\parens\*\{\\frac\{w\_i\}\{w\_j\}\}^2\} && \\text\{interference terms add up like a random walk\} \\\\ &= \\sqrt\{\\sum\_\{i\\neq j\} e^\{2\\beta \(s\_i \- 1\)\}\} && w\_i / w\_j = e^\{\\beta s\_i\} / e^\{\\beta\} \\\\ &\\approx \\sqrt\{M\\, e^\{\-2\\beta\}\\, \\ev\{e^\{2\\beta s\}\}\} && \\text\{average over the \} M \\text\{ other memories\} \\\\ &= \\sqrt\{M\\, e^\{\-2\\beta\}\\, e^\{2\\beta^2/d\_k\}\} && \\ev\{e^\{ts\}\} = e^\{t^2/\(2d\_k\)\} \\text\{ for \} s \\sim \\mathcal\{N\}\(0, 1/d\_k\) \\\\ &= \\sqrt\{M\}\\, e^\{\\beta^2/d\_k \- \\beta\}\. \\end\{aligned\} $$ Setting the ratio to 1 gives a capacity of $$M \\approx e^\{2\\beta\(1 \- \\beta/d\_k\)\},$$ growing exponentially with $\\beta$ as long as $\\beta$ is well below $d\_k$, rather than polynomially in $d\_k$ like before\! With $\\beta = \\sqrt\{d\_k\} = 8$, the capacity is about $e^\{14\} \\approx 1\.2$ million memories, nearly 20,000 times the linear store’s\. A longer run of the same experiment puts the capacity at about 1\.2 million too\. In practice, we may not want to naively exponentiate numbers in our implementation, since small numbers can underflow and large numbers can overflow\. Fortunately, the interference only depends on the*ratios*between weights, as the chain above shows, so we can divide every weight by their sum without changing the interference\-to\-signal ratio, while ensuring numerical stability: $$f\(x\) = \\sum\_\{i=1\}^\{M\} v\_i\\,\\frac\{\\exp\(\\beta\\,k\_i\\transpose x\)\}\{\\sum\_j \\exp\(\\beta\\,k\_j\\transpose x\)\} = V\\transpose \\operatorname\{softmax\}\(\\beta K x\)\.$$ *This is self\-attention*\.[7](https://alexwang.ai/posts/associative-memory/#fn:7) Unlike an MLP, whose keys and values are trained weights, self\-attention computes its keys and values from the tokens in its context\. Each token stores one memory, so the number of memories $M$ is the context length\. That’s what makes self\-attention non\-parametric: its memories aren’t parameters, and the store grows with the context\. Here’s the bar figure again, starting with softmax\. At $\\beta = 8$, recall never fails within the slider’s range, so lower $\\beta$ to 2 and raise $M$: recall fails after a few dozen memories\. Each doubling of $M$ needs a bit more $\\beta$ to keep recall working, which is the idea behind the next section\. stored memories*M*=32sharpness*β*=8 the target memoryeach other stored memory, weight relative to the target memory interference / signal =recall fails ### Handling many key\-value pairs in long context[\#](https://alexwang.ai/posts/associative-memory/#handling-many-key-value-pairs-in-long-context) Since $\\beta$ determines how hard we suppress less similar keys, we can increase $\\beta$ as the number of key\-value pairs increases\. Why not just make $\\beta$ huge? As $\\beta \\to \\infty$, softmax becomes a hard argmax that picks only the most similar key, which isn’t differentiable, and a very large $\\beta$ already makes training work poorly, since the softmax saturates and the gradients to every other key vanish\. So we raise $\\beta$ only as much as $M$ requires\. Scaling the attention logits with $\\log M$ is a trick for long contexts that does this\. There are a few versions of it, and each sets $\\beta$ relative to a fixed reference length $L$, usually the training length, so that $\\beta$ keeps its trained value when $M = L$: - [Su \(2021\)](https://kexue.fm/archives/8823)derives a scale of $\\log M$ from keeping the attention’s entropy constant as $M$ grows, normalized to match standard attention at $M = L$\. The logits are multiplied by $\\log M / \\log L$ at every length\.[Scalable\-Softmax](https://arxiv.org/abs/2501.19399)has the same form, multiplying the logits by $s \\log M$ with $s$ learned\. - The original[Qwen](https://arxiv.org/abs/2309.16609)models use LogN\-Scaling, which applies the same factor only once the context is longer than $L$\. - [Qwen2\.5\-1M](https://arxiv.org/abs/2501.15383)uses YaRN’s attention scaling, which multiplies the logits by $\(0\.1 \\log\(M/L\) \+ 1\)^2$, so it grows like $\(\\log M\)^2$\. Here’s how each rule does in our experiment, with $\\beta = \\sqrt\{d\_k\} = 8$ at $L = 1024$ memories: recall fails: more interference than signal0\.00010\.0010\.010\.11162564K64K1Mnumber of stored memoriesM\(key dimensiondk= 64\)interference / signalfixed beta = 8, M = 16: interference/signal = 0\.00fixed beta = 8, M = 32: interference/signal = 0\.00fixed beta = 8, M = 64: interference/signal = 0\.01fixed beta = 8, M = 128: interference/signal = 0\.01fixed beta = 8, M = 256: interference/signal = 0\.01fixed beta = 8, M = 512: interference/signal = 0\.02fixed beta = 8, M = 1024: interference/signal = 0\.03fixed beta = 8, M = 2048: interference/signal = 0\.04fixed beta = 8, M = 4096: interference/signal = 0\.06fixed beta = 8, M = 8192: interference/signal = 0\.08fixed beta = 8, M = 16384: interference/signal = 0\.11fixed beta = 8, M = 32768: interference/signal = 0\.16fixed beta = 8, M = 65536: interference/signal = 0\.22fixed beta = 8, M = 131072: interference/signal = 0\.32fixed beta = 8, M = 262144: interference/signal = 0\.45fixed beta = 8, M = 524288: interference/signal = 0\.65fixed beta = 8, M = 1\.048576e\+06: interference/signal = 0\.94fixed beta = 8, M = 2\.097152e\+06: interference/signal = 1\.25fixedβ= 8Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 16: interference/signal = 0\.17Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 32: interference/signal = 0\.12Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 64: interference/signal = 0\.09Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 128: interference/signal = 0\.06Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 256: interference/signal = 0\.05Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 512: interference/signal = 0\.04Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 1024: interference/signal = 0\.03Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 2048: interference/signal = 0\.02Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 4096: interference/signal = 0\.02Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 8192: interference/signal = 0\.01Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 16384: interference/signal = 0\.01Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 32768: interference/signal = 0\.01Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 65536: interference/signal = 0\.01Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 131072: interference/signal = 0\.01Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 262144: interference/signal = 0\.01Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 524288: interference/signal = 0\.00Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 1\.048576e\+06: interference/signal = 0\.00Su \(2021\) / Scalable\-Softmax: beta = 8 log M / log 1024, M = 2\.097152e\+06: interference/signal = 0\.00Su / SSMax below 1024Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 16: interference/signal = 0\.00Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 32: interference/signal = 0\.00Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 64: interference/signal = 0\.01Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 128: interference/signal = 0\.01Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 256: interference/signal = 0\.01Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 512: interference/signal = 0\.02Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 1024: interference/signal = 0\.03Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 2048: interference/signal = 0\.02Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 4096: interference/signal = 0\.02Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 8192: interference/signal = 0\.01Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 16384: interference/signal = 0\.01Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 32768: interference/signal = 0\.01Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 65536: interference/signal = 0\.01Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 131072: interference/signal = 0\.01Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 262144: interference/signal = 0\.01Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 524288: interference/signal = 0\.00Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 1\.048576e\+06: interference/signal = 0\.00Qwen LogN\-Scaling: beta = 8 max\(1, log M / log 1024\), M = 2\.097152e\+06: interference/signal = 0\.00Qwen / SSMax / Su\(logM\)YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 16: interference/signal = 0\.00YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 32: interference/signal = 0\.00YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 64: interference/signal = 0\.01YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 128: interference/signal = 0\.01YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 256: interference/signal = 0\.01YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 512: interference/signal = 0\.02YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 1024: interference/signal = 0\.03YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 2048: interference/signal = 0\.02YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 4096: interference/signal = 0\.01YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 8192: interference/signal = 0\.01YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 16384: interference/signal = 0\.00YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 32768: interference/signal = 0\.00YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 65536: interference/signal = 0\.00YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 131072: interference/signal = 0\.00YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 262144: interference/signal = 0\.00YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 524288: interference/signal = 0\.00YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 1\.048576e\+06: interference/signal = 0\.00YaRN: beta = 8 \(0\.1 ln\(M/1024\) \+ 1\)^2, M = 2\.097152e\+06: interference/signal = 0\.00YaRN\(Qwen2\.5\-1M\)Qwen’s rule and Su’s rule coincide past the reference length $L$, where the interference\-to\-signal ratio falls as the store grows, to about 0\.004 at 2 million memories\. YaRN’s faster\-growing scale pushes the ratio down to about $10^\{\-4\}$\. In each case, scaling $\\beta$ with $\\log M$ allows for essentially an unbounded number of memories with distinct keys to be stored\. ## Closing thoughts[\#](https://alexwang.ai/posts/associative-memory/#closing-thoughts) Here are the memory stores we visited, with their capacities when we query with a stored key and the keys and values are random: Memory store$f\(x\)$CapacityCapacity at $d\_k = 64$Outer product$V\\transpose K x$$d\_k$64Optimal linear$V\\transpose K \(K\\transpose K\)\\inverse x$$2d\_k$128ReLU MLP$V\\transpose \\operatorname\{ReLU\}\(Kx\)$$2d\_k$128Squared ReLU \(GLU MLP\)$V\\transpose \\operatorname\{ReLU\}\(Kx\)^2$$2d\_k^2/3$about 2,700SwiGLU MLP$V\\transpose \\parens\*\{\\operatorname\{Swish\}\(Kx\) \\odot Kx\}$about $2d\_k^2/3$about 2,900Cubed ReLU$V\\transpose \\operatorname\{ReLU\}\(Kx\)^3$$2d\_k^3/15$about 35,000Self\-attention, $\\beta = \\sqrt\{d\_k\}$$V\\transpose \\operatorname\{softmax\}\(\\beta K x\)$$e^\{2\\sqrt\{d\_k\} \- 2\}$about 1\.2 millionSelf\-attention, $\\beta \\propto \\log M$$V\\transpose \\operatorname\{softmax\}\(\\beta K x\)$not reached in our experimentsmore than 2 millionWe started from a heuristic memory store, the outer\-product memory, and gradually built our way up to all the standard layers we see today in modern transformers\. This perspective also allowed us to estimate how they differ in their capacity, their ability to act as vector\-valued key\-value stores\. I should mention that this capacity estimate is only*one way*to look at the architecture of modern neural networks\. Our capacity estimate only counts how many random vectors a single layer can recall before the interference dominates the signal\. In fact we haven’t actually considered the training data at all, which affects what actually is being represented in the keys and values\! There are other works which account for the*trained*layers, measuring stored information in bits\.[Morris et al\.](https://arxiv.org/abs/2505.24832)estimate that GPT\-style models memorize about 3\.6 bits per parameter, and find that once a model fills its capacity, it starts to generalize and memorizes less of each training example\.[Allen\-Zhu & Li](https://arxiv.org/abs/2404.05405)find that language models store about 2 bits of factual knowledge per parameter, even when quantized to int8\. From here, there are many related directions which are also fascinating: - How much information a layer can store:[Nichani, Lee & Bietti](https://arxiv.org/abs/2412.06538),[Barnfield et al\.](https://arxiv.org/abs/2605.05189)for linear stores, and[Dugan et al\.](https://arxiv.org/abs/2512.00207),[Garcia et al\.](https://arxiv.org/abs/2607.10034)for explicit fact\-storing MLPs, and[Zhong et al\.](https://arxiv.org/abs/2505.19488)which inspired the interference\-to\-signal ratio estimates here\. - Hopfield networks and memory stores with exponential capacity:[Krotov & Hopfield](https://arxiv.org/abs/1606.01164)on dense associative memory,[Demircigil et al\.](https://arxiv.org/abs/1702.01929),[Ramsauer et al\.](https://arxiv.org/abs/2008.02217), who connect it to attention, and the review by[Krotov et al\.](https://arxiv.org/abs/2507.06211)\. - Short\-term memories that update during inference:[fast weights](https://arxiv.org/abs/2102.11174),[Mamba](https://arxiv.org/abs/2312.00752),[Mamba\-2](https://arxiv.org/abs/2405.21060),[DeltaNet](https://arxiv.org/abs/2406.06484),[Gated DeltaNet](https://arxiv.org/abs/2412.06464),[TTT layers](https://arxiv.org/abs/2407.04620),[Titans](https://arxiv.org/abs/2501.00663),[MesaNet](https://arxiv.org/abs/2506.05233), and[test\-time regression](https://arxiv.org/abs/2501.12352)\. - Huge but sparse parametric memory stores to supplement or replace our MLPs:[product\-key memories](https://arxiv.org/abs/1907.05242),[Memory Layers at Scale](https://arxiv.org/abs/2412.09764),[UltraMem](https://arxiv.org/abs/2411.12364),[Mixture of A Million Experts](https://arxiv.org/abs/2407.04153), and[Engram](https://arxiv.org/abs/2601.07372)\. - Nonparametric memory stores that grow by appending memories outside the weights:[kNN\-LM](https://arxiv.org/abs/1911.00172),[RETRO](https://arxiv.org/abs/2112.04426),[Memorizing Transformers](https://arxiv.org/abs/2203.08913), and[growing nonparametric networks](https://arxiv.org/abs/2610.03858)\. - Finding and editing the memories inside trained models:[Geva et al\.](https://arxiv.org/abs/2012.14913),[Bietti et al\.](https://arxiv.org/abs/2306.00802), and[ROME](https://arxiv.org/abs/2202.05262)and[MEMIT](https://arxiv.org/abs/2210.07229)\. - Compressing short\-term memory, or turning it into long\-term memory:[KVzip](https://arxiv.org/abs/2505.23416),[gist tokens](https://arxiv.org/abs/2304.08467),[Cartridges](https://arxiv.org/abs/2506.06266), and[attention matching](https://arxiv.org/abs/2602.16284) - Continual learning methods like[sparse memory finetuning](https://arxiv.org/abs/2510.15103) I’ve always been drawn to memory, maybe because I viscerally feel how limited my own is\. Perhaps part of me hopes that by understanding how machines remember, I’ll learn something about myself too\.