Block Balance and Saturation Certificates for Cyclic Root Degenerations

We study boundary points of the reciprocal bilinear system associated with cyclic roots. For an arbitrary actual support pattern, we give a localized elimination that retains all kernel coordinates and identifies the saturated local equations. At the coordinates where both limiting vectors vanish, the two residual linear spaces are orthogonal complements for a signed pairing. Every coordinate block that splits one of these spaces must contain equally many time and frequency coordinates at a genuine boundary point. We prove this condition by constructing an explicit polynomial whose product with the common bilinear parameter lies in the original ideal. A cyclic order-ten example exhibits an unbalanced block despite satisfying the global support counts. Explicit square-order families show why intermediate vanishing rates must be retained.

Authors

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2026-11-10
DOI
https://doi.org/10.5281/zenodo.24093196
Primary Topic
Polynomial and algebraic computation
Type
preprint
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
NOV
preprint

Block Balance and Saturation Certificates for Cyclic Root Degenerations

Jiahui Liang
Zenodo (CERN European Organization for Nuclear Research)
Polynomial and algebraic computation
preprint

Block Balance and Saturation Certificates for Cyclic Root Degenerations

Jiahui Liang
preprint en

Abstract

We study boundary points of the reciprocal bilinear system associated with cyclic roots. For an arbitrary actual support pattern, we give a localized elimination that retains all kernel coordinates and identifies the saturated local equations. At the coordinates where both limiting vectors vanish, the two residual linear spaces are orthogonal complements for a signed pairing. Every coordinate block that splits one of these spaces must contain equally many time and frequency coordinates at a genuine boundary point. We prove this condition by constructing an explicit polynomial whose product with the common bilinear parameter lies in the original ideal. A cyclic order-ten example exhibits an unbalanced block despite satisfying the global support counts. Explicit square-order families show why intermediate vanishing rates must be retained.

Zenodo (CERN European Organization for Nuclear Research)
Polynomial and algebraic computation
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Laika access coming soon