View PDF HTML (experimental)

Abstract:Motivated by the dimension-bound part of a problem of Bukh, we study Veronese circuits: how large can the span of $t$ linear forms be if their $m$-th powers are minimally linearly dependent? We prove the sharp finite dimension bound \[
\dim L\leq \frac{t+m-2}{m}. \] Here $\ell_1,\ldots,\ell_t$ are nonzero homogeneous linear forms over a field of characteristic zero, the powers $\ell_1^m,\ldots,\ell_t^m$ form a circuit, and $L=\Span\{\ell_1,\ldots,\ell_t\}$. Rational-normal-curve configurations attain equality for infinitely many pairs $(t,\dim L)$; in particular, the affine bound itself is sharp and the optimal leading constant in Bukh's question is $1/m$.
The proof uses a coding-theoretic translation: the coefficient row space of the powers is the $m$-th Schur power of the coefficient code, and the minimality hypothesis makes this Schur power a full-support hyperplane to which the Schur-product Kneser theorem of Mirandola and Zémor applies. The same method yields flat-concentration and interpolation criteria, a Cayley--Bacharach lower bound, Segre--Veronese and positive-characteristic variants, and Hilbert-function constraints for equality and near-equality in Veronese circuits.

Submission history

From: Heng Li [view email]
[v1] Tue, 23 Jun 2026 09:40:15 UTC (23 KB)