A Nonmonotone Real-Rootedness Set for Symmetric Imaginary Shifts

Abstract

This AI research artifact presents an exact rational degree-8 polynomial whose symmetric imaginary-shift real-rootedness set is neither an interval nor an up-set. The explicit witness and candidate proof were materially model-generated. Version 0.1.1 changes only artifact classification, creator-role wording, ORCID, and lifecycle-neutral packaging. The theorem statement, candidate proof, polynomial, and certificates are unchanged from version 0.1.