Equation 5 · The Hardest Unsolved Problems in Small and On-Device AI
What does this equation mean?
Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.
This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.
Read it piece by piece
Symbol barΔ
barΔ is part of the quantity the equation computes from the expression on the right.
Symbol T
T occurs below the fraction bar. The quantity above the bar is divided by this expression; zero is excluded as a denominator.
Symbol t
t appears in the bound of this sum. The bound states where the repeated operation starts, ends, or which values it includes.
Symbol t^FP
P is one of the signed contributions combined to compute the quantity on the left.
Symbol t^Q
is one of the signed contributions combined to compute the quantity on the left.
=
The expressions on both sides represent the same quantity under the stated assumptions.
See an illustrated explanation →subtraction
Subtract the following term or group from the preceding one. A leading minus marks a negative quantity.
subscript
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.
superscript
A raised number can be a power. When it is a label or bound, it selects a case or the upper limit of a sum; the formula’s structure distinguishes these uses.
See an illustrated explanation →Starting index or lower bound: t=1
This label says where the repeated addition, multiplication, or accumulation starts. Read its value or condition together with the article’s description of the index.
Ending index or upper bound: T
This label says where the repeated addition, multiplication, or accumulation stops. It sets the last term or end of the range.
How to interpret it
With a fixed numerator, increasing a nonzero denominator reduces the fraction. Read it with the definitions, units, and assumptions supplied by the article.
What the article says around this equation
Formally, if a model is evaluated on T tasks with full-precision accuracy and quantized accuracy on task t , a benchmark table typically reports the mean regression . while what governs whether any individual deployment is safe to ship is closer to the worst-case regression
Sources cited in the article section
- [2] A Case Study of Selected PTQ Baselines for Reasoning LLMs on Ascend NPU ↗
- [3] Can Compressed LLMs Truly Act? An Empirical Evaluation of Agentic Capabilities in LLM Compression ↗
These citations give research context. Read each source to check which claims it supports.
Return to The Hardest Unsolved Problems in Small and On-Device AI