{
  "schema_version": "1.0.0",
  "source": "vibemath",
  "problem_id": "vibemathed:parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2",
  "title": "Parity obstruction in the minimum-determinant problem for Latin squares",
  "canonical_statement": "A Mathematics Stack Exchange question posted on 3 August 2014 asks when the standard divisibility lower bound for determinants of Latin square matrices is attained. For an $n\\times n$ Latin square $L$ with entries $1,\\ldots,n$, let\n\n$$\nb_n=\\begin{cases}\nn^2(n+1)/2,&n\\text{ odd},\\\\\nn^2(n+1)/4,&n\\text{ even}\n\\end{cases}.\n$$\n\nFor which positive integers $n$ does there exist such an $L$ with $|\\det L|=b_n$? The question conjectures that $n=4,6$ are the only orders for which this minimum cannot be attained.",
  "plain_summary": "VibeMathed reports this item as partial. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.",
  "current_status": "partial",
  "solution_events": [
    {
      "id": "vibemathed:parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2:event",
      "problem_id": "vibemathed:parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2",
      "type": "proved",
      "status": "partial",
      "occurred_at": "2026-04-22T00:00:00.000Z",
      "title": "Determinant Divisibility of Centered Latin Squares",
      "summary": "For even $n$, let $q(L)=\\det(L)/b_n$. The work proves that $q(L)$ is even exactly when the stronger centered divisibility $n^2\\mid\\det(E_{\\mathrm{std}})$ holds. For $n\\equiv2\\pmod4$, this is equivalent to $\\operatorname{rank}_{\\mathbb F_2}(A\\bmod2)<n-1$; for $n\\equiv0\\pmod4$, it is equivalent to $\\operatorname{adj}(A\\bmod2)\\mathbf1=0$. An explicit family gives odd $q(L)$ for every $n\\equiv2\\pmod4$, $n\\ge6$. This removes a universal extra-factor-two obstruction, but it does not prove $|q(L)|=1$. Exact minimum attainment and the separate singularity question remain open.",
      "ai_contribution": "ai_discovered",
      "attempt_ids": [
        "vibemathed:parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2:attempt"
      ],
      "method_family_ids": [
        "vibemathed:parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2:method"
      ],
      "source_assertion_ids": [
        "vibemathed:parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2:assertion"
      ]
    }
  ],
  "attempts": [
    {
      "id": "vibemathed:parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2:attempt",
      "problem_id": "vibemathed:parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2",
      "model": "GPT-5.4",
      "provider": "OpenAI",
      "attempted_at": "2026-04-22T00:00:00.000Z",
      "human_collaborators": [],
      "exposure": "unknown",
      "prompt_public": null,
      "outcome": "Under the author's direction, OpenAI's ChatGPT, using the GPT-5.4 model, generated the central mathematical development of this work, including the ordinary-to-centered determinant reduction, the exact binary rank and adjugate criteria governing the additional factor of two, and the all-order construction producing an odd determinant quotient for every $n\\equiv2\\pmod4$, $n\\ge6$. It also assisted with the development of the exact verification code and the manuscript. The author selected the research direction, checked the mathematical derivations and certified outputs, established the public claim boundaries, commissioned adversarial reviews, and takes responsibility for the final content.",
      "failed_routes": [],
      "artifacts": [
        {
          "label": "Public repository",
          "url": "https://github.com/aconsciousfractal/Determinant-Divisibility-of-Centered-Latin-Squares",
          "kind": "code",
          "license": null
        },
        {
          "label": "Original 2014 question",
          "url": "https://math.stackexchange.com/questions/886516/minimum-absolute-determinant-of-a-regular-latin-square-matrix",
          "kind": "discussion",
          "license": null
        },
        {
          "label": "Deterministic verification suite",
          "url": "https://github.com/aconsciousfractal/Determinant-Divisibility-of-Centered-Latin-Squares/blob/ff9431cbc3bcf0a637bf426db4a17a7c6898ee1c/scripts/verify_certified_package.py",
          "kind": "code",
          "license": null
        }
      ],
      "sources": [
        {
          "label": "Determinant Divisibility of Centered Latin Squares",
          "url": "https://github.com/aconsciousfractal/Determinant-Divisibility-of-Centered-Latin-Squares/blob/ff9431cbc3bcf0a637bf426db4a17a7c6898ee1c/paper/Determinant%20Divisibility%20of%20Centered%20Latin%20Squares.pdf",
          "kind": "primary-mathematical-source",
          "license": null
        },
        {
          "label": "VibeMathed: Parity obstruction in the minimum-determinant problem for Latin squares",
          "url": "https://vibemathed.com/problem/parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        }
      ],
      "cost_usd": null,
      "independence": "unknown"
    }
  ],
  "verifications": [
    {
      "id": "vibemathed:parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2:verification",
      "problem_id": "vibemathed:parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2",
      "solution_event_id": "vibemathed:parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2:event",
      "level": "unreviewed",
      "mathematical_correctness": "unknown",
      "statement_fidelity": "unaudited",
      "peer_review": "none",
      "verifier": "VibeMathed (source-reported label)",
      "verified_at": null,
      "note": "The paper and public repository contain complete proofs, exact certified datasets, and a deterministic verifier that currently passes all 12 public artifacts. The release also received an artifact-oriented adversarial audit. These checks establish internal consistency and reproducibility, not independent expert endorsement of the headline theorem; no domain expert has yet endorsed it. The appropriate VibeMathed verification label is therefore Unreviewed.",
      "sources": [
        {
          "label": "VibeMathed: Parity obstruction in the minimum-determinant problem for Latin squares",
          "url": "https://vibemathed.com/problem/parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2",
          "kind": "source-assertion",
          "license": "https://vibemathed.com/data-license"
        },
        {
          "label": "Determinant Divisibility of Centered Latin Squares",
          "url": "https://github.com/aconsciousfractal/Determinant-Divisibility-of-Centered-Latin-Squares/blob/ff9431cbc3bcf0a637bf426db4a17a7c6898ee1c/paper/Determinant%20Divisibility%20of%20Centered%20Latin%20Squares.pdf",
          "kind": "primary-mathematical-source",
          "license": null
        }
      ]
    }
  ],
  "sources": [
    {
      "label": "Determinant Divisibility of Centered Latin Squares",
      "url": "https://github.com/aconsciousfractal/Determinant-Divisibility-of-Centered-Latin-Squares/blob/ff9431cbc3bcf0a637bf426db4a17a7c6898ee1c/paper/Determinant%20Divisibility%20of%20Centered%20Latin%20Squares.pdf",
      "kind": "primary-mathematical-source",
      "license": null
    },
    {
      "label": "VibeMathed: Parity obstruction in the minimum-determinant problem for Latin squares",
      "url": "https://vibemathed.com/problem/parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2",
      "kind": "source-assertion",
      "license": "https://vibemathed.com/data-license"
    }
  ],
  "recommended_mode": "expand",
  "recommended_exposure": "result_only",
  "opportunity_signals": [
    {
      "id": "vibemathed:parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2:signal:recent_partial_result",
      "problem_id": "vibemathed:parity-obstruction-in-the-minimum-determinant-problem-for-latin-squares-2",
      "kind": "recent_partial_result",
      "reason": "A source-reported partial result may support bounded expansion.",
      "generated_at": "2026-09-13T16:28:40.178Z"
    }
  ],
  "uncertainties": [
    "VibeMath has not independently verified the mathematical claim.",
    "AI-attempt independence and training-data exposure are unknown unless explicitly documented.",
    "VibeMath has not independently audited the mathematical statement, proof, or novelty claim."
  ],
  "generated_at": "2026-09-13T16:28:40.178Z"
}