{
  "schema_version": 1,
  "problem_number": "AMR-036-0044",
  "title": "Open Sets of Linear Systems with n = mp That Are Not Stabilizable by Static Output Feedback: New Cases of a Problem of Eremenko",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "A real linear system x' = Ax + Bu, y = Cx with n states, p inputs and m outputs is stabilizable by static output feedback if, for some real matrix K, all eigenvalues of A + BKC have negative real part. Generic systems are stabilizable when n < mp, and when n = mp and the degree d(m,p) of the Grassmannian is odd. Eremenko asks for which (m,p) the generic system with n = mp is stabilizable; the only pair known to fail was (2,2) (Molander; Byrnes and Anderson). We settle some new cases, all negatively; the classification remains open. For (m,p) = (2,4), (2,5) and (3,3) we give explicit integer polynomial matrices with certificates, checkable in exact arithmetic, which show by the criterion of Byrnes and Anderson that the systems that are not stabilizable contain a non-empty open set; the same follows for (4,2) and (5,2). We prove the same for (2,p), (p,2), (4,p) and (p,4) with every even p, which answers a question of Eremenko and Gabrielov when min(m,p) ∈ {2,4}; here the examples are complex polynomial curves regarded as real ones, and the proof is a count of dimensions. As a by-product, real pole placement is not generically possible for (2,5), (5,2) and (3,3), which are cases of a conjecture of Rosenthal and Sottile. We also note that the 2 × 4 matrix printed in the problem file dated October 3, 2026 differs in a sign from the example of Byrnes and Anderson and is not a counterexample. This is an unrefereed note.",
  "result_type": "COMPLETE_SCOPED_PROOF",
  "categories": [
    "math.OC",
    "math.AG"
  ],
  "keywords": [
    "static output feedback",
    "generic stabilizability",
    "pole placement",
    "linear systems",
    "Byrnes–Anderson criterion",
    "Grassmannian",
    "Plücker relations",
    "real Schubert calculus",
    "exact certificates",
    "Eremenko's unsolved problems",
    "UnsolvedMath",
    "AMR-036-0044",
    "math.OC",
    "math.AG",
    "eess.SY",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-03",
  "publication_date": "2026-10-03",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-03",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/amr-036-0044/",
  "pdf_url": "https://eulersolve.org/papers/amr-036-0044/paper.pdf?v=9c811e158489",
  "doi": "10.5281/zenodo.23127063",
  "zenodo_record_url": "https://zenodo.org/records/23127063",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Settles new cases of Eremenko's problem on generic stabilizability by real static output feedback for n = mp, all negatively: for (m,p) = (2,4), (4,2), (2,5), (5,2), (3,3) (exact certificates) and for (2,p), (p,2), (4,p), (p,4) with every even p there is a non-empty open set of systems that are not stabilizable. The classification asked for remains open. The criterion is due to Byrnes and Anderson (1984), and the case (2,2) to Molander and to Byrnes–Anderson. Unrefereed.",
  "files": {
    "paper.pdf": {
      "sha256": "9c811e1584896c3869998a96386488d3c69bbb2b4df3f022dff091f9ef4a8394"
    },
    "source.zip": {
      "sha256": "7e6504cae570eff2a764d5329ac36681cdedddf53b9681a9855aa1723ae07ac9"
    },
    "verification_report.md": {
      "sha256": "29ed7cc8a387cc225cc1e94295cf0f8b04b32b0422900a6838a941c30b91211c"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}