{
  "schema_version": 1,
  "problem_number": "ARXIV-2606.28041",
  "title": "The Erdos n^2/25 max-cut conjecture for small multiples of five, via a per-root-MaxCut envelope and blow-up integrality",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "Erdős conjectured that every triangle-free graph on N vertices can be made bipartite by deleting at most N²/25 edges; the bound would be sharp, attained by the balanced blow-up C₅[N/5]. Writing β(G) for the minimum number of edges whose deletion makes G bipartite and a(N) = max{β(G) : G triangle-free on N vertices}, the conjecture is a(N) ≤ N²/25, and for N = 5n it reads a(5n) ≤ n². Balogh, Clemen and Lidický proved it for large N in the two density tails (edge density at most 0.2486 or at least 0.3197) and proved the global bound a(N) ≤ N²/23.5; the medium-density band remains open. We prove a(5n) = n² for every 1 ≤ n ≤ 40, i.e. N ∈ {5, 10, …, 200}. The proof is computer-assisted and combines three ingredients. (i) A per-root-MaxCut envelope: for the 107 triangle-free 7-root types, the mean over types of the best per-type cut is an upper bound d_mono(W) ≤ U₇(W) that is tight at the C₅-blow-up. (ii) An order-10 flag-algebra certificate — the per-root-MaxCut rows at 7 and 8 roots together with rooted-Horn cuts and a manifestly-PSD moment block — bounds the envelope on the medium band, U₇(W) ≤ 2/25 + δ with an explicit rational δ ≈ 4.8558 × 10⁻⁵, for every triangle-free graphon W of edge density in [0.2486, 0.3197]. (iii) The blow-up identity β(G[t]) = t²β(G) plus integrality of β turns this into β(G) ≤ n² + (25/2)n²δ for any 5n-vertex band-density G, and (25/2)n²δ < 1 for n ≤ 40; the two density tails are handled by the Balogh–Clemen–Lidický bounds, transferred to finite N by the same blow-up. The envelope bound d_mono ≤ U₇ is a genuine graphon upper bound (each per-root rule is one global 2-colouring), the certificate is verified in exact rational arithmetic, the moment positivity is Razborov's flag-algebra theorem exhibited as an exact Gram factorization, and the bound is cross-checked against brute-force max-cut on all triangle-free graphs of order at most 12. The same envelope at orders 9 and 10 provably does not reach the constant needed for larger n; we explain why, and locate the all-n conjecture at a single self-tight obstruction.",
  "result_type": "COMPLETE_SCOPED_PROOF",
  "categories": [
    "math.CO"
  ],
  "keywords": [
    "Erdos conjecture",
    "triangle-free graphs",
    "max-cut",
    "making a graph bipartite",
    "flag algebras",
    "blow-up",
    "computer-assisted proof"
  ],
  "manuscript_version_date": "2026-06-26",
  "publication_date": "2026-06-26",
  "publication_date_kind": "arXiv announcement of v1",
  "version": "v1",
  "date_modified": "2026-06-26",
  "presentation_revision_only": false,
  "status": "preprint on arXiv",
  "canonical_url": "https://eulersolve.org/papers/arxiv-2606-28041/",
  "pdf_url": "https://eulersolve.org/papers/arxiv-2606-28041/paper.pdf?v=2488d84856fd",
  "doi": "10.48550/arXiv.2606.28041",
  "zenodo_record_url": null,
  "arxiv_id": "2606.28041",
  "arxiv_version": "v1",
  "arxiv_url": "https://arxiv.org/abs/2606.28041",
  "arxiv_primary_category": "math.CO",
  "arxiv_comment": "9 pages. Computer-assisted. Ancillary files: order-10 per-root-MaxCut + rooted-Horn flag-algebra certificate with an independent exact-arithmetic verifier, a self-contained brute-force max-cut ground-truth checker, and the manifestly-PSD moment Gram certificate",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Proves a(5n) = n^2, i.e. the Erdos N^2/25 bound for triangle-free graphs, for every N = 5n with N <= 200; computer-assisted (exact-arithmetic flag-algebra certificate plus the Balogh-Clemen-Lidicky tail bounds). The conjecture for general N remains open; the paper explains why the same envelope does not reach larger n.",
  "files": {
    "paper.pdf": {
      "sha256": "2488d84856fd9814ce8d74b31353a776111ec1c5000714b7b6f0d7a61e93ec52"
    },
    "source.zip": {
      "sha256": "29c2927637d9b68a068a3deb8c07ac0720f49a618b8387d6363d206e91c509d1"
    }
  },
  "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."
}