Documentation

Complexitylib.Algebraic.LowerBound.Fusion.Arithmetic.Interaction.Polynomial.Catalecticant.Rectangular.Degree

Degree visibility of rectangular catalecticants #

Every entry queried by the degree-d, split-k catalecticant has total degree exactly d. Thus all splits factor through the same degree-d homogeneous component; only the subsequent flattening changes with k.

Every queried exponent has Finsupp degree exactly degree.

theorem Algebraic.Fusion.Arithmetic.Interaction.Polynomial.Catalecticant.Rectangular.Degree.coeff_entryExponent_eq_zero_of_totalDegree_lt {K : Type} [Field K] (degree split : ℕ) (polynomial : MvPolynomial (Fin degree) K) (small : polynomial.totalDegree < degree) (row column : SumOfTerms.MatrixRank.Layer degree split) :
polynomial.coeff (SumOfTerms.Waring.Rectangular.entryExponent degree split row column) = 0

Coefficients queried by the rectangular catalecticant vanish below total degree degree.

Lower-total-degree polynomials have zero rectangular catalecticant.

Lower-total-degree polynomials are feature-invisible.

The rectangular catalecticant only sees the degree-degree homogeneous component.

Every split factors through the common critical homogeneous layer.

A zero critical component is invisible at every split.