Why Do Asymmetric Power Laws Help Reasoning?

25 minute read

Published:

How to make LLM learn to reason efficiently?

Suppose you are asked to train an LLM to solve multi-step arithmetic (e.g. $a+b\times c -d\div e=?$) with as few training steps as possible. How should you design your training distribution?

Let’s say you are only allowed to change the training distribution of the numbers, which is the most basic “knowledge” of the arithmetic. One option is the standard uniform distribution, sampling every number with roughly equal probability. Another option is an asymmetric power-law distribution: rank all the numbers randomly, assigning probabilities according to power law, and sample accordingly. Which one will you choose?

Uniform and power-law skill distributions
Figure 1: Uniform distribution assigns nearly equal probability mass to each skill. Power-law distribution keeps high-frequency skills and scarce long-tail skills.

One may choose uniform distribution as it seems to be a fix to the asymmetry of the power law, making up for the long-tail effect. But, when the numbers in the problems are sampled from a power law distribution, the model learns much faster than the uniform one!

Power-law distribution trains faster than uniform distribution on multi-step arithmetic and state tracking
Figure 2: In compositional tasks, the long-tail intuition flips. Even when evaluation is uniform, power-law training learns faster than uniform training on multi-step arithmetic and state tracking.

We then checked whether the pattern survives beyond the first arithmetic example:

  • State tracking, where the model composes a sequence of group actions.
  • Multi-hop QA, where the model follows chains of synthetic natural language facts.
  • Synthetic GSM-style math, where answers depend on a graph of arithmetic operations (written in natural language).

The same surprise keeps showing up: power law consistently wins.

So why does power law help reasoning so much? The post will explain the interesting phenomenon in three steps:

  1. Rethink the intuition. Uniform distribution is the right instinct for one-hop memorization, but composition changes the bottleneck.
  2. Build a toy theory. A minimalist composition model shows how uniform distribution can create a symmetric, nearly flat initial landscape, while power law creates a useful descent direction.
  3. Check the mechanism. Transformer experiments show the same stage-wise picture: escape first, learn head skills next, and use them as stepping stones for scarce tail skills.

Why power law v.s. uniform? Why does uniform feel right?

First, why do we consider power law distribution as the competitor of uniform? The motivation is straightforward: power laws are one of the most natural shapes in language. At the word level, Zipf’s law says that a few words appear constantly while most words are rare. More generally, the “items” may not be words at all: they may be latent skills or knowledge pieces whose occurrence frequencies follow a power-law distribution, $p_i\propto i^{-\alpha}$. This viewpoint can also explain why loss may decrease smoothly as a power law: many discrete skill-learning events get averaged together as the model reaches farther into the tail (Michaud et al.).

Background: quanta and power-law skill frequencies

One useful way to make this viewpoint concrete is the quanta hypothesis from Michaud et al., later discussed in Michaud’s quanta essay. Imagine pretraining as learning many discrete modules, or quanta. A quantum might retrieve a piece of knowledge, implement a small algorithm, or support a narrow capability. It matters only on the tokens where it improves prediction, so each quantum has a “use frequency.” If these use frequencies are power-law distributed, then smooth neural scaling can arise from many discrete learning events being averaged together: as we scale data, parameters, or training time, the model reaches farther into the tail of useful quanta.

The "use frequencies" of the quanta naturally follow a power law.

Eric Michaud, On neural scaling and the quanta hypothesis
Figure 3: Individual skills can appear as sharp learning transitions, but together they form a smooth pre-training loss curve. Source: Eric J. Michaud, On neural scaling and the quanta hypothesis.

But this picture of power law also exposes a problem: the long tail effect. Under a power-law distribution, rare skills are observed only when the dataset becomes very large, while the most frequent skills may be sampled far beyond what is necessary for learning them.

If the goal is to learn atomic knowledge or individual skills faster, the obvious data-curation move is to flatten the distribution: up-weight low-frequency skills, down-weight high-frequency ones, and move closer to a uniform distribution over skills. Given enough knowledge about the data and enough budget for curation, this sounds like the ideal long-tail fix. In this case, shouldn’t a more uniform distribution help?

