← Back to article

Equation 1 · A Cap Set Needed No World to Be True In, Only a Checker to Accept It

What does this equation mean?

Z3n\mathbb{Z}_3^n

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

Z3n\mathbb{Z}_3^n

Symbol Z_3^n

Z3nZ_3^n is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Understand this part →

subscript

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.

Understand this part →

superscript

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.

Understand this part →

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 Z3n\mathbb{Z}_3^n — 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 Z3n\mathbb{Z}_3^n — 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 ] .

Read the equation in its article →

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

Browse the mathematical compendium →