{
  "schema_version": 1,
  "problem_number": "AMR-014-0019",
  "title": "Isolated Real Zeros of Sums of Squares: Quaternary Forms and Quinary Quartics",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "For even n let B′_{n,m} be the supremum of the number of real projective zeros of a sum of squares of real forms of degree n in m variables, taken over those with finitely many real zeros. Fröberg, Lundqvist, Oneto and Shapiro conjectured that B′_{n,m} = (n/2)^{m−1}; Choi, Lam and Reznick had proved the lower bound and the case m = 3. A related conjecture of Ottaviani and Shapiro states that a sum of squares of real polynomials of degree at most k in l variables has at most k^l isolated real zeros; it was known for l ≤ 2. Both conjectures follow from the statement that the real points of the base locus of a real linear system of forms of degree k on ℙ^N have at most k^N isolated points. We prove this statement for N = 3 and every k, and for k = 2, N = 4. Consequently B′_{2k,4} = k^3 for every k and B′_{4,5} = 16, and the Ottaviani–Shapiro bound holds for l = 3 and every k and for (k,l) = (2,4). We also give a short proof of B′_{4,4} = 8, a value that Choi, Lam and Reznick expected and that Dressler stated without proof. The main tools are a weighted Bézout inequality, a Jacobian argument along the curve components of the base locus, and an integral closure estimate for the system of partial derivatives. Both conjectures remain open in general, for instance for sextics in five variables and for quartics in six variables. This is an unrefereed note.",
  "result_type": "COMPLETE_SCOPED_PROOF",
  "categories": [
    "math.AG",
    "math.AC"
  ],
  "keywords": [
    "sums of squares",
    "nonnegative forms",
    "real zeros of positive semidefinite forms",
    "isolated real zeros",
    "base locus",
    "Bézout inequality",
    "integral closure",
    "pencils of quadrics",
    "Choi–Lam–Reznick numbers",
    "UnsolvedMath",
    "AMR-014-0019",
    "AMR-021-0007",
    "math.AG",
    "math.AC",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-09-30",
  "publication_date": "2026-09-30",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-09-30",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/amr-014-0019/",
  "pdf_url": "https://eulersolve.org/papers/amr-014-0019/paper.pdf?v=4951cf6fafc7",
  "doi": "10.5281/zenodo.23066556",
  "zenodo_record_url": "https://zenodo.org/records/23066556",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Proves the Fröberg–Lundqvist–Oneto–Shapiro conjecture for m = 4 (every even degree) and for quartics in five variables, and the Ottaviani–Shapiro bound for l = 3 and for (k,l) = (2,4) (corpus records AMR-014-0019 and AMR-021-0007), with a short proof of B′_{4,4} = 8. Both conjectures remain open in general, for instance for sextics in five variables and for quartics in six variables.",
  "files": {
    "paper.pdf": {
      "sha256": "4951cf6fafc7d993b413ddd2704cb59e83eb1e2f418dab8cc68d95474ad8afaa"
    },
    "source.zip": {
      "sha256": "2d43078ec6cb3cbec380d09c4c9b0041a74a2160701ab66c120162d12e4f5b2a"
    },
    "verification_report.md": {
      "sha256": "d2203230b0f4f8ad8b6f960f40df4ce6855e300029143aac1d412589c2c41a75"
    }
  },
  "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."
}