OWR-14299905-027 · Complete source-conjecture counterexample

Independent-Root Counts Do Not Characterize Local Graph Removal

Manuscript 27 October 2026 · Online 27 October 2026

math.COUnrefereed preprint

Abstract

We give counterexamples to the fixed-cardinality independent-root criterion for local graph removal in Conjecture 8 of the 2026 Oberwolfach report Combinatorics. For any core graph with a maximal independent set smaller than its independence number, retaining that set as singleton parts and blowing up the other vertices gives graphs a positive normalized maximum-degree distance from being H-free, while every independent root count of the prescribed size is asymptotically small. A six-vertex wheel is an explicit example. For C9, the construction has 6m+3 vertices, maximum independent-four-root count m^4, and exact local removal distance ceil(m/2)/(6m+3), tending to 1/12. No single root cardinality can characterize local removal for such cores. The result concerns the literal printed criterion, including independence in the copy; it does not exclude formulations testing several root sizes or resolve the broader frozen UnsolvedMath OWR-14299905-027 question about all possible variants. The unpublished intended graph-removal manuscript was not obtained, so no claim about a corrected intended theorem is made. This five-page unrefereed preprint was developed with AI assistance and self-audited. Integer regression checks, independent small cycle enumeration and finite SAT deletion checks supplement the complete written proof; they are not independent referee review or formal proof-assistant verification.

Record

Affiliation
Mercury Software GmbH
Result
Complete source-conjecture counterexample
Categories
math.CO
Manuscript
27 October 2026
Online release
27 October 2026
Version
1.0
License
Creative Commons Attribution 4.0 International

Files and verification

The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.

Citation

Alper Ferudun, “Independent-Root Counts Do Not Characterize Local Graph Removal,” EulerSolve Research Papers, OWR-14299905-027, 2026. https://doi.org/10.5281/zenodo.23682808.

BibTeX
@misc{ferudun2026independentrootremoval,
  author = {Ferudun, Alper},
  title = {Independent-Root Counts Do Not Characterize Local Graph Removal},
  year = {2026},
  howpublished = {EulerSolve Research Papers},
  url = {https://eulersolve.org/papers/owr-14299905-027/},
  doi = {10.5281/zenodo.23682808},
  note = {OWR-14299905-027; unrefereed preprint}
}

More research papers

Show all 460 other papers

All 461 research papers →