Sanity check: one-hop memorization

We start with a task that mainly requires memorizing atomic knowledge: one-hop question answering (QA). Each example contains a single fact of the form “entity – relation –> answer.” The question asks for that answer directly. There is no intermediate entity to carry, no second relation to apply, and no hidden chain to execute. This is memorization in the cleanest sense.

In this setting, if a relation is rare under a power-law distribution, the model simply sees fewer direct examples of that relation. Since the test set asks one-hop questions across all relations, the bottleneck is coverage of long-tail relation skills. Therefore, uniform distribution should help on this task.

One-hop memorization example

Fact: Anya -- father --> Loid

Question: Who is the father of Anya?

Answer: Loid

The experiment behaves exactly this way. We randomly rank relations, train one model with uniformly sampled relations and another with power-law sampled relations, and evaluate exact match on one-hop questions. Uniform distribution wins this race.

Uniform distribution learns a one-hop memorization task faster than power-law distribution
Figure 4: For one-hop memorization, the usual long-tail intuition is correct. Uniform distribution gives rare relations more exposure and reaches high exact match faster.

Overall, if the task were only to store isolated facts, “use a power-law distribution” would be a strange recommendation. High-frequency skills are already frequent; scarce long-tail skills need data. Shifting towards a uniform distribution gives every skill a fairer chance.

What if the task is multi-hop?

However, natural language tasks are not just about single-hop memorization. Reasoning tasks, for example, often require combining multiple thinking steps or pieces of atomic knowledge to solve a problem. What happens when the task becomes more reasoning-heavy?

Remark. This framing is close to work on knowledge manipulation, implicit multi-hop reasoning, state tracking, parallelism, and chain of thought.

Now we change only the task to a more reasoning-like, multi-hop QA task. Instead of asking for one relation, the questions ask for a chain of relations. The model must apply the relations one by one and compose all of them. For example:

Two-hop example

Fact 1: Alice -- advisor --> Bob

Fact 2: Bob -- institution --> Princeton

Question: What is the institution of Alice's advisor?

Answer: Princeton

When memorizing atomic facts, each relation can be learned almost independently. In contrast, in a two-hop QA problem, the model has to retrieve the first fact, use its answer as the input to the second fact, and only then produce the final answer.

Intuitively, if a chain uses $k$ skills with frequencies roughly $p_1,\ldots,p_k$, the full combination is much rarer than any one skill alone. From a pure coverage view, power-law distribution should look especially bad here: it undersamples scarce long-tail skills, and rare chains involve rare pieces. The naive prediction makes the uniform distribution even more tempting. Surprisingly, the experiment goes the other way instead: power-law distribution exhibits a clear gain in training speed. We evaluate on a uniform test distribution, so the gain is not coming from matching the test distribution.

Power-law distribution learns the multi-hop QA task earlier than uniform distribution
Figure 5: The one-hop result says uniform distribution helps coverage. The multi-hop result says coverage is not enough for compositional reasoning tasks.

This raises the main question: what changes when a model has to compose skills rather than recall them one at a time? Why does a power-law distribution help language models learn reasoning?

A minimalist model of skill composition

To understand why only a switch of training distribution helps in implicit compositional reasoning tasks, we look for a controlled setting of skill composition. Transformer experiments mix many effects: representation learning, attention, finite samples, and hidden multi-step operations. To isolate the role of the data distribution, consider a toy task called $k$-multiplicative composition.

There are $d$ atomic skills. A skill can be read as a relation in multi-hop QA or a basic operation in arithmetic. In the toy task, skill $i$ has a hidden sign $w_i^\star\in{-1,+1}$. A training example samples $k$ skill indices $I_1,\ldots,I_k$ from a distribution $p$ and asks the model to predict the product of their hidden signs:

\[y=f_{w^\star}(X)=\prod_{t=1}^k w^\star_{I_t}.\]

The model has one learnable parameter $w_i$ for each skill and predicts the same kind of product:

\[f_w(X)=\prod_{t=1}^k w_{I_t}.\]

