1.28249... Lower Bound and Partial Upper Bounds for Cost-Preserving Single-Source Unsplittable Flows
Statement
For a single-source unsplittable flow, find the optimal universal additive constant s.t. every feasible fractional flow with arc costs should admit an unsplittable routing with and on every arc. Goemans conjectured ; this was disproved in July 2026 by a separate seven-vertex counterexample with critical constant (see the Dinitz–Garg–Goemans entry), leaving the optimal open.
Lower bound: a seventeen-terminal common-point interval instance certifies
Upper bounds: the paper proves the first unconditional ceiling below 2, but for the codimension-two case only, at complement mass . The record cells lie outside it, the instance having , so that ceiling does not bound the record ladder. Two figures are conjectures rather than results: as the supremum of critical constants over common-point cells, approached but not attained and not an extrapolation from the ladder (Conjecture 1.1, Theorem 5.1), and for the universal constant itself (Conjecture 1.2). The proved gap remains .
Record
Comments
No person has examined this. Nothing here has been checked at all. say whether it holds →
construction · #1
Sergey Nikolenko, using GPT-5.6 Sol, Claude Fable 5, Claude Opus 5That credit came with the record as it was imported. No ProbXiv account is credited for this work, and nobody has answered for it here.
GPT-5.6 Sol, Claude Fable 5 and Claude Opus 5 carried out the search for constructions, symbolic envelope derivations, proofs, and the exact-verifier development; the human author framed the program, directed the search, set the claim scope, and verified all results independently by hand.
Recorded elsewhere on #1 · not checked here
recorded: correctVibeMathed site checkscope Reproduction by the VibeMathed site
The k=17 lower bound is a finite certificate: the verifier rebuilds the 67-arc instance from raw interval data, rediscovers all paths by DFS, and enumerates all 2^17 routings in exact rational arithmetic. Re-run by the site from a clean clone on 2026-08-01; the exact constant, 15 minimizers, and 18-atom hull certificate reproduce. The deletion-star ceiling theorems are conventional proofs in an unreviewed preprint, checked by the author only, with no independent expert review and no formalization. Tier reflects the site's confirmation of the certificate; the structural results remain unreviewed.
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.