← Mathematical compendium

Published equation contexts

∣S∣>(2.2208)n|S| > (2.2208)^n

Why this formula appears here

The problem’s ceiling, meanwhile, moved by a route with no evolutionary search in it at all. Meshulam’s finite-field version of Roth’s 1953 density-increment argument, tightened by Bateman and Katz, and then reset by Jordan Ellenberg and Dion Gijswijt’s application of the polynomial method — adapting, by the surveying authors’ own account, “the algebraic argument” Croot, Lev and Pach had introduced one step earlier — delivered the field’s best-known ceiling on how large a cap set can possibly be [ 5 ] . That sequence of results, and the lower-bound sequence beside it, is the independent confirmation this article needed that FunSearch’s contribution is recognized by the field on its own…

Read the full article-specific guide →

Read the representative guide

SS

Symbol S

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

Read this term in its guide →
nn

Symbol n

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

Read this term in its guide →

How to interpret it

Read this expression with the definitions, units, and assumptions supplied by the article.

Research cited beside this formula

Published contexts (1)

A symbol can carry a different meaning in another article. Each occurrence keeps its own guide and term definitions.

∣S∣>(2.2208)n|S| > (2.2208)^n

Equation 6 · Technological Evolution

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

This equation states a bound: one expression must stay on the indicated side of the other under the article’s assumptions.

The problem’s ceiling, meanwhile, moved by a route with no evolutionary search in it at all. Meshulam’s finite-field version of Roth’s 1953 density-increment argument, tightened by Bateman and Katz, and then reset by Jordan Ellenberg and Dion Gijswijt’s application of the polynomial method — adapting, by the surveying authors’ own account, “the algebraic argument” Croot, Lev and Pach had introduced one step earlier — delivered the field’s best-known ceiling on how large a cap set can possibly be [ 5 ] . That sequence of results, and the lower-bound sequence beside it, is the independent confirmation this article needed that FunSearch’s contribution is recognized by the field on its own…

Equation guide → · Article →