So the task is simple but still compositional: the model must learn the hidden value of each skill and use several learned skills together. The only thing we change is the sampling distribution $p$: uniform over skills, or Zipf / power law with $p_j\propto j^{-\alpha}$.

To analyze gradient descent, we consider the matched learner $f_w(X)=\prod_{t=1}^k w_{I_t}$ and optimize the population square loss $\mathcal L(w)=\frac12\mathbb E_X[(f_w(X)-f_{w^\star}(X))^2]$.

The two quantities that control the dynamics are the weighted inner product and weighted norm

\[A(t)=\sum_{i=1}^d p_iw_i(t)w_i^\star,\qquad B(t)=\sum_{i=1}^d p_iw_i(t)^2.\]

where $A(t)$ is the similarity between the current model and the ground truth under the training distribution, while $B(t)$ is the corresponding weighted norm. The key object is the population gradient. A short calculation gives

\[\nabla \mathcal L(w(t)) =kD\left(B(t)^{k-1}w(t)-A(t)^{k-1}w^\star\right), \qquad D=\mathrm{diag}(p_1,\ldots,p_d).\]

Equivalently, the expected gradient descent update for coordinate $j$ is

\[w_j(t+1)-w_j(t) =\eta kp_j\left(A(t)^{k-1}w_j^\star-B(t)^{k-1}w_j(t)\right).\]

This equation is the mechanism in miniature. The factor $p_j$ is the local sampling frequency of skill $j$. The factor $A(t)^{k-1}$ is the global composition signal: it is large only when the current model already has some weighted similarity with the hidden target. Near initialization, the key question is whether the signal term $kp_jA(t)^{k-1}w_j^\star$ is large enough for gradient descent to escape the flat initial region.

Where the gradient formula comes from

Because the inputs are sampled independently, the two expectations factor:

\[\mathbb E[f_w(X)^2]=B(t)^k,\qquad \mathbb E[f_w(X)f_{w^\star}(X)]=A(t)^k.\]

So the population loss becomes

\[\mathcal L(w)=\frac12\left(B(t)^k-2A(t)^k+1\right).\]

Differentiating gives

\[\nabla \mathcal L(w(t)) =kD\left(B(t)^{k-1}w(t)-A(t)^{k-1}w^\star\right).\]

This is the vector form of the coordinate update in the main text.

Uniform distribution induces hardness

The intuition behind the failure of uniform distribution is, surprisingly, symmetry. Under uniform inputs, the possible hidden targets are too balanced, and correlation-based gradient queries reveal very little about which hidden vector is correct. The specific issue can be seen in the gradient dynamics. If $w_i(0)\sim\mathcal N(0,r^2)$, then

\[\mathrm{Var}(A(w_0))=r^2\sum_{i=1}^d p_i^2.\]

Under uniform distribution, every skill has probability $1/d$, so $\sum_i p_i^2=1/d$. The initial similarity is an average over all $d$ random coordinates, and its typical size is about $\lvert A(w_0)\rvert\approx r/\sqrt d$. Composition raises this small quantity to the power $k-1$. The useful initial signal therefore behaves like $(r/\sqrt d)^{k-1}$, exponentially slowing down the training.

The results thus indicate that the more complex the task is (with an increasing number $k$), the slower the training is. A larger number of skills (a larger $d$) will make the issue even worse.

Punchline. Uniform distribution fixes long-tail exposure, but for composition it can also create a symmetric hard instance: the initial alignment is tiny, the useful gradient is tiny, and gradient descent sees an almost flat landscape.

Remark. The rigorous theoretical result uses another tool called correlational statistical query (CSQ) lower bound. Under a uniform input distribution, learning the compositional task requires either very accurate gradient queries or a large amount of data/compute.

CSQ lower bound and proof sketch

Theorem. Let the input distribution be uniform, $p_j=1/d$, and let $k\ge 2$. There exists a function class $\mathcal F_k$ and a constant $\epsilon=\Omega(1)$ such that any correlational statistical query learner using $q$ queries requires tolerance

\[\tau^2\le \left(\frac{\log(dq)}{d}\right)^{k/2}\]

