Md. Asif Uddin
    I.7.X08

    Square-root returns, and where they stop being worth buying

    complexity▲▲△

    Price what a larger batch buys. Give the noise, the arithmetic and the noise per unit of arithmetic across BB from 1 to 4096, then identify the regime in which raising BB stops being a good trade and say what the budget does and does not decide.

    Hint

    By (I.7.2) noise falls as 1/B1/\sqrt{B} while cost rises as BB. Form the product and read off which direction it moves.

    Solution

    The trade.

    BBstandard errorvs B=1B{=}1arithmeticerror ×\times cost
    11.0000001.0000001.00001.000011.001.00
    40.5000000.5000000.50000.500042.002.00
    160.2500000.2500000.25000.2500164.004.00
    640.1250000.1250000.12500.1250648.008.00
    2560.0625000.0625000.06250.062525616.0016.00
    10240.0312500.0312500.03120.0312102432.0032.00
    40960.0156250.0156250.01560.0156409664.0064.00

    Quadrupling BB halves the noise and costs four times the arithmetic, at every scale. The last column — noise per unit of compute — doubles each time, which is the trade stated in the least flattering way that is still true: measured per FLOP, a large batch is strictly worse at reducing noise.

    Why anyone uses large batches anyway. The table prices arithmetic, and arithmetic is not the binding constraint on modern hardware. A batch of 256 does not take 256 times as long as a batch of 1 — it takes barely longer, because the device was idle. The square-root law is about statistical efficiency; large batches win on hardware efficiency, and the two pull in opposite directions.

    Where it stops. Comparing noise against the signal it corrupts:

    BBnoise/signalregime
    11.0000001.000000noise-dominated: more BB helps a lot
    160.2500000.250000mixed: linear scaling (I.7.7) roughly holds
    2560.0625000.062500mixed: linear scaling roughly holds
    40960.0156250.015625signal-dominated: more BB buys little
    655360.0039060.003906signal-dominated: more BB buys little

    Once the noise is small against the gradient, further averaging refines a number that was already accurate enough to step with. That boundary is McCandlish and colleagues’ critical batch size, and the useful thing about it is that it is a property of the problem at a point in training, not of the hardware — it generally grows as training proceeds and the gradient shrinks.

    What the budget does not decide. With a fixed budget of 10610^6 example-visits:

    BBstepsnoise per step
    3231 25031\,2500.176780.17678
    2563 9063\,9060.062500.06250
    20484884880.022100.02210

    Same compute, three different training runs: many noisy steps or few clean ones. The budget constrains their product and says nothing about which is better — that is decided by where the problem sits relative to its critical batch, and by whether the noise is doing anything useful, which by I.7.P02 it sometimes is.

    Draws on