The regime-dependent query rate and the main parameter-free convergence statement.

noncomputable def V7.CurrentMainRate (p Cp C Kbar L M0 : ℝ) : ℝ

The regime-dependent main complexity rate, including the logarithmic smoothness-search cost.

Equations

• One or more equations did not get rendered due to their size.

noncomputable def V7.MainStatement : Prop

G03 and thm:main: one runtime-p method family is selected first; the universal Euclidean constant precedes p, while Cp is selected after p and before dimension or instance data.

Equations

• One or more equations did not get rendered due to their size.