to achieve loss $\mathcal L(w)\le \epsilon$. Using the standard heuristic $\tau\approx 1/\sqrt n$, this means either the runtime is exponential in $d$, or the sample size must be roughly $\widetilde\Omega(d^{k/2})$.

Proof sketch. Consider the base function class $\mathcal F={f(w,\cdot):w\in{\pm1}^d}$. Under uniform inputs, the inner product between two target functions factorizes as

\[\langle f_{w_1},f_{w_2}\rangle =\mathbb E_X[f(w_1,X)f(w_2,X)] =\left(\frac{w_1^\top w_2}{d}\right)^k.\]

Next, choose a large subset of hypercube vectors whose pairwise normalized inner products are small. A standard Hoeffding plus union-bound argument gives a subset of size about $\exp(\Omega(\varepsilon^2d))$ with $\left|w_1^\top w_2/d\right|\le \varepsilon$ for every distinct pair. Therefore the corresponding functions are nearly uncorrelated, and a correlational query reveals very little about which target in the class is the true one. Plugging this packing into the standard CSQ lower-bound argument yields the tolerance bound above.

Power-law distribution re-enables efficient training

What about the more natural power-law distribution? Can it enable the learning of the simple model? The positive theorem says yes: online minibatch gradient descent can learn the same $k$-multiplicative composition task efficiently under a Zipf distribution.

Power-law theorem and proof sketch

Theorem. Let the input distribution be Zipf, $p_j\propto j^{-\alpha}$ with $\alpha>1$. Suppose the target error is $\varepsilon>0$, $w(0)\sim\mathcal N(0,r^2I_d)$ with $r=\Theta(1)$, $k=\Theta(1)$ is even, and the learning rate and minibatch size are in the stable regime. Then with high probability, minibatch gradient descent learns the task with about $\widetilde O(d^{2\alpha}/(\eta\varepsilon))$ samples and $t\le \widetilde O((d^\alpha/\eta)\log(1/\varepsilon))$ iterations. In particular, it recovers the hidden skill vector up to error $\varepsilon$.

When the composition number is large compared with the power-law exponent, this improves over the uniform lower-bound scaling.

Proof sketch. The proof first analyzes population gradient descent. Under a power-law distribution, head skills have constant probability, so the initial weighted alignment $\lvert A(0)\rvert$ is not averaged down by all $d$ skills. With small constant initialization scale, $\lvert A(0)\rvert\approx\Theta(r)$ while $B(0)\approx\Theta(r^2)$, so the signal term dominates the first update. This gives a large initial gradient for head skills and a clearer descent direction in the loss landscape.

With this initialization behavior, one can prove a Polyak-Lojasiewicz-type condition along the stable trajectory,

\[\|\nabla\mathcal L(w(t))\|_2^2 \gtrsim p_{\min}A(0)^{2k-2}\mathcal L(w(t)).\]

This guarantees convergence of the population dynamics. A finite-sample concentration argument then shows that minibatch SGD tracks this population trajectory.

Recall the population gradient above. Under a power-law distribution, the frequent skills occur with constant probability. Equivalently, $\sum_i p_i^2$ does not shrink like $1/d$. Therefore the initial weighted similarity is not washed out by averaging over all $d$ skills: $\lvert A(0)\rvert\approx \Theta(r)$. At the same time, for small constant initialization scale, $B(0)\approx \Theta(r^2)$. Thus the signal term dominates the first update:

\[w_j(1)-w_j(0) \approx \eta kp_jA(0)^{k-1}w_j^\star.\]

Or, in vector form near initialization,

\[\nabla\mathcal L(w_0) \approx -k\,\mathrm{diag}(p)\,A(0)^{k-1}w^\star.\]

This is the beneficial asymmetry. For high-frequency skills, $p_j$ is large enough that the initial gradient is no longer tiny. The loss landscape near initialization now has a clearer descent direction toward the lower-loss region. This is Stage I of training: power law helps the model escape the flatness. After this, the optimization becomes much easier and goes through two more stages.

