An interesting pattern I've now noticed across many different domains is that if we try to do an attribution of improvements in outcomes or performance in a domain to the two categories "we're using more resources now than in the past" and "we're making more efficient use of resources now than in the past", there is usually an even split in how much improvement can be attributed to each category.

Some examples:

  1. In computer vision, Erdil and Besiroglu (2022) (my own paper) estimates that 40% of performance improvements in computer vision from 2012 to 2022 have been due to better algortihms, and 60% due to the scaling of compute and data.

  2. In computer chess, a similar pattern seems to hold: roughly half of the progress in chess engine performance from Deep Blue to 2015 has been from the scaling of compute, and half from better algorithms. Stockfish 8 running on consumer hardware in 1997 could achieve an Elo rating of ~ 3000, compared to ~ 2500 for contemporary software; and Stockfish 8 on 2015 hardware could go up to ~ 3400.

  3. In rapidly growing economies, accounting for growth in output per worker by dividing it into capital per worker (resource scaling) and TFP (efficiency scaling, roughly speaking) often gives an even split: see Bosworth and Collins (2008) for data on China and India specifically.

    More pessimistic estimates of the growth performance of China compared to official data put this split at 75% to 25% (see this post for details) but the two effects are still at least comparable.

A toy model

A speculative explanation is the following: if we imagine that performance in some domain is measured by a multiplicative index which can be decomposed as the product of individual contributing factors so that , in general we'll have

thanks to the product rule. Note that denotes the growth rate of the variable .

I now want to use a law of motion from Jones (1995) for : we assume they evolve over time according to

where are parameters and is a measure of "investment input" into factor . This general specification can capture diminishing returns on investment as we make progress or scale up resources thanks to , and can capture returns to scale to spending more resources on investment at a given time thanks to .

Substituting this into the growth expression for gives

Now, suppose we have a fixed budget at any given time to allocate across all investments , and our total budget grows over time at a rate . To maximize the rate of progress at a given time, the marginal returns to investment across all factors should be equal, i.e. we should have

for all pairs . Substitution gives

and upon simplification, we recover

In an equilibrium where all quantities grow exponentially, the ratios must therefore remain constant, i.e. all of the must also grow at the aggregate rate of input growth . Then, it's easy to see that the Jones law of motion implies for each factor , from which we get the important conclusion

that must hold in an exponential growth equilibrium. The parameter is often called the returns to investment, so this relation says that distinct factors account for growth in proportional to their returns to investment parameter.

How do we interpret the data in light of the toy model?

If we simplify the setup and make it about two factors, one measuring resource use and the other measuring efficiency, then the fact that the two factors account for comparable fractions in overall progress should mean that their associated return parameters are close. This prediction is validated in some domains:

  1. A linearly accumulating factor that follows has , and if this factor is raised to a power its returns become .

    Since the capital share of the US economy is around , meaning roughly that we think total output scales with the capital stock raised to a power of ; and capital is thought to accumulate linearly, the parity hypothesis predicts for US total factor productivity. Bloom et al. (2020) validates this prediction almost exactly.

  2. When we focus on niche problems, we must be careful because some efficiency terms (e.g. Moore's law) are driven by worldwide investment that's not optimized for our niche application. This then becomes an exogenous progress term, and it becomes better to compare endogenous terms with each other instead.

    In machine learning, compute scaling has been much faster than Moore's law, so we expect our model to be a good approximation in this case. If we assume spending on compute accumulates linearly, so that , the parity results suggest we should also expect . I have some unpublished estimates that support something like this, but a public reference is Tom Davidson's takeoff model, where he estimates in computer vision. Not quite , but not too far off either.

I think the toy model generally suggests that tends to be . We have no good a priori reason to expect this, but in fact, it seems to be the case. From one perspective, this is really another way of phrasing the parity hypothesis, but I think it's one that might be useful in thinking about the phenomenon.

Of course, there are other possible explanations for this "coincidence", but none of them seem completely satisfactory, which is rather disappointing.

New to LessWrong?

New Comment