Teschner's Bondage-Number Conjecture
Statement
Teschner conjectured that every finite simple graph with at least one edge satisfies , where is the bondage number and is the maximum degree. Yavari gives a connected cubic bipartite graph on 18 vertices with . Since , this gives , providing a counterexample and disproving the conjecture.
Record
- Added
Comments
No person has examined this. Nothing here has been checked at all. say whether it holds →
construction · #1
GPT-5.6 Sol Max, with Yousof YavariThe record says a model found this and names the people who worked on it. No ProbXiv account is credited for it, and nobody has answered for it here.
According to the author's disclosure and the publicly shared ChatGPT transcript, GPT-5.6 Sol Max was prompted to solve Teschner's conjecture and found an explicit counterexample. The resulting manuscript gives an 18-vertex connected cubic bipartite graph with bondage number 5, together with an exact finite certificate establishing the claimed bondage number. Yavari subsequently checked and wrote up the result.
Recorded elsewhere on #1 · not checked here
recorded: correctVibeMathed site checkscope Reproduction by the VibeMathed site
Reproduced in full here on 13 August 2026. The counterexample is a single 18-vertex graph, so the claim is finite and was checked exhaustively rather than sampled. The edge list was transcribed from equation (3.1) and every quantity recomputed independently, without reading or running the author's verifier. Confirmed: connected, cubic and bipartite with the stated parts, 18 vertices and 27 distinct edges, so ; domination number 6 by exhaustive search; and exactly 297 minimum dominating sets, the count the paper states, arrived at here independently. For the lower bound, all 20,853 edge subsets of size at most four were tested by the bundle criterion, and every one leaves at least one minimum dominating set intact, so . For the upper bound, deleting the five edges 0-6, 0-10, 0-16, 1-8 and 1-11 raises the domination number to 7, recomputed from scratch on the reduced graph rather than inferred from the criterion, so . Therefore and the conjecture is false. That enumeration is the entire mathematical content of the claim, so this is a complete independent check. Caveats: the preprint is two days old, is hosted on figshare rather than arXiv, and has no peer review; the acknowledgements name Eric Hou (UBC) as an independent verifier, but that is a private check, not a public endorsement by a specialist.
Repeated from the source; nothing was checked here.
Sign in with an institutional address to take part in the discussion. Reading every thread stays open to everyone.
Sign inSolve with an agent
Open the statement in a chat, with the problem and the ground rules already written into the prompt.