Stage II: high-frequency skills help the tail. Though the initial gradient signal is large enough to escape the flat region, the hidden scalars behind the skills are not learned simultaneously. Recall the coordinate update:

\[w_j(t+1)-w_j(t) =\eta kp_j\left(A(t)^{k-1}w_j^\star-B(t)^{k-1}w_j(t)\right).\]

The head skills have large sampling probabilities. For a constant-rank skill $i=O(1)$ under a Zipf law with $\alpha>1$, we have $p_i=\Theta(1)$. These skills therefore grow first from the initialization scale $r$ to a large constant. Once enough head skills are aligned, the weighted similarity

\[A(t)=\sum_{i=1}^d p_iw_i(t)w_i^\star\]

increases from the initialization scale $O(r)$ to $O(1)$. This matters because every coordinate update contains the same global factor $A(t)^{k-1}$. For a tail skill $j=\Omega(d)$, the local factor $p_j$ is still small, but the signal term

\[kp_jA(t)^{k-1}w_j^\star\]

is now much larger than it was near initialization. In this sense, the head skills act as a stepping stone: power law first learns high-frequency skills, and those learned skills increase the gradient signal for scarce long-tail skills.

Stage III: the long-tail drawback returns. Once all hidden scalars have non-trivial accuracy, training enters the convergence phase. At this point, the original long-tail intuition finally comes back. Skills with large rank $j=\Omega(d)$ have small sampling probability, roughly $p_j=O(d^{-\alpha})$, so they are updated much less often. Even though the model has already found a useful compositional direction, final convergence on the tail is slowed by the low probability of sampling tail skills.

This is why the result is not “power law makes the tail easy.” The tail is still hard at the end. The advantage is that the first two stages let the model start composing before the usual long-tail bottleneck dominates.

Punchline. Power law helps not by showing the tail more often, but by breaking the symmetry first. The head creates a visible descent direction; only after that can head skills become stepping stones for the tail.

The transformer check: state tracking

To test the generality of the theory prediction, the next step is to check whether the same mechanism appears in transformers. As a standard testbed, we consider the $S_5$ state tracking task, a synthetic composition task related to Allen-Zhu’s DePO/canon-layer setup and Merrill and Sabharwal’s transformer limits work (parallelism, chain of thought).

In this task, the input is a sequence of group elements $g_1,g_2,\ldots,g_k\in S_5$, and the target is their composition $g_1\circ g_2\circ\cdots\circ g_k$ without chain-of-thought. The skills are the permutations themselves. The model cannot solve the task by recognizing one update rule in isolation; it has to compose the sequence.

This task is known to be hard under uniform training distribution without intermediate supervision, even though there exists an efficient transformer construction for the computation. Simply switching the skill distribution to power law enables the same model to learn the task efficiently, without curriculum or intermediate thinking traces.

State tracking accuracy under uniform distribution and power-law distribution Illustration of state tracking as multi-hop composition
Figure 6: State tracking is the controlled transformer version of the theory. Uniform distribution cannot learn the implicit composition task, while power-law distribution makes the same task learnable without curriculum or chain-of-thought.

Stage I: power law enables escaping from the flat region. To visualize the landscape, take the training trajectories of the $S_5$ state tracking task under both uniform and power-law distributions. Compute the top two PCA directions from consecutive checkpoint differences and plot the loss landscape together with the trajectory. The initial region under uniform distribution is much flatter; the power-law distribution creates a clearer descent direction to the lower-loss region.

Uniform distribution and power-law distribution state-tracking loss landscapes
Figure 7: Power-law distribution induces a much better initial loss landscape. Uniform training is flatter near initialization and harder to optimize by gradient methods.

Stage II and III: head-to-tail learning, then long-tail convergence. Figure 8 checks the remaining stages above. The permutations are separated by rank into bins. Once the head bin starts to learn, the expected gradient norm on samples requiring a tail permutation becomes much larger when the other input permutations come from the learned head bin. This is the empirical counterpart of increasing $A(t)$ in Stage II. Later, the tail bins still converge more slowly, matching the Stage III long-tail bottleneck.

