{
  "schema_version": 1,
  "problem_number": "OWR-15428-003",
  "title": "Seigal's Conjecture on Gram Determinants of Real Binary Tensors Fails for n ≥ 4",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "For a real tensor of format 2×⋯×2 with n factors, let d_i be the determinant of the Gram matrix M_i M_i^T of its i-th flattening M_i. Seigal called the set of tuples (d_1, …, d_n) of tensors in the Frobenius unit ball the Gram locus, described it for n = 3, and conjectured that for n ≥ 4 it is cut out of the cube [0, 1/4]^n by a single polynomial inequality Q_1 ≥ Q_2 (Linear Algebra Appl. 2018, Conjecture 1.5; Oberwolfach Reports 2017). We point out that this conjecture is false for every n ≥ 4. For instance, (9/100, 9/100, 9/100, 6/25) satisfies Q_1 > 500 Q_2 but is not the Gram tuple of any real or complex tensor in the unit ball, and the counterexamples form a set with nonempty interior. This is a short corollary of known results: by theorems of Domanov, Stegeman and De Lathauwer (2017), and of Higuchi, Sudbery and Szulc (2003) for complex tensors, plus an elementary step from the unit sphere to the unit ball, the Gram locus is the set of d ∈ [0, 1/4]^n with Σ_{j≠i} √(1 − 4d_j) − √(1 − 4d_i) ≤ n − 2 for all i. From this we obtain the correct n-ary form of Seigal's theorem for n = 3, a union of two basic semialgebraic sets given by explicit integer polynomials, and we show that for no n ≥ 3 is the Gram locus the nonnegativity set of a single polynomial inside the cube (for n = 2 it is). We also correct a misprinted inequality in Seigal's theorem for n = 3. This is an unrefereed note.",
  "result_type": "COMPLETE_NEGATIVE_ANSWER",
  "categories": [
    "math.AG",
    "math.RA"
  ],
  "keywords": [
    "binary tensors",
    "Gram determinants",
    "Gram locus",
    "higher-order singular values",
    "multilinear singular values",
    "polygon inequalities",
    "quantum marginal problem",
    "semialgebraic sets",
    "counterexample",
    "Oberwolfach Reports",
    "OWR-15428-003",
    "math.AG",
    "math.RA",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-02",
  "publication_date": "2026-10-02",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-02",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-15428-003/",
  "pdf_url": "https://eulersolve.org/papers/owr-15428-003/paper.pdf?v=a99172938f20",
  "doi": "10.5281/zenodo.23111048",
  "zenodo_record_url": "https://zenodo.org/records/23111048",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Refutes Seigal's Conjecture 1.5 (Linear Algebra Appl. 2018; OWR 20/2017, p. 1226) for every n >= 4: the point (9/100, 9/100, 9/100, 6/25) satisfies Q1 > Q2 but is not the Gram tuple of any tensor in the unit ball. The refutation is a short corollary of the exact Gram locus, which follows from Domanov-Stegeman-De Lathauwer (2017) and Higuchi-Sudbery-Szulc (2003) plus an elementary step from the sphere to the ball. New: the explicit refutation, the n-ary union description, the impossibility of a single polynomial for n >= 3, and an erratum in Seigal's Theorem 1.4. Whether every point of the locus satisfies Q1 >= Q2 for n >= 4 remains open.",
  "files": {
    "paper.pdf": {
      "sha256": "a99172938f203f5a494c2191a73072299857ce8d3adfa6867831ca737c471cbb"
    },
    "source.zip": {
      "sha256": "c88fddca76d0007985089a7b5b0a85fce9f1811cf892186e0d14650fe91274c2"
    },
    "verification_report.md": {
      "sha256": "24a606244ca9a90f7cba1961b111fcf09719a36e790a2cec4a0e5bc7832dca07"
    }
  },
  "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."
}