1.17353 planar lower bound and exact local envelopes for cost-preserving single-source unsplittable flow
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. We provide several new results on :
(1) record lower bound for planar instances (against known ceiling 2):
(2) local envelope ladder (proved): , , , attained by the counterexamples from our previous work; record constants of our previous work are now exact local envelopes of the general theory;
(3) global results: every exact-two-path instance with rows touching at most three terminals satisfies (first unconditional constant for an unbounded class); interaction arity m gives ;
(4) classes closed exactly: out-trees 0; two-layer hubs 1; outerplanar two-exit interval spines 1 (sharp); series-parallel ;
(5) band merger constant (twice the general lower bound ).
Record
Comments
No person has examined this. Nothing here has been checked at all. say whether it holds →
proof attempt · #1
GPT-5.6 Sol, Claude Fable 5, Claude Opus 5No person is named on this work: the record names only the tool it came from, and no ProbXiv account is credited for it.
Like the previous parts (https://vibemathed.com/problem/1-28249-lower-bound-and-partial-upper-bounds-for-cost-preserving-single-source-u), this work was written in close collaboration with GPT 5.6 Sol, Claude Fable 5, and Claude Opus 5, which contributed proofs, failed routes, adversarial reviews, code for the verification campaign, and more. This time, I cannot claim that it was a single tour de force by the models like the original counterexample by Rybin; it was a long journey with a lot of human involvement, but the key ideas were provided by the LLMs. I have personally verified and edited this work in its entirety, and all errors are mine.
Recorded elsewhere on #1 · not checked here
recorded: correctVibeMathed site checkscope Reproduction by the VibeMathed site
Reproduced by this site on 13 August 2026 from a clean clone, in two parts. First the repository's own suite: all fourteen verifiers in verify/run_all.sh pass, exit 0. Those cover Parts I and II only, so the headline planar record was rebuilt here independently. Reading only the raw arc list, a depth-first search rediscovers exactly two source-to-terminal paths for each of the six terminals; the fractional arc loads recompute exactly on all 21 arcs; all 64 routing overloads recompute exactly in rational arithmetic; the cost rule fits all 64 of the certificate's own cost deltas; 42 routings come out cost-preserving as claimed; and the minimum overload over those 42 is , exactly the record. Planarity was checked independently too, by Euler (, , ) and by networkx. The envelope constant was derived symbolically from the stated quartic rather than read off: is the unique critical point in , giving . The 2,015-cell closure ledger is internally complete: five forms of 403, family counts summing to 2,015, every cell on one of nine solver-free lemmas. Not checked: the mixture characterization, the network-matrix total-unimodularity theorem and the tree-path four-colouring theorem, conventional proofs in an unreviewed preprint with no independent expert review. The tier records this site's reproduction of the certificates; the structural theory remains 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.