State tracking stage-wise learning mechanism under power-law distribution
Figure 8: The transformer dynamics show the same stage-wise mechanism as the minimalist model. Head skills are learned first, then increase the gradient signal for scarce long-tail skills.

So the state-tracking experiment mirrors the theory: power-law distribution first improves the initial landscape, then creates an implicit curriculum through high-frequency skills, and finally faces the ordinary long-tail drawback.

Back to reasoning tasks

Finally, we can ask whether this understanding generalizes beyond the minimalist model and state tracking. Consider two synthetic natural-language reasoning tasks: multi-hop question answering and synthetic grade-school math. Only the training distribution is changed; the test sets are sampled uniformly over skills.

The first setting is multi-hop QA we mentioned earlier. The data is based on synthetic facts over relations between individuals, which can be viewed as a dependency graph:

\[e_i \xrightarrow{r} e_j,\]

and questions formed by chaining relations:

\[e_0 \xrightarrow{r_1} e_1 \xrightarrow{r_2} e_2 \cdots \xrightarrow{r_k} e_k.\]

Each relation is treated as an atomic skill, and each hop in the question corresponds to one relation. The model has to answer the multi-hop query directly, without explicit chain-of-thought supervision. We vary the number of people (entity $\lvert E\rvert$) and the number of different kinds of relations ($\lvert R\rvert$) to control the hardness of the task.

The second setting is synthetic GSM-style arithmetic, following the spirit of controlled math-reasoning generators in Physics of Language Models: Part 2.1 and GSM-Infinite. These problems are generated from layered dependency graphs and natural-language templates. The answer requires composing several arithmetic operations, so each problem can be seen as a composition of basic operations on the dependency graph.

Multi-hop QA

Facts: Alice's advisor is Bob. Bob's institution is Princeton.

Question: What is the institution of Alice's advisor?

Computation: Alice -> Bob -> Princeton

GSM-style arithmetic

Facts: A studio has 5 backpacks. A school has 3 more backpacks than twice the studio's backpacks.

Question: How many backpacks does the school have?

Computation: studio = 5; school = 2 * 5 + 3 = 13

Across these tasks, the pattern is consistent with the theory. Power-law training learns faster than uniform training even though evaluation is uniform. Multi-hop QA also shows a similar stage-wise mechanism and a steeper loss landscape, which generalizes the mechanistic findings from the $S_5$ setting. Synthetic GSM-style arithmetic shows that the advantage is not limited to relation chaining.

Multi-hop QA stage-wise learning mechanism and loss landscapes Power-law distribution is much faster on modular GSM-style arithmetic
Figure 9: The same mechanism appears beyond state tracking. Multi-hop QA shows stage-wise learning and a steeper power-law loss landscape; synthetic GSM-style arithmetic shows that the advantage is not limited to relation chaining.

What this suggests in practice

How do we apply the analysis to practice? A natural next step is to tune the shape of the real-world skill distribution, and try to understand if the distribution itself can help the learning of reasoning. One conjecture is that the power law already present in natural language helps LLMs learn essential reasoning circuits. A coarser-grained and more conceptual framework, such as Skill-Mix, Instruct-SkillMix, and related work on learning skill composition from examples, can be a starting point for asking this question at the level of real language skills rather than toy coordinates.

This also suggests a different way to think about curricula and synthetic data in agentic tasks. This post only studies the simplest chain-like composition. Agentic tasks often have a richer compositional graph, involving tool calls, branching decisions, memory updates, verification steps, and recovery from failed actions. A useful future direction is to ask whether changing the distribution over these latent skills and subgraphs can make agent training easier: keep enough high-frequency scaffolding skills to create a useful optimization path, while deliberately sampling rare but important tail skills once the model has enough compositional structure to benefit from them.

Conclusion

The main lesson is not that power-law data is always better, or that uniform data is always worse. It is more specific: when a task requires implicit composition, the training distribution changes not only which skills are seen, but also what gradient descent sees at the beginning of training. Uniform sampling can be better for exposing rare facts, while power-law sampling can make the first useful compositional direction easier to find.

References