ProbXiv
sign in
Problem archiveProblem record

Statement

For a single-source unsplittable flow, find the optimal universal additive constant CC s.t. every feasible fractional flow xx with arc costs cc should admit an unsplittable routing yy with c⊤y≤c⊤xc^\top y \le c^\top x and ya≤xa+C⋅dmax⁡y_a \le x_a + C \cdot d_{\max} on every arc. Goemans conjectured C=1C=1; this was disproved in July 2026 by a separate seven-vertex counterexample with critical constant 16/1516/15 (see the Dinitz–Garg–Goemans entry), leaving the optimal CC open.

Lower bound: a seventeen-terminal common-point interval instance certifies C ≥ 12824947979848435211018=1.28249…C\ \ge\ \frac{1282494797984843521}{10^{18}}=1.28249\ldots

Upper bounds: the paper proves the first unconditional ceiling below 2, but for the codimension-two case only, at complement mass q=2q=2. The record cells lie outside it, the k=17k=17 instance having q=11q=11, so that ceiling does not bound the record ladder. Two figures are conjectures rather than results: 4/34/3 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 22 for the universal constant itself (Conjecture 1.2). The proved gap remains [1.28249…, 2][1.28249\ldots,\ 2].

Record

Comments

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

  1. construction · #1

    Sergey Nikolenko, using GPT-5.6 Sol, Claude Fable 5, Claude Opus 5

    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 co developed
    — a person and a model developed the result together.

    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.

  2. Recorded elsewhere on #1 · not checked here

    recorded: correctVibeMathed site check

    scope 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 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.