Equation 1 · A Cap Set Needed No World to Be True In, Only a Checker to Accept It
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 mathematical expression combines the displayed quantities; its precise role follows from the surrounding article text. 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 Z_3^n
is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
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 →How to interpret it
Read this expression with the definitions, units, and assumptions supplied by the article.
What the article says around this equation
FunSearch’s evaluator for the cap set problem has none of this, at any remove. The discovered function — reproduced in full in DeepMind’s own supplementary material — is nine lines long, and every one of those lines is arithmetic on the candidate point’s own coordinates: a dot product of the vector with itself, reduced modulo three; two overlapping partial sums treated the same way; a count of how many coordinates equal a fixed reference coordinate, reduced modulo three again; and a weighted sum of those quantities that ranks the point for inclusion [ 2 ] . Nothing in that function, or in the closure check that scores its output, refers to anything outside — no chemistry, no…
Read the full surrounding passage
FunSearch’s evaluator for the cap set problem has none of this, at any remove. The discovered function — reproduced in full in DeepMind’s own supplementary material — is nine lines long, and every one of those lines is arithmetic on the candidate point’s own coordinates: a dot product of the vector with itself, reduced modulo three; two overlapping partial sums treated the same way; a count of how many coordinates equal a fixed reference coordinate, reduced modulo three again; and a weighted sum of those quantities that ranks the point for inclusion [ 2 ] . Nothing in that function, or in the closure check that scores its output, refers to anything outside — no chemistry, no orbit, no fleet, no simulated body, not even a stand-in for one. DeepMind’s own team found this notable enough to record in their supplementary write-up: the discovered priority function decides whether to admit a point using “only a yes or no answer as to whether the element next in line is allowable,” never consulting which other elements have already been chosen, and the team’s own comment on that design is direct — “it is perhaps surprising that we can obtain good cap set constructions” this way at all [ 2 ] .
Sources cited in the surrounding passage
These citations give research context. Read each source to check which claims it supports.
Return to A Cap Set Needed No World to Be True In, Only a Checker to Accept It