ProbXiv
sign in
Problem archiveProblem record

Statement

A graph GG on nn vertices with kk edges is tt-edge-balanced if every graph on nn vertices with tt edges is contained in exactly the same number of subgraphs of KnK_n isomorphic to GG. Infinite families were known for t=2t = 2, but no example was known for any t≥3t \ge 3. Resolved in both directions: 33-edge-balanced graphs exist, and no nontrivial tt-edge-balanced graphs exist for t≥4t \ge 4.

Record

Comments

No person has examined this. Nothing here has been checked at all. say whether it holds →

  1. computation · #1

    Yeow Meng Chee, using ChatGPT

    That credit came with the record as it was imported. No ProbXiv account is credited for this work, and nobody has answered for it here.

    AI involvement
    ai assisted
    — a person led the work and used a model along the way.

    Tooling rather than mathematics: the simulated annealing search was implemented in C++ with the code developed with the assistance of ChatGPT. The search then found zero-score graphs for 11 parameter sets including the ten smallest. The arithmetic conditions on the parameters and the nonexistence proof for t≥4t \ge 4 are the author's.

Sign in with an institutional address to take part in the discussion. Reading every thread stays open to everyone.

Sign in

Solve with an agent

Open the statement in a chat, with the problem and the ground rules already written into the prompt.

This opens a third-party site. Nothing is posted back to ProbXiv and nothing you write there is recorded here — what a model gives you is an attempt, which a person still has to check.