← All parts of this equation

Equation 6 · Part 3 · Mathematicians Finished the Job After an Evolutionary Search Beat 56 Years of Human Proofs

subscript

log⁡4(49)=log⁡2(7)≈2.8074log⁡4(48)≈2.7925\log_4(49) = \log_2(7) \approx 2.8074 \qquad \log_4(48) \approx 2.7925
subscript

What this part means

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.

Its job in the formula

A subscript distinguishes a version, component, step, or member of a quantity. It does not automatically mean multiplication.

The passage around this formula

Because a genuine tensor decomposition composes with itself, the rank number converts directly into an asymptotic cost exponent, and DeepMind’s own paper does not spell out what that conversion yields — this is the article’s own arithmetic, shown rather than asserted. Applying Strassen’s 2×2 trick twice to reach 4×4 gives an algorithm whose cost scales as nlog⁡27n^{\log_2 7} ; applying it k times to reach a 2^k ×\times 2^k matrix costs 7^k multiplications for n = 2^k , the same exponent however you slice the recursion. A genuine rank-48 4×4 decomposition, applied the same way, would scale as nlog⁡448n^{\log_4 48} instead: log⁡4(49)=log⁡2(7)≈2.8074log⁡4(48)≈2.7925\log_4(49) = \log_2(7) \approx 2.8074 \qquad \log_4(48) \approx 2.7925. The gap is small — about 0.015 in the exponent, on the order of…

Read this part in the article →

Learn the underlying idea

A subscript is a label attached below a symbol. It often selects a time step, component, category, or member of a sequence.

Open the illustrated subscripts: which member of a family? guide →

Sources cited in the article section

These citations provide research context; check each source for the exact claim it supports.