Vasily Stodolsky

A Nonmonotone Real-Rootedness Set for Symmetric Imaginary Shifts

AI Research Artifact. This work 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.3 replaces mental-state a...

A Nonmonotone Real-Rootedness Set for Symmetric Imaginary Shifts

AI Research Artifact. This work 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.3 replaces mental-state a...

Mesh-Degree Rigidity for Positive Chebyshev-Fourier Approximants

AI Research Artifact. This work presents measure rigidity and a forced mesh-degree window for positive Chebyshev-Fourier approximants. The theorem statements and candidate proofs were materially model-generated. Version 0.1.4 adds a proof guide, clarifies human responsibility, re...

Mesh-Degree Rigidity for Positive Chebyshev-Fourier Approximants

This AI research artifact presents measure rigidity and a forced mesh-degree window for positive Chebyshev-Fourier approximants. The theorem statements and candidate proofs were materially model-generated. Version 0.1.3 changes only artifact classification, creator-role wording,...

A Nonmonotone Real-Rootedness Set for Symmetric Imaginary Shifts

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 classif...